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

8 652 (0,134s) •

Project

Validation and verification of the model distribution and dispersion of heavy gas in specific situations (TH01031098)

The aim of the project is to produce a software module (DEGAS) designed for modeling of heavy gas under different weather conditions, which will be implemented in the expert system TerEx. Solving project envisages verification model for disp...

AQ - Bezpečnost a ochrana zdraví, člověk – stroj

  • 2015 - 2018
    • •
  • 14 760 tis. Kč
    • •
  • 8 834 tis. Kč
    • •
  • TA ČR
Project

Reliable and effective design of load-carrying structures using experimental results (GA103/07/0628)

for the verification of theoretical calculation models. For example, the test results assisted by testing. The proposed project is oriented to the verification using the knowledge and experiences based on the expe...

JM - Inženýrské stavitelství

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

Design, realization and practical function verification of reverberation chamber usable for complex electromagnetic immunity testing of military equipments - REVERB (OSVTUPV200803)

verification of reverberation chamber for electromagnetic immunity testing of sophisticated military equipments. The testing will be carried out in whole relevant frequency of reverberation chamber, usability verificat...

KA - Vojenství

  • 2008 - 2011
    • •
  • 10 494 tis. Kč
    • •
  • 10 494 tis. Kč
    • •
  • MO
Project

Realistic application of formal methods in component systems (1ET400300504)

verification of component application properties, and to propose and test methods for verification of software components and component applications using this platform. The platform will be open to the emerging methods of...

IN - Informatika

  • 2005 - 2009
    • •
  • 12 881 tis. Kč
    • •
  • 12 881 tis. Kč
    • •
  • AV ČR
Project

Theoretical and experimental analysis of actual behaviour of end plate connections (GP103/09/P417)

and their verification and calibration using the actual variables (from tests). verification, from the point of view of applied approaches and design philosophy. The loading tests results give important informatio...

JM - Inženýrské stavitelství

  • 2009 - 2011
    • •
  • 1 097 tis. Kč
    • •
  • 1 097 tis. Kč
    • •
  • GA ČR
Project

Development of technologies for moisture separation (TA02011148)

for design and evaluation of efficient moisture separators and its verification on test speciment by laboratory testing. Project is divided into three parts, first dealing) and third dealing with laboratory testing

BK - Mechanika tekutin

  • 2012 - 2014
    • •
  • 9 588 tis. Kč
    • •
  • 5 478 tis. Kč
    • •
  • TA ČR
Project

Verification and Bug Hunting for Advanced Software (GA17-12465S)

Automated software verification and bug hunting are hot topics in both industry and academia. Indeed, they can save a lot of money and, in case of safety-critical software verification (based on approaches such as symbolic verif...

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

  • 2017 - 2019
    • •
  • 8 912 tis. Kč
    • •
  • 7 448 tis. Kč
    • •
  • GA ČR
Project

Methods for validating numerical prediction of convective precipitation ? the evaluation of the efficiency of physical parameterizations (LD11044)

The project aims at compilation and testing new methods for the verification of high resolution prediction of convective precipitation. The verification methods will be applied to evaluating the efficiency of convection par...

DG - Vědy o atmosféře, meteorologie

  • 2011 - 2014
    • •
  • 1 130 tis. Kč
    • •
  • 1 130 tis. Kč
    • •
  • MŠMT
Project

*DIAGNOSTIC OF HIGH SPEED OBJECTS FOR SAFETY TESTS (FR-TI1/368)

*New method for speed evaluation of small testing object near accelerating unit for product and component protective tests. Method verification on functional prototype of sensor.......

JB - Senzory, čidla, měření a regulace

  • 2009 - 2012
    • •
  • 13 008 tis. Kč
    • •
  • 6 450 tis. Kč
    • •
  • MPO
Project

Integrated Verification and Falsification of Hybrid Systems of Industrial Size (GCP202/12/J060)

into the stage of testing the correctness of the system design. The notion of a hybrid system, allow techniques for formal verification of hybrid systems to handle systems verificationand automated falsification/testing. S...

IN - Informatika

  • 2012 - 2014
    • •
  • 2 535 tis. Kč
    • •
  • 2 535 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 8 652