Filtry
logicMOVE Logic Reasoning in Motion Planning for Multiple Robotic Agents (GA22-31346S)
will be based on the principles of logical reasoning, in particular lazy compilation...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2024 •
- 2 883 tis. Kč •
- 2 883 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Distributed rational decision making cooperation aspects (LTC18075)
The proposed project aims to contribute to theoretical and algorithmic development of cooperation and negotiation aspects while respecting agent imperfection and deliberation (deliverables D1.1, D1.3, D1.5 Memorandum of Understanding for the implemen...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2021 •
- 3 356 tis. Kč •
- 3 356 tis. Kč •
- MŠMT
Řešení projektu: 12. 9. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
The research of petrological properties of black coal in dependence on mineral processing procesess (GA105/02/1014)
The subject matter of submitted project will be observation of coal mass changes during technological processes (flotation and bacterial leaching). The black coal from Karviná part of OKD, a.s. will be tested, namely from Mines Lazy, Dukla, ...
DH - Báňský průmysl včetně těžby a zpracování uhlí
- 2002 - 2004 •
- 1 500 tis. Kč •
- 1 500 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2002 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Knowledge compilation for constraint programming (7AMB17FR027)
: • Determining how a CDCL SAT solver can be modified into a lazy compiler, enabling to turn an input CNF into a propagation complete one. Such a lazy compiler would be one......
IN - Informatika
- 2017 - 2018 •
- 108 tis. Kč •
- 108 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2017 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification of possibility to perform environmental audit in conditions of mining organisations (GA105/01/0207)
of the solution of the proposed project the method will be verified and applied at Mine Lazy...
DH - Báňský průmysl včetně těžby a zpracování uhlí
- 2001 - 2003 •
- 806 tis. Kč •
- 580 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (72%)
Poskytovatel: Grantová agentura České republiky
Automata for Decision Procedures and Verification (GA19-24397S)
in automated reasoning and verification, such as lazy evaluation, symbolic representation...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2023 •
- 8 460 tis. Kč •
- 6 551 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (77%)
Poskytovatel: Grantová agentura České republiky
- 1 - 6 z 6