Search Results - ABSP~
Suggested Topics within your search.
Suggested Topics within your search.
- Technology: general issues 174
- Research & information: general 113
- History of engineering & technology 98
- Medicine 76
- Biology, life sciences 60
- Education 55
- Science 48
- Sociology 47
- Humanities 46
- Artificial intelligence 44
- Electrical engineering 43
- Social sciences 43
- Software engineering 42
- Sustainability 42
- Artificial Intelligence 41
- Psychology 41
- Software Engineering 41
- Computer networks 40
- Computer science 39
- Management 37
- Philosophy 37
- History 35
- Mathematics 31
- Application software 30
- Computer and Information Systems Applications 30
- Education and state 28
- Educational Policy and Politics 26
- Environment 26
- Environmental Sciences 26
- Sexual abuse & harassment 26
-
8321
Child, Family, and Community
Published 2019Table of Contents: “…-- Chapter 6: A Closer Look at Parenting -- Chapter 7: Building Trusting Collaborative Relationships with Families -- Chapter 8: Welcoming & Supporting Families -- Chapter 9: Creating Positive Goal-Oriented Relationships with Strengths-Based Attitudes and Relationship-Based Practices…”
Access online version
Electronic eBook -
8322
Access to Online Resources A Guide for the Modern Librarian /
Published 2018Table of Contents: “…Introduction -- Authentication and Authorisation -- Web based Authentication -- IP Address Recognition -- SAML -- OpenID Connect -- Basic Trouble Shooting. .…”
Link to Metadata
Electronic eBook -
8323
Principles and Practice of Case-based Clinical Reasoning Education A Method for Preclinical Students /
Published 2018Table of Contents: “…Durning -- PART II: The method of Case-Based Clinical Reasoning education -- 6. Case-based Clinical Reasoning in practice; Angela van Zijl, Maria van Loon & Olle ten Cate -- 7. …”
Link to Metadata
Electronic eBook -
8324
Human Rights in Child Protection Implications for Professional Practice and Policy /
Published 2018Table of Contents: “…Re-designing organisations to facilitate rights-based practice in child protection; Eileen Munro and Andrew Turnell -- Chapter 6. …”
Link to Metadata
Electronic eBook -
8325
Sustainable Rice Straw Management
Published 2020Table of Contents: “…Preface -- 1 Introduction -- 2 Mechanized Collection and Densification of Rice Straw -- 3 Rice Straw-Based Composting -- 4 Thermochemical Conversion of Rice Straw -- 5 Co-digestion of Rice Straw for Biogas Production -- 6 Mushroom production -- 7 Rice straw-based fodder for ruminants -- 8 Rice straw incorporation influences nutrient cycling and soil organic matter -- 9 Rice straw management effects on greenhouse gas emissions -- 10 Life cycle assessment and best management practices -- 11 Overview of rice straw value chain and business model -- Conclusions.…”
Link to Metadata
Electronic eBook -
8326
Agent-Based Evolutionary Game Dynamics
Published 2019Table of Contents: “…Introduction to agent-based modeling -- 0.3. Introduction to Netlogo -- 0.4. …”
Access online version
Electronic eBook -
8327
-
8328
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...
Published 2023Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata
Electronic eBook -
8329
Cloud-Based Remote Sensing with Google Earth Engine Fundamentals and Applications /
Published 2024Table of Contents: “…Interpreting an Image: Regression -- 9. Advanced Pixel-based Image Transformation -- 10. Neighborhood-based Image Transformation -- 11. …”
Link to Metadata
Electronic eBook -
8330
Thermodynamics and Equilibria in Earth System Sciences: An Introduction
Published 2024Table of Contents: “…Introduction -- The First Law: Work, Heat and Thermochemistry -- Entropy and the Second Law -- The Gibbs Free Energy -- Introduction to Equilibrium -- Acid-base Equilibria -- Redox Equilibria.…”
Link to Metadata
Electronic eBook -
8331
Psychology as a Social Science
Published 2015Table of Contents: “…Psychology as Science -- Biological Basis of Behavior -- Sensation and Perception -- Cognition and Language -- Development -- Social Psychology -- Personality -- Emotions and Motivation -- Psychological Disorders -- Well-Being…”
Access online version
Electronic eBook -
8332
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...
Published 2022Table 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
Electronic eBook -
8333
The Innovation Revolution in Agriculture A Roadmap to Value Creation /
Published 2021Table of Contents: “…Towards an interactional perspective -- Development of Sustainable Business Models for Innovation in the Swedish Agri-sector - Resource-effective Producer or Stewardship-based Entrepreneur? -- Innovating at marketing and distributing nutritious foods at the Base of the Pyramid (BoP) - Insights from 2SCALE, the largest incubator for inclusive agribusiness in Africa -- Innovation and the quest to feed the world -- Digital Technologies, Big Data, and Agricultural Innovation -- Index.…”
Link to Metadata
Electronic eBook -
8334
Projection-Based Clustering through Self-Organization and Swarm Intelligence Combining Cluster Analysis with the Visualization of High-Dimensional Data /
Published 2018Table of Contents: “…Approaches to Unsupervised Machine Learning -- Methods of Visualization of High-Dimensional Data -- Quality Assessments of Visualizations -- Behavior-Based Systems in Data Science -- Databionic Swarm (DBS).…”
Link to Metadata
Electronic eBook -
8335
Introduction to Psychology The Full Noba Collection
Published 2016Table of Contents: “…Psychology As Science -- Biological Basis of Behavior -- Sensation and Perception -- Development -- Cognition and Language -- Learning and Memory -- Social -- Personality -- Emotions and Motivation -- Psychological Disorders -- Well-Being…”
Access online version
Electronic eBook -
8336
Psychology as a Biological Science
Published 2020Table of Contents: “…Psychology as Science -- Biological Basis of Behavior -- Sensation and Perception -- Learning and Memory -- Cognition and Language -- Development -- Social -- Personality -- Emotions and Motivation -- Psychological Disorders -- Well-Being…”
Access online version
Electronic eBook -
8337
Evidence-Based Massage Therapy
Published 2018Table of Contents: “…Setting the Groundwork for Evidence-Based Massage -- II. Theories and Treatment Strategies -- III. …”
Access online version
Electronic eBook -
8338
Chemistry
Published 2019Table of Contents: “…Fundamental Equilibrium Concepts -- 14. Acid-Base Equilibria -- 15. Equilibria of Other Reaction Classes -- 16. …”
Access online version
Electronic eBook -
8339
Perspectives on European Earthquake Engineering and Seismology Volume 1 /
Published 2014Table of Contents: “…From Performance- and Displacement-Based Assessment of Existing Buildings per EN1998-3 to Design of New Concrete Structures in Fib MC2010 -- 8. …”
Link to Metadata
Electronic eBook -
8340
Ecosystem Restoration through Managing Socio-Ecological Production Landscapes and Seascapes (SEPLS)
Published 2023Table of Contents: “…Introduction -- Chapter 2. Community-Based Woodland Restoration for Livelihoods and Sustainable Wood Fuel Utilisation in the Mole Ecological Landscape, Ghana -- Chapter 3. …”
Link to Metadata
Electronic eBook