Search Results - 印尼~

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

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

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

Link to Metadata

The Palgrave Handbook of Global Slavery throughout History

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