Tag Index

1 item with this tag.

Newtonian Mechanics

• physics
• mechanics

1 item with this tag.

Abstraction Layer

• abstraction

2 items with this tag.

Academic Quarter

• academia

TU Vienna

• academia

2 items with this tag.

Chinese Wall Policy

• security
• access-control

Separation of Duty

• security
• access-control

1 item with this tag.

Exclusive Lock (ACID)

• aci

23 items with this tag. Showing first 10 tags.

Cascadeless Schedule (ACID)

• acid

Cascading Rollback (ACID)

• acid

Concurrent Schedule (ACID)

• acid

Conflict Equivalent Schedule

• acid

Conflict Graph (ACID)

• acid

Conflict Serialisable Schedule (ACID)

• acid

Conflicting Operation (ACID)

• acid

Deadlock (ACID)

• acid

Dirty Read

• acid

Lock-based Synchronisation (ACID)

• acid

2 items with this tag.

DNS-01

• dns
• acme

HTTP-01

• acme

3 items with this tag.

Adaptive System

• cognition
• adaptive-systems
• cybernetics

Bivalent Adaptive System

• adaptive-systems
• reinforcement-learning
• cybernetics

Monovalent Adaptive System

• adaptive-systems
• reinforcement-learning
• cybernetics

1 item with this tag.

Cornell Aeronautical Laboratory

• research-laboratory
• aeronautics

107 items with this tag. Showing first 10 tags.

Abelian Group

• algebra

Additive Function

• algebra

Additive Relation

• algebra

Algebra

• algebra

Algebraic Structure

• algebra

Algebraically Complete Field

• algebra

Antisymmetric Relation

• algebra

Apex Shape

• algebra
• quadratic-functions

Argand Plane

• algebra
• complex-numbers

Arity

• algebra

1 item with this tag.

Alpha-Beta Pruning

• algorithm
• game-theory
• optimisation

23 items with this tag. Showing first 10 tags.

Asymptotic Equivalence

• analysis
• algorithms

Bloom Filter

• data-structures
• algorithms
• probability

Buddy System

• operating-systems
• algorithms

Centre Selection Problem

• computation
• algorithms
• optimisation

Coin Problem

• computation
• algorithms
• optimisation

Conclusive Algorithm

• algorithms

Cycle (Graph)

• graph-theory
• algorithms

Fibonacci Heap

• data-structures
• algorithms
• graph-theory

Grover's Search

• quantum-computing
• algorithms

Hash Table

• data-structures
• algorithms

187 items with this tag. Showing first 10 tags.

Abel's Limit Theorem

• analysis

Absolute Extremum

• analysis

Absolute Function

• analysis

Absolute Maxima

• analysis

Absolute Minima

• analysis

Absolutely Convergent Function

• analysis

Absolutely Convergent Series

• analysis

Activation Function

• machine-learning
• deep-learning
• analysis

Affine Function

• linear-algebra
• analysis

Almost All

• analysis
• set-theory

3 items with this tag.

Hunter x Hunter

• anime

Shingeki no Kyojin

• anime

Witch Hat Atelier

• anime
• entertainment

21 items with this tag. Showing first 10 tags.

Approximation Algorithm

• computation
• approximation

Approximation Error

• optimisation
• approximation

Approximation Problem

• computation
• approximation

Approximation Ratio

• computation
• approximation

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

9 items with this tag.

Best-of-Two Approximation Algorithm for Maximum Satisfiability

• approximation-algorithms
• randomised-algorithms
• linear-programming

Bounded-Frequency Set Cover Approximation Algorithm

• set-cover
• approximation-algorithms

Bounded-Set-Size Set Cover Approximation Algorithm

• set-cover
• approximation-algorithms

Highest-Degree First Maximum Vertex Coverage Algorithm

• graph-theory
• approximation-algorithms

Inapproximability Transfer under Linear Reductions

• approximation-algorithms
• inapproximability

MaxE3SAT to Max2SAT (Linear Reduction)

• approximation-algorithms
• reductions
• propositional-logic

Maximal Matching Minimum Vertex Cover Algorithm

• graph-theory
• computation
• approximation-algorithms

Single-Vertex Flip Maximum Cut Local Search Algorithm

• graph-theory
• local-search
• approximation-algorithms

Uniform Random Assignment for MaxE4SAT

