Filtry
Efficient Finite Automata for Automated Reasoning (LL1908)
This project aims at delivering a strong push towards unleashing the theoretical potential of finite automata in practical applications in automated reasoning such as software and hardware analysis and verification or pattern matchi...
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
Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)
and methods facilitating practical use of finite automata in general. This especially on methods based on symbolically encoding sets of program states using finite automata......
IN - Informatika
- 2013 - 2015 •
- 2 289 tis. Kč •
- 2 289 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Pattern matching using finite automata (GP201/01/P082)
The project leads from 192 problems of pattern matching published in 1997 and classified using six-dimensional space, which is a unified view to various pattern matching problems, and from the simulation of nondeterministic finite automa...
JC - Počítačový hardware a software
- 2001 - 2003 •
- 456 tis. Kč •
- 425 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Grantová agentura České republiky
Automata for Decision Procedures and Verification (GA19-24397S)
Research in finite automata is constantly delivering results potentially useful is, however, limited by the insufficient scalability of automata technology. Since the efficiency problems are rooted in the very basic concept...
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
Efficient Automata Techniques for Formal Reasoning (GJ16-24707Y)
The project focuses on development of efficient algorithms for finite automata applicable in formal verification and analysis of dynamic systems. The central idea is to explore connections between automata, SAT/SMT solving,...
IN - Informatika
- 2016 - 2019 •
- 8 142 tis. Kč •
- 8 142 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 29. 11. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
String matching in text (GA201/98/1155)
The oldest string pattern matching algorithms have been known since seventies. The classification of pattern matching algorithms and formal model of algorithms for their solution , based on finite automata, was found last year.Conse...
JC - Počítačový hardware a software
- 1998 - 2000 •
- 1 056 tis. Kč •
- 1 006 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1998 - 1. 1. 2000
Uznané náklady
Podpora ze státního rozpočtu (95%)
Poskytovatel: Grantová agentura České republiky
Algebraic methods in automata and formal language theory (GA201/06/0936)
structures of the canonical automata. We are going to continue our study ofimplicit in those cases where they are regular. We will also deal with generalizations of the classical languages of finite words to the so-called ...
BA - Obecná matematika
- 2006 - 2008 •
- 900 tis. Kč •
- 900 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Computational aspects of emergence - theory and experiments (GA201/04/0528)
in theoretical computer science (theory of formal languages, grammars, and automata, esp. theory of grammar systems and systems of automata) for study of emergence of behaviors to generative mechanisms of different archite...
BD - Teorie informace
- 2004 - 2006 •
- 1 049 tis. Kč •
- 1 049 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (GC19-06175J)
Current approaches for control of timed discrete-event systems (DES) with dense real time only deal with monolithic plants, which means that their control suffers from high complexity and even decidability issues (non existence of finite st...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2022 •
- 4 381 tis. Kč •
- 4 183 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (95%)
Poskytovatel: Grantová agentura České republiky
Specialized computational models in contemporary computer science (GA201/02/1456)
or evolutionary computing; cognitive and neural computing models in AI; specialized finite automata and/or grammars to be used in linguistics; branching programs for studying space-complexity aspects of computing; finite c...
BA - Obecná matematika
- 2002 - 2004 •
- 6 370 tis. Kč •
- 2 640 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2002 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (41%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 7 337