Learning Cultural Literacy through Creative Practices in Schools Cultural and Multimodal Approaches to Meaning-Making / by Lähdesmäki, Tuuli, Baranova, Jūratė, Ylönen, Susanne C., Koistinen, Aino-Kaisa, Mäkinen, Katja, Juškiene, Vaiva, Zaleskiene, Irena

Table of Contents: “…Introduction: Cultural Literacy and Creativity -- A Sociocultural Approach to Children's Visual Creations -- Multimodality: Art as a Meaning-making Process -- Tolerance, Empathy, and Inclusion -- Living Together -- Social Responsibility -- Belonging and Home -- Cultural Literacy during COVID-19 -- Conclusions: Cultural Literacy in Action.…”
Link to Metadata

Communication Climate at Work Fostering Friendly Friction in Organisations / by Kvalnes, Øyvind

Table of Contents: “…Blind Spots -- 6.Help -- Part Two -- 7.Friendly Friction -- 8.Tolerance for False Alarms -- 9.Psychological Safety -- 10.Scope for Agency -- 11.Pushing Plus Buttons -- Part Three -- 12.Communication Ethics -- 13.Countering Moral Neutralization -- 14.Whistleblowing -- 15. …”
Link to Metadata

Model-Driven Development and Operation of Multi-Cloud Applications The MODAClouds Approach /

Table of Contents: “…Introduction -- Cloud Service Offer Selection -- The MODAClouds Model-Driven Development -- QoS Assessment and SLA Management -- Monitoring in a Multi-Cloud Environment -- Load Balancing for Multi-Cloud -- Fault-tolerant Off-line Data Migration: The Hegira4Clouds Approach. …”
Link to Metadata

Good Citizenship for the Next Generation A Global Perspective Using IEA ICCS 2016 Data /

Table of Contents: “…Citizenship Norms and Tolerance in European Adolescents; Andrés Sandoval-Hernández, Ellen Claes, Nicola Savvides and María Magdalena Isac -- 10. …”
Link to Metadata

Finding Balance Collaborative Workflows for Risk Management in Sharing Cultural Heritage Collections Online by Hintz, Carrie, Kowalski, Melanie T., Quigley, Sarah, Bailey, Jody

Table of Contents: “…Introduction -- Teamwork Makes the Dream Work: Building the Right Team -- Identifying Your Institutional Risk Tolerance -- Evaluating Licensing and Permissions for Archival Materials -- Processing with Rights in Mind -- Mapping a Workflow That Works -- Case Study: Emory University Libraries -- Conclusion -- References -- Appendix A: Rose Library Copyright Workflow Task Force Charter -- Appendix B: Rights and Risk Matrix for Manuscript Collections -- Appendix C: Emory University Libraries Deed of Gift/Sale Template -- Appendix D: Rose Library's Post-Processing Rights and Risk Assessment Report Template…”
Access online version

Arbuscular Mycorrhizal Fungi and Higher Plants Fundamentals and Applications /

Table of Contents: “…Arbuscular mycorrhizal fungi in plant tolerance to organic pollutants -- Chapter 9. Managing foliar diseases of crop plants by beneficial arbuscular mycorrhizal fungi -- Chapter 10. …”
Link to Metadata

The Climate-Smart Agriculture Papers Investigating the Business of a Productive, Resilient and Low Emission Future /

Table of Contents: “…-- Chapter 3-Climate change and infectious livestock diseases: the case of rift valley fever and tick-borne diseases -- Chapter 4-Large scale crop suitability assessment under future climate using the ecocrop model: the case of six provinces in Angola'sPlanalto region -- Chapter 5-Understanding the role of soils and management on crops in the face of climate uncertainty in Zimbabwe: a sensitivity analysis -- Chapter 6-Role and challenges of the private seed sector in developing and disseminating climate-smart crop varieties in Eastern and Southern Africa -- Chapter 7-Fast-tracking the development and dissemination of a drought-tolerant maize variety in Ethiopia in response to the risks of climate change -- Chapter 8-Access to early generation seed: obstacles for delivery of climate-smart varieties -- Chapter 9-Climate change and seed systems of roots, tubers and bananas: the cases of potato in Kenya and sweet potato in Mozambique -- Chapter 10-Delivering perennial new and orphan crops for resilient and nutritious farming systems -- Chapter 11-Generating farm-validated variety recommendations for climate adaptation -- Chapter 12-What is the evidence base for climate-smart agriculture in East and Southern Africa? …”
Link to Metadata

Software for Exascale Computing - SPPEXA 2016-2019

Table of Contents: “…EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. …”
Link to Metadata

Dependable Embedded Systems

Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata

Efficient Screening Techniques to Identify Mutants with TR4 Resistance in Banana Protocols /

Table of Contents: “…Lab-based screening using hydroponic system for the rapid detection of Fusarium wilt TR4 tolerance/resistance of banana -- Chapter 7. Field screening of gamma-irradiated Cavendish bananas -- Part III: Mutation Detection using Genomics Tools -- Chapter 8. …”
Link to Metadata

