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.

3,669 results for "Y chromosome" — page 98 of 184

ZD_1_14 Verified Information & Computation

ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

type theory lambda calculus dependent types Curry-Howard Coq Lean
ZD_1_05 Verified Information & Computation

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

computational complexity P vs NP NP-completeness complexity classes polynomial time Turing machines
ZD_1_04 Verified Information & Computation

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

coding theory error correction Shannon Hamming code Reed-Solomon information theory
ZD_3_05 Verified Information & Computation

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

compiler parsing lexical analysis syntax analysis code generation optimization
ZD_5_02 Credible Information & Computation

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

digital preservation data longevity format obsolescence bit rot digital dark age archiving
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_4_17 Credible Information & Computation

ZD_4_17 — Digital Twin Technology

A digital twin is a virtual representation of a physical object, process, or system that is continuously updated with real-time data from its physical counterpart through sensors and IoT connectivity, enabling simulation

digital twin virtual replica simulation IoT predictive maintenance Grieves
ZD_4_06 Verified Information & Computation

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

network analysis social network graph theory small world scale-free network centrality
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_1_06 Verified Genetics & Origins

L_1_06 — Human Migration Synthesis — DNA, Language, and Culture

The synthesis of genetic, linguistic, and archaeological evidence has transformed understanding of human migration over the past three decades.

out-of-Africa migration ancient DNA Austronesian expansion Bantu expansion Yamnaya
L_1_10 Verified Genetics & Origins

L_1_10 — Neanderthal Genome and Legacy in Modern Humans

The sequencing of the Neanderthal genome ranks among the most significant achievements in modern biology. Beginning with the draft genome of Green et al. (2010) and refined by later high-coverage genomes from the Altai,

Neanderthal genome Neanderthal admixture archaic introgression Vindija Altai Neanderthal Homo neanderthalensis
L_1_16 Verified Genetics & Origins

L_1_16 — Denisovan Genetics and Legacy

The Denisovans — an extinct group of archaic humans first identified in 2010 from ancient DNA extracted from a finger bone fragment found in Denisova Cave, Altai Mountains, Siberia (~41,000 years old) — represent one of

denisovans denisova-cave ancient-dna introgression epas1 altitude-adaptation
L_2_02 Verified Genetics & Origins

L_2_02 — Population Genetics and Hardy-Weinberg Equilibrium

Population genetics — the mathematical study of allele frequency change in populations — provides the quantitative framework underlying evolutionary biology. The Hardy-Weinberg principle (1908), independently derived by

population genetics Hardy-Weinberg equilibrium allele frequency genetic drift natural selection migration
L_2_10 Verified Genetics & Origins

L_2_10 — Human–Dog Co-Evolution: 40,000 Years Together

The domestication of the dog (Canis lupus familiaris) from gray wolves (Canis lupus) represents the oldest known domestication event and one of the most consequential interspecies relationships in human history — predati

dog domestication wolf Canis lupus familiaris co-evolution Larson Frantz
L_3_13 Verified Genetics & Origins

L_3_13 — Human Accelerated Regions: What Makes Us Genetically Unique

Human Accelerated Regions (HARs) are short segments of the genome that were highly conserved across millions of years of mammalian evolution — indicating strong functional constraint — but then underwent a burst of rapid

human accelerated regions HARs HAR1 HACNS1 conserved noncoding enhancer
L_3_05 Verified Genetics & Origins

L_3_05 — Blood Type Genetics and the ABO System

Blood group genetics represents one of the earliest and most clinically important applications of Mendelian inheritance in human biology. Karl Landsteiner's discovery of the ABO blood group system (1900–1901) — which ear

blood type ABO system Rh factor Karl Landsteiner blood transfusion blood group antigens
L_3_12 Verified Genetics & Origins

L_3_12 — Genetics of Pigmentation: Skin, Hair, and Eye Color Evolution

Human pigmentation — the variation in skin, hair, and eye color across populations — is one of the most visible and best-understood examples of natural selection in our species. Pigmentation is determined primarily by th

pigmentation melanin skin color SLC24A5 SLC45A2 MC1R
L_3_08 Verified Genetics & Origins

L_3_08 — Genetics of Skin, Hair, and Eye Color

Human pigmentation — skin, hair, and eye color — is one of the best-understood complex traits in human genetics, with a relatively modest number of genes explaining a large proportion of variation compared to most polyge

pigmentation genetics melanin eumelanin pheomelanin MC1R OCA2
L_5_10 Verified Genetics & Origins

L_5_10 — Neandertal Introgression: Which Genes and Why They Persisted

When modern humans (Homo sapiens) migrated out of Africa ~60,000-70,000 years ago and encountered Neanderthals (Homo neanderthalensis) in western Asia and Europe, the two species interbred — and the genetic legacy of tha

Neandertal introgression admixture adaptive introgression purifying selection immune genes