Search Results - "causality"

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 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

Bias, Burnout, and Imposter Phenomenon: The Negative Impact of Under-Recognized Intersectionality by Kelly A. Cawcutt, Pauline Clance, Shikha Jain

Connect to this object online.

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

EU Integrated Urban Initiatives Policy Learning and Quality of Life Impacts in Spain /

Table of Contents: “…Opening the black box of integrated urban development strategies: on causal mechanisms and policy theories. By Clemente J. …”
Link to Metadata

Advancing mediation analysis in occupational health research by Joost Oude Groeniger, Alex Burdorf

Connect to this object online.

When will we have enough evidence to require improvements at the workplace? by Alex Burdorf

Connect to this object online.

On endocrine disruption at the workplace - how to get from suggestive to conclusive evidence? by Jens Peter Bonde

Connect to this object online.

Invited Lecture 14: From insight to foresight? Some Lessons for 5G from other "new" technologies & agents by David Gee

Connect to this object online.

Revisiting sequential attributable fractions by John Ferguson, Maurice O'Connell, Martin O'Donnell

Connect to this object online.

The relationship between education attainment and gout, and the mediating role of modifiable risk factors: a Mendelian randomization study by Xin Huang, Xin Chen, Qixi Liu, Zhiwei Zhang, Juan Miao, Yuchan Lai, Jinqing Wu

Connect to this object online.

Access to abortion under the heath exception: a comparative analysis in three countries by Stephanie A. Küng, Blair G. Darney, Biani Saavedra-Avendaño, Patricia A. Lohr, Laura Gil

Connect to this object online.

Alcohol drinking, smoking, and cutaneous melanoma risk: Mendelian randomization analysis by Jiaxiang Xu, Wenhui Liu, Xuanjun Liu, Xinlong Zhou, Guangshuai Li

Connect to this object online.

Assessing the relationship between gut microbiota and endometriosis: a bidirectional two-sample mendelian randomization analysis by Chunxiao Dang, Zhenting Chen, Yuyan Chai, Pengfei Liu, Xiao Yu, Yan Liu, Jinxing Liu

Connect to this object online.

Do the New Rural Pension Scheme promote the health status of chronic patients in old age? -Evidence from CHARLS 2018 in China by Qihong Liang, Yuxuan Chen, Zheng Zhang, Shengli An

Connect to this object online.

Improving Remedial Measures from Incident Investigations: A Study Across Ghanaian Mines by Theophilus Joe-Asare, Eric Stemn

Connect to this object online.