Mathematics
Nondeterminism
76%
Transformer
54%
Monads
53%
Markov Process
46%
Algebra
43%
Equational Logic
42%
Algebraic Theory
39%
Bisimulation
38%
Semantics
35%
Model
35%
Language
32%
Averaging
26%
Centrobaric
23%
Tensor
23%
Free Algebras
23%
Operational Semantics
21%
Equational Theory
20%
Monoidal Category
20%
Concurrency
20%
Operator
20%
Object
20%
Coalgebra
19%
Multilevel Modeling
19%
Axiom
18%
Metric
18%
Event Structures
18%
Predicate
17%
Fixed point
17%
Cartesian Closed Category
17%
Data Flow
16%
Rewriting
16%
Thread
16%
Wasserstein Distance
16%
Programming Languages
15%
Countable
15%
Continuation
15%
Recursive Functions
15%
Layout
14%
Stefan Banach
14%
Multiset
14%
Petri Nets
14%
Categorical
14%
Lambda Calculus
14%
Exception
13%
Randomisation
13%
Patch
13%
Functor
13%
Partial
12%
Trace
12%
Completeness
12%
Engineering & Materials Science
Semantics
100%
Petri nets
73%
Algebra
63%
Computer programming languages
52%
Tensors
37%
Formal specification
29%
Cones
29%
Metabolic Networks and Pathways
26%
Ordinary differential equations
24%
Markov chains
18%
Topology
17%
Functional analysis
16%
Probability distributions
15%
Systems Biology
15%
Yeast
15%
Molecules
14%
Flavors
13%
Markov processes
13%
Software architecture
13%
Vector spaces
12%
Surgery
12%
Computer science
12%
Routers
12%
Modeling languages
10%
Set theory
10%
Program processors
10%
Phosphorylation
10%
Polynomials
9%
Systems analysis
9%
Approximation theory
9%
Knowledge representation
8%
Functional programming
8%
Data storage equipment
7%
Communication
7%
Spreadsheets
7%
Oils and fats
7%
Switching networks
7%
Reaction rates
7%
Large dataset
6%
Structural properties
6%
Machine oriented languages
6%
Electric potential
6%
Virtual machine
6%
Explosions
5%
Radon
5%