Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Dyk ned i de forskningsemner, hvor Giovanni Bacci er aktiv. Disse emneetiketter kommer fra denne persons arbejde. Sammen danner de et unikt fingeraftryk.

Matematik

Markov chain
Axiomatization
Metric
Deduction
Branching
Model Checking
Approximately equal
Total Variation Distance
Measurable space
Linear Time
Axiom
Equational Logic
Bisimulation
Reward
Equality
Markov Process
Linear Program
Pseudometric
Representation Theorem
NP-complete problem
Trace
Equivalence
Probability Distribution
Uncertainty
Deductive System
Polynomial time
Continuous-time Markov Chain
Probabilistic Model
Schema
Arbitrary
Exceed
Approximation
Operator
Distributivity
Optimal Approximation
Expectation Maximization
Converge
Prefix

Teknik og materialevidenskab

Markov processes
Computability and decidability
Model checking
Semantics
Hydraulics
Polynomials
Pumps
Learning algorithms
Controllers
Experiments
Random variables
Probability distributions
Sampling
Formal languages
Model structures