Search Results - ABSP~

Prosthetic Body Parts in Nineteenth-Century Literature and Culture by Sweet, Ryan

Table of Contents: “…The infurnal thing": Autonomy and Ability in Narratives of Disabling, Self-Acting, and Weaponised Prostheses -- 4. …”
Link to Metadata

Instructional Scaffolding in STEM Education Strategies and Efficacy Evidence / by Belland, Brian R.

Table of Contents: “…Introduction: Global view of scaffolding -- Societal goals in STEM education -- Instructional scaffolding: foundations and evolving definitions -- How computer-based scaffolding has been applied in different STEM fields -- Efficacy information according to scaffolding characteristics -- Efficacy information according to study quality -- Efficacy information according to assessment type -- Future directions in scaffolding in STEM -- Conclusion.…”
Link to Metadata

Attachment Ventilation Theory by Li, Angui

Table of Contents: “…Cooking history and development of kitchen appliances -- Kitchen ventilation requirements -- Pollutions of cooking oil fume and health risks -- Thermal comfort in kitchen -- Basis to calculate exhaust airflow rate -- Design of kitchen ventilation -- High performance kitchen ventilation -- Stack effects of kitchen exhaust shaft in high-rise building -- Case study and design of kitchen ventilation.…”
Link to Metadata

Autonomous Trajectory Planning and Guidance Control for Launch Vehicles

Table of Contents: “…Ascent Predictive Guidance for Thrust Drop Fault of Launch Vehicles Using Improved GS-MPSP -- 4. Birkhoff pseudospectral method and convex programming for trajectory optimization -- 5. …”
Link to Metadata

Advancing Culture of Living with Landslides Volume 1 ISDR-ICL Sendai Partnerships 2015-2025 /

