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
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
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
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é 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
Reprezentace algebraických sémantik pro substrukturální logiky (GF24-14386L)
Cílem projektu je zkoumat reprezentace některých tříd reziduovaných struktur. Tyto struktury zachycují sémantickou podstatu substrukturálních logik, jinak známých jako "logiky citlivé na zdroje", tj. logik, které berou vážně skutečnost, že naše rezon...
Statistics and probability
- 2024 - 2026 •
- 3 696 tis. Kč •
- 3 696 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Relační podobnostní databáze (GA14-11585S)
Navrhujeme zkoumat relační model dat s ohledem na nepřesnost a podobnost. Model vznikne pokud se posuneme od dvouhodnotových logik, na kterých je postaven klasický Coddův relační model dat, k obecnějším logikám založeným na reziduovaných svazech slou...
IN - Informatika
- 2014 - 2016 •
- 4 424 tis. Kč •
- 4 424 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
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
Smart High Lift Devices for Next Generation Wings (7E09012)
The consequent exploitation of composite materials anisotropic characteristics enables light-weight structures coping with the elasticity require of smart structure concepts.Optimised elastic structures permit a wide integr...
JU - Aeronautika, aerodynamika, letadla
- 2009 - 2012 •
- 1 111 tis. Kč •
- 1 111 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2009 - 30. 4. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Hybridní materiály pro hierarchické struktury (EF16_019/0000843)
"Cílem je podpořit problémově orientovaný interdisciplinární výzkum materiálů, který významně napomůže efektivnímu využití VaV aktivit TUL a povede k dosažení mezinárodně konkurenceschopné kvality. VaV záměr je členěn do propojených programů: Flexib...
Materials engineering
- 2018 - 2023 •
- 219 524 tis. Kč •
- 219 524 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2018 - 28. 2. 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 1 504