All
All

What are you looking for?

All
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

-
19002100

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show less

      • Show less

      • Show less

      • Show less

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

2 470 projects (0,151s) •

Project

Distributed models of cognitive computing (GP201/02/P079)

tool for its study. Theory of formal computational models is used as a starting point, offering constructs as Turing machines and other types of formal automata (orgrammars), abstract automata as cognitive automata

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 687 tis. Kč
    • •
  • 429 tis. Kč
    • •
  • GA ČR
Project

Algebraic methods in automata and formal language theory (GA201/06/0936)

The project is aimed to develop algebraic methods in formal language theory. In particular, we will further investigate classes of syntactic structures of regular structures of the canonical automata. We are going to continue our st...

BA - Obecná matematika

  • 2006 - 2008
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Project

Formal and software tools for study of languages (GA201/99/0236)

The purpose of the project is: a) To develop the theory of automata (especially automata with an operation restart), the theory of formal languages (in particular languages defined by less common forms, e.g. contex...

JD - Využití počítačů, robotika a její aplikace

  • 1999 - 2001
    • •
  • 877 tis. Kč
    • •
  • 780 tis. Kč
    • •
  • GA ČR
Project

Membrane systems and their applications (GP201/09/P075)

try to connect the theory of P systems with the traditional theory of formal languages and automata. Within the scope of this grant we will be concerned with solving some opened problems in theory of P systems mor...

IN - Informatika

  • 2009 - 2011
    • •
  • 434 tis. Kč
    • •
  • 434 tis. Kč
    • •
  • GA ČR
Project

Computational aspects of emergence - theory and experiments (GA201/04/0528)

The project is focused on development of a formal framework rooted in theoretical computer science (theory of formal languages, grammars, and automata, esp. theory of grammar systems and systems of automata) for st...

BD - Teorie informace

  • 2004 - 2006
    • •
  • 1 049 tis. Kč
    • •
  • 1 049 tis. Kč
    • •
  • GA ČR
Project

Coalgebra and discrete event control (GP201/03/P077)

In the last decades supervisory control of logical automata has been studied using algebraic methods. Automata and their various extensions can be studied within there is a naturalneed for the study of quantitative models like weigh...

BC - Teorie a systémy řízení

  • 2003 - 2004
    • •
  • 134 tis. Kč
    • •
  • 134 tis. Kč
    • •
  • GA ČR
Project

Decentralized control of weighted automata (MEB020729)

control of concurrent weighted automata. Its application can avoid the combinatorial products of automata). Weighted automata (e.g. (max,+) automata and some classes of timed automata) are used to model f...

BC - Teorie a systémy řízení

  • 2008 - 2008
    • •
  • 33 tis. Kč
    • •
  • 33 tis. Kč
    • •
  • MŠMT
Project

Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)

on methods based on symbolically encoding sets of program states using finite automata, such as regular model checking. In a connection to that, we will also investigate theory and methods facilitating practical use of finite a...

IN - Informatika

  • 2013 - 2015
    • •
  • 2 289 tis. Kč
    • •
  • 2 289 tis. Kč
    • •
  • GA ČR
Project

Translation of Linear Temporal Logic to Omega-Automata (7AMB14FR016)

by mobilityof researchers working in the area of LTL to omega-automata translations. Within the project, the cooperating teams will identify desired properties of omega-automata-automata with the desired properties. Goal o...

IN - Informatika

  • 2014 - 2015
    • •
  • 84 tis. Kč
    • •
  • 84 tis. Kč
    • •
  • MŠMT
Project

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 concepts of ...

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
  • 1 - 10 out of 2 470