Search Results - ABSP~

Game Based and Adaptive Learning Strategies by Miller, Carrie Lewis, Batsaikhan, Odbayar, Pluskwik, Elizabeth

Table of Contents: “…Chapter 1- Overview of the Game-Based and Adaptive Learning -- II. Chapter 2- Games in Education -- III. …”
Access online version

Molecular Plant Breeding by Beavis, William

Table of Contents: “…About the PBEA Series -- Molecular Plant Breeding Concepts -- Markers and Sequencing -- Modeling and Data Simulation -- Data Management and Quality Control -- Cluster Analysis, Association, and QTL Mapping -- Marker Assisted Backcrossing -- Genome Construction -- Marker Based Management of Plant Genetic Resources -- Biotechnological Tools for Broadening Genetic Variation -- Modern Tools for Line Development and Predicting Hybrid Performance -- Genomic Tools for Variety Registration and Protection -- Introduction to Bioinformatics -- Comparative Mapping and Genomics -- Applied Learning Activities -- Contributors…”
Access online version

International Perspectives in Values-Based Mental Health Practice Case Studies and Commentaries /

Table of Contents: “…Suzuki -- 27 Non-Traditional Religion, Hyper-religiosity and Psychopathology: the Story of Ivan from Bulgaria -- 28 Journey into Genes: cultural values and the (near) future of genetic counselling in mental health -- 29 Policy-making indabas to prevent "not listening": An added recommendation from the Life Esidimeni tragedy -- 30 Covert Treatment in a cross-cultural setting -- 31 Discouragement towards Seeking Health Care of Older People in Rural China: The influence of culture and structural constraints -- 32 Discovering myself, a journey of rediscovery -- Part V - TRAINING 33 Training for Task: an introduction to Part V, Training -- 34 Values-based Practice when engaging with voice-hearers -- 35 Dharma Therapy: a Buddhist counselling approach to acknowledging and enhancing perspectives, attitudes and values -- 36 Dangerous Liaisons: Science, Tradition, and Qur'anic Healing in the Dakhla Oasis of Egypt -- 37 Know thyself: Jane discovers the value of her depression -- 38 Case studies in the culture of Professional Football Players and Mental Welfare and Wellbeing -- 39 Sexual Orientation Change Efforts and VBP -- 40 Values, Meanings, Hermeneutics and Mental Health -- 41 Disha: Building Bridges-Removing Barriers: Where Excluded and Privileged Young Adults Meet -- 42 Online Counselling: the world without a label -- Part VI - REFLECTIONS 43 The Realpolitik of Values-based Practice: an introduction to Part VI, Reflections -- 44 Reflections on the impact of mental health ward staff training in race equality and values-based practice -- 45 Connecting patients, practitioners and regulators in supporting positive experiences and processes of shared decision-making in osteopathy: a case study in co-production -- 46 Beyond the Color Bar: sharing narratives in order to promote a clearer understanding of mental health issues across cultural and racial boundaries -- BM 47 Co-writing values: what we did and why we did it -- After word: where next with the book -- Index.…”
Link to Metadata

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 o...

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
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

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Adaptive Urban Transformation Urban Landscape Dynamics, Regional Design and Territorial Governance in the Pearl River Delta, China /

Table of Contents: “…Part 1: Introduction -- Introduction: Adaptive urban transformation in the Pearl River Delta -- Multi-level regional governance and spatial development in the Pearl River Delta -- Spatial dynamics in the Pearl River Delta and development strategies -- Part II: Spatial strategy and design -- Territorial governance and spatial planning in Europe: The relevance for flood risk management in the Chinese Pearl River Delta -- A landscape-based regional design approach for sustainable urban development in the Pearl River Delta -- PRD design explorations: Experimenting with adaptive design principles through design -- Unrelenting change -- Part III: Stakeholder participation and visualization -- Stakeholder participation and visualisation in sustainable urban transformation -- Bridging the analogue-digital divide in stakeholder engagement -- Urban planning exhibition halls in the Pearl River Delta for planning communication and public participation -- Part IV: Socio-ecological perspectives -- Industrial transformation and sustainable urban planning in the Pearl River Delta: A landscape-based approach -- Historical canals as urban landscape infrastructure in Guangzhou: Reactivating public life through water -- From modelling and analysis of accessibility of urban green space to green infrastructure planning: Guangzhou as a case study -- Inclusive urban transformation: Embracing the values of urban villages in the PRD Region -- Wetland Parks in Guangzhou: Ecosystem services and perception -- Community supported agriculture in the Pearl River Delta.…”
Link to Metadata

