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.

1,556 results for "jus ad bellum" — page 52 of 78

ZD_1_08 Verified Information & Computation

ZD_1_08 — Lambda Calculus and Functional Programming

Lambda calculus, invented by Alonzo Church in the 1930s as a formal system for expressing computation via function abstraction and application, stands alongside Turing machines as a foundational model of computation. Chu

lambda calculus functional programming Church Turing computability Church-Turing thesis
ZD_1_03 Verified Information & Computation

ZD_1_03 — Information as Fundamental Reality

Multiple converging lines of evidence suggest information, not matter or energy, may be the most fundamental constituent of reality. From Wheeler's "It from Bit" to the holographic principle (3D reality encoded on 2D bou

information It from Bit Wheeler holographic principle Bekenstein bound Shannon entropy
ZD_3_15 Verified Information & Computation

ZD_3_15 — Reversible Computing: Landauer's Principle and the Thermodynamics of Computation

Reversible computing — the theory and practice of performing computation without irreversible information loss — sits at the intersection of computer science, thermodynamics, and information theory, centered on the profo

reversible computing Landauer principle thermodynamics information erasure Szilard engine Maxwell demon
ZD_3_16 Credible Information & Computation

ZD_3_16 — DNA Computing and Molecular Computation

DNA computing — the use of DNA molecules and biochemical reactions to perform computation — was inaugurated by Leonard Adleman (University of Southern California), who in 1994 demonstrated the first molecular-scale compu

dna-computing molecular-computation adleman dna-origami strand-displacement biocomputing
ZD_3_17 Verified Information & Computation

ZD_3_17 — Reversible Computing and Landauer's Principle

Landauer's principle (1961) — one of the deepest connections between physics and computation — states that the erasure of one bit of information necessarily dissipates at least $k_B T \ln 2$ of energy as heat (approximat

reversible-computing landauers-principle thermodynamics-computation entropy information-erasure maxwell-demon
ZD_3_04 Verified Information & Computation

ZD_3_04 — Operating Systems and Concurrency

Operating systems (OS) — the software layer managing hardware resources and providing abstractions for applications — are among the most complex software artifacts ever built. They manage process scheduling (deciding whi

operating system process management concurrency thread mutex semaphore
ZD_3_07 Verified Information & Computation

ZD_3_07 — Parallel Computing and GPU Programming

Parallel computing — executing multiple computations simultaneously — has become the dominant paradigm for performance growth since single-core clock speeds plateaued (~2005). Flynn's taxonomy (1966) classifies computer

parallel computing GPU GPGPU CUDA multicore thread parallelism
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_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_14 Verified Information & Computation

ZD_5_14 — Data Visualization: The Science and Art of Visual Communication

Data visualization — the graphical representation of information and data — sits at the intersection of statistics, cognitive science, design, and computer science. The field's modern foundations were laid by Jacques Ber

data visualization Edward Tufte visual analytics information design statistical graphics dashboard design
ZD_4_12 Verified Information & Computation

ZD_4_12 — Quantum Computing — Architecture, Algorithms, and Implications

Quantum computing — computation that exploits the principles of quantum mechanics (superposition, entanglement, and interference) to process information in ways fundamentally different from classical computers — represen

quantum computing qubit superposition entanglement quantum gate Shor algorithm
ZD_4_15 Credible Information & Computation

ZD_4_15 — DNA Computing & Molecular Computation

DNA computing and molecular computation use biological molecules — primarily DNA and RNA — as substrates for information processing, storage, and logic operations. Pioneered by Leonard Adleman's 1994 demonstration of sol

DNA computing molecular computation Adleman DNA strand displacement DNA origami biocomputing
ZD_4_13 Verified Information & Computation

ZD_4_13 — Network Science: Graph Theory, Small Worlds, and Scale-Free Networks

Network science is the study of complex systems represented as networks (graphs) — collections of nodes (vertices) connected by edges (links) — encompassing social networks (people connected by friendships, collaboration

network science graph theory small-world scale-free Barabási Watts-Strogatz
ZD_4_10 Credible Information & Computation

ZD_4_10 — Complexity Theory in Biology — Kauffman, Wolfram, Edge of Chaos

The application of complexity theory to biology — the study of how complex, adaptive, self-organizing structures and behaviors emerge in living systems from the interactions of simpler components — has been one of the mo

complexity edge of chaos self-organization emergence Kauffman Wolfram
ZD_4_07 Verified Information & Computation

ZD_4_07 — Human-Computer Interaction

Human-Computer Interaction (HCI) studies how people interact with computers and designs systems that are effective, efficient, and satisfying to use. HCI draws on computer science, cognitive psychology, design, and ergon

human-computer interaction HCI user interface usability GUI UX design
ZD_4_03 Verified Information & Computation

ZD_4_03 — Numerical Methods and Scientific Computation: Algorithms for the Continuous World

Numerical methods are algorithms for approximately solving mathematical problems that lack closed-form analytical solutions — which is to say, most problems in science and engineering. From weather prediction to aircraft

numerical methods numerical analysis floating point arithmetic IEEE 754 interpolation numerical integration
ZD_4_01 Verified Information & Computation

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

cryptography Caesar cipher Enigma Turing public-key RSA
ZD_4_11 Verified Information & Computation

ZD_4_11 — Social Network Analysis — Granovetter, Small Worlds, Influence

Social network analysis (SNA) — the study of social structures through the use of graph theory and network science, where individuals (or organizations, nations, etc.) are represented as nodes and their relationships (fr

social network analysis network science Granovetter weak ties small world Watts
ZD_2_04 Verified Information & Computation

ZD_2_04 — Computer Vision and Image Processing

Computer vision — enabling machines to interpret and understand visual information from the world — has progressed from hand-crafted feature engineering to the deep learning revolution that now approaches or exceeds huma

computer vision image processing convolutional neural network object detection image classification edge detection
ZD_2_15 Verified Information & Computation

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

transformer self-attention multi-head attention positional encoding encoder-decoder BERT