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”

Filtry

4 (0,062s)

Projekt

Automated formal verification using modern hardware (GP201/09/P497)

We will conduct basic research in the field of automated formal verification and analyses of computer, biological, and probabilistic systems. In particular, we will focus on efficient utilization of modern hardware such as multi-cored workstations, s...

IN - Informatika

  • 2009 - 2011
  • 572 tis. Kč
  • 572 tis. Kč
  • GA ČR
Projekt

Verification and Analysis of Large-Scale Computer Systems (GA201/09/1389)

The main objective of the project is to create a theoretical and methodological base for computer-aided and automatic verification and analysis of computer systems. The project aims to support the development of methodologies, technologies and tools ...

IN - Informatika

  • 2009 - 2011
  • 1 892 tis. Kč
  • 1 892 tis. Kč
  • GA ČR
Projekt

Metrology for static and dynamic characterization of supercapacitors (9B24015)

určení ekvivalentního elektrického modelu SC pro dynamické aplikace. Rychle...

Electrical and electronic engineering

  • 2024 - 2027
  • 4 892 tis. Kč
  • 2 446 tis. Kč
  • MŠMT
Projekt

Enabling access to geological information in support of GMES (7E11056)

dat, např. pro konstrukci velmi přesného (a podrobného) digitálního modelu terénu...

DB - Geologie a mineralogie

  • 2012 - 2012
  • 117 tis. Kč
  • 117 tis. Kč
  • MŠMT
  • 1 - 4 z 4