Facebook Instagram Twitter RSS Feed PodBean Back to top on side

Information Page of SAS Organisation

Project

Mathematical Institute

International Projects

FDMSL - Frequency and declensional morphology in Slavic languages (Russian, Slovak and Slovene)

Frekvencia a skloňovanie v slovanských jazykoch (ruština, slovenčina, slovinčina)

Duration: 1. 4. 2021 - 31. 12. 2022
Program: Medzivládna dohoda
Project leader: doc. Mgr. Mačutek Ján PhD.

Mathematical models of uncertainty and their applications

Matematické modely neurčitosti a ich aplikácie

Duration: 1. 1. 2019 - 31. 12. 2022
Program: Medziakademická dohoda (MAD)
Project leader: RNDr. Michalíková Alžbeta PhD.

Generation and applications of probabilistic and intuitionistic fuzzy models of uncertainty

Tvorba a aplikácie pravdepodobnostných a intuitionistických fuzzy modelov neurčitosti

Duration: 1. 1. 2021 - 31. 12. 2022
Program: Medziakademická dohoda (MAD)
Project leader: RNDr. Čunderlíková Katarína PhD.

National Projects

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

Duration: 1. 1. 2020 - 31. 12. 2023
Program: VEGA
Project leader: prof. RNDr. Fečkan Michal DrSc.

-

Algebrické a topologické aspekty agregačných funkcií

Duration: 1. 1. 2020 - 31. 12. 2023
Program: VEGA
Project leader: RNDr. Pócs Jozef PhD.

Wooden pipe configuration of historic organ positives in Slovakia

Drevený píšťalový fond historických organových pozitívov na Slovensku

Duration: 1. 1. 2019 - 31. 12. 2022
Program: VEGA
Project leader: doc. RNDr. Haluška Ján CSc.

Graph invariants, symmetries and labellings

Grafové invarianty, symetrie a ohodnotenia

Duration: 1. 1. 2020 - 31. 12. 2023
Program: VEGA
Project leader: prof. RNDr. Nedela Roman DrSc.

Chromatic Problems and Polynomials

Chromatické problémy a polynómy

Duration: 1. 1. 2022 - 31. 12. 2025
Program: VEGA
Project leader: RNDr. Kochol Martin PhD., DSc.
Annotation:Chromatic problems on graphs lie at the heart of graph theory, a discipline on the border of discrete mathematics, combinatorial optimization and computer science. These problems are important for understanding structure of graphs and complexity of discrete algorithms By its study are used cycles in graphs, linear algebra, groups, optimization and other techniques. Nowhere-zero flows in graphs present a dual form for graph coloring problems. The numbers of colorings and nowhere-zero flows in graphs are evaluated by chromatic and flow polynomials, respectively. The aim of the project is to study various problems related to graph colorings. We plan to study interpretations of the Tutte polynomials and relations among them. We plan to introduce and study polynomials evaluating nonhomogenous variants of nowhere-zero flows on graphs and plan to study colorings of hypergraphs.

-

Konvergencia blokových algoritmov pre kanonické dekompozície matíc

Duration: 1. 1. 2020 - 31. 12. 2022
Program: VEGA
Project leader: doc. Ing. Okša Gabriel CSc.

Mathematical models of non-classical events and uncertainty

Matematické modely neklasických javov a neurčitosti

Duration: 1. 1. 2020 - 31. 12. 2023
Program: VEGA
Project leader: Mgr. Jenčová Anna DrSc.

The optimization model of natural gas transportation

Model pre optimalizáciu prepravy zemného plynu

Duration: 1. 1. 1999 -
Program: Vnútroústavné
Project leader: RNDr. Žáčik Tibor CSc.

Models and algorithms for computing with incomplete information

Modely a algoritmy pre výpočty s neúplnou informáciou

Duration: 1. 1. 2020 - 31. 12. 2023
Program: VEGA
Project leader: RNDr. Dobrev Stefan PhD.

-

Nové trendy v teórii agregovania a ich aplikácie

Duration: 1. 1. 2019 - 31. 12. 2022
Program: VEGA
Project leader: Mgr. Zemánková Andrea PhD.

ORBIS - Ontological representation for security of information systems

Ontologická reprezentácia pre bezpečnosť informačných systémov

Duration: 1. 7. 2020 - 30. 6. 2024
Program: APVV
Project leader: doc. RNDr. Nemoga Karol CSc.

Descriptive and Computational Complexity of Formal Languages

Popisná a výpočtová zložitosť formálnych jazykov

Duration: 1. 1. 2019 - 31. 12. 2022
Program: VEGA
Project leader: RNDr. Jirásková Galina CSc.

QUANTPROBALG - Probabilistic, Algebraic and Quantum Mechanical Methods of Uncertainty Determination

Pravdepodobnostné, algebrické a kvantovo-mechanické metódy určovania neurčitosti

Duration: 1. 7. 2021 - 30. 6. 2025
Program: APVV
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.

-

Príprava Národného programu kvantových technológií SR

Duration: 1. 1. 2018 -
Program: ŠPVV
Project leader: doc. RNDr. Nemoga Karol CSc.

Probability Distributions and their Applications in Modeling and Testing

Rozdelenia pravdepodobnosti a ich aplikácie v modelovaní a testovaní

Duration: 1. 1. 2021 - 31. 12. 2023
Program: VEGA
Project leader: doc. Mgr. Mačutek Ján PhD.

TOPFUN - Topological structures and spaces of functions

Topologické štruktúry a priestory funkcií

Duration: 1. 7. 2021 - 30. 6. 2025
Program: APVV
Project leader: doc. RNDr. Holá Ľubica DrSc.

-

Topologické štruktúry na priestoroch funkcií

Duration: 1. 1. 2021 - 31. 12. 2024
Program: VEGA
Project leader: doc. RNDr. Holá Ľubica DrSc.

ESTRUD - Exceptional structures in discrete mathematics

Výnimočné štruktúry v diskrétnej matematike

Duration: 1. 7. 2020 - 30. 6. 2024
Program: APVV
Project leader: prof. RNDr. Nedela Roman DrSc.

Projects total: 21