Filtry
Fundamentální aspekty superstrun (GJ19-06342Y)
, která stojí za pure spinor (PS) formalismem pro superstrunu. I když PS formalismus prošel všemi testy srovnání s obvyklými strunovými formalismy, fundamentální popis PS......
Particles and field physics
- 2019 - 2022 •
- 5 214 tis. Kč •
- 5 214 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Teorie nelineárního elektronového transportu v systémech se silnou korelací (GP202/01/D099)
případyzaložené na formalismu nerovnovážných Greenových funkcí. Výsledný jednotný teoretický a nerovnovážných elektronových vlastností. Vyvinutý formalismus bude pak implementován......
BM - Fyzika pevných látek a magnetismus
- 2001 - 2004 •
- 959 tis. Kč •
- 488 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (51%)
Poskytovatel: Grantová agentura České republiky
Generalized operads (GP13-27340P)
a homotopického přenosu. Použijeme formalismus monád, který byl pro modulární operády zaveden Getzlerem a Kapranovem, a dále formalismus monoidálních kategorií, který byl zaveden......
BA - Obecná matematika
- 2013 - 2017 •
- 660 tis. Kč •
- 660 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 7. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Rényiho entropie v kvantovém zpracování informace (GA16-22211S)
distributed) a non-iid procesů (zdrojů); ii) vyvinout matematický formalismus (geometrické tento matematický formalismus v aplikacích Rényiho entropií v oblasti i) důkazů bezpečnosti......
IN - Informatika
- 2016 - 2018 •
- 6 745 tis. Kč •
- 5 990 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (89%)
Poskytovatel: Grantová agentura České republiky
Vibrační efekty v nerovnovážném elektronovém transportu přes nanosystémy (GA16-19640S)
V tomto projektu vyvineme formalismus založený na nerovnovážných Greenových funkcích pro poruchový popis rozličných aspektů neelastické elektronové tunelovací spektroskopie jako například formulace pomocí rozptylových stavu...
BE - Teoretická fyzika
- 2016 - 2018 •
- 5 333 tis. Kč •
- 4 462 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (84%)
Poskytovatel: Grantová agentura České republiky
Pravděpodobnosti obsazení energetických hladin atomů v modelech hvězdných atmosfér (IAC3003601)
Cílem návrhu je zahrnutí formalismu pravděpodobností obsazení energetických hladin (occupation probabilities) do výpočetního programu pro modelování sféricky symetrických hvězdných atmosfér. Toto nároční vylepšení umožní přesnější výpočty op...
9T - 9
- 1996 - 1996 •
- 0 tis. Kč •
- 0 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 1996 - 1. 1. 1996
Uznané náklady
Podpora ze státního rozpočtu
Poskytovatel: Akademie věd České republiky
Teoretická východiska pro optimalizaci jízdních vlastností a bezpečnosti soudobých motorových vozidel (GA101/00/P098)
Proponovaný grantový projekt je zaměřen na vývoj dobře ovladatelného vozidla s velkou aktivní bezpečností. Konkrétním cílem je pak vytvořit teoretická východiska pro optimalizaci jízdních vlastností a vypracovat formalismus, s jehož využitím...
JB - Senzory, čidla, měření a regulace
- 2000 - 2002 •
- 603 tis. Kč •
- 597 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2000 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (99%)
Poskytovatel: Grantová agentura České republiky
Formální verifikace algoritmy, vlastnosti modelovacích formalismů a temporálních logik (GP201/08/P375)
verifikačních algoritmů, vlastnosti formalismů pro popis nekonečně stavových systémů...
IN - Informatika
- 2008 - 2010 •
- 435 tis. Kč •
- 435 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
KnowSched Znalostní techniky v rozvrhování (GAP202/10/1188)
vlastností rozvrhovacích problémů, návrh formalismu pro modelování těchto vlastností formalismu a pro popis a extrakci řídících pravidel pro obecný rozvrhovací mechanismus.......
IN - Informatika
- 2010 - 2013 •
- 2 448 tis. Kč •
- 2 448 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Vhodné formalismy poddajných soustav mnoha těles pro paralelizaci (GC101/07/J075)
formalismus soustav mnoha poddajných těles a postup řešení, který umožní řešení...
JR - Ostatní strojírenství
- 2007 - 2010 •
- 1 425 tis. Kč •
- 1 425 tis. Kč •
- GA ČR
Řešení projektu: 1. 7. 2007 - 30. 6. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 68