Résultats de la recherche - 宁波~

Statistical Foundations of Actuarial Learning and its Applications par Wüthrich, Mario V., Merz, Michael

Link to Metadata

Digital Humanism For a Humane Transformation of Democracy, Economy and Culture in the Digital Age / par Nida-Rümelin, Julian, Weidenfeld, Nathalie

Table des matières: “…Ethical Non-Comparability -- 10. Why AIs Fail at Moral Dilemmas -- 11. Why AIs Can't Think -- 12. …”
Link to Metadata

Onward Migration and Multi-Sited Transnationalism Complex Trajectories, Practices and Ties /

Link to Metadata

Doing Indefinite Time An Ethnography of Long-Term Imprisonment in Switzerland / par Marti, Irene

Table des matières: “…1. Introduction -- 2. Indefinite confinement in Switzerland -- 3. …”
Link to Metadata

Vitalism and Its Legacy in Twentieth Century Life Sciences and Philosophy

Table des matières: “…1. Brooke Holmes (Princeton): The Two-Soul Problem: Aristotle, the Stoics, Galen -- 2. …”
Link to Metadata

The Ethical Spirit of EU Values Status Quo of the Union of Values and Future Direction of Travel / par Frischhut, Markus

Link to Metadata

Gender in Japanese Popular Culture Rethinking Masculinities and Femininities /

Table des matières: “…"I'll create my own precedents": Female Rakugo Performers on Tokyo's yose Stages -- 4. …”
Link to Metadata

Causality in Policy Studies a Pluralist Toolbox /

Table des matières: “…1. Introduction: the Elephant of Causation and the Blind Sages -- 2. …”
Link to Metadata

Nontoxic: Masculinity, Allyship, and Feminist Philosophy par Almassi, Ben

Table des matières: “…Chapter 1: Alternatives to Toxicity -- Chapter 2: Masculinity in Early Feminist Philosophy -- Chapter 3: Androgyny and the End of Manhood -- Chapter 4: Feminist Reclamations of Masculinity -- Chapter 5: Allyship and Feminist Masculinity -- Chapter 6: Allyship Masculinities in the Unjust Meantime. .…”
Link to Metadata

Work and Occupation in French and English Mental Hospitals, c.1918-1939 par Freebody, Jane

Table des matières: “…1. Introduction -- 2. Patient Work before the First World War -- 3. …”
Link to Metadata

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

Table des matières: “…-Does a Program Yield the Right Distribution? 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 des matières: “…-Does a Program Yield the Right Distribution? 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

Making Sense of Immigrant Work Integration An Organizing Framework / par Nardon, Luciara, Hari, Amrita

Table des matières: “…Chapter 1: Immigrant Work Integration: A Wicked Problem -- Chapter 2: The Sensemaking Perspective -- Chapter 3: The Immigrant Sensemaker -- Chapter 4: Powerful Interactions for Integration -- Chapter 5: Organizing for Immigrant Workforce Integration -- Chapter 6: The Macro Context of Immigration -- Chapter 7: Extending Sensemaking of Immigrant Integration.…”
Link to Metadata

Regularity of the One-phase Free Boundaries par Velichkov, Bozhidar

Link to Metadata

The Palgrave Handbook of Global Slavery throughout History

