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

101 (0,123s) •

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

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

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
Project

Algebraic aspects of invariant differential operators (GP201/06/P223)

. These symplectic versions are acting between fields with values in some infinite dimensional differential operators for the case of infinite dimensional modules over symplectic and infinite dimensional symplectic modules ...

BA - Obecná matematika

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

Finite-dimensional behavior of infinite-dimensional dynamical systems (IA119102)

9O - 9

  • 1993 - 1994
    • •
  • 0 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 101