Table of Contents: “…Landslide Risk Reduction in Croatia: Scientific research in the framework of the WCoE 2014-2017, IPL-173, IPL-184, ICL ABN -- Shapes and Mechanisms of Large-scale Landslides in Japan: Forecasting Analysis from an Inventory (WCoE 2014-2017 -- Retrospective and Prospects for Cold Regions Landslide Research (2012-2016) (WCoE 2014-2017, IPL-132, IPL-167, IPL-203, CRLN -- Large-scale Rockslide Inventories: from the Kokomeren River Basin to the Entire Central Asia Region (WCoE 2014-2017, IPL-106-2) -- Interventions for Promoting Knowledge, Innovations and Landslide Risk Management Practices within South and Southeast Asia (WCoE 2014-2017) -- Promoting a Global Standard for Community-based Landslide Early Warning Systems (WCoE 2014-2017, IPL-158, IPL-165) -- Model Policy Frameworks, Standards and Guidelines on Landslide Disaster Reduction (WCoE 2014-2017) -- Landslide Hazard and Risk Management (WCoE 2014-2017) -- Mitigation of Landslide Hazards in Ukraine under the Guidance of ICL: 2009-2016 (IPL-153, IPL-191) -- Development of a Hazard Evaluation Technique for Earthquake-Induced Landslides Based on an Analytic Hierarchy Process (AHP) (IPL-154) -- The Croatian-Japanese SATREPS Joint Research Project on Landslides (IPL-161).…”
Link to Metadata

The Gene Ontology Handbook

Table of Contents: “…-- Evaluating Computational Gene Ontology Annotations -- Evaluating Functional Annotations of Enzymes Using the Gene Ontology -- Community-Based Evaluation of Computational Function Prediction -- Get GO!…”
Link to Metadata

Freshwater Governance for the 21st Century

Table of Contents: “…Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management -- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses -- 8. …”
Link to Metadata

Model-Based Demography Essays on Integrating Data, Technique and Theory / by Burch, Thomas K.

Table of Contents: “…Part I: A Model-Based View of Demography: 1. Demography in a New Key: A Theory of Population Theory -- 2. …”
Link to Metadata

Men's Experiences of Violence in Intimate Relationships by Lien, Marianne Inéz, Lorentzen, Jørgen

Table of Contents: “…Men Who Are Subjected to Sexual Abuse. - 7. Experience with Support Agencies. - 8. …”
Link to Metadata

Ambisonics A Practical 3D Audio Theory for Recording, Studio Production, Sound Reinforcement, and Virtual Reality / by Zotter, Franz, Frank, Matthias

Table of Contents: “…XY, MS, and First-order Ambisonics -- Auditory events of multi-loudspeaker playback -- Amplitude panning using vector bases -- Ambisonic amplitude panning in higher orders -- Signal flow and effects in Ambisonic productions -- Higher-order Ambisonic microphones and the wave equation (linear, lossless) -- Compact spherical loudspeaker arrays -- 5D room impulse responses + virtual IKO.…”
Link to Metadata

Sustainable Futures in Southern Africa's Mountains Multiple Perspectives on an Emerging City /

Table of Contents: “…The rise and fall of a homeland capital -- Urban sustainable development in the Global South. A resilience-based approach -- Phuthaditjhaba communities - the future sustainable city -- Human settlement growth and socio-economic development: a geographical analysis -- Internal and international migration in a mountain border town -- Virtual disclosures and self-emancipations: the female body and self-identity on online platforms.…”
Link to Metadata

Open Data Structures An Introduction by Morin, Pat

Table of Contents: “…1 Introduction -- 2 Array-Based Lists -- 3 Linked Lists -- 4 Skiplists -- 5 Hash Tables -- 6 Binary Trees -- 7 Random Binary Search Trees -- 8 Scapegoat Trees -- 9 Red-Black Trees -- 10 Heaps -- 11 Sorting Algorithms -- 12 Graphs -- 13 Data Structures for Integers -- 14 External Memory Searching…”
Access online version

Progress in Landslide Research and Technology, Volume 1 Issue 2, 2022

Table of Contents: “…Key Techniques of Prevention and Control for Reservoir Landslide Based on Evolutionary Process (Huiming Tang) -- Chapter 3. …”
Link to Metadata

Digital Writing Technologies in Higher Education Theory, Research, and Practice /

Table of Contents: “…Introduction -- Section1: Word processing software -- Name of chapter -- The Beginnings of Word Processing: A Historical Account -- Establishing the Standard: The Rise of Microsoft Word -- Expansions and Alternatives: Beyond Microsoft Word -- Section2: Web applications and platform technology -- Name of chapter -- Hypertext, Hyperlinks, and the World Wide Web -- Creativity Software and Idea Mapping Technology -- Digital tools for Written Argumentation -- Digital Note-taking for Writing -- Synchronous and Asynchronous Collaborative Writing -- Social Annotation: Promising Technologies and Practices in Writing -- Multimodal chat-based apps: enhancing copresence when writing -- Learning Management Systems (LMSs) -- Digital Teacher Feedback Tools -- Digital Student Peer Review Systems -- Reference Management Systems -- Plagiarism Detection and Intertextuality Software -- The Electronic Portfolio: self-regulation and reflective practice -- CMS 3.0: The All-in-One Digital Writing Workspace -- Section3: Writing analytics and language technologies -- Name of chapter -- Automated Text Generation and Summarization -- Information Retrieval and Knowledge Extraction for Academic Writing -- Analytic Techniques for Automated Analysis of Writing -- Automated Scoring of Writing -- Automated Feedback on Writing -- Intelligent Tutoring for Writing -- On Corpora and Writing -- Investigating Writing Processes with Keystroke Logging -- Section4: Implications -- Writing and Learning: What Changed with Digitalization? …”
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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

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

Table of Contents: “…Part I: ICL Landslide Lesson -- Advancements in shear strength interpretation, testing, and use for landslide analysis -- Rock Avalanches in the Tibet Plateau of China -- Part II: Original articles -- Landslide Susceptibility Zonation Using GIS-based Frequency Ratio Approach in the Kulon Progo Mountains Area, Indonesia -- Physically-based regional landslide forecasting modelling: model set-up and validation -- Consequence - frequency matrix as a tool to assess landslides risk -- Do not let your guard down: landslide exposure and local awareness in Mexico -- Landslides in Higher Education Curricula and Beyond -- Community Scale Landslide Resilience: A citizen-science approach -- Remedial Measures Impact on Slope Stability and Landslide Occurrence in Small-Scale Slope Physical Model in 1g Conditions -- Surficial geology and geomorphology of the North Slide, Thompson River valley, British Columbia: application of fundamental geoscience information to interpretations of geospatial monitoring results -- High Resolution Numerical Weather Simulation for Orographic Precipitation as an Accurate Early Warning Tool for Landslide Vulnerable Terrains -- Climate Change as Modifier of Landslide Susceptibility: Case Study in Davao Oriental, Philippines -- Fractal-based evaluation of the spatial relationship between conditioning factors and the distribution of landslides (A case study in Tinh Tuc, Cao Bang province, Vietnam) -- Procedure of Data Processing for the Improvement of Failure Time of a Landslide Based on the Velocity and Acceleration of the Displacement -- Numerical analysis of the effect of rainfall on the stability of sandstone-covered mudstone cutting slopes -- Part III: Review articles -- Post-formation behaviour of Hattian Landslide Dam and post-breaching situation -- Investigation of debris flow impact mechanisms and designs -- A review of the disaster risk assessment perspectives -- Part IV: IPL/WCOE/KLC2020 -- Application of LAND-SUITE for landslide susceptibility modelling using different mapping units. …”
Link to Metadata

The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons /

Table of Contents: “…Software Driven Networks, Virtualisation, Programmability and Autonomic Management -- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) -- The NEBULA Future Internet Architecture -- Open the Way to Future Networks - A Viewpoint Framework from ITU-T -- Towards a Minimal Core for Information-Centric Networking -- Managing QoS for Future Internet Applications over Virtual Sensor Networks -- High Availability in the Future Internet -- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation -- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds -- Cloud-Based Evaluation Framework for Big Data -- Optimizing Service Ecosystems in the Cloud -- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles -- Towards a Secure Network Virtualization Architecture for the Future Internet -- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures -- Internet of Things -- IoT6 - Moving to an IPv6-Based Future IoT -- SmartSantander: Internet of Things Research and Innovation through Citizen Participation -- A Cognitive Management Framework for Empowering the Internet of Things -- Building Modular Middlewares for the Internet of Things with OSGi -- Towards an Architecture for Future Internet Applications -- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability -- Test-Enabled Architecture for IoT Service Creation and Provisioning -- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet -- The EARTH Project -- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces -- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices -- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities -- User Involvement in Future Internet Projects -- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play -- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life -- CONCORD Project Management of the Future Internet -- FLAMINGO NoE Project Management of the Future Internet -- The GEYSERS Concept and Major Outcomes -- iCore: A Cognitive Management Framework for the Internet of Things -- IoT6 Project in a Nutshell -- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand -- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet -- The SmartSantander Project -- UniverSelf, Realizing Autonomics for Future Networks.…”
Link to Metadata

Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations /

Table of Contents: “…Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance.…”
Link to Metadata

Elements of Robotics by Ben-Ari, Mordechai, Mondada, Francesco

Table of Contents: “…Robots and their Applications -- Sensors -- Reactive Behavior -- Finite State Machines -- Robotic Motion and Odometry -- Control -- Local Navigation: Obstacle Avoidance -- Localization -- Mapping -- Mapping-based Navigation -- Fuzzy Logic Control -- Image Processing -- Neural Networks -- Machine Learning -- Swarm Robotics -- Kinematics of a Robotic Manipulator -- Appenix A:Units of Measurement -- Appendix B:Mathematical Derivations and Tutorials -- Index.…”
Link to Metadata