Search Results - With~

The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /

Table of Contents: “…Chapman -- 9. 'Let lovers sigh out the rest': Witnessing the Breath in the Early Modern Emotional Body, Naya Tsentourou -- 10. …”
Link to Metadata

Science and Innovations for Food Systems Transformation

Table of Contents: “…Part I : FOOD SYSTEM CONCEPT AND SUMMARIZED RECOMMENDATIONS -- Chapter 1: Food systems: seven priorities to end hunger and protect the planet -- Chapter 2: Food system concepts and definitions for science and political action -- Part II: ACTIONS ON HUNGER AND HEALTHY DIETS -- Chapter 3: Healthy diet - A Definition for the United Nations Food Systems Summit 2021 -- Chapter 4: Ensuring Access to Safe and Nutritious Food for All Through Transformation of Food Systems -- Chapter 5: Shift to Healthy and Sustainable Consumption Patterns -- Chapter 6: Fruits and Vegetables for Healthy Diets: Priorities for Food System Research and Action -- Chapter 7: Modelling Actions for Transforming Agrifood Systems -- Part IV: ACTIONS FOR EQUITY AND RESILIENCE IN FOOD SYSTEMS -- Chapter 8: Advance Equitable Livelihoods -- Chapter 9: A Review of Evidence on Gender Equality, Women's Empowerment and Food Systems -- Chapter 10: The Future of Small Farms: Innovations for Inclusive Transformation -- Chapter 11: Diversification for enhanced food systems resilience -- Chapter 12: Addressing Food Crises in Violent Conflicts -- Chapter 13: In brief: The White/Wiphala Paper on Indigenous Peoples' food systems -- Chapter 14: Marginal areas and indigenous people - Priorities for research and action -- Chapter 15: Priorities for inclusive urban food system transformations in the Global South -- Chapter 16: Secondary Cities as Catalysts for Nutritious Diets in Low- And Middle-Income Countries -- Part V: ACTIONS FOR SUSTAINABLE FOOD PRODUCTION AND RESOURCE MANAGEMENT -- Chapter 17: Boost Nature Positive Production. …”
Link to Metadata

Working With Academic Literacies Case Studies Towards Transformative Practice by Lillis, Theresa, Harrington, Kathy, Lea, Mary, Mitchell, Sally

Table of Contents: “…Transforming Institutional Framings of Academic Writing -- Introduction to Section 4 -- Transforming Dialogic Spaces in an "Elite" Institution: Academic Literacies, the Tutorial and High-Achieving Students, Corinne Boz -- The Political Act of Developing Provision for Writing in the Irish Higher Education Context, Lawrence Cleary and Íde O'Sullivan -- Building Research Capacity through an AcLits-Inspired Pedagogical Framework, Lia Blaj-Ward -- Academic Literacies at the Institutional Interface: A Prickly Conversation Around Thorny Issues, Joan Turner -- Revisiting the Question of Transformation in Academic Literacies: The Ethnographic Imperative, Brian Street in conversation with Mary R. …”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I /

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

The Behavioral Ecology of the Tibetan Macaque

Table of Contents: “…Huangshan - A Case for Self-medication -- Chapter 13: Primate infectious disease ecology: Insights and future directions at the human-macaque interface -- Part V: Emerging Technologies in Primatology -- Chapter 14: High field MRI technology for behavioral and cognitive studies in macaques in vivo.…”
Link to Metadata

Climate Risk in Africa Adaptation and Resilience /

Table of Contents: “…Rowell, Richard Jones -- Chapter 3: Co-production; learning from contexts; Katharine Vincent, Anna Steynor, Alice McClure, Emma Visman, Katinka Lund Waagsaether, Suzanne Carter, Neha Mittal -- Chapter 4: Decision-making heuristics for managing climate-related risks: introducing Equity to the FREE framework; Camilla Audia, Emma Visman, Gino Fox, Emmah Mwangi, Mary Kilavi, Mark Arango, Sonja Ayeb-Karlsson, Dominic Kniveton -- Chapter 5: Creating useful and usable weather and climate information: insights from Participatory Scenario Planning in Malawi; Dorothy Tembo-Nhlema, Katharine Vincent, Rebecka Henriksson -- Chapter 6: High stakes decisions under uncertainty: dams, development and climate change in the Rufiji River basin; Christian Siderius, Robel Geressu, Martin C. …”
Link to Metadata

Information and Communication Technologies in Tourism 2021 Proceedings of the ENTER 2021 eTourism Conference, January 19-22, 2021 /

Table of Contents: “…Part I: Technology -- The Evolution of Chatbots in Tourism: a Systematic Literature Review -- In-room voice-based digital assistants transforming on-site hotel services and guests' experiences -- Co-Creating Personalised Experiences in the Context of Personalisation-Privacy Paradox -- AI based Self-Service Technology Service Failure in Hotel -- Part II: Innovation -- Loyalty Programs and Direct Website Performance: An Empirical Analysis of Global Hotel Brands -- A Netnographic Study of Consumer Value in Slow Travel -- Coworking & coliving: do they attract digital nomad tourist? …”
Link to Metadata

Introduction to Migration Studies An Interactive Guide to the Literatures on Migration and Diversity /

Table of Contents: “…Transnationalism -- Chapter 16. Cities of migration -- PART IV: Transversal Themes -- Chapter 17. …”
Link to Metadata

Baltic Hospitality from the Middle Ages to the Twentieth Century Receiving Strangers in Northeastern Europe /

Table of Contents: “…Conditional Hospitality Towards Internal Refugees: Sweden during the Great Northern War, 1700-1721; Sari Nauman -- 10. Between Home and the City: Receiving and Controlling Strangers in Altona, 1740-1765; Johannes Ljungberg -- 11. …”
Link to Metadata