• randomised-algorithms
• approximation-algorithms
• propositional-logic

2 items with this tag.

Minimum-Degree First Maximum Independent Set Algorithm

• graph-theory
• greedy-algorithms
• approximation-counterexamples

Value-Density Greedy Knapsack Has No Constant Approximation Guarantee

• knapsack
• greedy-algorithms
• approximation-counterexamples

1 item with this tag.

Bi Knapsack Has No FPTAS Unless P Equals NP

• knapsack
• approximation-hardness
• fptas

2 items with this tag.

Discord

• apps

Vesktop

• apps

2 items with this tag.

Fallacy

• logic
• argumentation

Informal Fallacy

• logic
• argumentation
• rhetoric

2 items with this tag.

Arithmetic

• arithmetic

Modular Arithmetic

• arithmetic

44 items with this tag. Showing first 10 tags.

Active Inference

• artificial-intelligence

Agent

• artificial-intelligence

Artificial Intelligence

• artificial-intelligence

Artificial Life

• artificial-intelligence
• artificial-life

Continuous Environment

• artificial-intelligence

Dartmouth Workshop

• artificial-intelligence
• symbolic-ai

Deep Blue

• artificial-intelligence
• game-theory
• search-algorithm

Deep Learning

• artificial-intelligence

Deterministic Agent Function

• artificial-intelligence

Discrete Environment

• artificial-intelligence

4 items with this tag.

Artificial Life

• artificial-intelligence
• artificial-life

Living System

• biology
• artificial-life
• cybernetics

Stochastic Gradient Descent

• artificial-life

Test-Time Computation

• artificial-life

1 item with this tag.

The Exponent Is the Terrain

• complexity-theory
• asymptotic-analysis

10 items with this tag.

Attention

• machine-learning
• attention

Bahdanau Attention

• machine-learning
• attention

Causal Attention

• machine-learning
• attention

Cross-Attention

• machine-learning
• attention
• todo

Linear Attention

• attention

Log-Linear Attention

• attention

Log-Linear Attention

• attention

Multi-Head Attention

• machine-learning
• attention

Scaled Dot-Product Attention

• machine-learning
• transformers
• attention

Self-Attention

• machine-learning
• transformers
• attention

1 item with this tag.

Spatially Oriented Format for Acoustics

• audio

24 items with this tag. Showing first 10 tags.

Abstract Machine

• automata-theory

Accepted Language

• automata-theory

Accepting State

• automata-theory

Automata Theory

• automata-theory

Automaton

• automata-theory

Automaton Equivalence

• automata-theory

Brozozowksi's Minimisation Algorithm

• automata-theory

Büchi Automaton

• automata-theory

Cellular Automaton

• automata-theory

Determinisation

• automata-theory

1 item with this tag.

Bayes Theorem

• probability-theory
• bayesian-statistics

1 item with this tag.

Reverse-Engineering the password_manager_v2 binary

• security
• binary-analysis

3 items with this tag.

Krebs Cycle

• biology
• biochemistry
• metabolism

Miller–Urey Experiment

• life
• biochemistry

Reverse Krebs Cycle

• biology
• biochemistry
• metabolism

57 items with this tag. Showing first 10 tags.

Abiogenesis

• evolution
• biology
• computation

Anabolism

• biology

Anatomical Homeostasis

• biology
• cybernetics
• regeneration

Aplysia

• biology

Apoptosis

• neuroscience
• biology

Archaea

• biology

Atrophy

• biology

Bacterium

• biology

Basal Cognition

• biology

Bioelectricity

• biology

10 items with this tag.

Binary Decision Diagram

• boolean-algebra

Boolean Algebra

• algebra
• boolean-algebra

Boolean Function

• boolean-algebra

Canonical Conjunctive Normal Form

• boolean-algebra

Cofactor (Boolean Algebra)

• boolean-algebra

De Morgan's Rules

• boolean-algebra

If-Then-Else

• boolean-algebra

NAND

• boolean-algebra
• logic

Negation

• boolean-algebra
• logic

Shannon Expansion

• boolean-algebra

2 items with this tag.

Grub

• boot-loaders

Limine

• boot-loaders

2 items with this tag.

Neuroplasticity

• brain

Prefrontal Cortex

• brain

2 items with this tag.

Liquid Brain

• brains

Solid Brain

• brains

4 items with this tag.

