Search Results - FRSCM~

Global Perspectives on Educational Innovations for Emergency Situations

Table of Contents: “…STEFANIAK) -- Chapter 8 - THE EFFECTS OF COVID-19 ON RURAL SCHOOL COMMUNITIES IN GUYANA: NEW DIRECTIONS OR OLD METHODS RETOOLED (CHARMAINE BISSESSAR) -- Chapter 9 - MOBILE LEARNING FOR EMERGENCY SITUATIONS: FOUR DESIGN CASES FROM LATIN AMERICA (DANIELA CASTELLANOS-REYES, ENILDA ROMERO-HALL, LUCAS VASCONCELOS, BELEN GARCÍA) -- Chapter 10 - BACK TO DESIGN BASICS: REFLECTIONS, CHALLENGES AND ESSENTIALS OF A DESIGNER'S SURVIVAL KIT DURING A PANDEMIC (RITUSHREE CHATTERJEE, DARSHANA JUVALE, LONG HE, LYNN LUNDY EVANS) -- Chapter 11 - OPEN, FLEXIBLE, AND SERVING OTHERS: MEETING NEEDS DURING A PANDEMIC AND BEYOND (VANESSA P. …”
Link to Metadata

How Megaprojects Are Damaging Nigeria and How to Fix It A Practical Guide to Mastering Very Large Government Projects / by Ibrahim, Jimoh, Loch, Christoph, Sengupta, Kishore

Table of Contents: “…Lessons from the Project -- References -- 9 Two Express Road Rehabilitation Projects -- 9.1 The Lagos-Ibadan Express Road Rehabilitation: A Completed Project -- 9.1.1 Original Construction of the Express Road -- 9.1.2 A Reconstruction Project in a PPP Scheme -- 9.1.3 Restructuring the Project as a Government-Owned Project -- 9.1.4 Discussion -- 9.2 Lagos-Badagry Express Road Rehabilitation: A Stalled Project -- 9.2.1 Brief History -- 9.2.2 Was the Problem the Fault of the Contractor? …”
Link to Metadata

Buildings for Education A Multidisciplinary Overview of The Design of School Buildings /

Table of Contents: “…The fundamental role of nature in urban transformation processes -- The quality of the project and the MIUR standards for the control and funding of the buildings for education and training -- The scholastic typology in post-earthquake reconstruction in Central Italy -- Design for schools -- PART 2: THE PATHS TO INNOVATION: TOOLS MODELS AND PROCESSES, A BIM-based process from building design to construction: a case study, the school of Melzo -- A collaborative approach for AEC industry digital tranformation: a case study, the school of Liscate -- Use of predictive analyses for BIM-based space quality optimization: a case study, progetto Iscol -- The technical-scientific support for the reconstruction of school buildings involved in seismic events. …”
Link to Metadata

Health Promotion in Health Care - Vital Theories and Research

Table of Contents: “…The Ethics of Health Promotion - from public health to health care -- Part 2. Central health Promoting Concepts and Research -- Chapter 5. …”
Link to Metadata

Advancing the Science of Cancer in Latinos Building Collaboration for Action /

Table of Contents: “…Implementation Science to Enhance the Value of Cancer Research in Latinos: A Perspective from the National Cancer Institute -- Chapter 13. …”
Link to Metadata

Non-affirmative Theory of Education and Bildung

Table of Contents: “…(Armend Tahirslay) -- Chapter 16. From 'didactics' to 'curriculum-and-didactics' and beyond: A non-affirmative approach to the analysis of policy changes of didactics in mainland China (Bangpin Ding) -- Part VI. …”
Link to Metadata

Leadership in Educational Contexts in Finland Theoretical and Empirical Perspectives /

Table of Contents: “…Introduction; Raisa Ahtiainen, Eija Hanhimäki, Jaana Leinonen, Mika Risku & Ann-Sofie Smeds-Nylund -- Part I Context -- Educational Policy, Governance, and Leadership; Jukka Alava, Pia Kola-Torvinen & Mika Risku -- In Quest of Principalship; Petri Salo & Siv Saarukka -- Towards a Multi-form Professional Development of Educational Leadership; Eija Hanhimäki, Janni Alho, Piia Nuora, Mika Risku, Elina Fonsén, Alex Mäkiharju, Ann-Sofie Smeds-Nylund, Petra Autio & Saana Korva -- Service Design Thinking Method for Educational Leaders; Mari Suoheimo & Kaarina Määttä -- Part II Conceptual Approaches -- Understanding leadership in educational leadership research in Finland; Saana Korva & Pikka-Maaria Laine -- Positioning and Conceptualising Finnish Pedagogical Leadership in the International Setting; Jukka Alava, Terttu Kovalainen & Mika Risku -- The Concept of Pedagogical Leadership in Finnish Education Enhancing Global Understanding of Leading High-quality Education; Elina Fonsén & Tapio Lahtero -- Pedagogical Dimensions of Curriculum Leadership - a Non-affirmative Approach; Michael Uljens -- Part III Leadership Profession -- Moral Professionalism in the Context of Educational Leadership; Eija Hanhimäki -- Conceptions of Diversity Among Finnish Principals; Anita Jantunen, Lauri Heikonen, Raisa Ahtiainen, Elina Fonsén & Arto Kallioniemi -- Contradictions and Opportunities in Contexts of Everyday Leadership in Education; Mari Simola & Raisa Ahtiainen -- Examining Contradictions for the Development of Competencies in School Leadership; Lauri Lantela, Ville Pietiläinen & Saana Korva -- Principals' Perceptions of Their Work during the COVID-19 Pandemic; Mailis Elomaa, Marja-Kristiina Lerkkanen, & Eija Pakarinen -- Part IV School Community and Collaboration -- Cultural Antecedents in Multisectoral Collaboration Promoting the Wellbeing of School-aged Children; Henna Nurmi, Jaana Leinonen, Malla Örn & Outi Ylitapio-Mäntylä -- The Leadership Group as Means for Teacher Participation and Distributing Leadership; Raisa Ahtiainen & Lauri Heikonen -- Prosociality in Shared Leadership from the Finnish Principals' Viewpoint; Takumi Yada -- Teachers as leaders? …”
Link to Metadata

