Scientific Inquiry in Social Work by DeCarlo, Matthew

Table of Contents: “…Chapter 1: Introduction to research -- Chapter 2: Beginning a research project -- Chapter 3: Reading and evaluating literature -- Chapter 4: Conducting a literature review -- Chapter 5: Ethics in social work research -- Chapter 6: Linking methods with theory -- Chapter 7: Design and causality -- Chapter 8: Creating and refining a research question -- Chapter 9: Defining and measuring concepts -- Chapter 10: Sampling -- Chapter 11: Survey research -- Chapter 12: Experimental design -- Chapter 13: Interviews and focus groups -- Chapter 14: Unobtrusive research: Qualitative and quantitative approaches -- Chapter 15: Real-world research: Evaluation, single-subjects, and action research -- Chapter 16: Reporting and reading research…”
Access online version

Graduate research methods in social work by DeCarlo, Matt, Cummings, Cory, Agnelli, Kate

Table of Contents: “…Theory and paradigm -- 8. Reasoning and causality -- 9. Writing your research question -- Part 3: Using quantitative methods -- 10. …”
Access online version

The Biopsychosocial Model of Health and Disease New Philosophical and Scientific Developments / by Bolton, Derek, Gillett, Grant

Table of Contents: “…Locating the scientific and clinical content -- Ch. 3 The core theory problem: biopsychosocial causal interactions -- Ch. 4 The first step: updating the biomedical model -- Part II. …”
Link to Metadata

Migration and Environmental Change in Morocco In search for Linkages Between Migration Aspirations and (Perceived) Environmental Changes / by Van Praag, Lore, Ou-Salah, Loubna, Hut, Elodie, Zickgraf, Caroline

Table of Contents: “…Connecting Environmental Changes, Migration Causality, and Transnational Practices. Insights from the Moroccan Diaspora in Belgium (Elodie Hut and Caroline Zickgraf) -- Chapter 9. …”
Link to Metadata

Abrahamic Reflections on Randomness and Providence

Table of Contents: “…Creatio Continua and Quantum Randomness -- 13. Causality, Indeterminacy, and Providence: Contemporary Islamic Perspectives from Said Nursi and Basil Altaie -- 14. …”
Link to Metadata

AI, Data, and Digitalization First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers /

Table of Contents: “…Geolocation data as a research tool for the organization of the settlement system and mobility mapping - case study of the spatial mobility model in Czechia -- Returning Home Strategy Analysis using Mobile Sensing Data in Tohoku Earthquake -- Terminology Saturation Analysis: Refinements and Applications -- How To Be a Well-Prepared Organizer: Studying the Causal Effects of City Events on Human Mobility -- Human Cognition Modeling for the Metaverse-oriented Design System -- Patient self-reports for explainable machine learning predictions of risks to psychotherapy outcomes -- I-KNOW-FOO: Interlinking and Creating KNOWledge Graphs for near-zero CO2 emission diets and sustainable FOOd production -- Extreme and Sustainable Graph Processing for Green Finance Investment and Trading -- A Comprehensive Framework for Detecting Behavioural Anomalies in the Elderly -- Violence-inducing Behavior Prevention in Social-Cyber Space -- Artificial Intelligence inthe public sector in Norway AI development as a hop-on-hop-off journey -- Challenges in regulating online hate-speech within the Norwegian context -- Digital and AI maturity of enterprises in Sogn og Fjordane, a rural region of Norway. .…”
Link to Metadata

xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers /

Table of Contents: “…Editorial -- xxAI - Beyond explainable Artificial Intelligence -- Current Methods and Challenges -- Explainable AI Methods - A Brief Overview -- Challenges in Deploying Explainable Machine Learning -- Methods for Machine Learning Models -- CLEVR-X: A Visual Reasoning Dataset for Natural Language Explanations -- New Developments in Explainable AI -- A Rate-Distortion Framework for Explaining Black-box Model Decisions -- Explaining the Predictions of Unsupervised Learning Models -- Towards Causal Algorithmic Recourse -- Interpreting Generative Adversarial Networks for Interactive Image Generation -- XAI and Strategy Extraction via Reward Redistribution -- Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis -- Interpreting and improving deep-learning models with reality checks -- Beyond the Visual Analysis of Deep Model Saliency -- ECQ^2: Quantization for Low-Bit and Sparse DNNs -- A whale's tail - Finding the right whale in an uncertain world -- Explainable Artificial Intelligence in Meteorology and Climate Science: Model fine-tuning, calibrating trust and learning new science -- An Interdisciplinary Approach to Explainable AI.…”
Link to Metadata