Backwards Taken Forwards Not Taken Branch Prediction

• branch-prediction

Branch History Table

• branch-prediction

Branch Target Buffer

• branch-prediction

Static Branch Prediction

• branch-prediction

47 items with this tag. Showing first 10 tags.

A format string walks the stack by counting specifiers, not argument count

• security
• memory
• c

accept (C)

• c

bind (C)

• c

Buffer Over-Read

• security
• memory
• c

Buffer Overflow

• security
• memory
• c

close (C)

• c

connect (C)

• c

dup (C)

• c

dup2 (C)

• c

err.h

• c

1 item with this tag.

stdbool.h

• c
• programming
• c99

10 items with this tag.

Backpropagation

• machine-learning
• optimisation
• calculus

Bernoulli-L'Hôpital's Rule

• analysis
• calculus

First-order Optimisation Method

• optimisation
• calculus
• machine-learning

Gradient Checking

• machine-learning
• optimisation
• calculus

Gradient Descent

• machine-learning
• optimisation
• calculus

Jacobian-Vector Product

• machine-learning
• calculus
• linear-algebra

Optimisation Method

• optimisation
• calculus
• machine-learning

Second-order Optimisation Method

• optimisation
• calculus
• machine-learning

Uniqueness of Limits

• analysis
• calculus

Vector-Jacobian Product

• machine-learning
• calculus
• linear-algebra

2 items with this tag.

Abscissa

• cartesian-coordinate-system

Ordinate

• cartesian-coordinate-system

11 items with this tag. Showing first 10 tags.

Category

• category-theory

Category Theory

• category-theory

Endofunctor

• category-theory

Endomorphism

• category-theory

Functor

• category-theory

Homomorphism

• category-theory

Identity Functor

• category-theory

Monad

• category-theory

Morphism (Category Theory)

• category-theory

Natural Transformation

• category-theory

1 item with this tag.

execv (C)

• cc

11 items with this tag. Showing first 10 tags.

Ash

• cellular-automata

Conway's Game of Life

• cellular-automata

Graph Cellular Automaton

• cellular-automata

Isotropic Rule

• cellular-automata

Neural Cellular Automata

• cellular-automata

Neural Cellular Automaton

• cellular-automata

Oscillator

• cellular-automata
• game-of-life

Phase (Cellular Automaton)

• cellular-automata

Rulestring

• cellular-automata
• game-of-life

Soup

• cellular-automata
• game-of-life

3 items with this tag.

Chaos

• chaos-theory

Chaos Theory

• chaos-theory

Entropy

• statistics
• chaos-theory

2 items with this tag.

Chemical Energy

• physics
• chemistry

Chemical Reaction

• chemistry

1 item with this tag.

Queen (Chess)

• games
• chess

1 item with this tag.

Adding Sentences Shrinks Models and Grows Consequences

• classical-logic
• model-theory

13 items with this tag. Showing first 10 tags.

Accuracy

• machine-learning
• classification
• statistics

Binary Cross-Entropy Loss

• machine-learning
• classification
• optimisation

Confusion Matrix

• machine-learning
• classification
• statistics

Decision Tree

• machine-learning
• classification
• regression

F1-Score

• machine-learning
• classification
• statistics

k-Nearest Neighbour

• machine-learning
• classification
• regression

Linear Classifier

• machine-learning
• classification

Logistic Regression

• machine-learning
• classification
• statistics

Multiclass Classification

• machine-learning
• classification
• statistics

Naive Bayes

• machine-learning
• classification
• statistics

1 item with this tag.

Psychiatry

• psychiatry
• clinical-medicine

1 item with this tag.

Psychoanalysis

• psychology
• clinical-psychology

3 items with this tag.

Hierarchical Clustering

• machine-learning
• clustering
• statistics

k-Means Clustering

• machine-learning
• clustering
• statistics

Spectral Clustering

• machine-learning
• clustering
• graph-theory

7 items with this tag.

American Standard Code for Information Interchange

• coding-theory

Code (Coding Theory)

• coding-theory

Coding Theory

• coding-theory

Non-Return-to-Zero

• coding-theory

Symbol

• coding-theory

Unicode

• coding-theory

Unicode Transformation Format

• coding-theory

39 items with this tag. Showing first 10 tags.

Action

• neuroscience
• cognition

Adaptive System

• cognition
• adaptive-systems
• cybernetics

