Filtry
Fuzzy relační struktury v přibližném usuzování (GA20-07851S)
Fuzzy relace, modelující vztahy mezi objekty pomocí vícehodnotové škály, jsou významným nástrojem pro aplikace v nejrůznějších oborech včetně expertních systémů, rozhodování, přibližného usuzování, řízení, těžení informací z dat a zpracování obrazu. ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 5 104 tis. Kč •
- 5 104 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
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
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
Lipschitzovská zobrazení a nulové množiny (IAA1019103)
Lipschitzovská zobrazení euklidovských prostorů mají mnoho příjemných vlasností. Jsou například všude hladká, zobrazují lebesgueovsky nulové množiny opět na lebesgueovsky nulové množiny a skoro-isometrie lze velmi dobře aproximovat isometriemi. Někte...
BA - Obecná matematika
- 2001 - 2003 •
- 815 tis. Kč •
- 395 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (48%)
Poskytovatel: Akademie věd České republiky
Exaktní a aproximační popis geometrických objektů pro potřeby geometrického modelování (7AMB12AT012)
Projekt je zaměřen na teoretické studium vhodných geometrických fundamentů (přesný a přibližný popis geometrických objektů), které vykazují vysoký aplikační potenciál a které mohou v budoucnu vést k formulaci efektivnějších algoritmů geometrického mo...
BA - Obecná matematika
- 2012 - 2013 •
- 132 tis. Kč •
- 132 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2012 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Efektivní konečné automaty pro automatické usuzování (LL1908)
Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzorů. Budou ...
Automation and control systems
- 2020 - 2024 •
- 35 585 tis. Kč •
- 35 585 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2020 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Maticové metody aproximační symbolické analýzy (KJB2813301)
Cílem projektu je vývoj nových algebraických algoritmů aproximační symbolické analýzy linearizovaných elektrických obvodů ve frekvenční oblasti. Smyslem této analýzy je získat jednoduchý přibližný vzorec, který poskytuje kvalitativní pohled na chován...
JA - Elektronika a optoelektronika, elektrotechnika
- 2003 - 2004 •
- 269 tis. Kč •
- 215 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2003 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Akademie věd České republiky
Aplikovaný právní jazykový model a benchmarky pro využití v právní praxi (FW11020230)
Projekt je zaměřen na pokročilé využití umělé inteligence v oblasti českého a zahraničního práva. Jeho cílem je vyvinout dvě technická řešení: a) specializovaný vícejazyčný právní jazykový model (software) umožňující zvýšení přesnosti zpracování práv...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 - 2026 •
- 15 688 tis. Kč •
- 10 371 tis. Kč •
- TA ČR
Řešení projektu: 1. 6. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (66%)
Poskytovatel: Technologická agentura ČR
- 1 - 10 z 53