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.

Engineering & Materials Science

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

Mathematics

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