(Artificial Intelligence and Cognitive Science -> Artificial Intelligence and Computational Modelling) |
(Direct TERAIS website link) |
||
(21 intermediate revisions by 5 users not shown) | |||
Riadok 1: | Riadok 1: | ||
− | [[Category:Research]] | + | {{Heading|Scientific Research at DAI}}[[Category:Research]] |
− | + | ||
− | Research activities at DAI are chiefly focused on | + | 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|working groups]] focused on more specific topics. We work on many diverse [[#Projects|research and educational projects]] and organize and participate in [[#Conferences, Seminars and other Events|scientific and popularization events]]. |
− | == Computer Graphics and Vision == | + | == Projects == |
+ | |||
+ | DAI staff works on a number of scientific and educational projects financed by the EU, Slovak research agencies, and private institutions. | ||
+ | |||
+ | EU supported projects: | ||
+ | {{Row| | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://alpaca-itn.eu ALPACA] | ||
+ | |content = === [https://alpaca-itn.eu ALPACA] === | ||
+ | ALgorithms for PAngenome Computational Analysis | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://www.pangenome.eu PANGAIA] | ||
+ | |content = === [https://www.pangenome.eu PANGAIA] === | ||
+ | Pan-genome Graph Algorithms and Data Integration | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://tailor-network.eu TAILOR] | ||
+ | |content = === [https://tailor-network.eu TAILOR] === | ||
+ | Foundations of Trustworthy AI – Integrating Reasoning, Learning and Optimization | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://terais.eu/ TERAIS] | ||
+ | |content = === [https://terais.eu/ TERAIS] === | ||
+ | Towards Excellent Robotics and Artificial Intelligence at a Slovak university | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://www.inf.uni-hamburg.de/en/inst/ab/wtm/research/trail.html TRAIL] | ||
+ | |content = === [https://www.inf.uni-hamburg.de/en/inst/ab/wtm/research/trail.html TRAIL] === | ||
+ | TRAnsparent, Interpretable Robots | ||
+ | }} | ||
+ | }} | ||
+ | |||
+ | [[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]] | ||
+ | |||
+ | == Research Groups == | ||
+ | |||
+ | === Computer Graphics and Vision === | ||
Two groups at DAI work on graphics and vision problems: | Two groups at DAI work on graphics and vision problems: | ||
− | * [[YACGS|Computer | + | * [[YACGS|Computer Graphics]] – computer animation, navigation and cooperation in virtual environments, methods of volumetric graphics. |
− | * [[ | + | * [[Computer_Vision_Group|Computer Vision]] – image processing, feature extraction, salient region detection, face recognition, transport and security applications of computer vision. |
− | == Artificial Intelligence and Computational Modelling == | + | === 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: | 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]] – 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. | * [[KR Group|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. | ||
− | * [http://cogsci.fmph.uniba.sk/cnc | + | * [http://cogsci.fmph.uniba.sk/cnc Cognition and Neural Computation] – computational modelling of cognitive processes (sensorimotor learning, memory, language), artificial neural networks, experimental research based on EEG measurements. |
− | * [[DN Group|Complex | + | * [[DN Group|Complex Dynamic Networks]] – models of evolving complex networks and modelling of real situations with complex networks. |
− | * [[ | + | * [[CLA Group|Computational Logic and Algebra]] - automated deduction in many-valued logics, Goedel logics, Product logic, model construction - forcing, residuated lattices, recursive enumerability, decidability and computational complexity of deduction problems, SAT-solvers, expert systems, fuzzy inference |
* [[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 === |
Applications of formal and logical methods to theory and security of concurrent and distributed systems, computational complexity, and programming are studied by working groups: | Applications of formal and logical methods to theory and security of concurrent and distributed systems, computational complexity, and programming are studied by working groups: | ||
Riadok 27: | Riadok 86: | ||
* [[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. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
__NOTOC__ | __NOTOC__ |
Aktuálna revízia z 22:55, 3. máj 2024
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. We work on many diverse research and educational projects and organize and participate in scientific and popularization events.
Projects
DAI staff works on a number of scientific and educational projects financed by the EU, Slovak research agencies, and private institutions.
EU supported 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.
Research Groups
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.
- Cognition and Neural Computation – computational modelling of cognitive processes (sensorimotor learning, memory, language), artificial neural networks, experimental research based on EEG measurements.
- Complex Dynamic Networks – models of evolving complex networks and modelling of real situations with complex networks.
- Computational Logic and Algebra - automated deduction in many-valued logics, Goedel logics, Product logic, model construction - forcing, residuated lattices, recursive enumerability, decidability and computational complexity of deduction problems, SAT-solvers, expert systems, fuzzy inference
- 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.