Search Results - 翼鋒~

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

The Once-Only Principle The TOOP Project /

Table of Contents: “…The Once-Only Principle: A Matter of Trust -- Implementation of the 'once-only' principle in Europe - national approaches -- Drivers for and Barriers to the Cross-Border Implementation of the Once-Only Principle - Once-Only Principle Good Practices in Europe -- The Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in Europe -- Legal Basis and Regulatory Applications of the Once-Only Principle: the Italian Case -- TOOP Trust Architecture -- The Technical challenges in OOP application across the European Union and the TOOP OOP architecture -- Testing methodology for the TOOP pilots -- TOOP pilot experiences: challenges and achievements in implementing once-only in different domains and Member States -- Measuring the Impact of the Once Only Principle for Businesses Across Borders -- The Future of the Once-Only Principle in Europe.…”
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

Chinese Water Systems Volume 4: Applied Water Management in China /

Table of Contents: “…Ecological indicators for surface water quality-methodological approaches to fish community assessments in China and Germany -- 3. Dianchi Shallow Lake Management -- 4. New technical approaches for the co-processing of pharmaceutical wastewater in municipal wastewater treatment plants in the Shenyang region -- 5. …”
Link to Metadata

Sociological Debates on Gestational Surrogacy Between Legitimation and International Abolition / by Bandelli, Daniela

Table of Contents: “…An introduction to the problems of surrogacy and the demands from civil society -- The study's origins and methodology -- Features of a booming reproductive practice. The medical process, the market, the antecedents and the risks -- Sociological perspectives across individual experiences, social structures and representations -- Surrogacy in the United States: the horse is out of the barn -- The Mexican case: the differences between autonomy and radical feminism -- The Italian case: a strong opposition in the name of women's sexual identity and motherhood -- Abolitionist and Regulatory Arguments into perspectives -- Conclusions.…”
Link to Metadata

Modern Industrial Services A Cookbook for Design, Delivery, and Management / by West, Shaun, Gaiardelli, Paolo, Saccani, Nicola

Table of Contents: “…1. Understanding the Barriers That Slow Firms Shifting from Products to Services -- 2. …”
Link to Metadata

Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R A Workbook / by Hair Jr., Joseph F., Hult, G. Tomas M., Ringle, Christian M., Sarstedt, Marko, Danks, Nicholas P., Ray, Soumya

Table of Contents: “…An Introduction to Structural Equation Modeling -- Introduction to R and RStudio -- Introduction to SEMinR -- Evaluation of Reflective Measurement Models -- Evaluation of Formative Measurement Models -- Evaluation of the Structural Model -- Mediation Analysis -- Moderation Analysis.…”
Link to Metadata

Museum Digitisations and Emerging Curatorial Agencies Online Vikings in the Digital Age / by Axelsson, Bodil, Cameron, Fiona R., Hauptman, Katherine, Pietrobruno, Sheenagh

Table of Contents: “…1. Introduction -- 2. Curatorial Challenges: discussion forums and fragmented narratives -- 3. …”
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

Swiss Energy Governance Political, Economic and Legal Challenges and Opportunities in the Energy Transition /

Table of Contents: “…Peter Hettich and Aya Kachi, Introduction -- Part I Interactions Between Swiss and European Energy Systems and Policy: Julia Hänni and Tienmu Ma, Swiss Climate Change Law -- Sebastian Heselhaus, The Quest for the Future Energy Mix in the EU and in Switzerland -- Benjamin Hofmann, David Kolcava and Philipp Thaler, The Role of Switzerland in European Electricity Governance -- Leonore Haelg, Tobias S. …”
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