Information Page of SAS Organisation

Mathematical Institute

International projects

4D-HEALING - Data-Driven Drug Discovery For Wound Healing
Dátami vedené hľadanie liečiv pre hojenie rán
Program: ERANET
Project leader: Mgr. Novotný Branislav PhD.
Annotation:The 4D-healing project aims to create a time-spatial map of the wound healing process by monitoring transcriptomic date of thousands of cells. Integrating the modeling of key processes with knowledge stored in drug databases will enable informed choices on molecular candidates that can be pharmacologically modulated. The project will provide a data-driven and comprehensive understanding of the wound healing process and in-vitro verification of the concept of new therapy to support wound healing.
Duration: 1.6.2018 - 31.5.2021

National projects

Wooden pipe configuration of historic organ positives in Slovakia
Drevený píšťalový fond historických organových pozitívov na Slovensku
Program: VEGA
Project leader: doc. RNDr. Haluška Ján CSc.
Duration: 1.1.2019 - 31.12.2022

Chromatic Problems in Combinatorics
Chromatické problémy v kombinatorike
Program: VEGA
Project leader: RNDr. Kochol Martin PhD., DSc.
Duration: 1.1.2018 - 31.12.2021

The optimization model of natural gas transportation
Model pre optimalizáciu prepravy zemného plynu
Program: Vnútroústavné
Project leader: RNDr. Žáčik Tibor CSc.
Duration: 1.1.1999 -

New statistical methods for special classes of probability distributions and their applications
Nové štatistické metódy pre špeciálne triedy rozdelení pravdepodobnosti a ich aplikácie
Program: VEGA
Project leader: prof. RNDr. Wimmer Gejza DrSc.
Annotation:The project analyzes special classes of probability distributions. New statistical methods for distributions from these classes are suggested and theoretically characterized, namely, parameter estimations, goodness of fit tests, and parametric and non-parametric statistical inference. This statistical apparatus is then applied to specific problems in metrology, insurance and financial mathematics, linguistics and demography. As a part of the project, computational methods and algorithms are constructed for these statistical procedures.
Duration: 1.1.2018 - 31.12.2020

Nové trendy v teórii agregovania a ich aplikácie
Program: VEGA
Project leader: Mgr. Zemánková Andrea PhD.
Duration: 1.1.2019 - 31.12.2022

Descriptive and Computational Complexity of Formal Languages
Popisná a výpočtová zložitosť formálnych jazykov
Program: VEGA
Project leader: RNDr. Jirásková Galina CSc.
Duration: 1.1.2019 - 31.12.2022

PROBALGQUANT - Probabilistic, algebraic a quantum-mechanical aspect of uncertainty
Pravdepodobnostné, algebrické a kvantovo-mechanické aspekty neurčitosti
Program: APVV
Project leader: prof. RNDr. Dvurečenskij Anatolij DrSc.
Annotation:Using the latest methods of quantum structures we study mathematical foundations of quantum mechanics and of quantum measurements. We deepen our knowledge about partial and total algebras like effect algebras, MValgebras, synaptic algebras, orthomodular lattices, BL-algebras, residuated lattices and their non-commutative generalizations and states on them with respect to partially ordered groups. Methods of the theory of categories clarify specific properties of quantum structures. Aggregation methods we will be used to combine selected values of measurements into one aggregation function. Uncertainty contained in quantum measurements will be analyze from the point of view of states, quantum channels will be aimed at quantum mechanics, quantum information theory and for description of measures of noncompatibilities.
Duration: 1.7.2017 - 30.6.2021

Príprava Národného programu kvantových technológií SR
Program: ŠPVV
Project leader: doc. RNDr. Nemoga Karol CSc.
Duration: 1.1.2018 -

Number Theory and Its Applications
Teória čísel a jej aplikácie
Program: VEGA
Project leader: RNDr. Jakubec Stanislav DrSc.
Duration: 1.1.2018 - 31.12.2021

TOGE - Topology and Geometry of Manifolds
Topológia a geometria variet
Program: APVV
Project leader: Mgr. Macko Tibor PhD.
Duration: 1.7.2017 - 30.6.2021

Multiclass Speech Segments Classification Using Parallel Classifiers
Viactriedna klasifikácia rečových segmentov použitím párových klasifikátorov
Program: VEGA
Project leader: doc. Šuch Ondrej PhD., M.Sc.
Duration: 1.1.2018 - 31.12.2021

DIMPP - Development of innovative methods for primary metrology torque forces by force effects of the conventional standards
Vývoj inovatívnych metód pre primárnu metrológiu momentu sily aplikáciou silových účinkov konvenčnej etalonáže
Program: APVV
Project leader: prof. RNDr. Wimmer Gejza DrSc.
Annotation:Torque is one of the main indicators for testing, respectively. testing a wide range of rotating machines and equipment. Measurements in the area over the last decades show a growing trend in terms of both quantity and quality requirements. This factor is also contributing to the growth of the automotive industry in Slovakia. Measuring momentum is inherently related to metrological continuity and the development of both industrial and secondary metrology. At present, however, the SR does not have a laboratory which, with its technical equipment and metrological quality, represents the highest level of primary metrology. The momentary force calibration laboratories in the SR are forced to look for sources of metrological continuity abroad. The aim of the project is therefore to lay the foundations of primary momentum metrology.
Duration: 1.7.2019 - 30.6.2022

Projects total: 13