The Challenge of Chance A Multidisciplinary Approach from Science and the Humanities /

Table of Contents: “….- Chance, Variation and the Nature of Causality in Ecological Communities (H. de Kroon, E. …”
Link to Metadata

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2018 /

Table of Contents: “…Machine Learning for Enhanced Waste Quantity Reduction: Insights from the MONSOON Industry 4.0 Project -- Deduction of time-dependent machine tool characteristics by fuzzy-clustering -- Unsupervised Anomaly Detection in Production Lines -- A Random Forest Based Classifer for Error Prediction of Highly Individualized Products -- Web-based Machine Learning Platform for Condition-Monitoring -- Selection and Application of Machine Learning-Algorithms in Production Quality -- Which deep artifificial neural network architecture to use for anomaly detection in Mobile Robots kinematic data -- GPU GEMM-Kernel Autotuning for scalable machine learners -- Process Control in a Press Hardening Production Line with Numerous Process Variables and Quality Criteria -- A Process Model for Enhancing Digital Assistance in Knowledge-Based Maintenance -- Detection of Directed Connectivities in Dynamic Systems for Different Excitation Signals using Spectral Granger Causality -- Enabling Self-Diagnosis of AutomationDevices through Industrial Analytics -- Making Industrial Analytics work for Factory Automation Applications -- Application of Reinforcement Learning in Production Planning and Control of Cyber Physical Production Systems -- LoRaWan for Smarter Management of Water Network: From metering to data analysis.…”
Link to Metadata

Introduction to Logic and Critical Thinking by Van Cleave, Matthew

Table of Contents: “…-- 2.2 Propositional logic and the four basic truth functional connectives -- 2.3 Negation and disjunction -- 2.4 Using parentheses to translate complex sentences -- 2.5 “Not both” and “neither nor” -- 2.6 The truth table test of validity -- 2.7 Conditionals -- 2.8 “Unless” -- 2.9 Material equivalence -- 2.10 Tautologies, contradictions, and contingent statements -- 2.11 Proofs and the 8 valid forms of inference -- 2.12 How to construct proofs -- 2.13 Short review of propositional logic -- 2.14 Categorical logic -- 2.15 The Venn test of validity for immediate categorical inferences -- 2.16 Universal statements and existential commitment -- 2.17 Venn validity for categorical syllogisms -- Chapter 3: Evaluating inductive arguments and probabilistic and statistical fallacies -- 3.1 Inductive arguments and statistical generalizations -- 3.2 Inference to the best explanation and the seven explanatory virtues -- 3.3 Analogical arguments -- 3.4 Causal arguments -- 3.5 Probability -- 3.6 The conjunction fallacy -- 3.7 The base rate fallacy -- 3.8 The small numbers fallacy -- 3.9 Regression to the mean fallacy -- 3.10 Gambler's fallacy -- Chapter 4: Informal fallacies -- 4.1 Formal vs. informal fallacies -- 4.1.1 Composition fallacy -- 4.1.2 Division fallacy -- 4.1.3 Begging the question fallacy -- 4.1.4 False dichotomy -- 4.1.5 Equivocation -- 4.2 Slippery slope fallacies -- 4.2.1 Conceptual slippery slope -- 4.2.2 Causal slippery slope -- 4.3 Fallacies of relevance -- 4.3.1 Ad hominem -- 4.3.2 Straw man -- 4.3.3 Tu quoque -- 4.3.4 Genetic -- 4.3.5 Appeal to consequences -- 4.3.6 Appeal to authority -- Answers to exercisesGlossary/Index…”
Access online version

Elusive Phenomena, Unwieldy Things Historical Perspectives on Experimental Control /

Table of Contents: “…Controlling the Unobservable: Experimental Strategies and Hypotheses in Discovering the Causal Origin of Brownian Movement (Klodian Coko) -- Chapter 9. …”
Link to Metadata

Evaluating Evidence of Mechanisms in Medicine Principles and Procedures / by Parkkinen, Veli-Pekka, Wallmann, Christian, Wilde, Michael, Clarke, Brendan, Illari, Phyllis, Kelly, Michael P., Norell, Charles, Russo, Federica, Shaw, Beth, Williamson, Jon

Table of Contents: “…-- 1.3.1 Evaluating efficacy -- 1.3.2 Evaluating external validity -- 1.3.3 Other questions -- 1.3.4 Importance of considering evidence of mechanisms -- 2 How to consider evidence of mechanisms: a summary -- 2.1 Questions to address -- 2.2 Quality level of evidence and status of claim -- 2.3 Identifying evidence of mechanisms in the literature -- 2.4 Evaluating evidence of mechanisms -- 2.5 Using evidence of mechanisms to evaluate causal claims -- 2.6 Overall approach -- 3 Identifying evidence of mechanisms in the literature -- 3.1 Hypothesize a mechanism -- 3.2 Search the literature -- 3.3 Identify the evidence most relevant to the mechanism hypothesis -- 3.4 Presenting the evidence of mechanisms -- 4 Evaluating evidence of mechanisms -- 4.1 Considerations for evaluating evidence of mechanism -- 4.2 Presenting quality of evidence of mechanisms -- 5 Using evidence of mechanisms to evaluate efficacy and external validity -- 5.1 Efficacy -- 5.2 External validity -- 6 Glossary -- 7 References -- 8 Acknowledgements -- 9 Appendix A. …”
Link to Metadata

Marginality Addressing the Nexus of Poverty, Exclusion and Ecology /

Table of Contents: “…1 Marginality-An Overview and Implications for Policy -- Part 1 Concepts and Theory -- 2 Marginality-A Framework for Analyzing Causal Complexities of Poverty -- 3 Exclusion and Initiatives to "Include": Revisiting Basic Economics to Guide Development Practice -- 4 Marginality from a Socio-ecological Perspective -- Part 2 Dimensions and Prevalence of Marginality -- 5 Mapping Marginality Hotspots -- 6 The Poorest: Who and Where They Are -- 7 Targeting the Poorest and Most Vulnerable: Examples from Bangladesh -- 8 Correlates of Extreme Poverty in Rural Ethiopia -- 9 Examining the Circle of Attachment, Trauma, Shame, and Marginalization: the Unheard Voices of Young Kutchi Girls -- Part 3 Environmental Drivers of Marginality -- 10 Poverty, Agriculture and the Environment: the Case of Sub-Saharan Africa -- 11 The Marginal Poor and their Dependence on Ecosystem Services: Evidence from South Asia and Sub-Saharan Africa -- 12 Land Degradation, Poverty, and Marginality -- Part 4     Experiencing Marginality in Africa and Asia -- 13 Tackling Social Exclusion and Marginality for Poverty Reduction: Indian Experiences -- 14 Consumption Behavior of the Poorest and Policy Implications in Indonesia -- 15 Addressing Extreme Poverty and Marginality: Experiences in Rural China -- 16 Experiences in Targeting the Poorest: a Case Study from Bangladesh -- 17 Rural Poverty and Marginalization in Ethiopia: a Review of Development Interventions -- Part 5 Responses to Marginality at Different Levels: State, Business, and Community -- 18 Macro, Fiscal, and Decentralization Options to Address Marginality and Reach the Extremely Poor -- 19 Social Protection, Marginality, and Extreme Poverty: Just Give Money to the Poor -- 20 Innovative Business Approaches for the Reduction of Extreme Poverty and Marginality -- 21 Business Initiatives that Overcome Rural Poverty and Marginality Through Creating Shared Value -- 22 The Marginalized and Poorest in Different Communities and Settings of Ethiopia.…”
Link to Metadata

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Table of Contents: “…An assessment framework and analysis -- Remaining Time Prediction for Processes with Inter-Case Dynamics -- Event Log Sampling for Predictive Monitoring -- Active Anomaly Detection for Key Item Selection in Process Auditing -- Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach -- Quantifying Explainability in Outcome-Oriented Predictive Process Monitoring -- Online Prediction of Aggregated Retailer Consumer Behaviour -- PErrCas: Process Error Cascade Mining in Trace Streams -- Continuous performance evaluation for business process outcome monitoring -- An Event Data Extraction Approach from SAP ERP for Process Mining -- Towards a Natural Language Conversational Interface for Process Mining -- On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization -- Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study -- Patient Discharge Classification based on the Hospital Treatment Process -- Combining the Clinical and Operational Perspectives in Heterogeneous Treatment E ect Inference in Healthcare Processes -- Interactive Process Mining Applied in a Cardiology Outpatient Department -- Discovering care pathways for multi-morbid patients using event graphs -- Process Mining in Trusted Execution Environments: Towards Hardware Guarantees for Trust-aware Inter-organizational Process Analysis -- Quantifying the Re-identification Risk in Published Process Models -- Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Health of People, Health of Planet and Our Responsibility Climate Change, Air Pollution and Health /

Table of Contents: “…-- Chapter5: Climate Change, Air Pollution and Health: Common sources, Similar impacts and Common solutions -- PartII: Air Pollution, Climate Change and Health: The Underlying Science & Impacts -- Chapter6: Air Pollution: Adverse Effects and Disease Burden -- Chapter7: Air Pollution, Oxidative Stress and Public Health in the Anthropocene -- Chapter8: Climate Change, Air Pollution and the Environment: The Health Argument -- Chapter9: Reducing air pollution: avoidable health burden -- PartIII: Climate Change and Health: Sustainability and vulnerable populations and regions -- Chapter10: Vulnerable populations and regions: Middle East as a case study -- Chapter11: Climate Change Risks for Agriculture, Health and Nutrition -- Chapter12: Sustaining Water Resources -- Chapter13: Health, air pollution and forest fires in the Amazon -- PartIV: climate Change and Health: Perspectives from Physicians -- Chapter14: Psychological Impacts of Climate Change and Recommendations -- Chapter15: Air Pollution and Cardiovascular Disease: A Proven Causality -- Chapter16: Healthy People, Healthy Planet: Holistic Thinking -- PartV: Climate Change and Health: Social Impacts -- Chapter17: Climate Change, Public Health, Social Peace -- Chapter18: Health of the People, Health of the Planet, Health of the Migrants -- Chapter19: Climate Justice and Public Health: Practical Ethics in Urgent Times -- PartVI: Overarching Solutions: The Role of Religion -- Chapter20: Faith in God & Health of People -- Chapter21: Caring for Creation - The Evangelical's Guide -- Chapter22: Call to Action from Faith Leaders -- PartVII: Overarching Solutions: The Role of Science and Technology -- Chapter23: Public health co-benefits of greenhouse gas emissions reduction -- Chapter24: Good Health in the Anthropocene Epoch: Potentials for Transformative Solutions -- Chapter25: Well Under 2 Degrees Celsius: Ten Solutions for Carbon Neutrality and Climate Stability -- Chapter26: Defeating Energy Poverty: Invest In Scalable Solutions for the Poor -- Chapter27: Sensor-Enabled Climate Financing for Clean Cooking -- Chapter28: Research is vital to tackling climate change, but it cannot succeed alone -- PartVIII: Call to Action -- Chapter29: Governor of California -- Chapter30: United States Congressman -- Chapter31: Opportunities for a sustainable planet -- Chapter32: Sustainable development goals and health: Call for Cultural Revolution -- Chapter33: A Call to action by health care professionals.…”
Link to Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Table of Contents: “…Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection ofDerivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization.…”
Link to Metadata