Dev.DAI - Príspevky používateľa [sk]

Research/sk

2016-06-15T11:04:17Z

Guller: Guller moved page Research/sk to Vyskum/sk

#REDIRECT [[Vyskum/sk]]

Vyskum/sk

2016-06-15T11:04:16Z

Guller: Guller moved page Research/sk to Vyskum/sk

[[Category:Výskum]]
= Veda a výskum na KAI=

Vedecká činnosť KAI sa orientuje predovšetkým na počítačovú grafiku a videnie, na umelú inteligenciu a kognitívnu vedu, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálnych pracovných skupinách.

== Počítačová grafika a videnie ==

Oblasťou počítačovej grafiky a videnia sa zaoberajú pracovné skupiny:

* [[YACGS|Počítačová grafika]] – počítačová animácia, navigácia a kooperácia vo virtuálnych prostrediach, metódy objemovej grafiky.
* [[Computer Vision Group|Počítačové videnie]] – spracovanie obrazu, určovanie príznakov, detekcia významných oblastí, rozpoznávanie tváre, využitie videnia v dopravných a bezpečnostných aplikáciách.

== Umelá inteligencia a výpočtové modelovanie ==

Výskum v umelej inteligencii a výpočtovom modelovaní na Katedre aplikovanej informatiky má dlhú tradíciu, čomu zodpovedá aj široký záber:

* [[KR Group|Reprezentácia znalostí]] – nemonotónne usudzovanie, dynamika znalostí, teória argumentácie, kontext, ontológie a distribuované znalosti; aplikácie v oblasti multi-agentových systémov, ambientej inteligencie, sémantického webu, prepojených dát a telemedicínskych systémov.
* [http://cogsci.fmph.uniba.sk/cnc Umelé neurónové siete a kognitívna veda] – výpočtové modelovanie kognitívnych procesov, experimentálny výskum spojený s meraním signálu EEG, rozhranie mozog-počítač (BCI).
* [[DN Group|Komplexné dynamické siete]] - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí
* [[CLA Group|Výpočtová logika a algebra]] - automatická dedukcia v mnohohodnotových logikách, Goedelove logiky, produktová logika, konštrukcia modelov - forcing, reziduované zväzy, rekurzívna enumerovateľnosť, rozhodnuteľnosť a výpočtová zložitosť dedukčných problémov, SAT-solvery, expertné systémy, fuzzy inferencia
* [[REC Group|Robotika a evolučné počítanie]]
* [http://compbio.fmph.uniba.sk Výpočtová biológia] – aplikácia algoritmických metód a pravdepodobnostného modelovania na problémy v oblasti bioinformatiky, najmä analýzu DNA sekvencií a proteínov (spoločná skupina s [http://www.dcs.fmph.uniba.sk Katedrou informatiky] úzko spolupracujúca [http://www.biocenter.sk so skupinami na Prírodovedeckej fakulte UK])

== Teória programovania ==

Aplikáciami formálnych metód v teórii a bezpečnosti konkurentných a distribuovaných systémov, výpočtovej zložitosti a v programovaní sa zaoberáme v pracovných skupinách:

* [[CDS Group|Konkurentné a distribuované systémy]] – teória konkurentných procesov a distribuovaných systémov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.
* [[DP Group|Deklaratívne programovanie]] – deskriptívna zložitosť; deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov; prepisovacie systémy a systémy s ohraničeniami.

==Projekty a podujatia==

Vedecká činnosť KAI je zastrešená viacerými výskumnými projektami. Organizujeme a spoluorganizujeme odborné konferencie, semináre a ďalšie podujatia na výmenu poznatkov a skúseností s odbornou verejnosťou i v rámci pracovných skupín, zúčastňujeme sa udalostí na popularizáciu vedy a výskumu.

* [[Research Projects|Výskumné projekty]]
* [[Conferences and Events|Organizované konferencie a podujatia]]
* [[Scientific Seminars|Odborné semináre]]

__NOTOC__

CLA Group

2015-10-10T15:50:10Z

Guller:

== Computational Logic and Algebra Group ==
----
----
[http://dai.fmph.uniba.sk/~guller Dušan Guller]
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller11.jpg|500px]]

CLA Group

2015-10-10T15:47:39Z

Guller:

== Computational Logic and Algebra Group ==
----
----
[www.dai.fmph.uniba.sk/~guller Dušan Guller]
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller11.jpg|500px]]

CLA Group

2015-10-10T15:46:01Z

Guller:

== Computational Logic and Algebra Group ==
----
----
[dai.fmph.uniba.sk/~guller Dušan Guller]
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller11.jpg|500px]]

Súbor:Guller11.jpg

2015-10-10T15:44:37Z

Guller:

Research/en

2015-10-10T15:34:03Z

Guller:

[[Category:Research]]
=Scientific Research at DAI=

Research activities at DAI are chiefly focused on the areas of computer graphics and computer vision, artificial intelligence, cognitive science, 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:

* [[YACGS|Computer graphics]] – computer animation, navigation and cooperation in virtual environments, methods of volumetric graphics.
* [[CV Group|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:

* [[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 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.
* [[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]]
* [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 ==

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.

==Projects and Events==

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

* [[Research Projects]]
* [[Conferences and Events]]
* [[Scientific Seminars]]

__NOTOC__

Research/en

2015-10-10T15:31:42Z

Guller:

[[Category:Research]]
=Scientific Research at DAI=

Research activities at DAI are chiefly focused on the areas of computer graphics and computer vision, artificial intelligence, cognitive science, 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:

* [[YACGS|Computer graphics]] – computer animation, navigation and cooperation in virtual environments, methods of volumetric graphics.
* [[CV Group|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:

* [[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 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.
* [[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]]
* [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 ==

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.

==Projects and Events==

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

* [[Research Projects]]
* [[Conferences and Events]]
* [[Scientific Seminars]]

__NOTOC__

CLA Group

2015-10-10T15:21:40Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller1.jpg|500px]]

CLA Group

2015-10-10T15:21:16Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller1.jpg|100px]]

Súbor:Guller1.jpg

2015-10-10T15:19:59Z

Guller:

CLA Group

2015-10-10T15:18:37Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller1.jpg]]

CLA Group

2015-10-10T15:17:56Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller1.jpg]]
[[Media:Guller2.pdf]]
[[Media:Guller3.pdf]]

CLA Group

2015-10-10T15:10:15Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==

[[File:Guller1.pdf|caption|page=1]]
<img src="Guller1.pdf" alt="some_text">
[[Media:Guller2.pdf]]
[[Media:Guller3.pdf]]

CLA Group

2015-10-10T15:05:01Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==
<div>
[[File:Guller1.pdf|caption|page=1]]
[[Media:Guller2.pdf]]
[[Media:Guller3.pdf]]
<\div>

CLA Group

2015-10-10T15:03:42Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==
[[File:Guller1.pdf|caption|page=1]]
[[Media:Guller2.pdf]]
[[Media:Guller3.pdf]]

CLA Group

2015-10-10T15:01:06Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==
[[File:Guller1.pdf|page=1]]
[[Media:Guller2.pdf]]
[[Media:Guller3.pdf]]

CLA Group

2015-10-10T15:00:18Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==
[[Media:Guller1.pdf|page=1]]
[[Media:Guller2.pdf]]
[[Media:Guller3.pdf]]

CLA Group

2015-10-10T14:58:02Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== DBLP Publications ==
[[Media:Guller1.pdf]]
[[Media:Guller2.pdf]]
[[Media:Guller3.pdf]]

CLA Group

2015-10-10T14:56:50Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller1.pdf|border|caption]]
[[File:Guller2.pdf|Guller2.pdf]]
[[File:Guller3.pdf|Guller3.pdf]]

CLA Group

2015-10-10T14:56:10Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller1.pdf|border|Guller1.pdf]]
[[File:Guller2.pdf|Guller2.pdf]]
[[File:Guller3.pdf|Guller3.pdf]]