Bridging Educational Leadership, Curriculum Theory and Didaktik Non-affirmative Theory of Education /

Table of Contents: “…Teachers and Administrators as Lead Professionals for democratic Ethics: From Course Design to Collaborative Journeys of Becoming; Daniel J. …”
Link to Metadata

Communicative Figurations Transforming Communications in Times of Deep Mediatization /

Table of Contents: “…The transformation of journalism: From changing newsroom cultures to a new communicative orientation?…”
Link to Metadata

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

Table of Contents: “…Design and Analysis of a Whole Body Non-Contact Electromagnetic Subthreshold Stimulation Device with Field Modulation Targeting Nonspecific Neuropathic Pain -- Chapter 6. Insights from Computer Modeling: Analysis of Physical Characteristics of Glioblastoma in Patients Treated with Tumor Treating Fields -- Chapter 7. …”
Link to Metadata

Nanoscale Photonic Imaging

Table of Contents: “…Wollnik) -- Photonic Imaging with Statistical Guarantees: From Multiscale Testing to Multiscale Estimation (A. …”
Link to Metadata

Illiberal Trends and Anti-EU Politics in East Central Europe

Table of Contents: “…Chapter 1: Examining Illiberal Trends and Anti-EU Politics in East Central Europe from a Domestic Perspective. State of Research and Outline of the Book (Lisa H. …”
Link to Metadata

The Palgrave Handbook of Development Cooperation for Achieving the 2030 Agenda Contested Collaboration /

Table of Contents: “…Polycentricity and coordination in governance -- 3.Development finance and the 2030 goals -- 4.Transnational science cooperation for sustainable development -- 5.An evolving shared concept of development cooperation: Perspectives on the 2030 Agenda -- 6.The globalisation of foreign aid: Global influences and the diffusion of aid priorities -- 7.The untapped functions of international cooperation in the age of sustainable development -- 8.The difficulties of diffusing the 2030 Agenda: Situated norm engagement and development organisations -- 9.Diffusion, fusion, and confusion: Development cooperation in a multiplex world order -- 10.Conceptualising ideational convergence of China and OECD donors: Coalition magnets in development cooperation -- 11.Measuring development cooperation and the quality of aid -- 12.Interest-based development cooperation: Moving providers from parochial convergence to principled collaboration -- 13.Monitoring and evaluation in South-South cooperation: The case of CPEC in Pakistan -- 14.The implementation of the SDGs: The feasibility of using the GPEDC monitoring framework -- 15.Counting the invisible: The challenges and opportunities of the SDG indicator framework for statistical capacity development -- 16.Building a global development cooperation regime: Necessary but failed efforts -- 17.Failing to share the burden: Traditional donors, Southern providers, and the twilight of the GPEDC and the post-war aid system -- 18.Should China join the GPEDC? …”
Link to Metadata

When Children Draw Gods A Multicultural and Interdisciplinary Approach to Children's Representations of Supernatural Agents /

Table of Contents: “…Anthropomorphizing and de-anthropomorphizing supernatural agency: From conceptual strategies to their theological implications( Grégory Dessart, Zhargalma Dandarova Robert, Pierre-Yves Brandt) -- Chapter 3. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Urinary Stents Current State and Future Perspectives /

Table of Contents: “…Potential for use to prevent infections -- Ch 27: Urinary tract infections and encrustation in urinary stents -- Ch 28: Learning from our mistakes:Applying Vascular Stent Technologies to the Urinary Tract -- Ch 29: Biodegradable urinary stents -- Ch 30: New double-J stent design for preventing/reducing irritative bladder symptoms & flank pain -- Ch 31: Drug eluting devices in the urinary tract -- Ch 32: Methods and Materials for drug eluting urinary stents design and fabrication -- Ch 33: Preventing biofilm formation and encrustation on urinary implants: (bio)coatings and tissue engineering -- Ch 34: Preventing biofilm formation and encrustation on urinary implants: (bio)molecular and physical research approaches -- Ch 35: Ten steps to strategic planning for the urinary stents of the future.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Migrations in the Mediterranean IMISCOE Regional Reader /

Table of Contents: “….: Capturing Irregular Migrations through a Macro-Sociological Lens: The harga process in twelve steps from North Africa to Europe -- Part IV: History, Cities and Social Transformations -- Chapter 16. …”
Link to Metadata

Progress in Landslide Research and Technology, Volume 2 Issue 2, 2023

Table of Contents: “…A case study in Croatia -- An Integrated approach to landslides risk management for local and national authorities -- Assessing landslide hazard in the High City of Antananarivo, Madagascar (UNESCO Tentative site) -- Part V: ICL Landslide Teaching Tools -- Teaching Tools for LS-Tsnnamis -- Part VI: Technical Notes and Case Studies -- CliRtheRoads - An integrated approach to landslide risk management on roads in Serbia -- Part VII: World Landslide Reports -- Rock slope instabilities affecting the AlUla archaeological sites (KSA) -- Refugees' perception of landslide disasters: Insights from the Rohingya camps in Cox's Bazar, Bangladesh.…”
Link to Metadata