Search Results - 浙江~

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II /

Table of Contents: “…Bisimulation -- Verification and Efficiency -- Logic and Proof -- Tools and Case Studies -- Games and Automata -- SV-COMP 2020.…”
Link to Metadata

Invasive Species in Forests and Rangelands of the United States A Comprehensive Science Synthesis for the United States Forest Sector /

Table of Contents: “…Liebhold, Robert K.D. Peterson, Sharlene E. Sing, and Denys Yemshanov) -- Chapter 7. …”
Link to Metadata

The Prevent Duty in Education Impact, Enactment and Implications /

Table of Contents: “…Enacting the Prevent Duty in primary schools; Raquel da Silva, Giuditta Fontana and Megan A. Armstrong -- Chapter 7. …”
Link to Metadata

Brain and Human Body Modeling 2020 Computational Human Models Presented at EMBC 2019 and the BRAIN Initiative® 2019 Meeting /

Table of Contents: “…Surgery Planning and Treatment Evaluation with Finite Element Methods -- A Computational FEM Parcelled-Brain Model for Electric Field Analysis in Transcranial Direct Current Stimulation -- Computer Model of Electroconvulsive Therapy with Tractography Analysis -- Personalization of multi-electrode setups in tCS: methods and advantages -- Solving High-Resolution Forward Problems for Extra- and Intracranial Neurophysiological Recordings Using Boundary Element Fast Multipole Method -- Modeling Primary Fields of TMS Coils with the Fast Multipole Method -- Functional Requirements of Small- and Large-Scale Neural Circuitry Connectome Models -- A miniaturized ultra-focal magnetic stimulator and its preliminary application to the peripheral nervous system -- Modelling studies of non-invasive electric and magnetic stimulation of the spinal cord -- Simplifying the Numerical Human Model with k-means Clustering Method -- Using Anatomical Human Body Model for FEM SAR Simulation of a 3T MRI System -- RF-Induced Unintended Stimulation for Implantable Medical Devices in MRI.…”
Link to Metadata

Ecosystem-Based Management, Ecosystem Services and Aquatic Biodiversity Theory, Tools and Applications /

Table of Contents: “…Foundational Concepts -- Advancing Aquatic Ecosystem-Based Management with Full Consideration of the Social-Ecological System -- Ecosystem-Based Management: Moving from Concept to Practice -- From DPSIR the DAPSI(W)R(M) Emerges... a Butterfly - 'protecting the natural stuff and delivering the human stuff' -- The Promise and Pitfalls of Ecosystem Services Classification and Valuation -- Approaches for Estimating the Supply of Ecosystem Services: Concepts for Ecosystem-Based Management in Coastal and Marine Environments -- The Final Ecosystem Goods & Services (FEGS) Approach: A Beneficiary-Centric Method to Support Ecosystem-Based Management -- Part III. …”
Link to Metadata

Digital Dilemmas Exploring Social Media Ethics in Organizations / by Kvalnes, Øyvind

Table of Contents: “…Chapter 1: Digital dilemmas in organizations -- 2. Dilemmas in social media: A categorization -- 3. …”
Link to Metadata

Brexit and the Control of Tobacco Illicit Trade by Foltea, Marina

Table of Contents: “…Introduction -- The UK process of leaving the EU -- The issue of illicit tobacco trade in the UK -- UK relevant legal and enforcement frameworks -- EU and Member States agreements with the tobacco industry -- Key EU and global anti-illicit trade initiatives -- Conclusions and recommendations.…”
Link to Metadata

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond /

Table of Contents: “…Chapter 1: Industry 4.0 in retrospect and in context -- Part 1: Technical Perspectives -- Chapter 2: Additive Manufacturing - Past, Present, and the Future -- Chapter 3: Additive manufacturing from the point of view of materials research -- Chapter 4: Robotics in Manufacturing - The Past and the Present -- Chapter 5: Maintenance management in light of manufacturing 4.0 -- Part 2: Manufacturing 4.0 Business models and the economic feasibility of additive manufacturing -- Chapter 6: Industrial additive manufacturing business models - what we know from the literature? …”
Link to Metadata

Functional Somatic Symptoms in Children and Adolescents A Stress-System Approach to Assessment and Treatment / by Kozlowska, Kasia, Scher, Stephen, Helgeland, Helene

Table of Contents: “…1. A Brief Introduction -- Part I: Children with Functional Somatic Symptoms: The Clinical Encounter -- 2. …”
Link to Metadata

Social Democratic Parties and the Working Class New Voting Patterns / by Rennwald, Line

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: A reflection on classes; a reflection on parties -- Chapter 3: Were social democratic parties really more working-class in the past? …”
Link to Metadata

Advances in Crowdfunding Research and Practice /

Table of Contents: “…Crowdfunding in Africa: Opportunities and Challenges -- 15. Israeli Crowdfunding: A Reflection of its Entrepreneurial Culture -- 16. …”
Link to Metadata

The Art of Sustainable Performance A Model for Recruiting, Selection, and Professional Development / by Kodden, Bas

Link to Metadata

Historical and Multidisciplinary Perspectives on Hope

Table of Contents: “…Hope in Ancient Greek Philosophy (G. Scott Gravlee) -- Chapter 2. Early Christian Thinking on Hope (Martin I. …”
Link to Metadata

The Future of Africa Challenges and Opportunities / by Cilliers, Jakkie

Table of Contents: “…1. The Growing Gap -- 2. Africa's Current Path -- 3. …”
Link to Metadata

The State of Peacebuilding in Africa Lessons Learned for Policymakers and Practitioners /

Table of Contents: “…1. Introduction -- 2. Learning Lessons from Peace Operations in Africa -- 3. …”
Link to Metadata

Applied Pedagogies for Higher Education Real World Learning and Innovation across the Curriculum /

Table of Contents: “…Morley and Jean-Baptiste R.G. Souppez -- Chapter 15. Using educational technology to support students' real world learning; Edward Bolton and Roger Emery -- Chapter 16. …”
Link to Metadata

Charting Spiritual Care The Emerging Role of Chaplaincy Records in Global Health Care /

Table of Contents: “…Chaplaincy Documentation in a Large U.S. Health System -- Chapter 4. The Quebec Model of Recording Spiritual Care: Concepts and Guidelines -- Chapter 5. …”
Link to Metadata

Knowledge for Governance

Table of Contents: “…Explaining Subnational Governance: The Role of Governors' Codified and Uncodified Knowledge -- Chapter 8. The (De-)Contextualization of Geographical Knowledge in Forest-Fire Risk Management in Chile as a Challenge for Governance -- Chapter 9. …”
Link to Metadata

The Coupling of Safety and Security Exploring Interrelations in Theory and Practice /

Table of Contents: “…Safety and Security are Two Sides of the Same Coin -- 4. Safety vs Security in Aviation -- 6. Security and Safety Culture - Dual or Distinct Phenomena?…”
Link to Metadata

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /

Table of Contents: “…Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols.…”
Link to Metadata