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.

479 results for "molecular logic gates" — page 24 of 24

B_2_22 Verified Beings & Entities

B_2_22 — Thunderbird: Storm Bird Mythology Across Cultures

The Thunderbird — a colossal avian being whose wingbeats produce thunder and whose eyes or beak flash lightning — is one of the most powerful and widespread figures in Indigenous North American mythology, documented acro

thunderbird storm bird Wakinyan Anzu Garuda Roc
B_3_12 Verified Beings & Entities

B_3_12 — Phoenix and Firebird: Resurrection Bird Across Cultures

The Phoenix — a mythical bird that dies in fire and is reborn from its own ashes — is among the most enduring and widespread symbols of death, regeneration, and immortality in world mythology. The concept appears in dist

phoenix Bennu bird Fenghuang Firebird Simurgh resurrection
ZD_1_00 Information & Computation

ZD_1_00 — Foundations Theory: Subfolder Summary

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_11 Verified Information & Computation

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

Turing machine computability decidability halting problem Church-Turing thesis algorithm
L_4_10 Verified Genetics & Origins

L_4_10 — Sex Chromosome Evolution

Sex chromosomes — the genetic elements that determine biological sex in many organisms — represent one of the most remarkable stories in genome evolution. In mammals, the XX/XY system prevails: females have two X chromos

sex chromosome X chromosome Y chromosome sex determination SRY dosage compensation
L_4_15 Verified Genetics & Origins

L_4_15 — Y-Chromosome and mtDNA Mismatch Patterns in Human Populations

The Y chromosome (paternally inherited, non-recombining) and mitochondrial DNA (maternally inherited) provide independent genealogical records of male and female lineage histories, respectively. When these two markers te

y-chromosome mitochondrial-dna sex-biased-migration patrilocality matrilocality haplogroup
L_3_17 Verified Genetics & Origins

L_3_17 — Endogenous Retroviruses (HERVs) in the Human Genome

Human endogenous retroviruses (HERVs) — remnants of ancient retroviral infections that integrated into the germline DNA of human ancestors and have been vertically transmitted through the host genome for millions of year

endogenous retroviruses HERVs HERV-K HERV-W syncytin retroviral integration
L_3_10 Verified Genetics & Origins

L_3_10 — Telomeres Aging and Longevity Genetics

Telomeres — the repetitive DNA sequences (TTAGGG in vertebrates) capping the ends of linear chromosomes — protect genome integrity by preventing chromosome ends from being recognized as double-strand breaks and triggerin

telomere telomerase aging senescence Hayflick limit shelterin
L_5_16 Verified Genetics & Origins

L_5_16 — Archaeogenetics: Ancient DNA and the Human Past

Archaeogenetics — the extraction and analysis of DNA from ancient human, animal, and plant remains — has transformed our understanding of human history since the field's breakthrough in 2010. Advances in next-generation

archaeogenetics ancient DNA aDNA paleogenomics Svante Pääbo David Reich
R_4_18 Verified Biology & Evolution

R_4_18 — Virology and Viral Evolution

Virology — the study of viruses, their structure, classification, evolution, and interactions with hosts — has undergone a revolution since the development of high-throughput sequencing, revealing that viruses are the mo

virology viral evolution RNA virus DNA virus quasispecies zoonosis
R_4_07 Verified Biology & Evolution

R_4_07 — Venom Evolution and Biochemical Arms Races

Venom — a cocktail of bioactive molecules injected via a specialized delivery apparatus (fangs, stingers, harpoons, nematocysts, spurs) to subdue prey, deter predators, or aid in competition — has evolved independently o

venom toxin snake venom spider venom cone snail conotoxin
R_4_00 Biology & Evolution

R_4_00 — Organismal Systems: Subfolder Summary

R_3_20 Verified Biology & Evolution

R_3_20 — CRISPR & Gene Editing Technology

CRISPR-Cas9 is the most transformative biological technology since PCR, enabling precise, programmable editing of DNA in virtually any organism. The system was adapted from a bacterial immune defense mechanism first iden

CRISPR Cas9 gene editing genome engineering Jennifer Doudna Emmanuelle Charpentier
ZA_1_15 Credible Physics & Quantum

ZA_1_15 — Quantum Biology Revisited: Quantum Effects in Living Systems

Quantum biology investigates whether non-trivial quantum-mechanical effects — coherence, entanglement, tunneling, and superposition — play functional roles in biological processes, rather than being washed out by the war

quantum biology photosynthesis coherence magnetoreception enzyme tunneling olfaction FMO complex
ZA_5_16 Verified Physics & Quantum

ZA_5_16 — Quantum Biology & Photosynthesis

Quantum biology investigates whether non-trivial quantum mechanical effects — coherence, tunneling, and entanglement — play functional roles in biological processes, rather than being washed out by the warm, wet, noisy c

quantum biology photosynthesis quantum coherence FMO complex avian magnetoreception cryptochrome
V_4_20 Credible Mathematics & Information

V_4_20 — Hypercomputation & Beyond-Turing Models

Hypercomputation refers to any model of computation that can solve problems beyond the theoretical capabilities of standard Turing machines — the abstract devices defined by Alan Turing in his landmark 1936 paper "On Com

hypercomputation super-Turing oracle machines analog computation Turing limit Church-Turing thesis
V_2_19 Credible Mathematics & Information

V_2_19 — Category Theory: Abstract Structure, Functors & Topos Theory

Category theory — often called the "mathematics of mathematics" — provides a universal language for describing mathematical structures and the relationships between them, emphasizing morphisms (arrows, maps, transformati

category-theory functor natural-transformation topos-theory saunders-mac-lane samuel-eilenberg
V_2_00 Mathematics & Information

V_2_00 — Pure Mathematics: Subfolder Summary