Vyskum/sk: Rozdiel medzi revíziami
(Prvá verzia novej štruktúry zameranej na výskumné oblasti a pracovné skupiny) |
|||
| Riadok 2: | Riadok 2: | ||
= Veda a výskum na KAI= | = Veda a výskum na KAI= | ||
| − | Vedecká činnosť 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]] | * [[Research Projects|Výskumné projekty]] | ||
| − | |||
* [[Conferences and Events|Organizované konferencie a podujatia]] | * [[Conferences and Events|Organizované konferencie a podujatia]] | ||
| − | |||
* [[Scientific Seminars|Odborné semináre]] | * [[Scientific Seminars|Odborné semináre]] | ||
| + | |||
| + | __NOTOC__ | ||
Verzia zo dňa a času 09:59, 3. september 2015
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:
- Počítačová grafika – počítačová animácia, navigácia a kooperácia vo virtuálnych prostrediach, metódy objemovej grafiky.
- 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:
- 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.
- 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.
- Komplexné dynamické siete
- Fuzzy systémy
- Robotika a evolučné počítanie
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:
- 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.
- 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 výskumná skupina zložená z členov KAI a KI:
- 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.
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.