Search Results - 自缢~

Towards a Digital Epistemology Aesthetics and Modes of Thought in Early Modernity and the Present Age / by Ingvarsson, Jonas

Table of Contents: “…"Books are Machines": Materiality and Agency from the 1960s to the 2010s -- 5. Towards a 21st Century Pedagogy for the Humanities.…”
Link to Metadata

Transformational Change for People and the Planet Evaluating Environment and Development /

Table of Contents: “…Evaluation for Transformational Change: Learning From Practice -- 3. Transformational Change for Achieving Scale: Lessons for a Greener Recovery -- Section II: Drivers of Sustainability -- 4. …”
Link to Metadata

Global Pathways to Education Cultural Spheres, Networks, and International Organizations /

Table of Contents: “…Does Globalization Affect the Performance of Secondary Education Systems? A Co-evolution Model of Multiplex Transnational Networks and Educational Performance, Helen Seitzer and Michael Windzio -- 5. …”
Link to Metadata

Reimagining Science Education in the Anthropocene

Table of Contents: “…The Waring Worlds of H.G. Wells: The Entangled Histories of Education, Sociobiology, Post-Genomics, and Science Fiction -- 5. …”
Link to Metadata

Addressing the Climate Crisis Local action in theory and practice /

Table of Contents: “…Section 1: Community and place in local climate praxis -- 1.Local climate praxis in practice: Community climate action in Belfast -- 2.Putting the 'Place' in place-based climate action: Insights from climate adaptation initiatives across Scotland -- 3.A commoner's climate movement -- 4.The Envirolution Revolution: Raising awareness of climate change creatively through free and accessible community engagement festivals -- Section 2: The spaces of local climate action -- 5.How have climate emergency declarations helped local government action to decarbonise? …”
Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Static EL Tboxes -- Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance -- A Unifying Splitting Framework -- Integer Induction in Saturation -- Superposition with First-Class Booleans and Inprocessing Clausification -- Superposition for Full Higher-Order Logic -- Implementation and Application -- Making Higher-Order Superposition Work -- Dual Proof Generation for Quantified Boolean Formulas with a BDD-Based Solver -- Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant -- An Automated Approach to the Collatz Conjecture -- Verified Interactive Computation of Definite Integrals -- ATP and AI -- Confidences for Commonsense Reasoning -- Neural Precedence Recommender -- Improving ENIGMA-Style Clause Selection While Learning From History -- System Descriptions -- A Normative Supervisor for Reinforcement Learning Agents (System Description) -- Automatically Building Diagrams for Olympiad Geometry Problems (System Description) -- The Fusemate Logic Programming System (System Description) -- Twee: An Equational Theorem Prover (System Description) -- The Isabelle/Naproche Natural Language Proof Assistant (System Description) -- The Lean 4 Theorem Prover and Programming Language (System Description) -- Harpoon: Mechanizing Metatheory Interactively (System Description).…”
Link to Metadata

Improving Inclusive Education through Universal Design for Learning

Table of Contents: “…Development of Knowledgeable and Resourceful Learners (Alvyra Galkienė and Ona Monkevičienė) -- Chapter 8. A Strategic and Goal-Directed Student: Expectations vs. …”
Link to Metadata

Climate-Smart Forestry in Mountain Regions

Table of Contents: “…Review of policy instruments for climate-smart mountain forestry -- Chapter 15. The role of forests in climate change mitigation: the EU context -- Chapter 16. …”
Link to Metadata

Creating Resilient Futures Integrating Disaster Risk Reduction, Sustainable Development Goals and Climate Change Adaptation Agendas /

Table of Contents: “…-- 3 Coherence, alignment and integration: Understanding the legal relationship between sustainable development, climate change adaptation and disaster risk reduction -- 4 Bridging gaps: connecting climate change risk assessments with disaster risk reduction and climate change adaptation agendas -- Section 2 Irish case studies -- 5 Enhancing Integration of Disaster Risk and Climate Change Adaptation into Irish Emergency Planning -- 6 Supporting national climate change action in Ireland through local governance networks -- 7 Mainstreaming climate change adaptation into planning and development: A case study example from Northern Ireland -- Section 3 International case studies -- 8 Sustainability, disaster risk reduction and climate change adaptation: Building from the bottom up - ASouth African perspective from the small-scale fisheries sector -- 9 Adapting to climate change through disaster risk reduction in the Caribbean: lessons from the Global South in tackling the Sustainable Development Goals -- 10 Towards a resilient riverine community: A Case Study in Sadong Jaya, Sarawak, Malaysia -- 11 Reimagining our menu for sustainable development.…”
Link to Metadata

Managing Transnational UNESCO World Heritage sites in Africa

Table of Contents: “…Extension of Sukur Cultural Landscape in Nigeria to Incorporate the 16 DGB sites on the Wandala Cultural Landscape in Cameroon as a Serial-Transboundary World Heritage site (Anthony Sham) -- Part 5: General. …”
Link to Metadata

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

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