Search Results - 自缢~

Brain and Human Body Modeling Computational Human Modeling at EMBC 2018 /

Table of Contents: “…Insights from Computer Modeling: Analysis of Physical Characteristics of Glioblastoma in Patients Treated with Tumor Treating Fields -- Chapter 7. Simulating the Effect of 200 kHz AC Electric Fields on Tumor Cell Structures to Uncover the Mechanism of a Cancer -- Chapter 8. …”
Link to Metadata

Children and Peace From Research to Action /

Table of Contents: “…From research to action and the spaces in-between: experiences from peacebuilding programs for young people in Cambodia and Uganda -- 20. Working for the Well-Being of Children: The Value and Efficacy of Adopting a Cooperative, Inter-Agency Approach -- Part IV Children and Survival of the Species -- 21. …”
Link to Metadata

Shaping Natural History and Settler Society Mary Elizabeth Barber and the Nineteenth-Century Cape / by Hammel, Tanja

Table of Contents: “…1 Introduction -- Part I: African Experts and Science in the Cape -- 2 African Farmers and Medical Plant Experts -- 3 African Naturalists, Collectors, and Taxidermists -- Part II: From Providing Data to Forging New Practices and Theories -- 4 Gender, Class and Competition -- 5 Proving and Circulating the Theory of Natural Selection -- 6 Barber's Forging Scientific Practices and Theories -- Part III: Negotiating Belonging through Science -- 7 Arguing with Artefacts, Biofacts and Organisms: Barber's Advocacy for 1820 Settlers' Supremacy and Land Rights -- 8 Barber's World of Birds as a Space of Gender Equality -- 9 Colonial Legacies in Post-Colonial Collections -- 10 'The fragments that are left behind'. .…”
Link to Metadata

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading LEAP-UCD-2017 /

Table of Contents: “…Chapter1: LEAP-UCD-2017 V. 1.01 model specifications -- Chapter2: Grain Size Analysis and Maximum and Minimum Dry Density of Ottawa F-65 Sand for LEAP-UCD-2017 -- Chapter3: Physical and Mechanical Properties of Ottawa F65 Sand -- Chapter4: LEAP-UCD-2017 comparison of centrifuge test results -- Chapter5: Archiving of experimental data for LEAP-UCD-2017 -- Chapter6: Comparison of LEAP-UCD-2017 CPT results -- Chapter7: Difference and Sensitivity Analyses of the LEAP-2017 Experiments -- Chapter8: LEAP-2017 Simulation Exercise - Overview of Guidelines for the element test simulations -- Chapter9: Calibration of Constitutive Models and Simulation of the Element Tests -- Chapter10: LEAP-2017: Comparison of the Type-B Numerical Simulations with Centrifuge Test Results -- Chapter11: Numerical sensitivity study compared to trend of experiments for LEAP-UCD-2017 -- Chapter12: LEAP-UCD-2017 Centrifuge Tests at Cambridge -- Chapter13: LEAP-UCD-2017 Centrifuge Test at University of California, Davis -- Chapter14: LEAP-2017 Centrifuge Test at Ehime University -- Chapter15: LEAP-UCD-2017 Centrifuge Test at IFSTTAR -- Chapter16: LEAP-UCD-2017 Centrifuge Test at KAIST -- Chapter17: LEAP-UCD-2017 Centrifuge Test at Kyoto University -- Chapter18: LEAP-UCD-2017 Centrifuge Tests at NCU -- Chapter19: Verification of the Repeatability of Soil Liquefaction Centrifuge Testing at Rensselaer -- Chapter20: Specifications and Results of Centrifuge Model Test at Zhejiang University for LEAP-UCD-2017 -- Chapter21: Prediction of LEAP-UCD-2017 Centrifuge Test Results Using Two Advanced Plasticity Sand Models -- Chapter22: LEAP-UCD-2017 Centrifuge Test Simulation at UNINA -- Chapter23: LEAP-2017 Centrifuge Test Simulation using HiPER -- Chapter24: Numerical Simulations of Selected LEAP Centrifuge Experiments with PM4Sand in FLAC -- Chapter25: LEAP-UCD-2017 Numerical Simulation at Meisosha Corp.…”
Link to Metadata

14th International Congress for Applied Mineralogy (ICAM2019) Belgorod State Technological University named after V....

Link to Metadata

Contemporary Nordic Literature and Spatiality

Table of Contents: “…The Poetics of Blank Spaces and Intervals in Selected Works of Elisabeth Rynell -- 9. What Have They Done to My Song? Recycled Language in Monika Fagerholm's The American Girl -- Part IV Is This a Possible Space? …”
Link to Metadata

Deltas in the Anthropocene

Table of Contents: “…Ganges-Brahmaputra-Meghna Delta, Bangladesh and India: A transnational mega-delta -- 3. The Mahanadi Delta: A rapidly developing delta in India -- 4. …”
Link to Metadata

Energy Justice Across Borders

Table of Contents: “…Section 1-Introduction -- Chapter 1-Where are we now? justice and energy transitions -- Chapter 2-Ethics without borders-world ethics, comparative philosophy, intercultural ethics for energy transitions -- Section 2-African Philosophy -- Chapter 3-Exploring marginalisation and exclusion in renewable energy development in Africa -- Chapter 4-South Africa's renewable energy independent power producer procurement programme -- Chapter 5-The role of energy technology in quality of life and well being in North Africa -- Section 3-Asian philosophy -- Chapter 6-Chinese energy evaluations -- Chapter 7-Energy ethics and Indian philosophical traditions -- Chapter 8-A question of energy ethics-the creative orthodoxy of Buddhist monks in Mongolia -- Section 4-European ethics -- Chapter 9-Contemporary European approaches to energy ethics -- Chapter 10-Energy ethics in the United Kingdom and the Netherlands -- Section 5-South America -- Chapter 11-Latin American principles and environmental ethics -- Chapter 12-Native Americans and energy development -- Section 6-Theistic traditions -- Chapter 13-(Energy) justice in theistic traditions -- Section 7-Conclusion.…”
Link to Metadata