The Onlife Manifesto Being Human in a Hyperconnected Era /

Table of Contents: “…The public sphere in a computational era -- The Public(s) Onlife - A Call for Legal Protection by Design; Mireille Hildebrandt -- Rethinking the Human Condition in a Hyperconnected Era: Why Freedom is not about Sovereignty but about Beginnings; Nicole Dewandre -- Designing the public sphere: information technologies and the politics of mediation; Peter-Paul Verbeek -- Towards an Online Bill of Rights; Sarah Oates -- On Tolerance and Fictitious Publics; May Thorseth -- The Onlife Initiative - Conclusion.…”
Link to Metadata

Building a Resilient and Sustainable Agriculture in Sub-Saharan Africa

Table of Contents: “…Chapter 1: Understanding the Challenges of the Agriculture Sector in Sub-Saharan Africa -- Part I - Improving Agricultural Productivity -- Chapter 2: Improved Seeds and Agricultural Productivity of Family Farms in Cameroon -- Chapter 3: Breaking the Traditional Trap: Assessing Drivers of Modern Technology Adoption by Smallholder Farmers in Hurungwe District, Zimbabwe -- Chapter 4: Input Utilization and Agricultural Labour Productivity: A Gender Analysis -- Chapter 5: Evaluation of Women's On-Farm Trial of Drought Tolerant Maize in Southern Guinea Savannah Agro-Ecological Zone of Nigeria -- Chapter 6: Impact of Bioenergy Crop Adoption on Total Crop Incomes of Farmers in Northern Ghana: The Case of Jatropha Curcas -- Part II - Addressing Climate Change Challenges -- Chapter 7: Profitability in a Sustainable Agricultural Production System: An Approach by the Soil and Water Conservation -- Chapter 8: Land Tenure and Communities' Vulnerability to Climate Shocks: Insights from the Niger Basin of Benin -- Chapter 9: Impact of Drought Index Insurance on Supplemental Irrigation: A Randomized Controlled Trial Experimental Evidence in Northern Ghana -- Part III - Promoting Agro-Industrialization -- Chapter 10: Does the Development of the Agricultural Sector Affect the Manufacturing Sector? …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development

Table of Contents: “…A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa -- Part 3 Sustainable Intensification of Agriculture -- 15. Adoption of Stress-tolerant Rice Varieties in Bangladesh -- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh -- 17. …”
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: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Computation and the Humanities Towards an Oral History of Digital Humanities / by Nyhan, Julianne, Flinn, Andrew

Table of Contents: “…-'It's Probably the Only Modestly Widely used System with a Command Language in Latin': An Oral History Conversation Between Manfred Thaller and Julianne Nyhan --  'I was Keen on Getting Computers into Humanists' Thinking': An Oral History Conversation Between John Bradley and Julianne Nyhan --  'Moderate Expectations, Tolerable Disappointments': An Oral History Conversation between Claus Huitfeldt and Julianne Nyhan -- 'So, Into the Chopper it Went': An Oral History Conversation between Gabriel Egan and Julianne Nyhan -- Revolutionaries and Underdogs -- By Way of a Conclusion.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Managing Protected Areas in Central and Eastern Europe Under Climate Change

Table of Contents: “…Preface -- Acknowledgements -- Chapter 1 - Natural Heritage at Risk by Climate Change -- Chapter 2 - Climate Change in Central and Eastern Europe -- Chapter 3 - Effects of Climate Change on the Hydrological Cycle in Central and Eastern Europe -- Chapter 4 - Potential impacts of climate change on protected habitats -- Chapter 5 - Climate Change impact modelling cascade - Benefits and limitations for -- Chapter 6 - Indicators for Monitoring Climate Change-Induced Effects on Habitats - a -- Chapter 7 - Remote Sensing-based Monitoring of Potential Climate-induced Impacts on Habitats -- Chapter 8 - Assessment of Climate-induced Impacts on Habitats -- Chapter 9 - Legal Aspects of Climate Change Adaptation -- Chapter 10 - A Methodical Framework for Climate Change-Adapted Management in Protected Areas -- Chapter 11 - Monitoring concept of climate-induced impacts on peat bog vegetation in Pokljuka plateau in Triglav National Park, Slovenia -- Chapter 12 - Concept for the monitoring of climate induced impacts on rock ptarmigan (Lagopus muta) in Triglav National Park, Slovenia -- Chapter 13 - Suggested management measures for Natura 2000 Habitats in Körös-Maros National Park, Hungary -- Chapter 14 - Climate-induced challenges for wetlands: revealing the background for the adaptive ecosystem management in the Biebrza Valley, Poland -- Chapter 15 - Habitat changes caused by sea level rise, driven by climate change in the Northern Adriatic coastal wetlands, Slovenia -- Chapter 16 - Potential impacts of climate change on forest habitats in the Biosphere Reserve Vessertal-Thuringian Forest in Germany -- Chapter 17 - Potential Impact of Climate Change on Alpine Habitats from Bucegi Natural Park, Romania -- Chapter 18 - Potential Impacts of Climate Change on Habitats and their Effects on Invasive Plant Species in Danube Delta Biosphere Reserve, Romania -- Chapter 19 - Reproduction biology of an alien invasive plant: a case of drought-tolerant Aster squamatus on the Northern Adriatic seacoast, Slovenia -- Chapter 20 - Conclusions and Recommendations for Adapting Conservation Management in the Face of Climate Change -- Index.…”
Link to Metadata

