Mathematics
Smart Grid
100%
Formalization
60%
Theorem Proving
40%
Electric Vehicle
38%
Safety
26%
Higher-order Logic
22%
Formal Analysis
22%
Costs
22%
Online Algorithms
21%
Plug-in
21%
Test Generation
20%
Grid
19%
Online Scheduling
16%
Asymptotic Analysis
16%
Scheduling Algorithm
16%
Verify
16%
Fault
13%
Cost Model
12%
Stability Theory
12%
Algorithm Design
12%
Notation
10%
Computational Complexity
10%
Stability Analysis
9%
Logic
8%
Energy
8%
Modeling
8%
Libraries
8%
Methodology
7%
Path
7%
Model
7%
Simulation
7%
Low Complexity
6%
Cost Function
6%
Power Electronics
6%
Design
6%
Theorem
5%
Order Conditions
5%
Engineering & Materials Science
Theorem proving
59%
Smart power grids
45%
Moisture
25%
Cognitive radio
21%
Routing protocols
21%
Plug-in electric vehicles
20%
Asymptotic analysis
19%
Food processing
15%
Costs
14%
Sensors
14%
Combinatorial circuits
14%
Blood pressure
13%
Internet of things
12%
Variable frequency oscillators
12%
Fog
12%
Microwaves
12%
Temperature sensors
12%
Condition monitoring
11%
Simulators
11%
Electric waveforms
11%
Reliability analysis
11%
Scheduling algorithms
10%
Detectors
10%
Electric potential
10%
Electric fields
10%
Energy storage
9%
Networks (circuits)
9%
Power generation
9%
Microwave sensors
8%
Inspection
8%
Pipe
8%
Finite automata
8%
Random variables
7%
Internet
7%
Computational complexity
7%
Renewable energy resources
7%
Farms
7%
Robots
7%
Electric power utilization
6%
Data storage equipment
6%
Processed foods
6%
Temperature
6%
Controllers
6%
Energy utilization
5%
Pasteurization
5%
Water
5%
Cost functions
5%
Network protocols
5%
Spectroscopic ellipsometry
5%
Physics & Astronomy
phase detectors
15%
fog
14%
moisture
14%
sensors
10%
electromagnetism
8%
moisture content
6%
