Filters
Boolean Representation Languages Complete for Unit Propagation (GA19-19463S)
in the area of knowledge compilation. We consider a particular case of knowledge compilation where the knowledge base is represented by a boolean function, usually in a conjunctive normal form (CNF) formu...
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 in case the knowledge representation is based on Boolean functions. A partial list compilation - translating a kno...
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
Knowledge compilation for constraint programming (7AMB17FR027)
consistency, …). • Studying properties of knowledge compilation where the output: • Determining how a CDCL SAT solver can be modified into a lazy compiler, enabling to turn an input CNF into a propagation complete one. Suc...
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
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
Forestry Commodities Portal and Forestry Geoportal (EI22_002/0000690)
The aim of the project is to compile two internet portals that will arise from the knowledge gained from research and development activities. The portals will offer significant streamlining in the field of forestry. The newly acquir...
Computer hardware and architecture
- 2023 - 2026 •
- 14 432 tis. Kč •
- 0 tis. Kč •
- MPO
Řešení projektu: 1. 9. 2023 - 30. 6. 2026
Uznané náklady
Podpora ze státního rozpočtu (0%)
Poskytovatel: Ministerstvo průmyslu a obchodu
The "water/rock/landscape" system interaction principles and its application in groundwater protection in the Czech Republic (SP/2E1/153/07)
1 ? Explanation of ?water/rock/landscape? interplay in selected regions containing significant groundwater sources, 2 ? Geological knowledge update in significant hydrogeological basin structure regions, 3 ? Development of hydrogeological of...
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í
Vapour - liquid equilibrium (experiment and modelling) (GA104/96/0571)
The aim of the project is to gain and compile in a systematic way new scientific findings and data by studying the thermodynamic properties and phase equilibria in systems of fluids and fluid mixtures; knowledge of these data to cri...
CI - Průmyslová chemie a chemické inženýrství
- 1996 - 1998 •
- 1 892 tis. Kč •
- 1 192 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1996 - 1. 1. 1998
Uznané náklady
Podpora ze státního rozpočtu (63%)
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
Threat analysis of contemporary proximity detectors and research of deceiving methods (OYURC20240001)
The aim of the research project is to research methods of detecting the operation of radar sensors of interest and the implementation of a functional detector demonstrator with determination of conditions for detection of their operation and definiti...
Electrical and electronic engineering
- 2024 - 2026 •
- 25 888 tis. Kč •
- 25 888 tis. Kč •
- MO
Řešení projektu: 5. 2. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo obrany
The Intelligent System for Interactive Support of Thematic Map Design (GA205/09/1159)
the basic aim and function. The main project goal is cartographical knowledge base compilation for support of the thematic map design. Suitable environment for knowledge baseadministration is intelligent system. Knowle...
DE - Zemský magnetismus, geodesie, geografie
- 2009 - 2011 •
- 2 130 tis. Kč •
- 2 130 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 out of 5 763