Filters
Show more
Show more
Show more
Show more
Show more
More filters
Projects
Knowledge compilation for constraint programming (7AMB17FR027)
and CSP reformulations which improve the effectivity of problem solving or bring: • 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 ...
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
Boolean Representation Languages Complete for Unit Propagation (GA19-19463S)
This is a basic research project in which we plan to work on problems in the area of knowledge compilation. We consider a particular case of knowledge compilation where the knowledge base is represented by a boolean functio...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2022 •
- 6 019 tis. Kč •
- 4 789 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Grantová agentura České republiky
Boolean techniques in knowledge representation (GA15-15511S)
problems which belong to the areas of knowledge compression and knowledge compilation of concrete open problems we want to concentrate on is specified in the project description. The problem areas of our interest ...
IN - Informatika
- 2015 - 2017 •
- 2 430 tis. Kč •
- 2 430 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
The design of general methodics for the compilation of water quality models at river networks (GA103/99/0456)
turned their attention to the flood protection problems after the 7/97 floods, water quality problems, especially dealing with surface water courses, are still very actual qualitmanagement concept and for the efficient solution of ...
BK - Mechanika tekutin
- 1999 - 2001 •
- 4 051 tis. Kč •
- 4 051 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1999 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
The "water/rock/landscape" system interaction principles and its application in groundwater protection in the Czech Republic (SP/2E1/153/07)
information database for solution of geochemical/hydrogeological problems, 4 ? Assessment of groundwater body chemical state limits, 5 ? Compilation and testing of hydrogeological......
DA - Hydrologie a limnologie
- 2007 - 2011 •
- 20 736 tis. Kč •
- 19 302 tis. Kč •
- MŽP
Řešení projektu: 1. 8. 2007 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Ministerstvo životního prostředí
INTEGRATION OF HEURISTIC SEARCH AND COMPILATION-BASED TECHNIQUES FOR MULTI-AGENT PATH-FINDING (8G15027)
Most importantly, we will perform a deep theoretical study and develop more comprehensive theory for classifying the complexity of problem instances based on attributes such as the number of agents, the size of the map, and the topology. Suc...
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
Integrated pest and disease management in hops (QD1179)
varieties bring new problems which are necessary to solve. The most important harmful it within the framework of this project. Compilation of a complex of precautions to prevent injury of hop cones against this disease has the prio...
GF - Choroby, škůdci, plevely a ochrana rostlin
- 2001 - 2005 •
- 3 400 tis. Kč •
- 3 400 tis. Kč •
- MZe
Řešení projektu: 1. 1. 2001 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo zemědělství
Anthropogenic material flows in the Czech Republic Analysis of structure and trends and opening a black-box of the physical economy (GA16-00262S)
is compilation of PIOT for the Czech Republic. It will be preceded by a review of current state of the art in PIOT compilation and developing of compilation procedures which accommodate the most win-win solutions as regard...
AE - Řízení, správa a administrativa
- 2016 - 2018 •
- 2 899 tis. Kč •
- 2 899 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Computer system for portrait imagination wPORIDOS (VD20102010B21)
The goal of the project is to develop a computer system for criminalistics purposes. The system will enable to compile portraits of wanted or missing people with the help of writness.......
IN - Informatika
- 2010 - 2010 •
- 1 428 tis. Kč •
- 1 428 tis. Kč •
- MV
Řešení projektu: 1. 2. 2010 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo vnitra
Computer compilation of the Silesian collection in the library of the Silesian istitute of the Silesian Museum in Opava (KZ97P01OMG088)
The computer compilation of Silesian Fund and the use of this database in INTERNET and in the computerized network of libraries in the Czech Republic.......
AF - Dokumentace, knihovnictví, práce s informacemi
- 1997 - 2002 •
- 1 388 tis. Kč •
- 1 094 tis. Kč •
- MK
Řešení projektu: 1. 1. 1997 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (79%)
Poskytovatel: Ministerstvo kultury
- 1 - 10 out of 4 647