Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Home
❯
Knowledge
Folder: Knowledge
4687 items under this folder.
0-1-Knapsack Decision Problem
computational-complexity
knapsack
0-1-Knapsack Instance
combinatorial-optimisation
knapsack
0-1-Knapsack Problem
combinatorial-optimisation
knapsack
0-1-Knapsack Profit-Maximisation Problem
combinatorial-optimisation
knapsack
1-Bit Branch Predictor
computer-architecture
2-Bit Branch Predictor
computer-architecture
2-Colouring Problem
computation
2-Partition Problem
computation
scheduling
2-SAT4 Algorithm by Literal Enumeration
propositional-logic
polynomial-time-algorithms
turing-reductions
2-SAT4 Satisfiability Decision Problem
complexity-theory
propositional-logic
2-Satisfiability Problem
computation
3-Colouring Problem
computation
3-Horn Satisfiability Decision Problem
complexity-theory
propositional-logic
3-Partition Problem
computation
scheduling
3-SAT Instance
3-SAT to 3-Horn SAT (Karp Reduction)
complexity-theory
reductions
propositional-logic
3-SAT to Dominating Set (Karp Reduction)
complexity-theory
graph-theory
reductions
exponential-time-hypothesis
3-SAT to Subset Sum (Karp Reduction)
complexity-theory
reductions
3-SAT to Vector Subset Sum (Karp Reduction)
complexity-theory
reductions
subset-sum
3-Satisfiability Decision Problem
computation
4-Colouring Problem
computation
graph-theory
8-Puzzle
search
A-Star Search
search
a0-a7 (RISC-V)
risc-v
Abel's Limit Theorem
analysis
Abelian Group
algebra
Abiogenesis
evolution
biology
computation
Abscissa
cartesian-coordinate-system
Absolute Error
errors
Absolute Extremum
analysis
Absolute Function
analysis
Absolute Maxima
analysis
Absolute Minima
analysis
Absolutely Convergent Function
analysis
Absolutely Convergent Series
analysis
Absorption (Propositional Logic)
propositional-logic
Abstract Computation
philosophy
Abstract Machine
automata-theory
Abstraction (Programming)
programming
Abstraction Layer
abstraction
Abstraction Unit (Programming)
programming
Academic Quarter
academia
Acceleration
physics
accept (C)
c
Accepted Language
automata-theory
Accepting State
automata-theory
Access Control
security
Access Control List
security
Access Matrix
security
Access Transparency (Distributed System)
distributed-systems
Accountability
security
Accuracy
machine-learning
classification
statistics
Accuracy Parameter (PAC-learning)
PAC-learning
Accurracy
machine-learning
ACID Transaction Model
databases
Ackermann Function
computation
Acknowledgement Number (TCP)
network-protocols
tcp
Action
neuroscience
cognition
Action (Reinforcement Learning)
reinforcement-learning
Action Space
reinforcement-learning
Activation Function
machine-learning
deep-learning
analysis
Active Attack
security
Active Biometric Authentication
security
Active Inference
artificial-intelligence
Active Learning
machine-learning
Active Process
operating-systems
Actual Infinity
philosophy
Acyclic Graph
graph-theory
Ad Hominem
logic
informal-fallacy
Ad-hoc Polymorphism
type-theory
Adaptive System
cognition
adaptive-systems
cybernetics
add (RISC-V)
risc-v
addi (RISC-V)
risc-v
Addition (Primitive Recursion)
primitive-recursion
Addition (Vector)
linear-algebra
Additive Conjunction (Linear Logic)
linear-logic
Additive Disjunction (Linear Logic)
linear-logic
Additive Function
algebra
Additive Relation
algebra
Address Compute Unit
computer-architecture
Address Resolution Protocol
networks
Address Space Layout Randomization
security
memory
Addressing Loss of Plasticity and Catastrophic Forgetting in Continual Learning
Addressing Mode
computer-architecture
Adelson-Velsky-Landis Tree
trees
Adjacency List
graph-theory
data-structures
Adjacency Matrix
graph-theory
data-structures
Adjacency Set
graph-theory
data-structures
Adjacent Vertex
graph-theory
Adjoint Operator
linear-algebra
Adjugate Matrix
linear-algebra
Administrative Distance
networks
Administrative Scalability (Distributed System)
distributed-systems
Admissible Heuristic
search
Advanced Encryption Standard
cryptography
Advanced Research Projects Agency
networking
Advanced Research Projects Agency Network
networking
history
Advantage Estimate
reinforcement-learning
Advantage Function
reinforcement-learning
Affine Combination
linear-algebra
Affine Function
linear-algebra
analysis
Affine Hyperplane
linear-algebra
Affine Linear
linear-algebra
Affine Subspace
linear-logic
Affine Superposition
linear-logic
Affine Transformation
math
Agency
intelligence
Agent
artificial-intelligence
Ahead-of-time Compiler
compilers
Aiken Computation Laboratory
labs
Akkumulation (Deutsch)
german
Aleph
set-theory
Aleph-Null
set-theory
Algebra
algebra
Algebraic Abstract Datatype
programming
Algebraic Structure
algebra
Algebraically Complete Field
algebra
Algorithm
computation
Algorithm Complexity
complexity-theory
Algorithm W
type-theory
Algorithmica
computation
Allegorie (Deutsch)
german
Alliteration (Deutsch)
german
Allocator
operating-systems
Allow-list Validation
web
security
Almost All
analysis
set-theory
Almost Everywhere
measure-theory
analysis
Alpha Reduction
lambda-calculus
Alpha-Beta Pruning
algorithm
game-theory
optimisation
Alpha-Test
statistics
Alphabet
languages
Alternating Series
analysis
Alternative (COMSOC)
comsoc
Alternative Hypothesis
statistics
Always Not Taken Branch Prediction
computer-architecture
Always Taken Branch Prediction
computer-architecture
Ambiguous Context-Free Grammar
languages
AMD
organisations
Amdahl's Law
computer-architecture
parallelism
American Standard Code for Information Interchange
coding-theory
Amortised Time Complexity
computation
Anabolism
biology
Analysis
math
Analytic Function
analysis
Analytical Thinking
psychology
cognition
Anapher (Deutsch)
german
Anatomical Homeostasis
biology
cybernetics
regeneration
Ancilla Qubit
quantum-computing
and (RISC-V)
risc-v
And-Or Tree
data-structures
andi (RISC-V)
risc-v
Andrey Kolmogorov
Angle
trigonometry
Angstrom
units
Anime
entertainment
Animism
philosophy
Annotation Calculus
hoare-calculus
program-proofing
Anomie
sociology
ANSI-SPARC Architecture
databases
Antecedent
logic
Anti-Horn Clause
logic
Anti-Malware
security
Antidiagonal
linear-algebra
Antimonotonicity
Antisymmetric Relation
algebra
Antithese (Deutsch)
german
Antithesis (Dialectics)
Apex Shape
algebra
quadratic-functions
Aplysia
biology
Apoptosis
neuroscience
biology
App Attacker Model
web
security
mobile
App-to-Web Interaction (WebView)
web
security
mobile
Application Layer
networks
osi-model
Application Layer Gateway
networks
Applicative Programming
programming
apply (Lean)
lean
Approval (COMSOC)
comsoc
Approval Set (COMSOC)
comsoc
Approval Voting Rule (COMSOC)
comsoc
Approximation Algorithm
computation
approximation
Approximation Complexity Class
complexity-theory
Approximation Error
optimisation
approximation
Approximation Error (Machine Learning)
machine-learning
learning-theory
Approximation Problem
computation
approximation
Approximation Ratio
computation
approximation
Approximation Scheme
computation
APX Decision Problem
optimisation
approximation
APX Optimisation Problem
optimisation
approximation
APX-complete Decision Problem
optimisation
approximation
APX-complete Optimisation Problem
optimisation
approximation
APX-hard Decision Problem
optimisation
approximation
APX-hard Optimisation Problem
optimisation
approximation
Arabic
linguistics
Arc
graph-theory
Arc Reversal
graph-theory
Archaea
biology
Archaismus (Deutsch)
german
Architecture (Distributed System)
distributed-systems
Argand Plane
algebra
complex-numbers
Argmax
math
Argmin
math
Argon2
cryptography
Argument
logic
Argument Type
type-theory
Aristotelianism
philosophy
Arithmetic
arithmetic
Arithmetic Function
math
Arithmetic Logic Unit
logic-circuits
computer-architecture
Arithmetic Mean
statistics
Arithmetic Reasoning
neuroscience
cognition
Arithmetic Sequence
analysis
Arity
algebra
ARM
computer-architecture
Armstrong's Axioms
relational-algebra
Array
data-structures
Array Constant (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Arrow
type-theory
Artery
mobile-communication
Article
learning
Artificial Intelligence
artificial-intelligence
Artificial Life
artificial-intelligence
artificial-life
Artificial Neural Network
machine-learning
deep-learning
Artificial Neuron
neural-networks
Ash
cellular-automata
Assembly
programming-languages
Assertion
program-proofing
Assignment (Constraint Satisfaction Problem)
Assignment-and-Complement Algorithm (MaxSAT)
approximation
maxsat
Association
cognition
Associationism
philosophy
cognition
Associative Cache
computer-architecture
memory
Associativity
algebra
Associativity (Propositional Logic)
propositional-logic
Asymmetric Binary Relation
algebra
Asymmetric Cryptography
cryptography
Asymmetric Encryption Algorithm
cryptography
Asymmetric Encryption Scheme
cryptography
Asymmetric Query Expansion
information-retrieval
Asymmetric Signature Scheme
cryptography
Asymptote
math
Asymptotic Dominance
complexity-theory
Asymptotic Equivalence
analysis
algorithms
Asymptotic Lower Bound
Asymptotic Upper Bound
At Most Countable Set
set-theory
Atheaterism
Athens
Atogepant
medicine
Atom
logic
Atom (First-order Logic)
first-order-logic
Atom (Propositional Logic)
propositional-logic
Atomic Attribute (Relational Algebra)
relational-algebra
Atomic Operation
computer-architecture
concurrency
Atrophy
biology
Attack
security
Attention
machine-learning
attention
Attention (Cognition)
neuroscience
cognition
Attention Deficit Hyperactivity Disorder
neuroscience
Attribute (Relational Algebra)
relational-algebra
Attribute Closure (Relational Algebra)
relational-algebra
Aufhebung
philosophy
auipc (RISC-V)
risc-v
Austrian Society for Artificial Intelligence
organisations
Authenticated Encryption
cryptography
Authenticated Mode of Operation
cryptography
Authentication
security
Authentication Header
network-protocols
security
Authenticity
security
Authorisation
security
Autoencoder
machine-learning
Automata Theory
automata-theory
Automated Certificate Management Environment
networks
dns
Automaton
automata-theory
Automaton Equivalence
automata-theory
Automorphism
algebra
Autonomous Computer
Autonomous System
networks
Autonomous System Boundary Router
networks
Availability
security
Available Physical Memory
operating-systems
hardware
Avalanche Effect
cryptography
Average Completion Time (Interval Scheduling)
computation
scheduling
Average Diameter Distance
machine-learning
Average Linkage Distance
machine-learning
Average Memory Access Time
computer-architecture
Average Throughput (Networking)
networking
Average-case Runtime
complexity-theory
awk
software
Axiology
philosophy
Axiom
logic
Axiom of Choice
set-theory
Axiomatic Semantics
logic
Axon
neuroscience
B-Tree
trees
B-Type Instruction (RISC-V)
risc-v
Backpropagation
machine-learning
optimisation
calculus
Backus-Naur Form
languages
Backwards Taken Forwards Not Taken Branch Prediction
branch-prediction
Bacterium
biology
Bagging
machine-learning
ensemble-learning
Bahdanau Attention
machine-learning
attention
Bakery Algorithm
operating-systems
concurrency
Balanced Tree
trees
Ballot (COMSOC)
comsoc
Banach Space
linear-algebra
Banach–Tarski Paradox
set-theory
measure-theory
Band Gap
physics
Banker's Algorithm
operating-systems
concurrency
Barrow Scale
philosophy
Bartholdi–Tovey–Trick NP-Hardness Theorem
Basal Cognition
biology
Base Station Controller
mobile-communication
BASE Transaction Model
databases
Base Transceiver Station
mobile-communication
Base Type
type-theory
Baseline
machine-learning
evaluation
Basic Abstraction (Programming)
programming
Basic Block Coverage
software-engineering
testing
Basis (Matroid)
discrete-mathematics
combinatorics
Basis (Vector Space)
linear-algebra
Basis Family (Matroid)
computation
matroids
Basis Function
mathematics
machine-learning
regression
Basis Selection Lemma
linear-algebra
Basis State (Quantum Computing)
quantum-computing
Batch Learning
machine-learning
Batch Normalisation
machine-learning
Bayes Optimal Classifier
machine-learning
statistics
learning-theory
Bayes Theorem
probability-theory
bayesian-statistics
Bayesian Learning Algorithm
machine-learning
statistics
Bayesian Network
graph-theory
statistics
machine-learning
Bee Hive
game-of-life
Begriff (Hegel)
hegel
Behaviouralism
philosophy
Beispiel (Deutsch)
german
Bekenstein Bound
physics
Bell State
quantum-computing
Bell-LaPadula Model
operating-systems
security
Bellicism
psychology
philosophy
Bellman's Principle of Optimality
computation
beq (RISC-V)
risc-v
Berkeley Packet Filter
operating-systems
networking
Bernoulli Distribution
probability-theory
Bernoulli Experiment
statistics
Bernoulli Trial
probability-theory
Bernoulli-L'Hôpital's Rule
analysis
calculus
Bernoulli's Inequality
analysis
Berry's Paradox
logic
Best Feasible Solution
computation
approximation
Best-case Running Time
computation
complexity-theory
Best-case Runtime
complexity-theory
Best-of-Two Approximation Algorithm for Maximum Satisfiability
approximation-algorithms
randomised-algorithms
linear-programming
Bestimmung (Hegel)
hegel
Beta Equivalence (Lambda Calculus)
lambda-calculus
Beta Reduction
lambda-calculus
bff
computation
complexity
evolution
bge (RISC-V)
risc-v
bgez (RISC-V)
risc-v
bgt (RISC-V)
risc-v
Bi Knapsack Dynamic Programming Algorithm
knapsack
dynamic-programming
pseudopolynomial-time
Bi Knapsack Has No FPTAS Unless P Equals NP
knapsack
approximation-hardness
fptas
Bi Knapsack Optimisation Problem
knapsack
combinatorial-optimisation
Bias
statistics
Bias-Variance Tradeoff
machine-learning
statistics
Biased Estimator
probability-theory
Biba Model
security
integrity
Biconditional Characterization of Equivalence (Propositional Logic)
propositional-logic
Bidirectional Search
search
Big-Endian
computer-architecture
memory
Big-O Notation
complexity-theory
Big-O-Star Notation
computation
complexity
Big-Omega Notation
complexity-theory
Big-Theta Notation
complexity-theory
Bigram
machine-learning
natural-language-processing
Bijective Function
Bijective Relation
algebra
Bilinear Form
linear-algebra
Bilinear Map
linear-algebra
Bilinearity
linear-algebra
Bin Packing Problem
computation
Binary Analysis
security
Binary Classification
machine-learning
Binary Classification Function
learning-theory
Binary Classification Problem
machine-learning
Binary Classifier
machine-learning
Binary Cross-Entropy Loss
machine-learning
classification
optimisation
Binary Decision Diagram
boolean-algebra
Binary Encoding
computation
Binary Instance Encoding
computational-complexity
input-encoding
Binary Linear Classifier
machine-learning
Binary Logarithm
logarithms
Binary Logical Connective
logic
Binary Number
numeric
Binary Relation
algebra
Binary Search Tree
trees
Binary Semaphore
operating-systems
concurrency
Binary Supervised Learning Algorithm
learning-theory
computation
Binary Supervised Learning Algorithm (PAC-learning)
PAC-learning
learning-theory
Binary Tree
data-structures
Binary Tree Rotation
trees
Binary-encoded 0-1-Knapsack Instance
input-encoding
knapsack
bind (C)
c
Binomial Coefficient
combinatorics
Binomial Distribution
probability-theory
Binomial Theorem
combinatorics
algebra
Bioelectricity
biology
Biological Computation
biology
computation
Biological System
biology
Biometric Authentication
security
Biometry
security
Biomolecule
biology
Bipartite Graph
graph-theory
Birch and Swinnerton-Dyer Conjecture
mathematics
Bistable Circuit
logic-circuits
Bit
numeric
Bivalent Adaptive System
adaptive-systems
reinforcement-learning
cybernetics
Black Body Radiation
physics
thermodynamics
Black Box Testing
software-engineering
Blank Symbol (Turing Machine)
computation
Blind SQL Injection
web
security
databases
blink.cmp
neovim
Blinker
game-of-life
Block Cipher
cryptography
Block-Cipher-based Message Authentication Code
cryptography
Blocking (OS)
operating-systems
file-management
Blocking Load Instruction
computer-architecture
Blocky
software
Blood
biology
Blood Flow
medicine
Blood Vessel
medicine
Bloom Filter
data-structures
algorithms
probability
Blowfish
cryptography
blt (RISC-V)
risc-v
bne (RISC-V)
risc-v
Boltzman Distribution
statistics
Boltzmann Constant
physics
Bolzano–Weierstrass Theorem
analysis
Bolzano's Root Point Theorem
analysis
Book
learning
Boolean Algebra
algebra
boolean-algebra
Boolean Function
boolean-algebra
Boolean Variable
logic
Boosting
machine-learning
ensemble-learning
Borda Rule (COMSOC)
comsoc
Borda Score (COMSOC)
comsoc
Borda Winner (COMSOC)
comsoc
Border (String)
computation
Border Gateway Protocol
network-protocols
Born Rule
quantum-computing
quantum-mechanics
Bottleneck Link
networking
Bound Variable (First-Order Logic)
first-order-logic
Boundary (Analysis)
analysis
topology
Boundary Testing
software-engineering
testing
Bounded Function
analysis
Bounded Sequence
analysis
Bounded Waiting
operating-systems
concurrency
Bounded-Frequency Set Cover Approximation Algorithm
set-cover
approximation-algorithms
Bounded-Set-Size Set Cover Approximation Algorithm
set-cover
approximation-algorithms
Boundedness (Binomial Coefficient)
combinatorics
Bounds on Probability
probability-theory
Boxplot
plots
Boyce-Codd Normal Form
relational-algebra
Bra-Ket Notation
linear-algebra
Bra-Vector
linear-algebra
Brain
neuroscience
Brain Tissue
medicine
Brainfuck
programming-languages
Brainstem
medicine
Branch (Computer Architecture)
computer-architecture
Branch (Git)
git
Branch (Tableaux)
logic
tableaux
Branch and Bound
computation
Branch Coverage
software-engineering
testing
Branch History Table
branch-prediction
Branch Instruction
computer-architecture
Branch Misprediction Penalty
computer-architecture
Branch Prediction
computer-architecture
Branch Predictor
computer-architecture
Branch Target Buffer
branch-prediction
Branching Factor
data-structures
Breadth-First Search
search
Brent's Hashing Algorithm
computation
Broadcasting (Tensor)
linear-algebra
Brozozowksi's Minimisation Algorithm
automata-theory
Brute-force
computation
Brute-force Algorithm (Longest Common Subsequence)
longest-common-subsequence
computation
Brute-force Algorithm (String Matching)
string-matching
computation
Brute-force Attack
security
cryptography
Brute-force Search Space
computation
Bubble Sort
sorting-algorithms
Büchi Automaton
automata-theory
Buddy System
operating-systems
algorithms
Buffer Over-Read
security
memory
c
Buffer Overflow
security
memory
c
Build Management
software-engineering
Burp Suite
web
security
Business Intelligence
Busy Waiting
operating-systems
concurrency
Busy-Beaver Function
computation
Byte
numeric
Byte Pair Encoding
large-language-models
Byte-Addressable Memory
memory
C
programming-languages
C-complete Decision Problem
computation
complexity-theory
C-hard Decision Problem
computation
complexity-theory
C++
programming-languages
C+B Coverage
software-engineering
testing
Cache
computer-architecture
memory
Cache Associativity
computer-architecture
memory
Cache Coherence
computer-architecture
Cache Coherence Protocol
memory
Cache Miss
computer-architecture
memory
Cache Miss Penalty
computer-architecture
memory
Cache Replacement Policy
computer-architecture
memory
Cache Set
computer-architecture
memory
Cache Set Contention
computer-architecture
memory
Cache Write-Hit
computer-architecture
memory
Cache Write-Miss
computer-architecture
memory
Caching (Distributed System)
distributed-systems
CADD Quantum Gate
quantum-computing
Caesar's Cipher
cryptography
Calcitonin Gene-Related Peptide
medicine
Calculus
logic
proof-theory
Calculus of Constructions
type-theory
call (RISC-V)
risc-v
Calling Convention (x86-64)
computer-architecture
Cancer
biology
todo
Canonical Basis
linear-algebra
Canonical Conjunctive Normal Form
boolean-algebra
Canonical Path
web
security
Cantor's Set
set-theory
Cantor's Theorem
set-theory
CAP Theorem
distributed-systems
Capabilities (Linux)
operating-systems
security
Capability
security
Capability List
security
Capacity Cache Miss
computer-architecture
memory
Capitalism
Cardinality (Set Theory)
set-theory
Cardinality Measure
math
Carry-Lookahead Adder
logic-circuits
Cartesian Coordinate System
linear-algebra
Cartesian Product
set-theory
Cartesian Product (Relational Algebra)
relational-algebra
CartPole-V1
reinforcement-learning
gymnasium
Cascade Hashing
security
cryptography
Cascadeless Schedule (ACID)
acid
Cascading Rollback (ACID)
acid
Case Folding
text-normalisation
Catabolism
biology
Catastrophic Forgetting
machine-learning
Catastrophic Inference
machine-learning
Categorical Data
data-analysis
Category
category-theory
Category Theory
category-theory
Cauchy Criterion (Sequence)
analysis
Cauchy Criterion (Series)
analysis
Cauchy Product
analysis
Cauchy Sequence
analysis
Cauchy-Hadamard Theorem
analysis
Causal Attention
machine-learning
attention
Causality
logic
CB-Type Instruction (RISC-V)
risc-v
CB'-Type Instruction (RISC-V)
risc-v
Ceil
math
Cell (Biology)
biology
Cell (Neuroscience)
neuroscience
Cellular Automaton
automata-theory
Central Limit Theorem
probability-theory
Central Moment
probability-theory
Central Sensitisation
medicine
Centralised Algorithm (Distributed System)
distributed-systems
Centralised Architecture (Distributed System)
distributed-systems
Centralised Data (Distributed System)
distributed-systems
Centralised Service (Distributed System)
distributed-systems
Centre Selection Problem
computation
algorithms
optimisation
Centroid
machine-learning
Centroid Diameter Distance
machine-learning
Certificate (Complexity Theory)
complexity-theory
Certificate (DNS)
dns
todo
Certificate Authority
cryptography
Certificate Chain
cryptography
Certificate Policy
cryptography
Certificate Revocation List
cryptography
Certificate Transparency
cryptography
Cgroup
operating-systems
virtualisation
CGRP Antagonist
medicine
Chain (Border, String)
strings
Chain of Thought
machine-learning
nlp
Chain Rule
analysis
Challenge-Handshake Authentication Protocol
network-protocols
Challenge-Response Authentication
security
Chamberlin-Courant Approval Voting Rule (COMSOC)
comsoc
Chamberlin-Courant Winner Determination Decision Problem
comsoc
complexity-theory
Chamberlin-Courant Winner Determination Search Problem
comsoc
complexity-theory
Chaos
chaos-theory
Chaos Theory
chaos-theory
Characteristic Polynomial
linear-algebra
Charge Conservation
electromagnetism
Charge Density
electromagnetism
ChatGPT
software
Chebyshev Distance
geometry
Chemical Energy
physics
chemistry
Chemical Reaction
chemistry
Chess
games
Chi-Squared Distribution
probability-theory
statistics
Chinese
linguistics
Chinese Room
philosophy
Chinese Wall Policy
security
access-control
Chisel
hardware-design
Chomsky Hierarchy
languages
Chomsky Normal Form
languages
Chomsky–Schützenberger Theorem
languages
Chronic Migraine
medicine
Chroot
operating-systems
security
Church Encoding
lambda-calculus
todo
Church Numeral
lambda-calculus
Church-Turing Thesis
computation
CI-Type Instruction (RISC-V)
risc-v
Cipher
cryptography
Cipher Block Chaining Mode
cryptography
Cipher Feedback Mode
cryptography
Cipher Suite
cryptography
Ciphertext
cryptography
Ciphertext Space
cryptography
Circle
geometry
Circuit
electronics
logic
Circuit (Matroid)
computation
matroids
Circuit (Networking)
networking
Circuit Breaker (Design Pattern)
software-engineering
Circuit Establishment
networks
Circuit Switching
networking
Circular Buffer
data-structures
Circular Wait
operating-systems
concurrency
Cisco
organisations
CIW-Type Instruction (RISC-V)
risc-v
CJ-Type Instruction (RISC-V)
risc-v
CL-Type Instruction (RISC-V)
risc-v
Class (OOP)
oop
Class Cohesion
oop
Class Diagram (UML)
uml
todo
Classical Logic
logic
Classical Mechanics
mechanics
Classicalism
philosophy
Classification
machine-learning
supervised-learning
Claude
llms
Clausal Normal Form (Propositional Formula)
logic
propositional-logic
Clause (Propositional Logic)
propositional-logic
Clay Mathematics Institute
mathematics
Cleaning Policy
operating-systems
Client (Distributed System)
distributed-systems
Client-Server Communication
networking
Clinical Marker
medicine
Clip Function
math
Clique
graph-theory
Clique Decision Problem
computation
graph-theory
Clique Instance
Clock Cycle (Computer Architecture)
computer-architecture
Clock Edge
computer-architecture
Clock Period
computer-architecture
Clock Rate
computer-architecture
close (C)
c
Closed Branch (First-Order Tableaux)
first-order-logic
tableaux
Closed Branch (Propositional Tableaux)
logic
tableaux
Closed Edge Sequence
graph-theory
Closed Interval
math
Closed Quantum System
quantum-computing
Closed Set
analysis
topology
Closed Tableaux (First-Order Logic)
first-order-logic
tableaux
Closure (Algebra)
algebra
Closure (Analysis)
analysis
topology
Closure (Relational Algebra)
relational-algebra
Closure under Complements (Sigma Algebra)
probability-theory
Closure under Countable Unions (Sigma Algebra)
probability-theory
Cloudflare
organisations
Cluster (Machine Learning)
machine-learning
Cluster Assumption
machine-learning
Clustering Algorithm
machine-learning
CNOT Quantum Gate
quantum-computing
Co Decision Problem
computation
Co Halting Problem
computation
Co-winner (COMSOC)
comsoc
COALESCE (SQL)
sql
Coarse-Grained Hardware Multi-Threading
computer-architecture
Cobham-Edmonds Thesis
complexity-theory
Code (Coding Theory)
coding-theory
Code (Programming)
program
Code Injection
web
security
Code Language of a Function Property
computation
Code Language of a Language Property
computation
Codex
software
Coding Theory
coding-theory
Codomain (Function)
math
Coefficient of Determination
machine-learning
statistics
Cofactor (Boolean Algebra)
boolean-algebra
Cofactor (Linear Algebra)
linear-algebra
Cofactor Matrix
linear-algebra
Coffman Conditions
operating-systems
concurrency
Cognition
neuroscience
Cognitive Architecture
neuroscience
cognition
Cognitive Lightcone
intelligence
Cohesive Voter Group (COMSOC)
comsoc
Coin Problem
computation
algorithms
optimisation
Coincidence Lemma (First-Order Logic)
first-order-logic
Collaborative Filtering (Recommendation)
recommendation
Collatz Conjecture
mathematics
Collection
set-theory
Collective Decision
sociology
Collective Decision Making
sociology
Collective Intelligence
intelligence
Collective Preference Ranking (COMSOC)
comsoc
Colour Refinement Algorithm
graph-theory
computation
Column Vector
linear-algebra
Columnar Transposition
cryptography
Combination of Theories (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Combination with Repetition
combinatorics
Combination without Repetition
combinatorics
Combinator
lambda-calculus
Combinatorial Logic Circuit
logic
Combinatorial Search Space
computation
Combinatoric Optimisation Problem
computation
Combinatorics
combinatorics
Command Injection
web
security
Commit Stage
computer-architecture
Committee (COMSOC)
comsoc
Common Intrusion Detection Framework
security
Common Knowledge
neuroscience
Common Vulnerabilities and Exposures
security
Common Vulnerability Scoring System
security
Common Weakness Enumeration
security
Communicability
graph-theory
Commutative Ring
algebra
Commutativity
algebra
Commutativity (Propositional Logic)
propositional-logic
Compact Metric Space
metric-spaces
Compact Set
analysis
topology
Compact Truth Table
logic
Comparator
logic-circuits
compare_exchange_strong (C++)
computer-architecture
concurrency
cpp
compare_exchange_weak (C++)
concurrency
cpp
Compartmentalisation (Security)
security
Competency
intelligence
Compilation Unit
compilers
Compiler
compilers
Compiler Explorer
software
compilers
Complement (Set)
set-theory
Complement Complexity Class
complexity-theory
Complement Graph
graph-theory
Complete Binary Relation
algebra
Complete Bipartite Graph
graph-theory
Complete Branch (First-Order Logic)
first-order-logic
tableaux
Complete Calculus
logic
proof-theory
Complete Diameter Distance
machine-learning
Complete Linkage Distance
machine-learning
Complete Mediation (Security)
security
Complete Metric Space
linear-algebra
Complete Preference Ranking (COMSOC)
Complete Program Run
program-proofing
Complete Stage
computer-architecture
Complete Tableaux (First-Order Logic)
first-order-logic
tableaux
Completeness Theorem of the Real Numbers
analysis
Completion Time (Interval Scheduling)
computation
scheduling
Complex Algebra
algebra
complex-numbers
Complex Conjugate
complex-numbers
Complex Hilbert Space
linear-algebra
Complex Inner Product
linear-algebra
Complex Inner Product Space
linear-algebra
Complex Instruction Set Computing
computer-architecture
Complex Modulus
complex-numbers
Complex Number
algebra
complex-numbers
Complex Type
type-theory
Complex Vector Space
linear-algebra
Complex-Valued Function
complex-analysis
Complexity Class
complexity-theory
Complexity Class Membership
computation
complexity-theory
Complexity Theory
complexity-theory
Composite State Space (Quantum Computing)
quantum-computing
Composition (Function)
functions
Composition of Gap Reductions
reductions
inapproximability
Compound Formula
logic
Comprehension Principle
set-theory
Compressed Instruction (RISC-V)
risc-v
Compressed Trie
data-structures
string-algorithms
Computability
Computability Theory
computation
Computable Encoding
computation
Computable Function
computation
Computation
computation
Computational Basis (Quantum Computing)
quantum-computing
Computational Dualism
philosophy
Computational Irreducibility
philosophy
computation
Computational Model
Computational Social Choice
comsoc
Computational Theory of Mind
philosophy
Computationalism
philosophy
Computer
Computer Architecture
computer-architecture
Computer Modern
fonts
Computer Science
computer-science
Computer System
computer-architecture
Computronium
computation
physics
complexity
Concave Function
analysis
Concept
learning-theory
Concept Class
learning-theory
Conclusive Algorithm
algorithms
Concrete Computation
philosophy
Concurrency
programming
Concurrency Transparency (Distributed System)
distributed-systems
Concurrent Programming
programming
Concurrent Schedule (ACID)
acid
Condition Coverage
software-engineering
testing
Condition Synchronisation
operating-systems
concurrency
Condition Variable
operating-systems
concurrency
Conditional (Hoare Calculus)
hoare-calculus
Conditional Policy
security
Conditional Probability
probability-theory
Conditionally Convergent Series
analysis
Condorcet Paradox (COMSOC)
comsoc
Condorcet Rule (COMSOC)
comsoc
Condorcet Winner (COMSOC)
comsoc
Condorcet-consistent Voting Rule
comsoc
Conductor
physics
Cone
analysis
linear-algebra
Confidence Interval
statistics
Confidentiality (Security)
security
Configuration (Turing Machine)
computation
Conflict Cache Miss
computer-architecture
memory
Conflict Equivalent Schedule
acid
Conflict Graph (ACID)
acid
Conflict Serialisable Schedule (ACID)
acid
Conflict-Driven Clause Learning
propositional-logic
sat-solving
Conflicting Operation (ACID)
acid
Confusion
cryptography
Confusion Matrix
machine-learning
classification
statistics
Congruence
discrete-math
Conjugate Symmetry
linear-algebra
Conjugate Transpose
linear-algebra
Conjunction
logic
Conjunction (First-Order Tableaux)
first-order-logic
tableaux
Conjunction (Primitive Recursion)
primitive-recursion
Conjunction (Propositional Tableaux)
tableaux
Conjunction Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Conjunction Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Conjunctive Normal Form
logic
Conjunctive Normal Form (First-Order Logic)
first-order-logic
Conjunctive Normal Form (Propositional Logic)
propositional-logic
connect (C)
c
Connected Component
graphics
Connected Graph
graph-theory
Connectionism
philosophy
cognition
Connectionist Machine
cognition
Conscious Access
philosophy
Conscious Agent Theory
cognition
consciousness
Consciousness
philosophy
Consequences of a Theory (First-Order Logic)
first-order-logic
Consequent
logic
Consistent Formula
logic
Consistent Heuristic
search
Consistent Hypothesis
machine-learning
learning-theory
Consistent Theory
proof-theory
Consistent Theory (First-Order Logic)
first-order-logic
Consistent Theory (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Consistent Theory (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Consonant
phonetics
Constant (First-Order Logic)
logic
first-order-logic
Constant (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Constant Difference Theorem
analysis
Constant Factor Rule (Analysis)
analysis
Constant Function
analysis
Constant Function (Primitive Recursion)
primitive-recursion
Constant Time Complexity
complexity-theory
Constant-factor Approximation Algorithm
approximation
Constraint (Constraint Satisfaction)
constraint-satisfaction
Constraint Language (Constraint Satisfaction)
constraint-satisfaction
Constraint Satisfaction Problem
computation
Constrainted Longest Common Subsequence Problem
computation
Constructive Algorithm
computation
Container
operating-systems
security
Containerisation
operating-systems
Content Security Policy
web
security
Context-Free Grammar
languages
Context-Free Language
languages
Context-Free Production Rule
languages
Context-Sensitive Grammar
languages
Context-Sensitive Language
computation
Context-Sensitive Production Rule
languages
Contextual Similarity
distributional-semantics
Continual Learning
machine-learning
Continuity (Utility Theory)
utility-theory
Continuity Hypothesis
set-theory
Continuity of Probability
probability-theory
Continuous
math
Continuous Distribution
probability-theory
Continuous Environment
artificial-intelligence
Continuous Function
analysis
Continuous Linear Functional
linear-algebra
Continuous Mathematics
math
Continuous Probability Space
probability-theory
Continuous Random Variable
probability-theory
Continuous Space
spaces
Continuous State Space
search
Continuously Partially Differentiable Function
vector-calculus
Continuum Hypothesis
set-theory
Contour Diagram
plots
Contraction (Einstein Notation)
linear-algebra
Contradiction
logic
Contradiction (Propositional Logic)
propositional-logic
Contradiction Characterization of Equivalence (Propositional Logic)
propositional-logic
Contraposition
logic
Contrastive Learning
machine-learning
Contravariant Type Constructor
type-theory
Control and Status Register (RISC-V)
risc-v
Control Flow Graph
software-engineering
testing
Control Hazard
computer-architecture
Control Problem
computation
Control Unit
computer-architecture
Control-Flow Hijacking
security
memory
Controlled Quantum Gate
quantum-computing
Convergence Criterion
analysis
Convergence Radius
analysis
Convergent Sequence
analysis
Convergent Series
analysis
Convex
math
Convex Combination
linear-algebra
convex-geometry
Convex Function
statistics
analysis
optimisation
Convex Region
analysis
topology
optimisation
Convex Set
analysis
optimisation
linear-algebra
Convex Theory (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Conway's Game of Life
cellular-automata
Cook Reduction
computation
Cookie Jar Overflow
web
security
Cookie Prefix
web
security
Cookie Tossing
web
security
Coprime
number-theory
Corank
algebra
Core War
games
programming
simulation
Cornell Aeronautical Laboratory
research-laboratory
aeronautics
Cornell University
universities
Corollary
logic
Correct Argument
logic
Correct Many-One Reduction
computation
Correct Program
program-proofing
Correct Reduction
computation
Correct Symmetric Encryption Scheme
cryptography
Correctness Problem
computation
Correlation
statistics
Coset
algebra
Cosine
trigonometry
Cosine Law
trigonometry
Cosine Similarity
machine-learning
Cosmic Dust
cosmology
Countable Sigma-additivity (Kolmogorov Axioms)
probability-theory
Countably Infinite Set
set-theory
Counter
logic-circuits
Counter Mode
cryptography
Counter with CBC-MAC
cryptography
Countermodel (Propositional Logic)
propositional-logic
Counting Problem
complexity-theory
computation
Counting Quantifier
logic
Counting Semaphore
operating-systems
concurrency
Covariance
probability-theory
Covariance Matrix
probability-theory
multivariate-statistics
Covariant Type Constructor
type-theory
CR-Type Instruction (RISC-V)
risc-v
Cramer's Rule
linear-algebra
Cranial Blood Vessel
medicine
Cranial Circulation
medicine
Cranial Nerve
medicine
Cranial Vasculature
medicine
Craniometry
anthropometry
anatomy
Craniopagus Twins
neuroscience
Creativity
cognition
Credit Assignment Problem
reinforcement-learning
Creeper
security
history
Critical Brain Hypothesis
neuroscience
Critical Region
operating-systems
concurrency
Critical Section
operating-systems
concurrency
Croatian
languages
Cross Product
linear-algebra
Cross Validation
machine-learning
Cross-Attention
machine-learning
attention
todo
Cross-Entropy Loss
machine-learning
statistics
optimisation
Cross-Origin Resource Sharing
web
security
Cross-Site Leak
web
security
Cross-Site Request Forgery
web
security
Cross-Site Scripting
web
security
Cross-Validation
machine-learning
statistics
Cryptographic Hash Function
cryptography
Cryptography
cryptography
CS-Type Instruction (RISC-V)
risc-v
CS'-Type Instruction (RISC-V)
risc-v
CSP Bypass
web
security
csrr (RISC-V)
risc-v
csrrw (RISC-V)
risc-v
csrw (RISC-V)
risc-v
CSS-Type Instruction (RISC-V)
risc-v
Cumulative Acknowledgement (TCP)
network-protocols
tcp
Cumulative Distribution Function
probability-theory
Current Density
electromagnetism
Curriculum Learning
machine-learning
optimisation
Curry-Howard Correspondence
logic
type-theory
Currying
computation
Curse of Dimensionality
machine-learning
statistics
Cut
graph-theory
Cutaneous Allodynia
medicine
CVA6
computer-architecture
risc-v
CVE Numbering Authority
security
Cybernetics
cybernetics
Cycle (Graph)
graph-theory
algorithms
Cycle Notation
discrete-math
Cycles Per Instruction
computer-architecture
Cyclic Group
algebra
Cynicism
philosophy
psychology
D Flip-Flop
logic-circuits
D Latch
logic-circuits
Dafny
programming-languages
Dangling Memory Pointer
memory
Dartmouth Workshop
artificial-intelligence
symbolic-ai
Darwinism
evolution
biology
computation
Das Absolute (Hegel)
hegel
Data
data-analysis
Data Analysis
data-analysis
Data Anomaly
databases
Data Availability
security
Data Cache
computer-architecture
memory
Data Encapsulation
programming
Data Hazard
computer-architecture
Data Hiding
programming
Data Integrity
security
Data Link Layer
networks
osi-model
Data Memory
computer-architecture
Data Race
concurrency
Data Structure
data-structures
Database
databases
Database Management System
databases
Datagram
networks
Dataset
machine-learning
Dataset Splitting
machine-learning
statistics
Davis–Putnam–Logemann–Loveland Algorithm (Propositional Logic)
propositional-logic
sat-solving
Davis–Putnam–Logemann–Loveland Algorithm (Satisfiability Modulo Theory)
satisfiability-modulo-theory
De Moivre's Theorem
complex-numbers
De Morgan's Rules
boolean-algebra
Dead Matter
physics
thermodynamics
Deadline (Interval Scheduling)
computation
scheduling
Deadlock
operating-systems
concurrency
Deadlock (ACID)
acid
Deadlock (Game)
games
Deadlock Avoidance
operating-systems
concurrency
Deadlock Detection
operating-systems
concurrency
Deadlock Prevention
operating-systems
concurrency
Deadlock Recovery
operating-systems
concurrency
Decadic Logarithm
logarithms
Decentralised Algorithm (Distributed System)
distributed-systems
Decibel
units
Decidable Decision Problem
computation
Decidable Function Property
computation
Decidable Language Property
computation
Decidable Predicate
computation
Decidable Set
computation
Decision Algorithm
computation
Decision Problem
computation
Decision Theory
decision-theory
Decision Tree
machine-learning
classification
regression
Decode Stage
computer-architecture
Decoder (Combinatorial Logic)
combinatorial-logic
Decoder (Machine Learning)
machine-learning
Decomposability (Utility Theory)
utility-theory
Decreasing Monotone Function
analysis
Decryption
cryptography
Decryption Algorithm
cryptography
Deduction
logic
Deductive Closure
proof-theory
Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Deductive Logic
logic
Deep Artificial Neural Network
machine-learning
deep-learning
Deep Blue
artificial-intelligence
game-theory
search-algorithm
Deep Learning
artificial-intelligence
Deep Q-Learning
reinforcement-learning
Deep Q-Network
reinforcement-learning
DeepSeek-V4
llms
Default Encryption Standard
cryptography
Default Gateway
networks
Defense in Depth (Security)
security
Definability
logic
Definite Integral
analysis
Definition
logic
Definition-Use Pair
software-engineering
testing
Degenerate Binary Tree
trees
Degree (Graph Theory)
graph-theory
Dekker's Algorithm
operating-systems
concurrency
Delegation (Security)
security
Delta Neighbourhood
analysis
Delta-Approximable NP-Hard Optimisation Problem
computation
approximation
Demand Paging
operating-systems
memory
Democracy
politics
Demultiplexer
combinatorial-logic
Dendrite
neuroscience
Dennard Scaling
semiconductors
Denominator
algebra
Dense Graph
graph-theory
Dense Vector
linear-algebra
Density Transformation Theorem
probability-theory
Deoxyribonucleic Acid
biology
Dependent Set (Matroid)
discrete-mathematics
combinatorics
Dependent Type Theory
dependent-type-theory
type-theory
Depth (Interval Scheduling)
computation
scheduling
Depth-First Search
search
Depth-Limited Search
search
Derivability
logic
proof-theory
Derivable Consequent
logic
Derivable Formula
proof-theory
Derivable Formula (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Derivation
proof-theory
Derivation (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Derivation (Propositional Resolution)
propositional-logic
resolution
proof-theory
Derivation (Tableaux)
tableaux
Derivative
analysis
Derived Inference Rule
proof-theory
Desiderata
latin
Design by Contract
programming
Destructive Dilemma (Propositional Logic)
propositional-logic
proof-theory
Destructive Interference
quantum-computing
Determinant
linear-algebra
Determinisation
automata-theory
Deterministic
statistics
Deterministic Agent Function
artificial-intelligence
Deterministic Algorithm
Deterministic Finite Automaton
automata-theory
Deterministic Policy
reinforcement-learning
Deterministic Program Transition
program-proofing
Deterministic Turing Machine
computation
turing-machines
Diagonal Matrix
linear-algebra
Diagonalisable Matrix
linear-algebra
Diagonalisation
set-theory
Dichotomy Theorem (Constraint Satisfaction)
complexity-theory
constraint-satisfaction
Dictatorial Voting Rule (COMSOC)
comsoc
Dictionary Attack
security
cryptography
Difference (Relational Algebra)
relational-algebra
Differentiable Convex Function
convex-analysis
Differentiable Function
analysis
Differential Cryptanalysis
cryptography
Differential Quotient
analysis
Diffie-Hellman Key Exchange
cryptography
Diffusion
cryptography
Digital Circuit
computer-architecture
Digital Signature
cryptography
Digital Subscriber Line
networks
Dijkstra's Algorithm
graph-theory
todo
Dimension (Vector Space)
linear-algebra
Dimensionality Reduction
machine-learning
unsupervised-learning
Dining Philosophers Problem
operating-systems
concurrency
Diophantine Equation
number-theory
Direct Deadlock Prevention
operating-systems
concurrency
Direct-Mapped Cache
computer-architecture
memory
Directed Acyclic Graph
graph-theory
Directed Graph
graph-theory
Direction (Turing Machine)
computation
turing-machines
Directional Derivative
analysis
Directory Service
cryptography
Direkte Rede (Deutsch)
german
Dirichlet Function
math
Dirty Read
acid
Disagreement Set (COMSOC)
comsoc
Disaproval (COMSOC)
comsoc
Discord
apps
Discount Factor
reinforcement-learning
Discrete
math
Discrete Distribution
probability-theory
Discrete Environment
artificial-intelligence
Discrete Logarithm
mathematics
number-theory
cryptography
Discrete Mathematics
math
Discrete Probability Space
probability-theory
Discrete Random Variable
probability-theory
Discrete Space
spaces
Discretionary Access Control
security
Discretisation
data-analysis
Discriminative Learning
machine-learning
statistics
Disjoint Event
probability-theory
Disjoint Set
set-theory
Disjoint Union (Set)
set-theory
Disjunction
logic
Disjunction (First-Order Tableaux)
first-order-logic
tableaux
Disjunction (Primitive Recursion)
primitive-recursion
Disjunction (Propositional Tableaux)
tableaux
Disjunction Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Disjunction Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Disjunctive Normal Form
logic
Disjunctive Normal Form (First-Order Logic)
first-order-logic
Disjunctive Normal Form (Propositional Logic)
propositional-logic
Disk Cache
operating-systems
io
Disk Scheduling (OS)
operating-systems
io
scheduling
Dispatcher
operating-systems
Distance-based Learning Algorithm
machine-learning
Distinct Row Matrix Completion
recommendation
Distinct Row Matrix Completion Decision Problem
computation
recommendation
Distinct Row Vector (Matrix)
linear-algebra
Distributed Operating System
operating-systems
distributed-systems
Distributed Programming
programming
Distributed System
operating-systems
distributed-systems
Distribution
statistics
Distribution (Distributed System)
distributed-systems
Distribution Function
probability-theory
Distributional Hypothesis
linguistics
Distributive Lattice
algebra
Distributivity
algebra
Distributivity (Propositional Logic)
propositional-logic
Ditan
medicine
Divergence Function
machine-learning
statistics
Divergent Sequence
analysis
Divergent Series
analysis
Divide et impera
computer-science
Division (Relational Algebra)
relational-algebra
Divisor
number-theory
DNS-01
dns
acme
Docker
Document (Information Retrieval)
information-retrieval
Document Frequency
information-retrieval
Document Object Model
web
Dodgson Rule (COMSOC)
comsoc
Dodgson Score (COMSOC)
comsoc
Dodgson Winner (COMSOC)
comsoc
Domain (Constraint Satisfaction Problem)
constraint-satisfaction
Domain (Constraint Satisfaction)
constraint-satisfaction
Domain (Function)
algebra
Domain (Relation)
set-theory
Domain Name System (DNS)
networking
dns
Domain-Specific Language
languages
Domain-Validated Certificate
cryptography
Dominant Heuristic
search
Dominating Set
graph-theory
Dominating Set Instance
Dominating Set Problem
computation
graph-theory
Dominating Set to Integer Linear Programming (Karp Reduction)
complexity-theory
reductions
integer-programming
graph-theory
Dominating Vertex
graph-theory
Doppler Effect
physics
Dot Product
linear-algebra
Double Data Rate Synchronous Dynamic Random-Access Memory
computer-architecture
memory
Double Negation Elimination
logic
Double Negation Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Double Submit Pattern
web
security
Double Turnstile
formalism
Double-Ended Queue
data-structures
computer-science
Double-Precision Floating-Point Extension (RISC-V)
risc-v
Doubly Linked List
data-structures
Dovetailing
computation
Dream
neuroscience
Dreaming
neuroscience
DSpark
machine-learning
Dual Heuristic
computation
heuristics
Dual Problem
optimisation
machine-learning
Dual Vector
linear-algebra
Due Date (Interval Scheduling)
scheduling
computation
Dummy Index (Einstein Notation)
linear-algebra
dup (C)
c
dup2 (C)
c
Duplex
communication
Dura Mater
medicine
Durotiv
medicine
Dyck Language
languages
Dying ReLu Problem
machine-learning
Dynamic Binary Analysis
security
Dynamic Binding
type-theory
Dynamic Branch Prediction
computer-architecture
Dynamic Environment
artificial-intelligence
Dynamic Programming
computation
Dynamic Programming Algorithm
computation
Dynamic Programming Algorithm (Longest Common Subsequence)
longest-common-subsequence
Dynamic Programming Table
Dynamic Random-Access Memory
computer-architecture
memory
Dynamic Stability
physics
biology
Dynamic Time Warping Distance Problem
dynamic-time-warping-distance
computation
Dynamic Typing
type-theory
E Quolibet Verum
latin
Eager Evaluation
programming
Earliest Due Date First Algorithm (Interval Scheduling)
scheduling
computation
Earliest Start Time First Algorithm
computation
scheduling
Earth
cosmology
EAX Mode
cryptography
Ecology
biology
Edge
graph-theory
Edge Sequence
graph-theory
todo
Edge Weight
graph-theory
Effective Computation
computability-theory
effective Top-Level Domain
web
security
Effective User ID (Unix)
operating-systems
security
Effectively Computable Function
computability-theory
Efficient Learning Algorithm (PAC-learning)
PAC-learning
Efficient Polynomial-time Approximation Scheme
computation
efibootmgr
linux
Eigenbasis
linear-algebra
Eigenspace
linear-algebra
Eigenvalue
linear-algebra
Eigenvector
linear-algebra
Einstein Notation
linear-algebra
Einsum Notation
linear-algebra
Elaboration (Lean)
lean
Electorate (COMSOC)
comsoc
Electric Charge
electromagnetism
Electric Circuit
electronics
Electric Current
electromagnetism
Electric Field
electromagnetism
Electromagnetic Energy
physics
Electromagnetic Radiation
physics
electromagnetism
Electromagnetism
electromagnetism
Electronic Codebook Mode
cryptography
Electronic Discrete Variable Automatic Computer
computation
Electronic Numerical Integrator and Computer
computation
Element (Set)
set-theory
Elementary Event
probability-theory
Elementary Function
analysis
Elementary Matrix
linear-algebra
Eletriptan
medicine
ELF
compilers
file-formats
Elimination Inference Rule
proof-theory
Ellipse (Deutsch)
german
Emergence of Life
biology
evolution
Empirical Quantile
statistics
Empirical Risk
machine-learning
statistics
Empirical Risk Minimisation
machine-learning
Empirical Risk Minimisation Algorithm
machine-learning
Empirical Standard Deviation
statistics
Empirical Variance
statistics
Empty Clause
propositional-logic
Empty Event
Empty Program (Hoare Calculus)
hoare-calculus
Empty Set
Empty String
strings
languages
Encapsulation (Networking)
networking
Encapsulation Security Payload
network-protocols
Encoder (Combinatorial Logic)
combinatorial-logic
Encoder (Machine Learning)
machine-learning
Encoder-Decoder
machine-learning
Encoding
computation/encodings
Encoding of a Turing Machine
computation
Encrypt-then-MAC
cryptography
Encryption
cryptography
Encryption Algorithm
cryptography
Encryption Scheme
cryptography
Endianness
computer-architecture
memory
Endofunctor
category-theory
Endogeny
biology
Endomorphism
category-theory
Endorelation
algebra
Energy (Physics)
physics
Engram
neuroscience
Enhanced Mobile Broadband
mobile-communication
Ensemble Learning Algorithm
machine-learning
Entailment
logic
Entailment (First-Order Logic)
first-order-logic
Entailment (Propositional Logic)
propositional-logic
Entailment–Unsatisfiability Duality (Propositional Logic)
propositional-logic
Entangled Quantum State
quantum-computing
Entangled System
quantum-computing
Entanglement (Quantum Mechanics)
quantum-mechanics
Entity-Attribute-Value Model
databases
Entity-Relationship Model
databases
Entropy
statistics
chaos-theory
Environment
artificial-intelligence
Enzyme
biology
Ephemeral Diffie-Hellman
cryptography
Epigraph
analysis
optimisation
convex-analysis
Epimetheus (Greek Mythology)
greek-mythology
Epipher (Deutsch)
german
Epiphnomenalism
philosophy
Episodic Experience
artificial-intelligence
Episodic Migraine
medicine
Epistemological Solipsism
philosophy
Epistemology
philosophy
Epsilon Neighbourhood (Scalar)
analysis
Epsilon Neighbourhood (Vector)
vector-calculus
analysis
Epsilon Production
languages
Equator
geography
Equi Join (Relational Algebra)
relational-algebra
Equisatisfiable Formula (First-order Logic)
Equisatisfiable Formula (Propositional Logic)
propositional-logic
Equivalence
logic
Equivalence (First-Order Tableaux)
first-order-logic
tableaux
Equivalence (Propositional Tableaux)
tableaux
Equivalence Class
algebra
Equivalence Partitioning
software-engineering
testing
Equivalence Relation
algebra
Equivalent Formula (First-Order Logic)
first-order-logic
Equivalent Formula (Propositional Logic)
propositional-logic
Equivalent Mutant (Mutation Testing)
mutation-testing
Equivalent Replacement (Propositional Logic)
logic
propositional-logic
err.h
c
Error-Driven Learning Algorithm
machine-learning
Esomeprazole
medicine
ESP32-C3
computer-architecture
risc-v
Estimation Error
machine-learning
learning-theory
Estimator
probability-theory
Eta Reduction
lambda-calculus
ETH Zurich
universities
EtherChannel
network-redundancy
Ethical AI
machine-learning
statistics
Ethical Hacking
security
Ethology
biology
Etymology
languages
Euclidean Algorithm
discrete-math
Euclidean Distance
geometry
Euclidean Norm
linear-algebra
Euclidean Space
geometry
linear-algebra
analysis
Eukaryote
biology
evolution
complexity
Euler-Mascheroni Constant
analysis
Euler's Formula
complex-numbers
Euler's Number
math
Euler's Theorem
number-theory
Euler's Totient Function
number-theory
Eulerian Graph
graph-theory
Eulerian Line
graph-theory
Euphemismus (Deutsch)
german
Evaluation (Machine Learning)
machine-learning
evaluation
statistics
Even Function
linear-algebra
Event
probability-theory
Event-based Architecture (Distributed System)
distributed-systems
Eventual Consistency
software-engineering
distributed-systems
exact (Lean)
lean
Exact Algorithm
computation
Exact Cover Problem
computation
Exact Optimisation via Integrality (FPTAS)
Exactly One of Two Reachable Code Problem
computation
Exafference
neuroscience
Exception (RISC-V)
risc-v
Exchange Graph
combinatorics
computation
Exchange Instruction
operating-systems
hardware
concurrency
Exchangeability (Matroid)
discrete-mathematics
combinatorics
Excitation
neuroscience
Exclusive Lock (ACID)
aci
Exclusive-OR
logic
Execute Stage
computer-architecture
Execution Mode
operating-systems
hardware
Execution within User Processes
operating-systems
execv (C)
cc
Exempli Gratia
latin
Existence of Utility Function
utility-theory
Existential Quantifier
first-order-logic
Existential Quantifier (First-Order Tableaux)
first-order-logic
tableaux
Existentialism
philosophy
Expansion Point
analysis
Expansion Time
search
Expected Return
reinforcement-learning
Expected Utility
utility-theory
Expected Value
probability-theory
Experience
artificial-intelligence
Explanandum
philosophy
Explanans
philosophy
Explicit Parameter (Lean)
lean
Exploding Gradient
machine-learning
Exploration Problem
reinforcement-learning
Exploratory Data Analysis
data-analysis
Exponential Complexity
complexity-theory
Exponential Distribution
probability-theory
Exponential Equation
math
Exponential Function
math
Exponential Running Time
Exponential Search Space
computation
Exponential Series
analysis
Exponential Tangent Inequality
real-analysis
inequalities
convex-analysis
Exponential Time Hypothesis
complexity-theory
computation
Expression
compilers
EXPTIME Complexity Class
complexity-theory
Extended Church-Turing Thesis
computation
Extended Euclidean Algorithm
cryptography
Extended Greibach Normal Form
languages
Extended Justified Representation (COMSOC)
comsoc
Extended Transition Function
automata-theory
computer-science
Extended-Validation Certificate
cryptography
Extension Theorem
linear-algebra
Extensional Function Property
computation
Extensional Language Property
languages
Extensionality
mathematical-foundations
Extensivity of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
External Fragmentation
operating-systems
External Threat
security
Extract Transform Load
data-warehouse
Extreme Value Theorem
analysis
F1 Score
machine-learning
F1-Score
machine-learning
classification
statistics
fa0-1 (RISC-V)
risc-v
fa2-7 (RISC-V)
risc-v
Factor Group
algebra
Factor-Delta Approximate Solution
computation
approximation
Factor-δ Approximation Algorithm
computation
optimisation
Factorial
discrete-math
Factorial (Primitive Recursion)
primitive-recursion
Factoring Inference Rule (Propositional Resolution)
propositional-logic
fadd (RISC-V)
risc-v
Fail-Safe Defaults
computer-security
Failure Probability (PAC-learning)
PAC-learning
Failure Transparency (Distributed System)
distributed-systems
Fallacy
logic
argumentation
False Negative
machine-learning
False Positive
machine-learning
Falsity
logic
Falsum
logic
Family
set-theory
Fáry's Theorem
graph-theory
FastAPI
python
fclass (RISC-V)
risc-v
fcntl.h
c
fcvt.s.w (RISC-V)
risc-v
fcvt.w.s (RISC-V)
risc-v
fdiv (RISC-V)
risc-v
Fear-Condition Paradigm
psychology
Feasible Schedule (Interval Scheduling)
computation
scheduling
Feasible Solution
computation
Feature
Feature Engineering
machine-learning
preprocessing
Feature Map
machine-learning
Feature Representation
machine-learning
Feature Space
machine-learning
Feature Space (Probability Theory)
probability-theory
Feedback Arc Set Decision Problem
computation
graph-theory
Feedback Scheduling
operating-systems
scheduling
feq (RISC-V)
risc-v
Fermat's Little Theorem
number-theory
Fermi Paradox
philosophy
Ferranti Mark 1
computation
history
Ferranti Mark 2
computation
history
Fetch Policy
operating-systems
Fetch Stage
computer-architecture
Fibonacci Heap
data-structures
algorithms
graph-theory
Fibonacci Number
computation
Field
algebra
File Allocation
operating-systems
file-management
File Attributes
operating-systems
file-management
File Descriptor
operating-systems
File Directory
operating-systems
file-management
File Management (OS)
operating-systems
file-management
File Organisation
operating-systems
file-management
File System Layout
operating-systems
file-management
File Table
operating-systems
File Type
operating-systems
file-management
Final Program Configuration
program-proofing
Fine-Grained Hardware Multi-Threading
computer-architecture
Finish Time (Interval Scheduling)
scheduling
Finite Alphabet
languages
Finite Automaton
automata-theory
Finite Constraint Language (Constraint Satisfaction)
constraint-satisfaction
Finite Directed Graph
graph-theory
Finite Domain (Constraint Satisfaction)
constraint-satisfaction
Finite Graph
graph-theory
Finite Model (First-order Logic)
Finite Non-Empty Set
set-theory
Finite Program Run
program-proofing
Finite Sample Space
probability-theory
Finite Sequence
algebra
Finite Set
set-theory
Finite String
Finite Turing Machine
computation
Finite Undirected Connected Graph
graph-theory
Finite Undirected Graph
graph-theory
Finitely Satisfiable Formula Set (Propositional Logic)
propositional-logic
Finitism
philosophy
First Come First Served (OS)
operating-systems
scheduling
First In First Out
computation
First Law of Thermodynamics
physics
thermodynamics
First Normal Form
relational-algebra
First-Hop Redundancy Protocol
network-protocols
First-In-First-Out Memory Replacement Policy
computer-architecture
memory
First-Order Logic
first-order-logic
logic
First-order Optimisation Method
optimisation
calculus
machine-learning
Fixed Pair (COMSOC)
comsoc
Fixed Point
math
Fixed Point (Lambda Calculus)
lambda-calculus
Fixed-Point Arithmetic
Fixed-Point Combinator
combinators
Fixed-Point Logic
logic
Fixed-Point Number Representation
numeric
Fixed-Point Theorem (Lambda Calculus)
lambda-calculus
flake-utils
nix
fle (RISC-V)
risc-v
Flip-Flop
logic-circuits
Floating-Point Arithmetic
numeric
Floating-Point Instruction (RISC-V)
risc-v
Floating-Point Number Representation
numeric
Floating-Point Register (RISC-V)
risc-v
Floor
math
Flow Network
graph-theory
Floyd's Rule (Hoare Calculus)
hoare-calculus
flt (RISC-V)
risc-v
flw (RISC-V)
risc-v
fmad (RISC-V)
risc-v
fmax (RISC-V)
risc-v
fmin (RISC-V)
risc-v
fmsub (RISC-V)
risc-v
fmv.w.x (RISC-V)
risc-v
fmv.x.w (RISC-V)
risc-v
fnmadd (RISC-V)
risc-v
fnmsub (RISC-V)
risc-v
Force
physics
Foreign Key
relational-algebra
Forest
graph-theory
fork (C)
c
Formal Fallacy
logic
Formal Language
languages
Format String
c
programming-languages
Format String Vulnerability
security
memory
c
Formula
logic
Formula (First-Order Logic)
first-order-logic
Formula (Propositional Logic)
logic
propositional-logic
Formula (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Formula Position
logic
Formula Position (Propositional Logic)
logic
Formula Satisfaction Set
logic
Formula Set (Propositional Logic)
propositional-logic
Forward Secrecy
cryptography
Forwarding
computer-architecture
Four-Color Theorem
computation
graph-theory
Fourier Series
analysis
functional-analysis
Fourier Transform
signals
fprintf (C)
c
Fractal
math
biology
complexity
Fraction
algebra
Fractional Part
math
Fragmentation
operating-systems
Frame (Networking)
networks
Frame (OS)
operating-systems
memory
Frame Counting
web
security
Frame Problem
reasoning
Francis Zane
Free Energy
physics
thermodynamics
biology
Free Energy Principle
neuroscience
Free Index (Einstein Notation)
linear-algebra
Free Space Management (OS)
operating-systems
file-management
Free Variable (First-Order Logic)
first-order-logic
Free Will
philosophy
freeaddrinfo (C)
c
Frege's Logic
logic
French
linguistics
Frequency
statistics
Frequency Hopping
mobile-communication
Frequency-Division Multiple Access
mobile-communication
Frequentism
probability-theory
Friedman Test
cryptography
Frobenius Inner Product
linear-algebra
fs0-1 (RISC-V)
risc-v
fs2-11 (RISC-V)
risc-v
fsgnj (RISC-V)
risc-v
fsgnjn (RISC-V)
risc-v
fsgnjx (RISC-V)
risc-v
FSharp
programming-languages
fsqrt (RISC-V)
risc-v
fsub (RISC-V)
risc-v
fsw (RISC-V)
risc-v
ft0-7 (RISC-V)
risc-v
ft8-11 (RISC-V)
risc-v
Full Adder
combinatorial-logic
Full Functional Dependency (Relational Algebra)
relational-algebra
Full Outer Join (Relational Algebra)
relational-algebra
Fully Associative Cache
computer-architecture
memory
Fully Observable Environment
artificial-intelligence
Fully Polynomial-time Approximation Scheme
optimisation
approximation
computation
Function
algebra
set-theory
Function (First-Order Logic)
first-order-logic
Function (Programming)
programming
Function Colouring
programming
Function Domain
math
Function Limit
analysis
Function Property
computation
Function Space
functional-analysis
analysis
Function Symbol (First-Order Logic)
first-order-logic
Function Symbol (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Function Type
type-theory
Functional
analysis
functional-analysis
Functional Analysis
functional-analysis
Functional Completeness (Propositional Logic)
logic
propositional-logic
Functional Dependency (Relational Algebra)
relational-algebra
Functional Problem
computation
Functional Programming
programming
Functional Programming Language
programming-languages
Functional Requirement
software-engineering
Functional Unit
computer-architecture
Functor
category-theory
Fundamental Theorem of Algebra
algebra
Fundamental Theorem of Arithmetic
number-theory
Fundamental Theorem of Calculus
analysis
funext (Lean)
lean
Fuzzy Testing
software-engineering
G-factor
psychology
Gadget
computation
complexity-theory
Gaia Hypothesis
biology
ecology
Gale–Shapley Algorithm
computation
Galois-Counter Mode
cryptography
Game Theory
game-theory
Gamescope
games
Gamma Function
math
Gap-Introducing Reduction
reductions
inapproximability
Gap-Preserving Reduction
reductions
inapproximability
Gaussian Distribution
probability-theory
Gaussian Elimination
linear-algebra
Gaussian Process
math
Gaussian Radial Basis Function
machine-learning
statistics
deep-learning
Gemini
llms
Gene
neuroscience
Gene Expression
neuroscience
Generalisation
machine-learning
intelligence
Generalisation Bound
machine-learning
learning-theory
statistics
Generalisation Error
machine-learning
Generalised Advantage Estimation
reinforcement-learning
Generalised Pigeonhole Principle
combinatorics
discrete-math
Generalising Induction (Lean)
lean
proof-techniques
Generated Language
languages
Generation Time
search
Generative Learning
machine-learning
statistics
Genetic Algorithm
search
Genotype
biology
Geographical Scalability (Distributed System)
distributed-systems
Geometric Distribution
probability-theory
Geometric Sequence
analysis
Geometric Series
analysis
Geometry
geometry
Geostationary Satellite
satellites
Gepant
medicine
German
linguistics
German String
databases
Gestalt Thinking
psychology
cognition
GET (HTTP)
web
getaddrinfo (C)
c
gethostbyname (C)
c
getservbyname (C)
c
Ghost
program-proofing
Gibbard–Satterthwaite Theorem
comsoc
Gigabit Interface Converter
networks
Gini Index
machine-learning
statistics
Girth
graph-theory
Git
software
Gitea
software
GitHub
organisations
software
GitHub Flavoured Markdown
markdown
glibc
libraries
Glider
game-of-life
Global Branch Predictor
computer-architecture
Global Offset Table
compilers
file-formats
Global System for Mobile Communication
mobile-communication
Global Workspace Theory
philosophy
Glove80
hardware
Go (Game)
games
Go (Programming Language)
programming-languages
Goal-Based Agent
artificial-intelligence
God
philosophy
religion
Gödel Number
logic
computation
Gödel Numbering
logic
computation
Goldbach Conjecture
mathematics
Golden Ratio
math
Good Argument
logic
Google
organisations
Google Deepmind
organisations
gp (RISC-V)
risc-v
Gradient
analysis
Gradient Ascent
machine-learning
Gradient Checking
machine-learning
optimisation
calculus
Gradient Descent
machine-learning
optimisation
calculus
Gradient-based Optimisation Algorithm
machine-learning
Graham's List Scheduling Algorithm
computation
scheduling
Gram Matrix
linear-algebra
statistics
machine-learning
Gram-Schmidt Process
linear-algebra
Grammar
languages
Grandmother Cell
neuroscience
cognition
Graph
graph-theory
Graph (Function)
set-theory
Graph Cellular Automaton
cellular-automata
Graph Density
graph-theory
Graph Isomorphism
graph-theory
Graph Isomorphism Problem
graph-theory
computational-complexity
Graph Neural Network
neural-networks
Graph Search Algorithm
search
Graph Theory
Graph-Reachability Problem
computation
Graphic Matroid
graph-theory
computation
combinatorics
Greatest Common Divisor
number-theory
Greedy Algorithm
computation
Green Thread
operating-systems
Greibach Normal Form
languages
Greyscale Image
images
Gricean Pragmatics
philosophy
grip
software
Grok
llms
Ground Atom (First-Order Logic)
first-order-logic
Ground Formula (First-Order Logic)
first-order-logic
Ground Set (Matroid)
discrete-mathematics
combinatorics
Ground Term (First-Order Logic)
first-order-logic
Group
algebra
Group Homomorphism
algebra
Group of Ring Units
algebra
Group Order
algebra
Group Relative Policy Optimisation
reinforcement-learning
Group Theory
group-theory
algebra
Grouping and Aggregation (Relational Algebra)
relational-algebra
Groupoid
algebra
Grover's Search
quantum-computing
algorithms
Grub
boot-loaders
Guessing (Nondeterministic Turing Machine)
computation
nondeterministic-turing-machines
Gumbel-Softmax
machine-learning
Gymnasium
python
Hadamard Product
linear-algebra
Hadamard Quantum Gate
quantum-computing
Half Adder
combinatorial-logic
Hall's Theorem
Halting Problem
computation
Hamiltonian Graph
graph-theory
Hamiltonian Line
graph-theory
Hamiltonian Operator
linear-algebra
Hamiltonian Path Problem
computation
graph-theory
Hamming Distance
set-theory
Handshaking Lemma
graph-theory
Happy Number
math
Hard Disk
operating-systems
hardware
io
Hardware Authentication Token
security
Hardware Multi-Threading
computer-architecture
Hardware Security Module
security
Hardware State Machine
computer-architecture
risc-v
Hardware Thread
computer-architecture
Harmonic Number
analysis
Harmonic Sequence
analysis
Harmonic Series
analysis
Harvard University
Hash Function
data-structures
Hash Map
data-structures
Hash Set
data-structures
Hash Table
data-structures
algorithms
Hash-and-Sign
cryptography
Hash-based Message Authentication Code
cryptography
Haskell
programming-languages
Haskell Curry
Hasse Diagram
algebra
have (Lean)
Headache
medicine
Heap (Data Structure)
data-structures
algorithms
Heap (OS)
operating-systems
Heart
biology
Heartbleed
security
Heartburn
medicine
Hebbian Learning
neuroscience
machine-learning
cognition
Hebrew
linguistics
Hegelian Dialectics
philosophy
Hegelianism
philosophy
Heideggerianism
philosophy
Height-Balanced Tree
trees
Herbrand Interpretation (First-Order Logic)
first-order-logic
Herbrand Semantics (First-Order Logic)
first-order-logic
Herbrand Structure (First-Order Logic)
first-order-logic
Herbrand Universe (First-Order Logic)
first-order-logic
Hereditary Set
set-theory
Heredity (Matroid)
discrete-mathematics
combinatorics
Hermitian Matrix
linear-algebra
Hermitian Operator
linear-algebra
Hertz
units
Hessian Matrix
analysis
linear-algebra
Heterophilic Graph
graph-theory
Heuristic
computation
Heuristic Search
search
Hexadecimal System
numeric
Hidden Artificial Neuron
neural-networks
Hidden Layer
neural-networks
Hierarchical Clustering
machine-learning
clustering
statistics
Hierholzer's Algorithm
computation
High Bandwidth Memory
computer-architecture
memory
High Dynamic Range
rendering
Higher Unity (Hegelian Dialectics)
philosophy
Higher-Order Function
math
Higher-Order Logic
logicc
Higher-Order Thought Theory
philosophy
Highest Response Ratio Next
operating-systems
scheduling
Highest-Degree First Maximum Vertex Coverage Algorithm
graph-theory
approximation-algorithms
Highest-Degree First Minimum Vertex Cover Algorithm
graph-theory
computation
Highly-Elliptical Satellite
satellites
Hilbert Calculus
hilbert-calculus
proof-theory
Hilbert Calculus (Propositional Logic)
propositional-logic
hilbert-calculus
Hilbert Space
linear-algebra
Hilbert's Hotel
set-theory
infinity
paradox
Hilbert's Problems
math
Hilbert's Programme
mathematics
logic
Hill-Climbing
search
Hindley–Milner Type System
type-theory
Hinge Loss
machine-learning
optimisation
statistics
Histogram
plots
Histogram of Oriented Gradients
machine-learning
Historisation
databases
Hitting Formula
logic
Hoare Calculus
hoare-calculus
Hoare Triple
logic
verification
hoare-calculus
Hodge Conjecture
mathematics
Home Location Register
mobile-communication
Home Manager
linux
nix
Homeostasis
biology
cybernetics
Homogeneity
algebra
Homoiconicity
programming
Homomorphism
category-theory
Homonym
lexical-semantics
Homophilic Graph
graph-theory
Homophily
graph-theory
sociology
Horizon Effect
artificial-intelligence
game-theory
search-algorithm
Horizontal Scaling
distributed-systems
Horn Clause (Propositional Logic)
propositional-logic
Horn Formula
logic
computation
Hot Standby Router Protocol
networks
Hot-Swappable Server Component
networks
htonl (C)
c
htons (C)
c
HTTP Cookie
web
security
HTTP Header
web
HTTP Method
web
HTTP Request Header
web
HTTP Response Header
web
HTTP Status Code
web
HTTP Strict Transport Security
networks
HTTP-01
acme
HTTPS
web
Hugo
software
Human Cognition
cognition
Hume's Guillotine
philosophy
Hunter x Hunter
anime
Hylomorphism
philosophy
Hyperbel (Deutsch)
german
Hyperbolic Tangent
math
analysis
deep-learning
Hyperedge
graph-theory
Hyperexcitability
neuroscience
Hypergraph
graph-theory
Hyperharmonic Series
analysis
Hyperparameter
machine-learning
optimisation
Hyperparameter Tuning
machine-learning
optimisation
Hyperplane
linear-algebra
Hypertext Transfer Protocol
networking
Hypervisor
virtualisation
Hypervisor Mode (RISC-V)
risc-v
Hypothesis (Learning Theory)
learning-theory
Hypothesis (Statistics)
statistics
Hypothesis Class
machine-learning
learning-theory
Hypothesis Test
statistics
Hyprland
wayland
Hysteresis
cybernetics
I-Type Instruction (RISC-V)
risc-v
I.I.D. Assumption
statistics
machine-learning
IBM
organisations
Idealised Computational Model
computation
Idealism
Idempotence (Propositional Logic)
propositional-logic
Idempotence of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Idempotent Operator
linear-algebra
Identical Parallel Machine (Scheduling)
Identically Distributed Random Variable
probability-theory
Identification
security
Identity Combinator
lambda-calculus
combinators
Identity Functor
category-theory
Identity Matrix
linear-algebra
Identity of a Subject
security
Identity Operator
linear-algebra
Identity Quantum Gate
quantum-computing
IEEE 754
numeric
If-Then-Else
boolean-algebra
Ill-formed Index (Einstein Notation)
linear-algebra
Image (Function)
algebra
Image (Linear Algebra)
linear-algebra
Image Data
data-analysis
todo
Imaginary Unit
complex-numbers
Imitation Learning
reinforcement-learning
Immediate (RISC-V)
risc-v
Implication
formula
Implication (First-Order Tableaux)
first-order-logic
tableaux
Implication (Hoare Calculus)
hoare-calculus
Implication (Propositional Tableaux)
tableaux
Implication Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Implication Graph
computation
Implication Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Implicit Differentiation
analysis
Implicit Parameter (Lean)
lean
Improper Learning Algorithm
learning-theory
Improper Limit Point
analysis
Improperly Convergent Sequence
analysis
Imputation
data-analysis
preprocessing
statistics
In-arborescence
graph-theory
In-Order Pipelined Processor
computer-architecture
In-Place Algorithm
computation
Inapproximability Transfer under Linear Reductions
approximation-algorithms
inapproximability
Incidence Graph (Propositional Logic)
graph-theory
propositional-logic
sat-solving
Incident Edge
graph-theory
Incident Response
security
Inclusion-Exclusion Principle
combinatorics
Inconclusive Algorithm
algorithms
Increasing Monotone Function
analysis
Indefinite Integral
analysis
Independence System
discrete-mathematics
combinatorics
Independent Event
probability-theory
Independent Feature Scaling
data-analysis
Independent Random Variable
probability-theory
Independent Set
graph-theory
Independent Set (Matroid)
combinatorics
computation
Independent Set Instance
Independent Set Problem
computation
Independent Set to Chamberlin-Courant Winner Determination (Karp Reduction)
comsoc
complexity-theory
graph-theory
reductions
Independent Set to Clique (Karp Reduction)
complexity-theory
graph-theory
reductions
Independent Set to Proportional Winner Determination (Karp Reduction)
comsoc
complexity-theory
graph-theory
reductions
Independent Set to Vertex Cover (Karp Reduction)
complexity-theory
graph-theory
reductions
Independently and Identically Distributed Random Variable
statistics
Indeterminate Form
math
Index Set
set-theory
Indicator Function
set-theory
Indifference (Utility Theory)
utility-theory
Indirect Deadlock Prevention
operating-systems
concurrency
Indirect Proof
proof-theory
Induced Norm
linear-algebra
Induced Subgraph
graph-theory
Induction (Lean)
lean
proof-techniques
Inductive Definition
logic
Inductive Reasoning
reasoning
Inequality
math
Inertia
physics
Inference (Logic)
logic
Inference (Machine Learning)
machine-learning
Inference Rule
logic
Infimum
analysis
set-theory
Infinite Cardinality
set-theory
Infinite Program Run
program-proofing
Infinite Sequence
algebra
Infinite Series
analysis
todo
Infinite Set
set-theory
Infinity
philosophy
mathematics
Infix Notation
languages
Inflammation
medicine
Inflected Word Form
morphology
Inflection Point
analysis
Informal Fallacy
logic
argumentation
rhetoric
Information
information-theory
information-retrieval
Information Flow Control
security
Information Retrieval
information-retrieval
Information Theory
information-theory
Informed Search
search
Inherence-based Authentication
security
Inherently Ambiguous Context-Free Language
languages
Inhibition
neuroscience
Initial State (Automata Theory)
automata-theory
Initial-segment Notation
combinatorics
computation
Initialisation Vector
cryptography
Injective Encoding
computation
Injective Function
math
Injective Relation
algebra
Inmarsat
satellites
Inner Product
linear-algebra
Inner Product Space
linear-logic
Inner Speech
neuroscience
cognition
Inner-Product-Induced Metric Space
analysis
topology
Inorder Traversal
trees
Input Artificial Neuron
neural-networks
Input Layer
neural-networks
Input Parameter
programming
type-theory
Input Space
machine-learning
Input Tape (Turing Machine)
computation
Insecure Channel
cryptography
Insertion Sort
sorting-algorithms
Instance
computation
Instance (Lean)
lean
Instance Encoding
computational-complexity
input-encoding
Instance Space
computation
Instance Synthesis (Lean)
lean
Instance-Implicit Parameter (Lean)
lean
Instantaneous Throughput (Networking)
networking
Institute of Electrical and Electronics Engineers
standards
Instruction
operating-systems
Instruction (RISC-V)
risc-v
Instruction Cache
computer-architecture
memory
Instruction Cache Miss
computer-architecture
memory
Instruction Level Parallelism
computer-architecture
Instruction Memory
computer-architecture
memory
processor-design
Instruction Pointer Hijacking
security
memory
Instruction Prefetching
computer-architecture
memory
Instruction Set
computer-architecture
Instruction Set Architecture
computer-architecture
Instruction Trace
operating-systems
Instruction-Level Parallelism
computer-architecture
Instructions Per Cycle
computer-architecture
Insulator
physics
Integer
number-theory
Integer Constant (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Integer Factorisation
mathematics
number-theory
cryptography
Integer Linear Programming
complexity-theory
Integer Linear Programming Decision Problem
complexity-theory
integer-programming
Integer Objective Function
Integer Programming
mathematical-optimisation
computability-theory
Integrable Function
analysis
Integral
analysis
todo
Integrated Deadlock Strategy
operating-systems
concurrency
Integration by Parts
analysis
Integration by Substitution
analysis
Integration Testing
software-engineering
todo
Integrity (Security)
security
Integrity Protection (Cryptography)
cryptography
Integrity Ring
algebra
Intel
organisations
Intelligence
intelligence
Intelligence Quotient
intelligence
Intelligent Testing
software-engineering
testing
Intensional Function Property
computation
Intensional Language Property
languages
Inter-Cluster Distance
machine-learning
Inter-Process Communication
operating-systems
concurrency
Interaction Calculus
interation-calculus
Interaction Combinator
interation-calculus
Interaction Net
computation
Interface (Distributed System)
distributed-systems
Interface Definition Language (Distributed System)
distributed-systems
Interior (Analysis)
analysis
Interior (Interval)
analysis
Interleaving
concurrency
Interleaving Attack
cryptography
Interleaving Graph
concurrency
computer-architecture
Intermediate Value Theorem
analysis
Intermezzo
music-theory
Internal Fragmentation
operating-systems
Internal Threat
security
International Conference for Representation Learning
machine-learning
Internet
networking
Internet Control Message Protocol
network-protocols
Internet Corporation for Assigned Names and Numbers
organisations
Internet of Things
iot
Internet Protocol (IP)
networks
Internet Protocol Security
network-security
Internet Protocol Version 4
network-protocols
Internet Protocol Version 6
network-protocols
Internet Security Research Group (ISRG)
networks
Interpretation
logic
Interpretation (First-Order Logic)
first-order-logic
Interpretation (Propositional Logic)
propositional-logic
Interpretation (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Interpreter
languages
Interrupt (OS)
operating-systems
Interrupt Handling
operating-systems
Intersection (Matroid)
discrete-mathematics
combinatorics
Intersection (Relational Algebra)
relational-algebra
Intersection (Set)
set-theory
Interval
analysis
Interval (Scheduling)
computation
scheduling
Interval Graph
graph-theory
Interval Partition
analysis
Interval Partitioning Problem
computation
scheduling
Interval Scheduling Problem
computation
scheduling
Intra-Cluster Distance
machine-learning
Intracellular
neuroscience
Intractable Problem
computation
Introduction Inference Rule
proof-theory
Intrusion Detection
operating-systems
security
Intrusion Detection System
security
Intrustion Prevention System
security
Intuitionism
philosophy
Intuitionistic Logic
logic
intuitionistic-logic
Invalid Argument
logic
Invariant Type Constructor
type-theory
Inverse
algebra
Inverse Element
algebra
Inverse Function
math
Inverse Rule (Analysis)
analysis
Inverse Trigonometric Function
trigonometry
Invertible Function
math
Invertible Matrix
linear-algebra
Involutive Function
functions
IO Architecture (OS)
operating-systems
io
IO Buffering
operating-systems
io
IO Functions (OS)
operating-systems
io
IO Management (OS)
operating-systems
io
IP Address
networking
Irrational Number
number-theory
Irreducible Polynomial
algebra
Irreflexive Binary Relation
algebra
IS-A Relation
databases
todo
Isohypse
geometry
Isolated Vertex
graph-theory
Isometry
linear-algebra
Isomorphism
algebra
Isotropic Rule
cellular-automata
Issue Stage
computer-architecture
Iterating Limit
vector-calculus
Iterating Local Search
search
Iterative Deepening Search
search
Iterative DNS Resolution
networking
dns
Iterative Improvement Algorithm
computation
j (RISC-V)
risc-v
J-Type Instruction (RISC-V)
risc-v
Jacobian Matrix
analysis
linear-algebra
Jacobian-Vector Product
machine-learning
calculus
linear-algebra
jal (RISC-V)
risc-v
jalr (RISC-V)
risc-v
Japanese
linguistics
Java
programming-languages
JavaScript
programming-languages
JavaScript Bridge
web
security
mobile
Javascript Object Notation
programming
JAX
python
Jellyfin
software
Jenkins
software-engineering
Jerk
JK Flip-Flop
logic-circuits
Job (Scheduling)
computation
scheduling
Join (Relational Algebra)
relational-algebra
Join Distribution
statistics
Joint Probability Distribution
probability-theory
Joint Progress Diagram
operating-systems
concurrency
Joule
physics
jr (RISC-V)
risc-v
Just-in-time Compiler
compilers
Justified Representation (COMSOC)
comsoc
Juxtaposition
algebra
K Combinator
lambda-calculus
k-Colouring Problem
computation
k-degenerate Graph
graph-theory
k-Fold Validation
machine-learning
k-Means Clustering
machine-learning
clustering
statistics
k-Nearest Neighbour
machine-learning
classification
regression
k-Partition Problem
computation
scheduling
k-regular Graph
graph-theory
k-Satisfiability Problem
computation
logic
sat
Kardashev Scale
philosophy
spacefaring-civilisations
Karnaugh Map
logic
Karp Reduction
computation
Kasiski Test
cryptography
Keep it simple stupid
security
Kemeny Preference Ranking (COMSOC)
comsoc
Kemeny Proposal (COMSOC)
comsoc
Kemeny Rule (COMSOC)
comsoc
Kemeny Score (COMSOC)
comsoc
Kemeny Score Problem (COMSOC)
comsoc
Kemeny Winner (COMSOC)
comsoc
Kemeny Winner Score Problem (COMSOC)
comsoc
Kendall Tau Distance
computation
Kendall-Tau Distance (COMSOC)
comsoc
Kernel (Algebra)
algebra
Kernel (OS)
operating-systems
Kernel Function
machine-learning
linear-algebra
statistics
Kernel Matrix
machine-learning
Kernel Method
machine-learning
Kernel Mode
operating-systems
Kernel Perceptron
machine-learning
algorithms
kernel-methods
Kernel Proccess
operating-systems
Kernel Space
operating-systems
Kernel Stack
operating-systems
Kernel-Level Thread
operating-systems
Ket-Vector
linear-algebra
Key (Cryptography)
cryptography
Key Candidate (Relational Algebra)
databases
Key Derivation Function
cryptography
Key Exchange Algorithm
cryptography
Key Generation Algorithm (Cryptography)
cryptography
Key Pair
cryptography
Key Space (Cryptography)
cryptography
Keyboard
hardware
Keylogger
security
khal
software
Kinetic Energy
physics
Kleene Star
languages
Klimax (Deutsch)
german
Knapsack Problem
computation
Knowledge
neuroscience
philosophy
Knowledge Representation
knowledge-representation
Knowledge-based Authentication
security
Known Environment
artificial-intelligence
Knuth-Morris-Pratt Algorithm (String Matching)
string-matching
Kolmogorov Axioms
probability-theory
Kolmogorov Machine
computation
Krebs Cycle
biology
biochemistry
metabolism
Krom Formula
logic
computation
Kronecker Delta
linear-algebra
Kruskal's Algorithm
graph-theory
greedy-algorithms
Kubernetes
Kullback–Leibler Divergence
statistics
information-theory
probability
Kuratowski's Ordered Pair
set-theory
Kurtosis
statistics
ℓ-Cohesive Voter Group (COMSOC)
comsoc
ℓ-Justified Representation (COMSOC)
comsoc
L0 Norm
linear-algebra
L1 Cache
computer-architecture
memory
L1 Norm
linear-algebra
L1 Regularisation
machine-learning
optimisation
L2 Cache
computer-architecture
memory
L2 Divergence
linear-algebra
statistics
machine-learning
L2 Norm
linear-algebra
L2 Regularisation
machine-learning
optimisation
L2 Space
analysis
functional-analysis
L3 Cache
computer-architecture
memory
Label Space
machine-learning
Ladner's Theorem
complexity-theory
Lagrange Multipliers
mathematics
analysis
optimisation
Lagrange Remainder
analysis
Lambda Abstraction
lambda-calculus
todo
Lambda Abstraction (Programming)
programming
Lambda Calculus
computation
lambda-calculus
Lambda Expression
lambda-calculus
Lambda Reduction
lambda-calculus
Lambda Variable
lambda-calculus
Lambert W Function
analysis
Landau Symbols
complexity-theory
Language (CSP)
csp
Language Concatenation
languages
Language of a Decision Problem
computation
Language Property
languages
Language Server Protocol
software-engineering
network-protocols
Laplace Expansion
linear-algebra
Large Language Model
machine-learning
Last In First Out
computation
Latency Hiding (Distributed System)
distributed-systems
Lateness (Interval Scheduling)
computation
scheduling
Latent Space
machine-learning
LaTeX
tex
Latin
languages
Lattice
algebra
Lattice Problem
post-quantum-cryptography
Lattice Theory
lattice-theory
Law of Excluded Middle (Propositional Logic)
propositional-logic
Law of Large Numbers
statistics
Law of Total Probability
probability-theory
Layer Normalisation
machine-learning
Layered Architecture (Distributed System)
distributed-systems
Layered Kernel
operating-systems
Lazy Evaluation
programming
lb (RISC-V)
risc-v
Leaf Node
graph-theory
League of Legends
games
Lean
programming-languages
lean
Learning
artificial-intelligence
Learning Algorithm
computation
learning-theory
Learning Algorithm (PAC-learning)
PAC-learning
Learning Element
artificial-intelligence
Learning Problem
computation
Learning Rate
machine-learning
optimisation
Learning Theory
Learning with Errors
cryptography
Least Common Multiple
number-theory
Least Privilege (Security)
security
Least Recently Used Memory Replacement Policy
computer-architecture
memory
Least Significant Bit
numeric
Leave-one-out Validation
machine-learning
Lebesgue Integral
measure-theory
analysis
Lebesgue-Integrable Complex-Valued Function
measure-theory
analysis
Left Outer Join (Relational Algebra)
relational-algebra
Left Reduction (Relational Algebra)
relational-algebra
Left Semi Join (Relational Algebra)
relational-algebra
Left Sequent
sequent-calculus
Left-Associativity
algebra
Left-sided Limit
analysis
Left-Total Relation
set-theory
Leibniz Criterion
analysis
Lemma
logic
Lemmatisation
natural-language-processing
information-retrieval
Lemoine's Conjecture
number-theory
Length (String)
strings
Lenz's Law
electromagnetism
Less-Than Predicate (Primitive Recursion)
primitive-recursion
Let's Encrypt
cryptography
Letter
languages
Levenshtein Distance
machine-learning
Lexer
compilers
Lexicographic Order
order-theory
li (RISC-V)
risc-v
Liberalism
philosophy
politics
Life
biology
evolution
computation
philosophy
Limine
boot-loaders
Limit
analysis
Limit (Function)
analysis
Limit (Sequence)
analysis
Limit (Vector)
vector-calculus
analysis
Limit Inferior
analysis
Limit Point
analysis
Limit Superior
analysis
Linear Algebra
linear-algebra
Linear Approximation
analysis
Linear Attention
attention
Linear Bounded Automaton
computation
Linear Classifier
machine-learning
classification
Linear Combination
linear-algebra
Linear Complexity
complexity-theory
Linear Cryptanalysis
cryptography
Linear Data Structure
data-structures
Linear Decision Boundary
machine-learning
Linear Dependence
linear-algebra
Linear Discriminant Analysis
machine-learning
discriminant-analysis
Linear Feature Map
machine-learning
Linear Functional
linear-algebra
Linear Independence
linear-algebra
Linear Inequality
linear-algebra
Linear Kernel Function
machine-learning
statistics
Linear Layer
Linear Logic
logic
todo
Linear Map
linear-algebra
Linear Matroid
Linear Operator
linear-algebra
Linear Programming
complexity-theory
Linear Reduction
optimisation
approximation
Linear Regression
statistics
regression
machine-learning
Linear Separability
linear-algebra
Linear Span
linear-algebra
Linear System of Equation
linear-algebra
Linearity
algebra
Linearly Independent Basis
linear-algebra
Linguistic Context
linguistics
Link (Networking)
networking
Link Aggregation Control Protocol
network-redundancy
Linker
compilers
Linux
operating-systems
linux
Linux Distribution
linux
Linux Foundation
organisations
Lipschitz Continuity
analysis
Liquid Brain
brains
Liskov Substitution Principle
software-engineering
listen (C)
c
Literal
logic
Literal (First-order Logic)
first-order-logic
Literal (Propositional Logic)
propositional-logic
Little-Endian
computer-architecture
memory
Livelock
operating-systems
Living Matter
biology
physics
Living System
biology
artificial-life
cybernetics
Llull Rule (COMSOC)
comsoc
Llull Score (COMSOC)
comsoc
Llull Winner (COMSOC)
comsoc
Load Balancer
networks
Load Balancing Problem
computation
Load Instruction
computer-architecture
Load Queue
computer-architecture
Load Unit
computer-architecture
Load-Reserved Store-Conditional
computer-architecture
concurrency
memory-models
Load-Store Unit
computer-architecture
Local Area Network
distributed-systems
Local Beam Search
search
Local Branch Predictor
computer-architecture
Local Maxima
analysis
Local Minima
analysis
Local Search
search
Local State (Distributed System)
distributed-systems
Localist Representationalism
philosophy
cognition
Location Transparency (Distributed System)
distributed-systems
Lock-based Synchronisation (ACID)
acid
Loewner Order
linear-algebra
operator-theory
quantum-mechanics
Log-Linear Attention
attention
Logarithm
algebra
real-analysis
logarithms
Logarithmic Scale
Logarithmic Time Complexity
complexity-theory
Logging (ACID)
acid
Logic
logic
Logic Vulnerability
security
Logical Connective
logic
Logical Ontology (Knowledge Representation)
knowledge-representation
Logical Strength
logic
Logical vs. Physical Address
operating-systems
hardware
Logistic Normal Distribution
probability-theory
Logistic Regression
machine-learning
classification
statistics
Logit
machine-learning
Logos
philosophy
Logspace Complexity Class
complexity-theory
Long Short-Term Memory
machine-learning
Long-Term Memory
neuroscience
Longest Common Subsequence Problem
strings
computation
longest-common-subsequence
Loop Coverage
software-engineering
testing
Loop Invariant
hoare-calculus
program-proofing
Loop Termination (Hoare Calculus)
hoare-calculus
program-proofing
Loop Unrolling
compilers
Lorentz Force Law
electromagnetism
Loss
machine-learning
optimisation
Lottery
utility-theory
Low-Earth Satellite
satellites
Low-Rank Adaption
machine-learning
Lower Bound
analysis
lui (RISC-V)
risc-v
Lutris
software
lw (RISC-V)
risc-v
MAC Address
networks
MAC-then-Encrypt
cryptography
Machine (Scheduling)
computation
scheduling
Machine Learning
machine-learning
Machine Mode (RISC-V)
risc-v
MacLaurin Series
analysis
MacOS
operating-systems
Macro Virus
security
Magic Number
operating-systems
Magnetic Field
physics
electromagnetism
Magnitude Representation
neuroscience
cognition
Main Diagonal
linear-algebra
Main Memory
computer-architecture
memory
Main Theorem of Monotone Sequences
analysis
Majorant Criterion
analysis
Majority (COMSOC)
comsoc
Majority Graph (COMSOC)
comsoc
Makefile
software
Makespan (Interval Scheduling)
computation
scheduling
Malleability (Cryptography)
cryptography
Malleable Encryption Algorithm
cryptography
Malware
operating-systems
security
malware
Mandatory Access Control
security
Manhattan Distance
geometry
Manhattan Norm
linear-algebra
Manifold
topology
analysis
geometry
Manifold Assumption
machine-learning
dimensionality-reduction
Manipulable Voting Rule (COMSOC)
comsoc
Manipulation (COMSOC)
comsoc
Many-one Reduction
computation
Map
data-structures
Markdown
software
Markov Chain
statistics
Markov Decision Process
reinforcement-learning
Markov Property
statistics
reinforcement-learning
Martin Kronegger
Marvel Rivals
games
Mass
physics
Matching
graph-theory
Matching Matroid
graph-theory
Material Dialectics
philosophy
Mathematical Logic
logic
Mathematical Philosophy
philosophy
mathematics
Mathematics
math
Matrix
linear-algebra
Matrix Addition
linear-algebra
Matrix Adjoint
linear-algebra
Matrix Completion
Matrix Completion Problem
computation
Matrix Exponential
linear-algebra
Matrix Multiplication
linear-algebra
Matrix Trace
linear-algebra
Matrix Transpose
linear-algebra
Matrix-Matrix Product
linear-algebra
Matrix-Vector Product
linear-algebra
Matroid
combinatorics
computation
requires-cleanup
Matroid Intersection Algorithm
matroids
combinatorial-optimisation
Matroid Optimisation Problem
matroids
computation
Matryoshka Doll
games
Matter
physics
Max-Heap
data-structures
algorithms
Max-Value Knapsack
computation
Max-Value Knapsack Problem
computation
MaxE3SAT to Max2SAT (Linear Reduction)
approximation-algorithms
reductions
propositional-logic
Maximal Border (String)
strings
Maximal Independent Set (Matroid)
discrete-mathematics
combinatorics
Maximal Matching
graph-theory
Maximal Matching Minimum Vertex Cover Algorithm
graph-theory
computation
approximation-algorithms
Maximal Non-Trivial Border (String)
strings
Maximisation Problem
computation
Maximum 2-SAT Optimisation Problem
propositional-logic
combinatorial-optimisation
Maximum 3-SAT Optimisation Problem
propositional-logic
combinatorial-optimisation
Maximum a Posteriori Estimation
statistics
machine-learning
optimisation
Maximum Cut Optimisation Problem
graph-theory
combinatorial-optimisation
Maximum Exact-3-SAT Optimisation Problem
propositional-logic
combinatorial-optimisation
Maximum Exact-4-SAT Optimisation Problem
propositional-logic
combinatorial-optimisation
Maximum Independent Set Optimisation Problem
graph-theory
combinatorial-optimisation
Maximum Likelihood Estimation
statistics
machine-learning
optimisation
Maximum Matching
graph-theory
Maximum Non-Blocker Problem
computation
graph-theory
Maximum Satisfiability Problem
computation
approximation
optimisation
Maximum Trustworthiness (Security)
security
Maximum Vertex Coverage Optimisation Problem
graph-theory
combinatorial-optimisation
Maximum-Weight Matroid Greedy Algorithm
computation
Maximum-Weight Matroid Optimisation Problem
computation
combinatorics
Maximum-Weight Spanning Tree
computation
graph-theory
Maxwell's Equations
physics
electromagnetism
mcause (RISC-V)
risc-v
McCulloch–Pitts Model
neuroscience
computation
MD5
cryptography
Mealy Automaton
automata-theory
Mean Absolute Error
machine-learning
statistics
regression
Mean Normalisation
data-analysis
Mean Squared Error
machine-learning
statistics
regression
Mean Value Theorem of Differential Calculus
analysis
Measurable Function
measure-theory
Measurable Set
measure-theory
Measurable Space
measure-theory
Measure
measure-theory
Measure Theory
measure-theory
Measurement (Quantum Computing)
quantum-computing
Measurement Effect
quantum-computing
quantum-mechanics
Median
statistics
todo
Medication Overuse Headache
medicine
Medium-Earth Satellite
satellites
Melatonin
neuroscience
biology
Melissa
security
Mellin Transformation
analysis
Memory (Cognition)
cognition
Memory (Cognitive Architecture)
computer-architecture
memory
Memory Access
computer-architecture
Memory Access Stage
computer-architecture
Memory Array
computer-architecture
memory
Memory Consolidation
sleep
neuroscience
Memory Controller
computer-architecture
memory
Memory Fence
concurrency
Memory Leak
memory
Memory Locality
computer-architecture
memory
Memory Management
operating-systems
Memory Management Unit
operating-systems
Memory Model
memory-models
Memory Ordering Violation
computer-architecture
Memory Partitioning
operating-systems
Memory Pointer
memory
c
Memory Protection
operating-systems
hardware
Memory Replacement Policy
computer-architecture
memory
Memory Requirement
complexity-theory
Memory Safety (Software)
security
memory
c
Memory System
computer-architecture
Memory Table
operating-systems
Meningeal Nociceptor
medicine
Meningeal Vasodilation
medicine
Meninges
medicine
Mental Arithmetic
cognition
Mental Imagery
neuroscience
cognition
Mental Representation
cognition
mepc (RISC-V)
risc-v
Mercer's Conditions
machine-learning
linear-algebra
Merge Sort
sorting-algorithms
Message Authentication Code
cryptography
Message Passing (OS)
operating-systems
concurrency
Message Space (Cryptography)
cryptography
Meta
organisations
Meta Heuristic
heuristics
Meta Programming
programming
Meta Self-Awareness
philosophy
Meta-Learning
machine-learning
Metabolism
biology
Metacognition
neuroscience
cognition
Metafont
tex
Metal-Oxide-Semiconductor Field-Effect Transistor
electronics
Metamathematics
logic
mathematics
Metapher (Deutsch)
german
Metaphysical Solipsism
philosophy
Metaphysics
philosophy
Meter
units
Method (Programming)
programming
Methodological Solipsism
philosophy
Methodology
research-methods
Metric
analysis
geometry
Metric Space
analysis
topology
Metric Travelling Salesman Problem
computation
Metrology
measurement
Metropolis Criterion
search
todo
Microarchitecture
computer-architecture
Micrograd
machine-learning
Microkernel
operating-systems
micron
organisations
Microorganism
biology
Microsoft
organisations
Microsoft Office
Microsoft Outlook
software
Migraine
medicine
Migraine Pain
medicine
Migration Transparency (Distributed System)
distributed-systems
Millennium Prize Problems
mathematics
Miller-Rabin Test
cryptography
Miller–Urey Experiment
life
biochemistry
Min-Heap
data-structures
algorithms
Min-Max Scaling
data-analysis
Mind
philosophy
Mind-Body Dualism
philosophy
Minecraft
games
Minimal NP-hard Problem
computation
Minimal Set Cover Problem
computation
Minimal Spanning Tree
graph-theory
Minimal Spanning Tree Search Problem
graph-theory
computation
Minimal Vertex Cover Problem
computation
Minimax
statistics
Minimax Approval Voting Rule (COMSOC)
comsoc
Minimisation Problem
computation
Minimum Exposure (Security)
security
Minimum Set Cover Optimisation Problem
set-cover
combinatorial-optimisation
Minimum Trust (Security)
security
Minimum Vertex Cover
graph-theory
Minimum Vertex Cover Algorithm
Minimum Vertex Cover Problem
graph-theory
computation
Minimum-Degree First Maximum Independent Set Algorithm
graph-theory
greedy-algorithms
approximation-counterexamples
Minkowski Distance
machine-learning
statistics
distance-metric
Minkowski Space
special-relativity
Minor (Linear Algebra)
linear-algebra
Minority Criterion
analysis
Mitochondrion
biology
evolution
metabolism
Mixed Quantum State
quantum-computing
mmap (C)
c
Mnemonic
operating-systems
Mobile Communication
mobile-communication
Mobile Password Manager
web
security
mobile
Mobile Switching Center
mobile-communication
Mobile TAN
security
Mode
statistics
Mode of Operation
cryptography
Mode Switch
operating-systems
Model (First-Order Logic)
first-order-logic
Model (Logic)
logic
Model (Machine Learning)
machine-learning
Model (Propositional Logic)
propositional-logic
Model Characterisation of Equivalence (Propositional Logic)
propositional-logic
Model Compounding Error
reinforcement-learning
Model Context Protocol
machine-learning
llms
Model-Based Reflex Agent
artificial-intelligence
Model-Checking Problem
computation
logic
Model-free Reinforcement Learning
reinforcement-learning
Models of a Theory (First-Order Logic)
first-order-logic
Modified Condition or Decision Coverage
software-engineering
testing
Modified Shared Invalid Protocol
memory
Modular Arithmetic
arithmetic
Modular Kernel
operating-systems
Modularisation
programming
Modularisation Unit (Programming)
programming
Module (Programming)
programming
Modus Ponens
logic
Modus Ponens (Propositional Logic)
propositional-logic
Molecular Computing
computation
Moment
probability-theory
Moment (Hegel)
philosophy
hegel
Momentum
physics
Monad
category-theory
Monitor (OS)
operating-systems
concurrency
Monoalphabetic Cipher
cryptography
Monoid
algebra
Monolithic Kernel
operating-systems
Monomorphisation
type-theory
compilers
Monotone Decreasing Event Sequence
probability-theory
Monotone Event Sequence
Monotone Function
analysis
Monotone Grammar
languages
Monotone Increasing Event Sequence
probability-theory
Monotone Production Rule
languages
Monotone Sequence
analysis
Monotone Voting Rule (COMSOC)
comsoc
Monotonic Replacement (Propositional Logic)
logic
propositional-logic
Monotonicity (Utility Theory)
utility-theory
Monotonicity of Deductive Closure (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Monotonicity of Entailment (Propositional Logic)
propositional-logic
Monotonicity of Probability
probability-theory
Monotype
type-theory
Monovalent Adaptive System
adaptive-systems
reinforcement-learning
cybernetics
Monte Carlo Advantage Estimation
reinforcement-learning
Monte Carlo Simulation
statistics
Monte Carlo Tree Search
reinforcement-learning
Moore Automaton
automata-theory
Moore Neighbourhood
game-of-life
Moore's Law
physics
Moral
philosophy
Morin's Four Levels of Consciousness
philosophy
Morphism (Category Theory)
category-theory
Morphogenesis
biology
computation
Morphology
languages
Morphospace
biology
evolution
Most General Unifier
type-theory
Most Significant Bit
numeric
Motte-and-Bailey Fallacy
informal-fallacy
Movie
entertainment
Mozilla
mret (RISC-V)
risc-v
mscratch (RISC-V)
risc-v
mtvec (RISC-V)
risc-v
Mu Recursion
computation
Mu-Recursive Function
computation
MuBar Operator
computation
Multi-Agent Environment
artificial-intelligence
Multi-Agent Reinforcement Learning
reinforcement-learning
Multi-Armed Bandit Problem
reinforcement-learning
todo
Multi-Core Memory System
computer-architecture
Multi-Core Processor
computer-architecture
Multi-cycle Instruction
computer-architecture
Multi-Cycle Processor
computer-architecture
Multi-Cycle Processor (RISC-V)
computer-architecture
risc-v
Multi-factor Authentication
security
Multi-Head Attention
machine-learning
attention
Multi-Label Classification
machine-learning
Multi-Layer Perceptron
machine-learning
deep-learning
Multi-level Cache
computer-architecture
memory
Multi-winner Determination Search Problem
Multiclass Classification
machine-learning
classification
statistics
Multinomial Coefficient
combinatorics
Multiple Polynomial Regression
machine-learning
regression
statistics
Multiple Realisability
philosophy
Multiple-Input and Multiple-Output
networks
Multiplex
communication
Multiplexer
combinatorial-logic
Multiplication (Primitive Recursion)
primitive-recursion
Multiplicative Conjunction (Linear Logic)
linear-logic
Multiplicative Disjunction (Linear Logic)
linear-logic
Multiplicative Inverse
algebra
Multiplicativity
algebra
Multiplicity
set-theory
combinatorics
Multiset
set-theory
Multitape Turing Machine
computation
Multivariate Gaussian Distribution
probability-theory
multivariate-statistics
Mundaneum
information-retrieval
Murphy's Law
philosophy
Mutant (Mutation Testing)
mutation-testing
Mutation Testing
software-engineering
Mutatis Mutandis
latin
Mutex
operating-systems
concurrency
Mutual Entailment
logic
Mutual Exclusion
operating-systems
concurrency
Mutualism
philosophy
MuZero Operator
computation
mv (RISC-V)
risc-v
n-ary Relation
algebra
n-Bit Branch Predictor
computer-architecture
n-fold Tensor Power
linear-algebra
n-gram
machine-learning
natural-language-processing
N-MOS
electronics
transistors
mosfet
n-Queens
games
computation
N-Way Set Associative Cache
computer-architecture
memory
Naive Algorithm
computation
Naive Bayes
machine-learning
classification
statistics
Namespace
operating-systems
virtualisation
Naming
logic
propositional-logic
NAND
boolean-algebra
logic
Narrowband Internet of Things
mobile-communication
Nash Equilibrium
game-theory
Natural Deduction
proof-theory
Natural Exponential Function
analysis
Natural Join (Relational Algebra)
relational-algebra
Natural Key
databases
Natural Language Processing
machine-learning
Natural Logarithm
logarithms
Natural Number
number-theory
Natural Selection
evolution
Natural Semantics
logic
Natural Transformation
category-theory
Navier-Stokes Existence and Smoothness
mathematics
Near-Collisions Resistance
cryptography
Negation
boolean-algebra
logic
Negation (First-Order Tableaux)
first-order-logic
tableaux
Negation (Primitive Recursion)
primitive-recursion
Negation (Propositional Tableaux)
tableaux
Negation Introduction Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Negation Normal Form (First-Order Logic)
first-order-logic
Negative Literal
logic
Negative Literal (Propositional Logic)
propositional-logic
Negative Monotonic Replacement (Propositional Logic)
propositional-logic
Negative Predictive Value
machine-learning
Negative Problem Instance
Nelson-Oppen Decision Procedure
satisfiability-modulo-theory
Nelson-Oppen Restrictions (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Neologismus (Deutsch)
german
Nerve Tissue
medicine
netdb.h
c
Network (Graph)
graph-theory
Network Attacker Model
web
security
Network Interface Card
networks
Network Layer
networks
osi-model
Network Mask
Network Operating System
operating-systems
distributed-systems
Network Switching Subsystem
mobile-communication
Network Topology (Distributed System)
distributed-systems
Neumann Neighbourhood
game-of-life
Neural Cellular Automata
cellular-automata
Neural Cellular Automaton
cellular-automata
Neural Circuit
neuroscience
Neural Grouping
neuroscience
cognition
Neurogenic Inflammation
medicine
Neurogenic Pain
medicine
Neuron
neuroscience
Neuropeptide
medicine
Neuroplasticity
brain
Neuroscience
neuroscience
Neutral Element
algebra
Neutral Monism
philosophy
Neutral Voting Rule (COMSOC)
comsoc
Newton's Method
approximation
Newtonian Mechanics
physics
mechanics
NEXPTIME Complexity Class
complexity-theory
Nix
linux
nix
nix-ld
nix
NixOS
linux
nix
Nixpkgs
linux
nix
No-Free-Lunch Theorem
machine-learning
No-show Paradox (COMSOC)
comsoc
Nociceptive Processing
medicine
Nociceptor
medicine
Nodal Processing Delay
networking
Node (Networking)
networking
Nominal Abstract Datatype
programming
Nominal Abstraction (Programming)
programming
Nominal Data
data-analysis
statistics
machine-learning
Non-Blocker
graph-theory
Non-blocking Load Instruction
computer-architecture
Non-Commutativity
algebra
Non-constructive Algorithm
computation
Non-emptiness (Matroid)
discrete-mathematics
combinatorics
Non-empty Clause
propositional-logic
Non-Empty Set
set-theory
Non-empty String
strings
Non-functional Requirement
software-engineering
Non-Life
biology
physics
philosophy
Non-linear Decision Boundary
machine-learning
Non-linear Feature Map
machine-learning
Non-linear Map
linear-algebra
Non-Linearity
math
Non-negative Function
analysis
Non-negative Integer
number-theory
Non-negativity (Kolmogorov Axioms)
probability-theory
Non-negativity Axiom (Probability Mass Function)
probability-theory
Non-optimal Solution
approximation
optimisation
Non-Persistent HTTP Connection
networking
http
Non-Process Kernel
operating-systems
Non-reductive Physicalism
philosophy
Non-Regular Dependency
languages
Non-repudiation
security
Non-Return-to-Zero
coding-theory
Non-Terminal Symbol
languages
Non-Trivial Border (String)
strings
Non-trivial Extensional Language Property
computation
Non-Trivial Function Property
computation
Non-Trivial Language Property
languages
Non-Volatile Storage (ACID)
acid
Non-Zero Vector
linear-algebra
Nonce
cryptography
Nondeterministic
statistics
Nondeterministic Action
artificial-intelligence
Nondeterministic Finite Automaton
automata-theory
Nondeterministic Logarithmic Space Complexity Class
complexity-theory
Nondeterministic Polynomial Complexity Class
complexity-theory
Nondeterministic Polynomial Decision Problem
Nondeterministic Polynomial Problem
computation
complexity-theory
Nondeterministic Program Transition
program-proofing
Nondeterministic Turing Machine
computation
Nondeterministic vs. Stochastic
statistics
nop (RISC-V)
risc-v
NOR
Norm
linear-algebra
Norm-Induced Metric Space
analysis
topology
Normal Distribution (Old)
probability-theory
Normal Equations
machine-learning
linear-algebra
optimisation
Normal Form (Lambda Calculus)
lambda-calculus
Normal Form (Turing Machine)
computation
Normal Form Existence (Propositional Logic)
propositional-logic
Normal Order Reduction
lambda-calculus
Normal Subgroup
algebra
Normal Vector
linear-algebra
Normalisation (Kolmogorov Axioms)
probability-theory
Normalisation (Relational Algebra)
databases
Normalisation Axiom (Probability Mass Function)
probability-theory
Normalisation Function (Information Retrieval)
information-retrieval
Normalised Quantum State
quantum-computing
quantum-mechanics
Normalised Word Type
natural-language-processing
Normed Vector Space
linear-algebra
North Atlantic Treaty Organisation
history
NoSQL
databases
NoSQL Injection
web
security
databases
not (RISC-V)
risc-v
Not a Number
numeric
NOT Quantum Gate
quantum-computing
NotebookLM
llms
NP-complete Decision Problem
computation
complexity-theory
NP-complete Problem
computation
NP-hard Decision Problem
computation
complexity-theory
NP-Hard Optimisation Problem
computation
NP-hard Problem
computation
NP-intermediate Problem
complexity-theory
NP-Optimisation Decision Problem
complexity-theory
optimisation
NP-Optimisation Problem
complexity-theory
optimisation
ntfy.sh
software
ntohl (C)
c
ntohs (C)
c
Nuclear Energy
physics
Nucleus (Neuroscience)
neuroscience
Nucleus (Physics)
physics
null
programming-languages
Null (Relational Algebra)
relational-algebra
Null Hypothesis
statistics
Null Sequence
analysis
Number Representation
numeric
Number Sense
neuroscience
cognition
Number System
numeric
Numerator
algebra
Numerical Approximation
numeric
Numerical Data
data-analysis
Numerical Outcome
probability-theory
Numpy
python
NVIDIA
organisations
NX (Data Execution Prevention)
security
memory
Object (Category Theory)
category-theory
Object (OOP)
oop
Object (Security)
security
Object Coupling
oop
Object Diagram (UML)
uml
Object-based Architecture (Distributed System)
distributed-systems
Object-Oriented Programming
programming
oop
Objective Function
computation
Observable
quantum-computing
Obsidian
philosophy
obtain (Lean)
Occam's Razor
philosophy
Occurs Check
type-theory
Odd Function
functional-analysis
Off-Policy Issue
reinforcement-learning
Offline Data
machine-learning
Offline Search
search
Offset Binary
numeric
On-Policy Action-Value Function
reinforcement-learning
On-Policy Value Function
reinforcement-learning
One-Hot Encoding
machine-learning
preprocessing
One-sided Limit
analysis
One-Time Password
security
One-Time Password Generator
security
One-Time-Pad
cryptography
Online Analytical Processing
data-warehouse
Online Data
machine-learning
Online Learning
learning-theory
Online Local Search
search
todo
Online Search
search
Ontology (Knowledge Representation)
knowledge-representation
Ontology (Philosophy)
philosophy
Open Authorisation 2.0
security
Open Ball
analysis
topology
Open Branch (First-Order Tableaux)
first-order-logic
tableaux
Open Branch (Propositional Tableaux)
logic
tableaux
Open Design (Security)
security
Open Eulerian Line
graph-theory
Open Interval
math
Open Multi-Processing
operating-systems
computer-architecture
Open Set
topology
Open Shortest Path First
network-protocols
Open Tableaux (First-Order Logic)
first-order-logic
tableaux
Open-Endedness
evolution
computation
OpenID Connect
security
Openness (Distributed System)
distributed-systems
OpenRouter
cooperates
OpenSSL
networks
Operating Support Subsystem
mobile-communication
Operating System
operating-systems
Operation and Maintenance Center
mobile-communication
Operational Semantics
logic
verification
programming-languages
Operator
algebra
Optimal Asymmetric Encryption Padding
cryptography
Optimal Greedy Algorithm
computation
Optimal Objective Function
computation
Optimal Policy
reinforcement-learning
Optimal Schedule
scheduling
computation
Optimal Solution
computation
optimisation
Optimisation Method
optimisation
calculus
machine-learning
Optimisation Problem
computation
optimisation
Optimistic Heuristic
search
or (RISC-V)
risc-v
Oracle Turing Machine
computation
Orderability (Utility Theory)
utility-theory
Ordered Pair
set-theory
Ordered Tuple
algebra
Ordinal Data
data-analysis
Ordinary Differential Equation
differential-equations
Ordinate
cartesian-coordinate-system
Organ
biology
Organisation-Validated Certificate
cryptography
ori (RISC-V)
risc-v
Orientation Predicate
computational-geometry
geometry
Origin (Web)
web
security
Origin of Life Early-career Network
organisations
Orphan Process
operating-systems
Orthogonal Complement
linear-algebra
Orthogonal Frequency-Division Multiple Access
mobile-communication
Orthogonal Frequency-Division Multiplex
mobile-communication
Orthogonal Matrix
linear-algebra
Orthogonal Projection
linear-algebra
Orthogonal System
linear-algebra
Orthogonal Vector
linear-algebra
Orthogonality
linear-algebra
Orthonormal Basis
linear-algebra
Orthonormal Measurement Basis
quantum-computing
Orthonormal System
linear-algebra
Orthonormality
linear-algebra
Oscillator
cellular-automata
game-of-life
OSI Model
networks
osi-model
Out-arborescence
graph-theory
Out-of-Order Pipelined Processor
computer-architecture
Outcome
probability-theory
Outer Join (Relational Algebra)
relational-algebra
Outer Product
linear-algebra
Output Artificial Neuron
neural-networks
Output Feedback Mode
cryptography
Output Layer
neural-networks
Overfitting
machine-learning
statistics
Overwatch
games
Oxymoron (Deutsch)
german
P equals NP
complexity-theory
P not equals NP
complexity-theory
P vs NP Problem
computation
P-MOS
electronics
transistors
mosfet
P-Value
statistics
PAC Learning
machine-learning
statistics
learning-theory
Package Diagram (UML)
uml
todo
Packet
networks
Packet Delay
networking
Packet Switching
networking
Padding Algorithm
cryptography
Page
operating-systems
memory
Page Fault
operating-systems
Page Fault Frequency
operating-systems
Page Replacement Policy
operating-systems
Page Table
operating-systems
Paging
operating-systems
Pain
biology
Pain Receptor
medicine
Pair
algebra
Pairing Function
set-theory
Pairwise Support Function (COMSOC)
comsoc
Paleolithic
history
Palindrome
languages
Pancomputationalism
philosophy
Pandas
python
data-analysis
Panspermia
evolution
Paradoxical Combinator
lambda-calculus
combinators
Paradoxon (Deutsch)
german
Parallel Programming
programming
Parallelism (Computer Architecture)
computer-architecture
Parallelogram
geometry
Parameterised Policy
reinforcement-learning
Parameterised Stochastic Policy
reinforcement-learning
Parametric Polymorphism
type-theory
Parenthese (Deutsch)
german
Pareto Principle
productivity
Pars pro Toto (Deutsch)
german
Parse Tree
trees
computation
compilers
Parser Combinator
compilers
todo
Parser Composition
security
web
Parseval's Identity
functional-analysis
Partial Computable Function
computation
Partial Derivative
analysis
Partial Fraction Decomposition
algebra
analysis
Partial Function
math
Partial Indicator Function
Partial Order
algebra
set-theory
Partial Relationship
databases
Partial Sum
analysis
Partially Correct Key (Cryptography)
cryptography
Partially Correct Program
program-proofing
Partially Differentiable Function
vector-calculus
Partially Observable Environment
artificial-intelligence
Partition (Sample Space)
probability-theory
Partition (Set)
set-theory
Partition Matroid
discrete-mathematics
combinatorics
Partition Problem
computation
Pascal's Identity (Binomial Coefficient)
combinatorics
Pascal's Wager
decision-theory
philosophy
religion
Pass-through Parameter
programming
Passive Attack
security
Passive Biometric Authentication
security
Passive Learning
machine-learning
Password
security
Password Rotation
security
Password Storage in Unix
security
operating-systems
Password-based Authentication
security
Password-based Key Derivation Function
cryptography
security
Password-Based Key Derivation Function 2
cryptography
security
Path
graph-theory
Path Coverage
software-engineering
testing
Path Traversal
web
security
Pathology
medicine
Pattern-defeating Quicksort
sorting-algorithms
Pauli Matrix
linear-algebra
Pauli-X Quantum Gate
quantum-computing
Peano Axioms
number-theory
Pearson Correlation Coefficient
probability-theory
Peer (Networking)
networking
Peer-to-Peer Communication
networking
Percentile
probability-theory
Perception
neuroscience
Perceptron
machine-learning
Perceptual Inference
artificial-intelligence
Perfect Matching
computation
Perfect Matching Lemma (Matroid Exchange Graph)
combinatorics
computation
Perfect Secrecy
cryptography
Peripheral Trigeminal Pathway
medicine
Permutation
discrete-math
Permutation Invariance
math
Permutation Space
computation
Permutation with Repetition
combinatorics
Permutation without Repetition
combinatorics
Perpendicular Vector
linear-algebra
Persistent HTTP Connection
networking
http
Personifikation (Deutsch)
german
Peterson's Algorithm
operating-systems
concurrency
Petri Net
automata-theory
distributed-systems
Phase (Cellular Automaton)
cellular-automata
Phenology
biology
Phenomenology
philosophy
Phenotype
biology
Philosophy
philosophy
Phishing
security
Phonology
languages
PHP
web
programming-languages
Phrase (Linguistics)
linguistics
Phrenology
history-of-science
Physical Layer (Layer 1)
networks
osi-model
todo
Physical Memory
operating-systems
Physical System
physics
Physicalism
philosophy
Pi Calculus
computation
Pi-Hole
software
Piece-wise Continuous Function
analysis
Piece-Wise Function
analysis
Pigeonhole Principle
combinatorics
discrete-math
pipe (C)
c
Pipeline
computer-architecture
Pipeline Stage
computer-architecture
Pipelined Functional Unit
computer-architecture
Pipelined Hazard
computer-architecture
Pipelined Processor
computer-architecture
Plaintext
cryptography
Planar Dominating Set Problem
computation
graph-theory
Planar Graph
graph-theory
Planar Independent Set Problem
computation
graph-theory
Planar Vertex Cover Problem
computation
graph-theory
Planarian
biology
Planck's Constant
units
Plane
geometry
topology
Plane Drawing
graph-theory
Planetoid
cosmology
Planning
artificial-intelligence
Platonic Representation Hypothesis
machine-learning
Platonic Space
philosophy
Platonism
philosophy
Pleonasmus (Deutsch)
german
Plurality (COMSOC)
comsoc
Plurality with Runoff (COMSOC)
comsoc
Poincaré Conjecture
mathematics
Point-to-Point Protocol
network-protocols
Poisson Distribution
probability-theory
Polar Satellite
satellites
Polarity (Propositional Logic)
logic
Policy
reinforcement-learning
Policy Gradient
reinforcement-learning
Policy Gradient Method
Policy Gradient Theorem
reinforcement-learning
Politics
philosophy
Poly Notation
complexity-theory
Polyalphabetic Cipher
cryptography
Polygon
geometry
Polyhedral Compilation
compilers
Polymorphic Type System
type-theory
Polymorphism
type-theory
Polynomial
algebra
Polynomial Balanced Binary Relation
complexity-theory
Polynomial Complexity Class
complexity-theory
Polynomial Decidable Binary Relation
complexity-theory
Polynomial Decision Problem
Polynomial Degree
algebra
Polynomial Function
algebra
analysis
Polynomial Kernel Function
machine-learning
statistics
nlp
Polynomial Regression
machine-learning
regression
statistics
Polynomial Ring
algebra
Polynomial Running Time
computation
complexity-theory
Polynomial Space Complexity
complexity-theory
Polynomial Time Complexity
complexity-theory
Polynomial Time Reduction
complexity-theory
Polynomial-time Algorithm
computation
Polynomial-time Approximation Algorithm
computation
approximation
Polynomial-time Approximation Scheme
computation
Polynomial-time Computable Function
computation
Polynomially Related Encoding
complexity-theory
Poor Man's Logic
logic
Population
statistics
Port
networks
Port Aggregation Protocol
network-redundancy
Portable Document Format
Position-Independent Executable
security
memory
Positional Encoding
machine-learning
Positive Definite Symmetric Matrix
linear-algebra
Positive Definiteness
linear-algebra
Positive Divisor
number-theory
Positive Geometry
particle-physics
cosmology
Positive Integer
number-theory
Positive Literal
logic
Positive Literal (Propositional Logic)
propositional-logic
Positive Monotonic Replacement (Propositional Logic)
propositional-logic
Positive Natural Number
Positive Operator-Valued Measure
quantum-computing
quantum-mechanics
Positive Problem Instance
computation
Positive Semidefinite Function
analysis
Positive Semidefinite Operator
linear-algebra
quantum-mechanics
Positive Semidefinite Symmetric Matrix
linear-algebra
POSIX
linux
POSIX Extended Regular Expression
posix
regular-expressions
Possession-based Authentication
security
Possible Outcome
probability-theory
POST (HTTP)
web
Post-structuralism
philosophy
Postcondition
programming
Posterior Predictive Distribution
machine-learning
statistics
Postfix Notation
languages
postMessage
web
security
Potential Energy
physics
Potential Infinity
philosophy
Potentially Unwanted App
web
security
mobile
Power Function
math
Power Law
math
Power Series
analysis
Power Set
set-theory
Pprof
software-engineering
PQ Formula
linear-algebra
todo
Pre-Certificate
cryptography
Precedence Constraint (Scheduling)
computation
scheduling
Precision
machine-learning
classification
statistics
Precondition
program
Predecessor Function (Primitive Recursion)
primitive-recursion
Predicate
first-order-logic
Predicate (First-Order Logic)
first-order-logic
Predicate Symbol (First-Order Logic)
first-order-logic
Predicate Symbol (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Predicted Branch
computer-architecture
Prediction
intelligence
Preemption (Interval Scheduling)
computation
scheduling
Preference (COMSOC)
comsoc
Preference (Utility Theory)
utility-theory
Preference Profile (COMSOC)
comsoc
Preference Ranking (COMSOC)
comsoc
Prefix
strings
languages
Prefix Adder
logic-circuits
Prefix Function
strings
computation
Prefix Notation
languages
Prefrontal Cortex
brain
Premise–Conclusion Notation
logical-notation
Prenex Normal Form (First-Order Logic)
first-order-logic
PrepaidHost
hosters
Prepared Statement
web
security
databases
Presentation Layer (Layer 6)
networks
osi-model
todo
Prim's Algorithm
computation
graph-theory
algorithms
Primal Heuristic
search
heuristics
Primary Headache Disorder
medicine
Primary Key
databases
Primary Process Table
operating-systems
Prime Attribute (Relational Algebra)
relational-algebra
Prime Factorisation
number-theory
Prime Number
number-theory
Primitive Recursion
primitive-recursion
Primitive Root
number-theory
Primitive-Recursive Function
primitive-recursion
Principal Component Analysis
machine-learning
linear-algebra
statistics
dimensionality-reduction
Principal Type
type-theory
Principia Mathematica
Principle of Causality
philosophy
Principle of Explosion
logic
Principle of Maximum Expected Utility
utility-theory
Principles of Software Testing
software-engineering
testing
Priority Inversion
operating-systems
concurrency
Priority Queue
data-structures
algorithms
Private Key
cryptography
Private Knowledge
neuroscience
Privilege Mode (RISC-V)
risc-v
Privilege Ring
operating-systems
computer-architecture
Privileged Instruction (RISC-V)
risc-v
Probability
probability-theory
Probability Amplitude
quantum-computing
Probability Density Function
math
probability
statistics
Probability Distribution
probability-theory
measure-theory
Probability Mass
probability-theory
Probability Mass Function
probability-theory
Probability Measure
probability-theory
measure-theory
Probability of a Complementary Event
probability-theory
Probability of a Disjoint Union
probability-theory
Probability of a Union
probability-theory
Probability of an Empty Event
probability-theory
Probability Space
probability-theory
Probability Theory
probability-theory
Probably Approximately Correct Learning
learning-theory
PAC-learning
Problem
computation
Procedural Programming
programming
Procedure
computation
Procedure Linkage Table
compilers
file-formats
Process
operating-systems
Process Control Block
operating-systems
Process Creation
operating-systems
Process Hierarchy
operating-systems
Process Image
operating-systems
Process State Model
operating-systems
Process Switch
operating-systems
Process Table
operating-systems
Process Termination
operating-systems
Process-Based Kernel
operating-systems
Processing Time (Interval Scheduling)
scheduling
Processor
operating-systems
hardware
computer-architecture
Processor Core
computer-architecture
Processor Time
operating-systems
computation
Procrastination
psychology
Producer-Consumer Problem
operating-systems
concurrency
Product Cipher
cryptography
Product Rule (Analysis)
analysis
Product Rule (Combinatorics)
combinatorics
Production Rule
languages
Profit (Knapsack Problem)
computation
knapsack-problem
Program
computation
Program Configuration
program-proofing
Program Counter
operating-systems
Program Proofing
program-proofing
Program Run
program-proofing
Program Semantics
program-proofing
Program State
program-proofing
Program Status Word
operating-systems
hardware
Program Transition
program-proofing
Progress (Concurrency)
operating-systems
concurrency
Project Para
machine-learning
Projection (Relational Algebra)
relational-algebra
Projection Function (Primitive Recursion)
primitive-recursion
Projective Measurement
quantum-computing
Prolog
logic
programming-language
Prometheanism
philosophy
Prometheus (Greek Mythology)
greek-mythology
Prompt Engineering
machine-learning
Proof
proof-theory
Proof (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Proof by Contradiction
proof-theory
Proof by Induction
proof-theory
Proof Theory
proof-theory
Propagation Delay
networking
Proper Learning Algorithm
learning-theory
Proper Prefix (String)
strings
Proper Subformula (First-Order Logic)
first-order-logic
Proper Subformula (Propositional Logic)
propositional-logic
Proper Subset
set-theory
Property-based Testing
software-engineering
testing
Proportional Approval Voting Rule (COMSOC)
comsoc
Proportional Winner Determination Decision Problem
comsoc
complexity-theory
Proportional Winner Determination Search Problem
comsoc
complexity-theory
Proposition
logic
Propositional Logic
logic
propositional-logic
Protagoras
philosophy
Protection Domain
security
Protein
biology
Protein Phosphorylation
neuroscience
Protocol Attack
cryptography
Protocol Data Unit
networking
Protocol Stack
networking
Provable Argument
logic
Proximal Policy Optimisation
reinforcement-learning
Pseudo-Polynomial Time Algorithm
Pseudo-Polynomial Time Complexity
complexity-theory
Pseudoinstruction (RISC-V)
risc-v
Pseudorandom Function
cryptography
PSPACE Complexity Class
complexity-theory
Psychiatry
psychiatry
clinical-medicine
Psychoanalysis
psychology
clinical-psychology
Psychology
psychology
Psychoneural Identity Theory
philosophy
Public Key
cryptography
Public Key Certificate
cryptography
Public Key Infrastructure
cryptography
Public Switched Telephone Network
networks
Public-Key Cryptography Standards Number 7
cryptography
Pulsar
game-of-life
Pumping Lemma
languages
Pumping Lemma (Context-free Languages)
languages
Pumping Lemma (Regular Languages)
languages
Pure Atom (Propositional Logic)
propositional-logic
Pure Atom Property
propositional-logic
Pure Literal (Propositional Logic)
propositional-logic
Pure Quantum State
quantum-computing
Pure Set
set-theory
Pushdown Automaton
computation
Pythagorean Theorem
trigonometry
Python
programming-languages
PyTorch
python
Q-Function
reinforcement-learning
Q-Learning
reinforcement-learning
Quad-Precision Floating-Point Extension (RISC-V)
risc-v
Quadratic Decision Boundary
machine-learning
classification
Quadratic Discriminant Analysis
machine-learning
discriminant-analysis
Quadratic Formula
linear-algebra
Quadratic Function
linear-algebra
Quadratic Loss
machine-learning
optimisation
Quadratic Term
algebra
Quadrature Amplitude Modulation
signals
Qualia
philosophy
Qualification Problem
reasoning
Quality of Service
distributed-systems
Quantifier
first-order-logic
Quantile
probability-theory
Quantile Function
probability-theory
Quantum Algorithm
quantum-computing
algorithms
Quantum Circuit
quantum-computing
Quantum Computer
quantum-computing
Quantum Computing
quantum-computing
Quantum Gate
quantum-computing
Quantum Mechanics
quantum-mechanics
Quantum Register
quantum-computing
Quantum State
quantum-computing
Quantum Turing Machine
computing
quantum-computing
Quantum-Mechanical System
quantum-mechanics
quantum-computing
Quartile
statistics
Quasipolynomial Running Time
computation
complexity-theory
Quasipolynomial-Time Algorithm
computational-complexity
Qubit
quantum-computing
Queen (Chess)
games
chess
Queue
data-structures
Queueing Delay
networking
QUIC
networking
Quicksort
sorting-algorithms
Quiescence Search
computation
Quine
computation
Quotient Criterion
analysis
Quotient Ring
algebra
Quotient Rule (Analysis)
analysis
R
programming-languages
statistics
R-Type Instruction (RISC-V)
risc-v
ra (RISC-V)
risc-v
Race Condition
concurrency
Rademacher Complexity
machine-learning
learning-theory
statistics
Rainbow Table
security
cryptography
Ramamohan Paturi
Ramification Problem
reasoning
Random Experiment
probability-theory
Random Number Generation
entropy
Random Projection
machine-learning
dimensionality-reduction
probability
Random Sample
statistics
probability-theory
Random Variable
probability-theory
Random Variable Realisation
probability-theory
Random-Access Memory
computer-architecture
memory
Randomised Algorithm
computation
probability-theory
Randomised Constant-Factor Approximation Algorithm
Randomness
probability-theory
Range (Relation)
set-theory
Rank (Matrix)
linear-algebra
Rank (Matroid)
matroids
computation
Rank Function (Matroid)
discrete-mathematics
combinatorics
linear-algebra
Rapid Serial Visual Presentation
neuroscience
Rational Agent
artificial-intelligence
Rational Function
analysis
Rational Number
number-theory
algebra
Raw Moment
probability-theory
Rayleigh-Jeans Law
physics
thermodynamics
Reachable Code Problem
computation
read (C)
c
Read-after-Write Dependency
computer-architecture
Read-only Memory
computer-architecture
memory
Reader-Writer Problem
operating-systems
concurrency
Reafference
neuroscience
Real Arithmetic
Real Inner Product Space
linear-algebra
Real Number
number-theory
Real User ID (Unix)
operating-systems
security
Real Vector Space
linear-algebra
Real-Time Scheduling
operating-systems
scheduling
Real-Valued Function
analysis
Realisability Assumption
machine-learning
learning-theory
Realisable PAC-Learnable Hypothesis Class
requires-cleanup
machine-learning
learning-theory
Realised Outcome
probability-theory
Reaper
security
history
Reasoning
neuroscience
cognition
Receiver Operator Characteristic
machine-learning
todo
Reciprocal Knowledge
neuroscience
Recommender Agent
recommendation
Recoverable Schedule (ACID)
acid
Rectified Linear Unit
machine-learning
deep-learning
analysis
Recurrent Neural Network
machine-learning
Recursion
computer-science
Recursive Data Structure
data-structures
Recursive DNS Resolution
networking
dns
Recursive Language
languages
Recursive Sequence
analysis
Recursive Trace Logic
cognition
Recursively Enumerable Language
automata-theory
languages
recv (C)
c
Red-Black Tree
trees
Redex (Lambda Calculus)
lambda-calculus
Reduced Context-Free Grammar
languages
Reduced Instruction Set Computing
computer-architecture
Reduction
computation
Reductionism
philosophy
Reductive Physicalism
philosophy
Redundant Array of Independent Disks
operating-systems
io
hardware
Reentry
neuroscience
Reference Monitor
security
Reflected XSS
web
security
Reflection Attack
cryptography
Reflexive Binary Relation
algebra
Refutation (First-Order Resolution)
first-order-logic
resolution
Refutation (Propositional Resolution)
propositional-logic
resolution
Register
operating-systems
Register (RISC-V)
risc-v
Register File
computer-architecture
Register Machine
computation
Register Machine Program
computation
Register Renaming
computer-architecture
Registration Authority
cryptography
Regression
machine-learning
supervised-learning
Regression Testing
software-engineering
todo
Regular Expression Syntax
regular-expressions
Regular Grammar
languages
Regular Graph
graph-theory
Regular Language
languages
Regular Production Rule
languages
Regularisation
machine-learning
optimisation
Reinforcement Learning
machine-learning
Reinforcement Learning Algorithm
computation
learning-theory
reinforcement-learning
Reinforcing Voting Rule (COMSOC)
comsoc
Rejection Region
statistics
Relation
set-theory
Relation (Constraint Satisfaction)
constraint-satisfaction
Relation (Relational Algebra)
relational-algebra
Relational Algebra
relational-algebra
Relative Error
errors
Relative Extremum
analysis
Relativsatz (Deutsch)
german
Relaxed Memory Model
computer-architecture
memory-models
Release Time (Interval Scheduling)
scheduling
Release-Acquire Memory Model
computer-architecture
memory-models
Relevance Realisation
neuroscience
Relocation Transparency (Distributed System)
distributed-systems
Rename (Relational Algebra)
relational-algebra
Rename Stage
computer-architecture
Repetitio (Deutsch)
german
Replay Attack
cryptography
Replication (Distributed System)
distributed-systems
Replication Transparency (Distributed System)
distributed-systems
Representation (COMSOC)
comsoc
Representation Learning
machine-learning
unsupervised-learning
Requirement
software-engineering
Resident Set Management
operating-systems
Residual
machine-learning
statistics
Residual Block
machine-learning
Residual Connection
machine-learning
Residue
biology
Residue Class
algebra
Resolute Social Choice Correspondence (COMSOC)
comsoc
Resolution (First-Order Logic)
first-order-logic
Resolution Algorithm (Propositional Resolution)
propositional-logic
Resolution Calculus (Propositional Logic)
propositional-logic
Resolution Inference Rule (Propositional Resolution)
propositional-logic
Resource (Distributed System)
distributed-systems
Resource Types (OS)
operating-systems
concurrency
Restic
linux
Restriction (Decision Problem)
complexity-theory
ret (RISC-V)
risc-v
Retrieval-Augmented Generation
information-retrieval
Return
reinforcement-learning
Return-Oriented Programming
security
memory
Return-to-libc
security
memory
Return-to-PLT
security
memory
Reverse Krebs Cycle
biology
biochemistry
metabolism
Reverse Proxy
software-engineering
Revocation (Security)
security
Reward
reinforcement-learning
Rhetorische Frage (Deutsch)
german
Rhetorische Stilmittel (Deutsch)
Rice's Theorem
computation
languages
Riemann Hypothesis
mathematics
Riemann Sum
analysis
Riemann Zeta Function
analysis
Riemann's Integratability Criterion
analysis
todo
Riemann's Rearrangement Theorem
analysis
Riesz Representation Theorem
linear-algebra
Right Outer Join (Relational Algebra)
relational-algebra
Right Reduction (Relational Algebra)
relational-algebra
Right Semi Join (Relational Algebra)
relational-algebra
Right Sequent
sequent-calculus
Right-Associativity
algebra
Right-Continuous Function
analysis
Right-sided Limit
analysis
Right-Total Relation
set-theory
Rigorous Two-Phase Locking (ACID)
acid
Rijndael Algorithm
cryptography
Rimegepant
medicine
Ring
algebra
Ring List
data-structures
Ring Unit
algebra
Ring with 1
algebra
Ripple-Carry Adder
combinatorial-logic
RISC-V
computer-architecture
risc-v
RISC-V A-Extension
computer-architecture
risc-v
RISC-V Integer Register
risc-v
Risk
machine-learning
Rivest Cipher 4
cryptography
Rivest-Shamir-Adleman Algorithm
cryptography
RNA Transfer
neuroscience
Roaming
mobile-communication
Role (Security)
security
Role-based Access Control
security
Rolle's Theorem
analysis
Root
math
Root Certificate
cryptography
Root Criterion
analysis
Root Mean Squared Error
machine-learning
statistics
regression
Root of a Polynomial
algebra
Root of Unity
algebra
Root Point
analysis
Root Tree Node
trees
Rooted Tree
trees
Rosenblatt Perceptron
neuroscience
computation
Rotary Positional Embedding
transformers
Rotation
geometry
Rotation Matrix
linear-algebra
Rouché–Capelli Theorem
linear-algebra
Round Robin (OS)
operating-systems
scheduling
Router
networks
Routing Protocol
networks
Routing Table
networks
Row Vector
linear-algebra
Row-Vector Matrix Product
linear-algebra
Rule of Sarrus
linear-algebra
Rulestring
cellular-automata
game-of-life
Ruliad
computation
philosophy
Running Time
computation
complexity-theory
Runtime
complexity-theory
Russell Impagliazzo
Russell's Antimony
set-theory
Rust
programming-languages
rw (Lean)
S-Type Instruction (RISC-V)
risc-v
s0 (RISC-V)
risc-v
s1 (RISC-V)
risc-v
s2-s11 (RISC-V)
risc-v
Safe Alternative (COMSOC)
comsoc
SakanaAI
labs
Salt (Security)
security
Salt and Pepper
security
cryptography
Same Output Problem
computation
Same-Origin Policy
web
security
Same-Site Attacker Model
web
security
SameSite Cookie
web
security
Sample Complexity
machine-learning
learning-theory
Sample Mean
probability-theory
Sample Space
probability-theory
Sampling Distribution
statistics
Sampling Oracle (PAC-learning)
PAC-learning
Sampling Variability
statistics
Sapir-Whorf Hypothesis
linguistics
languages
SAT to Independent Set (Karp Reduction)
complexity-theory
graph-theory
reductions
Satellite
satellites
Satisfaction (First-Order Logic)
first-order-logic
Satisfaction Approval Voting Rule (COMSOC)
comsoc
Satisfiability as Non-Equivalence to Falsum (Propositional Logic)
propositional-logic
Satisfiability Modulo Theory
first-order-logic
satisfiability-modulo-theory
Satisfiability Problem
computation
Satisfiable Clause (Propositional Logic)
propositional-logic
Satisfiable Formula
logic
Satisfiable Formula (First-Order Logic)
first-order-logic
Satisfiable Formula (Propositional Logic)
propositional-logic
Satisfiable Formula (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Satisfiable Formula Set (Propositional Logic)
propositional-logic
Satisfiable Sentence (First-Order Logic)
first-order-logic
Satisfied Clause (Propositional Logic)
propositional-logic
Saved User ID (Unix)
operating-systems
security
Scala
programming-languages
Scalability (Distributed System)
distributed-systems
Scalable Vector Graphics (SVG)
graphics
Scalar
linear-algebra
Scalar Field
linear-algebra
Scalar Multiplication (Vector)
linear-algebra
Scalar-Matrix Multiplication
linear-algebra
Scale-Free Cognition
intelligence
Scale-Invariant Feature Transform
machine
Scaled Dot-Product Attention
machine-learning
transformers
attention
Scam
security
Scatterplot
plots
scause (RISC-V)
risc-v
Schedule (ACID)
acid
Schedule (Interval Scheduling)
computation
scheduling
Scheduling (OS)
operating-systems
scheduling
Scheduling Criteria
operating-systems
scheduling
Scheduling Levels
operating-systems
scheduling
Scheduling Metrics
operating-systems
scheduling
Scheduling Notation
scheduling
computation
Scheduling Problem
computation
scheduling
Scheduling Zoo
scheduling
Schema (Relational Algebra)
relational-algebra
Schrödinger Equation
quantum-mechanics
quantum-computing
Schwarz's Theorem
vector-calculus
Scientific Paper
learning
Scope (Constraint Satisfaction)
constraint-satisfaction
Scrypt
cryptography
Scytale
cryptography
Search Engine
information-retrieval
Search Problem
computation
Search Space
search
Search Strategy
search
Seccomp
operating-systems
security
Second Law of Thermodynamics
physics
thermodynamics
entropy
Second Normal Form
relational-algebra
Second-order Optimisation Method
optimisation
calculus
machine-learning
Secondary Headache Disorder
medicine
Secure C Coding
security
c
Secure Channel
cryptography
Security
security
Security (OS)
operating-systems
security
Security Design Principles
operating-systems
security
Security Policy
security
Security Question
security
Security Through Obscurity
security
Segment (Networking)
networking
Segmentation
operating-systems
Segmented Least Squares Problem
computation
SELECT (SQL)
sql
Selection (Relational Algebra)
relational-algebra
Selection Sort
sorting-algorithms
Self Awareness
philosophy
Self-applicable Definability
logic
Self-Attention
machine-learning
transformers
attention
Self-Organising System
artificial-intelligence
Self-Replicating Program
computation
Self-Signed Certificate
cryptography
Self-Supervised Learning
machine-learning
unsupervised-learning
representation-learning
Self-Synchronising Stream Cipher
cryptography
Semantic Paradox
logic
Semantic Similarity
linguistics
information-retrieval
Semantic Tableau (First-order Logic)
first-order-logic
Semantic Tableau (Propositional Logic)
propositional-logic
Semantics
logic
Semaphore
operating-systems
concurrency
semaphore.h
c
Semi Join (Relational Algebra)
relational-algebra
Semi-Decidable Decision Problem
computation
Semi-decidable Predicate
Semi-decidable Set
Semi-Dynamic Environment
artificial-intelligence
Semi-Supervised Learning
machine-learning
Semiconductor
physics
Semigroup
algebra
Semilinearity
linear-algebra
Semiring
algebra
send (C)
c
Sensitivity
machine-learning
statistics
Sentence (First-Order Logic)
first-order-logic
Sentential Form
languages
Separable Quantum State
quantum-computing
Separation of Code and Data
web
security
Separation of Duty
security
access-control
sepc (RISC-V)
risc-v
Sequence
analysis
Sequence Diagram
uml
Sequence Number (TCP)
network-protocols
tcp
Sequencer and Eventcount
operating-systems
concurrency
Sequent Calculus
logic
sequent-calculus
Sequential Circuit
computer-architecture
Sequential Composition (Hoare Calculus)
hoare-calculus
Sequential Experience
artificial-intelligence
Sequentially Consistent Memory Model
memory
Serial Functional Unit
computer-architecture
Serial Schedule (ACID)
acid
Series
analysis
Series Circuit
electronics
Serotonin
medicine
Server (Distributed System)
distributed-systems
Server-Side Request Forgery
web
security
Server-Side Scripting
web
Service (Distributed System)
distributed-systems
Service Time Estimation
operating-systems
scheduling
Sesquilinearity
linear-algebra
Session (Web)
web
security
Session Fixation
web
security
Session Layer (Layer 5)
networks
osi-model
todo
Set
set-theory
Set Cover
set-theory
Set of all Events
probability-theory
Set of all Languages
languages
Set of all non-empty Strings
languages
Set of all Strings
languages
Set of Atoms
propositional-logic
Set of Clauses
propositional-logic
Set Theory
set-theory
Set-Associative Cache
computer-architecture
memory
setsockopt (C)
c
Seven Bridges of Königsberg
graph-theory
SHA-256
cryptography
SHA-512
cryptography
Shannon Entropy
information-theory
Shannon Expansion
boolean-algebra
Shannon–Hartley Theorem
signals
Shared Data-space Architecture (Distributed System)
distributed-systems
Shared Memory
operating-systems
inter-process-communication
concurrency
Shattering Hypothesis Class
machine-learning
learning-theory
set-theory
Shell
operating-systems
Shellcode
security
memory
Shift Register
logic-circuits
Shingeki no Kyojin
anime
Shor's Algorithm
quantum-computing
algorithms
Short Message Service
mobile-communication
Short-Term Memory
neuroscience
Shortest Independent Vector Problem
post-quantum-cryptography
Shortest Path First
graph-theory
Shortest Path Problem
computation
graph-theory
Shortest Process Next (OS)
operating-systems
scheduling
Shoulder Surfing
security
SI Unit
physics
Side Effects (Programming)
programming
Sigma Algebra
algebra
probability-theory
Sigmoid
analysis
machine-learning
Sign Extension (RISC-V)
risc-v
Signal
engineering
analysis
Signal (Electronics
electronics
Signal (OS)
operating-systems
Signal Edge
eletronics
Signal-to-Noise Ratio
signals
Signature (First-Order Logic)
first-order-logic
Signature (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Signature Scheme
cryptography
Signature Space
cryptography
Signed Certificate Timestamp
cryptography
Signed Formula
logic
Signum
algebra
Signum (Primitive Recursion)
primitive-recursion
Sillhouette Coefficient
machine-learning
simp (Lean)
lean
Simple Graph
graph-theory
SIMPLE Programming Language
computation
Simple Reflex Agent
artificial-intelligence
Simple Undirected Graph
graph-theory
Simplified Forward Assignment (Hoare Calculus)
hoare-calculus
Simulated Annealing
search
Simultaneous Multi-Threading
computer-architecture
Sine
trigonometry
Sine Wave
Single Linkage Distance
machine-learning
Single Sign-On
security
Single Transferable Vote (COMSOC)
comsoc
Single Unified Memory
memory
Single-Agent Environment
artificial-intelligence
Single-cycle Instruction
computer-architecture
Single-Cycle Processor
computer-architecture
Single-Cycle Processor (RISC-V)
computer-architecture
risc-v
todo
Single-exponential Time Algorithm
computation
complexity
Single-Input and Single-Output
networks
Single-Precision Floating-Point Extension (RISC-V)
risc-v
Single-Vertex Flip Maximum Cut Local Search Algorithm
graph-theory
local-search
approximation-algorithms
Singleton
set-theory
Singleton Axiom (First-Order Logic)
first-order-logic
set-theory
Singly Linked List
data-structures
Singular Matrix
linear-algebra
Sioyek
software
Site (Web)
web
security
Size Scalability (Distributed System)
distributed-systems
Slay the Spire
games
Sleep Hormone
neuroscience
biology
sll (RISC-V)
risc-v
slli (RISC-V)
risc-v
slt (RISC-V)
risc-v
Small Form-factor Pluggable
networks
Small-O Notation
complexity-theory
Small-Omega Notation
complexity-theory
Smart Memory Pointer
memory
Smooth Manifold
linear-algebra
Snowflake Schema
data-warehouse
Social Choice Correspondence (COMSOC)
comsoc
Social Choice Function (COMSOC)
comsoc
Social Choice Theory
sociology
Social Engineering
security
Social Welfare Function (COMSOC)
comsoc
Society
Society for Multidisciplinary and Fundamental Research
organisations
socket (C)
c
Softmax
machine-learning
Software Testing
software-engineering
Software Thread
operating-systems
Software-Optimised Encryption Algorithm
cryptography
Solid Brain
brains
Solipsism
philosophy
Solution
computation
Soma
neuroscience
Sort (Satisfiability Modulo Theory)
first-order-logic
satisfiability-modulo-theory
Sorting Algorithm
sorting-algorithms
Soul
philosophy
Sound Acceptance Test
algorithms
Sound Algorithm
algorithms
Sound Argument
logic
Sound Calculus
logic
proof-theory
Sound Rejection Test
algorithms
Soundex
phonetic-matching
Soup
cellular-automata
game-of-life
sp (RISC-V)
risc-v
Space (Linguistics)
linguistics
Space Complexity
complexity-theory
Space Ship
game-of-life
Span (Matroid)
Spanning Forest
graph-theory
Spanning Subgraph
graph-theory
Spanning Tree
graph-theory
Spanning Tree Heuristic
heuristics
Sparse Graph
graph-theorye
Sparse Vector
linear-algebra
Spatial Cache Locality
computer-architecture
memory
Spatial Memory Locality
computer-architecture
memory
Spatial Parallelism (Computer Architecture)
computer-architecture
Spatial Reasoning
neuroscience
cognition
Spatially Oriented Format for Acoustics
audio
Special Relativity
physics
Specification-based Testing
software-engineering
testing
Specificity
machine-learning
Spectral Clustering
machine-learning
clustering
graph-theory
Spectral Component
linear-algebra
functional-analysis
Spectral Representation
linear-algebra
functional-analysis
Spectrum of a Sentence (First-order Logic)
first-order-logic
Spectrum of Persuadability
intelligence
Speculative Moment (Hegelian Dialectics)
philosophy
Speeded Up Robust Features
machine-learning
Spinal Cord
medicine
Spinlock
operating-systems
concurrency
computer-architecture
Splitting (Propositional Logic)
propositional-logic
Splitting Algorithm (Propositional Logic)
propositional-logic
Splitting Tree (Propositional Logic)
propositional-logic
Splitting with Polarities (Propositional Logic)
propositional-logic
Spurious Correlation
statistics
SQL Injection
web
security
databases
Square Matrix
linear-algebra
Square-Integrable Complex-Valued Function
functional-analysis
Squeeze Theorem
analysis
SR Latch
logic-circuits
sra (RISC-V)
risc-v
srai (RISC-V)
risc-v
srl (RISC-V)
risc-v
srli (RISC-V)
risc-v
sscratch (RISC-V)
risc-v
Stable Matching Problem
computation
Stable Sorting Algorithm
sorting-algorithms
Stable Storage (ACID)
acid
Stably Infinite Theory (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Stack (Data Structure)
data-structures
Stack (OS)
operating-systems
Stack Canary
security
memory
Stack Corruption
security
memory
c
Stack Frame
computer-architecture
operating-systems
Stack Pivot
security
memory
Stack Pointer
operating-systems
StackOverflow
cooperates
Standard Backward Assignment (Hoare Calculus)
hoare-calculus
Standard Description
computation
Standard Deviation
statistics
Standard Gaussian Distribution
probability-theory
Standardisation
data-analysis
Star (Graph)
graph-theory
Star Schema
data-warehouse
Star Sum Problem
computation
graph-theory
Start State
automata-theory
Start Symbol
languages
Start Time (Interval Scheduling)
scheduling
Starvation
operating-systems
concurrency
State (Automata Theory)
automata-theory
State (Distributed System)
distributed-systems
State (Turing Machine)
computation
turing-machines
State of Mind
computation
State Space (Artificial Intelligence)
artificial-intelligence
State Space (Quantum Computing)
quantum-computing
State-Dependent Action Space
reinforcement-learning
Statement (Logic)
logic
Statement Coverage
software-engineering
testing
Static Binary Analysis
security
Static Binding
type-theory
Static Branch Prediction
branch-prediction
Static Environment
artificial-intelligence
Static In-order Scheduling
computer-architecture
Static In-order Scheduling with Load-Store Optimization
computer-architecture
Static In-order Scheduling with Pipelined Functional Units
computer-architecture
Static Random-Access Memory
computer-architecture
memory
Static Type System
type-theory
Static Typing
type-theory
Statistic
statistics
Statistical Inference
statistics
Statistical Multiplexing
networks
Statistical Separability
machine-learning
cognition
Statistics
statistics
stdbool.h
c
programming
c99
stdio.h
c
stdlib.h
c
Stem Function
analysis
Stemming
natural-language-processing
information-retrieval
Step Function
math
Still Life
cellular-automata
game-of-life
Stimulus
cognition
Stirling's Approximation
analysis
Stochastic
statistics
Stochastic Agent Function
artificial-intelligence
Stochastic Gradient Descent
artificial-life
Stochastic Policy
reinforcement-learning
Stoicism
philosophy
Stop Word
information-retrieval
Store Buffer
computer-architecture
Store Instruction
computer-architecture
Store Unit
computer-architecture
Stored XSS
web
security
Straight Line
linear-algebra
Strategic Voting (COMSOC)
comsoc
Straussianism
philosophy
strdup (C)
c
Stream Cipher
cryptography
Strict Deadline (Interval Scheduling)
computation
scheduling
Strict Majority (COMSOC)
comsoc
Strict Preference Ranking (COMSOC)
comsoc
Strict Two-Phase Locking (ACID)
acid
Strictly Convex Function
Strictly Decreasing Monotone Function
analysis
Strictly Increasing Monotone Function
analysis
String
languages
strings
String Concatenation
languages
String Homomorphism
languages
String Matching Problem
strings
computation
string.h
c
Strip Chart
plots
Stromquist Moving-knives Procedure
Strong Artificial Intelligence
artificial-intelligence
Strong Collision Resistance
cryptography
Strong Exponential Time Hypothesis
computation
complexity
Strong Induction
Strong Justified Representation (COMSOC)
comsoc
Strong NP-Hard Decision Problem
complexity-theory
np-hardness
Strong NP-Hardness Rules Out FPTAS
optimisation
Strong Typing
type-theory
Strongest Postcondition
program-proofing
Strongly Connected Component (Graph)
graph-theory
Structural Abstract Datatype
programming
Structural Abstraction (Programming)
programming
Structural Hazard
computer-architecture
Structural Operational Semantics
logic
Structural Testing
testing
Structuralism
philosophy
Structure
mathematics
Structure (First-Order Logic)
first-order-logic
Structure (Lean)
lean
Structured Programming
programming
Structured Query Language
databases
Stuck Program Configuration
program-proofing
Student-t Test
statistics
evaluation
Student's t-Distribution
probability-theory
stvec (RISC-V)
risc-v
sub (RISC-V)
risc-v
Sub-Collection
set-theory
Sub-exponential Algorithm
computation
complexity
Sub-symbolic Artificial Intelligence
artificial-intelligence
Subdifferential
analysis
optimisation
convex-analysis
Subexponential Running Time
Subformula
logic
Subformula (First-Order Logic)
first-order-logic
Subformula (Propositional Logic)
propositional-logic
Subgradient
analysis
optimisation
convex-analysis
Subgraph
graph-theory
Subgroup
algebra
Subitising
neuroscience
cognition
Subject (Security)
security
Sublinear Running Time
Subscriber Identity Module
mobile-communication
Subsequence
analysis
Subsequence (String)
strings
Subset
set-theory
Subset Sum Instance
Subset Sum Problem
complexity-theory
Subset Sum to Integer Linear Programming (Karp Reduction)
complexity-theory
reductions
Substanz (Hegel)
hegel
Substitutability (Utility Theory)
utility-theory
Substitution Cipher
cryptography
Substring
languages
strings
Subtracter
logic-circuits
Subtraction (Vector)
linear-algebra
Subtree
trees
Subtype Polymorphism
type-theory
Subtype Relation
type-theory
Subvocalisation
neuroscience
cognition
Successor Function
lambda-calculus
Successor Function (Primitive Recursion)
primitive-recursion
Suffix
languages
Suffix Array
data-structures
string-algorithms
Suffix Tree
data-structures
strings
suffix-trees
Sum Rule (Analysis)
analysis
Sumatriptan
medicine
Summa Summarum
latin
Sun
cosmology
Sun Microsystems
cooperates
Super Key (Relational Algebra)
databases
Superdeterminism
philosophy
Superpolynomial Running Time
Superposition (Linear Algebra
linear-algebra
Superposition (Quantum Computing)
quantum-mechanics
quantum-computing
Superscalar Pipelined Processor
computer-architecture
Supervised Learning
machine-learning
supervised-learning
Supervised Learning Algorithm
computation
learning-theory
supervised-learning
Supervisor Mode (RISC-V)
risc-v
Support Vector Machine
machine-learning
classification
regression
optimisation
Supremum
analysis
set-theory
Surjective Function
Surjective Relation
algebra
Surjective Voting Rule (COMSOC)
comsoc
Surrogate Key
databases
Suspended Process
operating-systems
sw (RISC-V)
risc-v
Swapping
operating-systems
Switch
networks
Switching Theory
digital-logic
computation
Syllogism
logic
Sylvester's Criterion
linear-algebra
Symbiogenesis
evolution
Symbol
coding-theory
Symbol (Turing Machine)
computation
turing-machines
Symbolic Artificial Intelligence
artificial-intelligence
Symbolic Computation
computation
logic
Symbolic Logic
logic
Symbolic Reasoning
reasoning
Symmetric Cryptography
cryptography
Symmetric Difference
set-theory
Symmetric Encryption Algorithm
cryptography
Symmetric Encryption Scheme
cryptography
Symmetric Function
algebra
Symmetric Group
algebra
combinators
Symmetric Key
cryptography
Symmetric Matrix
linear-algebra
Symmetric Travelling Salesman Problem
computation
Symmetry
algebra
Symmetry (Binomial Coefficient)
combinatorics
Synapse
neuroscience
Synapses Dogma
neuroscience
Synaptic Plasticity
neuroscience
Synästhesie (Deutsch)
german
Synchronizer Token Pattern
web
security
Synchronous Processor (Computer Architecture)
computer-architecture
Synchronous Stream Cipher
cryptography
Synonym
lexical-semantics
Syntactic Paradox
logic
Syntax
languages
Syntax (First-Order Logic)
first-order-logic
Synthesis (Dialectics)
sys-socket.h
c
sys-types.h
c
System
cybernetics
System Availability
security
System Bus
computer-architecture
System Call
operating-systems
System Integrity
security
t-distributed Stochastic Neighbour Embedding
machine-learning
unsupervised-learning
visualisation
t0-t6 (RISC-V)
risc-v
Tableaux (First-Order Logic)
first-order-logic
Tableaux (Propositional Logic)
logic
propositional-logic
Tabu Search
heuristics
Tactic (Lean)
lean
Taint-Style Vulnerability
security
TAN List
security
Tangent Space
linear-logic
Tape (Turing Machine)
computation
Tarski Semantics (First-Order Logic)
first-order-logic
Tautologie (Deutsch)
german
Tautology
logic
Tautology (First-Order Logic)
first-order-logic
Tautology (Propositional Logic)
propositional-logic
Taylor Polynomial
analysis
Taylor Series
analysis
Taylor's Formula
analysis
Taylor's Theorem
analysis
TCP-IP
networks
Technical University of Munich
universities
Technical University of Vienna
universities
Telecommunications Service Provider
mobile-communication
Teleology
philosophy
Telescoping Product
analysis
Telescoping Sum
analysis
Template
Temporal Locality Compulsory Cache Miss
computer-architecture
memory
Temporal Memory Locality
computer-architecture
memory
Temporal Parallelism (Computer Architecture)
computer-architecture
Temporal-Difference Error
reinforcement-learning
Temporal-Difference Learning
reinforcement-learning
TENEX
operating-systems
history
Tensor
linear-algebra
Tensor Contraction
Tensor Factor
linear-algebra
quantum-computing
Tensor Product
linear-algebra
Term (First-Order Logic)
first-order-logic
Term (Information Retrieval)
information-retrieval
Term Frequency
information-retrieval
Term Language
logic
Terminal Symbol
languages
tertium non datur
logic
Test Dataset
machine-learning
Test Double
software-engineering
testing
Test Time
machine-learning
Test-and-Set
operating-systems
hardware
concurrency
Test-Driven Development
software-engineering
testing
Test-Time Computation
artificial-life
Testability
software-engineering
testing
Testing Level
software-engineering
testing
Testing Pyramid
software-engineering
testing
TeX
tex
TeX-Live
tex
Text Data
data-analysis
Thalamus
medicine
Theorem
logic
proof-theory
Theoretical Computer Science
computer-science
Theory (First-Order Logic)
first-order-logic
Theory (Propositional Logic)
propositional-logic
Theory (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Theory Entailment (First-Order Logic)
first-order-logic
Theory Interpretation (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Theory of Arrays (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Theory of Equality with Uninterpreted Functions (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Theory of Linear Integer Arithmetic (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Theory of Mind
philosophy
cognition
Theory-satisfiable Formula (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Theory-valid Formula (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Thermal Energy
physics
Thermal Equilibrium
thermodynamics
Thermodynamic Entropy
thermodynamics
Thermodynamical System
thermodynamics
Thermodynamics
thermodynamics
Thesaurus (Information Retrieval)
information-retrieval
Thesis
Thesis (Dialectics)
Theta Join (Relational Algebra)
relational-algebra
Third Law of Thermodynamics
physics
thermodynamics
Third Normal Form
relational-algebra
Thrashing
operating-systems
Thread-Level Parallelism
computer-architecture
Threat
security
Threat Actor
security
Throughput (Networking)
networking
Tic-Tac-Toe
games
Time Complexity
complexity-theory
Time-Division Duplex
communication
Time-Division Multiple Access
mobile-communication
Timsort
sorting-algorithms
tinygrad
machine-learning
Tissue
biology
TLS Certificate
cryptography
TOCTOU
security
operating-systems
Token
Token (Computer Architecture)
computer-architecture
Tokenisation
Tokeniser
Top-N Recommendation Learning Problem
recommendation
Top-N Recommendation Search Problem
Topological Closure
topology
Topological Dual Space
linear-algebra
Topological Sorting
graph-theory
Topological Space
topology
Topology
topology
Torus
topology
Total Completion Time (Interval Scheduling)
computation
scheduling
Total Computable Function
computation
Total Function
math
Total Order
algebra
set-theory
Total Pairwise Kendall-Tau Distance (COMSOC)
comsoc
Total Relation
set-theory
Totally Blind SQL Injection
web
security
databases
Totally Correct Program
program-proofing
Totally Differentiable Function
vector-calculus
Totally Recursive Function
computation
tp (RISC-V)
risc-v
Trace Logic
cognition
Traceability (Security)
security
Tractable Problem
computation
Traefik
software-engineering
Training Dataset
machine-learning
Trajectory (Reinforcement Learning)
reinforcement-learning
Transaction (ACID)
acid
Transducer
automata-theory
Transduction
Transductive Reasoning
reasoning
Transfer Learning
machine-learning
Transformer
machine-learning
deep-learning
nlp
Transformer Explainer
software
Transistor
Transition Function (Automata Theory)
automata-theory
Transition Relation (Deterministic Turing Machine)
computation
turing-machines
Transition Relation (Nondeterministic Turing Machine)
computation
turing-machines
Transition Relation (Turing Machine)
computation
turing-machines
Transitive Binary Relation
algebra
Transitivity (Border, String)
strings
Transitivity (Utility Theory)
utility-theory
Translation Lookaside Buffer
operating-systems
hardware
Transmission Control Block
network-protocols
Transmission Control Protocol
network-protocols
Transmission Delay
networking
Transparency (Distributed System)
distributed-systems
Transpoder
communication
Transport Layer
networks
osi-model
Transport Layer Security
cryptography
Transport Layer Security Handshake
cryptography
Transposition Cipher
cryptography
Transposon
biology
Trap (OS)
operating-systems
Travelling Salesman Problem
computation
Tree
graph-theory
Tree Map
databases
Tree Node
trees
Tree Node Predecessor
trees
Tree Node Successor
trees
Tree-like Formula (Propositional Logic)
propositional-logic
Tree-Like Search Algorithm
search
Tree-width
computation
Trial (Probability Theory)
probability-theory
Triangle
geometry
trigonometry
Triangle Inequality
math
Triangular Distribution
probability-theory
Trie
data-structures
strings
Trigeminal Nerve
medicine
Trigeminal Nerve Terminal
medicine
Trigeminovascular Pain System
medicine
Trigonometric Function
trigonometry
Trigonometry
trigonometry
Trigram
machine-learning
natural-language-processing
Triptan
medicine
Trivial Convex Combination
linear-algebra
convex-geometry
Trivial Extensional Language Property
languages
Trivial Functional Dependency (Relational Algebra)
databases
Trivial Language Property
languages
Trivial Linear Combination
linear-algebra
Trivial Prefix
strings
Trivial String Border
computing
Trivial Suffix
languages
True Negative
machine-learning
True Positive
machine-learning
True Risk
machine-learning
statistics
Truncated Subtraction (Primitive Recursion)
primitive-recursion
Trusted Types
web
security
Truth
logic
Truth Table
logic
Truthful Voting (COMSOC)
comsoc
Tu Quoque
logic
informal-fallacy
Tuple
algebra
Tuple (Relational Algebra)
relational-algebra
Turing Completeness
computation
Turing Gas
computation
complexity
evolution
Turing Machine
computation
requires-cleanup
Turing Reduction
computation
Turing Test
artificial-intelligence
Turing-Computable Arithmetic Function
computation
Two-Bag Knapsack Decision Problem
complexity-theory
knapsack
Two-Bag Knapsack Dynamic Programming Algorithm
dynamic-programming
knapsack
pseudopolynomial-time
Two-Phase Locking (ACID)
acid
Two's Complement
numeric
TXT Record
domains
Type
type-theory
Type Class
type-theory
Type Constructor
type-theory
Type Environment
type-theory
Type Inference
type-theory
Type Scheme
type-theory
Type Substitution
type-theory
Type System
type-theory
Type Theory
type-theory
Type Variable
type-theory
Type-i Grammar
languages
todo
Typeclass (Lean)
lean
TypeScript
programming-languages
Typing Judgement
type-theory
U-Type Instruction (RISC-V)
risc-v
Ubrogepant
medicine
Unambiguous Context-Free Grammar
languages
Unanimous Preference Profile (COMSOC)
comsoc
Unanimous Voting Rule (COMSOC)
comsoc
Unary Encoding
computation
Unary Instance Encoding
computational-complexity
input-encoding
Unary Logical Connective
logic
Unary-encoded 0-1-Knapsack Instance
input-encoding
knapsack
Unbiased Estimator
probability-theory
Uncomputable Function
Uncountable Set
set-theory
Undecidable Decision Problem
computation
Undecidable Function Property
computation
Undecidable Language
languages
Undecidable Language Property
computation
Underfitting
machine-learning
statistics
Undirected Connected Graph
graph-theory
Undirected Graph
graph-theory
Unfixed Pair (COMSOC)
comsoc
unfold (Lean)
lean
Unhappy Number
math
Unicode
coding-theory
Unicode Transformation Format
coding-theory
Unification
type-theory
Unified Modelling Language
software-engineering
Uniform Continuity
analysis
Uniform Distribution
statistics
Uniform Matroid
discrete-mathematics
combinatorics
Uniform Probability Distribution
probability-theory
measure-theory
Uniform Random Assignment for MaxE4SAT
randomised-algorithms
approximation-algorithms
propositional-logic
Uniform Resource Locator
web
Uniform-Cost Search
search
Unigram
machine-learning
natural-language-processing
Unimodularity
linear-algebra
Uninformed Search
search
Uninterruptible Power Supply
Union (Relational Algebra)
relational-algebra
Union (Set)
set-theory
UNION (SQL)
sql
UNION ALL (SQL)
sql
Union Compatible Relation (Relational Algebra)
relational-algebra
Union-Find Data Structure
data-structures
Uniqueness of Limits
analysis
calculus
Uniqueness Theorem for Power Series
analysis
unistd.h
c
Unit Circle
trigonometry
Unit Clause (Propositional Logic)
propositional-logic
Unit Penalty (Interval Scheduling)
scheduling
Unit Production
languages
Unit Propagation
logic
computation
sat-solving
Unit Testing
software-engineering
todo
Unit Vector
linear-algebra
Unitality
algebra
Unitary Linear Operator
linear-algebra
Unitary Matrix
linear-algebra
Unitary Operator
linear-algebra
United States Department of Defense
usa
Univariate Statistics
statistics
Universal Constructor
automata-theory
Universal Function Approximation Theorem
machine-learning
deep-learning
analysis
Universal Mobile Telecommunications Service
mobile-communication
Universal Polymorphism
type-theory
Universal Quantifier
first-order-logic
Universal Quantifier (First-Order Tableaux)
first-order-logic
tableaux
Universal Turing Machine
computation
Universal Unrestricted Register Machine Program
computation
Universe (Cosmology)
cosmology
Universe (First-Order Logic)
first-order-logic
Universe (Lean)
lean
Universe (Set Theory)
set-theory
University of Vienna
universities
Unix
operating-systems
Unix File System Access Control
operating-systems
security
Unknown Environment
artificial-intelligence
Unordered Pair
algebra
Unrestricted Register Machine
computability-theory
Unrestricted Register Machine Program
Unrestricted Self-applicable Definability
logic
Unsafe Alternative (COMSOC)
Unsatisfiability Problem
computation
Unsatisfiability–Validity Duality (Propositional Logic)
propositional-logic
Unsatisfiable Formula (First-Order Logic)
first-order-logic
Unsound Algorithm
algorithms
Unsupervised Learning
machine-learning
Unsupervised Learning Algorithm
machine-learning
Unsymbolised Thinking
consciousness
cognition
Upper Bound
analysis
Upper Confidence Bound
reinforcement-learning
Useless Production
languages
Usenet
networks
User Authentication
operating-systems
security
User Datagram Protocol
network-protocols
User Equipment
mobile-communication
User Mode
operating-systems
User Mode (RISC-V)
risc-v
User Process
operating-systems
User Program
operating-systems
User Space
operating-systems
User-based Nearest-neighbuor Collaborative Filtering (Recommendation)
recommendation
User-Level Thread
operating-systems
Utility Function
utility-theory
Utility Theory
utility-theory
Utility-Based Agent
artificial-intelligence
Utility-based Perturbed Gradient Descent
machine-learning
UV
python
Vacuum Permeability
physics
Vacuum Permittivity
physics
Valid Argument
logic
Valid Formula in an Interpretation (Satisfiability Modulo Theory)
satisfiability-modulo-theory
Validation Dataset
machine-learning
Validation Service
cryptography
Validity as Equivalence to Verum (Propositional Logic)
propositional-logic
Validity–Unsatisfiability Duality (Propositional Logic)
propositional-logic
Valuation Function (Logic)
logic
Value Function
reinforcement-learning
Value of Information
utility-theory
Value-Density Greedy Knapsack Has No Constant Approximation Guarantee
knapsack
greedy-algorithms
approximation-counterexamples
Value-scaling FPTAS for Max-value 0-1-Knapsack
Vanishing Gradient
machine-learning
Vapnik-Chervonenkis Dimension
machine-learning
learning-theory
statistics
Variable
first-order-logic
Variable (Constraint Satisfaction)
constraint-satisfaction
Variable Assignment (First-Order Logic)
first-order-logic
Variable Refresh Rate
rendering
Variance
statistics
Variant Word Form
linguistics
Variation with Repetition
combinatorics
Variation without Repetition
combinatorics
Vascular Smooth Muscle
medicine
Vasoconstriction
medicine
vdirsyncer
software
Vector
linear-algebra
Vector Addition
linear-algebra
Vector Database
databases
Vector Field
vector-calculus
Vector Multiplication
linear-algebra
Vector Space
algebra
linear-algebra
Vector Subset Sum Decision Problem
complexity-theory
subset-sum
Vector Subspace
linear-algebra
Vector-Jacobian Product
machine-learning
calculus
linear-algebra
Vein
biology
Venn Diagram
plots
Verb (Deutsch)
german
Vergleich (Deutsch)
german
Verification (Nondeterministic Turing Machine)
computation
nondeterministic-turing-machines
Verification and Validation
software-engineering
Verilog
hardware-design
Vertex
graph-theory
Vertex Cover
graph-theory
Vertex Cover Instance
Vertex Cover Problem
computation
Vertex Cover to Dominating Set (Karp Reduction)
complexity-theory
graph-theory
reductions
Vertex Cover to Integer Linear Programming (Karp Reduction)
complexity-theory
graph-theory
reductions
Verum
logic
Very Long Instruction Word Processor
computer-architecture
Vesktop
apps
Vibratiuncle
cognition
Video
ViewStructure
web
security
mobile
Virtual Function IO
linux
Virtual Local Area Network
network-protocols
Virtual Machine
operating-systems
Virtual Memory
operating-systems
Virtual Router Redundancy Protocol
networks
Virtualisation
operating-systems
Virtue
philosophy
Virus
biology
Visitor Location Register
mobile-communication
Vitalism
philosophy
biology
vmap
machine-learning
Volatile Storage (ACID)
acid
Voter (COMSOC)
comsoc
Voting Rule (COMSOC)
comsoc
Vowel
phonetics
VRising
games
Vulkan
graphics
rendering
Vulnerability
security
Wagner–Fischer algorithm
computation
Wait-for Graph (ACID)
acid
Watt
units
Wayland
wayland
Wayland Compositor
wayland
Weak Artificial Intelligence
artificial-intelligence
Weak Collision Resistance
cryptography
Weak Negation Elimination Inference Rule (Propositional Hilbert Calculus)
propositional-logic
hilbert-calculus
proof-theory
Weak Normalisation Theorem
lambda-calculus
Weak NP-Hard Decision Problem
complexity-theory
np-hardness
Weak Preference (Utility Theory)
utility-theory
Weak Singleton Axiom (First-Order Logic)
first-order-logic
set-theory
Weakest Liberal Precondition
program-proofing
Weakest Precondition
program-proofing
WEB (Programming Language)
programming-languages
Web Attacker Model
web
security
WEB2C
tex
Webroot
web
WebView
web
security
mobile
Weight (Knapsack Problem)
computation
knapsack-problem
Weight-Balanced Tree
trees
Weighted Adjacency Matrix
graph-theory
Weighted Graph
graph-theory
Weighted Independent Set Problem
computation
Weighted Majority Graph (COMSOC)
comsoc
Weighted Mean
math
Weisfeiler-Leman Algorithm
graph-isomorphism
graph-theory
Weisfeiler-Leman Graph Kernel
graph-theory
kernel-methods
representation-learning
Weissman's Barrier
biology
Well-formed Formula
logic
Well-formed Formula (Propositional Logic)
logic
propositional-logic
Well-formedness
logic
White Box Testing
software-engineering
todo
Whitehead Problem
set-theory
algebra
Whole-space Axiom (Sigma Algebra)
probability-theory
Wide Area Network
distributed-systems
Wien’s A pproximation
physics
thermodynamics
Wild Memory Pointer
memory
Windows
operating-systems
Windows NT
operating-systems
Winner (COMSOC)
comsoc
Winner Determination Problem (COMSOC)
comsoc
Witch Hat Atelier
anime
entertainment
Without Loss of Generality
math
Word (Computing)
computation
Word (Linguistics)
linguistics
Word (OS)
operating-systems
Word Form
linguistics
Word Problem
languages
Word Token
linguistics
Word Type
linguistics
Word-Addressable Memory
memory
Work Tape (Turing Machine)
computation
Working Memory
neuroscience
cognition
World Model
machine-learning
Worst-Case Complexity
complexity-theory
Worst-case Running Time
computation
complexity-theory
Wortspiel (Deutsch)
german
write (C)
c
Write Ahead Logging (ACID)
acid
Write-after-Read Dependency
computer-architecture
Write-after-Write Dependency
computer-architecture
Write-Back Stage
computer-architecture
X-variant Interpretation (Satisfiability Modulo Theory)
satisfiability-modulo-theory
x86
computer-architecture
x86-64
computer-architecture
x86-64 Instruction
computer-architecture
Xenobot
Xenopus Laevis
biology
XNOR
logic
xor (RISC-V)
risc-v
xori (RISC-V)
risc-v
XSS Sanitisation
web
security
XWayland
wayland
Y Combinator
lambda-calculus
Yang-Mills Existence and Mass Gap
mathematics
Yapit
software
yescrypt
cryptography
Young Rule (COMSOC)
comsoc
Young Score (COMSOC)
comsoc
Young Winner (COMSOC)
comsoc
Young–Levenglick Theorem (COMSOC)
Z-Test
statistics
Z3
satisfiability-modulo-theory
Zermelo–Fraenkel Set Theory
set-theory
zero (RISC-V)
risc-v
Zero Divider
algebra
Zero Function (Primitive Recursion)
primitive-recursion
Zero Sequence
analysis
Zero Vector
linear-algebra
Zero-One Loss
machine-learning
classification
learning-theory
Zeroeth Law (Thermodynamics)
thermodynamics
Zig
programming-languages
Zolmitriptan
medicine
Zombie Process
operating-systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
Page 1 of 469