Filtry
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ícekriteriální optimalizace s omezeními pomocí analýzy potenciálních ploch (GF22-34873K)
Reálné optimalizační problémy často zahrnují řadu protichůdných kritérií a omezení. Takovéto vícekriteriální optimalizační úlohy s omezeními (CMOP) je obecně obtížné řešit. Populační metaheuristické metody jako jsou vícekriteriální evoluční algoritmy...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2025 •
- 4 826 tis. Kč •
- 4 826 tis. Kč •
- GA ČR
Řešení projektu: 1. 3. 2022 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
3D manipulátor pro letecké motory SEL-1320 (EG19_262/0020071)
Cílem projektu je vyvinout nové zařízení poskytující snadnější, bezpečnější, rychlejší a ekologičtější manipulaci s motory velkých dopravních letadel. Konkrétně se jedná o vývoj zcela nového poloautomaticky dálkově ovládaného elektromechanického 3D...
Robotics and automatic control
- 2020 - 2023 •
- 6 084 tis. Kč •
- 0 tis. Kč •
- MPO
Řešení projektu: 1. 2. 2020 - 23. 5. 2023
Uznané náklady
Podpora ze státního rozpočtu (0%)
Poskytovatel: Ministerstvo průmyslu a obchodu
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
Vývoj a zhotoveni kovářského kolejového manipulátoru nové kinematiky manipulace s výkovkem. (FR-TI1/264)
Předkládaný projekt je zaměřen na vývoj a zhotoveni kovářského kolejového manipulátoru nové kinematiky manipulace s výkovkem...
JQ - Strojní zařízení a nástroje
- 2009 - 2013 •
- 36 631 tis. Kč •
- 15 926 tis. Kč •
- MPO
Řešení projektu: 1. 10. 2009 - 30. 9. 2013
Uznané náklady
Podpora ze státního rozpočtu (43%)
Poskytovatel: Ministerstvo průmyslu a obchodu
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
- 1 - 10 z 63