Zobrazenie zdroja stránky Vyskum/sk Nemáte oprávnenie upravovať túto stránku z nasledovných dôvodov: Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Môžete si zobraziť a kopírovať zdroj tejto stránky: [[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. <div class="row"> <div class="col-sm-12"> == 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. </div> <div class="col-sm-12"> == 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é a experimentálne skúmanie kognitívnych procesov, rozhranie mozog-počítač s využitím merania signálu EEG. * [[DN Group|Komplexné dynamické siete]] * [[Fuzzy Systems Group|Fuzzy systémy]] * [[REC Group|Robotika a evolučné počítanie]] </div> <div class="col-sm-12"> == Teória programovania a počítačová bezpečnosť == 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. </div> <div class="col-sm-12"> == Bioinformatika == Bioinformatike sa venuje výskumná skupina zložená z členov KAI a [http://www.dcs.fmph.uniba.sk KI]: * [http://compbio.fmph.uniba.sk Výpočtová biológia] – aplikácia algoritmov, pravdepodobnostného modelovania a strojového učenia na problémy molekulárnej biológie, najmä analýzu DNA sekvencií; spolupráca s vedeckými pracovníkmi v biologických odboroch na spoločných projektoch. </div> </div> ==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__ Späť na Vyskum/sk. ← Vyskum/sk