CLA Group

2015-10-10T14:55:17Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller1.pdf|Guller1.pdf]]
[[File:Guller2.pdf|Guller2.pdf]]
[[File:Guller3.pdf|Guller3.pdf]]

CLA Group

2015-10-10T14:52:42Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller1.pdf]]
[[File:Guller2.pdf]]
[[File:Guller3.pdf]]

CLA Group

2015-10-10T14:48:27Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller1.pdf]]

CLA Group

2015-10-10T14:47:46Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller1.pdf|frame|200px]]

CLA Group

2015-10-10T14:47:20Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[Media:Guller1.pdf|frame|200px]]

Súbor:Guller3.pdf

2015-10-10T14:46:53Z

Guller:

Súbor:Guller2.pdf

2015-10-10T14:46:22Z

Guller:

Súbor:Guller1.pdf

2015-10-10T14:45:50Z

Guller:

CLA Group

2015-10-10T14:32:17Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[Media:Guller.pdf|frame|200px]]

CLA Group

2015-10-10T14:31:36Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller.pdf|frame|200px]]

CLA Group

2015-10-10T14:30:36Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller.pdf)|200px]]

CLA Group

2015-10-10T14:29:47Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller.pdf]]

CLA Group

2015-10-10T14:28:19Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:guller.pdf]]

CLA Group

2015-10-10T14:25:09Z

Guller:

== Computational Logic and Algebra Group ==
----
----
Dušan Guller
----
Ivor Uhliarik
----
== Publications ==
[[File:Guller.pdf]]

Súbor:Guller.pdf

2015-10-10T14:23:18Z

Guller:

CLA Group

2015-10-10T14:20:57Z

Guller:

== Computational Logic and Algebra Group ==

----

----

Dušan Guller
----
Ivor Uhliarik

CLA Group

2015-10-10T14:11:10Z

Guller: /* Computational Logic and Algebra Group */

== Computational Logic and Algebra Group ==

----

----

Members: Dušan Guller
----
Ivor Uhliarik

CLA Group

2015-10-10T14:10:29Z

Guller:

== Computational Logic and Algebra Group ==

----

----
<nowiki>
Members: Dušan Guller
----
Ivor Uhliarik
</nowiki>

CLA Group

2015-10-10T14:09:26Z

Guller:

== Computational Logic and Algebra Group ==

----

----
<nowiki>
Members: Dušan Guller
Ivor Uhliarik
</nowiki>

CLA Group

2015-10-10T14:07:28Z

Guller:

== Computational Logic and Algebra Group ==

----

----
Members: Dušan Guller
Ivor Uhliarik

CLA Group

2015-10-10T14:06:00Z

Guller: Created page with " == Computational Logic and Algebra Group =="

== Computational Logic and Algebra Group ==

Research Projects/sk

2015-10-10T13:55:27Z

Guller:

{{DISPLAYTITLE:Projekty}} [[Category:Výskum]]
= Projekty =

Pracovníci Katedry aplikovanej informatiky sa podieľajú na viacerých výskumných a edukačných projektoch.
Nižšie uvádzame prehľad aktuálnych a minulých projektov za celú históriu katedry.

== Výskumné projekty ==

Členovia KAI boli, resp. sú zapojení do týchto výskumných projektov:

{| class="alternative" style="font-size:85.7142857%;"
|-
! Od–do !! Názov výskumného projektu !! Agentúra a číslo !! Zodpovedný riešiteľ
|-
|2015-2018||Komparatívna a funkčná analýza genómov nekonvenčných druhov kvasiniek (''v spolupráci s Katedrou biochémie PriF UK'')||APVV-14-0253||Vinař T.
|-
|2015||AREST - Augmented reality and reconstruction in restoration process||Nadácia Tatra Banky (TB)||Berger Haladová Z.
|-
|2014-2017||Algoritmy a modely pre analýzu komplexných biologických sekvencií||VEGA 1/0719/14||Vinař T.
|-
|2013–2017||Rozhranie mozog-počítač s adaptívnym robotickým ramenom na rehabilitáciu ''(v spolupráci s ÚM SAV a LF UK)''||APVV-0668-12||Farkaš I.
|-
|2014–2016||Fuzzy expertné systémy||VEGA 1/0592/14||Guller D.
|-
|2013–2015||Paradigma ukotvenej kognície: prepojenie percepcie a motoriky v rozhraní mozog-počítač ''(v spolupráci s ÚM SAV)''||VEGA 1/0503/13||Rybár J.
|-
|2013–2015||Zmeny architektúry spánku u pacientov s ložiskovou ischémiou mozgu a ich vplyv na kognitívne funkcie ''(v spolupráci s ÚM SAV a LF UK)''||MZ SR SR-2012/56-SAV-6||Farkaš I.
|-
|2013–2015||Metafilozofia ako pragmatická analýza filozofických výpovedí||VEGA 1/0644/13||Kamhal D.
|-
|2013–2014||Multikontextová inferencia v heterogénnych prostrediach||APVV SK-GR-0070-11||Homola M.
|-
|2012–2015||Reprezentácia znalostí pre ambientnú inteligenciu||VEGA 1/1333/12||Gruska D.
|-
|2012||Virtualizer: 3D Scanner for Complete Reconstruction||Nadácia TB||Kovačovský T.
|-
|2012||Laboratórium mobilných aplikácií||Nadácia TB||Borovanský P.
|-
|2012||Virtuálna realita a urbánne plánovanie (VRUP)||Nadácia TB||Borovský P.
|-
|2011–2013||Snímanie pohybu, interakcia a kooperácia ľudí a avatarov v 3D rozšírenej a virtuálnej realite||VEGA 1/1106/11||Stanek S.
|-
|2011–2013||Integrácia štúdia spracovania vizuálnej informácie a vytvorenie komplexných multimediálnych učebných materiálov||KEGA 068UK-4/2011||Černeková Z.
|-
|2011–2013||Metódy vizualizácie a modelovania biologických štruktúr||VEGA 1/0631/11||Šrámek M.
|-
|2011–2013||Modely komplexných sietí a ich aplikácia v praxi||VEGA 1/0476/11||Markošová M.
|-
|2011–2013||Konštruktivistické modelovanie raného kognitívneho vývinu pomocou simulovaného stelesneného agenta||VEGA 1/0439/11||Farkaš I.
|-
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
|-
|2011–2012||Usudzovanie s dynamickými a nekonzistentnými znalosťami||APVV SK-PT-0028-10||Šefránek J.
|-
|2011||Detekcia anomálneho správania biologicky inšpirovanou inteligentnou sieťou||Nadácia TB 2010et019||Farkaš I.
|-
|2011||Štúdium a implementácia automatizovaných usability meraní||Nadácia TB 2010et010||Fabo P.
|-
|2010–2011||Nové metódy klasifikácie a predikcie v analýze biosignálov a biologicky inšpirovanom počítačovom vedení||VEGA 2/0019/10||Markošová M.
|-
|2010–2011||Filozofia fundamentálnych paradigiem v kognitívnej vede||VEGA 1/0741/09||Rybár J.
|-
|2010–2011||Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)||VEGA 1/0688/10||Šefránek J.
|-
|2010–2011||Algoritmy a softvér pre analýzu DNA, RNA a proteínov||VEGA 1/0210/10||Vinař T.
|-
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
|-
|2009–2011||Spracovanie geometrie pre urbannu virtualnu realitu||VEGA 1/0763/09||Černeková Z.
|-
|2009–2011||Základné komponenty bezpečnej výpočtovej a komunikačnej infraštruktúry||VEGA 1/0266/09||Stanek M.
|-
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
|-
|2008–2013||ALGGENOMES: Algorithms for Analysis of Genes and Genoms||EU FP7-PIRG03-GA-2008-224885||Vinař T.
|-
|2008–2010||International Workshop: Automata Theoretic Methods in Algorithmic Algebra||ESF Z-08-107/0003-00 ||Jajcayova T.
|-
|2008–2010||Aplikácia multi-agentovej modularity pre tvorbu riadiacich systémov a počítačových modelov||VEGA 1/0280/08||Lúčny A.
|-
|2008–2010||Modelovanie jazyka ako komplexného systému so samoorganizáciou||VEGA 1/0361/08||Farkaš I.
|-
|2008–2010||Saul Kripke a vzkriesenie metafyziky. Súčasné diskusie o esencializme a tzv. metafyzika modality|| VEGA 1/0814/08||Kamhal D.
|-
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
|-
|2007–2009||Znalostný systém pre kognitívnych robotov||VEGA 1/4060/07||Guller D.
|-
|2007–2009||Moderné metódy klasifikácie a predikcie spánkových stavov a straty pozornosti na základe analýzy EEG signálov (v spolupráci s ÚM SAV)||VEGA 2/7087/27||Markošová M.
|-
|2006–2008||Neštandardné modely výpočtov – špecifikácia, zložitosť, bezpečnosť||VEGA 1/3105/06||Gruska D.
|-
|2006–2008||Dynamické aspekty reprezentácie znalostí: od teoretických základov k aplikáciám||VEGA 1/3112/06||Šefránek J.
|-
|2006–2008||Kognitívne vedy a tradičné filozofické teórie||VEGA 1/3612/06||Rybár J.
|-
|2005–2009||Prostriedky pre spracovanie a vizualizáciu tomografických a konfokálnych dát||APVV-20-056105||Šrámek M.
|-
|2005–2007||Modelovanie komplexných systémov pomocou neurónových sietí so zameraním na lingvistiku||VEGA 1/2045/05||Farkaš I.
|-
|2005–2007||Prostredie na špecifikáciu multiagentových systémov||APVV-20-P04805||Šefránek J.
|-
|2005–2007||Efektívny prehliadač urbanistických dát a ich prezentácia (v spolupráci s EUROSENSE Slovakia, s.r.o., Mestské múzeum Bratislava, Centaur, s.r.o.)||APVT 20-P05105||Ftáčnik M.?
|-
|2004–2006||Reprezentácia znalostí a uvažovanie s robotickými aplikáciami||VEGA 1/1055/04 ||Guller D.
|-
|2003-2004||PhD letná škola: Logiky jazykov pre formálnu špecifikáciu softvéru (v spolupráci s  KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D.
|-
|2003–2005||Logická teória dynamických a modulárnych báz poznatkov||VEGA 1/0173/03||Šefránek J.
|-
|2003–2005||Počítanie v sieti||VEGA 1/0172/03||Gruska D.
|}

