Filtry
Performativní formule v epigrafických dokumentech antické středomořské tradice (GA21-06319S)
Projekt si klade za úkol sestavit komentovaný korpus řeckých, latinských, hebrejských a aramejských textů obsahujících performativní zaklínací formule, a tyto texty následně přeložit, podrobit strukturální lingvistické analýze, zasadit do do...
Linguistics
- 2021 - 2023 •
- 3 438 tis. Kč •
- 3 438 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2021 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Reprezentace booleovských funkcí úplné vzhledem k jednotkové propagaci (GA19-19463S)
, kde znalostní báze je reprezentovaná booleovskou funkcí, obvykle reprezentovanou formulí v konjunktivní normální formě (KNF). Plánujeme studium takové kompilace, kde je formule upravována do jiné KNF formule, jež je úplná...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2022 •
- 6 019 tis. Kč •
- 4 789 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Grantová agentura České republiky
Kompilace znalostí pro programování s omezujícími podmínkami (7AMB17FR027)
na CDCL upraven do podoby líného překladače, který umožní změnu vstupní formule v KNF do formule v KNF, která by byla úplná vzhledem k jednotkové propagaci. Tento líný ověření toho, zda je vstupní formule v KNF úplná vzhle...
IN - Informatika
- 2017 - 2018 •
- 108 tis. Kč •
- 108 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2017 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Teorie reálné kvóty, alternativní přístup k měření proporcionality volebních formulí poměrných systémů (KJB7028302)
Hodnocení proporcionality a vlastností volebních formulí patří mezi oblasti, kde politická věda dosud nenachází shodu. Odborníci se stálepotýkají s nejasným vnímáním proporcionality a disproporcionality s ne zcela ideálním způsobem jejího mě...
AD - Politologie a politické vědy
- 2003 - 2005 •
- 1 051 tis. Kč •
- 1 025 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2003 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Akademie věd České republiky
Kvalita a udržitelnost programů dárcovství částí těla v ČR (TL05000144)
strategii získávání dárců, formulovat guideline pro výpočet kompenzací dárcům, formulovat doporučení pro informované souhlasy dárců i příjemců, formulovat doporučení......
Law
- 2021 - 2023 •
- 4 091 tis. Kč •
- 3 158 tis. Kč •
- TA ČR
Řešení projektu: 1. 4. 2021 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (77%)
Poskytovatel: Technologická agentura ČR
Obraz, gesto, paměť "formule patosu" v českém výtvarném umění, literatuře a umělecko-estetickém myšlení 20. století (GA408/09/0590)
Cílem mezioborového projektu je rekonstrukce a nová interpretace českého umění, literatury a umělecko-estetického myšlení po skončení éry historické avantgardy do konce 60. let 20. stol., prostřednictvím teoretického modelu "formulí patosu" ...
AL - Umění, architektura, kulturní dědictví
- 2009 - 2011 •
- 1 380 tis. Kč •
- 1 380 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Překlad formulí Lineární temporální logiky na omega-automaty (7AMB14FR016)
nebo nové překlady formulí z LTL (či z fragmentů LTL) do různých druhů omega-automatů algoritmů pracujících se specifikacemi systémů ve formě LTL formulí.......
IN - Informatika
- 2014 - 2015 •
- 84 tis. Kč •
- 84 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2014 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
MŘnˇcˇ se trh pr ce a obźanstvˇ v tranformujˇcˇ se spoleźnosti. (OC A13.10)
PýedmŘtem je nezamŘstnanost v ¬R a jejˇ vztah k rozvoji obźanstvˇ. Rozborem statistickěch Łdaj? a sociologickěch informacˇ budou konstruov ny typy a formulov ny hypot?zy dalçˇho věvoje nezamŘstnanosti obźan?. üeçenˇ probl?m? bude srovn no se...
AH - Ekonomie
- 1999 - 2003 •
- 1 137 tis. Kč •
- 895 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1999 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (79%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Inovace infuzních roztoků podle nejnovějších poznatků s protektivním účinkem na glykokalyx (FV10454)
Projekt je zaměřen na inovativní řešení infuzních iontových roztoků universálního i personalizovaného charakteru. Cílem projektu je vyvinutí a prokázání účinnosti nových iontových formulí účinných k náhradě objemu i k ochraně glykokalyxu jej...
CA - Anorganická chemie
- 2016 - 2019 •
- 28 999 tis. Kč •
- 19 581 tis. Kč •
- MPO
Řešení projektu: 1. 10. 2016 - 30. 9. 2019
Uznané náklady
Podpora ze státního rozpočtu (68%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Utváření postojů k celoživotnímu vzdělávání ve školách v České republice (RS98030)
Cílem projektu je analyzovat současný stav utváření postojů k celoživotnímu vzdělávání ve vzdělávacích programech, vzdělávací praxi v České republice, a formulovat cesty, jak tyto postoje zlepšit.......
AM - Pedagogika a školství
- 1998 - 1998 •
- 80 tis. Kč •
- 80 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1998 - 1. 1. 1998
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 281