Table des matières: “…Cameron. Part 2: Medieval Societies (500-1500 C.E.) -- 7: Slavery in the Byzantine Empire; Youval Rotman -- 8: Slavery in Medieval Arabia; Magdalena Moorthy-Kloss -- 9: Slavery in the Black Sea Region; Hannah Barker -- 10: Slavery in the Western Mediterranean; Juliane Schiel -- 11: The Question of Slavery in the Inca State; Karoline Noack and Kerstin Nowack -- 12: Injection: A Gender Perspective on Domestic Slavery; Ruth Karras -- Part 3: Early Modern Societies (1500-1800 C.E.) -- 13: Slavery in the Mediterranean; Giulia Bonazza -- 14: Slavery in the Ottoman Empire; Hayri Gökşin Özkoray -- 15: Slavery in the Holy Roman Empire; Josef Köstlbauer -- 16: Slavery and Serfdom in Muscovy and the Russian Empire; Hans-Heinrich Nolte and Elena Smolarz -- 17: Slavery in Late Ming China; Claude Chevaleyre -- 18: Slavery in Chosŏn Korea; Sun Joo Kim -- 19: Slavery in the Indian Ocean World; Titas Chakraborty -- 20: Maritime Passages in the Indian Ocean Slave Trade; Pedro Machado -- 21: The Rise of Atlantic Slavery in the Americas; Michael Zeuske -- 22: Plantation Slavery in the British Caribbean; Trevor Burnard -- 23: Injection: Atlantic Slavery and Commodity Chains; Klaus Weber -- Part 4: Modern Societies (1800-1900 C.E.) -- 24: The Second Slavery in the Americas; Michael Zeuske -- 25: Slavery in the US South; Damian A. …”
Link to Metadata

Corporate Liability for Transboundary Environmental Harm An International and Transnational Perspective /

Link to Metadata

Towards Responsible Plant Data Linkage: Data Challenges for Agricultural Research and Development

Table des matières: “…Introduction: Towards Responsible Plant Data Linkage -- Part I: Experiences from the Trenches -- Between Subsistence and Agronomy: Carl Linnaeus (1707-1778) on Famine Foods -- Managing Data in Crop Breeding: A Hundred Year Challenge -- Data, Duplication, and the Decentralisation of Crop Collections -- Data Management in a Multi-Disciplinary African RTB Crop Breeding Program -- Part II: Technical Challenges of Data Linkage -- Challenges to Data Linkage in Plants: Two Parables from the Pea -- From Farm to FAIR: The Trials of Linking and Sharing Wheat Research Data -- Plant Scientific Data Integration, From Building Community Standards to Defining a Consistent Data Lifecycle -- Part III: Governance Challenges of Data Linkage Spinning the Agricultural Data Web -- Creating a Digital Marketplace for Agrobiodiversity and Plant Genetic Sequence Data: Legal and Ethical Considerations of an AI and Blackchain Based Solution -- Digital Sequence Information and Genetic Resources: GlobalPolicy Meets Interoperability -- Collaboration in Crop Diversity Management: A Pragmatist Approach to Data Sharing -- Part IV: Social Challenges of Data Linkage -- The Research Data Alliance Interest Group on Agricultural Data: Supporting a Global Community of Practice -- Ethical and Legal Considerations in Smart Farming: A Farmer's Perspective -- Responsibility Beyond Ethics and Infrastructures: Conceptual and Normative Considerations for Plant Data Linkage and Agriculture.…”
Link to Metadata

Diversity in Computer Science Design Artefacts for Equity and Inclusion / par Bjørn, Pernille, Menendez-Blanco, Maria, Borsotti, Valeria

Table des matières: “…Chapter 1: The State of Diversity In Computer Science In 2022 -- Chapter 2: Femtech.Dk Research Initiative -- Chapter 3: Interventionist Research -- Chapter 4: Makerspace Methodologies & Design Principles -- Chapter 5: Cyberbear & Cryptosphere: Sociomaterial-Design, Social Belonging, And Gender Representations -- Chapter 6: Grace: Designing Sociomaterial Assemblages Unpacking Gender Equity in Computing -- Chapter 7: Equity & Inclusion -- Chapter 8: Organizational Change for Equity & Inclusion -- Chapter 9: Final Reflections.…”
Link to Metadata

Novel Foods and Edible Insects in the European Union An Interdisciplinary Analysis /

Link to Metadata

LGBTQ+ Intimacies in Southern Europe Citizenship, Care and Choice /

Table des matières: “…Acknowledgements: Citizenship, Care and Choice: LGBTQ+ Intimacies in Southern Europe - an Introduction: Ana Cristina Santos -- SECTION I - CITIZENSHIP MATTERS: Chapter 1. Uprisings: A Meditation on Feminist Strategies for Enacting the Common: João Manuel de Oliveira -- Chapter 2. …”
Link to Metadata