Wheat Improvement Food Security in a Changing Climate /

Table of Contents: “…Introduction -- History of Wheat Breeding: A Personal View -- Defining Target Wheat Breeding Environments -- Global Trends in Wheat Production, Consumption and Trade -- Breeding Methods: Line Development -- Breeding Methods: Population Improvement and Selection Methods -- Achieving Genetic Gains in Practice -- Wheat Rusts: Current Status, Prospects of Genetic Control and Integrated Approaches to Enhance Resistance Durability -- Globally Important Non-Rust Diseases of Wheat -- Abiotic Stresses -- Wheat Quality -- Nutritionally Enhanced Wheat for Food and Nutrition Security -- Experimental Design for Plant Improvement -- Seed Systems to Support Rapid Adoption of Improved Varieties in Wheat -- Crop Management for Breeding Trials -- A Century of Cytogenetic and Genome Analysis: Impact on Wheat Crop Improvement -- Conserving Wheat Genetic Resources -- Exploring Untapped Wheat Genetic Resources to Boost Food Security -- Disease Resistance -- Insect Resistance -- Yield Potential -- Heat and Climate Change Mitigation -- Drought -- Micronutrient Toxicity and Deficiency -- Pre-breeding Strategies -- Translational Research Networks -- High Throughput Field Phenotyping -- Sequence-based marker assisted selection in wheat -- Application of CRISPR-Cas-based Genome Editing for Precision Breeding in Wheat -- Accelerating Breeding Cycles -- Improving Wheat Production and Breeding Strategies Using Crop Models -- Theory and Practice of Phenotypic and Genomic Selection Indices.…”
Link to Metadata

Volunteered Geographic Information Interpretation, Visualization and Social Context /

Table of Contents: “…Effects of Landmark Position and Design in VGI Based Maps on Visual Attention and Cognitive Processing -- 9. …”
Link to Metadata

The Handbook of Salutogenesis

Table of Contents: “…Section I: History and Development of the Salutogenic Model -- Introduction to the Aim of the Book -- Aaron Antonovsky, the Scholar and the Man -- The Salutogenic Model of Health: Developments from 1979 to 1994 -- The Sense of Coherence as Appreciated by Antonovsky -- Section II: Developments in the Era after Antonovsky: Sense of Coherence -- The Role of Culture in the Development of Sense of Coherence -- Development of SOC over the Life Course -- Sense of Coherence: Individuals, Families, Community -- Critical Reflections on the Conceptualisation and Measurement of SOC -- Section III: Developments in the Era after Antonovsky -- The Conceptualisation, Nature, Sources and Measurement of Generalised Resistance Resources -- Public and Private Health Measures and Other Specific Resistance Resources -- The Concepts of Health in Research Based on the Salutogenic Model -- Section IV: Salutogenesis Research in Settings for Health Promotion -- Organisations and Work Life -- Schools -- Cities and Towns -- Community Gardens and Care Farms -- Health Care Settings -- Very Poor Settings in the Global South -- Correctional Settings -- Section V: Salutogenesis Scholarship in Non-English Literatures -- Dutch -- French -- German -- Hebrew -- Italian -- Japanese -- Polish -- Russian -- Scandinavian Languages -- Spanish -- Section VI: From the Present to the Future -- Newer Conceptualisations of the Salutogenic Model of Health -- Evidence-Based Revision of the Salutogenic Model -- Development of the Salutogenic Orientation as Part of a Larger Movement Towards Positive Perspectives in Health Promotion -- Conclusions -- Resources.…”
Link to Metadata

