Filtry
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Více filtrů
Projekty
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
Řešení projektu: 1. 1. 2018 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů (GA20-07487S)
S ohledem na složitost současného software a rostoucí požadavky na jeho spolehlivost jsou k dosažení jeho patřičné kvality vysoce zapotřebí automatizované metody analýzy a verifikace, klasické testování již nepostačuje. Ovšem přes značný pokrok v dan...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 10 611 tis. Kč •
- 9 278 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Grantová agentura České republiky
Pokročilá analýza a verifikace pro pokročilý software (GA23-06506S)
S cílem pomoci vývojářům software vyrovnat se s jeho obrovskou a stále rostoucí složitostí se projekt zaměřuje na nové metody automatizované analýzy a verifikace pokročilého software, založeného na nízkoúrovňovém programování, moderních vysokoúrovňov...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 - 2025 •
- 13 285 tis. Kč •
- 10 970 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Grantová agentura České republiky
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
Řešení projektu: 1. 1. 1999 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (88%)
Poskytovatel: Ministerstvo kultury
Interakce modelového základu a písčitého podloží (OC C7.10)
Experimentální se řeší interakce modelových svisle zatížených základů s písčitým podložím v přirozeném gravitačním poli. Zvláště se sleduje sedání (zvedání) povrchu v okolí základů a možnost přenést modelové výsledky na chování prototypu.......
JM - Inženýrské stavitelství
- 1996 - 2002 •
- 1 460 tis. Kč •
- 905 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1996 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (62%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
Řešení projektu: 1. 5. 2007 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (54%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Charakteristika a úloha evropského konsensu při výkladu Evropské úmluvy o lidských právech (GA15-03102S)
Již od sedmdesátých let 20. století používá Evropský soud pro lidská práva (Soud) koncepci tzv. evropského konsensu pro to, aby zdůvodnil posun ve výkladu jednotlivých ustanovení Evropské úmluvy o ochraně lidských práv a základních svobod (Úmluva). T...
AG - Právní vědy
- 2015 - 2018 •
- 383 tis. Kč •
- 383 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 23. 4. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Vývoj systému pro hodnocení prostorových souvislostí kontaminace životního prostředí chemickými látkami. (TB010MZP058)
Cílem projektu je vytvořit pro státní správu (MŽP) praktický softwarový nástroj na interpretaci souvislostí plynoucích z dat o environmentálních hladinách kontaminantů (především POPs) v ČR.......
AE - Řízení, správa a administrativa
- 2013 - 2015 •
- 2 539 tis. Kč •
- 2 539 tis. Kč •
- TA ČR
Řešení projektu: 8. 2. 2013 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Technologická agentura ČR
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
Řešení projektu: 1. 1. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Vývoj a ověření postupů získávání, zpracování a interpretace ekologicky relevatních informací a jejich využití při tvorbě a prezentaci indikátorů a při monitoringu (SM/10/73/04)
Je vytvářen návrh metodiky postupů získávání, zpracování a interpretace ekologicky relevantních informací a jejich využití při tvorbě a prezentaci indikátorů a při monitoringu.Navržené metodiky jsou ověřovány v modelových územích - Jizerských horách ...
EH - Ekologie – společenstva
- 2004 - 2006 •
- 8 720 tis. Kč •
- 8 600 tis. Kč •
- MŽP
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (99%)
Poskytovatel: Ministerstvo životního prostředí
- 1 - 10 z 79