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

7 825 (0,109s)

Projekt

Cesta k divadlu. Vývoj metodiky a specifických nástrojů pro uchování, exploataci a zpřístupnění historických divadelních cedulí se zvláštním zřetelem ke sbírkovým fondům Národního muzea v Praze a Moravského zemského muzea v Brně. (DG16P02B008)

Cílem projektu je vyvinout metodiku a specifické nástroje pro uchování, exploataci a zpřístupnění obsahu historických divadelních cedulí, které patří k nejpřínosnějším zdrojům informací o dějinách divadla. Metodika bude vytvořena na základě následují...

AL - Umění, architektura, kulturní dědictví

  • 2016 - 2020
  • 20 316 tis. Kč
  • 20 312 tis. Kč
  • MK
Projekt

Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)

Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......

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

  • 2010 - 2012
  • 1 500 tis. Kč
  • 1 230 tis. Kč
  • MŠMT
Projekt

Verification and Validation of Automated Systems' Safety and Security (8A20010)

VALU3S will design and evaluate a novel framework for V&V of automated systems with respect to safety, security and privacy requirements. Two reference lists are are used to design improved process workflows for V&V of automated sys...

Computer hardware and architecture

  • 2020 - 2023
  • 6 447 tis. Kč
  • 2 578 tis. Kč
  • MŠMT
Projekt

Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (OC10048)

Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......

IN - Informatika

  • 2010 - 2012
  • 1 641 tis. Kč
  • 1 318 tis. Kč
  • MŠMT
Projekt

Geofyzikální výzkum liniových protipovodňových staveb a vývoj technologie pro predikci jejich destrukcí (GEMSTONE) (OE 225)

monitorování stavu ochranných hrází in situ za současného vývoje inovační technologie verifikace defektu...

JN - Stavebnictví

  • 2006 - 2008
  • 6 616 tis. Kč
  • 3 063 tis. Kč
  • MŠMT
Projekt

Využití genových základen jedle bělokoré v komplexu výzkumných opatření k záchraně a reprodukci genových zdrojů této dřeviny v lesním hospodářství České republiky (QI92A248)

Získání aktuálních informací o stavu genových základen jedle bělokoré, formulace návrhů na vymezení dalších genových základen, ověření geneticky podmíněné variability dílčích populací.......

GK - Lesnictví

  • 2009 - 2013
  • 6 821 tis. Kč
  • 6 077 tis. Kč
  • MZe
Projekt

Ekonomické a ekologické využití vybraných zbytkových průmyslových materiálů při tvorbě krajiny (OE142)

Hlavním cílem předkládaného projektu je úprava tuhých zbytků fluidního spalování tak, aby vyhovovaly z ekologického hlediska pro velkoobjemové využití v zemědělské praxi, ale i při rekultivaci ploch zdevastovaných průmyslovou činností a při úpravách ...

DM - Tuhý odpad a jeho kontrola, recyklace

  • 2003 - 2006
  • 19 500 tis. Kč
  • 9 750 tis. Kč
  • MŠMT
Projekt

Počítačem podporovaná konstrukce plošných textilií TULIAT (OE128)

Očekávané výsledky a přínosy budou: - počítačem podporovaný systém konstrukce textilií - získání vyšší přidané hodnoty tkaných produktů Dále pak -pokles výrobních nákladů při vzorování nových textilií - eliminace časově a nákladově náročné metody ?po...

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

  • 2003 - 2004
  • 870 tis. Kč
  • 430 tis. Kč
  • MŠMT
Projekt

Verification and Validation of Automated Systems' Safety and Security (8A20008)

The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost n...

Computer hardware and architecture

  • 2020 - 2023
  • 8 251 tis. Kč
  • 3 300 tis. Kč
  • MŠMT
Projekt

Verification and Validation of Automated Systems' Safety and Security (8A20009)

The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost n...

Computer hardware and architecture

  • 2020 - 2023
  • 16 825 tis. Kč
  • 10 935 tis. Kč
  • MŠMT
  • 1 - 10 z 7 825