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 826 (0,175s)

Projekt

Vývoj stavebních prvků, využívající skleněné optické rastry vyráběné metodou kontinuálního lití (1QS110700572)

Předmětem výzkumu a vývoje je uplatnění optických rastrů a víceúčelových koncentračních kolektorových systémů, využívajících lineární Fresnelovy čočky ze skla, které jsou dnes ve stádiu prototypů v technické stavební praxi. Cílem projektu je vyvinout...

JE - Nejaderná energetika, spotřeba a užití energie

  • 2005 - 2008
  • 5 363 tis. Kč
  • 4 975 tis. Kč
  • AV ČR
Projekt

Multikriteriální vyhodnocování negativních vlivů látek znečišťujících ovzduší se zaměřením na acidifikaci, eutrofizaci a desikaci přírodních ekosystémů založené na principu kritických prahů dle metodologie EHK OSN (SJ/740/4/00)

Výzkum vzájemných vztahů souběžného působení imisních koncentrací a atmosférických depozic sloučenin síry, dusíku a ozonu na přírodní ekosystémy. Formulace a praktická aplikace multikriteriálního matematického modelu pro hodnocení antropogenní zátěže...

DI - Znečištění a kontrola vzduchu

  • 2000 - 2002
  • 4 547 tis. Kč
  • 4 547 tis. Kč
  • MŽP
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
  • 1 - 10 z 7 826