Search Results - "Eventing"

Science of Societal Safety Living at Times of Risks and Disasters /

Table of Contents: “…Part I Human Societies and Societal Safety Sciences -- Chapter 1 What are Societal Safety Sciences -- Chapter 2 Advancement of Scientific Technologies and Human Societies -- Chapter 3 Contemporary Societies and Risk -- Chapter 4 Modern Societies and Establishment of Academia -- Part II Events that Threaten Human and its Societies -- Chapter 5 Human, Nature, and Artificial Products -- Chapter 6 Natural Disasters, Safety, and Security -- Chapter 7 Angles of Social Disasters and Damages -- Chapter 8 Environmental Risks -- Chapter 9 Wars, Crimes, and Terrorism -- Part III Basic Statistics of Risk Analysis -- Chapter 10 Methods in Risk Analysis -- Chapter 11 Risk Management -- Chapter 12 Risk Communication and Disaster Information -- Chapter 13 Crisis Management -- IV Social Mechanisms of Disaster Prevention, Mitigation, and Minimization -- Chapter 14 Public Systems for Disaster Prevention, Mitigation, andMinimization -- Chapter 15 Government Activities in Disaster Prevention and Mitigation -- Chapter 16 Civil Systems for Disaster Prevention, Mitigation, and Minimization -- Chapter 17 Supporting disaster victims -- Part V For Advancement of Societal Safety Sciences -- Chapter 18 Governance and Forming Agreement for Societal Safety Sciences -- Chapter 19 For Deepening Societal Safety Sciences.…”
Link to Metadata

Sexual Reproduction in Animals and Plants

