Search Results - 種痘~

Interlocal Adaptations to Climate Change in East and Southeast Asia Sharing Lessons of Agriculture, Disaster Risk Reduction, and Resource Management /

Table of Contents: “…Community-based Disaster Risk Reduction Education in Japan (Aiko Sakurai and Tetsuji Ito) -- 9. The Practice of Education for Disaster Risk Mitigation in Vietnam: Lessons Learned from a Decade of Implementation 2010-2020 (Tong Thi My Thi , Nguyen Thi Hong Duong1, Nguyen The Hung , Tae Yoon Park) -- Part 3. …”
Link to Metadata

Migration and Pandemics Spaces of Solidarity and Spaces of Exception /

Table of Contents: “…Territorial and Digital Borders and Migrant Vulnerability Under a Pandemic Crisis (Petra Molnar) -- 4. Vulnerability and Resilience in the Covid-19 Crisis: Race, Gender, and Belonging (Eileen Boris) -- 5. …”
Link to Metadata

Research Methodologies and Ethical Challenges in Digital Migration Studies Caring For (Big) Data? /

Table of Contents: “…1. Caring For (Big) Data: An Introduction To Research Methodologies And Ethical Challenges In Digital Migration Studies -- 2. …”
Link to Metadata

Primary and Secondary Education During Covid-19 Disruptions to Educational Opportunity During a Pandemic /

Table of Contents: “…-- Homeschooling in Norway during the Pandemic - Digital learning with unequal access to qualified help at home and unequal learning opportunities provided by the school -- The Portuguese educational policy to ensure equity in learning in times of crises -- General Education in Russia During COVID-19: Readiness, Policy Response, and Lessons Learned -- Science, Social Responsibility, and Education: The Experience of Singapore During the COVID-19 Pandemic -- The Spanish Response to The Covid-19 Pandemic: From joint governance to Lack of governance -- The Impact of COVID-19 on a Fragile Education System: The Case of South Africa -- COVID-19 and U.S. …”
Link to Metadata

Remittances as Social Practices and Agents of Change The Future of Transnational Society /

Table of Contents: “…Chapter 1. Introduction: Remittances as Social Practices and Agents of Change -- Part I: Historical Perspectives: Paving the Platform for Remittance Research -- Chapter 2. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Female Genital Mutilation/Cutting in Children and Adolescents Illustrated Guide to Diagnose, Assess, Inform and Report /

Table of Contents: “…Conclusion -- 9. Appendix 1: Consent and photography -- 10. Appendix 2: Informed Consent -- 11. …”
Link to Metadata

Land Tenure Security and Sustainable Development

Table of Contents: “…People-Land Relationships on the Path to Sustainable Food Security -- Chapter 7. A Complex Relationship: Large-Scale Land Acquisitions and Land Tenure Security -- Chapter 8. …”
Link to Metadata

The Comprehensive Cancer Center Development, Integration, and Implementation /

Table of Contents: “…Introduction: The Overall structure of a Comprehensive Cancer Center -- Inpatient Unit -- Outpatient Unit -- Infusion Center -- Staffing Requirement -- Nursing -- Radiation Therapy Facility -- Surgical Unit -- Pharmacy -- Laboratory Support -- Supportive Care -- Palliative Care -- Blood Bank -- Home Care -- Transplantation and Cellular Therapy -- Training -- Quality Management -- Data Unit -- Finance -- Cost of Medication -- Cancer Treatment at Sites with Limited Resources. .…”
Link to Metadata

Towards Resilient Organizations and Societies A Cross-Sectoral and Multi-Disciplinary Perspective /

Table of Contents: “…Building resilience in temporary organizations: Lessons from a shipyard -- 5. A practical perspective on resilience in organizations: The interplay between structure and action -- 6. …”
Link to Metadata

Environmental Knowledge, Race, and African American Literature by Klestil, Matthias

Table of Contents: “…1. Introduction: African American Environmental Knowledge at Niagara -- Part I Foundations: Antebellum African American Environmental Knowledge -- 2. …”
Link to Metadata

University and School Collaborations during a Pandemic Sustaining Educational Opportunity and Reinventing Education /

Table of Contents: “…Academic Continuity during the Covid-19 Global Health Emergency: Education 4.0 and the Flexible-Digital Model of Tecnologico de Monterrey University in Mexico Supporting Secondary Education -- Chapter 11. …”
Link to Metadata

Physics of Earth's Radiation Belts Theory and Observations / by Koskinen, Hannu E. J., Kilpua, Emilia K. J.

Link to Metadata

Neighbourhoods in Transition Brownfield Regeneration in European Metropolitan Areas / by Rey, Emmanuel, Laprise, Martine, Lufkin, Sophie

Table of Contents: “…Part 1: Definition and issues -- Introduction -- Urban brownfields: Origin, definition, and diversity -- The multiple potentials of urban brownfields -- Urban brownfield regeneration projects: Complexities and issues -- Sustainability issues at the neighbourhood scale -- Part 2: Project dynamics and support tools -- Key steps of a regeneration process -- Specific skills and adapted support -- Sustainability monitoring: Principles, challenges, and approaches -- An operational monitoring tool -- Application to a case study -- Conclusion -- Appendix.…”
Link to Metadata

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

Table of Contents: “…Machine Learning and Deep learning approaches in human brain mapping -- A high-resolution model of the human entorhinal cortex in the 'BigBrain'- use case for machine learning and 3D analyses -- Deep learning-supported cytoarchitectonic mapping of the human lateral geniculate body in the BigBrain -- Brain modelling and simulation -- Computational modelling of cerebellar magnetic stimulation: the effect of washout? …”
Link to Metadata

Feminist Methodologies Experiments, Collaborations and Reflections /

Table of Contents: “…Chapter 1: Feminism as method: Navigating theory and practice -- Chapter 2: Senses of discomfort: Negotiating feminist methods, theory and identity -- Chapter 3: Feminist ethics amid Covid-19: Unpacking assumptions and reflections on risk in research -- Chapter 4: Of apps and the menstrual cycle: A journey into self-tracking -- Chapter 5: Embodying cyberspace: Making the personal political in digital places -- Chapter 6: Mulai leave - datang arrive - pulang return. …”
Link to Metadata

Towards an Emissions Trading System in Mexico: Rationale, Design and Connections with the Global Climate Agenda Outlook on the first ETS in Latin-America and Exploration of the Way Forward /

Table of Contents: “…Setting the stage -- Introducing markets to fight climate change in Mexico -- Policy Design and Implementation Considerations for the Mexican -- The Emissions Trading System (ETS): an analysis from the public policy instruments perspective: Eduardo Villarreal -- Co-Benefits, Concentrated Interests, and Mitigation Policy Adoption in Mexico: A Proposal for the Mexican Emissions Trading Scheme: Rolando Garcia Miron and Arjuna Dibley -- International Cooperation: Putting the Pieces Together for the Mexican Carbon Market. .…”
Link to Metadata

Modes of Esports Engagement in Overwatch

Table of Contents: “…- Positioning Nationality in the Spectatorship of Competitive Overwatch Play; Marko Siitonen & Maria Ruotsalainen -- 7. A Region of Contenders: Overwatch in Brazil; Mayara Caetano -- 8. …”
Link to Metadata

Modern Socio-Technical Perspectives on Privacy

Table of Contents: “…The Ethics of Privacy in Research and Design: Principles, Practices, and Potential -- 18. EU GDPR: Toward a Regulatory Initiative for Deploying a Private Digital Era -- 19. …”
Link to Metadata