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.
164 results for "model checking" — page 5 of 9
T_4_20 — Cult Psychology & Thought Reform
Cult psychology examines the mechanisms by which high-demand groups — religious, political, therapeutic, or commercial — recruit, indoctrinate, retain, and sometimes harm members through systematic thought reform techniq
T_2_03 — Attachment Theory — Bowlby, Ainsworth & Social Bonds
Attachment theory, developed by John Bowlby (1958, 1969) and empirically validated by Mary Ainsworth (1978), proposes that humans are biologically predisposed to form close emotional bonds with caregivers — and that the
T_2_07 — Psychology of Addiction
Addiction — compulsive engagement with a substance or behavior despite harmful consequences — is now understood as a chronic brain disorder involving neuroplastic changes in reward, motivation, memory, and executive cont
T_2_06 — Health Psychology and Stress
Health psychology investigates how psychological, behavioral, and social factors influence health, illness, and healthcare — integrating biological and psychosocial perspectives within the biopsychosocial model (Engel, 1
T_2_01 — Psychology of Grief, Loss, and Death Awareness
The psychology of grief, loss, and death awareness spans clinical bereavement research, existential psychology, and experimental social cognition. Elisabeth Kübler-Ross's five-stage model (1969), though culturally ubiqui
T_2_16 — Body Dysmorphic Disorder
Body dysmorphic disorder (BDD) is a psychiatric condition characterized by persistent, distressing preoccupation with perceived defects or flaws in physical appearance that are not observable or appear slight to others.
T_2_15 — Gratitude and Forgiveness: Prosocial Emotions, Health Benefits, and Psychological Resilience
Gratitude and forgiveness — two central topics in positive psychology — represent prosocial emotional responses that profoundly influence interpersonal relationships, mental health, and physical well-being. Gratitude — t
T_2_05 — Clinical Psychology: History and Foundations
Clinical psychology — the assessment, diagnosis, and treatment of mental disorders — evolved from ancient supernatural explanations of madness through institutional reform, the psychoanalytic revolution, behavioral and c
T_2_09 — Fear, Anxiety, and Phobias
Fear and anxiety are functionally distinct emotion systems: fear is a present-oriented defensive response to immediate threats (fight-flight-freeze), while anxiety is a future-oriented state of apprehension about potenti
T_1_08 — Personality Psychology and the Big Five
Personality psychology seeks to understand individual differences in characteristic patterns of thinking, feeling, and behaving — and why these patterns remain relatively stable across time and situations.
T_1_18 — Attachment Theory
Attachment theory — one of the most influential frameworks in developmental and clinical psychology — proposes that early bonds between infants and caregivers shape social, emotional, and cognitive development across the
T_1_07 — Emotion Theory and Affect
Emotion theory addresses one of psychology's most fundamental and contested questions: What are emotions, where do they come from, and how many are there?
ZD_1_07 — Cellular Automata and Rule Systems: Emergence from Simple Rules
Cellular automata (CA) are discrete computational systems where simple local rules applied to a grid of cells generate complex global behavior — demonstrating that complexity can emerge from simplicity without central co
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_06 — Internet Architecture and Protocols
The Internet — a global network of interconnected networks — is arguably the most transformative technology of the late 20th century, connecting >5 billion users worldwide. Its architecture reflects deliberate design cho
ZD_3_08 — Cybersecurity and Network Security
Cybersecurity — the protection of computer systems, networks, and data from unauthorized access, damage, or disruption — has grown from a technical niche into a critical domain affecting national security, economic stabi
ZD_5_12 — Edge AI and TinyML: On-Device Machine Learning and Embedded Intelligence
Edge AI is the deployment of artificial intelligence algorithms on devices at the "edge" of the network — smartphones, embedded systems, cameras, sensors, wearables, industrial controllers, autonomous vehicles, and drone
ZD_5_18 — Complexity Science: The Santa Fe Institute and the Science of Emergence
Complexity science — the interdisciplinary study of systems composed of many interacting components whose collective behavior cannot be predicted from individual parts — emerged as a distinct field in the 1980s, catalyze
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
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
BROWSE BY SECTION — 3,721 documents across 34 fields