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”
CS
ČeštinaEnglish

Filtry

2 019 (0,09s) •

Projekt

Efektivní konečné automaty pro automatické usuzování (LL1908)

Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzorů. Budou ...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Projekt

Automaty v rozhodovacích procedurách a verifikaci (GA19-24397S)

Výzkum konečných automatů je tradiční disciplínou, která dlouhodobě produkuje množství výsledků potenciálně využitelných v mnoha oblastech, jako jsou verifikace, zpracování přirozeného jazyka, databáze, nebo webové technologie. Praktická využitelnost...

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

  • 2019 - 2023
    • •
  • 8 460 tis. Kč
    • •
  • 6 551 tis. Kč
    • •
  • GA ČR
Projekt

Variační analýza v nehladkých úlohách matematické fyziky (IAA1075402)

Teoretický výzkum bude zaměřen na vícekanálové úkoly, rychlostně nezávislé procesy, jednostranné kontaktní úlohy, tření, nekonečně rozměrnou optimalizaci s ekvilibriálnímmi omezeními a hysterei v rychlostně nezávislých procesech. Kvanlitativní analýz...

BA - Obecná matematika

  • 2004 - 2007
    • •
  • 4 320 tis. Kč
    • •
  • 2 732 tis. Kč
    • •
  • AV ČR
Projekt

Moderní metody pro tvarovou optimalizaci Francisových turbín (TK04020250)

Cílem projektu je podstatné vylepšení metod pro automatický návrh a tvarovou optimalizaci Francisovy turbíny, a to zejména jejího oběžného kola, při zadaných provozních parametrech, které budou zaměřeny především na zvyšování užitných vlastností stro...

Energy and fuels

  • 2022 - 2025
    • •
  • 21 680 tis. Kč
    • •
  • 12 967 tis. Kč
    • •
  • TA ČR
Projekt

Efektivní techniky pro práci s automaty ve formálním usuzování (GJ16-24707Y)

Projekt si klade za cíl vyvinout nové efektivní a praktické algoritmy pro konečné automaty aplikovatelné ve formální verifikaci a analýze dynamických systémů. Bude stavět zejména na studiu souvislostí mezi automatovými problémy, metodami řešení SAT/S...

IN - Informatika

  • 2016 - 2019
    • •
  • 8 142 tis. Kč
    • •
  • 8 142 tis. Kč
    • •
  • GA ČR
Projekt

Segmentace a trekování živých buněk v multimodálních obrazech (GA17-05048S)

Segmentace a sledování pohybu živých buněk patří do oblasti zpracování biomedicínských obrazů a jsou extrémně důležité v současném výzkumu buněk. Nedávná studie nejmodernějších metod sledování pohybu buněk prokázala, že problém segmentace a sledování...

IN - Informatika

  • 2017 - 2021
    • •
  • 6 051 tis. Kč
    • •
  • 3 936 tis. Kč
    • •
  • GA ČR
Projekt

Variační úlohy v nehladké matematické fyzice teorie, numerické metody a aplikace (IAA1075005)

Teoretická část projektu bude soustředěna na a) výzkum dissipativní evoluce mikrostruktury s aplikacemi v mikromagnetismu, magnetostrikci a martensitické transformaci; b) prohloubení a rozšíření teoretických znalostí o kontaktních úlohách v mechanice...

BA - Obecná matematika

  • 2000 - 2003
    • •
  • 6 381 tis. Kč
    • •
  • 2 593 tis. Kč
    • •
  • AV ČR
Projekt

Analýza funkcionálních dat a související témata (GA15-06991S)

Statistické metodologie zabývající se funkcionálními daty jsou nazývány analýzami funkcionálních dat (FDA), přičemž termínem "funkcionální" je zdůrazněna skutečnost, že data jsou tvořena funkcemi popisujícími křivky a plochy. V projektu budou detailn...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 7 762 tis. Kč
    • •
  • 7 762 tis. Kč
    • •
  • GA ČR
Projekt

Sexuální dimorfismus a dědičné založení tvaru lidské ruky (GP305/05/P303)

Ruka člověka je díky své morfologické komplexitě a důležitým funkcím citlivým indikátorem faktorů ontogeneze a růstu. Je tak snadno přístupnou externalizací některých vnitřních vlastností organismu, což může být využito k jejich rozpoznání a hodnocen...

AC - Archeologie, antropologie, etnologie

  • 2005 - 2007
    • •
  • 536 tis. Kč
    • •
  • 536 tis. Kč
    • •
  • GA ČR
Projekt

Vývoj a charakterizace aktivních hybridních textilií s integrovanými NiTi vlákny mikronových průměrů s nanozrnnou strukturou (GAP108/10/1296)

Vlákna mikronových průměrů z NiTi slitiny s tvarovou pamětí vykazují výjimečné mechanické a funkční vlastnosti díky své jemnozrnné struktuře získané kombinací plastické deformace při tažení za studena a následného tepelného zpracování. Velké množství...

JJ - Ostatní materiály

  • 2010 - 2012
    • •
  • 6 049 tis. Kč
    • •
  • 6 049 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 2 019