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

19 (0,099s) •

Projekt

Historie Galerie moderního umění v Roudnici n. L. a její sbírky (DA99P02OOU012)

Galerie moderního umění v Roudnici n. L. patří k nejstarším, veřejně přístupným sbírkám v českých zemích. Její sbírkový fond má tedy specifické rysy, které ji odlišují od všech pozdějších galerií.......

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

  • 1999 - 1999
    • •
  • 131 tis. Kč
    • •
  • 115 tis. Kč
    • •
  • MK
Projekt

Testování kvality léčiv ? Vývoj nových analytických metod (ME 921)

Cílem řešení projektu v roce 2007 je vypracování rešerže v oblasti průtokových metod používaných v analýze léčivých látek pomocí Web on Science a Analytical Abstract a na základě těchto poznatků navržení optimálního postupu k analýze vitamin...

CB - Analytická chemie, separace

  • 2007 - 2007
    • •
  • 355 tis. Kč
    • •
  • 190 tis. Kč
    • •
  • MŠMT
Projekt

Jan Kotík (1916-2002) - monografie (GA408/09/1943)

Podstata projektu spočívá v badatelské práci související s přípravou monografické studie, ta by měla v kontextu českého a evropského výtvarného umění představit šíři výtvarné a teoretické tvorby Jana Kotíka, který nesporně patří ke klíčovým osobnoste...

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

  • 2009 - 2010
    • •
  • 1 019 tis. Kč
    • •
  • 1 019 tis. Kč
    • •
  • GA ČR
Projekt

Neklasické výrokové a predikátové logiky přístup založený na uspořádání (GA13-14654S)

Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich precizních matematických základů. Jednotný přístup založe...

IN - Informatika

  • 2013 - 2018
    • •
  • 4 570 tis. Kč
    • •
  • 4 570 tis. Kč
    • •
  • GA ČR
Projekt

Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí (8J18FR045)

Analýza dynamických systémů prostřednictvím vhodných informatických modelů je jedním ze zásadních stavebních kamenů moderního paradigmatu systémové biologie. Motivace pro použití vhodných formalismů a výpočetních technik z oblasti počítačové vědy vyc...

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

  • 2018 - 2019
    • •
  • 108 tis. Kč
    • •
  • 98 tis. Kč
    • •
  • MŠMT
Projekt

Regesta Bohemiae at Moraviae aetatis Venceslai IV. sv. 2 (ICE809920701)

Druhý svazek první části pátého dílu edice Regesta Bohemiae et Moraviae aetatis Venceslai IV. (1378dec.-1419 aug. 16.) obsahuje zbylou část regestů klášterních listin dříve Státního ústředního, nyní Národního archive. Jde o materiál jednak celkem 27 ...

AB - Dějiny

  • 2007 - 2007
    • •
  • 269 tis. Kč
    • •
  • 269 tis. Kč
    • •
  • AV ČR
Projekt

Abstraktní konvergenční schémata a jejich složitost (GX20-31529X)

Abstraktní konvergenční schémata jsou základní struktury teorie kategorií, které slouží jako univerza pro studium nekonečných evolučních procesů a jejich limitního chování. Konvergenční schémata opatřená dalšími strukturami poskytují použitelný rámec...

Pure mathematics

  • 2020 - 2025
    • •
  • 29 370 tis. Kč
    • •
  • 29 370 tis. Kč
    • •
  • GA ČR
Projekt

Teorie reprezentací (strukturní rozklady a jejich meze) (GA14-15479S)

Předkládaný projekt se soustřeďuje na nová témata teorie reprezentací inspirovaná Eklofovým a Shelahovým objevem množinově-teoretických omezení pro strukturní rozklady a aproximace modulů. Naším hlavním cílem je prozkoumat hranice pro existenci těcht...

BA - Obecná matematika

  • 2014 - 2016
    • •
  • 4 265 tis. Kč
    • •
  • 4 265 tis. Kč
    • •
  • GA ČR
Projekt

Kognitivní funkce ptáků založené na abstraktních zrakových stimulech (KJB500110704)

Ptáci i savci disponují celou škálu podobných kognitivních nástrojů(orientace, kategorizace, anticipace), i když nervové mechanizmy, které se na nich podílejí mohou být různé. Prostorová kognice je vhodným srovnávacím modelem pro výzkum kognitivních ...

FH - Neurologie, neurochirurgie, neurovědy

  • 2007 - 2009
    • •
  • 1 957 tis. Kč
    • •
  • 1 957 tis. Kč
    • •
  • AV ČR
Projekt

Metamatematika substrukturálních modálních logik (GA22-01137S)

Klasická logika modeluje usuzování o boolovských kombinacích atomických výroků. Modální logiky ji rozšiřují přidáním výrokových spojek (takzvaných „modalit“) umožňujících usuzování o způsobech pravdivosti, např. „nutně“, „je dovoleno“ či „je známo“. ...

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 19