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 2020
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 2020
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. |
|
H2020 - Factories of Future cPPP
767498 - MIDIH
1. October 2017 to 30. September 2020
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. doc. Ing. František Jakab PhD. |
