Search Results - ABSP~

The Joy of Cryptography by Rosulek, Mike

Table of Contents: “…0 Review of Concepts & Notation -- 1 One-Time Pad & Kerckhoffs' Principle -- 2 The Basics of Provable Security -- 3 Secret Sharing -- 4 Basing Cryptography on Intractable Computations -- 5 Pseudorandom Generators -- 6 Pseudorandom Functions & Block Ciphers -- 7 Security Against Chosen Plaintext Attacks -- 8 Block Cipher Modes of Operation -- 9 Chosen Ciphertext Attacks -- 10 Message Authentication Codes -- 11 Hash Functions -- 12 Authenticated Encryption & AEAD -- 13 RSA & Digital Signatures -- 14 Diffie-Hellman Key Agreement -- 15 Public-Key Encryption…”
Access online version

Introductory Chemistry by Ball, David W., Key, Jessie A.

Table of Contents: “…Solutions -- Chapter 12. Acids and Bases -- Chapter 13. Chemical Equilibrium -- Chapter 14. …”
Access online version

Monitoring Animal Populations and their Habitats A Practitioner's Guide by McComb, Brenda C., Zuckerberg, Benjamin, Vesely, David G., Jordan, Christopher A.

Table of Contents: “…Lessons Learned from Current Monitoring Programs -- 3. Community-Based Monitoring -- 4. Goals and Objectives Now and Into the Future -- 5. …”
Access online version

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

Table of Contents: “…A Panting Consciousness: Beckett, Breath, and Biocognitive Feedback, Marco Bernini -- 22. Syllabic Gasps: M. NourbeSe Philip and Charles Olson's Poetic Conspiration, Stefanie Heine -- 23. …”
Link to Metadata

Make Life Visible

Table of Contents: “…Imaging and therapy against hypoxic tumors with 64Cu-ATSM.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Equitable Research Partnerships A Global Code of Conduct to Counter Ethics Dumping / by Schroeder, Doris, Chatfield, Kate, Singh, Michelle, Chennells, Roger, Herissone-Kelly, Peter

Table of Contents: “…Ethics Dumping and the Need for a Global Code of Conduct -- Chapter 2. A Value-Based Global Code of Conduct to Counter Ethics Dumping -- Chapter 3. …”
Link to Metadata

Spationomy Spatial Exploration of Economic Data and Methods of Interdisciplinary Analytics /

Table of Contents: “…Part D - Simulation game-based framework (Introduction, Simulation Game Concept, Simulation Game Rounds, Evaluation/Scoring, Experiences/Good Practices).…”
Link to Metadata

High-Quality Outdoor Learning Evidence-based Education Outside the Classroom for Children, Teachers and Society /

Table of Contents: “…Accumulating scientific evidence that EotC is high quality learning / supporting the learning potential of kids -- Cathy Jordan and Louise Chawla: A Coordinated Research Agenda for Nature-Based Learning -- Kuo Ming, Barnes Michael, Jordan Catherine: Do Experiences With Nature Promote Learning?…”
Link to Metadata

Machine Learning and Its Application to Reacting Flows ML and Combustion /

Table of Contents: “…Introduction -- ML Algorithms, Techniques and their Application to Reactive Molecular Dynamics Simulations -- Big Data Analysis, Analytics & ML role -- ML for SGS Turbulence (including scalar flux) Closures -- ML for Combustion Chemistry -- Applying CNNs to model SGS flame wrinkling in thickened flame LES (TFLES) -- Machine Learning Strategy for Subgrid Modelling of Turbulent Combustion using Linear Eddy Mixing based Tabulation -- MILD Combustion-Joint SGS FDF -- Machine Learning for Principal Component Analysis & Transport -- Super Resolution Neural Network for Turbulent non-premixed Combustion -- ML in Thermoacoustics -- Concluding Remarks & Outlook.…”
Link to Metadata

IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency Intelligent Methods for the Factory of the Future /

Table of Contents: “…Concept and Implementation of a Software Architecture for Unifying Data Transfer in Automated Production Systems -- Social Science Contributions to Engineering Projects: Looking Beyond Explicit Knowledge Through the Lenses of Social Theory -- Enable learning of Hybrid Timed Automata in Absence of Discrete Events through Self-Organizing Maps -- Anomaly Detection and Localization for Cyber-Physical Production Systems with Self-Organizing Maps -- A Sampling-Based Method for Robust and Efficient Fault Detection in Industrial Automation Processes -- Validation of similarity measures for industrial alarm flood analysis -- Concept for Alarm Flood Reduction with Bayesian Networks by Identifying the Root Cause.…”
Link to Metadata

Greening the Greyfields New Models for Regenerating the Middle Suburbs of Low-Density Cities / by Newton, Peter W., Newman, Peter W.G, Glackin, Stephen, Thomson, Giles

