Filtry
Obvodová složitost a samo-převeditelnost (GAP202/10/0854)
-převeditelnosti problémů na menší instance a na tzv. kompresi instancí. Hlavním cílem projektu...
IN - Informatika
- 2010 - 2012 •
- 926 tis. Kč •
- 926 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Integrace strojového učení a splňování omezujících podmínek (GA201/08/0509)
omezujících podmínek.Tímto bude zřejmě možno dosáhnout řešení skutečných instancí problémů) technik RSU pro nalezení častých strukturních vzorů v deskriptorech instancí problémů využít jako heuristickou znalost pro řešení dalších <...
IN - Informatika
- 2008 - 2010 •
- 1 938 tis. Kč •
- 1 938 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
Učení lokálních konceptů z globálních trénovacích dat pro klasifikaci a segmentaci biomedicínských obrazů (GA17-15361S)
jako zevšeobecnění úlohy učení z mnoha instancí (``multiple instance learning''); bude potřeba...
JD - Využití počítačů, robotika a její aplikace
- 2017 - 2021 •
- 3 457 tis. Kč •
- 3 042 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (88%)
Poskytovatel: Grantová agentura České republiky
Optimalizační algoritmy pro rozvrhování projektů a výroby (GPP103/10/P401)
Cílem projektu je zvýšit výkonnost algoritmů pro problém v angličtině nazývaný ?project scheduling?, a to nalezením algoritmu schopného řešit větší instance problémů, které se vyskytují v reálném plánování projektů a výroby. Současné algorit...
BB - Aplikovaná statistika, operační výzkum
- 2010 - 2011 •
- 870 tis. Kč •
- 870 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Nakrývání grafů Symetrie a složitost (GA20-15576S)
mezi polynomiálními a GI-úplnými instancemi na jedné straně, a mezi GI-úplnými a NP-úplnými instancemi na straně druhé....
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2023 •
- 8 573 tis. Kč •
- 7 581 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 30. 6. 2023
Uznané náklady
Podpora ze státního rozpočtu (88%)
Poskytovatel: Grantová agentura České republiky
Problémy kombinatorické optimalizace v dopravních systémech (GPP402/12/P635)
na vzorových instancích dostupných v literatuře a sdílených vědeckou komunitou nebo na náhodně vygenerovaných instancích. Cílem projektu je modelovat nově formulované......
BB - Aplikovaná statistika, operační výzkum
- 2012 - 2016 •
- 1 582 tis. Kč •
- 1 582 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 24. 11. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Význam judikatury Soudního dvora ES v právním řádu ČR a role vládního zmocněnce pro zastupování ČR před Soudním dvorem ES a Soudem prvního stupně (RM01/14/05)
Studie o významu judikatury Soudního dvora ES v právním řádu ČR a roli vládního zmocněnce pro zastupování ČR před Soudním dvorem ES a Soudem prvního stupně......
AG - Právní vědy
- 2005 - 2005 •
- 67 tis. Kč •
- 67 tis. Kč •
- MZV
Řešení projektu: 1. 1. 2005 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo zahraničních věcí
Nové kombinatorické algoritmy - rozklady instancí, parametry úloh a jejich efektivní řešení (LH12095)
Cílem projektu je řada matematických poznatků, zejména tvrzení o složitosti problému, strukturálních vět o matematických objektech, návrhy příslušných algoritmů a jejich experimentální implementace. Matematické poznatky budou publikované formou článk...
BA - Obecná matematika
- 2012 - 2015 •
- 1 967 tis. Kč •
- 1 767 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2012 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (90%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
INTEGRACE HEURISTICKÉHO PROHLEDÁVÁNÍ A KOMPILAČNÍCH TECHNIK PRO HLEDÁNÍ CEST S MNOHA AGENTY (8G15027)
Hlavní těžiště výzkumu vidíme v teoretickém studiu problému a v návrhu ucelené teorie pro klasifikaci obtížnosti instancí problému v závislosti na parametrech, jako je počet agentů, velikost prostředí a jeho topologie. Taková teorie podpořen...
IN - Informatika
- 2016 - 2018 •
- 1 208 tis. Kč •
- 1 208 tis. Kč •
- MŠMT
Řešení projektu: 26. 7. 2016 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Algoritmy a nástroje pro praktickou verifikaci souběžných systémů (GA201/00/1023)
pro evaluaci nekonečně stavových systémů. 2. Výzkum složitosti 'praktických' instancí...
JC - Počítačový hardware a software
- 2000 - 2002 •
- 1 429 tis. Kč •
- 736 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2000 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (52%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 33