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

1 990 projects (0,156s) •

Project

Simalution and analysis of the ALICE detector experimental data based on object oriented programming (GA202/98/P266)

The development of the simulation program for the ALICE experiment is the main of informationper year. First the most appropriate environment and programming tools (the simulation program for the physical processes in the d...

BF - Elementární částice a fyzika vysokých energií

  • 1998 - 2001
    • •
  • 645 tis. Kč
    • •
  • 645 tis. Kč
    • •
  • GA ČR
Project

Transformations of logic programs (GA201/96/0197)

The goal of the project is to study transformations of logic programs including programs with built-in predicates, with emphasis on automatic methods of transformations. We propose to explore influence in global information about

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 802 tis. Kč
    • •
  • 546 tis. Kč
    • •
  • GA ČR
Project

The methodology of the monitoring and evaluation of grant programs of the Office of Government of the Czech Republic aimed at integrating the Roma minority (TD03000321)

and evaluation system of programs subsidy of the Government Office, which will allow to monitor and evaluate the implementation of the programs in accordance. The methodology will include following for each of the program:...

AE - Řízení, správa a administrativa

  • 2016 - 2017
    • •
  • 3 652 tis. Kč
    • •
  • 2 922 tis. Kč
    • •
  • TA ČR
Project

Implicitly Parallel Programming Models (GPP202/12/P167)

The project focuses on methods for automatic parallelization of programs in non-purely functional programming languages. The principal objective is to develop new formal models of program execution that are able to implicit...

IN - Informatika

  • 2012 - 2014
    • •
  • 633 tis. Kč
    • •
  • 633 tis. Kč
    • •
  • GA ČR
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

Research and development of automation and operation streamlining resources for a complex IPTV/OTT solution for small and medium-sized content owners (EI22_002/0000391)

A system will be developed to refine the TV program. The declared TV program is usually quite inaccurate. The IPTV/OTT system allows users to start programs backwards from broadcast TV, but the inaccuracy of the beginning o...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023 - 2026
    • •
  • 61 292 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Adaptive precision control of the solution of auxiliary problems in quadratic programming (GA201/97/0421)

Quadratic programming problems arise naturally in the solution of many practical problems. The point of the research program that we propose here is to get of auxiliary problems in quadratic programming algorithms of the Po...

BA - Obecná matematika

  • 1997 - 1999
    • •
  • 509 tis. Kč
    • •
  • 269 tis. Kč
    • •
  • GA ČR
Project

Abstraction and Other Techniques in Semi-Symbolic Program Verification (GA18-02177S)

structures to enable efficient analysis and verification of computer programs written in the C/C++ programming languages. One of the particular goals of the project-code of the program. Programs annotated with suc...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2020
    • •
  • 6 232 tis. Kč
    • •
  • 4 562 tis. Kč
    • •
  • GA ČR
Project

Logic programs with constrains (GA201/99/D057)

Constraint Programming is one of the hottest topics in the area of Programming Languages. Integration with Logic Programming makes the appropriate underlying platform for constraints that raises the potential of both pr...

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

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

Branch Contact Organisation - EUROATOM - nuclear fission (1P04OK457)

EUROATOM, 5. Framework programEU, Nuclear fission, 6. Framework program EU, projects preparations, transition to 7. Framework program EU......

AF - Dokumentace, knihovnictví, práce s informacemi

  • 2004 - 2007
    • •
  • 6 024 tis. Kč
    • •
  • 2 055 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 1 990