Analytical Thinking

• psychology
• cognition

Arithmetic Reasoning

• neuroscience
• cognition

Association

• cognition

Associationism

• philosophy
• cognition

Attention (Cognition)

• neuroscience
• cognition

Cognitive Architecture

• neuroscience
• cognition

Connectionism

• philosophy
• cognition

Connectionist Machine

• cognition

7 items with this tag.

Decoder (Combinatorial Logic)

• combinatorial-logic

Demultiplexer

• combinatorial-logic

Encoder (Combinatorial Logic)

• combinatorial-logic

Full Adder

• combinatorial-logic

Half Adder

• combinatorial-logic

Multiplexer

• combinatorial-logic

Ripple-Carry Adder

• combinatorial-logic

13 items with this tag. Showing first 10 tags.

0-1-Knapsack Instance

• combinatorial-optimisation
• knapsack

0-1-Knapsack Problem

• combinatorial-optimisation
• knapsack

0-1-Knapsack Profit-Maximisation Problem

• combinatorial-optimisation
• knapsack

Bi Knapsack Optimisation Problem

• knapsack
• combinatorial-optimisation

Matroid Intersection Algorithm

• matroids
• combinatorial-optimisation

Maximum 2-SAT Optimisation Problem

• propositional-logic
• combinatorial-optimisation

Maximum 3-SAT Optimisation Problem

• propositional-logic
• combinatorial-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

37 items with this tag. Showing first 10 tags.

Basis (Matroid)

• discrete-mathematics
• combinatorics

Binomial Coefficient

• combinatorics

Binomial Theorem

• combinatorics
• algebra

Boundedness (Binomial Coefficient)

• combinatorics

Combination with Repetition

• combinatorics

Combination without Repetition

• combinatorics

Combinatorics

• combinatorics

Dependent Set (Matroid)

• discrete-mathematics
• combinatorics

Exchange Graph

• combinatorics
• computation

Exchangeability (Matroid)

• discrete-mathematics
• combinatorics

4 items with this tag.

Fixed-Point Combinator

• combinators

Identity Combinator

• lambda-calculus
• combinators

Paradoxical Combinator

• lambda-calculus
• combinators

Symmetric Group

• algebra
• combinators

4 items with this tag.

Duplex

• communication

Multiplex

• communication

Time-Division Duplex

• communication

Transpoder

• communication

16 items with this tag. Showing first 10 tags.

Ahead-of-time Compiler

• compilers

Compilation Unit

• compilers

Compiler

• compilers

Compiler Explorer

• software
• compilers

ELF

• compilers
• file-formats

Expression

• compilers

Global Offset Table

• compilers
• file-formats

Just-in-time Compiler

• compilers

Lexer

• compilers

Linker

• compilers

1 item with this tag.

Complex-Valued Function

• complex-analysis

8 items with this tag.

Argand Plane

• algebra
• complex-numbers

Complex Algebra

• algebra
• complex-numbers

Complex Conjugate

• complex-numbers

Complex Modulus

• complex-numbers

Complex Number

• algebra
• complex-numbers

De Moivre's Theorem

• complex-numbers

Euler's Formula

• complex-numbers

Imaginary Unit

• complex-numbers

9 items with this tag.

bff

• computation
• complexity
• evolution

Big-O-Star Notation

• computation
• complexity

Computronium

• computation
• physics
• complexity

Eukaryote

• biology
• evolution
• complexity

Fractal

• math
• biology
• complexity

Single-exponential Time Algorithm

• computation
• complexity

Strong Exponential Time Hypothesis

• computation
• complexity

Sub-exponential Algorithm

• computation
• complexity

Turing Gas

• computation
• complexity
• evolution

93 items with this tag. Showing first 10 tags.

2-SAT4 Satisfiability Decision Problem

• complexity-theory
• propositional-logic

3-Horn Satisfiability Decision Problem

• complexity-theory
• propositional-logic

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

A Reduction Transfers Hardness, Not Weakness

• complexity-theory
• reductions

Algorithm Complexity

• complexity-theory

Approximation Complexity Class

• complexity-theory

Asymptotic Dominance

• complexity-theory

1 item with this tag.

Integer Programming

• mathematical-optimisation
• computability-theory

320 items with this tag. Showing first 10 tags.

2-Colouring Problem

• computation

2-Partition Problem

