(Restructuring around fields of study and working groups (part 1))
(Restructuring around fields of study and working groups (part 2))
Riadok 19: Riadok 19:
 
* [[DN Group|Complex dynamic networks]] – models of evolving complex networks and modelling of real situations with complex networks.
 
* [[DN Group|Complex dynamic networks]] – models of evolving complex networks and modelling of real situations with complex networks.
 
* [[FS Group|Fuzzy systems]]
 
* [[FS Group|Fuzzy systems]]
* [[REC Group|Robotics and Evolutionary Computing]]
+
* [[REC Group|Robotics and Evolutionary Computation]]
  
 
== Theory of Programming ==
 
== Theory of Programming ==
  
*'''Theory of programming.''' Declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems. Theory od concurrent processing, formal models and their applications on system specification, verification and information security.
+
Applications of formal and logical methods to theory and security of concurrent and distributed systems, computational complexity, and programming are studied by working groups:
 +
 
 +
* [[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.  
  
 
== Bioinformatics ==
 
== Bioinformatics ==
  
*'''Computational Biology.''' Applications of algorithmic, probabilistic modeling, and machine learning techniques to the molecular biology problems, especially to the analysis of DNA sequences. Collaboration with biology researchers on common projects.
+
Bioinformatics is represented by a joint working group of members of DAI and [http://www.dcs.fmph.uniba.sk DCS], collaborating with researchers in biology:
 +
 
 +
* [http://compbio.fmph.uniba.sk/ Computational Biology] – algorithms and mathematical methods for analysis of DNA sequences of primates, yeast, and other interesting organisms.
  
 
==Projects and Events==
 
==Projects and Events==

Verzia zo dňa a času 21:02, 3. september 2015

Scientific Research at DAI

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

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 – face recognition and tracking, medical applications of computer graphics and computer vision.

Artificial Intelligence and Cognitive Science

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.

Bioinformatics

Bioinformatics is represented by a joint working group of members of DAI and DCS, collaborating with researchers in biology:

  • Computational Biology – algorithms and mathematical methods for analysis of DNA sequences of primates, yeast, and other interesting organisms.

Projects and Events

See the following pages for more detailed research profile of our department: