Vyskum/sk: Rozdiel medzi revíziami
d (Skrátená oblasť teórie programovania) |
|||
| (21 medziľahlých úprav od 5 ďalších používateľov nie je zobrazených) | |||
| Riadok 1: | Riadok 1: | ||
| + | {{DISPLAYTITLE:Veda a výskum na KAI}} | ||
[[Category:Výskum]] | [[Category:Výskum]] | ||
| − | |||
| − | |||
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. | 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 == | == Počítačová grafika a videnie == | ||
| Riadok 11: | Riadok 8: | ||
* [[YACGS|Počítačová grafika]] – počítačová animácia, navigácia a kooperácia vo virtuálnych prostrediach, metódy objemovej grafiky. | * [[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 | + | * [[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 == | |
| − | * [[KR Group|Reprezentácia znalostí]] – | + | Výskum v umelej inteligencii a výpočtovom modelovaní na Katedre aplikovanej informatiky má dlhú tradíciu, čomu zodpovedá aj široký záber: |
| − | * [http://cogsci.fmph.uniba.sk/cnc Umelé neurónové siete | + | |
| − | * [[DN Group|Komplexné dynamické siete]] | + | * [[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]] | * [[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 == | == Teória programovania == | ||
| Riadok 31: | Riadok 27: | ||
* [[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. | * [[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. | * [[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== | ==Projekty a podujatia== | ||
| Riadok 47: | Riadok 35: | ||
* [[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__ | __NOTOC__ | ||
Aktuálna revízia z 12:21, 23. január 2017
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 – 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:
- 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.
- 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).
- Komplexné dynamické siete - modely evolvujúcich sa komplexných sietí a modelovanie reálnych situácií pomocou komplexných sietí
- 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
- Robotika a evolučné počítanie
- 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 Katedrou informatiky úzko spolupracujúca 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:
- 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.
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.