• computation
• scheduling

2-Satisfiability Problem

• computation

3-Colouring Problem

• computation

3-Partition Problem

• computation
• scheduling

3-Satisfiability Decision Problem

• computation

4-Colouring Problem

• computation
• graph-theory

Abiogenesis

• evolution
• biology
• computation

Ackermann Function

• computation

Algorithm

• computation

8 items with this tag.

0-1-Knapsack Decision Problem

• computational-complexity
• knapsack

Binary Instance Encoding

• computational-complexity
• input-encoding

Graph Isomorphism Problem

• graph-theory
• computational-complexity

Instance Encoding

• computational-complexity
• input-encoding

P = NP Starts with a Missing Arrow

• complexity-theory
• computational-complexity

Quasipolynomial-Time Algorithm

• computational-complexity

Time in a Turing Machine

• computational-complexity
• input-encoding
• turing-machines

Unary Instance Encoding

• computational-complexity
• input-encoding

1 item with this tag.

Orientation Predicate

• computational-geometry
• geometry

171 items with this tag. Showing first 10 tags.

1-Bit Branch Predictor

• computer-architecture

2-Bit Branch Predictor

• computer-architecture

Address Compute Unit

• computer-architecture

Addressing Mode

• computer-architecture

Always Not Taken Branch Prediction

• computer-architecture

Always Taken Branch Prediction

• computer-architecture

Amdahl's Law

• computer-architecture
• parallelism

Arithmetic Logic Unit

• logic-circuits
• computer-architecture

ARM

• computer-architecture

Associative Cache

• computer-architecture
• memory

7 items with this tag.

Carl Adam Petri

• computer-science

Computer Science

• computer-science

Divide et impera

• computer-science

Double-Ended Queue

• data-structures
• computer-science

Extended Transition Function

• automata-theory
• computer-science

Recursion

• computer-science

Theoretical Computer Science

• computer-science

1 item with this tag.

Fail-Safe Defaults

• computer-security

2 items with this tag.

Quantum Turing Machine

• computing
• quantum-computing

Trivial String Border

• computing

90 items with this tag. Showing first 10 tags.

Alternative (COMSOC)

• comsoc

Approval (COMSOC)

• comsoc

Approval Set (COMSOC)

• comsoc

Approval Voting Rule (COMSOC)

• comsoc

Ballot (COMSOC)

• comsoc

Borda Rule (COMSOC)

• comsoc

Borda Score (COMSOC)

• comsoc

Borda Winner (COMSOC)

• comsoc

Chamberlin-Courant Approval Voting Rule (COMSOC)

• comsoc

Chamberlin-Courant Winner Determination Decision Problem

• comsoc
• complexity-theory

50 items with this tag. Showing first 10 tags.

Atomic Operation

• computer-architecture
• concurrency

Bakery Algorithm

• operating-systems
• concurrency

Banker's Algorithm

• operating-systems
• concurrency

Binary Semaphore

• operating-systems
• concurrency

Bounded Waiting

• operating-systems
• concurrency

Busy Waiting

• operating-systems
• concurrency

Circular Wait

• operating-systems
• concurrency

Coffman Conditions

• operating-systems
• concurrency

compare_exchange_strong (C++)

• computer-architecture
• concurrency
• cpp

compare_exchange_weak (C++)

• concurrency
• cpp

2 items with this tag.

Conscious Agent Theory

• cognition
• consciousness

Unsymbolised Thinking

• consciousness
• cognition

10 items with this tag.

Constraint (Constraint Satisfaction)

• constraint-satisfaction

Constraint Language (Constraint Satisfaction)

• constraint-satisfaction

Dichotomy Theorem (Constraint Satisfaction)

• complexity-theory
• constraint-satisfaction

Domain (Constraint Satisfaction Problem)

• constraint-satisfaction

Domain (Constraint Satisfaction)

• constraint-satisfaction

Finite Constraint Language (Constraint Satisfaction)

• constraint-satisfaction

Finite Domain (Constraint Satisfaction)

• constraint-satisfaction

Relation (Constraint Satisfaction)

• constraint-satisfaction

Scope (Constraint Satisfaction)

• constraint-satisfaction

Variable (Constraint Satisfaction)

• constraint-satisfaction

5 items with this tag.

Differentiable Convex Function

• convex-analysis

Epigraph

