Search Results - WHTZ~

Crime and Safety in the Rural Lessons from research / by Ceccato, Vania, Abraham, Jonatan

Table of Contents: “…Crime and safety in rural areas -- Reasons why crime and safety in rural areas matter -- Current knowledge on crime and safety in rural areas -- Crime, offenders and victims -- Safety perceptions in rural areas -- Police and criminal justice -- Crime prevention and safety interventions -- Emergent topics in research in rural areas -- Implications for practice -- Conclusions and recommendations.…”
Link to Metadata

Ethics of Artificial Intelligence Case Studies and Options for Addressing Ethical Challenges / by Stahl, Bernd Carsten, Schroeder, Doris, Rodrigues, Rowena

Table of Contents: “…Introduction -- Chapter 2. Why Case Studies? -- Chapter 3. Discrimination -- Chapter 4. …”
Link to Metadata

European Citizenship after Brexit Freedom of Movement and Rights of Residence / by Mindus, Patricia

Table of Contents: “…Chapter One: Introduction -- Chapter Two: The Status of European Citizenship: An Overview -- Chapter Three: A Sudden Loss of Rights -- Chapter Four: Understanding Citizenship: The Functionalist Approach -- Chapter Five: Can Rights Be Frozen? -- Chapter Six: Who Gets to Withdraw the Status? -- Chapter Seven: Towards A Functionalist Reading of Union Citizenship.…”
Link to Metadata

Answering questions with data Introductory Statistics for Psychology Students by Crump, Matthew J. C.

Table of Contents: “…1 Why Statistics? -- 2 Describing Data -- 3 Correlation -- 4 Probability, Sampling, and Estimation -- 5 Foundations for inference -- 6 t-Tests -- 7 ANOVA -- 8 Repeated Measures ANOVA -- 9 Factorial ANOVA -- 10 More On Factorial Designs -- 11 Simulating Data -- 12 Thinking about answering questions with data -- 13 GIFs…”
Access online version

The Pandemic of Argumentation

Table of Contents: “…Arguing About "COVID": Metalinguistic Arguments on What Counts As A "Covid-19 Death". Chapter 3. 'Covid-19': Meaning and Reference -- Chapter 4. …”
Link to Metadata

Advancing Energy Policy Lessons on the integration of Social Sciences and Humanities /

Table of Contents: “…Making Multiple Views Count - Why Energy Research Needs to Be Interdisciplinary; Gerd Schönwälder -- Foreword 2. …”
Link to Metadata

Marine Mammals A Deep Dive into the World of Science /

Table of Contents: “…Chapter 1. Who are the marine mammals? -- Chapter 2. Marine mammal acoustics -- Chapter 3. …”
Link to Metadata

Misrepresentation and Silence in United States History Textbooks The Politics of Historical Oblivion / by Gellman, Mneesha

Table of Contents: “…1. Why and How Textbooks Matter for Youth Wellbeing -- 2. …”
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: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Integration Processes and Policies in Europe Contexts, Levels and Actors /

Table of Contents: “…National immigration and integration policies in Europe since 1973: Jeroen Doomernik and María Bruquetas-Callejo -- 5. Who is an immigrant and who requires integration? …”
Link to Metadata

Men's Experiences of Violence in Intimate Relationships by Lien, Marianne Inéz, Lorentzen, Jørgen

Table of Contents: “…Consequences of Intimate Partner Violence. - 6. Men Who Are Subjected to Sexual Abuse. - 7. Experience with Support Agencies. - 8. …”
Link to Metadata

Obstructions in Security-Aware Business Processes Analysis, Detection, and Handling / by Holderer, Julius

Table of Contents: “…Why the Automation of Regulation Can Obstruct Business Processes -- Security-Related Obstructability in Process-Aware Information Systems -- Obstruction Modeling -- OLive-M: A SecANet Use Case for Model-Based Obstruction Solving -- OLive-L: SecANet Use Case for Log-Based Obstruction Solving -- Towards Intelligent Security- and Process-Aware Information Systems -- Bibliography.…”
Link to Metadata

The Tragedy of the Self by Sangiacomo, Andrea

Table of Contents: “…Foreword -- Lecture Zero: Theme -- Lecture One: Enaction -- Lecture Two: Naturalism -- Lecture Three: Shamanism -- Lecture Four: Mysticism -- Lecutre Five: Seers -- Lecture Six: Witnesses -- Lecture Seven: Tragedy -- Lecture Eight: Dialectric -- Lecture Nine: Music -- Lecture Ten: Life -- Lecture Eleven: Relations -- Lecture Twelve: Action -- Lecture Thirteen: Development -- Theme -- Bibliography…”
Access online version

