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

1 112 (0,084s) •

Project

*Multi-stage stabilization of electro-optical system designated for remote observation (FR-TI1/265)

*Design and realization of the multi-stage stabilization of the electro-optical system of specific reconnaissance sensors (cameras, laser rangefinder and laser pointer). The device will offer smooth view to observer at maxi...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2009 - 2011
    • •
  • 23 260 tis. Kč
    • •
  • 15 880 tis. Kč
    • •
  • MPO
Project

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

concentrates on pointer programs, concurrent programs (including cloud programs combinations of the mentioned constructions (e.g., concurrent pointer programs......

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

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

Scalable Techniques for Analysis of Complex Properties of Computer Systems (GA20-07487S)

-level pointer operations, dealing with arrays and strings, and concurrency. Both...

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

  • 2020 - 2022
    • •
  • 10 611 tis. Kč
    • •
  • 9 278 tis. Kč
    • •
  • GA ČR
Project

Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)

The focus of this project is formal verification of programs with infinite state spaces. Specifically, we target programs with dynamically allocated pointer data structures and programs manipulating unbounded strings. Verification methods fo...

IN - Informatika

  • 2013 - 2015
    • •
  • 2 289 tis. Kč
    • •
  • 2 289 tis. Kč
    • •
  • GA ČR
Project

Clustering and classification using recursive mixture estimation (GA15-03564S)

The proposed project deals with the issues of clustering and classification from the viewpoint of Bayesian methodology and using the recursive mixture estimation theory. The project is directed at systematic development of this theory with the main p...

BB - Aplikovaná statistika, operační výzkum

  • 2015 - 2017
    • •
  • 2 720 tis. Kč
    • •
  • 2 720 tis. Kč
    • •
  • GA ČR
Project

Developement of methods for automatic verification of programs with dynamic data structures (GP201/09/P531)

Use of the dynamic data structures is a common technique used in all bigger software systems. On the other hand, searching for errors in such systems is very complicated thanks to the fact that the data structure itself is hidden behind the tricky

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

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

Markers of neurodegeneration in differential diagnosis of parkinsonian syndrome (NT12221)

, histic destruction pointers and other. The levels of the markers we took will be from...

FH - Neurologie, neurochirurgie, neurovědy

  • 2011 - 2015
    • •
  • 5 282 tis. Kč
    • •
  • 5 282 tis. Kč
    • •
  • MZ
Project

Laser headlight (EG15_018/0004591)

Laser headlight...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2015 - 2020
    • •
  • 13 992 tis. Kč
    • •
  • 4 906 tis. Kč
    • •
  • MPO
Project

Sealed hollow waveguides for infrared radiation and their application in laser medicine (ME 523)

The goal of the project is a development of special sealed hollow waveguides for delivery of the laser radiation of non-coherent and coherent (diode pumped) solid state infrared lasers and applications of this waveguide in medicine....

BH - Optika, masery a lasery

  • 2002 - 2004
    • •
  • 1 513 tis. Kč
    • •
  • 797 tis. Kč
    • •
  • MŠMT
Project

PALS-RI 3 (EH23_015/0008188)

The goal of the project is to modernize and upgrade RI PALS in such a way that it maintains high-quality operation of synchronized power laser systems in the long term of synchronized power laser systems, the installation of RI PALS...

Fluids and plasma physics (including surface physics)

  • 2024 - 2027
    • •
  • 50 000 tis. Kč
    • •
  • 12 650 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 1 112