• analysis
• optimisation
• convex-analysis

Exponential Tangent Inequality

• real-analysis
• inequalities
• convex-analysis

Subdifferential

• analysis
• optimisation
• convex-analysis

Subgradient

• analysis
• optimisation
• convex-analysis

2 items with this tag.

Convex Combination

• linear-algebra
• convex-geometry

Trivial Convex Combination

• linear-algebra
• convex-geometry

3 items with this tag.

OpenRouter

• cooperates

StackOverflow

• cooperates

Sun Microsystems

• cooperates

6 items with this tag.

Cosmic Dust

• cosmology

Earth

• cosmology

Planetoid

• cosmology

Positive Geometry

• particle-physics
• cosmology

Sun

• cosmology

Universe (Cosmology)

• cosmology

2 items with this tag.

compare_exchange_strong (C++)

• computer-architecture
• concurrency
• cpp

compare_exchange_weak (C++)

• concurrency
• cpp

139 items with this tag. Showing first 10 tags.

Advanced Encryption Standard

• cryptography

Argon2

• cryptography

Asymmetric Cryptography

• cryptography

Asymmetric Encryption Algorithm

• cryptography

Asymmetric Encryption Scheme

• cryptography

Asymmetric Signature Scheme

• cryptography

Authenticated Encryption

• cryptography

Authenticated Mode of Operation

• cryptography

Avalanche Effect

• cryptography

Block Cipher

• cryptography

1 item with this tag.

Language (CSP)

• csp

9 items with this tag.

Adaptive System

• cognition
• adaptive-systems
• cybernetics

Anatomical Homeostasis

• biology
• cybernetics
• regeneration

Bivalent Adaptive System

• adaptive-systems
• reinforcement-learning
• cybernetics

Cybernetics

• cybernetics

Homeostasis

• biology
• cybernetics

Hysteresis

• cybernetics

Living System

• biology
• artificial-life
• cybernetics

Monovalent Adaptive System

• adaptive-systems
• reinforcement-learning
• cybernetics

System

• cybernetics

18 items with this tag. Showing first 10 tags.

Categorical Data

• data-analysis

Data

• data-analysis

Data Analysis

• data-analysis

Discretisation

• data-analysis

Exploratory Data Analysis

• data-analysis

Image Data

• data-analysis
• todo

Imputation

• data-analysis
• preprocessing
• statistics

Independent Feature Scaling

• data-analysis

Lemmatisation

• data-analysis

Mean Normalisation

• data-analysis

33 items with this tag. Showing first 10 tags.

Adjacency List

• graph-theory
• data-structures

Adjacency Matrix

• graph-theory
• data-structures

Adjacency Set

• graph-theory
• data-structures

And-Or Tree

• data-structures

Array

• data-structures

Binary Tree

• data-structures

Bloom Filter

• data-structures
• algorithms
• probability

Branching Factor

• data-structures

Circular Buffer

• data-structures

Compressed Trie

• data-structures
• string-algorithms

4 items with this tag.

Extract Transform Load

• data-warehouse

Online Analytical Processing

• data-warehouse

Snowflake Schema

• data-warehouse

Star Schema

• data-warehouse

28 items with this tag. Showing first 10 tags.

ACID Transaction Model

• databases

ANSI-SPARC Architecture

• databases

BASE Transaction Model

• databases

Blind SQL Injection

• web
• security
• databases

Data Anomaly

• databases

Database

• databases

Database Management System

• databases

Entity-Attribute-Value Model

• databases

Entity-Relationship Model

• databases

German String

• databases

1 item with this tag.

Stable Infiniteness Removes Hidden Cardinality Conflicts

• satisfiability-modulo-theory
• decision-procedures

1 item with this tag.

Decision Theory

• decision-theory

9 items with this tag.

Activation Function

• machine-learning
• deep-learning
• analysis

Artificial Neural Network

• machine-learning
• deep-learning

Deep Artificial Neural Network

• machine-learning
• deep-learning

Gaussian Radial Basis Function

• machine-learning
• statistics
• deep-learning

Hyperbolic Tangent

• math
• analysis
• deep-learning

Multi-Layer Perceptron

• machine-learning
• deep-learning

Rectified Linear Unit

• machine-learning
• deep-learning
• analysis

Transformer

• machine-learning
• deep-learning
• nlp

Universal Function Approximation Theorem

