The list of national projects SAS

Back to the list of institutes

Institute: Mathematical Institute

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

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: SRDA
Project leader: prof. RNDr. Nedela Roman DrSc.
Duration: 1.7.2016 - 30.6.2020

Effective algorithms, automata and data structures
Efektívne algoritmy, automaty a dátové štruktúry
Program: SRDA
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

Parallel Block Algorithms for Canonical Decomposition of Matrices
Paralelné blokové algoritmy pre kanonické dekompozície tenzorov
Program: VEGA
Project leader: doc. Ing. Okša Gabriel CSc.
Duration: 1.1.2017 - 31.12.2019

Advanced statistical and computational methods for measurement and metrology
Pokročilé štatistické a výpočtové metódy pre meranie a metrológiu
Program: SRDA
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

Probabilistic, algebraic a quantum-mechanical aspect of uncertainty
Pravdepodobnostné, algebrické a kvantovo-mechanické aspekty neurčitosti
Program: SRDA
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

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

Topology and Geometry of Manifolds
Topológia a geometria variet
Program: SRDA
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

The total number of projects: 19