Search Results - "ghost"

  1. 441
  2. 442

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

    Published 2021
    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
    Electronic eBook
  3. 443

    Reimagining Science Education in the Anthropocene, Volume 2

    Published 2024
    Table of Contents: “…-- Chapter 4 How a Phenomenology of Place in Science Education Can Grant Erotic Generosities for the Ocean -- Chapter 5 The Ghost of Laplace's Demon: Revisiting the Anthropocene -- Part II Anti-colonial Anthropocene(s) -- Chapter 6 Envisioning Non-elite and More-than-Colonial Environmentalisms -- Chapter 7 Indigenous Spiritual Geographies: Rosalie Little Thunder and "What Does It Mean to Be a Good Relative?" …”
    Link to Metadata
    Electronic eBook
  4. 444
  5. 445
  6. 446
  7. 447
  8. 448
  9. 449
  10. 450
  11. 451
  12. 452
  13. 453
  14. 454
  15. 455
  16. 456
  17. 457
  18. 458
  19. 459
  20. 460