Filtry
Uspořádané algebraické systémy a algebry (7AMB13AT005)
Kromě dosažení nových výsledků ve studovaných oblastech je cílem projektu prohloubení a posílení spolupráce mezi oběma pracovišti. Hlavním výstupem projektu budou publikace v mezinárodních matematických časopisech nebo sbornících konferencí.......
BA - Obecná matematika
- 2013 - 2014 •
- 128 tis. Kč •
- 128 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Nové přístupy k reziduovaným posetům (GF15-34697L)
Projekt je zaměřen na výzkum reziduovaných svazů a obecněji reziduovaných posetů, které jsou důležitou algebraickou strukturou v různých matematických disciplínách, včetně logiky. Cílem je dosažení podstatného pokroku v teorii reziduovaných posetů – ...
BA - Obecná matematika
- 2015 - 2017 •
- 8 066 tis. Kč •
- 8 066 tis. Kč •
- GA ČR
Řešení projektu: 1. 12. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti (GA15-15286S)
Projekt se soustřeďuje na výzkum v oblastech čisté matematiky (uspořádané struktury, algebra, teorie míry, teorie modelů), které mají vztah ke kvantové mechanice, logice a filozofii. Hlavním cílem je modelování neurčitosti moderními metodami vícehodn...
BA - Obecná matematika
- 2015 - 2017 •
- 5 849 tis. Kč •
- 5 849 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Algebraické metody v teorii důkazů (GAP202/11/1632)
Jeden ze současných trendů v teorii důkazů neklasických logik je snaha zapojit více algebraických metod a vyvinout takzvanou algebraickou teorii důkazů. Typickým příkladem výsledku směřující tímto směrem je důkaz eliminace řezu stejným způsobem, jaký...
IN - Informatika
- 2011 - 2015 •
- 5 771 tis. Kč •
- 5 771 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Úplně uspořádané monoidy (GJ15-07724Y)
Tématem projektu je výzkum svazově uspořádaných monoidů se zvláštním důrazem na ty, které jsou úplně uspořádané. Protože dosud známé metody pro zkoumání této oblasti matematiky se zdají být vyčerpané, je záměrem projektu využít nových metod, jejichž ...
BA - Obecná matematika
- 2015 - 2017 •
- 2 999 tis. Kč •
- 2 999 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Neasociativní reziduované struktury (GPP201/11/P346)
Tématem projektu je neasociativní zobecnění současné teorie reziduovaných struktur. Nejprve bude rozšiřován základní algebraický aparát potřebný k jejich zkoumání. Zaměříme se především na studium svazu kongruencí a popis subdirektně ireducibilních a...
BA - Obecná matematika
- 2011 - 2013 •
- 564 tis. Kč •
- 564 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Nová RE a U intermetalika s nekonvenčními elektronovými a mřížkovými vlastnostmi (OC 145)
nové poznatky ve fyzice materiálů se silně korelovanými elektrony...
BF - Elementární částice a fyzika vysokých energií
- 2006 - 2008 •
- 2 070 tis. Kč •
- 1 170 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (57%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Ortomodularita z různých pohledů (GF20-09869L)
Více než 100 let po vzniku kvantové fyziky je diskuse o jejím správném pochopení stále náročná. Bylo definováno několik přístupů k vysvětlení, proč se tento formalismus ukázal jako úspěšný. Nejstarší přístup přináleží Birkhoffovi a von Neumannovi. Cí...
Pure mathematics
- 2020 - 2022 •
- 8 674 tis. Kč •
- 8 674 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Export příhradové výztuže. (FA-E3/036)
Projekt řeší vývoj nového typu příhradového nosníku pro vyztužování stříkaného betonu při výstavbě důlních děl a technologie pro jeho výrobu. Celé řešení je vedeno záměrem vytvořit produkt, schopný konkurence na trhu EU.......
JR - Ostatní strojírenství
- 2000 - 2001 •
- 2 016 tis. Kč •
- 835 tis. Kč •
- MPO
Řešení projektu: 1. 1. 2000 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (41%)
Poskytovatel: Ministerstvo průmyslu a obchodu
SCAlable LAttice Boltzmann Leaps to Exascale (Scalable) (MC2103)
The primary goal of SCALABLE is to develop an industrial LBM-based CFD solver capable to exploit current and future extreme scale architectures, expanding current capabilities of existing industrial LBM solvers by at least two orders of magnitude in ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 - 2023 •
- 5 029 tis. Kč •
- 5 029 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2021 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 66