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

61 (0,194s) •

Project

*Computer software for the simulation of concrete hardening using the microscale models for hydration (FR-TI1/612)

*Modelling of the production process of demanding concrete structures namely regarding their future safety and durability.The model will take into account the hydration process, the used treatment methods, the development of hydration heat and the oc...

JN - Stavebnictví

  • 2009 - 2012
    • •
  • 12 703 tis. Kč
    • •
  • 10 100 tis. Kč
    • •
  • MPO
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

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
Project

Multidrug Resistance in Cancer Molecular, Celular and Clinical Aspects. (IZ4132)

The objective of the study is to elucidate the molecular,cellular and clinical aspects of multidrug resistance in cancer.We intend to evaluate the prognostic value of multidrug resistance in haematological and solid tissue malignancies. Further,we pl...

FD - Onkologie a hematologie

  • 1997 - 2001
    • •
  • 13 372 tis. Kč
    • •
  • 13 079 tis. Kč
    • •
  • MZ
Project

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 automata. ...

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

  • 2001 - 2003
    • •
  • 456 tis. Kč
    • •
  • 425 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 61