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

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

179 projects (0,121s) •

Project

Decidability and complexity of observational equivalences on infinite - state processes (GA201/99/D026)

The aim of the project is to contribute new knowledge to the study of concurrent systems, inparticular with regard to the decidability of the problems and PDDA, from thepoint of view of decidability and computational optimality whet...

BC - Teorie a systémy řízení

  • 1999 - 2002
    • •
  • 231 tis. Kč
    • •
  • 231 tis. Kč
    • •
  • GA ČR
Project

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

) Decidability and complexity of the equivalence-testing problem for processes which of infinite-state systems. Decidability of the regularity problem for infinite-state......

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

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

Analysis of alternative ways of dispute resolution in industrial relations (GA13-33780S)

The aim of the project is a comprehensive analysis of the evolution and future possibilities of alternative deciding of individual and some of collective industrial disputes in Czech Rep. Evaluation of previous models and foreign practice ca...

AG - Právní vědy

  • 2013 - 2017
    • •
  • 1 008 tis. Kč
    • •
  • 1 008 tis. Kč
    • •
  • GA ČR
Project

The Expert System for Deciding Support in Technological Working Processes Control and their Optimization by EU legislation validity. (QF3200)

The creation of the expert system for deciding support in technological and working processes solutions in agriculture and their optimization are the objects of this project. The system is based on concrete natural and processing conditions,...

GA - Zemědělská ekonomie

  • 2003 - 2006
    • •
  • 7 159 tis. Kč
    • •
  • 7 159 tis. Kč
    • •
  • MZe
Project

Environmental conditions deciding about the survival of whitefish, tench and glass-eyed pike fry (IE0940964007)

GL - Rybářství

  • 1994 - 1996
    • •
  • 811 tis. Kč
    • •
  • 960 tis. Kč
    • •
  • MZe
Project

Interpolation, Amalgamation, and Computation (GM25-18306M)

for understanding computational aspects of interpolation, such as the decidability of various...

Pure mathematics

  • 2025 - 2029
    • •
  • 22 483 tis. Kč
    • •
  • 22 483 tis. Kč
    • •
  • GA ČR
Project

Proposal of the multicriterial analysis methodology in the field of transport based on economic, social, scientific and technical information (CC503330601)

Application of the management theory in the transport. Information system and systems for promotion of deciding. Formation and evaluation of variants by help of multicriterial analysis.......

JO - Pozemní dopravní systémy a zařízení

  • 1996 - 2000
    • •
  • 1 615 tis. Kč
    • •
  • 1 615 tis. Kč
    • •
  • MD
Project

DEN BRAVEN - new product line - cartouche - development (EG17_106/0012357)

The applicant has decided to develop its range of products filled into the cartridge packaging. These are brand new products that are not yet on the market, as well as products that must now be purchased and resold as merchandise.......

JN - Stavebnictví

  • 2017 - 2021
    • •
  • 8 381 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Verification of infinite-state systems (GA201/03/1161)

. decidability of (some) equivalences and preorders, todescribe theirmutual relationship it is suggested to study decidability and complexity......

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

  • 2003 - 2005
    • •
  • 6 141 tis. Kč
    • •
  • 2 211 tis. Kč
    • •
  • GA ČR
Project

Infinite state concurrent systems - models and verification (GA201/00/0400)

to characterise (sub) classes w.r.t. decidability of (some) equivalences, to describe decidability issues of modal a temporal logics (or their reasonable fragments)......

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

  • 2000 - 2002
    • •
  • 2 793 tis. Kč
    • •
  • 1 669 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 179