Search Results - Fairness (machine learning)

Advanced Mobile Robotics: Volume 2 by Kim, DaeEun

Subjects: “…machine learning…”
DOAB: download the publication
DOAB: description of the publication

Advanced Mobile Robotics: Volume 3 by Kim, DaeEun

Subjects: “…machine learning…”
DOAB: download the publication
DOAB: description of the publication

Clinical Medicine for Healthcare and Sustainability

DOAB: download the publication
DOAB: description of the publication

Advancing AI Data Ethics in Nursing: Future Directions for Nursing Practice, Research, and Education by Patricia A Ball Dunlap, Martin Michalowski

Connect to this object online.

Automated Speech Analysis for Risk Detection of Depression, Anxiety, Insomnia, and Fatigue: Algorithm Development and Validation Study by Rachid Riad, Martin Denais, Marc de Gennes, Adrien Lesage, Vincent Oustric, Xuan Nga Cao, Stéphane Mouchabac, Alexis Bourla

Connect to this object online.

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

Personalised depression forecasting using mobile sensor data and ecological momentary assessment by Alexander Kathan, Mathias Harrer, Mathias Harrer, Mathias Harrer, Ludwig Küster, Andreas Triantafyllopoulos, Xiangheng He, Xiangheng He, Manuel Milling, Maurice Gerczuk, Tianhao Yan, Srividya Tirunellai Rajamani, Elena Heber, Inga Grossmann, David D. Ebert, David D. Ebert, Björn W. Schuller, Björn W. Schuller

Connect to this object online.

Recommender Systems: Legal and Ethical Issues

Table of Contents: “…Practical Reasoning, Digital Nudging, and Autonomy -- Chapter 8: Recommending Ourselvesto Death: values in the age of algorithms -- Part III: Designing and Evaluating Recommender Systems -- Chapter 9: Ethical and Legal Analysis of Machine Learning Based Systems: A Scenario Analysis of a Food Recommender System -- Chapter 10: Factors influencing trust and use of recommendation AI: A case study of diet improvement AI in Japan -- Chapter 11: Ethics of E-Learning Recommender Systems: Epistemic Positioning and Ideological Orientation.…”
Link to Metadata

Optimized Collaborative Brain-Computer Interfaces for Enhancing Face Recognition by Cecilia Salvatore, Davide Valeriani, Veronica Piccialli, Luigi Bianchi

Connect to this object online.

Artificial Intelligence Applications to Measure Food and Nutrient Intakes: Scoping Review by Jiakun Zheng, Junjie Wang, Jing Shen, Ruopeng An

Connect to this object online.

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

An insight into racial bias in dermoscopy repositories: A HAM10000 data set analysis by Andres Morales‐Forero, Lili Rueda Jaime, Sebastian Ramiro Gil‐Quiñones, Marlon Y. Barrera Montañez, Samuel Bassetto, Eric Coatanea

Connect to this object online.

Testing Suicide Risk Prediction Algorithms Using Phone Measurements With Patients in Acute Mental Health Settings: Feasibility Study by Haines-Delmont, Alina, Chahal, Gurdit, Bruen, Ashley Jane, Wall, Abbie, Khan, Christina Tara, Sadashiv, Ramesh, Fearnley, David

Connect to this object online.

Perspectives on Digital Humanism

Table of Contents: “…The Unbearable Disembodiedness of Cognitive Machines -- Part 8: Digital Geopolitics and Sovereignty -- 28. …”
Link to Metadata

Guiding principles for technical infrastructure to support computable biomedical knowledge by Jamie McCusker, Leslie D. McIntosh, Chris Shaffer, Peter Boisvert, James Ryan, Vivek Navale, Umit Topaloglu, Rachel L. Richesson

Connect to this object online.

The need for measurement science in digital pathology by Marina Romanchikova, Spencer Angus Thomas, Alex Dexter, Mike Shaw, Ignacio Partarrieau, Nadia Smith, Jenny Venton, Michael Adeogun, David Brettle, Robert James Turpin

Connect to this object online.

Multivariate Statistical Analysis in the Real and Complex Domains by Mathai, Arak M.

DOAB: download the publication
DOAB: description of the publication

Multivariate Statistical Analysis in the Real and Complex Domains by Mathai, Arak M.

OAPEN Library: download the publication
OAPEN Library: description of the publication

Precision Public Health and Structural Racism in the United States: Promoting Health Equity in the COVID-19 Pandemic Response by Lester Darryl Geneviève, Andrea Martani, Tenzin Wangmo, Bernice Simone Elger

Connect to this object online.