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

Mathematics

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