Table of Contents: “…Part 1 Sperm Attraction, Activation and Acrosome Reaction -- 1 Sperm Chemotaxis: The First Authentication Events Between Conspecific Gametes Prior to Fertilization (Manabu Yoshida) -- 2 Respiratory CO2 Mediates Sperm Chemotaxis in Squids (Noritaka Hirohashi) -- 3 Specific Mechanism of Sperm Storage in Avian Oviducts (Tomohiro Sasanami) -- 4 Allurin: Exploring the Activity of a Frog Sperm Chemoattractant in Mammals (Douglas E. …”
Link to Metadata

Horizons of Phenomenology Essays on the State of the Field and Its Applications /

Table of Contents: “…Anthropological Phenomenology and the Eventive Ground.…”
Link to Metadata

Progress in Landslide Research and Technology, Volume 1 Issue 1, 2022

Table of Contents: “…Understanding and Reducing the Disaster Risk of Landslide-induced Tsunamis: Outcome of the Panel Discussion and the World Tsunami Awareness Day Special Event of the Fifth World Landslide Forum (Shinji Sassa) -- Chapter 5. …”
Link to Metadata

EU Cohesion Policy Implementation - Evaluation Challenges and Opportunities The 1st International Conference on Evaluating Challenges in the Implementation of EU Cohesion Policy (E...

Table of Contents: “…Smart and Sustainable Scheduling of Charging Events for Electric Buses (Padraigh Jarvis) -- Chapter 9. …”
Link to Metadata

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

Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata

Shared Physical Custody Interdisciplinary Insights in Child Custody Arrangements /

Table of Contents: “…Linkages Between Children's Living Arrangements After Divorce and the Quality of the Father-Child Relationship; Father involvement as important underlying mechanism -- Chapter 7. Who cares? An event history analysis of co-parenthood dynamics in Belgium -- PART III: Children and JPC -- Chapter 8. …”
Link to Metadata

Causal Mechanisms in the Global Development of Social Policies

Table of Contents: “…Care Workforce Migrantisation on the Example of Elder Care in Germany -- Part V Causal Mechanisms and Social Policies in Latin American Countries -- 11. Transnational Events and National Health Reform: The Latin American Medical Congresses and the Legitimisation of Public Health Reforms in Chile and Uruguay in the Early Twentieth Century -- 12. …”
Link to Metadata

European Language Grid A Language Technology Platform for Multilingual Europe /

Table of Contents: “…ELG National Competence Centres and Events -- 12. Innovation and Marketplace: A Vision for the European Language Grid -- 13. …”
Link to Metadata

Truth Claims Across Media

Table of Contents: “…Impure Realism, Pure Eventness, and Horror Cinema in the Post-truth Era: A Case Study of One Cut of the Dead -- Part IV Interaction, Trust, and Truthfulness on Social Media -- Chapter 11. …”
Link to Metadata

Perspectives on European Earthquake Engineering and Seismology Volume 1 /

Table of Contents: “…Conservation Principles and Performance-Based Strengthening of Heritage Buildings in Post-Event Reconstruction -- 16. Earthquake Risk Assessment: Present Shortcomings and Future Directions -- 17. …”
Link to Metadata

Risk Communication for the Future Towards Smart Risk Governance and Safety Management /

Table of Contents: “….- Chapter 8 Transparency in Healthcare: Disclosing Adverse Events to the Public, by Siri Wiig, Karina Aase, Olav Røise and Mathilde Bourrier -- Chapter 9 How Safety Communication Can Support Safety Management: The Case of Commercial Aviation, by Michel Guérard -- Chapter 10 Risk Communication from an Audit Team to its Client, by Petra Haferkorn -- Conclusion: Chapter 11 Societal Risk Communication - Towards Smart Risk Governance and Safety Management, by Corinne Bieder.   .…”
Link to Metadata

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

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Textbook of Patient Safety and Clinical Risk Management

Table of Contents: “…The patient journey -- 11. Adverse event investigation and risk assessment -- 12. From theory to real world integration: implementation science and beyond -- Part III. …”
Link to Metadata

Lived Institutions as History of Experience

Table of Contents: “…Stories of Silence, Echoes of Events: The Family as a Changing Site of Illness; Marie Meier -- 13. …”
Link to Metadata

Innovations in Quantitative Risk Management TU München, September 2013 /

Table of Contents: “…Part I Markets, Regulation, and Model Risk -- A Random Holding Period Approach for Liquidity-Inclusive Risk Management -- Regulatory Developments in Risk Management: Restoring Confidence in Internal Models -- Model Risk in Incomplete Markets with Jumps -- Part II Financial Engineering -- Bid-Ask Spread for Exotic Options Under Conic Finance -- Derivative Pricing Under the Possibility of Long Memory in the supOU Stochastic Volatility Model -- A Two-Sided BNS Model for Multicurrency FX Markets -- Modeling the Price of Natural Gas with Temperature and Oil Price as Exogenous Factors -- Copula-Specific Credit Portfolio Modeling -- Implied Recovery Rates-Auctions and Models -- Upside and Downside Risk Exposures of Currency Carry Trades via Tail Dependence -- Part III Insurance Risk and Asset Management -- Participating Life Insurance Contracts Under Risk Based Solvency Frameworks: How to Increase Capital Efficiency by Product Design -- Reducing Surrender Incentives Through Fee Structure in Variable Annuities -- A Variational Approach for Mean-Variance-Optimal Deterministic Consumption and Investment -- Risk Control in Asset Management: Motives and Concepts -- Worst-Case Scenario Portfolio Optimization Given the Probability of a Crash -- Improving Optimal Terminal Value Replicating Portfolios -- Part IV Computational Methods for Risk Management -- Risk and Computation -- Extreme Value Importance Sampling for Rare Event Risk Measurement -- A Note on the Numerical Evaluation of the Hartman-Watson Density and Distribution Function -- Computation of Copulas by Fourier Methods -- Part V Dependence Modelling -- Goodness-of-fit Tests for Archimedean Copulas in High Dimensions -- Duality in Risk Aggregation -- Some Consequences of the Markov Kernel Perspective of Copulas -- Copula Representations for Invariant Dependence Functions -- Nonparametric Copula Density Estimation Using a Petrov-Galerkin Projection.…”
Link to Metadata

Surveying Human Vulnerabilities across the Life Course

Table of Contents: “…Lessons from a Large-scale Survey on Aging and Migration in Switzerland: Laure Kaeser -- Vulnerability following a critical life event: temporary crisis or chronic distress? A psychological controversy, methodological considerations, and empirical evidence:Pasqualina Perrig-Chiello, Sara Hutchison, Bina Knöpfli -- A Survey of Couples Facing Breast Cancer in Women: Linda Charvoz, Nicolas Favez, SarahCairo Notari, Bénédicte Panes-Ruedin, Jean-François Delaloye -- A longitudinal research on professional trajectories: Preliminary results from the 1st wave of data collection on a representative sample: Christian Maggiori, Jérôme Rossier, Franciska Krings, Claire Johnston, Koorosh Massoudi -- How to survey displaced workers in Switzerland? …”
Link to Metadata

Cultural Competence and the Higher Education Sector Australian Perspectives, Policies and Practice /

Table of Contents: “…Part I Introduction -- 1 Cultural Competence and the Higher Education Sector: A journey in the academy -- Part II Perspectives -- 2 The "Culture" in Cultural Competence -- 3 Reflecting on a Way of Being: Anchor principles of cultural competence -- 4 Locating Human Rights in the Cultural Competence Context -- 5 On the Critical, Morally Driven, Self-Reflective Agents of Change and Transformation: A literature review on culturally competent leadership in higher education -- 6 Beliefs, Events and Values Inventory Assessment of Global Identity: Implications and applications for international, cross-cultural and transformative learning -- Part III Policy and Policy Issues -- 7 Evaluating Cultural Competence in Indigenous Higher Education Contexts in Australia: A challenge for change -- 8 Indigenist Leadership in Academia: Towards an aspirational model of mindful servant leadership -- 9 Racism a Social Determinant of Indigenous Health: Yarning about cultural safety and cultural competence strategies toimprove indigenous health -- 10 Healing Mainstream Health: Building understanding and respect for indigenous knowledges -- 11 History in the Now: Asserting indigenous difference in "Top End" higher education using culturally responsive pedagogy -- Part IV Practice and Programs -- 12 The Sydney Language on our Campuses and in our Curriculum -- 13 Students and Academics Working in Partnership to Embed Cultural Competence as a Graduate Quality -- 14 Embedding Cultural Competence in Science Curricula -- 15 Embedding Cultural Competence in Faculty: A mixed-methods evaluation of an applied indigenous proficiency workshop -- 16 An Indigenous Australian Cultural Competence Course: Talking culture, race and power -- 17 "Learning Through Reflection" - Enhancing culturally proficient learning communities in midwifery practice and education: An experience-based learning journey in London, United Kingdom -- Part V Conclusion -- 19 Future Directions: Cultural competence and the higher education sector.…”
Link to Metadata

Writing Manuals for the Masses The Rise of the Literary Advice Industry from Quill to Keyboard /

Table of Contents: “…A Pulse Before Shelf Life: Literary Advice on Notebook-writing as Event, Arne Vanraes -- 11. 'Writing by Prescription': Creative Writing as Therapy and Personal Development, Leni Van Goidsenhoven and Anneleen Masschelein -- 12. …”
Link to Metadata