== Edukačné projekty ==

Členovia KAI boli, resp. sú zapojení do týchto edukačných projektov:

{| class="alternative" style="font-size:85.7142857%;"
|-
! Od–do !! Názov edukačného projektu !! Agentúra a číslo !! Zodpovedný riešiteľ
|-
|2013–2015||Rozvoj stredoeurópskeho interdisciplinárneho magisterského programu Kognitívna veda||KEGA 076UK-4/2013||Farkaš I.
|-
|2013–2013||Virtuálna univerzita informatiky: vývojové prostredie výuky programovania||Nadácia TB 2012vs003||Gyárfáš F.
|-
|2012–2015||Príprava štúdia matematiky a informatiky na FMFI UK v anglickom jazyku||ITMS 2614030008||R.Ďurikovič, I. Farkaš
|-
|2010||AI robotika||Nadácia TB 09vs29||Petrovič P.
|-
|2010–2011||Medziodborové štúdium bioinformatiky: Koncepcia štúdia a realizácia pilotných predmetov||KEGA 058-016UK-4/2010||Vinař T.
|-
|2009–2011||Kognitívna veda – stredoeurópsky interdisciplinárny magisterský študijný program||KEGA 3/7300/09||Rybár J.
|-
|2004–2006||Robotické laboratórium s teleprezenciou vývojára||KEGA 3/2399/04||Šefránek J.
|}

Research Projects/en

2015-10-10T13:53:00Z

Guller:

[[Category:Research]]
= Projects =

The members of the department participate or participated in the following research and educational projects.

== Research Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2015-2018||Comparative and functional analysis of non-conventional yeast genomes ''(collaboration with Dept. of Biochemistry of the Faculty of Natural Sciences)''||APVV-14-0253||Vinař T.
|-
|2015||AREST - Augmented reality and reconstruction in restoration process||Nadácia Tatra Banky (TB)||Berger Haladová Z.
|-
|2014-2017||Algorithms and models for analysis of complex biological sequences||VEGA 1/0719/14||Vinař T.
|-
|2013–2017||Brain-computer interface with adaptive robot-assisted training for rehabilitation ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||APVV-0668-12||Farkaš I.
|-
|2014–2016||Fuzzy expert systems||VEGA 1/0592/14||Guller D.
|-
|2013–2015||Grounded cognition paradigm, interaction between perception and action in the brain-computer interface ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)''||VEGA 1/0503/13||Rybár J.
|-
|2013–2015||Changes in sleep architecture in patients with focal brain ischemy and their infuence on cognitive functions ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||MZ SR SR-2012/56-SAV-6||Farkaš I.
|-
|2013–2015||Metaphilosophy as a pragmatic analysis of philosophical utterances||VEGA 1/0644/13||Kamhal D.
|-
|2013–2014||Multikontextová inferencia v heterogénnych prostrediach||APVV SK-GR-0070-11||Homola M.
|-
|2012–2015||Reprezentácia znalostí pre ambietnú inteligenciu||VEGA 1/1333/12||Gruska D.
|-
|2012||Virtualizer: 3D scanner for complete reconstruction||Nadácia TB||Kovačovský T.
|-
|2012||Laboratórium mobilných aplikácií||Nadácia TB||Borovanský P.
|-
|2012||Virtual reality and urban planning||Nadácia TB||Borovský P.
|-
|2011–2013||Motion capture, interaction and cooperation between humans and avatars in 3D augmented reality and virtual reality||VEGA 1/1106/11||Stanek S.
|-
|2011–2013||Integrácia štúdia spracovania vizuálnej informácie a vytvorenie komplexných multimediálnych učebných materiálov||KEGA 068UK-4/2011||Černeková Z.
|-
|2011–2013||Methods of vizualization and modeling of biological structures||VEGA 1/0631/11||Šrámek M.
|-
|2011–2013||Models of complex networks and their application in practice||VEGA 1/0476/11||Markošová M.
|-
|2011–2013||Constructivist modeling of early cognitive development using simulated embodied agent||VEGA 1/0439/11||Farkaš I.
|-
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
|-
|2011–2012||Reasoning with dynamic and inconsistent knowledge||APVV SK-PT-0028-10||Šefránek J.
|-
|2011||Anomaly detection using a biologically inspired intelligent network||Nadácia TB 2010et019||Farkaš I.
|-
|2011||Study and implementation of automated usability measurements||Nadácia TB 2010et010||Fabo P.
|-
|2010–2011||New methods of classification and prediction in analysis of biosignals and in biologically inspired computational vision||VEGA 2/0019/10||Markošová M.
|-
|2010–2011||Philosophy of fundamental paradigms in cognitive science||VEGA 1/0741/09||Rybár J.
|-
|2010–2011||Representation of incomplete, developing and distributed knowledge (in interactions with communication platform)||VEGA 1/0688/10||Šefránek J.
|-
|2010–2011||Algorithms and software for analysis of DNA, RNA, and proteins||VEGA 1/0210/10||Vinař T.
|-
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
|-
|2009–2011||Spracovanie geometrie pre urbánnu virtuálnu realitu||VEGA 1/0763/09||Černeková Z.
|-
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
|-
|2008–2013||ALGGENOMES: Algorithms for Analysis of Genes and Genoms||EU FP7-PIRG03-GA-2008-224885||Vinař T.
|-
|2008–2010||International Workshop: Automata Theoretic Methods in Algorithmic Algebra||ESF Z-08-107/0003-00 ||Jajcayova T.
|-
|2008–2010||Aplikácia multi-agentovej modularity pre tvorbu riadiacich systémov a počítačových modelov||VEGA 1/0280/08||Lúčny A.
|-
|2008–2010||Modeling of language as a complex system with self-organization||VEGA 1/0361/08||Farkaš I.
|-
|2008–2010||Saul Kripke and revival of metaphysics. Contemporary discussions about essentialism and so-called metaphysics of modality|| VEGA 1/0814/08||Kamhal D.
|-
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
|-
|2007–2009||A knowledge system for cognitive robots||VEGA 1/4060/07||Guller D.
|-
|2007–2009||Modern methods of classification and prediction of sleep stages and loss of attention based on analysis of EEG signals ((cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)||VEGA 2/7087/27||Markošová M.
|-
|2006–2008||Neštandardné modely výpočtov – špecifikácia, zložitosť, bezpečnosť||VEGA 1/3105/06||Gruska D.
|-
|2006–2008||Dynamical aspects of knowledge representation: from theoretical basics to applications||VEGA 1/3112/06||Šefránek J.
|-
|2006–2008||Cognitive sciences and traditional philosophical theories||VEGA 1/3612/06||Rybár J.
|-
|2005–2009||Tools for processing and visualisation of tomographic and confocal data||APVV-20-056105||Šrámek M.
|-
|2005–2007||Modeling complex systems using neural networks with focus on linguistics||VEGA 1/2045/05||Farkaš I.
|-
|2005–2007||Environment for specification of multiagent systems||APVV-20-P04805||Šefránek J.
|-
|2005–2007||Efektívny prehliadač urbanistických dát a ich prezentácia (v spolupráci s EUROSENSE Slovakia, s.r.o., Mestské múzeum Bratislava, Centaur, s.r.o.)||APVT 20-P05105||Ftáčnik M.?
|-
|2004–2006||Knowledge representation and reasoning with robotic applications||VEGA 1/1055/04 ||Guller D.
|-
|2003-2004||PhD summer school: Logics for formal specification languages. (in coop. with  KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D.
|-
|2003–2005||Logical theory of dynamic and modular knowledge bases||VEGA 1/0173/03||Šefránek J.
|-
|2003–2005||Počítanie v sieti||VEGA 1/0172/03||Gruska D.
|}

== Educational Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2013–2015||Development of middle European interdisciplinary master programme in cognitive science||KEGA 076UK-4/2013||Farkaš I.
|-
|2013–2013||Virtuálna univerzita informatiky: vývojové prostredie výuky programovania||Nadácia TB 2012vs003||Gyárfáš F.
|-
|2012–2015||Preparation of study of mathematics and informatics at FMPI Comenius University in English language||ITMS 2614030008||Ďurikovič R., Farkaš I.
|-
|2010||AI robotics||Nadácia TB 09vs29||Petrovič P.
|-
|2010–2011||Interdisciplinary bioinformatics study program: Proposal and implementation of pilot courses||KEGA 058-016UK-4/2010||Vinař T.
|-
|2009–2011||Cognitive science – middle European interdisciplinary master study programme||KEGA 3/7300/09||Rybár J.
|-
|2004–2006||Robotic laboratory with telepresence of the developer||KEGA 3/2399/04||Šefránek J.
|}

