Zobrazenie zdroja stránky 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]] – rozpoznávanie a sledovanie tváre, aplikácie počítačovej grafiky a videnia v medicíne.


== Umelá inteligencia a kognitívna veda ==

Výskum v umelej inteligencii a kognitívnej vede má na KAI široký záber a dlhú tradíciu:

* [[KR Group|Reprezentácia znalostí]] – logická teória reprezentácie poznatkov, nemonotónne usudzovanie, logické programovanie s dôrazom na paradigmu answer set programming, deskripčné logiky, ontológie, sémantický web; usudzovanie za prítomnosti neurčitosti; logické aspekty multiagentových 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í
* [[Fuzzy Systems Group|Fuzzy systémy]]
* [[REC Group|Robotika a evolučné počítanie]]


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


== Bioinformatika ==

Bioinformatike sa venuje medzikatedrová výskumná skupina zložená z&nbsp;členov KAI a&nbsp;[http://www.dcs.fmph.uniba.sk KI], spolupracujúca s&nbsp;výskumnými pracovníkmi v&nbsp;biologických odboroch:
* [http://compbio.fmph.uniba.sk Výpočtová biológia] – algoritmy a&nbsp;matematické metódy na analýzu DNA sekvencií primátov, kvasiniek a&nbsp;iných zaujímavých organizmov.


==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__