Engineering & Materials Science
Computer programming languages
100%
Semantics
97%
XML
65%
Logic programming
44%
Query languages
32%
Access control
28%
Functional programming
23%
Metadata
21%
Lenses
19%
Substitution reactions
15%
Repair
15%
Theorem proving
14%
Data curation
12%
Information management
12%
Defects
11%
Acoustic waves
11%
Binders
10%
Anomaly detection
10%
Concurrency control
10%
Diamonds
9%
Concretes
9%
World Wide Web
9%
Software engineering
9%
HTML
8%
Computer systems
8%
Nameplates
7%
Trace analysis
7%
Pipelines
7%
Large scale systems
7%
Static analysis
6%
Servers
6%
Chemical analysis
6%
Computability and decidability
6%
Inductive logic programming (ILP)
6%
Data structures
6%
Computer science
5%
Directed graphs
5%
Genetic programming
5%
Set theory
5%
Labels
5%
Encapsulation
5%
NP-hard
5%
Knowledge based systems
5%
Rapid prototyping
5%
Structural properties
5%
Model checking
5%
Benchmarking
5%
Data storage equipment
5%
Mathematics
Categorical or nominal
25%
Formalization
16%
Type Theory
13%
Reasoning
9%
Syntax
9%
Logic
9%
Provenance
8%
Query
7%
Calculus
7%
Higher Order
6%
Language
6%
Lens
6%
Concurrency
5%
Sequent Calculus
5%
Causality
5%
Unification
5%
Arts & Humanities
Nominals
14%
Sequent Calculus
13%
Logic
11%
Quantifiers
9%
Cyclone
7%
Hierarchical Model
6%
Granularity
6%
Proof Theory
6%
History
5%
Graph
5%
