All

What are you looking for?

All
Projects
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

1 143 (0,144s) •

Project

Natural Computing on Unconventional Platforms (GAP103/10/1517)

evolutionary algorithms and cellular automata on proposed platforms. Evolutionary and road traffic simulation are typical evaluation tasks for proposed cellular automata......

JC - Počítačový hardware a software

  • 2010 - 2013
    • •
  • 4 660 tis. Kč
    • •
  • 4 660 tis. Kč
    • •
  • GA ČR
Project

Spatial variability degradation and damage in reliability analysis of concrete structures (SPADD). (GA14-10930S)

. Deterioration modeling will be extended into 2D space using random fields and cellular automata approach. The fully probabilistic approach will be verified in comparison......

JM - Inženýrské stavitelství

  • 2014 - 2016
    • •
  • 4 998 tis. Kč
    • •
  • 4 998 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

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
Project

Deterministic processes on graphs and hypergraphs (GA25-17377S)

Many interesting and important questions in combinatorics revolve around discrete time deterministic processes or one player games on discrete structures such as graphs and hypergraphs. This framework encompasses bootstrap percolation, cellular

Pure mathematics

  • 2025 - 2027
    • •
  • 9 691 tis. Kč
    • •
  • 9 300 tis. Kč
    • •
  • GA ČR
Project

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 matching. Inves...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Project

Automata and Logic for Symbolic Verification of Software (MEB021023)

The scientific goal of the proposed project is to significantly advance the state of the art in the area of symbolic logic-based and automata-based verification to further improve the various individual logic-based as well as automata

JC - Počítačový hardware a software

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Project

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, and prog...

IN - Informatika

  • 2016 - 2019
    • •
  • 8 142 tis. Kč
    • •
  • 8 142 tis. Kč
    • •
  • GA ČR
Project

Decentralized supervisory control of timed automata (GAP103/11/0517)

obstacle for application of supervisory control inindustry. Weighted automata (e.g. (max,+) automata, interval automata, and otherclasses of timed automata) model......

BC - Teorie a systémy řízení

  • 2011 - 2013
    • •
  • 986 tis. Kč
    • •
  • 986 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 1 143