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

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

836 projects (0,134s) •

Project

Decidability Issues for process algebras (GA201/98/P046)

systems, especially in the area of verification of infinite-state systems. Main comparison of expressibility of various models for infinite-state systems. (2 of infinite-state systems. Decidability of the regularity proble...

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

  • 1998 - 2000
    • •
  • 725 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
Project

Infinite dimensional stochastic systems (GA201/07/0237)

infinite dimensional systems (in particular, of solutions to infinite dimensional stochastic equations) and at research in infinite dimensional stochastic control theory of solutions to infinite dimensional stocha...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 892 tis. Kč
    • •
  • 892 tis. Kč
    • •
  • GA ČR
Project

Advanced Methods for Automatic Verification of Infinite-state Systems (MEB020840)

The goal of the project is to contribute to the development of methods for automated verification of infinite-state systems such that their current limitations both in the sense of efficiency as well as generality are reduced as much as poss...

IN - Informatika

  • 2008 - 2009
    • •
  • 92 tis. Kč
    • •
  • 92 tis. Kč
    • •
  • MŠMT
Project

Stochastic equations in infinite dimensional spaces (GA201/04/0750)

Qualitative behaviour of solutions to stochastic equations in infinite of random dynamical systems defined by stochastic equations in infinite dimensions. 2 the driving process is a fractional Brownian motion. 3. Infinite d...

BA - Obecná matematika

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

Finite spectrum strings and their applications to field theory (GA25-16244S)

While the infinite string spectrum is essential for its remarkable self-consistency, it also prevents a wider application to models of more immediate interest. Recently a new class of string-like models was discovered, containing a ...

Particles and field physics

  • 2025 - 2027
    • •
  • 6 070 tis. Kč
    • •
  • 5 505 tis. Kč
    • •
  • GA ČR
Project

Algebraic Language Theory for Infinite Trees (GA17-01035S)

and infinite words. There are also candidates for languages of finite trees, but the theory for infinite trees is still in its infancy. The goal of this project is to develop an algebraic theory for languages of infinite t...

IN - Informatika

  • 2017 - 2019
    • •
  • 2 731 tis. Kč
    • •
  • 1 985 tis. Kč
    • •
  • GA ČR
Project

New concepts in theory of signal shapers with time delays (GA13-06962S)

are likely to have considerable better features with respect to robustness, spectrum...

BC - Teorie a systémy řízení

  • 2013 - 2015
    • •
  • 3 994 tis. Kč
    • •
  • 3 994 tis. Kč
    • •
  • GA ČR
Project

Algorithms for Infinite-State Discrete Systems and Games (GA18-11193S)

Algorithmic game theory provides convenient tools for modeling and analysis of problems related to formal verification and multi-agent planning. In the framework of the proposed project, special attention is devoted to games with infinitely ...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2020
    • •
  • 9 463 tis. Kč
    • •
  • 5 660 tis. Kč
    • •
  • GA ČR
Project

Analysis of Concurrent Infinite State Systems (GA201/93/2123)

BA - Obecná matematika

  • 1993 - 1995
    • •
  • 130 tis. Kč
    • •
  • 260 tis. Kč
    • •
  • GA ČR
Project

Diophantine approximation of infinite sequences (ME09017)

The main aim of this project is to writing the book concerning the Diophantine approximations of infinite series which will contain theory and also single applications. The authors of this book will be Deanna M Caveny, Jaroslav Hančl, Jan Šu...

BA - Obecná matematika

  • 2009 - 2012
    • •
  • 564 tis. Kč
    • •
  • 564 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 836