Filtry
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Více filtrů
Projekty
Analýza důkazů a automatická dedukce pro rekurzivní struktury (GF22-06414L)
Matematická indukce je jedna z základních nástrojů každého matematika. Ukázalo se ale, že komplikuje formální analýzu důkazů. Podstata indukce je, že komprimuje nekonečný argument do konečného výroku. Tento proces zamlžuje informaci, která je podsta...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2025 •
- 4 377 tis. Kč •
- 4 377 tis. Kč •
- GA ČR
Řešení projektu: 1. 7. 2022 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
European Initiative to Enable Validation for Highly automated Safe and Secure Systems - ENABLE-S3 (8A16006)
Development of the validation system for highly automated safe and secure systems, automotive, railways, navy , aerospace, farming, health. Automation of the system validation - "virtual reality".......
JD - Využití počítačů, robotika a její aplikace
- 2016 - 2019 •
- 14 017 tis. Kč •
- 4 124 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2016 - 30. 4. 2019
Uznané náklady
Podpora ze státního rozpočtu (29%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Automated Preform Fabrication by Dry Tow Placement (7A08016)
The aim of the project is the development of a manufacturing technology for automated preforming, with a parallel development of a design capability to match.......
JU - Aeronautika, aerodynamika, letadla
- 2008 - 2009 •
- 1 658 tis. Kč •
- 1 658 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 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
Hyperintenzionální význam, teorie typů a logická dedukce (GA19-12420S)
Projekt rozvíjí hyperintenzionální teorii významu, podle níž jsou významy jemně strukturované entity algoritmického charakteru. Ve svém jádru kombinuje typově teoretický a důkazově teoretický přístup k sémantice: významy jsou zachycovány v prostředí...
Philosophy, History and Philosophy of science and technology
- 2019 - 2023 •
- 2 391 tis. Kč •
- 2 252 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (94%)
Poskytovatel: Grantová agentura České republiky
European initiative to enable validation for highly automated safe and secure systems (8A16005)
ENABLE-S3 will pave the way for accelerated application of highly automated and global race of automated systems with an expected market potential of 60B€ in 2025 automated systems (ACPS). The technical objectives addressed...
JD - Využití počítačů, robotika a její aplikace
- 2016 - 2019 •
- 4 730 tis. Kč •
- 4 730 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2016 - 31. 5. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Integrated, Fail-Operational, Cognitive Perception, Planning and Control Systems for Highly Automated Vehicles (8A19007)
Deliver fail-operational holistic virtualized platforms for vehicular subsystems that are critical to automated driving (SAE Levels 3+), enabling mobility-as-a-service for next generation highly automated vehicles.......
Automation and control systems
- 2019 - 2023 •
- 16 009 tis. Kč •
- 6 405 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2019 - 31. 3. 2023
Uznané náklady
Podpora ze státního rozpočtu (40%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Integrated, Fail-Operational, Cognitive Perception, Planning and Control Systems for Highly Automated Vehicles (8A19006)
Design and implementation of intelligent algorithms and systems for perception systems and powertrains control and diagnostics....
Automation and control systems
- 2019 - 2023 •
- 29 164 tis. Kč •
- 18 959 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2019 - 31. 3. 2023
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification and Validation of Automated Systems' Safety and Security (8A20008)
The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost needed to ...
Computer hardware and architecture
- 2020 - 2023 •
- 8 251 tis. Kč •
- 3 300 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (40%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification and Validation of Automated Systems' Safety and Security (8A20009)
The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost needed to ...
Computer hardware and architecture
- 2020 - 2023 •
- 16 825 tis. Kč •
- 10 935 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification and Validation of Automated Systems' Safety and Security (8A20010)
VALU3S will design and evaluate a novel framework for V&V of automated systems with respect to safety, security and privacy requirements. Two reference lists are designed and detailed referring to (i) V&V methods and (ii) test scenarios that...
Computer hardware and architecture
- 2020 - 2023 •
- 6 447 tis. Kč •
- 2 578 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (40%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 159