Table of Contents: “…The Global Greyfields Transition: Why Urban Redevelopment in Low-Density, Car-Based Middle Suburbs Needs a New Model -- 2. The Greyfield Challenge to Australian Governments -- 3. …”
Link to Metadata

Early Childhood Literacy Engaging and Empowering Emergent Readers and Writers, Birth Age 5 by Pegorraro Schull, Christine, La Croix, Leslie, Miller, Sara E., Austin, Kimberly Sanders, Kidd, Julie K.

Table of Contents: “…Preface -- Chapter 1 - Building Connections that Support Emergent Literacy -- Chapter 2 - Recognizing the Power of the Early Years -- Chapter 3 - Examining Theories that Support Literacy Development -- Chapter 4 - Understanding and Valuing Children's Home Literacy Environments -- Chapter 5 - Building the Environment for Play-Based Learning -- Chapter 6 - Understanding Emergent Literacy Assessment Practices -- Chapter 7 - Language Development: Promoting Speaking, Listening & Communicating -- Chapter 8 - Reading Development: Engaging Emergent Readers -- Chapter 9 - Writing Development: Nurturing Emergent Writers -- Chapter 10 - Planning for What's Next as Emergent Readers and Writers Progress…”
Access online version

Classification and Data Science in the Digital Age

Table of Contents: “…Anton and I. Smith: Model Based Clustering of Functional Data with Mild Outliers -- F. …”
Link to Metadata

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

Table of Contents: “…Dinvay) -- Observation-based noise calibration: an efficient dynamics for the Ensemble Kalman filter (B. …”
Link to Metadata

Gen- und Zelltherapie 2.023 - Forschung, klinische Anwendung und Gesellschaft AG Gentechnologiebericht mit freundlicher Unterstützung der DG-GT und des GSCN /

Table of Contents: “…-- Teil 2: Translation und klinische Anwendung -- Technologien und Lösungsansätze für die effiziente Herstellung von Zelltherapeutika für die CAR-Immuntherapie -- Spotlight: Die Regulation von Arzneimitteln für neuartige Therapien (ATMP) - Rahmen und Unterstützung für die Entwicklung sicherer und wirksamer ATMP -- Immuntherapie mit CAR-T-Zellen: der Durchbruch in der Krebsbehandlung -- Hämatopoetische Stammzelltransplantation: seit Jahrzehnten etablierte Zelltherapie -- Organoide in der Translation -- Zelltypen aus humanen pluripotenten Zellen und deren Anwendung in Zelltherapien -- Therapien zum Zellersatz mit adulten Stammzelltypen -- Spotlight: Ungeprüfte Stammzelltherapien -- Gentherapie aus der Sicht eines forschenden Arzneimittelunternehmens -- Teil 3: Ethik, Recht und Gesellschaft -- Rechtlicher Rahmen und rechtliche Hürden für Zell- und Gentherapien in Deutschland -- Zum ethischen Paradigmenwechsel in der Debatte um (erbliches) Genome-Editing an Embryonen in vitro -- Spotlight: Zu den Grenzen der Medizin und dem "Human Enhancement" -- Gentherapie und Genome-Editing im Blickpunkt internationaler Einstellungsforschung -- Spotlight: Die Metaphernwelt der Molekularbiologie und molekularen Medizin -- Dürfen Gentherapien so viel kosten? …”
Link to Metadata

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

Table of Contents: “…A learning design for inclusive learning -- Chapter 8 To make it visible: some reflections on an intervention designed to prevent gender-based violence against people with intellectual disabilities -- Part 3 Different methodologies that can be adopted an explored in a storytelling approach -- Preface -- Chapter 9 -- Bridging the gaps - promoting wellbeing and social inclusion of girls through digital storytelling -- Chapter 10 Multilingual stories for immigrants and refugees: A language-as-resource approach -- Chapter 11 Including the marginalised: engaging people with dementia and the elderly in technology-based participatory citizen storytelling -- Chapter 12 -- Conclusion -- Glossary of terms.…”
Link to Metadata

e-Science Open, Social and Virtual Technology for Research Collaboration /

Table of Contents: “…-- The Use of Digital Tools in Scholarly Activities -- Digital research infrastructure -- MOVING: A User-Centric Platform for Online Literacy Training and Learning -- CLARIN-D - An IT-based research infrastructure for the humanities and social sciences -- Toward Process Variability Management in Online Examination Process in German Universities -- Designing External Knowledge Communication in a Research Network -- Researching scientific structures via joint authorships - the case of virtual 3D modelling in the humanities -- Visions of a Future Research Workplace Arising from Recent Foresight Exercises.…”
Link to Metadata

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /

Table of Contents: “…Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs.…”
Link to Metadata