(Scientific Research at DAI)
(Moved projects and events to the top of the page)
Riadok 3: Riadok 3:
  
 
Research activities at DAI are chiefly focused on the areas of computer graphics and computer vision, artificial intelligence, cognitive science, robotics, computational logic, theory of programming, and bioinformatics. Researchers collaborate within informal working groups focused on more specific topics.
 
Research activities at DAI are chiefly focused on the areas of computer graphics and computer vision, artificial intelligence, cognitive science, robotics, computational logic, theory of programming, and bioinformatics. Researchers collaborate within informal working groups focused on more specific topics.
 +
 +
== Projects ==
 +
 +
DAI staff participates in a number of scientific and educational projects.
 +
 +
EU supported projects:
 +
* [https://alpaca-itn.eu ALPACA: ALgorithms for PAngenome Computational Analysis]
 +
* [https://www.pangenome.eu PANGAIA: Pan-genome Graph Algorithms and Data Integration]
 +
* [https://tailor-network.eu TAILOR: Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization]
 +
* [[Project:TERAIS|TERAIS: Towards Excellent Robotics and Artificial Intelligence at a Slovak university]]
 +
 +
[[Research Projects|More DAI projects]]
 +
 +
== Conferences, Seminars and other Events ==
 +
 +
We organize and co-organize scientific conferences, workshops, seminars, and other events promoting exchange of knowledge, ideas, and experiences with scientists from other institutions and within our working groups. We also participate in science and research popularization activities.
 +
 +
* [[Conferences and Events]]
 +
* [[Scientific Seminars]]
  
 
== Computer Graphics and Vision ==
 
== Computer Graphics and Vision ==
Riadok 28: Riadok 47:
 
* [[CDS Group|Concurrent and Distributed Systems]] – theory of concurrent processing, formal models and their applications on system specification, verification and information security.
 
* [[CDS Group|Concurrent and Distributed Systems]] – theory of concurrent processing, formal models and their applications on system specification, verification and information security.
 
* [[DP Group|Declarative Programming]] – descriptive complexity; declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems.  
 
* [[DP Group|Declarative Programming]] – descriptive complexity; declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems.  
 
==Projects and Events==
 
 
See the following pages for more detailed research profile of our department:
 
 
* [[Research Projects]]
 
* [[Conferences and Events]]
 
* [[Scientific Seminars]]
 
  
 
__NOTOC__
 
__NOTOC__

Verzia zo dňa a času 15:58, 29. október 2022

Scientific Research at DAI

Research activities at DAI are chiefly focused on the areas of computer graphics and computer vision, artificial intelligence, cognitive science, robotics, computational logic, theory of programming, and bioinformatics. Researchers collaborate within informal working groups focused on more specific topics.

Projects

DAI staff participates in a number of scientific and educational projects.

EU supported projects:

More DAI projects

Conferences, Seminars and other Events

We organize and co-organize scientific conferences, workshops, seminars, and other events promoting exchange of knowledge, ideas, and experiences with scientists from other institutions and within our working groups. We also participate in science and research popularization activities.

Computer Graphics and Vision

Two groups at DAI work on graphics and vision problems:

  • Computer Graphics – computer animation, navigation and cooperation in virtual environments, methods of volumetric graphics.
  • Computer Vision – image processing, feature extraction, salient region detection, face recognition, transport and security applications of computer vision.

Artificial Intelligence and Computational Modelling

Research in artificial intelligence and cognitive science has a broad scope and a long history, reflected by the number and diversity of working groups:

Theory of Programming

Applications of formal and logical methods to theory and security of concurrent and distributed systems, computational complexity, and programming are studied by working groups:

  • Concurrent and Distributed Systems – theory of concurrent processing, formal models and their applications on system specification, verification and information security.
  • Declarative Programming – descriptive complexity; declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems.