Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Projekty
Efektivní analýza a optimalizace pravděpodobnostních systémů a her (GA21-24711S)
Projekt je orientován na otevřené problémy hraničního výzkumu v oblasti pravděpodobnostních systémů a her. Zvláštní pozornost je věnována algoritmické analýze a verifikaci pravděpodobnostních systémů s neomezenými zdroji, jako jsou např. automaty...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 - 2023 •
- 8 519 tis. Kč •
- 5 933 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2021 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (70%)
Poskytovatel: Grantová agentura České republiky
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......
JC - Počítačový hardware a software
- 2010 - 2012 •
- 1 500 tis. Kč •
- 1 230 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Bezkontextové gramatiky a zásobníkové automaty (MEB041003)
Plánovaný výzkum se zaměří na studium bezkontextových jazyků a zásobníkových automatů a jejich aplikací. Pro hlubší pochopení struktur formálních jazyků je nápomocné studovat jejich kombinatorické vlastnosti. Jedním z předmětů výzkumu je problém prim...
IN - Informatika
- 2010 - 2011 •
- 124 tis. Kč •
- 124 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2010 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí (GA14-11384S)
regulárním model checkingem, automaty nad stromy a lesy, separační logikou a symbolickými...
JC - Počítačový hardware a software
- 2014 - 2016 •
- 5 775 tis. Kč •
- 5 775 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
Překlad formulí Lineární temporální logiky na omega-automaty (7AMB14FR016)
pracovníků zabývajících se překladem LTL na omega-automaty. V rámci projektu tak, aby výsledné automaty měly žádoucí vlastnosti. Cílem tohoto výzkumu je lepší vhled do vztahů mezi LTL, odpovídajícími automaty a jejich apli...
IN - Informatika
- 2014 - 2015 •
- 84 tis. Kč •
- 84 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2014 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Decentralizované řízení vážených automatů (MEB020729)
decentralizovaného řízení konkurentních vážených automatů (weighted automata), jejichž aplikace systémům (jako např. paralelním součinům automatů). Vážené automaty (např. tzv. (max,+) automaty a třídy časovaných automatů) ...
BC - Teorie a systémy řízení
- 2008 - 2008 •
- 33 tis. Kč •
- 33 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Decentralizované supervizní řízení časovaných automatů (GAP103/11/0517)
. Vážené automaty (např. tzv. (max,+) automaty, intervalové automaty a další třídy, a to decentralizované řízení a koordinační řizení, kdy lokální řídící automaty komunikují......
BC - Teorie a systémy řízení
- 2011 - 2013 •
- 986 tis. Kč •
- 986 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
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...
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
Automaty a logiky v symbolické verifikaci software. (MEB021023)
Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...
JC - Počítačový hardware a software
- 2010 - 2011 •
- 121 tis. Kč •
- 121 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2010 - 31. 1. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Algebraické metody v teorii automatů a formálních jazyků II (GA201/09/1313)
Charakterizace významných tříd jazyků syntaktickými strukturami a logikami, studium tříd průsekových automatů, studium implicitních jazykových rovnic, stavová složitost operací s dvoucestnými automaty, q-teorie Prezentace na prestižních konf...
BA - Obecná matematika
- 2009 - 2011 •
- 900 tis. Kč •
- 900 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 636