Facebook Instagram Twitter RSS Feed Back to top on side

The list of national projects SAS

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
-
Topologické štruktúry na priestoroch funkcií
Program: VEGA
Project leader: doc. RNDr. Holá Ľubica DrSc.
Duration: 1.1.2021 - 31.12.2024
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