Filters
Show more
Show more
Show more
Show more
Show more
More filters
Projects
Parameterized algorithms and kernelization in the context of discrete mathematics and logic (GA14-03501S)
problems is provided by the theory of Parameterized Complexity: an auxiliary "parameter complexity lower bounds. Metatheorems for kernelization (parameterized preprocessing upper-bounds the computational comp...
IN - Informatika
- 2014 - 2016 •
- 4 458 tis. Kč •
- 4 458 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Efficient approximation algorithms and circuit complexity (GX19-27871X)
The goal of this project is to understand the role of approximation in fine-grained and parameterized complexity and create solid foundations for these areas, Integer Programming, Satisfiability and study their approximation and
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2024 •
- 49 235 tis. Kč •
- 49 235 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Parameterized Algorithms for Fundamental Network Problems Related to Connectivity (GP14-13017P)
. Parameterized complexity provides a mathematical framework to analyze these algorithmsParameterized algorithmics became in the last two decades a standard tool to fundamental problems in the field of network design within...
IN - Informatika
- 2014 - 2016 •
- 1 649 tis. Kč •
- 1 649 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Tight Parameterized Results for Directed Connectivity Problems (GA17-20065S)
A parameterized or multivariate analysis became in the last two decades a standard approach for (NP-) hard computational problems. Here, in contrast to classical complexity, the efficiency of algorithms is not measured only with res...
IN - Informatika
- 2017 - 2019 •
- 1 986 tis. Kč •
- 1 620 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Grantová agentura České republiky
Structural graph theory and parameterized complexity (GC201/09/J021)
Many real-world algorithmic problems turn out to be intractable in their full generality. Theory of parameterized complexity, however, provides a useful framework graph theory has already proved very useful in parameterized...
IN - Informatika
- 2009 - 2010 •
- 1 014 tis. Kč •
- 1 014 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Well-structured combinatorial classes, width parameters, and design of efficient algorithms (GAP202/11/0196)
Many important algorithmic problems are known to be NP-hard and thus it is unlikely that they could be solved efficiently on all possible inputs. One approach to cope with such problems is the use of parameterized complexity theory ...
IN - Informatika
- 2011 - 2013 •
- 4 928 tis. Kč •
- 4 928 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
New combinatorial algorithms - decompositions, parameterization, efficient solutions (LH12095)
The project brings new mathematical results concerning optimizing combinatorial problems. As a necessary requirement for the development of efficient algorithms the project focuses on structural dependencies of the studied problems in terms of graph ...
BA - Obecná matematika
- 2012 - 2015 •
- 1 967 tis. Kč •
- 1 767 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2012 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (90%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Methods for validating numerical prediction of convective precipitation ? the evaluation of the efficiency of physical parameterizations (LD11044)
The project aims at compilation and testing new methods for the verification of high resolution prediction of convective precipitation. The verification methods will be applied to evaluating the efficiency of convection parameterization and ...
DG - Vědy o atmosféře, meteorologie
- 2011 - 2014 •
- 1 130 tis. Kč •
- 1 130 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2011 - 28. 2. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Centralized System of Lubrication - Improvement of Parameteres (TC3-182)
Centralized System of Lubrication - Improvement of Parameteres...
JQ - Strojní zařízení a nástroje
- 1997 - 1999 •
- 11 200 tis. Kč •
- 5 000 tis. Kč •
- MH
Řešení projektu: 1. 1. 1997 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (45%)
Poskytovatel: Ministerstvo hospodářství
Parameterization of the road network of the Czech Republic and logistics optimization algorithms for routing data sources using intelligent transport systems. (TA01031537)
- Design parameterization datasets road network, allowing their use for logistics with regard to transport infrastructure and real-time traffic information, - Optimization of logistics routing algorithm using extended parameterization
JO - Pozemní dopravní systémy a zařízení
- 2011 - 2013 •
- 5 318 tis. Kč •
- 4 248 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2011 - 30. 10. 2013
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Technologická agentura ČR
- 1 - 10 out of 5 677