# 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.

- Sort by
- Weight
- Alphabetically

### 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