Filters
Efficient Methods of Recursive Nonlinear Estimation Theoretical Foundations of Approximation and Applications to Selected Models (GA102/94/0314)
BC - Teorie a systémy řízení
- 1994 - 1996 •
- 1 224 tis. Kč •
- 1 824 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1994 - 1. 1. 1996
Uznané náklady
Podpora ze státního rozpočtu (149%)
Poskytovatel: Grantová agentura České republiky
Multi-information technologies Theory, models, and methods (GA201/07/0005)
to achieve well-explained theoretical foundations, adequate formal models, and sophisticatedly designed methods underlying these technologies. From a theoretical viewpoint, the foundations of multi-information tec...
BD - Teorie informace
- 2007 - 2009 •
- 1 550 tis. Kč •
- 1 550 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Theoretic aspects of business valuation in the Czech Republic (GA402/05/2163)
The aim of the project is to elaborate theoretically justified approaches. The project will deal especially with following questions:1. What are theoretical foundations of business value with accent on market value.2 What i...
AH - Ekonomie
- 2005 - 2007 •
- 992 tis. Kč •
- 992 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Improvement of technology for interaction between structure and pile foundation (GA103/98/0276)
foundations. They do not respect some factors typical for real applications, such as human and pile foundations will be solved. The behavior of the soil body will be studied-soil system will be studied from the theoretical...
JM - Inženýrské stavitelství
- 1998 - 2000 •
- 3 064 tis. Kč •
- 2 706 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1998 - 1. 1. 2000
Uznané náklady
Podpora ze státního rozpočtu (88%)
Poskytovatel: Grantová agentura České republiky
Foundations of contemporary logical analysis (GAP401/10/1279)
of conceptual and methodological foundations of the theories of modern logic. It will also examine the impact of explicit or implicit foundational assumptions of individual of the individual theoretical approaches, the inq...
AA - Filosofie a náboženství
- 2010 - 2012 •
- 1 764 tis. Kč •
- 1 764 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Modal and Many-valued Logics (GA401/01/0218)
We will study theoretical foundations of modern logical systems which are essentially based on more than two truth-values and we will confront them with possibility and necessity modalities and also with other modalities, study of w...
AA - Filosofie a náboženství
- 2001 - 2003 •
- 585 tis. Kč •
- 585 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Modern Czech Logic within the Philosophy of Mathematics (GA25-16489S)
and Hájek promoted new axiomatic theories with foundational ambitions. This project contribution to foundations of mathematics is an opportunity to critically assess. The project will focus on several key areas such as set-theo...
Philosophy, History and Philosophy of science and technology
- 2025 - 2027 •
- 4 809 tis. Kč •
- 4 710 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2027
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura České republiky
Institutions of public sector in historical perspective (GP402/08/P099)
A project "Institutions of a public sector in a historical perspective" is focused on evolutionary and institutional foundations of a public sector and on selected themes is illustrated its economical dimension. In this way the project aims ...
AH - Ekonomie
- 2008 - 2009 •
- 410 tis. Kč •
- 410 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Mathematical logic, complexity, and algorithms (IAA100190902)
Project of basic research in mathematical logic and theoretical computer science. We focus on bounded arithmetic and proof complexity, set theory, computational complexity theory, and the theory of algorithms. The topics range from found...
BA - Obecná matematika
- 2009 - 2013 •
- 5 509 tis. Kč •
- 5 509 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Institute of Theoretical Computer Science (Center of Young Science) (LN00A056)
Intensive basic research in theoretical computer science, namely in the areas that make use of discrete mathematical methods, including applications. Main subjects will include design and analysis of discrete algorithms,computational complex...
BA - Obecná matematika
- 2000 - 2004 •
- 78 921 tis. Kč •
- 60 823 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2000 - 1. 1. 2004
Uznané náklady
Podpora ze státního rozpočtu (77%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 out of 3 538