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 |
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 |
- |
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 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 |
Program Fellowship of SAS |
Program Štipendium SAV |
Program: |
Other projects |
Project leader: |
Mgr. Zemánková Andrea PhD. |
Duration: |
1.8.2013 - 31.7.2021 |
Number Theory and Its Applications |
Teória čísel a jej aplikácie |
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: |
doc. Mgr. Macko Tibor PhD. |
Duration: |
1.7.2017 - 30.6.2021 |
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: |
doc. Šuch Ondrej PhD., M.Sc. |
Duration: |
1.1.2018 - 31.12.2021 |
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 |
Development of innovative methods for primary metrology torque forces by force effects of the conventional standards |
Vývoj inovatívnych metód pre primárnu metrológiu momentu sily aplikáciou silových účinkov konvenčnej etalonáže |
Program: |
SRDA |
Project leader: |
prof. RNDr. Wimmer Gejza DrSc. |
Annotation: | Torque is one of the main indicators for testing, respectively. testing a wide range of rotating machines and equipment. Measurements in the area over the last decades show a growing trend in terms of both quantity and quality requirements. This factor is also contributing to the growth of the automotive industry in Slovakia. Measuring momentum is inherently related to metrological continuity and the development of both industrial and secondary metrology. At present, however, the SR does not have a laboratory which, with its technical equipment and metrological quality, represents the highest level of primary metrology. The momentary force calibration laboratories in the SR are forced to look for sources of metrological continuity abroad. The aim of the project is therefore to lay the foundations of primary momentum metrology. |
Duration: |
1.7.2019 - 30.6.2022 |
The total number of projects: 19