Search Results - Frost Over The World

Business Information Systems Design an App for That by Frost, Raymond, Pike, Jacqueline, Kenyo, Lauren, Pels, Sarah

Access online version

Chapter: 'Ten Theses on the Subject of Biology and Politics: Conceptual, Methodological, and Biopolitical Considerations' from book: The Palgrave Handbook of Biology and Society by Samantha Frost

DOAB: download the publication
DOAB: description of the publication

A facilitated home-based cardiac rehabilitation intervention for people with heart failure and their caregivers: a research programme including the REACH-HF RCT by Hasnain M Dalal, Rod S Taylor, Jennifer Wingham, Colin J Greaves, Kate Jolly, Chim C Lang, Russell C Davis, Karen M Smith, Patrick J Doherty, Jackie Miles, Robin van Lingen, Fiona C Warren, Susannah Sadler, Charles Abraham, Nicky Britten, Julia Frost, Melvyn Hillsdon, Sally Singh, Christopher Hayward, Victoria Eyre, Kevin Paul

Connect to this object online.

Success factors for reducing maternal and child mortality by Shyama Kuruvilla, Julian Schweitzer, David Bishai, Sadia Chowdhury, Daniele Caramani, Laura Frost, Rafael Cortez, Bernadette Daelmans, Andres de Francisco, Taghreed Adam, Robert Cohen, Y Natalia Alfonso, Jennifer Franz-Vasdeki, Seemeen Saadat, Beth Anne Pratt, Beatrice Eugster, Sarah Bandali, Pritha Venkatachalam, Rachael Hinton, John Murray, Sharon Arscott-Mills, Henrik Axelson, Blerta Maliqi, Intissar Sarker, Rama Lakshminarayanan, Troy Jacobs, Susan Jacks, Elizabeth Mason, Abdul Ghaffar, Nicholas Mays, Carole Presern, Flavia Bustreo

Connect to this object online.

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

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata