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.

289 results for "REM sleep" — page 12 of 15

I_2_02 Verified UAP Disclosure

I_2_02 — Government Investigation of Anomalous Phenomena

For nearly eight decades, the United States government — along with allies and adversaries — has maintained a sprawling, often covert apparatus for investigating anomalous phenomena spanning unidentified aerial/aerospace

government investigation anomalous phenomena Project Blue Book Project Sign Project Grudge AATIP
I_1_10 Speculative UAP Disclosure

I_1_10 — Consciousness-UAP Interaction Hypothesis

The consciousness-UAP interaction hypothesis proposes that unidentified aerial phenomena are not purely physical-technological objects but involve a consciousness component — either requiring observer interaction for man

consciousness-uap-interaction ce-5-protocol psychic-component high-strangeness experiencer-phenomenon remote-viewing
I_1_12 Speculative UAP Disclosure

I_1_12 — Classic Abduction Cases — Hill & Walton

The alien abduction phenomenon — accounts by individuals who claim to have been taken against their will by non-human entities, subjected to physical examinations, and returned with partial or no memory of the event — is

abduction Betty Hill Barney Hill Travis Walton alien encounter hypnotic regression
I_5_02 Credible UAP Disclosure

I_5_02 — Alien Abduction Phenomenon — Mack, Hopkins, and the Experiencer Debate

The alien abduction phenomenon — in which individuals report being taken against their will by non-human entities, subjected to medical/reproductive procedures, and returned with partial or no memory — emerged as a major

alien abduction abduction experiencer close encounter John Mack Budd Hopkins
I_5_17 Credible UAP Disclosure

I_5_17 — UAP and Consciousness: The Intersection

A persistent, under-discussed feature of serious UAP research is that the most intense witness reports — close-encounter cases, repeated-percipient cases, and the "contact phenomenon" — show high correlation with altered

UAP UFO consciousness observer dependent contact phenomenon Vallée
I_5_07 Credible UAP Disclosure

I_5_07 — Pre-Modern UAP Accounts — Historical Sightings

Accounts of anomalous aerial phenomena predate the modern UFO era (1947) by millennia. Classical authors including Livy, Pliny the Elder, Plutarch, and Josephus recorded "prodigies" involving shields, spears, and armies

historical UAP Nuremberg 1561 Basel 1566 broadsheet aerial phenomena prodigies
V_1_12 Verified Mathematics & Information

V_1_12 — Chinese Mathematics History

Chinese mathematics developed independently over at least 3,000 years, producing remarkable achievements often centuries before their European counterparts. The Jiuzhang Suanshu (Nine Chapters on the Mathematical Art, co

Chinese mathematics Nine Chapters rod calculus counting rods Liu Hui Zu Chongzhi
V_4_05 Verified Mathematics & Information

V_4_05 — Origami Mathematics and Paper Folding

Origami — the art of paper folding — conceals a rich mathematical framework that has emerged as a serious branch of computational geometry with applications from space engineering to medical devices. The mathematics of o

origami paper folding Huzita-Hatori axioms flat foldability computational origami crease pattern
V_4_03 Verified Mathematics & Information

V_4_03 — Geometric Probability and Buffon's Needle

Geometric probability assigns probabilities to random geometric events — needle drops, random points in regions, random lines intersecting figures — formalizing questions that blend chance with spatial structure. Buffon'

geometric probability Buffon needle Bertrand paradox integral geometry stochastic geometry random convex sets
V_4_02 Verified Mathematics & Information

V_4_02 — Mathematical Economics

Mathematical economics applies formal mathematical methods — optimization, fixed-point theorems, measure theory, stochastic processes, and game theory — to model economic phenomena with the rigor of a mathematical scienc

mathematical economics game theory Nash equilibrium general equilibrium Arrow-Debreu welfare theorems
V_4_27 Verified Mathematics & Information

V_4_27 — Bayesian Inference: Probabilistic Reasoning from Bayes to Machine Learning

Bayesian inference — the mathematical framework for updating beliefs in light of evidence — has become the dominant paradigm in statistics, machine learning, cognitive science, and philosophy of science. Named after Reve

bayesian inference bayes theorem probability prior posterior machine learning
V_4_25 Verified Mathematics & Information

V_4_25 — Bayesian Inference: Probability as Rational Belief Updating

Bayesian inference — the mathematical framework for updating beliefs in light of evidence using Bayes' theorem — has become one of the most powerful and contested ideas in modern science. Named after Reverend Thomas Baye

bayesian inference bayes theorem prior probability posterior probability likelihood bayesian statistics
V_4_17 Verified Mathematics & Information

V_4_17 — Quantum Computing Algorithms: From Shor's Factoring to Variational Quantum Eigensolvers

Quantum computing exploits the principles of quantum superposition, entanglement, and interference to perform computations that are intractable for classical computers. The field was conceptually launched by Richard Feyn

quantum computing quantum algorithm Shor's algorithm Grover's algorithm quantum error correction qubit
V_4_23 Verified Mathematics & Information

V_4_23 — Shannon Information Theory: Entropy, Communication, and the Mathematical Theory of Information

Claude Elwood Shannon (1916–2001) published "A Mathematical Theory of Communication" in the Bell System Technical Journal in July and October 1948, founding the field of information theory. Shannon defined information qu

claude shannon information theory entropy bit channel capacity coding theorem
V_4_15 Credible Mathematics & Information

V_4_15 — Formal Verification: Proving Programs Correct

Formal verification — the use of rigorous mathematical methods to prove that a software or hardware system satisfies its specification — aims to provide absolute correctness guarantees, going beyond testing (which can re

formal verification program correctness Hoare logic model checking theorem proving type theory
V_3_04 Verified Mathematics & Information

V_3_04 — Combinatorics & Counting: Pascal's Triangle to Modern Applications

Combinatorics — the mathematics of counting, arrangement, and selection — is one of the oldest and most widely applicable branches of mathematics, with roots across multiple civilizations. Pascal's triangle — the triangu

combinatorics counting Pascal's triangle binomial coefficients Yang Hui Pingala
V_3_05 Verified Mathematics & Information

V_3_05 — Linear Algebra: Matrices, Vectors, and Transformations

Linear algebra is arguably the most practically important branch of mathematics, underpinning quantum mechanics, machine learning, computer graphics, engineering, statistics, and nearly every computational science. It st

linear algebra matrices vectors vector spaces eigenvalues eigenvectors
V_3_21 Verified Mathematics & Information

V_3_21 — Bayesian Statistics Revolution

Bayesian statistics — the framework for updating probability estimates as new evidence is acquired, grounded in Bayes' theorem — has undergone a dramatic resurgence since the late 20th century, transforming from a margin

Bayesian statistics Bayes theorem prior probability posterior Thomas Bayes Laplace
V_3_09 Verified Mathematics & Information

V_3_09 — Fourier Analysis: Signal Processing and the Mathematics of Frequency

Fourier analysis — the decomposition of functions into constituent sinusoidal waves — is one of the most transformative mathematical ideas in science and engineering. Joseph Fourier's 1822 insight that any periodic funct

Fourier analysis Fourier series Fourier transform FFT fast Fourier transform spectral analysis
V_2_16 Verified Mathematics & Information

V_2_16 — Analytic Number Theory

Analytic number theory applies the methods of mathematical analysis — complex analysis, Fourier analysis, probability, and asymptotic estimation — to study the distribution and properties of integers, especially prime nu

analytic number theory Riemann zeta function prime number theorem Dirichlet series L-functions Riemann hypothesis