Intelligent Human Computer Interaction 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /

Table of Contents: “…Optimizing User Interfaces for Human Performance -- Geometrical Shapes Rendering on a Dot-Matrix Display -- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM -- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques -- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach -- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment -- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) -- List Navigation Using Edge Menu -- Simplexity and Vicariance. …”
Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

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

Table of Contents: “…Pre-screening of banana genotypes for Fusarium wilt resistance by using an in vitro bioassay -- Chapter 4. In vitro based mass-screening techniques for early selection of banana mutants resistant to Fusarium wilt -- Chapter 5. …”
Link to Metadata

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /

Table of Contents: “…Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols.…”
Link to Metadata

The Evolutionary Dynamics of Discursive Knowledge Communication-Theoretical Perspectives on an Empirical Philosophy of Science / by Leydesdorff, Loet

Table of Contents: “…Knowledge-Based Innovations and Social Coordination -- The Communication Perspective as an Empirical Philosophy of Science -- Scientific Communication and Cognitive Codification -- The Semantics of Shannon-type Information -- Relations, Positions, and Perspectives on Innovation -- Synergy in a Triple Helix of University-Industry-Government Relations -- Regions, Innovations, and the North-South Divide in Italy -- Horizons of Meaning in Anticipatory Systems -- The Generation of Redundancy against the Arrow of Time -- Codification and Anticipation in Techno-Cultural Evolutions -- Inter-Human Communications and the Possibility of Science -- Subject Index -- Author Index -- Bibliography.…”
Link to Metadata

Queering Asylum in Europe Legal and Social Experiences of Seeking International Protection on grounds of Sexual Orientation and Gender Identity / by Danisi, Carmelo, Dustin, Moira, Ferreira, Nuno, Held, Nina

Table of Contents: “…A theoretical framework: A human rights reading of SOGI asylum based on feminist and queer studies -- Part II: The legal and social experiences of SOGI asylum claimants and refugees -- Chapter 4. …”
Link to Metadata

Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings /

Table of Contents: “…Investigating transparency dimensions for Internet voting -- OpenVoting: Recoverability from Failures in Dual Voting -- Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE -- Online Voting in Ontario Municipalities: A Standards-based Review -- Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study -- Verifiability Experiences in Ontario's 2022 Online Elections -- Pretty Good Strategies for Benaloh Challenge -- CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device -- Estimating carbon footprint of paper and Internet voting.…”
Link to Metadata

Communicating, Networking: Interacting The International Year of Global Understanding - IYGU /

Table of Contents: “…Our natural systems: The basis of all human enterprise -- Technology Trends: Working Life with 'Smart Things' -- Citizenship, Governance and Communication -- Changing cultures: changing lives - mobilising social media during a health crisis -- Bridging the digital divide: everyday use of mobile phones among market sellers in Papua New Guinea -- Business, Commerce and the Global Financial System -- Everyday-ing Health Literacy and the Imperative of Health Communication: A Critical Agenda -- Imaging an e-future: Education as a process towards understanding.…”
Link to Metadata

Aging Well Solutions to the Most Pressing Global Challenges of Aging / by Galiana, Jean, Haseltine, William A.

Table of Contents: “…Person Centered Long-Term Care -- 5. Home-Based Palliative Care and Aging in Place and Community -- 6. …”
Link to Metadata

Immigrant and Refugee Families

Table of Contents: “…Chapter 1: Immigration and Immigrant Policy: Barriers and Opportunities for Families -- Chapter 2: From There to Here: The Journey of Refugee Families to the United States -- Chapter 3: Human Rights -- Chapter 4: Economic Well-Being, Supports and Barriers -- Chapter 5: Mental Health -- Chapter 6: Intimate Partner Violence among Immigrants and Refugees -- Chapter 7: Substance Abuse -- Chapter 8: Resilience in Immigrant and Refugee Families -- Chapter 9: Embracing a New Home: Resettlement Research and the Family -- Chapter 10: Conclusion…”
Access online version