Research Projects/en

2015-10-06T15:19:24Z

Guller:

[[Category:Research]]
= Projects =

The members of the department participate or participated in the following research and educational projects.

== Research Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2015-2018||Comparative and functional analysis of non-conventional yeast genomes ''(collaboration with Dept. of Biochemistry of the Faculty of Natural Sciences)''||APVV-14-0253||Vinař T.
|-
|2015||AREST - Augmented reality and reconstruction in restoration process||Nadácia Tatra Banky (TB)||Berger Haladová Z.
|-
|2014-2017||Algorithms and models for analysis of complex biological sequences||VEGA 1/0719/14||Vinař T.
|-
|2013–2017||Brain-computer interface with adaptive robot-assisted training for rehabilitation ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||APVV-0668-12||Farkaš I.
|-
|2014–2016||Fuzzy expert systems||VEGA 1/0592/14||Guller D.
|-
|2013–2015||Grounded cognition paradigm, interaction between perception and action in the brain-computer interface ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)''||VEGA 1/0503/13||Rybár J.
|-
|2013–2015||Changes in sleep architecture in patients with focal brain ischemy and their infuence on cognitive functions ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||MZ SR SR-2012/56-SAV-6||Farkaš I.
|-
|2013–2015||Metaphilosophy as a pragmatic analysis of philosophical utterances||VEGA 1/0644/13||Kamhal D.
|-
|2013–2014||Multikontextová inferencia v heterogénnych prostrediach||APVV SK-GR-0070-11||Homola M.
|-
|2012–2015||Reprezentácia znalostí pre ambietnú inteligenciu||VEGA 1/1333/12||Gruska D.
|-
|2012||Virtualizer: 3D scanner for complete reconstruction||Nadácia TB||Kovačovský T.
|-
|2012||Laboratórium mobilných aplikácií||Nadácia TB||Borovanský P.
|-
|2012||Virtual reality and urban planning||Nadácia TB||Borovský P.
|-
|2011–2013||Motion capture, interaction and cooperation between humans and avatars in 3D augmented reality and virtual reality||VEGA 1/1106/11||Stanek S.
|-
|2011–2013||Integrácia štúdia spracovania vizuálnej informácie a vytvorenie komplexných multimediálnych učebných materiálov||KEGA 068UK-4/2011||Černeková Z.
|-
|2011–2013||Methods of vizualization and modeling of biological structures||VEGA 1/0631/11||Šrámek M.
|-
|2011–2013||Models of complex networks and their application in practice||VEGA 1/0476/11||Markošová M.
|-
|2011–2013||Constructivist modeling of early cognitive development using simulated embodied agent||VEGA 1/0439/11||Farkaš I.
|-
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
|-
|2011–2012||Reasoning with dynamic and inconsistent knowledge||APVV SK-PT-0028-10||Šefránek J.
|-
|2011||Anomaly detection using a biologically inspired intelligent network||Nadácia TB 2010et019||Farkaš I.
|-
|2011||Study and implementation of automated usability measurements||Nadácia TB 2010et010||Fabo P.
|-
|2010–2011||New methods of classification and prediction in analysis of biosignals and in biologically inspired computational vision||VEGA 2/0019/10||Markošová M.
|-
|2010–2011||Philosophy of fundamental paradigms in cognitive science||VEGA 1/0741/09||Rybár J.
|-
|2010–2011||Representation of incomplete, developing and distributed knowledge (in interactions with communication platform)||VEGA 1/0688/10||Šefránek J.
|-
|2010–2011||Algorithms and software for analysis of DNA, RNA, and proteins||VEGA 1/0210/10||Vinař T.
|-
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
|-
|2009–2011||Spracovanie geometrie pre urbánnu virtuálnu realitu||VEGA 1/0763/09||Černeková Z.
|-
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
|-
|2008–2013||ALGGENOMES: Algorithms for Analysis of Genes and Genoms||EU FP7-PIRG03-GA-2008-224885||Vinař T.
|-
|2008–2010||International Workshop: Automata Theoretic Methods in Algorithmic Algebra||ESF Z-08-107/0003-00 ||Jajcayova T.
|-
|2008–2010||Aplikácia multi-agentovej modularity pre tvorbu riadiacich systémov a počítačových modelov||VEGA 1/0280/08||Lúčny A.
|-
|2008–2010||Modeling of language as a complex system with self-organization||VEGA 1/0361/08||Farkaš I.
|-
|2008–2010||Saul Kripke and revival of metaphysics. Contemporary discussions about essentialism and so-called metaphysics of modality|| VEGA 1/0814/08||Kamhal D.
|-
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
|-
|2007–2009||A knowledge system for cognitive robots||VEGA 1/4060/07||Guller D.
|-
|2007–2009||Modern methods of classification and prediction of sleep stages and loss of attention based on analysis of EEG signals ((cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)||VEGA 2/7087/27||Markošová M.
|-
|2006–2008||Neštandardné modely výpočtov – špecifikácia, zložitosť, bezpečnosť||VEGA 1/3105/06||Gruska D.
|-
|2006–2008||Dynamical aspects of knowledge representation: from theoretical basics to applications||VEGA 1/3112/06||Šefránek J.
|-
|2006–2008||Cognitive sciences and traditional philosophical theories||VEGA 1/3612/06||Rybár J.
|-
|2005–2009||Tools for processing and visualisation of tomographic and confocal data||APVV-20-056105||Šrámek M.
|-
|2005–2007||Modeling complex systems using neural networks with focus on linguistics||VEGA 1/2045/05||Farkaš I.
|-
|2005–2007||Environment for specification of multiagent systems||APVV-20-P04805||Šefránek J.
|-
|2005–2007||Efektívny prehliadač urbanistických dát a ich prezentácia (v spolupráci s EUROSENSE Slovakia, s.r.o., Mestské múzeum Bratislava, Centaur, s.r.o.)||APVT 20-P05105||Ftáčnik M.?
|-
|2004–2006||Knowledge representation and reasoning with robotic applications.||VEGA 1/1055/04 ||Guller D.
|-
|2003-2004||PhD summer school: Logics for formal specification languages. (in coop. with  KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D.
|-
|2003–2005||Logical theory of dynamic and modular knowledge bases||VEGA 1/0173/03||Šefránek J.
|-
|2003–2005||Počítanie v sieti||VEGA 1/0172/03||Gruska D.
|}

== Educational Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2013–2015||Development of middle European interdisciplinary master programme in cognitive science||KEGA 076UK-4/2013||Farkaš I.
|-
|2013–2013||Virtuálna univerzita informatiky: vývojové prostredie výuky programovania||Nadácia TB 2012vs003||Gyárfáš F.
|-
|2012–2015||Preparation of study of mathematics and informatics at FMPI Comenius University in English language||ITMS 2614030008||Ďurikovič R., Farkaš I.
|-
|2010||AI robotics||Nadácia TB 09vs29||Petrovič P.
|-
|2010–2011||Interdisciplinary bioinformatics study program: Proposal and implementation of pilot courses||KEGA 058-016UK-4/2010||Vinař T.
|-
|2009–2011||Cognitive science – middle European interdisciplinary master study programme||KEGA 3/7300/09||Rybár J.
|-
|2004–2006||Robotic laboratory with telepresence of the developer||KEGA 3/2399/04||Šefránek J.
|}

