Computer Science
Algorithms
16%
Approximation (Algorithm)
25%
Branching Time
50%
Composite Model
25%
Computing
12%
Cyber Physical Systems
100%
discrete-time
16%
Distributed Systems
8%
Embedded Systems
8%
Equational System
16%
Hybrid System
50%
Interdisciplinary
33%
Mock-up
50%
Model Checking
25%
Model Checking Problem
33%
Physical Resource
8%
Programs
62%
Simulation Engine
25%
Smart Grid
8%
Synthesis Problem
50%
Testbed
33%
Timed Automaton
50%
Usability
33%
User
41%
Mathematics
Approximates
100%
Approximation
29%
Complete
50%
Minimal Distance
16%
Positive Integer
16%
Probability Distribution
16%
Representation Theorem
16%
State Markov Chain
16%
Social Sciences
Analysis
25%
Change
50%
Combine
25%
Construction
25%
State
50%
Stochastics
50%
Variance
25%