Projekty
Názov projektu |
Stručný popis projektu |
|---|---|
| Podpora vzájomného prepojenia predmetov počítačového a softvérového inžinierstva s využitím KPIkitu |
Rozvoj informatiky v súčasnosti priamo i nepriamo významne ovplyvňuje takmer všetky vedné disciplíny, najmä oblasť nových informačných, komunikačných a sieťových technológií. Osobitný význam majú rozmanité aplikácie vložených a počítačových systémov pri tvorbe, projektovaní, transformácii a automatizácii informačných a riadiacich systémov. Na úspešné zvládnutie úlohy projektovania takýchto systémov absolvent študijného programu Informatika musí byť oboznámený tak s hardvérovou, ako aj so softvérovou stránkou riešenia. Očakávame, že prehĺbenie vzájomného prepojenia predmetov počítačového a softvérového inžinierstva prinesie zvýšenie kvality prípravy študentov študijného programu Informatika. Preto strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre transfer znalostí z počítačového inžinierstva do predmetov softvérového inžinierstva a vice versa za pomoci vhodnej hardvérovej platformy (KPIkitu). Riešenie bude sledovať dva hlavné ciele, a to technické zabezpečenie novej formy výučby vybraných softvérovo, resp. hardvérovo orientovaných predmetov a vytvorenie návodov a množiny príkladov na použitie KPIkitu. Študenti si budú môcť za pomoci KPIkitu realizovať pragmatické projektové úlohy, definované príslušným predmetom s praktickým využitím výsledku, čo podľa očakávania riešiteľského kolektívu bude mať pozitívny dopad na kvalitu vzdelávania v študijnom programe Informatika. |
| Pokročilá výučba softvérového inžinierstva - metódy a nástroje |
APVV MVTS SK-AT-0024–12 |
| Princípy a metódy automatizovanej abstrakcie počítačových jazykov a tvorby softvéru na základe sémantického obohacovania v dôsledku komunikácie |
Projekt VEGA č. 1/0341/13 |
| Promoting Sustainability as a Fundamental Driver in Software Development Training and Education |
|
| Rozvoj Centra informačných a komunikačných technológií pre znalostné systémy |
Projekt ERDF č. 26220120030 |
| Sémantické technológie pre výučbu informatiky |
Predkladáme bilaterálny kooperatívny projekt pre inovatívne aplikácie technológií, ktorých základom je sémantika formálnych jazykov (programovacích jazykov, jazyka predikátovej logiky a pod.). Projekt je zameraný na vzdelávanie študentov vysokých škôl v oblasti formálnych modelov v informatike. Tento výskum vychádza z odborných skúseností oboch zúčastnených partnerov, ktoré získali vo svojom hlavnom výskume a projektovej činnosti. Slovenský partner je uznávaným expertom v oblasti formálnej sémantiky programovacích jazykov. Vychádzame z jeho výsledkov, akým je napr. nástroj, ktorý reprezentuje vykonávanie programu sémantickou metódou na báze teórie kategórií. Rakúsky partner má rozsiahle skúsenosti s logikou a formálnymi metódami v informatike, napr. pri vývoji softvérových nástrojov pre počítačovú podporu špecifikácie a verifikácie programov. Tieto vychádzajú z formálnej sémantiky programov. Počas našej navrhovanej spolupráce plánujeme prepojiť teóriu s praxou, nadväzujúc na naše výskumné oblasti, ktoré umožnia napríklad rakúskej strane integrovať nové vizualizačné postupy do svojich softvérových nástrojov, a tiež umožnia slovenskej strane nájsť nové, ešte nepreskúmané oblasti využitia pre ich doterajšie výsledky výskumu. Plánujeme realizovať výskum, a to obzvlášť na nových modeloch operačnej interpretácie vyhodnocovania logických formúl predikátovej logiky. Cieľom je pomôcť taktiež študentom pochopiť , ako sa správajú komplexné formuly v procese špecifikácie a verifikácie počítačových programov. |
| Setting the trends in IoT education |
This project addresses the development of skills involving the emerging Internet of Things (IoT) (also known as Industry 4.0)
technologies. The main focus falls on training, teaching and learning activities that better prepare the future IoT educators and
instructors at the vocational and higher educational levels, and also indirectly, the users/developers/entrepreneurs/innovators that
will shape the future of IoT. The project focuses on the development of core educational materials and of an open online community
to consume, share, review and enhance these materials. This will ensure a dynamic IoT educational platform where persons
interested in this field will interact directly.
|
| Slovník viacslovných pomenovaní (lexikografický, lexikologický a komparatívny výskum) |
Projekt sa zameriava na výskum viacslovných pomenovaní (VP) s najmenej dvomi autosyntagmatickými komponentmi, ktoré majú nefrazeologický a neterminologický charakter (resp. sú determinologizované) a používajú sa v bežnej komunikácii, napr. základná škola, sprchovací kút, dať prednosť. Tento druh lexém doteraz nebol komplexne lexikograficky |
| Towards an ecologically valid symbiosis of BCI and head-mounted VR displays: focus on collaborative post-stroke neurorehabilitation (ReHaB) |
We propose a user-friendly wearable low-power smart BCI system with an ecologically valid VR environment in which both the patient and therapist collaboratively interact via their person-specific avatar representations. On the one hand, the patient voluntarily, and in a self-paced manner, manages their activity in the environment and interacts with the therapist via a BCI-driven mental imagery process. This process is computed and rendered in real-time on an energy efficient wearable device. On the other hand, the therapist's unlimited motor and communication skills allow him to fully control the environment. Thus, the VR environment may be flexibly modified by the therapist allowing for different occupational therapy scenarios to be created and selected following the patient's recovery needs, mental states, and instantaneous responses. |
| ViLMA: Virtuálne laboratórium pre malvérovú analýzu |
Cieľom projektu je poskytnúť inovatívne prostredie pre výučbu počítačovej bezpečnosti a výskum v oblasti škodlivého softvéru. Študenti sa budú venovať problematike škodlivého softvéru na rôznych úrovniach ako sú operačné systémy, počítačové siete, programovanie či reverzné inžinierstvo. Inovatívne výučbové prostredie je založené na oddelenej virtuálnej platforme, s možnosťou experimentovania a skúmania ľubovoľných útokov a hrozieb bez obmedzení. Nástroje a prostriedky laboratória umožnia študentom praktické oboznámenie sa so súčasnými trendmi v oblasti počítačovej bezpečnosti a detekcie škodlivého softvéru. |
