Projekty
| Názov projektu | Stručný popis projektu |
|---|---|
| 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. |
| Výskum v sieti SANET a možnosti jej ďalšieho využitia a rozvoja |
Cieľom projektu je výskum optimalizácie zabezpečeného sieťového prostredia a efektívnej distribúcie vysokého dátového toku heterogénnych služieb v rozsiahlych sieťach. Projekt je založený na realizácii 8-mich aktivít projektu. Aktivity projektu si kladú za cieľ poskytnúť subjektom konkurenčnú výhodu spočívajúcu v rýchlosti prístupu k masívnym dátam pomocou inovatívnych metód agregácie a efektívnej distribúcie v rozsiahlych sieťach s perspektívou rozšírenia týchto nástrojov do európskeho či svetového priestoru. Projekt predpokladá, že výsledky výskumu nových postupov a konceptov originálnych inovatívnych sieťových služieb a bezpečnostných mechanizmov budú mať vysokú potenciálnu aplikovateľnosť v spoločensko-hospodárskej praxi.
|
| Inteligentné operačné a spracovateľské systémy pre UAV |
Predmetom výskumu je výskum možností a spôsobov uplatnenia prostriedkov UAV v kombinácií s pokročilými IKT prostriedkami v podmienkach automobilovej výroby s cieľom výskumu a vývoja autonómnej UAV platformy pre zber dát a autonómnej IKT platformy pre automatické spracovanie dát pre generovanie korekčných vstupov v reálnom čase voči výrobným, technologickým a podporným procesom automobilovej výroby. |
| Metodická a obsahová inovácia výučby vybraných predmetov z oblasti informačných a komunikačných technológií s orientáciou pre potreby praxe na báze využívania moderných videokonferenčných a kolaboračných nástrojov |
Cieľom projektu je metodická a obsahová inovácia výučby IKT predmetov na troch vysokých školách, ktoré sú zamerané na oblasť počítačových sietí so špecifickým zohľadnením na integráciu moderných videokonferenčných a kolaboratívnych nástrojov. Projekt reaguje na požiadavku praxe a zamestnávateľov, aby absolventi technických vysokých škôl boli kvalitne pripravení a získali vedomosti, ktoré korelujú s priemyselnými certifikáciami v predmetnej oblasti. Zároveň sa implementáciou projektu dosiahne kvalitnejšia spolupráca medzi odborníkmi a pedagógmi Fakulty elektrotechniky a informatiky Technickej univerzity v Košiciach (FEI TUKE), Fakulty informatiky a informačných technológií Slovenskej Technickej univerzity (FIIT STU) a Fakulty riadenia a informatiky Žilinskej univerzity v Žiline (FRI UNIZA) s možnosťou ich vzájomného prepojenia a vzdialeného zapájania do vyučovacieho procesu partnerských škôl. V rámci nasadzovania nových metodík sa primárny dôraz bude klásť na ich využiteľnosť pre dištančné formy vzdelávania a to integráciou videokonferenčnej a kolaboračnej technológie, pokročilými simulačnými zadaniami, multimediálnym obsahom a prístupom k týmto prvkom cez modernú webovú platformu.
|
| European Research Network on Formal Proofs |
If testing can reveal errors in computer programs, only formal verification can guarantee their absence. The highest Evaluation Assurance Levels of the Common Criteria for Information Technology Security Evaluation require automatically checked mathematical proofs of correctness. Proofs are also the basis of mathematics and many sciences, and thus are very important in education and research. In many computer technologies, developers and users rely on standard languages and protocols for exchanging data and enabling tool interoperability: TCP/IP for network communication, HTML for web pages, etc. This is however not the case for formal proofs, which is a major bottleneck for their adoption by the industry. The main reason is that, currently, proof systems use mutually incompatible logical foundations. Fortunately, only small parts of the proofs developed in a system use features that are incompatible with other systems. Europe is a leading actor in the area of formal proofs: about 65% of the proof systems of the world are developed in Europe, including the two most used proof assistants, Coq and Isabelle. This Action aims at boosting the interoperability and usability of proof systems and making formal proofs enter a new era. For the first time, it gathers all the developers and users of proof systems in Europe. To make the proofs exchangeable, they will express, in a common logical framework, the logical foundations of their systems and develop tools for inter-translation of the proofs developed in individual systems to and from this common logical framework. |
| Promoting Sustainability as a Fundamental Driver in Software Development Training and Education |
|
| Interaktívny vývoj jazykov založený na vzoroch |
Cieľom projektu je preskúmanie nových prístupov k návrhu a implementácii formalných jazykov. Tieto prístupy budú založené na syntéze metód z oblasti formálnych jazykov, interakcie človeka s počítačom a analýzy dát. |
| 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.
|
| Manufacturing Industry Digital Innovation Hubs |
MIDIH "Manufacturing Industry Digital Innovation Hubs", is a "one stop shop" of services, providing industry with access to the most advanced digital solutions, the most advanced industrial experiments, pools of human and industrial competencies and access to "ICT for Manufacturing" market and financial opportunities. MIDIHs will leverage networks of local Competence Centres, each specialised in peculiar aspects of the CPPS/IIOT (Cyber Physical Production System / Industrial Internet of Things) technologies and able to attract, mentor and nurture local Manufacturing SMEs towards Industry 4.0 projects, experiments and business. A common platform of knowledge, methods and collaboration tools will be shared among the MIDIHs network and allow cross-border fertilisation, continuous improvement, open innovation. |