Research Projects/en

2015-10-06T15:17:49Z

Guller:

[[Category:Research]]
= Projects =

The members of the department participate or participated in the following research and educational projects.

== Research Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2015-2018||Comparative and functional analysis of non-conventional yeast genomes ''(collaboration with Dept. of Biochemistry of the Faculty of Natural Sciences)''||APVV-14-0253||Vinař T.
|-
|2015||AREST - Augmented reality and reconstruction in restoration process||Nadácia Tatra Banky (TB)||Berger Haladová Z.
|-
|2014-2017||Algorithms and models for analysis of complex biological sequences||VEGA 1/0719/14||Vinař T.
|-
|2013–2017||Brain-computer interface with adaptive robot-assisted training for rehabilitation ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||APVV-0668-12||Farkaš I.
|-
|2014–2016||Fuzzy expert systems||VEGA 1/0592/14||Guller D.
|-
|2013–2015||Grounded cognition paradigm, interaction between perception and action in the brain-computer interface ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)''||VEGA 1/0503/13||Rybár J.
|-
|2013–2015||Changes in sleep architecture in patients with focal brain ischemy and their infuence on cognitive functions ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||MZ SR SR-2012/56-SAV-6||Farkaš I.
|-
|2013–2015||Metaphilosophy as a pragmatic analysis of philosophical utterances||VEGA 1/0644/13||Kamhal D.
|-
|2013–2014||Multikontextová inferencia v heterogénnych prostrediach||APVV SK-GR-0070-11||Homola M.
|-
|2012–2015||Reprezentácia znalostí pre ambietnú inteligenciu||VEGA 1/1333/12||Gruska D.
|-
|2012||Virtualizer: 3D scanner for complete reconstruction||Nadácia TB||Kovačovský T.
|-
|2012||Laboratórium mobilných aplikácií||Nadácia TB||Borovanský P.
|-
|2012||Virtual reality and urban planning||Nadácia TB||Borovský P.
|-
|2011–2013||Motion capture, interaction and cooperation between humans and avatars in 3D augmented reality and virtual reality||VEGA 1/1106/11||Stanek S.
|-
|2011–2013||Integrácia štúdia spracovania vizuálnej informácie a vytvorenie komplexných multimediálnych učebných materiálov||KEGA 068UK-4/2011||Černeková Z.
|-
|2011–2013||Methods of vizualization and modeling of biological structures||VEGA 1/0631/11||Šrámek M.
|-
|2011–2013||Models of complex networks and their application in practice||VEGA 1/0476/11||Markošová M.
|-
|2011–2013||Constructivist modeling of early cognitive development using simulated embodied agent||VEGA 1/0439/11||Farkaš I.
|-
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
|-
|2011–2012||Reasoning with dynamic and inconsistent knowledge||APVV SK-PT-0028-10||Šefránek J.
|-
|2011||Anomaly detection using a biologically inspired intelligent network||Nadácia TB 2010et019||Farkaš I.
|-
|2011||Study and implementation of automated usability measurements||Nadácia TB 2010et010||Fabo P.
|-
|2010–2011||New methods of classification and prediction in analysis of biosignals and in biologically inspired computational vision||VEGA 2/0019/10||Markošová M.
|-
|2010–2011||Philosophy of fundamental paradigms in cognitive science||VEGA 1/0741/09||Rybár J.
|-
|2010–2011||Representation of incomplete, developing and distributed knowledge (in interactions with communication platform)||VEGA 1/0688/10||Šefránek J.
|-
|2010–2011||Algorithms and software for analysis of DNA, RNA, and proteins||VEGA 1/0210/10||Vinař T.
|-
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
|-
|2009–2011||Spracovanie geometrie pre urbánnu virtuálnu realitu||VEGA 1/0763/09||Černeková Z.
|-
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
|-
|2008–2013||ALGGENOMES: Algorithms for Analysis of Genes and Genoms||EU FP7-PIRG03-GA-2008-224885||Vinař T.
|-
|2008–2010||International Workshop: Automata Theoretic Methods in Algorithmic Algebra||ESF Z-08-107/0003-00 ||Jajcayova T.
|-
|2008–2010||Aplikácia multi-agentovej modularity pre tvorbu riadiacich systémov a počítačových modelov||VEGA 1/0280/08||Lúčny A.
|-
|2008–2010||Modeling of language as a complex system with self-organization||VEGA 1/0361/08||Farkaš I.
|-
|2008–2010||Saul Kripke and revival of metaphysics. Contemporary discussions about essentialism and so-called metaphysics of modality|| VEGA 1/0814/08||Kamhal D.
|-
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
|-
|2007–2009||A knowledge system for cognitive robots||VEGA 1/4060/07||Guller D.
|-
|2007–2009||Modern methods of classification and prediction of sleep stages and loss of attention based on analysis of EEG signals ((cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)||VEGA 2/7087/27||Markošová M.
|-
|2006–2008||Neštandardné modely výpočtov – špecifikácia, zložitosť, bezpečnosť||VEGA 1/3105/06||Gruska D.
|-
|2006–2008||Dynamical aspects of knowledge representation: from theoretical basics to applications||VEGA 1/3112/06||Šefránek J.
|-
|2006–2008||Cognitive sciences and traditional philosophical theories||VEGA 1/3612/06||Rybár J.
|-
|2005–2009||Tools for processing and visualisation of tomographic and confocal data||APVV-20-056105||Šrámek M.
|-
|2005–2007||Modeling complex systems using neural networks with focus on linguistics||VEGA 1/2045/05||Farkaš I.
|-
|2005–2007||Environment for specification of multiagent systems||APVV-20-P04805||Šefránek J.
|-
|2005–2007||Efektívny prehliadač urbanistických dát a ich prezentácia (v spolupráci s EUROSENSE Slovakia, s.r.o., Mestské múzeum Bratislava, Centaur, s.r.o.)||APVT 20-P05105||Ftáčnik M.?
|-
|2004–2006||Knowledge representation and reasoning with robotic applications.||VEGA 1/1055/04 ||Guller D.
|-
|2003-2004||PhD summer school: Logics for formal specification languages. (with  KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D.
|-
|2003–2005||Logical theory of dynamic and modular knowledge bases||VEGA 1/0173/03||Šefránek J.
|-
|2003–2005||Počítanie v sieti||VEGA 1/0172/03||Gruska D.
|}

== Educational Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2013–2015||Development of middle European interdisciplinary master programme in cognitive science||KEGA 076UK-4/2013||Farkaš I.
|-
|2013–2013||Virtuálna univerzita informatiky: vývojové prostredie výuky programovania||Nadácia TB 2012vs003||Gyárfáš F.
|-
|2012–2015||Preparation of study of mathematics and informatics at FMPI Comenius University in English language||ITMS 2614030008||Ďurikovič R., Farkaš I.
|-
|2010||AI robotics||Nadácia TB 09vs29||Petrovič P.
|-
|2010–2011||Interdisciplinary bioinformatics study program: Proposal and implementation of pilot courses||KEGA 058-016UK-4/2010||Vinař T.
|-
|2009–2011||Cognitive science – middle European interdisciplinary master study programme||KEGA 3/7300/09||Rybár J.
|-
|2004–2006||Robotic laboratory with telepresence of the developer||KEGA 3/2399/04||Šefránek J.
|}

