Search Results - "acceleration"

Refine Results
  1. 2701
  2. 2702
  3. 2703
  4. 2704
  5. 2705
  6. 2706
  7. 2707
  8. 2708
  9. 2709
  10. 2710
  11. 2711
  12. 2712
  13. 2713
  14. 2714
  15. 2715

    The New Common How the COVID-19 Pandemic is Transforming Society /

    Published 2021
    Link to Metadata
    Electronic eBook
  16. 2716

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

    Published 2021
    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
    Electronic eBook
  17. 2717

    The Essence of Mathematics Through Elementary Problems by Borovik, Alexandre, Gardiner, Tony

    Published 2019
    Table of Contents: “…Word Problems -- 3.1 Twenty problems which embody "3 - 1 = 2" -- 3.2 Some classical examples -- 3.3 Speed and acceleration -- 3.4 Hidden connections -- 3.5 Chapter 3: Comments and solutions -- IV. …”
    Access online version
    Electronic eBook
  18. 2718
  19. 2719
  20. 2720