RESEARCH BASE

Search 3,721 documents across 34 fields — every claim tier-rated by evidence

3,721 Documents 34 Sections 43,625 Citations 34,852 Keywords Indexed 4 Evidence Tiers

3,633 are the core, quality-scored corpus (34 lettered sections — see How We Work); the remaining 88 are cross-corpus synthesis documents (68 InterDocs, 12 Connections, 8 Theories) also indexed here.

2,604 results for "79 CE eruption" — page 127 of 131

ZD_3_01 Verified Information & Computation

ZD_3_01 — Database Theory and Relational Model

Database theory provides the mathematical foundations for organizing, storing, querying, and managing structured data — one of the most practically consequential branches of computer science. Before the relational model,

database relational model SQL relational algebra normalization ACID
ZD_3_14 Verified Information & Computation

ZD_3_14 — Memory and Storage Systems: From RAM to Distributed Databases

Memory and storage systems form the foundation of all computing — providing the physical mechanisms for storing and retrieving data, from the fastest, most expensive registers and caches that serve the processor's immedi

memory storage RAM SSD hard drive caching
ZD_0_00 Information & Computation

ZD_0_00 — Information & Computation: Section Summary

ZD_5_05 Verified Information & Computation

ZD_5_05 — Formal Methods: Mathematical Verification and Specification of Software

Formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems — using formal (mathematical) languages to describe system behavior and mathemat

formal methods formal verification model checking theorem proving specification correctness
ZD_5_01 Verified Information & Computation

ZD_5_01 — Graph Theory and Algorithms

Graph theory — the mathematical study of graphs (networks of vertices/nodes connected by edges/links) — is one of the most widely applicable branches of mathematics, modeling everything from social networks and transport

graph theory graph algorithm shortest path network flow Euler path Dijkstra
ZD_5_08 Verified Information & Computation

ZD_5_08 — Computer Music: Algorithmic Composition, Digital Audio, and AI Music

Computer music encompasses the creation, analysis, processing, and performance of music using computers — spanning algorithmic composition (generating music through formal procedures and code), digital audio signal proce

computer music algorithmic composition digital audio synthesis MIDI spectral analysis
ZD_5_07 Verified Information & Computation

ZD_5_07 — Search Algorithms: From Breadth-First to Monte Carlo Tree Search

Search algorithms are fundamental computational procedures for exploring state spaces, finding paths, locating solutions, and making decisions — they constitute one of the core pillars of computer science and artificial

search algorithms BFS DFS A* heuristic search adversarial search
ZD_5_04 Verified Information & Computation

ZD_5_04 — Computer Graphics: Rendering, Visualization, and Visual Computing

Computer graphics (CG) is the field of computing concerned with generating, manipulating, and displaying visual content using computers — encompassing everything from the mathematical foundations of rendering photorealis

computer graphics rendering ray tracing rasterization 3D modeling GPU
ZD_5_00 Information & Computation

ZD_5_00 — Digital Culture Tools: Subfolder Summary

ZD_4_02 Verified Information & Computation

ZD_4_02 — Game Theory, Strategic Interaction, and Cooperation

Game theory is the mathematical study of strategic interaction among rational agents, founded by John von Neumann and Oskar Morgenstern's Theory of Games and Economic Behavior (1944) and revolutionized by John Nash's equ

game theory Nash equilibrium prisoner's dilemma tit-for-tat von Neumann Morgenstern
ZD_4_00 Information & Computation

ZD_4_00 — Applied Interdisciplinary: Subfolder Summary

ZD_2_05 Verified Information & Computation

ZD_2_05 — Robotics and Control Theory

Robotics integrates mechanical engineering, electrical engineering, computer science, and control theory to design, build, and program machines that sense, reason, and act in the physical world. Control theory — the math

robotics control theory feedback control PID controller kinematics dynamics
ZD_2_06 Verified Information & Computation

ZD_2_06 — Ethics of AI and Algorithmic Bias

AI ethics examines the moral implications of designing, deploying, and governing artificial intelligence systems, while algorithmic bias refers to systematic errors in automated decision-making that produce unfair outcom

AI ethics algorithmic bias fairness accountability transparency explainability
ZD_2_12 Verified Information & Computation

ZD_2_12 — Generative AI: Large Language Models, Diffusion, and the Transformer Revolution

Generative AI refers to artificial intelligence systems capable of creating new content — text, images, audio, video, code, 3D models — that is novel, coherent, and often indistinguishable from human-created work. The fi

generative AI large language model LLM GPT transformer diffusion model
ZD_2_00 Information & Computation

ZD_2_00 — AI Machine Learning: Subfolder Summary

ZD_2_13 Verified Information & Computation

ZD_2_13 — Explainable AI: Interpretability, Trust, and the Black Box Problem

Explainable AI (XAI) is the field concerned with making artificial intelligence systems — particularly complex machine learning models — understandable to humans. As AI systems increasingly make or influence high-stakes

explainable AI XAI interpretability LIME SHAP black box
ZD_2_09 Verified Information & Computation

ZD_2_09 — Recommender Systems: Collaborative Filtering, Content-Based, and Hybrid Approaches

Recommender systems (RecSys) are algorithms and architectures that predict user preferences and suggest relevant items — products, movies, music, news articles, social media posts, job listings, potential partners — from

recommender systems collaborative filtering content-based filtering matrix factorization Netflix Prize personalization
L_5_07 Verified Genetics & Origins

L_5_07 — Genetics of Speech and Language: Beyond FOXP2

Language is humanity's most distinctive cognitive ability — and identifying its genetic basis has been a central goal of human genetics and neuroscience since the discovery of the KE family and the FOXP2 gene. The KE fam

FOXP2 language genetics speech CNTNAP2 SRPX2 ATP2C2
Y_4_02 Verified Altered States

Y_4_02 — Savant Syndrome and Acquired Genius

Savant syndrome — extraordinary ability coexisting with significant cognitive disability — affects roughly 1 in 10 people with autism and ~1 in 2,000 people with other developmental disabilities or brain injuries. What m

savant syndrome acquired savant traumatic brain injury autistic savant Kim Peek Daniel Tammet
Y_4_01 Verified Altered States

Y_4_01 — Lucid Dreaming Research

Lucid dreaming — being consciously aware that you are dreaming WHILE dreaming, and potentially controlling dream content — was scientifically verified in 1975-1981 through a breakthrough protocol: pre-arranged EYE SIGNAL

lucid dreaming dream consciousness REM sleep sleeping brain metacognition prefrontal cortex