Agricultural Development in Asia and Africa Essays in Honor of Keijiro Otsuka /

Table of Contents: “…-The Central Luzon Loop Survey: Rice Farming in the Philippines from 1966 to 2021 -- Diffusion of Submergence-tolerant Rice in South Asia -- Toward a Green Revolution in Sub-Saharan Africa: Farm Mechanization in the Mwea Irrigation Scheme -- How Can We Achieve Green Revolution in Sub-Saharan Africa? …”
Link to Metadata

Advances in Wheat Genetics: From Genome to Field Proceedings of the 12th International Wheat Genetics Symposium /

Table of Contents: “….: morphology, hybrid sterility and gametocidal genes -- Part III Cytogenetics and Allopolyploid Evolution -- 7 Wheat chromosome analysis -- 8 New aneuploids of common wheat -- 9 Chromosomal changes over the course of polyploid wheat evolution and domestication -- Part IV Toward Whole Genome Sequencing -- 10 Comprehensive functional analysesof expressed sequence tags in common wheat -- 11 Development of the BAC physical maps of wheat chromosome 6B for its genomic sequencing -- Part V Structural and Functional Genomics -- 12 Sequencing of wheat chromosome 6B: toward functional genomics -- 13 Genetic mechanisms of vernalization requirement duration in winter wheat cultivars -- 14 Building ultra-dense genetic maps in the presence of genotyping errors and missing data -- Part VI Functional Gene Analysis and Molecular Tools -- 15 Exploiting comparative biology and genomics to understand a trait in wheat, Ph1 -- 16 The specific features of anthocyanin biosynthesis regulation in wheat -- 17 Association of wheat miRNAs with hybrid incompatibility in interspecific crosses of Triticum and Aegilops -- 18 High efficiency wheat transformation mediated by Agrobacterium tumefaciens -- 19 extra early-flowering (exe) mutants in einkorn wheat generated by heavy-ion beam irradiation -- Part VII Biotic Stress Response -- 20 Stem rust resistance - two approaches -- 21 Germplasm enhancement for resistance to Pyrenophora tritici-repentis in wheat -- 22 Next Generation Sequencing enabled genetics in hexaploid wheat -- Part VIII Abiotic Stress Response -- 23 Genomics approaches to dissect the genetic basis of drought resistance in durum wheat -- 24 Hybrid breeding in wheat -- 25 Broadening the genetic diversity of common and durum wheat for abiotic stress tolerance breeding -- 26 Early maturity in wheat for adaptation to high temperature stress -- 27 Gene expression profiles involved in development of freezing tolerance in common wheat -- Part IX Improvement of Grain Quality -- 28 Coping with wheat quality in a changing environment - Proteomics evidence for stress caused by environmental changes -- 29 Starch modification: a model for wheat MAS breeding -- 30 Quality characteristics of soft kernel durum - a new cereal crop -- 31 Proposal of international gluten research group -- 32 Enlargement of the genetic diversity for grain quality in bread wheat through alien introgression -- 33 Complex G x E interactions and QTL clusters govern end-use quality traits in hexaploid wheat -- 34 A consistent QTL for flour yield on chromosome 3B in the soft winter wheat variety, Kitahonami -- Part X Marker-Assisted Breeding -- 35 Recent improvements in Japanese wheat varieties -- 36 Determining the order of resistance genes Qsng-3BS, Fhb1 and Sr2 and combining them in coupling on wheat chromosome 3BS -- 37 Meta-analysis of resistance to Fusarium head blight in tetraploid wheat - implications for durum wheat breeding -- 38 Interest of a multiparental and outcrossing wheat population for fine mapping -- 39 The effect of Earliness per se (Eps) genes on flowering time in bread wheat -- Part XI Toward Sustainable Wheat Production -- 40 Recapitulating the OECD-CRP session (sponsored by the OECD's Co-operative Research Program on Biological Resource Management for Sustainable Agricultural Systems -- 41 Exploring genetic resources to increase adaptation of wheat to climate change -- 42 Genomic approaches towards durable fungal disease resistance in wheat -- 43 Review and new progress in wheat wide hybridization for improving the resistance to biotic and abiotic stresses -- 44 Global crop improvement networks to bridge technology gaps -- 45 Genomic selection in plants: empirical results and implications for wheat breeding -- 46 Dietary fibre: wheat genes for enhanced human health -- BM Appendix I: Program -- Appendix II: Poster Presentation List -- Appendix III: Committees.…”
Link to Metadata