Filtry
Charakterizace a efektivní řešitelnost constraintových jazyků pomocí logických metod (GA25-16324S)
Programování s omezujícími podmínkami tvoří společný rámec a užitečné paradigma pro modelování a řešení kombinatorických úloh z širokého spektra praktických aplikací. Nedávno došlo k rapidnímu rozvoji našeho chápání složitostní krajiny constraint...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2025 - 2027 •
- 6 185 tis. Kč •
- 5 892 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2027
Uznané náklady
Podpora ze státního rozpočtu (95%)
Poskytovatel: Grantová agentura České republiky
Vliv constraintu na šíření krátkých únavových trhlin (IAC2041007)
Cílem projektu je aplikovat postupy dvouparametrové lomové mechaniky na popis chování krátkých únavových trhlin. Různá úroveň constraintu napětí vzniklá v důsledku rozdílné geometrie tělesa a polohy krátkých únavových trhlin bude charakteriz...
JG - Hutnictví, kovové materiály
- 2000 - 2000 •
- 187 tis. Kč •
- 105 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2000 - 1. 1. 2000
Uznané náklady
Podpora ze státního rozpočtu (56%)
Poskytovatel: Akademie věd České republiky
Aplikace dvouparametrové lomové mechaniky na šíření únavových trhlin (GA106/99/1173)
intenzity napětí a na prahové hodnoty šíření). Různá úroveň constraintu napětí na čele Parisova vztahu tak, aby byl umožněn popis vlivu úrovně constraintu na rychlost šíření a velikostí constraintu pro trhliny iniciované a...
JG - Hutnictví, kovové materiály
- 1999 - 2001 •
- 2 385 tis. Kč •
- 1 460 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1999 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (61%)
Poskytovatel: Grantová agentura České republiky
Vliv constraintu na prahové hodnoty součinitele intenzity napětí (GP101/04/P001)
Cílem projektu je aplikovat postupy dvouparametrové lomové mechaniky na stanovení únavových prahových hodnot součinitele intenzity napětí. Různá úroveň constraintu napětí vzniklá v důsledku rozdílné geometrie tělesa bude charakterizována pom...
JL - Únava materiálu a lomová mechanika
- 2004 - 2006 •
- 612 tis. Kč •
- 612 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek (GC201/08/J020)
Cílem projektu je navrhnout teorii, algoritmy a software k verifikaci hybridních systémů.Motivace pro studium hybridních systémů vychází ze skutečnosti, že v moderních technických systémech se všude vyskytují integrované počítačové přístroje. Ty lze ...
IN - Informatika
- 2008 - 2010 •
- 2 280 tis. Kč •
- 2 280 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
Odhad únavového poškození tenkostěnných struktur (GA101/09/0867)
Vytvořit věrohodný popis únavového poškození tenkostěnných konstrukcí zahrnující vliv změny singulárního pole napětí kolem čela trhliny vlivem blízkosti volného povrchu. Umožnit jednoduchý přenos experimentálních dat z malých a tenkých vzorků na masi...
JL - Únava materiálu a lomová mechanika
- 2009 - 2011 •
- 2 207 tis. Kč •
- 2 207 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
Grafy, grupoidy a algoritmy (MEB040915)
Hlavním cílem spolupráce je studium problémů na pomezí algebry, algoritmů a teorie grafů, umožnění výměny ideí týkajících se těchto oborů mezi českými a maďarskými vědci a získání nových teoretických výsledků. Výzkum se zaměří na problém splnitelnost...
BA - Obecná matematika
- 2009 - 2010 •
- 110 tis. Kč •
- 102 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (OC10048)
Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......
IN - Informatika
- 2010 - 2012 •
- 1 641 tis. Kč •
- 1 318 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Integrace dat pro dobývání znalostí v bioinformatice a biomedicíně (MEB090807)
Development of a framework for fusing information from diverse sources including both original measurements and relevant public knowledge (e.g. measurements, publications, ontologies). The developed technology will efficiently combine the semantic kn...
JD - Využití počítačů, robotika a její aplikace
- 2008 - 2009 •
- 160 tis. Kč •
- 160 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Výpočet parametrů charakterizujících constraint na čele trhliny (IAA2041603)
Nutným předpokladem pro aplikaci dvouparametrové lomové mechaniky je znalost parametrů T a Q charakterizujících constrain na čele trhliny. Postupy pro výpočet těchto parametrů nejsou v literatuře dostatečně vypracované a dostupné výsledky jsou omezen...
JK - Koroze a povrchové úpravy materiálu
- 1996 - 1997 •
- 216 tis. Kč •
- 216 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 1996 - 1. 1. 1997
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
- 1 - 10 z 30