Vše
Vše

Co hledáte?

Vše
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

-
19002100

Spojovat pomocíNeboA

Spojovat pomocíNeboA

VybratVše/Nic
    • Zobrazit méně

    • Zobrazit méně

    • Zobrazit méně

    • Zobrazit méně

    • Zobrazit méně

  • Zobrazit více

VybratVše/Nic

Spojovat pomocíNeboA

-

Více filtrů

Projekty

1 932 projektů (0,164s)

Projekt

Pokročilý návrh konstrukčních detailů/prvků pomocí strojového učení (FW01010392)

StatiCa chce vedle nich být globálním technologickým lídrem ve svém oboru. K tomu je nutné zkompletování portfolia IDEA StatiCa produktů. Budou vyvinuty nové postupy pro efektivní návrh prvků. Počet komerčních licencí IDEA Stat...

Construction engineering, Municipal and structural engineering

  • 2020 - 2023
  • 50 975 tis. Kč
  • 30 980 tis. Kč
  • TA ČR
Projekt

Arrowhead Tools for Engineering of Digitalisation Solutions (8A19010)

The Arrowhead Tools project aims for digitalisation and automation solutions for the European industry, which will close the gaps that hinder the IT/OT integration by introducing new technologies in an open source platform for the design and run-time...

Communication engineering and systems

  • 2019 - 2022
  • 11 491 tis. Kč
  • 7 472 tis. Kč
  • MŠMT
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

Dynamics in Aircraft Engineering Design and Analysis for Light Optimized Structures (7E11025)

on conservative static loading which leads to additional weight and, potentially advanced analysis and design principles from DAEDALOS will partly remove the compliance with quasi-static loads by using more realistic equiv...

JU - Aeronautika, aerodynamika, letadla

  • 2011 - 2013
  • 1 302 tis. Kč
  • 1 302 tis. Kč
  • MŠMT
Projekt

Praktická verifikace programů s použitím kombinace statické a dynamické analýzy (GP13-12121P)

Software se nyní používá v kritických systémech, kde výskyt chyb za běhu programu může mít velmi negativní důsledky. Verifikace programů je jeden z přístupů pro detekci možných chyb. Přes značný pokrok dosažený v poslední době mají metody verifikace ...

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

  • 2013 - 2015
  • 1 178 tis. Kč
  • 1 178 tis. Kč
  • GA ČR
Projekt

Electromagnetic interference on static electricity meters (8B18010)

to the definition of accuracy boundary conditions for static electricity meters commercial smart meters. Implement the algorithms in a reference signal analysis tool. 3. To develop a standard measurement testbed for testing st...

Electrical and electronic engineering

  • 2018 - 2021
  • 2 839 tis. Kč
  • 1 489 tis. Kč
  • MŠMT
Projekt

Automatická inkrementální verifikace a odstraňování chyb pro souběžné systémy (GA18-17403S)

Hledání chyb v souběžných systémech, které jsou nyní rozšířené, je velmi důležité ale také velmi náročné a zdlouhavé. Mnoho práce již bylo vykonáno v oblasti automatické verifikace programů a odstraňování chyb, ale stále existují složité problémy, kt...

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

  • 2018 - 2020
  • 2 726 tis. Kč
  • 2 090 tis. Kč
  • GA ČR
Projekt

Diagnostika a léčba poruch statiky a dynamiky malé pánve jako příčina funkčních a organických onemocnění kolorekta. (NR8558)

Vytvoření mezioborové pracovní skupiny řešící komplexní diagnostiku a léčbu poruch statiky a dynamiky malé pánve. Zavedení nové metody chirurgického řešení rektokél a análních prolapsů pomocí Longovy metody.......

FJ - Chirurgie včetně transplantologie

  • 2005 - 2007
  • 3 600 tis. Kč
  • 3 377 tis. Kč
  • MZ
Projekt

Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů (GA20-07487S)

S ohledem na složitost současného software a rostoucí požadavky na jeho spolehlivost jsou k dosažení jeho patřičné kvality vysoce zapotřebí automatizované metody analýzy a verifikace, klasické testování již nepostačuje. Ovšem přes značný pokrok v dan...

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
Projekt

Úpravy konstrukcí panelových domů (TB030MMR001)

, stavebních inženýrů a statiků v oblasti obnovy, modernizace a rekonstrukce panelových...

JN - Stavebnictví

  • 2015 - 2016
  • 3 092 tis. Kč
  • 3 092 tis. Kč
  • TA ČR
  • 1 - 10 z 1 932