Mathematical Institute
Qualitative properties and bifurcations of differential equations and dynamical system |
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.2020 - 31.12.2023 |
- |
Algebrické a topologické aspekty agregačných funkcií |
Program: |
VEGA |
Project leader: |
RNDr. Pócs Jozef PhD. |
Duration: |
1.1.2020 - 31.12.2023 |
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 |
Graph invariants, symmetries and labellings |
Grafové invarianty, symetrie a ohodnotenia |
Program: |
VEGA |
Project leader: |
prof. RNDr. Nedela Roman DrSc. |
Duration: |
1.1.2020 - 31.12.2023 |
- |
Konvergencia blokových algoritmov pre kanonické dekompozície matíc |
Program: |
VEGA |
Project leader: |
doc. Ing. Okša Gabriel CSc. |
Duration: |
1.1.2020 - 31.12.2022 |
Mathematical models of non-classical events and uncertainty |
Matematické modely neklasických javov a neurčitosti |
Program: |
VEGA |
Project leader: |
Mgr. Jenčová Anna DrSc. |
Duration: |
1.1.2020 - 31.12.2023 |
Models and algorithms for computing with incomplete information |
Modely a algoritmy pre výpočty s neúplnou informáciou |
Program: |
VEGA |
Project leader: |
RNDr. Dobrev Stefan PhD. |
Duration: |
1.1.2020 - 31.12.2023 |
- |
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 |
Ontological representation for security of information systems |
Ontologická reprezentácia pre bezpečnosť informačných systémov |
Program: |
SRDA |
Project leader: |
doc. RNDr. Nemoga Karol CSc. |
Duration: |
1.7.2020 - 30.6.2024 |
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 |
Probabilistic, Algebraic and Quantum Mechanical Methods of Uncertainty Determination |
Pravdepodobnostné, algebrické a kvantovo-mechanické metódy určovania 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, EMV-algebras, wEMV-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 non-compatibilities. |
Duration: |
1.7.2021 - 30.6.2025 |
Probability Distributions and their Applications in Modeling and Testing |
Rozdelenia pravdepodobnosti a ich aplikácie v modelovaní a testovaní |
Program: |
VEGA |
Project leader: |
doc. Mgr. Mačutek Ján PhD. |
Duration: |
1.1.2021 - 31.12.2023 |
Topological structures and spaces of functions |
Topologické štruktúry a priestory funkcií |
Program: |
SRDA |
Project leader: |
doc. RNDr. Holá Ľubica DrSc. |
Duration: |
1.7.2021 - 30.6.2025 |
Exceptional structures in discrete mathematics |
Výnimočné štruktúry v diskrétnej matematike |
Program: |
SRDA |
Project leader: |
prof. RNDr. Nedela Roman DrSc. |
Duration: |
1.7.2020 - 30.6.2024 |
The total number of projects: 15