• machine-learning
• deep-learning
• analysis

1 item with this tag.

Ordinary Differential Equation

• differential-equations

1 item with this tag.

Switching Theory

• digital-logic
• computation

3 items with this tag.

Manifold Assumption

• machine-learning
• dimensionality-reduction

Principal Component Analysis

• machine-learning
• linear-algebra
• statistics
• dimensionality-reduction

Random Projection

• machine-learning
• dimensionality-reduction
• probability

7 items with this tag.

Congruence

• discrete-math

Cycle Notation

• discrete-math

Euclidean Algorithm

• discrete-math

Factorial

• discrete-math

Generalised Pigeonhole Principle

• combinatorics
• discrete-math

Permutation

• discrete-math

Pigeonhole Principle

• combinatorics
• discrete-math

12 items with this tag. Showing first 10 tags.

Basis (Matroid)

• discrete-mathematics
• combinatorics

Dependent Set (Matroid)

• discrete-mathematics
• combinatorics

Exchangeability (Matroid)

• discrete-mathematics
• combinatorics

Ground Set (Matroid)

• discrete-mathematics
• combinatorics

Heredity (Matroid)

• discrete-mathematics
• combinatorics

Independence System

• discrete-mathematics
• combinatorics

Intersection (Matroid)

• discrete-mathematics
• combinatorics

Maximal Independent Set (Matroid)

• discrete-mathematics
• combinatorics

Non-emptiness (Matroid)

• discrete-mathematics
• combinatorics

Partition Matroid

• discrete-mathematics
• combinatorics

1 item with this tag.

Minkowski Distance

• machine-learning
• statistics
• distance-metric

7 items with this tag.

CAP Theorem

• distributed-systems

Distributed Operating System

• operating-systems
• distributed-systems

Distributed System

• operating-systems
• distributed-systems

Eventual Consistency

• software-engineering
• distributed-systems

Horizontal Scaling

• distributed-systems

Network Operating System

• operating-systems
• distributed-systems

Petri Net

• automata-theory
• distributed-systems

6 items with this tag.

Automated Certificate Management Environment

• networks
• dns

Certificate (DNS)

• dns
• todo

DNS-01

• dns
• acme

Domain Name System (DNS)

• networking
• dns

Iterative DNS Resolution

• networking
• dns

Recursive DNS Resolution

• networking
• dns

1 item with this tag.

TXT Record

• domains

2 items with this tag.

Bi Knapsack Dynamic Programming Algorithm

• knapsack
• dynamic-programming
• pseudopolynomial-time

Two-Bag Knapsack Dynamic Programming Algorithm

• dynamic-programming
• knapsack
• pseudopolynomial-time

1 item with this tag.

Dynamic Time Warping Distance Problem

• dynamic-time-warping-distance
• computation

1 item with this tag.

Gaia Hypothesis

• biology
• ecology

12 items with this tag. Showing first 10 tags.

Charge Conservation

• electromagnetism

Charge Density

• electromagnetism

Current Density

• electromagnetism

Electric Charge

• electromagnetism

Electric Current

• electromagnetism

Electric Field

• electromagnetism

Electromagnetic Radiation

• physics
• electromagnetism

Electromagnetism

• electromagnetism

Lenz's Law

• electromagnetism

Lorentz Force Law

• electromagnetism

7 items with this tag.

Circuit

• electronics
• logic

Electric Circuit

• electronics

Metal-Oxide-Semiconductor Field-Effect Transistor

• electronics

N-MOS

• electronics
• transistors
• mosfet

P-MOS

• electronics
• transistors
• mosfet

Series Circuit

• electronics

