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

16 (0,304s) •

Projekt

Složitost matematických důkazů a struktur (GA19-05497S)

Budeme studovat logické systémy se zřetelem na otázku, jaká je nejslabší přirozená teorie, v níž lze dokázat dané matematické tvrzení. Tato otázka se často v hloubi týká výpočetní složitosti, neboť důkazy v takovýchto slabých systémech souvisí s efek...

Pure mathematics

  • 2019 - 2022
    • •
  • 9 171 tis. Kč
    • •
  • 8 514 tis. Kč
    • •
  • GA ČR
Projekt

Elektronická knihovna překladů anglických dramat (KJB9164305)

Cílem projektu je sestavit soubor přibližně 400 dramatických textů a tím je zpřístupnit jednak divadelníkům a jednak studentům. Starší překlady anglického dramatu (zejména Shakespeara) jsou dostupné v knihovnách jen ve vzácných starých vydáních. To v...

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

  • 2003 - 2004
    • •
  • 1 164 tis. Kč
    • •
  • 1 056 tis. Kč
    • •
  • AV ČR
Projekt

Mezi vnímáním a propozičním poznáním (GA17-05919S)

Jádrem projektu je nové (současně historické i analytické) uchopení způsobu, jímž jsou propojeny vnímání a myšlení, včetně otázky rozdílu mezi myšlením propozičním a nepropozičním. V rámci širší otázky, jak fungují naše různé kognitivní schopnosti př...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 4 886 tis. Kč
    • •
  • 4 376 tis. Kč
    • •
  • GA ČR
Projekt

Teorie, důkazy a výpočetní složitost (IAA1019401)

Jedná se o teoretický výzkum v matematice a teoretické informatice. Hlavním cílem je studovat pojem výpočetní složitosti z několika hledisek: 1. teorii prvního řádu, 2. výrokového počtu a 3. booleovských obvodů. Konkrétně se jedná o studium omezené a...

BA - Obecná matematika

  • 2004 - 2008
    • •
  • 2 165 tis. Kč
    • •
  • 2 165 tis. Kč
    • •
  • AV ČR
Projekt

Jan Hus a husitská literatura pro 21. století (GA17-15433S)

Raná fáze české reformace je kulturně-historickým fenoménem, který je chápán jako první fáze reformace evropské. Na rozdíl od reformace evropské díla české rané reformace nejsou dostatečně zpřístupněna ani edičně a ještě méně práce bylo odvedeno na p...

AJ - Písemnictví, mas–media, audiovize

  • 2017 - 2021
    • •
  • 4 473 tis. Kč
    • •
  • 3 711 tis. Kč
    • •
  • GA ČR
Projekt

Francouzská literatura v zrcadle českých překladů v období 60. let 20. století (GA405/07/0123)

Projekt je zaměřen na českou překladovou literární produkci, konkrétně na knižní překlady z francouzské literatury v období 60. let 20. století. Předpokládá nejprve vytvoření databáze překladů z tohoto období a na jejím základě pak analýzu a zhodnoce...

AJ - Písemnictví, mas–media, audiovize

  • 2007 - 2009
    • •
  • 565 tis. Kč
    • •
  • 565 tis. Kč
    • •
  • GA ČR
Projekt

Statistický strojový překlad se strukturálním transferem (ME 642)

Navrhovaný projekt řeší problém strojového překladu, resp. jeho nejdůležitější interní části (transferu) pomocí tzv. hloubkové strukturní analýzy vstupní (zdrojové) věty. Výsledek analýzy vstupnívěty odpovídá tzv. tektogramatické závislostní reprezen...

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

  • 2003 - 2005
    • •
  • 7 306 tis. Kč
    • •
  • 3 054 tis. Kč
    • •
  • MŠMT
Projekt

Elektronická knihovna novějších překladů anglických dramat (KJB901640501)

Tento projekt má navázat na předchozí projekt Elektronické knihovny překladů (KJB9164305). Projekt KJB9164305 (t.č. ve svém druhém roce řešení) se už v průběhu řešení ukázal jako velice cenný materiál; uplatnění našel při výuce, mezi divadelníky a do...

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

  • 2005 - 2006
    • •
  • 1 866 tis. Kč
    • •
  • 1 572 tis. Kč
    • •
  • AV ČR
Projekt

Matematické základy inference a rozhodování za nejistoty (IAA100300503)

Projekt bude přirozeným pokračováním grantového projektu věnovaného matematickým základům fuzzy logiky a logik domnění a druhého grantového projektu věnovaného modelům a nástrojům pro práci s nejistotou typu náhodnosti alternativním k teorii pravděpo...

BA - Obecná matematika

  • 2005 - 2009
    • •
  • 2 812 tis. Kč
    • •
  • 2 812 tis. Kč
    • •
  • AV ČR
Projekt

Balbínova Diva Montis Sancti (1665) a její převody do národních jazyků jako jeden z typů barokních překladů (GA17-19400S)

Diva Montis Sancti (1665) je jednou z nejvýznamnějších prací Bohuslava Balbína o mariánských poutních místech. Kromě nástinu kulturněhistorického kontextu a zařazení mezi další spisy tohoto žánru se projekt zaměří na komparaci latinského textu s jeho...

AJ - Písemnictví, mas–media, audiovize

  • 2017 - 2021
    • •
  • 1 355 tis. Kč
    • •
  • 1 355 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 16