Mathematics
Approximately equal
15%
Arbitrary
10%
Axiom
9%
Axiomatization
35%
Branching
13%
Branes
41%
Calculus
26%
Characterization
6%
Coalgebra
9%
Computing
14%
Congruence
12%
Continuous-time Markov Chain
6%
Deduction
33%
Equality
12%
Equational Logic
17%
Equivalence
8%
Game
5%
Language
8%
Linear Program
9%
Linear Time
7%
Logic
17%
Markov chain
55%
Markov Process
15%
Measurable space
24%
Membrane
10%
Metric
24%
Modal Logic
12%
Model Checking
19%
NP-complete problem
7%
Probabilistic Automata
18%
Probability Distribution
6%
Reasoning
12%
Representation Theorem
11%
Residence Time
9%
Semantics
30%
Semi-Markov Process
14%
Simulator
7%
Specification
10%
Statistical Thermodynamics
17%
Stochastic Systems
10%
Structural Operational Semantics
35%
Style
18%
Syntax
16%
Term
10%
Total Variation Distance
28%
Trace
7%
Transition Systems
17%
Undecidability
12%
Visualization
5%
Engineering & Materials Science
Algebra
18%
Biological membranes
6%
Biological systems
6%
Chemical analysis
5%
Computability and decidability
14%
Computational complexity
8%
Computer programming languages
5%
Cost functions
7%
Cyber Physical System
6%
Differential equations
6%
Explosions
10%
Markov chains
100%
Markov processes
60%
Membranes
33%
Model checking
23%
NP-hard
17%
Polynomials
21%
Probability distributions
20%
Proteins
20%
Reinforcement learning
5%
Semantics
57%
Sorting
10%
Specifications
12%
Statistical mechanics
16%
Statistical Models
9%
Statistical Physics
16%
Syntactics
11%
Systems science
5%
Tensors
10%
