Projects

Other projects

Semantic Modeling of Component-Based Program Systems

Akcia Rakúsko-Slovensko, SAIA, iniciatívny projekt 2019-10-15-003

1. March 2020 to 28. February 2021

The main goal of this project is to investigate the construction and behavior of component-based systems to ensure their reliability and desired behavior. To ensure the reliable execution of a complex program system composed of components, not only its static construction but also its dynamic behavior plays an important role. Thus the meaning of the basic concepts has to be precisely understood and rigorous rules have to be followed. However, while the construction of component-based program systems is well described in various publications with respect to practical aspects for working programmers, only a few publications define the construction of component-based systems formally. This research is based on the expertise of the Slovak partner on the categorical semantics of programs, on the expertise of the Austrian partner on logical system modeling and analysis, and on the fruitful cooperation of both partners in a previous collaboration project.

Principal Investigator:

Ing. William Steingartner PhD.

Mobility projects

CEEPUS - Central European Exchange Program for University Studies

CEEPUS CIII-HU-0019-13-1718, CIII-HU-0019-12-1617, CIII-HU-0019-11-1516, CIII-HU-0019-10-1415, CIII-HU-0019-09-1314

1. November 2013 to 31. August 2021

CIII-HU-0019-13-1718, CIII-HU-0019-12-1617, CIII-HU-0019-11-1516, CIII-HU-0019-10-1415, CIII-HU-0019-09-1314 International Cooperation in Computer Science

Project Coordinator of KPI:

doc. Ing. Csaba Szabó PhD.

ERASMUS+ KA1 - Mobility for learners and staff - Higher Education Student and Staff Mobility

ERASMUS+ KA1

26. February 2014 to 31. August 2021

Academic contact for:

A KLAGENF01 - Alpen-Adria Universität Klagenfurt, Rakúsko
A LINZ01 - Johannes Kepler Universität Linz, Rakúsko
HU BUDAPEST01 - Eötvös Loránd Tudományegyetem, Budapest, Maďarsko
HU SZEGED01 - Szegedi Tudományegyetem, Maďarsko
P BRAGA01 - Universidade do Minho, Braga, Portugal
RO CLUJNAP01 - Universitatea Babes-Bolyai, Cluj Napoca, Rumunsko
SI MARIBOR01 - Univerza v Mariboru, Slovinsko

Project Coordinator of KPI:

doc. Ing. Csaba Szabó PhD.

Scientific projects

Computer-Aided Decision Support System for Hepatic Encephalopathy

APVV APVV-16-0211

1. July 2017 to 31. December 2020

The goal of this project is to provide deep speech and handwriting analysis and investigate whether speech and handwriting can be used for diagnosis and monitoring of hepatic encephalopathy and whether there exists relationship between speech, handwriting and other biomarkers in hepatic encephalopathy. The number of novel signal processing algorithms, which reveal alteration in handwriting and speech more accurately than existing approaches, are proposed, giving rise to new group of features. The robust feature selection algorithms select the optimal subset of these features, which are fed into non-parametric regression and classification algorithms, mapping the signal processing algorithm outputs to stage of hepatic encephalopathy. Even though proposed project is focused on particular disease, we expect that some of the outputs, such as new features will be applicable also for other diseases.

Stránka projektu

Principal Investigator:

doc. Ing. Peter Drotár PhD.

Enhancing cognition and motor rehabilitation using mixed reality

APVV APVV-16-0202

1. July 2017 to 30. June 2021

Technological advancements based on mixed reality (MR) offer various challenges for research and medical treatment. The project focuses on two objectives related to healthy subjects and hemiparetic patients after stroke. First, we will test the hypothesis whether cognitive training using appropriately designed MR environment will enhance perceptual and cognitive performance in healthy subjects. This will be tested by computerized psychological experiments as well as by measuring event-related potentials or ERPs. Second, we will test the hypothesis whether experience with training in MR (in combination with motor-imagery based brain-computer interface developed by us) will enhance oscillatory sensory-motor rhythms. This will be tested by measuring subject’s EEG activity before and after each training session, clinical testing, as well as by the questionnaires aiming to learn about human factors including mental fatigue, motivation, irritation or sleepiness due to training. In both objectives, we will design and implement a set of testing procedures, carry out a battery of dedicated experiments, and critically evaluate the results with the goal to validate MR designs.

Project Coordinator of KPI:

doc. Ing. Branislav Sobota PhD.

Interactive pattern-driven language development

VEGA 1/0762/19

1. January 2019 to 11. December 2021

The goal of this project is to explore novel approaches to formal language design and implementation. They should be based on synthesis of methods from the fields of formal languages, human-computer interaction and data analysis.
Language design and implementation process should be interactive and explorative activity, where language designer is able to experiment with design of the language notation and associated tools and immediately adjust language definition based on the results. To achieve this it would be required to design new methods for automated inference of language specification based on abstract syntax, example sentences and interaction with language designer.

Principal Investigator:

prof. Ing. Jaroslav Porubän PhD.