Search Results - 種痘~

What People Leave Behind Marks, Traces, Footprints and their Relevance to Knowledge Society /

Link to Metadata

Quantitative Models in Life Science Business From Value Creation to Business Processes /

Table of Contents: “…Partnership Models for R&D in the Pharmaceutical Industry -- Part II. …”
Link to Metadata

Fertility Transition in the Developing World by Bongaarts, John, Hodgson, Dennis

Table of Contents: “…1. Fertility Trends in the Developing World, 1950-2020 -- 2. …”
Link to Metadata

Cultural Diplomacy in Cold War Finland Identity, Geopolitics and the Welfare State / by Clerc, Louis

Table of Contents: “…1. Studying Finland's Cultural Diplomacy from World War II to the CSCE -- 2. …”
Link to Metadata

Family Dynamics over the Life Course Foundations, Turning Points and Outcomes /

Table of Contents: “…Refugee Children in Australia: Well-being and Integration -- Chapter 6. Adolescence a Period of Vulnerability and Risk for Adverse Outcomes across the Life Course: The Role of Parent Engagement in Learning -- Chapter 7. …”
Link to Metadata

A Macroeconometric Model for Saudi Arabia A Case Study on the World's Largest Oil Exporter / by Hasanov, Fakhri J., Joutz, Frederick L., Mikayilov, Jeyhun I., Javid, Muhammad

Table of Contents: “…Theoretical Framework and Stylized Facts -- 4. KGEMM Methodology -- 5. Database -- 6. A Brief History and Structure of KGEMM -- 7. …”
Link to Metadata

Health Information Systems Technological and Management Perspectives / by Winter, Alfred, Ammenwerth, Elske, Haux, Reinhold, Marschollek, Michael, Steiner, Bianca, Jahn, Franziska

Table of Contents: “…Introduction -- Motivation And Objective Of The Book -- Life Situations -- Stakeholders' Requirements -- Example -- Summary -- Basic Concepts And Terms -- Introduction -- Data, Information And Knowledge -- Systems And Subsystems -- Information Systems -- Health Information Systems -- Information Logistics In Health Information Systems -- Functions And Processes Of Health Care Settings -- Information Processing Tools Of Health Information Systems -- Electronic Health Records As A Part Of Health Information Systems -- Architecture And Infrastructure Of Health Information Systems -- Management Of Health Information Systems -- Modeling Information Systems -- Using The Snik Ontology Together With This Book -- Examples -- Exercises -- Summary -- Technological Perspective: Architectures, Integration And Standards -- Introduction -- Layers Of Architectures -- Integrity And Integration -- Standards For Interoperability -- Specific Health Information Systems -- Examples -- Exercises -- Summary -- Management Perspective: Tasks,Scope And Governance -- Introduction -- Strategic, Tactical And Operational Management Of Information Systems -- Tasks And Methods Of Strategic Management Of Information Systems -- It Service Management -- Data Governance -- It Governance -- Managing Specific Health Information Systems -- Examples -- Exercises -- Summary -- Quintessence: Quality -- Fulfillment Of Stakeholders' Requirements -- Evaluation -- Summary -- Thesaurus -- Literature Cited. .…”
Link to Metadata

Migration, Displacement, and Higher Education Now What? /

Table of Contents: “…1. If Not Now, When? -- 2. A Developing Community of Collaboration in Indiana -- 3. …”
Link to Metadata

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

Link to Metadata

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

Table of Contents: “…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 / by Marti, Irene

Table of Contents: “…1. Introduction -- 2. Indefinite confinement in Switzerland -- 3. …”
Link to Metadata

Vitalism and Its Legacy in Twentieth Century Life Sciences and Philosophy

Table of Contents: “…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 / by Frischhut, Markus

Link to Metadata

Gender in Japanese Popular Culture Rethinking Masculinities and Femininities /

Table of Contents: “…"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 of Contents: “…1. Introduction: the Elephant of Causation and the Blind Sages -- 2. …”
Link to Metadata

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

Table of Contents: “…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 by Freebody, Jane

Table of Contents: “…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 of Contents: “…-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 of Contents: “…-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