RESEARCH BASE
Search 3,721 documents across 34 fields — every claim tier-rated by evidence
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,633 results for "He Jiankui" — page 40 of 132
ZD_1_02 — Information Theory — Shannon, Entropy, and the Bit
Claude Shannon's 1948 paper "A Mathematical Theory of Communication" is one of the most consequential scientific publications of the 20th century. It defined information quantitatively — measured in bits — independent of
ZD_1_01 — Algorithms, Computation, and the Limits of Knowledge
An algorithm is a finite, unambiguous sequence of instructions for solving a problem — a concept formalized independently by Alan Turing (Turing machine, 1936) and Alonzo Church (lambda calculus) in response to David Hil
ZD_1_10 — Automata Theory and Formal Languages
Automata theory studies abstract computational machines and the classes of languages they recognize, forming the mathematical backbone of computer science. The Chomsky hierarchy (1956–59) classifies formal languages into
ZD_1_11 — Turing Machine, Computability, and the Limits of Computation
The Turing machine — a mathematical model of computation defined by Alan Turing in his 1936 paper "On Computable Numbers, with an Application to the Entscheidungsproblem" — is the foundational formalism of theoretical co
ZD_1_05 — Computational Complexity: P vs NP and the Limits of Efficient Computation
Computational complexity theory classifies problems not by whether they can be solved, but by how efficiently they can be solved — and its central open question, P vs NP, is one of the seven Clay Millennium Prize Problem
ZD_1_04 — Coding Theory & Error Correction
Coding theory — the mathematics of reliable communication over unreliable channels — was founded by Claude Shannon (1948), who proved the existence of channel capacity (a maximum rate at which information can be transmit
ZD_3_05 — Compiler Theory and Parsing
Compiler theory — the science of translating high-level programming languages into machine-executable code — is one of the most mathematically rigorous and practically impactful subfields of computer science. Compilers b
ZD_3_10 — Blockchain, Cryptocurrency, and Distributed Ledger Theory
Blockchain — a distributed, append-only data structure in which records (transactions) are grouped into blocks, each block is cryptographically linked to the previous one through a hash, and the resulting chain is replic
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,
ZD_5_02 — Digital Preservation and the Longevity of Knowledge
Digital preservation — the set of policies, strategies, and actions required to ensure continued access to digital information over time — addresses one of the great paradoxes of the information age: humanity is producin
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
ZD_4_01 — Cryptography — From Caesar Cipher to Quantum Key Distribution
Cryptography — the science of secret communication — has evolved from ancient substitution ciphers to mathematically proven security systems that underpin the modern digital world. Julius Caesar shifted letters by three
ZD_4_06 — Mathematical Sociology and Network Analysis
Mathematical sociology applies formal mathematical models — graph theory, probability, game theory, dynamical systems, and statistical mechanics — to understand social structures, collective behavior, and institutional d
ZD_4_04 — Mathematical Modeling and Simulation
Mathematical modeling — the art and science of translating real-world phenomena into mathematical language — is how scientists bridge theory and observation. A mathematical model is a simplified mathematical representati
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
ZD_2_15 — Transformer Architecture: Self-Attention and the Foundation of Modern AI
The transformer is a neural network architecture introduced in 2017 that replaced recurrent and convolutional models as the dominant paradigm in artificial intelligence. Its core innovation — the self-attention mechanism
ZD_2_01 — Machine Learning Mathematics
Machine learning — the science of algorithms that improve through experience — rests on a rich mathematical foundation spanning optimization, statistics, linear algebra, probability, and functional analysis. The core mat
L_1_15 — Out of Africa Alternatives: Multiregional, Assimilation, and Southern Dispersal Models
The origin and dispersal of anatomically modern humans (Homo sapiens) remains one of the most actively debated topics in paleoanthropology. The dominant model — the Recent African Origin (RAO) or "Out of Africa" hypothes
L_1_04 — Archaic Human Species Synthesis
The human evolutionary tree is far more complex than the older linear model suggested. Fossils, ancient DNA, and proteomics now show that Homo sapiens overlapped with several other hominin lineages, including Neanderthal
L_4_07 — Twin Studies and Heritability
Twin studies represent one of the most powerful natural experiments in human genetics, exploiting the fact that monozygotic (MZ, "identical") twins share ~100% of their DNA while dizygotic (DZ, "fraternal") twins share ~
BROWSE BY SECTION — 3,721 documents across 34 fields