Signal (Electronics

• electronics

1 item with this tag.

Signal Edge

• eletronics

1 item with this tag.

Signal

• engineering
• analysis

2 items with this tag.

Bagging

• machine-learning
• ensemble-learning

Boosting

• machine-learning
• ensemble-learning

3 items with this tag.

Anime

• entertainment

Movie

• entertainment

Witch Hat Atelier

• anime
• entertainment

1 item with this tag.

Second Law of Thermodynamics

• physics
• thermodynamics
• entropy

2 items with this tag.

Absolute Error

• errors

Relative Error

• errors

3 items with this tag.

Baseline

• machine-learning
• evaluation

Evaluation (Machine Learning)

• machine-learning
• evaluation
• statistics

Student-t Test

• statistics
• evaluation

13 items with this tag. Showing first 10 tags.

Abiogenesis

• evolution
• biology
• computation

bff

• computation
• complexity
• evolution

Darwinism

• evolution
• biology
• computation

Emergence of Life

• biology
• evolution

Eukaryote

• biology
• evolution
• complexity

Life

• biology
• evolution
• computation
• philosophy

Mitochondrion

• biology
• evolution
• metabolism

Morphospace

• biology
• evolution

Natural Selection

• evolution

Open-Endedness

• evolution
• computation

1 item with this tag.

3-SAT to Dominating Set (Karp Reduction)

• complexity-theory
• graph-theory
• reductions
• exponential-time-hypothesis

3 items with this tag.

ELF

• compilers
• file-formats

Global Offset Table

• compilers
• file-formats

Procedure Linkage Table

• compilers
• file-formats

9 items with this tag.

Blocking (OS)

• operating-systems
• file-management

File Allocation

• operating-systems
• file-management

File Attributes

• operating-systems
• file-management

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 Type

• operating-systems
• file-management

Free Space Management (OS)

• operating-systems
• file-management

69 items with this tag. Showing first 10 tags.

Atom (First-order Logic)

• first-order-logic

Bound Variable (First-Order Logic)

• first-order-logic

Closed Branch (First-Order Tableaux)

• first-order-logic
• tableaux

Closed Tableaux (First-Order Logic)

• first-order-logic
• tableaux

Coincidence Lemma (First-Order Logic)

• first-order-logic

Complete Branch (First-Order Logic)

• first-order-logic
• tableaux

Complete Tableaux (First-Order Logic)

• first-order-logic
• tableaux

Conjunction (First-Order Tableaux)

• first-order-logic
• tableaux

Conjunctive Normal Form (First-Order Logic)

• first-order-logic

Consequences of a Theory (First-Order Logic)

• first-order-logic

1 item with this tag.

Computer Modern

• fonts

1 item with this tag.

Double Turnstile

• formalism

1 item with this tag.

Implication

• formula

1 item with this tag.

Bi Knapsack Has No FPTAS Unless P Equals NP

• knapsack
• approximation-hardness
• fptas

10 items with this tag.

Fourier Series

• analysis
• functional-analysis

Function Space

• functional-analysis
• analysis

Functional

• analysis
• functional-analysis

Functional Analysis

• functional-analysis

L2 Space

• analysis
• functional-analysis

Odd Function

• functional-analysis

Parseval's Identity

• functional-analysis

Spectral Component

• linear-algebra
• functional-analysis

Spectral Representation

• linear-algebra
• functional-analysis

Square-Integrable Complex-Valued Function

• functional-analysis

1 item with this tag.

Involutive Function

• functions

11 items with this tag. Showing first 10 tags.

Bee Hive

• game-of-life

Blinker

• game-of-life

Glider

• game-of-life

Moore Neighbourhood

• game-of-life

Neumann Neighbourhood

• game-of-life

Oscillator

• cellular-automata
• game-of-life

Pulsar

• game-of-life

Rulestring

• cellular-automata
• game-of-life

Soup

• cellular-automata
• game-of-life

Space Ship

• game-of-life

5 items with this tag.

Alpha-Beta Pruning

• algorithm
• game-theory
• optimisation

Deep Blue

• artificial-intelligence
• game-theory
• search-algorithm

Game Theory

• game-theory

Horizon Effect

• artificial-intelligence
• game-theory
• search-algorithm

Nash Equilibrium

• game-theory

15 items with this tag. Showing first 10 tags.

Chess

• games

Core War

• games
• programming
• simulation

Deadlock (Game)

• games

Gamescope

• games

Go (Game)

• games

League of Legends

• games

Marvel Rivals

• games

Matryoshka Doll

• games

Minecraft

• games

n-Queens

• games
• computation

1 item with this tag.

Equator

• geography

16 items with this tag. Showing first 10 tags.

Chebyshev Distance

• geometry

Circle

• geometry

Euclidean Distance

• geometry

Euclidean Space

• geometry
• linear-algebra
• analysis

Geometry

• geometry

Isohypse

• geometry

Manhattan Distance

• geometry

Manifold

• topology
• analysis
• geometry

Metric

• analysis
• geometry

Orientation Predicate

• computational-geometry
• geometry