(→Veda a výskum na KAI) |
(→Projekty: Direct TERAIS website link) |
||
(50 intermediate revisions by 9 users not shown) | |||
Riadok 1: | Riadok 1: | ||
− | + | {{Heading|Veda a výskum na KAI}}[[Category:Výskum]] | |
− | 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, robotiku, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálnych [[#Pracovné skupiny|pracovných skupinách]]. Pracujeme na mnohých [[#Projekty|výskumných a vzdelávacích projektoch]]. Organizujeme a podieľame sa na [[#Konferencie a semináre|vedeckých a popularizačných podujatiach]]. |
− | + | ==Projekty== | |
− | + | Vedecká činnosť KAI je zastrešená viacerými výskumnými projektami financovanými Európskou úniou, slovenskými agentúrami aj súkromnými spoločnosťami. | |
− | + | Projekty s podporou EÚ: | |
+ | {{Row| | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://alpaca-itn.eu ALPACA] | ||
+ | |content = === [https://alpaca-itn.eu ALPACA] === | ||
+ | Algoritmy pre výpočtovú analýzu pangenómov | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://www.pangenome.eu PANGAIA] | ||
+ | |content = === [https://www.pangenome.eu PANGAIA] === | ||
+ | Grafové algoritmy a integrácia dát pre pangenómy | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://tailor-network.eu TAILOR] | ||
+ | |content = === [https://tailor-network.eu TAILOR] === | ||
+ | Základy dôveryhodnej umelej inteligencie – integrácia učenia, optimalizácie a odvodzovania | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://terais.eu/ TERAIS] | ||
+ | |content = === [https://terais.eu/ TERAIS] === | ||
+ | Budovanie excelencie v robotike a umelej inteligencii na slovenskej univerzite | ||
+ | }} | ||
+ | {{BoxedColumn | ||
+ | | width = 6 | ||
+ | | col-class = col-sm-6 | ||
+ | | box-class = no-bullets | ||
+ | | link = [https://www.inf.uni-hamburg.de/en/inst/ab/wtm/research/trail.html TRAIL] | ||
+ | |content = === [https://www.inf.uni-hamburg.de/en/inst/ab/wtm/research/trail.html TRAIL] === | ||
+ | TRAnsparentné, Interpretovateľné Roboty | ||
+ | }} | ||
+ | }} | ||
− | + | [[Research Projects|Ďalšie výskumné projekty KAI]] | |
− | == | + | ==Konferencie a semináre== |
− | + | 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. | |
− | + | * [[Conferences and Events|Konferencie a podujatia]] | |
− | + | * [[Scientific Seminars|Odborné semináre]] | |
− | * [[Conferences| | + | |
− | + | ||
− | * [[ | + | |
− | + | == Pracovné skupiny == | |
+ | |||
+ | === 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 Kognícia a neuropočítanie] – výpočtové modelovanie kognitívnych procesov, neurónové siete, experimentálny výskum spojený s meraním signálu EEG. | ||
+ | * [[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. | ||
+ | |||
+ | ==Vybavenie== | ||
+ | |||
+ | Katedra je vybavená rozmanitým výskumným aj infraštruktúrnym hardvérom. | ||
+ | |||
+ | * [[Equipment overview|Prehľad vybavenia]] | ||
+ | |||
+ | __NOTOC__ |
Aktuálna revízia z 22:54, 3. máj 2024
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, robotiku, na teóriu programovania a na bioinformatiku. Výskum prebieha v tematicky zameraných neformálnych pracovných skupinách. Pracujeme na mnohých výskumných a vzdelávacích projektoch. Organizujeme a podieľame sa na vedeckých a popularizačných podujatiach.
Projekty
Vedecká činnosť KAI je zastrešená viacerými výskumnými projektami financovanými Európskou úniou, slovenskými agentúrami aj súkromnými spoločnosťami.
Projekty s podporou EÚ:
Konferencie a semináre
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.
Pracovné skupiny
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.
- Kognícia a neuropočítanie – výpočtové modelovanie kognitívnych procesov, neurónové siete, experimentálny výskum spojený s meraním signálu EEG.
- 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.
Vybavenie
Katedra je vybavená rozmanitým výskumným aj infraštruktúrnym hardvérom.