Fingerprint The fingerprint is based on mining the text of the research documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit.

Engineering & Materials Science

Semantics
Animation
Cameras
Robots
Algebra
Decomposition
Color
Virtual reality
Communication
Textures
Display devices
Multi agent systems
Specifications
Web services
Costs
Experiments
Computer vision
Logic programming
Computer programming languages
Sensors
Processing
Optical flows
Painting
Human computer interaction
Pixels
Visualization
Geometry
Industry
Chemical analysis
Data storage equipment
Decision making
Feedback
Learning systems
Transparency
Robotics
Semantic Web
Mobile devices
Classifiers
Computer graphics
Health
Tensors
Monitoring
Computer aided design
Object recognition
Polynomials
Pipelines
Syntactics
Software agents
Computer programming
Data structures
Routing protocols
Autonomous agents
Image matching
Testing
Neural networks
Acoustic waves
Network protocols
Software engineering
Brushes
Intelligent systems
Labeling
Internet
Intelligent agents
Navigation
Economics
Lighting
Interpolation
Websites
Energy utilization
Artificial intelligence
Video cameras
Human robot interaction
Large scale systems
Hardware
Image segmentation
Support vector machines
Students
User interfaces
Ubiquitous computing
Labels
Graphical user interfaces
Drawing (graphics)
Access control
Broadcasting
Paint
Augmented reality
Agglomeration
Digital storage
Clustering algorithms
Image resolution
Tuning
Smartphones
Recommender systems
Physics
Demonstrations
Computer science
Engines
Mobile phones
Image processing
Image quality

Mathematics

Monads
Game Semantics
Linear Logic
Game
Cut-elimination
Decompose
Term
Lambda Calculus
Proof Nets
Calculus
Model
Logic
Coalgebra
Multiplicative
Semi-algebraic Sets
Logic Programming
Categorical
Sequent Calculus
Pfaffian
Algebra
Operational Semantics
Proof System
Betti numbers
Programming Languages
Resources
Denotational Semantics
Answer Sets
Polynomial
Quantifiers
Natural number
Formulation
Distributive law
Computer Algebra
Higher Order
Semantics
Monotone
Signature
Countable
Upper bound
Typed lambda Calculus
Elementary Functions
Reasoning
Equivalence
Completeness
Closed
High-dimensional
Truth table
Unit
Nondeterminism
Cartesian Closed Category
Symbolic Computation
Answer Set Programming
Operator
Tableaux
Intuitionistic Logic
Type Theory
Graph in graph theory
Interaction
Theorem
Category Theory
Quantifier Elimination
Super-resolution
Normalization
Enriched Category
Monotone Function
Continuation