Research Projects/en

2015-10-06T15:12:32Z

Guller:

[[Category:Research]]
= Projects =

The members of the department participate or participated in the following research and educational projects.

== Research Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2015-2018||Comparative and functional analysis of non-conventional yeast genomes ''(collaboration with Dept. of Biochemistry of the Faculty of Natural Sciences)''||APVV-14-0253||Vinař T.
|-
|2015||AREST - Augmented reality and reconstruction in restoration process||Nadácia Tatra Banky (TB)||Berger Haladová Z.
|-
|2014-2017||Algorithms and models for analysis of complex biological sequences||VEGA 1/0719/14||Vinař T.
|-
|2013–2017||Brain-computer interface with adaptive robot-assisted training for rehabilitation ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||APVV-0668-12||Farkaš I.
|-
|2014–2016||Fuzzy expert systems||VEGA 1/0592/14||Guller D.
|-
|2013–2015||Grounded cognition paradigm, interaction between perception and action in the brain-computer interface ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)''||VEGA 1/0503/13||Rybár J.
|-
|2013–2015||Changes in sleep architecture in patients with focal brain ischemy and their infuence on cognitive functions ''(cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci., and Faculty of Medicine)''||MZ SR SR-2012/56-SAV-6||Farkaš I.
|-
|2013–2015||Metaphilosophy as a pragmatic analysis of philosophical utterances||VEGA 1/0644/13||Kamhal D.
|-
|2013–2014||Multikontextová inferencia v heterogénnych prostrediach||APVV SK-GR-0070-11||Homola M.
|-
|2012–2015||Reprezentácia znalostí pre ambietnú inteligenciu||VEGA 1/1333/12||Gruska D.
|-
|2012||Virtualizer: 3D scanner for complete reconstruction||Nadácia TB||Kovačovský T.
|-
|2012||Laboratórium mobilných aplikácií||Nadácia TB||Borovanský P.
|-
|2012||Virtual reality and urban planning||Nadácia TB||Borovský P.
|-
|2011–2013||Motion capture, interaction and cooperation between humans and avatars in 3D augmented reality and virtual reality||VEGA 1/1106/11||Stanek S.
|-
|2011–2013||Integrácia štúdia spracovania vizuálnej informácie a vytvorenie komplexných multimediálnych učebných materiálov||KEGA 068UK-4/2011||Černeková Z.
|-
|2011–2013||Methods of vizualization and modeling of biological structures||VEGA 1/0631/11||Šrámek M.
|-
|2011–2013||Models of complex networks and their application in practice||VEGA 1/0476/11||Markošová M.
|-
|2011–2013||Constructivist modeling of early cognitive development using simulated embodied agent||VEGA 1/0439/11||Farkaš I.
|-
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
|-
|2011–2012||Reasoning with dynamic and inconsistent knowledge||APVV SK-PT-0028-10||Šefránek J.
|-
|2011||Anomaly detection using a biologically inspired intelligent network||Nadácia TB 2010et019||Farkaš I.
|-
|2011||Study and implementation of automated usability measurements||Nadácia TB 2010et010||Fabo P.
|-
|2010–2011||New methods of classification and prediction in analysis of biosignals and in biologically inspired computational vision||VEGA 2/0019/10||Markošová M.
|-
|2010–2011||Philosophy of fundamental paradigms in cognitive science||VEGA 1/0741/09||Rybár J.
|-
|2010–2011||Representation of incomplete, developing and distributed knowledge (in interactions with communication platform)||VEGA 1/0688/10||Šefránek J.
|-
|2010–2011||Algorithms and software for analysis of DNA, RNA, and proteins||VEGA 1/0210/10||Vinař T.
|-
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
|-
|2009–2011||Spracovanie geometrie pre urbánnu virtuálnu realitu||VEGA 1/0763/09||Černeková Z.
|-
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
|-
|2008–2013||ALGGENOMES: Algorithms for Analysis of Genes and Genoms||EU FP7-PIRG03-GA-2008-224885||Vinař T.
|-
|2008–2010||International Workshop: Automata Theoretic Methods in Algorithmic Algebra||ESF Z-08-107/0003-00 ||Jajcayova T.
|-
|2008–2010||Aplikácia multi-agentovej modularity pre tvorbu riadiacich systémov a počítačových modelov||VEGA 1/0280/08||Lúčny A.
|-
|2008–2010||Modeling of language as a complex system with self-organization||VEGA 1/0361/08||Farkaš I.
|-
|2008–2010||Saul Kripke and revival of metaphysics. Contemporary discussions about essentialism and so-called metaphysics of modality|| VEGA 1/0814/08||Kamhal D.
|-
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
|-
|2007–2009||A knowledge system for cognitive robots||VEGA 1/4060/07||Guller D.
|-
|2007–2009||Modern methods of classification and prediction of sleep stages and loss of attention based on analysis of EEG signals ((cooperation with Inst. of Measurement Sci., Slovak Acad. of Sci.)||VEGA 2/7087/27||Markošová M.
|-
|2006–2008||Neštandardné modely výpočtov – špecifikácia, zložitosť, bezpečnosť||VEGA 1/3105/06||Gruska D.
|-
|2006–2008||Dynamical aspects of knowledge representation: from theoretical basics to applications||VEGA 1/3112/06||Šefránek J.
|-
|2006–2008||Cognitive sciences and traditional philosophical theories||VEGA 1/3612/06||Rybár J.
|-
|2005–2009||Tools for processing and visualisation of tomographic and confocal data||APVV-20-056105||Šrámek M.
|-
|2005–2007||Modeling complex systems using neural networks with focus on linguistics||VEGA 1/2045/05||Farkaš I.
|-
|2005–2007||Environment for specification of multiagent systems||APVV-20-P04805||Šefránek J.
|-
|2005–2007||Efektívny prehliadač urbanistických dát a ich prezentácia (v spolupráci s EUROSENSE Slovakia, s.r.o., Mestské múzeum Bratislava, Centaur, s.r.o.)||APVT 20-P05105||Ftáčnik M.?
|-
|2004–2006||Knowledge representation and reasoning with robotic applications.||VEGA 1/1055/04 ||Guller D.
|-
|2003-2004||PhD summer school: Logics for formal specification languages. (v with  KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D.
|-
|2003–2005||Logical theory of dynamic and modular knowledge bases||VEGA 1/0173/03||Šefránek J.
|-
|2003–2005||Počítanie v sieti||VEGA 1/0172/03||Gruska D.
|}

== Educational Projects ==

{| class="alternative" style="font-size:85.7142857%;"
|-
!From–to !! Title of educational project !! Agency and number !! Principal investigator
|-
|2013–2015||Development of middle European interdisciplinary master programme in cognitive science||KEGA 076UK-4/2013||Farkaš I.
|-
|2013–2013||Virtuálna univerzita informatiky: vývojové prostredie výuky programovania||Nadácia TB 2012vs003||Gyárfáš F.
|-
|2012–2015||Preparation of study of mathematics and informatics at FMPI Comenius University in English language||ITMS 2614030008||Ďurikovič R., Farkaš I.
|-
|2010||AI robotics||Nadácia TB 09vs29||Petrovič P.
|-
|2010–2011||Interdisciplinary bioinformatics study program: Proposal and implementation of pilot courses||KEGA 058-016UK-4/2010||Vinař T.
|-
|2009–2011||Cognitive science – middle European interdisciplinary master study programme||KEGA 3/7300/09||Rybár J.
|-
|2004–2006||Robotic laboratory with telepresence of the developer||KEGA 3/2399/04||Šefránek J.
|}

Research Projects/sk

2015-10-06T15:06:04Z

Guller:

{{DISPLAYTITLE:Projekty}} [[Category:Výskum]]
= Projekty =

Pracovníci Katedry aplikovanej informatiky sa podieľajú na viacerých výskumných a edukačných projektoch.
Nižšie uvádzame prehľad aktuálnych a minulých projektov za celú históriu katedry.

== Výskumné projekty ==

Členovia KAI boli, resp. sú zapojení do týchto výskumných projektov:

{| class="alternative" style="font-size:85.7142857%;"
|-
! Od–do !! Názov výskumného projektu !! Agentúra a číslo !! Zodpovedný riešiteľ
|-
|2015-2018||Komparatívna a funkčná analýza genómov nekonvenčných druhov kvasiniek (''v spolupráci s Katedrou biochémie PriF UK'')||APVV-14-0253||Vinař T.
|-
|2015||AREST - Augmented reality and reconstruction in restoration process||Nadácia Tatra Banky (TB)||Berger Haladová Z.
|-
|2014-2017||Algoritmy a modely pre analýzu komplexných biologických sekvencií||VEGA 1/0719/14||Vinař T.
|-
|2013–2017||Rozhranie mozog-počítač s adaptívnym robotickým ramenom na rehabilitáciu ''(v spolupráci s ÚM SAV a LF UK)''||APVV-0668-12||Farkaš I.
|-
|2014–2016||Fuzzy expertné systémy||VEGA 1/0592/14||Guller D.
|-
|2013–2015||Paradigma ukotvenej kognície: prepojenie percepcie a motoriky v rozhraní mozog-počítač ''(v spolupráci s ÚM SAV)''||VEGA 1/0503/13||Rybár J.
|-
|2013–2015||Zmeny architektúry spánku u pacientov s ložiskovou ischémiou mozgu a ich vplyv na kognitívne funkcie ''(v spolupráci s ÚM SAV a LF UK)''||MZ SR SR-2012/56-SAV-6||Farkaš I.
|-
|2013–2015||Metafilozofia ako pragmatická analýza filozofických výpovedí||VEGA 1/0644/13||Kamhal D.
|-
|2013–2014||Multikontextová inferencia v heterogénnych prostrediach||APVV SK-GR-0070-11||Homola M.
|-
|2012–2015||Reprezentácia znalostí pre ambientnú inteligenciu||VEGA 1/1333/12||Gruska D.
|-
|2012||Virtualizer: 3D Scanner for Complete Reconstruction||Nadácia TB||Kovačovský T.
|-
|2012||Laboratórium mobilných aplikácií||Nadácia TB||Borovanský P.
|-
|2012||Virtuálna realita a urbánne plánovanie (VRUP)||Nadácia TB||Borovský P.
|-
|2011–2013||Snímanie pohybu, interakcia a kooperácia ľudí a avatarov v 3D rozšírenej a virtuálnej realite||VEGA 1/1106/11||Stanek S.
|-
|2011–2013||Integrácia štúdia spracovania vizuálnej informácie a vytvorenie komplexných multimediálnych učebných materiálov||KEGA 068UK-4/2011||Černeková Z.
|-
|2011–2013||Metódy vizualizácie a modelovania biologických štruktúr||VEGA 1/0631/11||Šrámek M.
|-
|2011–2013||Modely komplexných sietí a ich aplikácia v praxi||VEGA 1/0476/11||Markošová M.
|-
|2011–2013||Konštruktivistické modelovanie raného kognitívneho vývinu pomocou simulovaného stelesneného agenta||VEGA 1/0439/11||Farkaš I.
|-
|2011–2013||Optimalizácia efektívnosti kódovania videa pre prenos a záznam||VEGA 1/0602/11||Černeková Z.
|-
|2011–2012||Usudzovanie s dynamickými a nekonzistentnými znalosťami||APVV SK-PT-0028-10||Šefránek J.
|-
|2011||Detekcia anomálneho správania biologicky inšpirovanou inteligentnou sieťou||Nadácia TB 2010et019||Farkaš I.
|-
|2011||Štúdium a implementácia automatizovaných usability meraní||Nadácia TB 2010et010||Fabo P.
|-
|2010–2011||Nové metódy klasifikácie a predikcie v analýze biosignálov a biologicky inšpirovanom počítačovom vedení||VEGA 2/0019/10||Markošová M.
|-
|2010–2011||Filozofia fundamentálnych paradigiem v kognitívnej vede||VEGA 1/0741/09||Rybár J.
|-
|2010–2011||Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)||VEGA 1/0688/10||Šefránek J.
|-
|2010–2011||Algoritmy a softvér pre analýzu DNA, RNA a proteínov||VEGA 1/0210/10||Vinař T.
|-
|2010||Multi-touch display and its applications||Nadácia TB||Fabo P.
|-
|2009–2011||Spracovanie geometrie pre urbannu virtualnu realitu||VEGA 1/0763/09||Černeková Z.
|-
|2009–2011||Základné komponenty bezpečnej výpočtovej a komunikačnej infraštruktúry||VEGA 1/0266/09||Stanek M.
|-
|2009–2011||Optické merania komplexných povrchových náterov s podpovrchovým rozptylom na pigmentoch||VEGA 1/0662/09||Ďurikovič R.
|-
|2008–2013||ALGGENOMES: Algorithms for Analysis of Genes and Genoms||EU FP7-PIRG03-GA-2008-224885||Vinař T.
|-
|2008–2010||International Workshop: Automata Theoretic Methods in Algorithmic Algebra||ESF Z-08-107/0003-00 ||Jajcayova T.
|-
|2008–2010||Aplikácia multi-agentovej modularity pre tvorbu riadiacich systémov a počítačových modelov||VEGA 1/0280/08||Lúčny A.
|-
|2008–2010||Modelovanie jazyka ako komplexného systému so samoorganizáciou||VEGA 1/0361/08||Farkaš I.
|-
|2008–2010||Saul Kripke a vzkriesenie metafyziky. Súčasné diskusie o esencializme a tzv. metafyzika modality|| VEGA 1/0814/08||Kamhal D.
|-
|2008–2011||Multimediálna čítanka||APVV LPP-0056-07||Nagy M.
|-
|2007–2009||Znalostný systém pre kognitívnych robotov||VEGA 1/4060/07||Guller D.
|-
|2007–2009||Moderné metódy klasifikácie a predikcie spánkových stavov a straty pozornosti na základe analýzy EEG signálov (v spolupráci s ÚM SAV)||VEGA 2/7087/27||Markošová M.
|-
|2006–2008||Neštandardné modely výpočtov – špecifikácia, zložitosť, bezpečnosť||VEGA 1/3105/06||Gruska D.
|-
|2006–2008||Dynamické aspekty reprezentácie znalostí: od teoretických základov k aplikáciám||VEGA 1/3112/06||Šefránek J.
|-
|2006–2008||Kognitívne vedy a tradičné filozofické teórie||VEGA 1/3612/06||Rybár J.
|-
|2005–2009||Prostriedky pre spracovanie a vizualizáciu tomografických a konfokálnych dát||APVV-20-056105||Šrámek M.
|-
|2005–2007||Modelovanie komplexných systémov pomocou neurónových sietí so zameraním na lingvistiku||VEGA 1/2045/05||Farkaš I.
|-
|2005–2007||Prostredie na špecifikáciu multiagentových systémov||APVV-20-P04805||Šefránek J.
|-
|2005–2007||Efektívny prehliadač urbanistických dát a ich prezentácia (v spolupráci s EUROSENSE Slovakia, s.r.o., Mestské múzeum Bratislava, Centaur, s.r.o.)||APVT 20-P05105||Ftáčnik M.?
|-
|2004–2006||Reprezentácia znalostí a uvažovanie s robotickými aplikáciami.||VEGA 1/1055/04 ||Guller D.
|-
|2003-2004||PhD letná škola: Logiky jazykov pre formálnu špecifikáciu softvéru. (v spolupráci s  KI FMFI, Technical Univ. of Denmark, Essex Univ., German Research Centre for Artificial Intelligence)||CoLogNET, FET, IST 2001-33123||Guller D.
|-
|2003–2005||Logická teória dynamických a modulárnych báz poznatkov||VEGA 1/0173/03||Šefránek J.
|-
|2003–2005||Počítanie v sieti||VEGA 1/0172/03||Gruska D.
|}

