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.
Projects
Other projects
Akcia Rakúsko-Slovensko, SAIA, iniciatívny projekt
2019-10-15-003
1. March 2020 to 28. February 2021
Ing. William Steingartner PhD. |
Mobility projects
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 doc. Ing. Csaba Szabó PhD. |
ERASMUS+ KA1
26. February 2014 to 31. August 2021
Academic contact for:
doc. Ing. Csaba Szabó PhD. |
Scientific projects
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. doc. Ing. Peter Drotár PhD. |
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. doc. Ing. Branislav Sobota PhD. |
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. prof. Ing. Jaroslav Porubän PhD. |
Educational projects
ERASMUS+ KA203 - Strategic partnership for higher education
2020-1-PT01-KA203-078646
1. September 2020 to 31. August 2023
doc. Ing. Csaba Szabó PhD. |