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