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
A mosaic of foundational, cross-functional electronics components and systems (ECS) technologies, fostering productivity and sovereignty in Europe, across versatile industrial domains (9A25006)
, functioning as ground-breaking advancements in automated intelligence across versatile forefront of innovation in semiconductor technology for automated systems. By fostering stakeholders, the mission is to develop cutting-edge EC...
Electrical and electronic engineering
- 2025 - 2028 •
- 10 235 tis. Kč •
- 2 559 tis. Kč •
- MŠMT
Řešení projektu: 1. 7. 2025 - 30. 6. 2028
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
A mosaic of foundational, cross-functional electronics components and systems (ECS) technologies, fostering productivity and sovereignty in Europe, across versatile industrial domains (9A25005)
independence and filled fabs in the landscape of automated systems. By fostering innovation robustness. These results will be tailored to the demands of automated ystems, enabling automated systems can perceive their surro...
Electrical and electronic engineering
- 2025 - 2028 •
- 30 713 tis. Kč •
- 19 964 tis. Kč •
- MŠMT
Řešení projektu: 1. 7. 2025 - 30. 6. 2028
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
STRINGS Řetězcová omezení pro analýzu bezpečnosti (GA25-17934S)
Cílem projektu je rozvinout technologii řešení řetězcových omezení (string constraint solving -- SCS) aby byla použitelná v analýze webových aplikací. Jde o aktuální cíl -- zranitelnosti typu cross-site scripting, SQL-injection nebo selhání bezpečnos...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2025 - 2028 •
- 10 212 tis. Kč •
- 9 384 tis. Kč •
- GA ČR
Řešení projektu: 1. 8. 2025 - 31. 12. 2028
Uznané náklady
Podpora ze státního rozpočtu (92%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 199