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

5 352 projects (0,285s) •

Project

Algorithms and tools for practical verification of concurrent systems (GA201/00/1023)

The project concentrates on the study and development of practical methods for verification of concurrent systems. The main objectives and research priorities can evaluation methods for infinite-state systems. 2. Complexity of ´...

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

  • 2000 - 2002
    • •
  • 1 429 tis. Kč
    • •
  • 736 tis. Kč
    • •
  • GA ČR
Project

Development of the feed mixture composition and practical verification of composite materials using the new type of lightweight artificial aggregate (EG16_083/0008871)

Development of the feed mixture composition and practical verification of composite materials using the new type of lightweight artificial aggregate......

DM - Tuhý odpad a jeho kontrola, recyklace

  • 2017 - 2020
    • •
  • 13 698 tis. Kč
    • •
  • 1 528 tis. Kč
    • •
  • MPO
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 matchi...

Automation and control systems

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

Determination of the methodology of prognosis of traffic performances and traffic relations (CE804210104)

Proposal of the methodology for prognoses of traffic volumes and transport relations. Modelling of transport relations and prognoses elaboration. Review of the available domestic as well as foreign methodology for transport volumes prognoses, selecti...

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

  • 2001 - 2003
    • •
  • 1 829 tis. Kč
    • •
  • 1 829 tis. Kč
    • •
  • MD
Project

Verification of influence and rate of grassing or ploughiong grassalnd of selected localities on surface water and groundwater nitrate loading - background for precautions of Action programmes. (QF4062)

The project will be focused on practical verification of influence of grassing or ploughing of grassland on nitrate concentration development in river basins, and verification of changes in nitrate loading after grassing. <...

DJ - Znečištění a kontrola vody

  • 2004 - 2007
    • •
  • 6 201 tis. Kč
    • •
  • 6 201 tis. Kč
    • •
  • MZe
Project

Models of Mobile Networks and their Parts (GA102/07/1295)

transmitted. In addition to the computer simulation a practical verification of selected. A precondition for the practical verification of the respective model is the their verification, it will be possib...

JA - Elektronika a optoelektronika, elektrotechnika

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

*Application of VUT 001 Marabu for hydrogen fuel cells propulsion (FR-TI1/061)

. Practical verification of fuel cells propulsion onboard the aircraft will be done.*Objective is to create environment for design and development of aircraft powered by fuel cells. Major project result will be verification...

JU - Aeronautika, aerodynamika, letadla

  • 2009 - 2013
    • •
  • 28 798 tis. Kč
    • •
  • 22 831 tis. Kč
    • •
  • MPO
Project

Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems (GP102/03/D211)

verification of infinite-state and parametric systems is significantly less developed. Many practically important systems of this kind are not covered by any automatic verification in development of automated methods and t...

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

  • 2003 - 2006
    • •
  • 604 tis. Kč
    • •
  • 604 tis. Kč
    • •
  • GA ČR
Project

Research of methods and tools for verification of embedded computer system fault tolerance (GA102/03/0672)

Research of methods and tools for verification of embedded computer system fault tolerance. The goal of the project is to design and practically test the methods of fault tolerance verification, especially in the environmen...

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

  • 2003 - 2005
    • •
  • 3 227 tis. Kč
    • •
  • 3 227 tis. Kč
    • •
  • GA ČR
Project

Application of nano-technological silver in practice, verification of antibacterial effects and their stabilisation (OE08005)

The objective of the research and development program is to develop, to laboratory and clinically test and certify antibacterial agents using silver nano-particles.......

CE - Biochemie

  • 2008 - 2011
    • •
  • 8 270 tis. Kč
    • •
  • 4 100 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 5 352