Filtry
Pravděpodobnostní argumentace v pozdně scholastické logice (GA17-12408S)
Předmětem projektu bude pozdně scholastická analýza pravděpodobnostní argumentace, tzn. typu argumentů, které jsou pravděpodobnostní (tj. neplatí, že jsou-li pravdivé předpoklady, jsou nutně pravdivé i závěry), non-monotónní (připojení další premisy ...
AA - Filosofie a náboženství
- 2017 - 2021 •
- 896 tis. Kč •
- 896 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Risk based Performance Prediction and Lifetime Assessment of Concrete Structures (7D08004)
The aim of the project is to assess concrete structures in a complex way - going from the health monitoring to virtual reliability analysis. The extension of probabilistic advanced analysis methods of concrete structures, the optimization an...
JM - Inženýrské stavitelství
- 2008 - 2011 •
- 7 220 tis. Kč •
- 3 504 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2008 - 31. 3. 2011
Uznané náklady
Podpora ze státního rozpočtu (49%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Rozpoznávání obrazu při aplikaci informačních technologií (ME 187)
Vývoj metodiky pro řešení úloh výběru příznaku a klasifikace v rozpoznávání obrazu v případě dat o vysokém vstupním počtu proměnných, její programové realizace a vývoj znalostního systému pro výběr příznaku.......
JD - Využití počítačů, robotika a její aplikace
- 1998 - 2000 •
- 760 tis. Kč •
- 700 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1998 - 1. 1. 2000
Uznané náklady
Podpora ze státního rozpočtu (92%)
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
Hodnocení robustnosti stavebních konstrukcí (OC08059)
Vypracuje se a zpřístupní metodika hodnocení robustnosti stavebních konstrukcí v návaznosti na nové poznatky teorie spolehlivosti, hodnocení rizik a pravděpodobnostní optimalizace nákladů. Připraví se podklady pro národní přílohy a revize Eurokódů......
JN - Stavebnictví
- 2008 - 2011 •
- 1 603 tis. Kč •
- 1 603 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 30. 9. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Digital Environment for Cultural Interfaces; Promoting Heritage, Education and Research (7E11023)
by combining much richer, event-based metadata with causal reasoning models. This will result in a reasoning engine, virtual environment and interfaces that can help......
JC - Počítačový hardware a software
- 2011 - 2013 •
- 3 018 tis. Kč •
- 3 018 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Dextrous Assembler Robot Working with embodied INtelligence (7E11036)
Targeting both assembly and service industry the DARWIN project aims to develop an acting, learning and reasoning assembler robot that will ultimately be capable will generate the necessary sequence by reasoning and mental simulatio...
JD - Využití počítačů, robotika a její aplikace
- 2011 - 2014 •
- 3 336 tis. Kč •
- 3 336 tis. Kč •
- MŠMT
Řešení projektu: 1. 2. 2011 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verifikace a analýza pravděpodobnostních programů (GJ19-15134Y)
Pravděpodobnostní programy (PP) jsou programy napsané v některém z univerzálních programovacích jazyků obohaceném o pravděpodobnostní instrukce, např. o náhodné přiřazení hodnot proměnným dle dané distribuce. PP jsou využívány v různorodých oblastech...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2021 •
- 5 053 tis. Kč •
- 5 053 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Dynamické shlukování pro řízení složitých procesů (IBS1075351)
Projekt usiluje o - pokračování ve výzkumu plně pravděpodobnostního návrhu poradních systémů pro řízení složitých procesů založeném na pravděpodobnostní shlukové analýze, - modifikaci metodiky návrhu poradních systémů pro přímé adaptivní řízení složi...
BC - Teorie a systémy řízení
- 2003 - 2005 •
- 2 395 tis. Kč •
- 1 805 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2003 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (75%)
Poskytovatel: Akademie věd České republiky
Rozvoj metod hodnocení spolehlivosti existujících mostů pozemních komunikací (1F82C/072/910)
Rozvoj metod hodnocení spolehlivosti existujících mostů pozemních komunikací v návaznosti na nové teoretické poznatky a ČSN, EN a ISO normy a optimalizace efektivního rozhodování o opravách mostních objektů při omezených finančních prostředcích.......
JM - Inženýrské stavitelství
- 2008 - 2009 •
- 2 925 tis. Kč •
- 2 825 tis. Kč •
- MD
Řešení projektu: 1. 2. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (97%)
Poskytovatel: Ministerstvo dopravy
- 1 - 10 z 98