== Edukačné projekty ==

Členovia KAI boli, resp. sú zapojení do týchto edukačných projektov:

{| class="alternative" style="font-size:85.7142857%;"
|-
! Od–do !! Názov edukačného projektu !! Agentúra a číslo !! Zodpovedný riešiteľ
|-
|2013–2015||Rozvoj stredoeurópskeho interdisciplinárneho magisterského programu Kognitívna veda||KEGA 076UK-4/2013||Farkaš I.
|-
|2013–2013||Virtuálna univerzita informatiky: vývojové prostredie výuky programovania||Nadácia TB 2012vs003||Gyárfáš F.
|-
|2012–2015||Príprava štúdia matematiky a informatiky na FMFI UK v anglickom jazyku||ITMS 2614030008||R.Ďurikovič, I. Farkaš
|-
|2010||AI robotika||Nadácia TB 09vs29||Petrovič P.
|-
|2010–2011||Medziodborové štúdium bioinformatiky: Koncepcia štúdia a realizácia pilotných predmetov||KEGA 058-016UK-4/2010||Vinař T.
|-
|2009–2011||Kognitívna veda – stredoeurópsky interdisciplinárny magisterský študijný program||KEGA 3/7300/09||Rybár J.
|-
|2004–2006||Robotické laboratórium s teleprezenciou vývojára||KEGA 3/2399/04||Šefránek J.
|}

