Mathematics
Slice
90%
Intuitionism
69%
Fault-tolerant Systems
68%
Formal Specification
63%
Categorical or nominal
55%
Distributed Protocol
55%
Exception
55%
Real-time
47%
Standards
46%
Fan
32%
Baire Space
31%
Type Theory
31%
Database Systems
30%
Formalization
30%
Equivalence relation
27%
Proof by induction
27%
Latency
27%
Broadcast
27%
Scalability
26%
Fault-tolerant
26%
Formal Languages
25%
Congruence
24%
Safety
23%
Theorem
22%
Monotone
22%
Attack
21%
Excluded third
20%
Programming
19%
Communication
19%
Uncertainty
17%
Verify
17%
Dialogue
16%
State Machine
15%
Methodology
15%
Interaction
15%
Term
14%
Infrastructure
14%
Type Inference
14%
Slicing
14%
Compiler
14%
Decentralized
13%
Operator
13%
Fault
12%
Repair
11%
Replication
11%
Monitoring
10%
Correctness
10%
Fragment
10%
Class
10%
Simplify
9%
Engineering & Materials Science
Network protocols
100%
Hybrid systems
82%
Semantics
71%
Formal languages
64%
Religious buildings
58%
Formal specification
49%
Communication
48%
Shielding
43%
Telecommunication
40%
Tissue
35%
Internet of things
35%
Specifications
33%
Scalability
33%
Synchronization
33%
Internet
28%
Uncertainty
26%
Computer hardware
24%
Formal methods
24%
Cyber Physical System
23%
Real time control
22%
Fans
19%
Hardening
19%
Differential equations
18%
Acoustic waves
16%
Telecommunication networks
12%
Monitoring
11%
Simulators
10%
Costs
7%
Computer programming languages
5%