Data Collection in Fragile States Innovations from Africa and Beyond /

Table of Contents: “…Chapter 1: Fragility and innovations in data collection; Johannes Hoogeveen and Utz Pape -- Part I: Innovations in data collection -- Chapter 2: Monitoring the Ebola crisis using mobile phone surveys; Alvin Etang and Kristen Himelein -- Chapter 3: Rapid Emergency Response Survey; Utz Pape -- Chapter 4: Tracking displaced people in Mali; Alvin Etang and Johannes Hoogeveen -- Chapter 5: Locally recruited, resident and enumerators for continuous monitoring; Andre-Marie Taptué and Johannes Hoogeveen -- Chapter 6: A local development index for the Central African Republic and Mali; Mohamed Coulibaly, Johannes Hoogeveen, Roy Katayama and Gervais Chamberlin Yama -- Part II: Methodologically innovations -- Chapter 7: Geo-spatial sampling; Stephanie Eckman and Kristen Himelein -- Chapter 8: Sampling in chaotic environments; Ana I. …”
Link to Metadata

Industry 4.0 for SMEs Challenges, Opportunities and Requirements /

Table of Contents: “…Part I. Introduction to Industry 4.0 for SMEs -- 1. …”
Link to Metadata

Successful Global Collaborations in Higher Education Institutions

Table of Contents: “…King Abdulaziz University Approach to International Collaboration -- Creating the Organizational Climate for Global Partnerships: Challenges and Opportunities -- Building Successful Partnerships -- International cooperation for Asian universities: A Hong Kong perspective -- Global citizens for the 21st century: the role of international partnerships in university education -- International networks - the catalyst of change and excellence -- University cooperation in knowledge transfer -- Student Exchange: The first step towards International Collaboration -- The Tricky Terrain of Global University Partnerships -- Long-Term Sustainability in Global Higher Education Partnerships.…”
Link to Metadata

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

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
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

Human and Organisational Factors Practices and Strategies for a Changing World /

Table of Contents: “…Safety Leadership and Human and Organisational Factors (HOF) - Where do We Go from Here?, by Kathryn Mearns -- 4. Considering Human and Organizational Factors in Risk Industries:, by Christian Neveu, Valérie Lagrange, Philipe Noël, and Nicolas Herchin -- 5. …”
Link to Metadata

The Responsible University Exploring the Nordic Context and Beyond /

Table of Contents: “…Massive Open Online Courses (MOOCs) and the responsible university: History and enacting rationalities for MOOC-initiatives at three Swedish universities; Linda Barman, Cormac McGrath and Christian Stöhr -- Chapter 6. Co-creation with companies: A means to enhance the societal impact of university researchers?…”
Link to Metadata

Geographies of Asylum in Europe and the Role of European Localities

Table of Contents: “…1 Introduction: Birgit Glorius, Jeroen Doomernik -- Part I: Governing Asylum and Reception within an Asylum System under Stress: 2 Dispersal and Reception in Northern Italy: Comparing Systems along the Brenner Route: Michela Semprebon, Gracy Pelacani -- 3 Legal Paradigm Shifts and their Impacts on the Socio-Spatial Exclusion of Asylum Seekers in Denmark: René Kreichauf -- 4 Places and Spaces of the Others: A German Reception Center in Public Discourse and Individual Perception: Daniel Göler -- 5 Before and After the Reception Crisis of 2015: Asylum and Reception Policies in Austria: Sandra Müller, Sieglinde Rosenberger -- Part II: Perceptions and Discourses on Refugee Reception6 Local Narrative-Making on Refugees: how the Interaction between Journalists and Policy Networks shapes the Media Frames: Andrea Pogliano, Irene Ponzo -- 7 Shaping "the Deserving Refugee": Insights from a Local Reception Programme in Flanders: Stiene Ravn, Rilke Mahieu, Milena Belloni, Chris Timmerman -- 8 The Public Perception of the Migration Crisis from the Hungarian Point of View. …”
Link to Metadata

Divorce in Europe New Insights in Trends, Causes and Consequences of Relation Break-ups /

Table of Contents: “…Estimating Trends in Relationship Stability over Time: Conceptual and Empirical Challenges -- Chapter 3. On Increasing Divorce Risks -- Part 2. Divorce Risks -- Chapter 4. …”
Link to Metadata

Your Post has been Removed Tech Giants and Freedom of Speech / by Stjernfelt, Frederik, Lauritzen, Anne Mette

Table of Contents: “…The Digital Enlightenment Project Facing Challenges -- Chapter 5. The Internet 3.0 -- Chapter 6. Attention and Dopamine Hits -- Chapter 7. …”
Link to Metadata

Shipping and Globalization in the Post-War Era Contexts, Companies, Connections /

Table of Contents: “…Petersson, Stig Tenold and Nicholas J. White -- Part I: Contexts -- 2. The declining role of Western Europe in shipping and shipbuilding, 1900-2000- Stig Tenold -- 3. …”
Link to Metadata

Motivational Profiles in TIMSS Mathematics Exploring Student Clusters Across Countries and Time / by Michaelides, Michalis P., Brown, Gavin T. L., Eklöf, Hanna, Papanastasiou, Elena C.

Table of Contents: “…Insights from Motivational Profiles in TIMSS Mathematics -- Appendix A -- Appendix B -- Appendix C.…”
Link to Metadata