Information Page of SAS Organisation

Mathematical Institute

National projects

Aggregation of inputs from multiple competitive and/or cooperative categories
Agregácia vstupov z viacerých kompetitívnych a/alebo kooperatívnych kategórií
Program: VEGA
Project leader: Mgr. Zemánková Andrea PhD.
Duration: 1.1.2014 - 31.12.2017

Algebraic and probabilistic number theory and their applications
Algebraická a pravdepodobnostná teória čísela ich aplikácie
Program: VEGA
Project leader: RNDr. Jakubec Stanislav DrSc.
Duration: 1.1.2014 - 31.12.2017

Algebraic. Probabilistic and Categorial Aspects of Modelling Quantum Structures
Algebrické, pravdepodobnostné a kategoriálne aspekty modelovania kvantových štruktúr
Program: VEGA
Project leader: Mgr. Jenčová Anna PhD.
Duration: 1.1.2016 - 31.12.2019

Altocom - Algebraic, topological and combinatorial methods in the study of discrete structures
Algebrické, topologické a kombinatorické metódy v štúdiu diskrétnych štruktúr
Program: APVV
Project leader: prof. RNDr. Nedela Roman DrSc.
Duration: 1.7.2016 - 30.6.2020

Discrete and continuous probabilistic models and their applications
Diskrétne a spojité pravdepodobnostné modely a ich aplikácie
Program: VEGA
Project leader: prof. RNDr. Wimmer Gejza DrSc.
Annotation:The project examines properties of discrete and continuous distributions, focusing on the following three objectives: (i) theoretical analysis of properties of discrete and continuous distributions; investigation of links between the probability distributions; creation of distribution families; development of new algorithms for random number generators for non-standard discrete and continuous distributions; (ii) development of a pilot version of R toolbox for statistical goodness-of-fit testing for selected discrete and continuous distributions; creating a pilot version of the "Internet Encyclopedia" of discrete and continuous distributions; (iii) applications of discrete and continuous distributions to mathematical modeling in metrology, linguistics, insurance and demographics.
Duration: 1.1.2015 - 31.12.2017

EAADS - Effective algorithms, automata and data structures
Efektívne algoritmy, automaty a dátové štruktúry
Program: APVV
Project leader: RNDr. Jirásková Galina CSc.
Duration: 1.7.2016 - 30.6.2020

Global and Local Properties of Spaces and Mappings
Globálne a lokálne vlastnosti priestorov a zobrazení
Program: VEGA
Project leader: Mgr. Macko Tibor PhD.
Duration: 1.1.2017 - 31.12.2019

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

Qualitative properties and bifurcations of differential equations and dynamical systems
Kvalitatívne vlastnosti a bifurkácie diferenciálnych rovníc a dynamických systémov
Program: VEGA
Project leader: prof. RNDr. Fečkan Michal DrSc.
Duration: 1.1.2016 - 31.12.2019

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 -

Some questions concerning functional, harmonic and stochastic analysis
Niektoré otázky funkcionálnej, harmonickej a stochastickej analýzy
Program: VEGA
Project leader: doc. RNDr. Haluška Ján CSc.
Duration: 1.1.2014 - 31.12.2017

METSTAT - Advanced statistical and computational methods for measurement and metrology
Pokročilé štatistické a výpočtové metódy pre meranie a metrológiu
Program: APVV
Project leader: prof. RNDr. Wimmer Gejza DrSc.
Annotation:The aim of the project is to develop mathematical and statistical methods and algorithms for evaluation of the measurement results with emphasis on the development of models and methods for multivariate calibration of measuring devices and methods and algorithms for determining the uncertainties in measurement by deriving the exact resp. approximate probability distributions of the measurement results. Research will focus primarily on the following areas: • Theoretical research on mathematical and statistical models and methods for multivariate calibration; • Development of calibration theory of the sensors and transducers, uncertainty determination in calibration of sensor under the normally distributed measurement errors as well as under the alternative probability distributions of measurement errors, development of procedures for calibration and measurement evaluation useful in laboratory work, evaluation of sensor calibration in the thermal and mechanical quantities with continuous scale (pressure transmitter, thermocouple temperature sensors , resistance thermometers, etc.), and determination of the calibration values of the physico-chemical parameters by using the certified reference materials; • Development of methods and algorithms to determine the exact resp. approximate probability distribution of measurement results by combining and inverting the characteristic functions of the probability distributions of the input variables and characterizing uncertainty in metrology. The application of the mathematical, statistical, and computational methods for the measurement science and metrology is high on the agenda, with a significant impact on the international scientific as well as industrial cooperation and economic growth in developed countries. It is in good agreement with the intentions of the strategy for research and development, approved by the Slovak government (SK RIS3).
Duration: 1.7.2016 - 30.6.2020

Descriptional Complexity of Formal Systems
Popisná zložitosť formálnych systémov
Program: VEGA
Project leader: RNDr. Jirásková Galina CSc.
Duration: 1.1.2015 - 31.12.2018

Set-Theoretic Methods in Topology and Real Functions Theory
Teoreticko-množinové metódy v topológii a teórii reálnych funkcií
Program: VEGA
Project leader: doc. RNDr. Repický Miroslav CSc.
Annotation:The project follows the projects VEGA 1/0032/09 and 1/0002/12. We will continue in the study of properties of topological objects of real analysis connected with coverings, quality of the convergence, regular properties of them and with familiar issues. It turns out that large part of the answers to our questions is indecidable in set theory. Therefore we will deal with reductions of these problems to known consistent assertions of set theory but also with other methods of the proof of the independence of the assertions.
Duration: 1.1.2016 - 31.12.2019

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

Flow and chromatic problems in combinatoris
Tokové a chromatické problémy v kombinatorike
Program: VEGA
Project leader: RNDr. Kochol Martin PhD., DSc.
Duration: 1.1.2014 - 31.12.2017

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

Topologies on Functional Spaces and Hyperspaces
Topológie na funkcionálnych priestoroch a hyperpriestoroch
Program: VEGA
Project leader: doc. RNDr. Holá Ľubica DrSc.
Duration: 1.1.2016 - 31.12.2019

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: Šuch Ondrej PhD., M.Sc.
Duration: 1.1.2018 - 31.12.2021

Selected Problems in Universal Algebra and Lattice Theory
Vybrané problémy univerzálnej algebry a teórie zväzov
Program: VEGA
Project leader: doc. RNDr. Ploščica Miroslav CSc.
Duration: 1.1.2016 - 31.12.2018

Computations with Incomplete Information - Algorithms, Models, Networks
Výpočty s neúplnou informáciou - algoritmy, modely, siete
Program: VEGA
Project leader: RNDr. Dobrev Stefan PhD.
Duration: 1.1.2016 - 31.12.2019

Research of Microstructures, Electrical and Optical Properties of Nanotextured Semiconductor Interfaces
Výskum mikroštruktúry, elektrických a optických vlastností nanotexturovaných polovodičových rozhraní
Program: VEGA
Project leader: doc. RNDr. Jurečková Mária CSc.
Duration: 1.1.2016 - 31.12.2018

Generalization of Comtinuity of Functions
Zovšeobecnenie spojitosti funkcií
Program: VEGA
Project leader: doc. RNDr. Borsík Ján CSc.
Duration: 1.1.2015 - 31.12.2018

Projects total: 23