Filtry
Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (OC10048)
Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......
IN - Informatika
- 2010 - 2012 •
- 1 641 tis. Kč •
- 1 318 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Efektivní konečné automaty pro automatické usuzování (LL1908)
Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzorů. Budou ...
Automation and control systems
- 2020 - 2024 •
- 35 585 tis. Kč •
- 35 585 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2020 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
NextReason Počítačové uvažování nové generace (GX25-17929X)
Galileo řekl, že matematika je jazykem vědy. Používá se k řešení libovolných abstraktních problémů a je základem vědy a techniky. Automatizace matematického uvažování je jednou z největších výzev v oboru AI. Ve srovnání s lidmi, dnešní mainstreamové ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2025 - 2029 •
- 49 505 tis. Kč •
- 49 505 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2029
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Algoritmické a strukturní problémy rovnicové logiky (GP201/08/P056)
Cílem projektu je studium rovnicových teorií a jim odpovídajících variet algeber z hlediska strukturního a algoritmického. Pod strukturními vlastnostmi rozumíme například popis volných algeber a svazu podvariet, popis jednoduchých a subdirektně iredu...
BA - Obecná matematika
- 2008 - 2010 •
- 585 tis. Kč •
- 585 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Formalizace kombinatoriky na slovech (GA20-20621S)
Kombinatorika na slovech je oblast diskrétní matematiky, která jako jiné kombinatorické obory přirozeně tíhne k technickým a pracným důkazům, často obsahujícím opakování podobných úvah a rozsáhlé rozbory případů. Jako taková je vhodná k počítačově ov...
Acoustics
- 2020 - 2023 •
- 3 777 tis. Kč •
- 3 741 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 30. 6. 2023
Uznané náklady
Podpora ze státního rozpočtu (99%)
Poskytovatel: Grantová agentura České republiky
Modelování vágních kvantifikátorů v matematické fuzzy logice (GF15-34650L)
Vágní kvantifikátory (např. "málo", "mnoho" či "zhruba polovina") představují závažný problém při automatickém zpracování přirozeného jazyka. Navržení uspokojivé teorie vágních kvantifikátorů vyžaduje vytvoření formálních modelů a posouzení jejich ad...
IN - Informatika
- 2015 - 2019 •
- 6 071 tis. Kč •
- 6 071 tis. Kč •
- GA ČR
Řešení projektu: 1. 12. 2015 - 31. 7. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Automaty v rozhodovacích procedurách a verifikaci (GA19-24397S)
Výzkum konečných automatů je tradiční disciplínou, která dlouhodobě produkuje množství výsledků potenciálně využitelných v mnoha oblastech, jako jsou verifikace, zpracování přirozeného jazyka, databáze, nebo webové technologie. Praktická využitelnost...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2023 •
- 8 460 tis. Kč •
- 6 551 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (77%)
Poskytovatel: Grantová agentura České republiky
Pravděpodobnostní argumentace v pozdně scholastické logice (GA17-12408S)
Předmětem projektu bude pozdně scholastická analýza pravděpodobnostní argumentace, tzn. typu argumentů, které jsou pravděpodobnostní (tj. neplatí, že jsou-li pravdivé předpoklady, jsou nutně pravdivé i závěry), non-monotónní (připojení další premisy ...
AA - Filosofie a náboženství
- 2017 - 2021 •
- 896 tis. Kč •
- 896 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
European Initiative to Enable Validation for Highly automated Safe and Secure Systems - ENABLE-S3 (8A16006)
Development of the validation system for highly automated safe and secure systems, automotive, railways, navy , aerospace, farming, health. Automation of the system validation - "virtual reality".......
JD - Využití počítačů, robotika a její aplikace
- 2016 - 2019 •
- 14 017 tis. Kč •
- 4 124 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2016 - 30. 4. 2019
Uznané náklady
Podpora ze státního rozpočtu (29%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Automated Preform Fabrication by Dry Tow Placement (7A08016)
The aim of the project is the development of a manufacturing technology for automated preforming, with a parallel development of a design capability to match.......
JU - Aeronautika, aerodynamika, letadla
- 2008 - 2009 •
- 1 658 tis. Kč •
- 1 658 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 186