# Fingerprint Dive into the research topics where Department of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Engineering & Materials Science

Access control

Acoustic waves

Algebra

Animation

Artificial intelligence

Augmented reality

Autonomous agents

Brushes

Cameras

Chemical analysis

Classifiers

Clustering algorithms

Color

Communication

Computer aided design

Computer games

Computer graphics

Computer programming

Computer programming languages

Computer science

Computer vision

Costs

Data storage equipment

Data structures

Decision making

Decomposition

Demonstrations

Display devices

Drawing (graphics)

Economics

Energy utilization

Engines

Experiments

Feedback

Geometry

Graphical user interfaces

Hardware

Health

Human computer interaction

Human robot interaction

Image matching

Image quality

Image resolution

Image segmentation

Inductive logic programming (ILP)

Industry

Intelligent agents

Intelligent systems

Internet

Interpolation

Labeling

Labels

Large scale systems

Learning systems

Lighting

Logic programming

Mobile devices

Mobile phones

Monitoring

Multi agent systems

Navigation

Network protocols

Neural networks

Object recognition

Ontology

Optical flows

Paint

Painting

Pixels

Polynomials

Processing

Recommender systems

Robotics

Robots

Routing protocols

Semantic Web

Semantics

Sensors

Skin

Smartphones

Software agents

Software engineering

Specification languages

Specifications

Students

Support vector machines

Syntactics

Tensors

Testing

Textures

Theorem proving

Transparency

Tuning

Ubiquitous computing

User interfaces

Video cameras

Virtual reality

Visualization

Web services

Websites

### Mathematics

Algebra

Answer Set Programming

Answer Sets

Betti numbers

Branch

Calculus

Cartesian Closed Category

Categorical

Category Theory

Closed

Coalgebra

Completeness

Computer Algebra

Computing

Continuation

Countable

Cut-elimination

Decompose

Denotational Semantics

Distributive law

Elementary Functions

Enriched Category

Equivalence

Formulation

Game

Game Semantics

Graph in graph theory

High-dimensional

Higher Order

Interaction

Intuitionistic Logic

Lambda Calculus

Linear Logic

Logic

Logic Programming

Model

Monads

Monotone

Monotone Function

Multiplicative

Natural number

Nondeterminism

Operational Semantics

Operator

Pfaffian

Polynomial

Programming Languages

Proof Nets

Proof System

Propositional Logic

Quantifier Elimination

Quantifiers

Reasoning

Resources

Semantics

Semi-algebraic Sets

Sequent Calculus

Signature

Super-resolution

Symbolic Computation

Tableaux

Term

Theorem

Truth table

Type Theory

Typed lambda Calculus

Unit

Upper bound