Search Results - "ghost"
Suggested Topics within your search.
Suggested Topics within your search.
- Ghost stories 29
- Ghosts 15
- History of the Americas 13
- Literature: history & criticism 13
- Humanities 12
- Short stories 12
- Social & cultural history 9
- Social & cultural anthropology, ethnography 8
- Literary studies: poetry & poets 7
- Fiction 6
- Horror & ghost stories 6
- Literary studies: general 6
- Science fiction 6
- African history 5
- European history 5
- Folklore, myths & legends 5
- Ghost stories, English 5
- Ghosts -- Fiction 5
- History 5
- History of other lands 5
- Philosophy 5
- Anthropology 4
- Christmas stories 4
- Cultural studies 4
- Detective and mystery stories 4
- Economic history 4
- Horror tales, English 4
- Poetry by individual poets 4
- Politics & government 4
- Religion & beliefs 4
-
441
-
442
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table 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 -
443
Reimagining Science Education in the Anthropocene, Volume 2
Published 2024Table 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 -
444
-
445
-
446
-
447
-
448
-
449
-
450
-
451
-
452
The Book / Or / The Woods
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
453
The Book / Or / The Woods
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
454
CURRENT TRENDS IN THE DEVELOPMENT OF PRIMARY EDUCATION
Published 2010Connect to this object online.
Book -
455
-
456
-
457
-
458
Healing Magic and Evil Demons. Canonical Udug-hul Incantations
Published 2015OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
459
The Kindness Colder Than the Elements
Published 2011DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
460