Vyskum/sk

2015-09-20T02:07:25Z

Guller:

Vyskum/sk

2015-09-20T01:59:57Z

Guller:

[[Category:Výskum]]
= Veda a výskum na KAI=

Vedecká činnosť KAI sa orientuje predovšetkým na počítačovú grafiku a videnie, na umelú inteligenciu a kognitívnu vedu, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálnych pracovných skupinách.

== Počítačová grafika a videnie ==

Oblasťou počítačovej grafiky a videnia sa zaoberajú pracovné skupiny:

* [[YACGS|Počítačová grafika]] – počítačová animácia, navigácia a kooperácia vo virtuálnych prostrediach, metódy objemovej grafiky.
* [[Computer Vision Group|Počítačové videnie]] – spracovanie obrazu, určovanie príznakov, detekcia významných oblastí, rozpoznávanie tváre, využitie videnia v dopravných a bezpečnostných aplikáciách.

== Umelá inteligencia a výpočtové modelovanie ==

Výskum v umelej inteligencii a výpočtovom modelovaní na Katedre aplikovanej informatiky má dlhú tradíciu, čomu zodpovedá aj široký záber:

* [[KR Group|Reprezentácia znalostí]] – nemonotónne usudzovanie, dynamika znalostí, teória argumentácie, kontext, ontológie a distribuované znalosti; aplikácie v oblasti multi-agentových systémov, ambientej inteligencie, sémantického webu, prepojených dát a telemedicínskych systémov.
* [http://cogsci.fmph.uniba.sk/cnc Umelé neurónové siete a kognitívna veda] – výpočtové modelovanie kognitívnych procesov, experimentálny výskum spojený s meraním signálu EEG, rozhranie mozog-počítač (BCI).
* [[DN Group|Komplexné dynamické siete]] - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí
* [[CLA Group|Výpočtová logika a algebra]] - automatická dedukcia v mnohohodnotových logikách, konštrukcia modelov, reziduované zväzy, rozhodnuteľnosť a výpočtová zložitosť dedukčných problémov, SAT-solvery, expertné systémy, fuzzy inferencia
* [[REC Group|Robotika a evolučné počítanie]]
* [http://compbio.fmph.uniba.sk Výpočtová biológia] – aplikácia algoritmických metód a pravdepodobnostného modelovania na problémy v oblasti bioinformatiky, najmä analýzu DNA sekvencií a proteínov (spoločná skupina s [http://www.dcs.fmph.uniba.sk Katedrou informatiky] úzko spolupracujúca [http://www.biocenter.sk so skupinami na Prírodovedeckej fakulte UK])

== Teória programovania ==

Aplikáciami formálnych metód v teórii a bezpečnosti konkurentných a distribuovaných systémov, výpočtovej zložitosti a v programovaní sa zaoberáme v pracovných skupinách:

* [[CDS Group|Konkurentné a distribuované systémy]] – teória konkurentných procesov a distribuovaných systémov, formálnych modelov a ich aplikácií v rôznych oblastiach – špecifikácia, verifikácia, bezpečnosť počítačových sytémov.
* [[DP Group|Deklaratívne programovanie]] – deskriptívna zložitosť; deklaratívne programovanie, dokazovanie správnosti programov, techniky transformácie programov; prepisovacie systémy a systémy s ohraničeniami.

==Projekty a podujatia==

Vedecká činnosť KAI je zastrešená viacerými výskumnými projektami. Organizujeme a spoluorganizujeme odborné konferencie, semináre a ďalšie podujatia na výmenu poznatkov a skúseností s odbornou verejnosťou i v rámci pracovných skupín, zúčastňujeme sa udalostí na popularizáciu vedy a výskumu.

* [[Research Projects|Výskumné projekty]]
* [[Conferences and Events|Organizované konferencie a podujatia]]
* [[Scientific Seminars|Odborné semináre]]

__NOTOC__