The Economics of Big Science Essays by Leading Scientists and Policymakers /

Table of Contents: “…-- R&D, Innovative Collaborations and the Role of Public Policies -- Large-Scale Investment in Science: Economic Impact and Social Justice -- Investing in Fundamental Research: For Whom? A Philosopher's Perspective -- Investing in Fundamental Research: Evaluation of the Benefits that the UK Has Derived from CERN -- Fundamental Science Drives Innovation -- Epilogue: Productive Collisions-Blue-Sky Science and Today's Innovations.…”
Link to Metadata

Methodological Approaches to Societies in Transformation How to Make Sense of Change /

Table of Contents: “…Chapter 1: Making Sense of Change: Methodological Approaches to Societies in Transformation - An Introduction -- Part 1: Scales of Change -- Chapter 2: Scales of Change and Diagnostic Contradictions: Shifting Relations Between an Emigrant Community and its Diaspora -- Chapter 3: Seeing Social Change through the Institutional Lens: Universities in Egypt, 2011-2018 -- Chapter 4: Conceptualizing Change in the Cuban Revolution -- Part 2: Biographies of Change -- Chapter 5: Social Change and Generational Disparity: Education, Violence, and Precariousness in the Life Story of a Young Moroccan Activist -- Chapter 6: Rescuing Biography from the Nation: Discrete Perspectives on Political Change in Morocco -- Chapter 7: 'A Proper House, Not a Barn': House Biographies and Societal Change in Urban Kyrgyzstan -- Chapter 8: When a Coterie Becomes a Generation: Intellectual Sociability and the Narrative of Generational Change in Sayyid Qutb's Egypt -- Part 3: Change in the Making -- Chapter 9: Spatializing Social Change: Artisanal and Small-Scale Gold Mining in Upper-Guinea -- Chapter 10: The Affects of Change: An Ethnography of the Affective Experiences of the 2013 Military Intervention in Egypt -- Chapter 11: Funeral Reforms in Taiwan: Insights on Change from a Discourse Analytic Perspective. .…”
Link to Metadata

Post-Digital, Post-Internet Art and Education The Future is All-Over /

Table of Contents: “…Aesthetic Practice as Critique: The Suspension of Judgement and the Invention of New Possibilities of Perception, Thinking, and Action -- 12. What is the Poor Image Rich In? -- 13. Educating Things: Art Education Beyond the Individual in the Post-Digital -- 14. …”
Link to Metadata

Evidence and Expertise in Nordic Education Policy A Comparative Network Analysis /

Table of Contents: “…Introduction: A Comparative Network Analysis of Knowledge Use in Nordic Education Policies -- What is in a Reference? Theoretically Understanding the Uses of Evidence in Education Policy -- Exploring the Architecture of Policy Knowledge: A Methodological Note -- Policy Borrowing and Evidence in Danish Education Policy Preparation. …”
Link to Metadata

Capturing the Senses Digital Methods for Sensory Archaeologies /

Table of Contents: “…Richards-Rissetto, K. E. Primeau, D. E.Witt, and G. Goodwin) -- Home-making in 17th century Amsterdam: a 3D reconstruction to investigate visual cues in the entrance hall of Pieter de Graeff (1638-1707) (C. …”
Link to Metadata

The Challenge of Chance A Multidisciplinary Approach from Science and the Humanities /

Table of Contents: “…Friston, H. Bekkering).- When Chance Strikes: Random Mutational Events as a Cause of Birth Defects and Cancer (H. …”
Link to Metadata

Contested Childhoods: Growing up in Migrancy Migration, Governance, Identities /

Table of Contents: “…Ensor -- Lost between Protective Regimes: Roma in the Norwegian State: Ada I. Engebrigtsen -- 6: When Policy Meets Practice: A Study of Ethnic Community-Based Organisations for Children and Youth: Marianne Take and Guro Odegard -- 7: Identity Development among Youth of Vietnamese Descent in the Czech Republic: Andrea Svobodova and Eva Janska -- 8: Mixed Parentage: Negotiating Identity in Denmark: Helene Bang Appel and Rashmi Singla -- 9: "I Think of Myself as Norwegian, although I Feel that I am from Another Country." …”
Link to Metadata