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

4 250 (0,12s) •

Project

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

) as well as extrapolating dynamic analysis and advanced testing of programs that use several classes of advanced programming constructions. In particular, the project concentrates on pointer programs, concurrent progra...

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

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

Fracture resistance of steels for containers of spent nuclear fuel (ME 352)

Fracture resistance and materials properties of steels for container casks for the containers especially from point of view of fracture resistance at low temperatures treatment aiming at optimization of heat treatment of contain...

JL - Únava materiálu a lomová mechanika

  • 2000 - 2001
    • •
  • 2 530 tis. Kč
    • •
  • 600 tis. Kč
    • •
  • MŠMT
Project

Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)

Automated verification of programs is currently a very hot issue due verificationof programs with advanced features of concurrency and unboundedness, which both, verification of programs manipulating different unbounded str...

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

  • 2010 - 2013
    • •
  • 4 752 tis. Kč
    • •
  • 4 752 tis. Kč
    • •
  • GA ČR
Project

Fracture Resistance of Steels for Containers of Spent Nuclear Fuel (ME 303)

Fracture resistance of steels for container casks of spent nuclear fuel is planned to be evaluated using recent and newly developed approaches. Development of these approaches, namely local approach, master curve methodology and toughness sc...

JL - Únava materiálu a lomová mechanika

  • 1999 - 2001
    • •
  • 7 600 tis. Kč
    • •
  • 2 100 tis. Kč
    • •
  • MŠMT
Project

Thermodynamic and transport properties of electric arc plasma (GA102/06/1337)

, Ar, Ca, Cl, Cu, and e-;programs for the calculation of standard thermodynamic functions of gaseous substances and their approximations;methods and programs for a consistent extension and updating of the database species;progra...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2006 - 2008
    • •
  • 2 782 tis. Kč
    • •
  • 2 063 tis. Kč
    • •
  • GA ČR
Project

Development of software system for solving large-scale problems of nonlinear and nonsmooth optimization (IAA1030405)

and semi-infinite optimization problems containing composite partially separable nonlinear programming. Therefore, the development of methods for solving large-scale extended to contain new system tools, e.g., automatic di...

BA - Obecná matematika

  • 2004 - 2008
    • •
  • 1 623 tis. Kč
    • •
  • 1 406 tis. Kč
    • •
  • AV ČR
Project

In search of the specificity for ISWI chromatin-remodeling activities. (GA19-03586S)

Tissue development is guided by processes that initiate expression of some mRNAs while others are silenced. Genetic programs are defined by DNA binding factors that navigate chromatin remodeling complexes to regions that become transcription...

Hematology

  • 2019 - 2021
    • •
  • 9 645 tis. Kč
    • •
  • 9 474 tis. Kč
    • •
  • GA ČR
Project

Effect of exercise-education program inspired by developmental kinesiology on determinants of sarkopenia and frailty in late life (NU22-09-00447)

and educational program for older adults. The main planned result of the project is a methodological manual and a web application containing education and exercise program also contains instructional videos for da...

Geriatrics and gerontology

  • 2022 - 2025
    • •
  • 6 173 tis. Kč
    • •
  • 6 173 tis. Kč
    • •
  • MZ
Project

The dynamic behavior analysis of coupling totors systems with elastic nonrotating parts and nonlinear bearings (GA101/96/0781)

and electromechanical rotor systems of middle power that contain electromechanical couplings of the developed numerical algorithms and programs through experimental modelling with rotor new algorithms and computer programs...

JT - Pohon, motory a paliva

  • 1996 - 1998
    • •
  • 1 583 tis. Kč
    • •
  • 1 220 tis. Kč
    • •
  • GA ČR
Project

New methods of providing and monitoring auality of services in next generation networks (GA102/03/0560)

is to develop a software package for the Java programing language. This package will offer a universal programming interface for networkcommunications with QoS support for fixed is to develop a routing protocol containing ...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2003 - 2005
    • •
  • 7 022 tis. Kč
    • •
  • 4 425 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 4 250