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

80 (0,069s) •

Projekt

Automaty a logiky v symbolické verifikaci software. (MEB021023)

Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...

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

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Projekt

Inkulturace křesťanství v Indii Smysl a důležitost nové náboženské symboliky (GA22-13784S)

etapách, umožní sběr inkulturovaného materiálu nové náboženské symboliky dílčích prvků inkulturované symboliky, (2) způsobu jejich integrace, (3) zda prvky symboliky nadále nesou starý význam vyplývající z původního nábože...

Religious studies

  • 2022 - 2024
    • •
  • 1 619 tis. Kč
    • •
  • 1 619 tis. Kč
    • •
  • GA ČR
Projekt

Symbolika spotřebního chování v marketingu (GA402/99/0514)

Význam symboliky spotřebního chování v marketingu je všeobecně uznáván a zakládá se na zásadní kulturní podmíněnosti marketingového konceptu. Nicméně právě díky této všudypřítomnosti a rozptýlenosti problému v marketingových publikacích a st...

AH - Ekonomie

  • 1999 - 2001
    • •
  • 373 tis. Kč
    • •
  • 373 tis. Kč
    • •
  • GA ČR
Projekt

Reprezentace panovníků v raně novověké literatuře českých zemí a Francie (8J24FR004)

Hlavním badatelským cílem projektu analyzovat literární obraz panovníka a jeho konstrukci v raně novověkých literárních (i neliterárních) textech z českých zemí a Francie a metodou komparace vysledovat rozdíly a paralely mezi oběma zeměmi. Zvláštní p...

Specific literatures

  • 2024 - 2025
    • •
  • 200 tis. Kč
    • •
  • 200 tis. Kč
    • •
  • MŠMT
Projekt

Samoobslužní AI plánovací agenti (FY01010074)

Cílem projektu je zásadní a významné rozšíření cloudové platformy Filuta AI, která využívá autonomní plánovací agenty na bázi Symbolické AI. Projekt odstraní vysoké nároky na expertní znalosti, které byly historicky nutné pro implementaci plánovacích...

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

  • 2025 - 2027
    • •
  • 42 571 tis. Kč
    • •
  • 29 484 tis. Kč
    • •
  • MPO
Projekt

První česká království (GAP405/12/0358)

také symboliky a rituálů knížecích Čech, ale právě zde bádání ustrnulo, a proto stále, rituálů, symboliky a míst paměti nejen v českém, nýbrž i v širším středoevropském......

AB - Dějiny

  • 2012 - 2015
    • •
  • 1 049 tis. Kč
    • •
  • 1 049 tis. Kč
    • •
  • GA ČR
Projekt

Sociálně-kulturní determinanty dopadu cirkulace reprezentací na lidskou mysl a možnosti remediace (EH23_025/0008715)

Během realizace naplánovaných výzkumných záměrů budou provedeny studie dopadu reprezentací na jedince a psychologických vulnerabilit podmiňující toto působení, celospolečenský dopad cirkulace reprezentací včetně aktuálních problémových oblastí. Výstu...

Psychology (including human - machine relations)

  • 2025 - 2029
    • •
  • 141 014 tis. Kč
    • •
  • 43 361 tis. Kč
    • •
  • MŠMT
Projekt

Kvalitativní a kvantitativní analýza nelineárních parciálních diferenciálních rovnic typu p-laplacián (ME10093)

Záměrem projektu je získání nových poznatků pro řešení nelineárních diferenciálních rovnic. Druhým cílem projektu je udržení a rozvoj mezinárodní spolupráce spolu s posílením kvality a výkonu vědecké činnosti na ZČU.......

BA - Obecná matematika

  • 2010 - 2012
    • •
  • 2 220 tis. Kč
    • •
  • 2 220 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

Dynamika molekulových útvarů v křivočarých souřadnicích (IAA1010902)

Použití "reakčních" (křivočarých) souřadnic výstižně popisujících významné vnitřní reorganizace molekulových útvarů (módové excitace, konformační přechody, izomerace, disociace) je silně omezeno formální složitostí odpovídajícího teoretického aparátu...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 896 tis. Kč
    • •
  • 157 tis. Kč
    • •
  • AV ČR
  • 1 - 10 z 80