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
Contacts
