Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

2 023 (0,134s) •

Projekt

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
Projekt

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
Projekt

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
Projekt

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
Projekt

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
Projekt

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
Projekt

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
Projekt

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
Projekt

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
Projekt

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 z 2 023