Stochastic Transport in Upper Ocean Dynamics STUOD 2021 Workshop, London, UK, September 20-23 /

Table of Contents: “…End-to-End Kalman Filter in a High Dimensional Linear Embedding of the Observations (S. …”
Link to Metadata

Democratizing Risk Governance Bridging Science, Expertise, Deliberation and Public Values /

Table of Contents: “…Chapter 1:Introduction - Risk governance dilemmas and democratization: public trust, risk perception and public participation in risk decision-making -- Part I: Motivated reasoning, science and values: rethinking risk perception and public participation in risk governance -- Chapter 2: Motivated reasoning and risk governance: what risk scholars and practitioners need to know -- Chapter 3: Science and values: the pervasive entanglement -- Chapter 4: The BIAS FREE Framework: A tool for science/technology and society education to increase science and risk literacy -- Part II: Public trust, risk perception and public participation: lessons from the real worlds of risk governance Energy -- Chapter 5: Getting it Right? The Site Selection Process for Canada's High-Level Nuclear Waste -- Chapter 6: Hydraulic fracturing in New Brunswick: trust, deliberation and risk decision-making. …”
Link to Metadata

Mobilities in Life and Death Negotiating Room for Migrants and Minorities in European Cemeteries /

Table of Contents: “…Cemeteries as Translocal Contact Zones: Navigating Regulations, Unwritten Rules and Divergent Expectations in Luxembourg City (Mariske Westendorp & Sonja Kmec) -- 3. Managing Migrant Border Deaths in Southern Italy: Medico-legal, Ritual and Burial Practices (Daniela Stauffacher) -- Part 2. …”
Link to Metadata

Sex in Cetaceans Morphology, Behavior, and the Evolution of Sexual Strategies /

Table of Contents: “…Cetacean Evolution: Copulatory and Birthing Consequences of Pelvic and Hindlimb Reduction -- Chapter 5. …”
Link to Metadata

Between Mobility and Migration The Multi-Level Governance of Intra-European Movement /

Table of Contents: “…Consequences of intra-European movement for CEE migrants in European urban regions: Ursula Reeger -- 4. Liquid mobility and its consequences for local integration policies: Godfried Engbersen -- 5.Old wine in new bottles? …”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Evidence Use in Health Policy Making An International Public Policy Perspective /

Table of Contents: “…Justin Parkhurst, Stefanie Ettelt, Benjamin Hawkins -- Chapter 2: The many meanings of evidence: A comparative analysis of the forms and roles of evidence within three health policy processes in Cambodia. …”
Link to Metadata

Performing Citizenship Bodies, Agencies, Limitations /

Table of Contents: “…Notes on the 'Welcome City' Hamburg; Paula Hildebrandt -- 4. Doing Rights with Things: the Art of Becoming Citizens; Engin Isin -- 5. …”
Link to Metadata

Agricultural Implications of the Fukushima Nuclear Accident (III) After 7 Years /

Table of Contents: “…An Overview of Our Research -- Transfer of Radiocesium to Rice in Contaminated Paddy Fields -- Cesium Translocation in Rice -- Absorption of radioceasium in soybean -- An observational study of pigs exposed to radiation -- A Composting System to Decompose Radiocesium Contaminated Baled Grass Silage -- Weathered Biotite: A Key Material of Radioactive Contamination in Fukushima -- Radiocesium accumulation in koshiabura (Eleutherococcus sciadophylloides) and other wild vegetables and in Fukushima Prefecture -- The Transition of Radiocesium in Peach Trees After the Fukushima Nuclear Accident -- Application of the Artificial Annual Environmental Cycle and Dormancy-induced Suppression of Cesium Uptake in Poplar -- Radiocesium Contamination in Forests and the Current Situation of Growing Oak Trees for Mushroom Logs -- Radiocesium Dynamics in Wild Mushrooms During the First Five Years After the Fukushima Accident -- The Spatial Distribution of Radiocesium Over a Four-year Period in a Forest Ecosystem in North Fukushima After the Nuclear Power Station Accident -- Parallel Measurement of Ambient and Individual External Radiation in Iitate Village, Fukushima -- Mobility of Fallout Radiocesium Depending on the Land Use　in Kasumigaura Basin -- Challenges of Agricultural Land Remediation and Renewal of Agriculture in Iitate Village by a Collaboration Between Researchers and a Non-profit Organization -- Radiocesium Contamination on a University Campus and in Forests in Kashiwa City, Chiba Prefecture, a Suburb of Metropolitan Tokyo -- The State of Fisheries and Marine Species in Fukushima: Six Years After the 2011 Disaster -- Visualization of Ion Transport in Plants -- 90Sr analysis using inductively coupled plasma mass spectrometry with split-flow injection and online solid-phase extraction for multiple concentration and separation steps.…”
Link to Metadata

Biodiversity-Health-Sustainability Nexus in Socio-Ecological Production Landscapes and Seascapes (SEPLS)

Table of Contents: “…To Take Care of the Land Means Taking Care of Ourselves": Local Perceptions on Human and Environmental Health in a High Agrobiodiversity Landscape in the Yucatan Peninsula -- Chapter 6. …”
Link to Metadata

Learning Inclusion in a Digital Age Belonging and Finding a Voice with the Disadvantaged /

Table of Contents: “…-- Chapter 3 The Global Network of Learning Cities in the light of the United Nations Sustainable Development Goals (SDGs) -- Part 2 How can the education sector and public/private enterprises support learning inclusion and active citizenship? …”
Link to Metadata