Research/en: Rozdiel medzi revíziami
(Artificial Intelligence and Cognitive Science -> Artificial Intelligence and Computational Modelling) |
|||
| Riadok 20: | Riadok 20: | ||
* [[FS Group|Fuzzy systems]] | * [[FS Group|Fuzzy systems]] | ||
* [[REC Group|Robotics and Evolutionary Computation]] | * [[REC Group|Robotics and Evolutionary Computation]] | ||
| + | * [http://compbio.fmph.uniba.sk Computational biology] – application of algorithmic methods and probabilistic modelling to problems in bioinformatics, mainly analysis of DNA sequences and proteins (joint group with [http://www.dcs.fmph.uniba.sk Department of Informatics] closely collaborating [http://www.biocenter.sk with groups at Faculty of Natural Science UK]) | ||
== Theory of Programming == | == Theory of Programming == | ||
| Riadok 27: | Riadok 28: | ||
* [[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== | ==Projects and Events== | ||
Verzia zo dňa a času 20:10, 9. 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 – 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:
- Knowledge Representation – non-monotonic reasoning, knowledge dynamics, argumentation theory, context, ontologies, and distributed reasoning; applications in multi-agent systems, ambient intelligence, semantic web, linked data, and telemedical systems.
- Artificial Neural Networks and Cognitive Science – computational modelling of cognitive processes, experimental research based on EEG measurement, brain-computer interface (BCI).
- Complex dynamic networks – models of evolving complex networks and modelling of real situations with complex networks.
- Fuzzy systems
- Robotics and Evolutionary Computation
- Computational biology – application of algorithmic methods and probabilistic modelling to problems in bioinformatics, mainly analysis of DNA sequences and proteins (joint group with Department of Informatics closely collaborating with groups at Faculty of Natural Science UK)
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.
Projects and Events
See the following pages for more detailed research profile of our department: