(Restructuring around fields of study and working groups (part 1))
Riadok 2: Riadok 2:
 
=Scientific Research at DAI=
 
=Scientific Research at DAI=
  
Research activities of DAI are chiefly focused on the the areas of computer graphics and computer vision, artificial intelligence, computational logic, and theory of programming.
+
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 computer vision.''' Modeling and visualization of virtual cities. Navigation and cooperation in virtual environments. Dynamic system simulations. Medical applications of computer graphics and computer vision. Face recognition and tracking.
+
== Computer Graphics and Vision ==
  
*'''Artificial intelligence and cognitive science.''' Complex self-organizing systems, multi-agent systems. Knowledge representation in intelligent systems at symbolic and subsymbolic levels (neural nets). Modeling of language acquisition and processing. Cognitive semantics. Robotics. Dynamical network studies. [[People and groups | People and groups]]
+
Two groups at DAI work on graphics and vision problems:
  
*'''Computational logic.''' Logic-based theory of knowledge representation, non-monotonic reasoning, logic programming (especially answer set programming), description logics, ontologies, semantic web. Reasoning under uncertainty. Logical aspects of multi-agent systems.
+
* [[YACGS|Computer graphics]] – computer animation, navigation and cooperation in virtual environments, methods of volumetric graphics.
 +
* [[CV Group|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:
 +
 
 +
* [[KR Group|Knowledge Representation]] – logic-based theory of knowledge representation, non-monotonic reasoning, logic programming (especially answer set programming), description logics, ontologies, semantic web; reasoning under uncertainty; logical aspects of multi-agent systems.
 +
* [http://cogsci.fmph.uniba.sk/cnc Artificial Neural Networks and Cognitive Science] – computational modelling of cognitive processes, experimental research based on EEG measurement, brain-computer interface (BCI).
 +
* [[DN Group|Complex dynamic networks]] – models of evolving complex networks and modelling of real situations with complex networks.
 +
* [[FS Group|Fuzzy systems]]
 +
* [[REC Group|Robotics and Evolutionary Computing]]
 +
 
 +
== 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.
 
*'''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.
  
*'''Computational Biology.''' Apllications 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 ==
  
==See also==
+
*'''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.
 +
 
 +
==Projects and Events==
  
 
See the following pages for more detailed research profile of our department:
 
See the following pages for more detailed research profile of our department:
  
 
* [[Research Projects]]
 
* [[Research Projects]]
* [[Research Workgroups]]
 
 
* [[Conferences and Events]]
 
* [[Conferences and Events]]
 
* [[Selected Publications]]
 
* [[Selected Publications]]
 +
 +
__NOTOC__

Verzia zo dňa a času 20:23, 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

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

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.

Projects and Events

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