Filters
Cartan supergeometries and Higher Cartan geometries (GA24-10887S)
This purely mathematical project is driven by motivation and needs coming from Mathematical Physics. Cartan geometry and the related tractor calculi belong to fundamental of such calculi to the realm of Lie super-groups and super-al...
Pure mathematics
- 2024 - 2026 •
- 13 560 tis. Kč •
- 13 535 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Information geomerty of multidimensional models in statistics and artificial intelligence. (IAA100750603)
Multidimensional and highly-structured distributions underpin a number models in statistics and artificial intelligence with broad applications. Their theoretical background includes modern methods of statistics and calculi of uncertainty, i...
BA - Obecná matematika
- 2006 - 2010 •
- 1 710 tis. Kč •
- 1 635 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (96%)
Poskytovatel: Akademie věd České republiky
Symmetry and invariance in analysis, geometric modelling and control theory (GA20-11473S)
The most important differential operators in mathematical models enjoy big groups of symmetries, which is equivalent to their invariance with respect algebras, Cartan geometries, and the recently developed invariant calculi. Summari...
Pure mathematics
- 2020 - 2023 •
- 8 136 tis. Kč •
- 8 136 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 30. 6. 2023
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Qualitative and quantitative phase analysis and study of new prepared complexes, urinary calculi and minerals by powder X-ray difraction (GA203/96/1664)
This project is designed to applications of powder diffraction methods in the stud of materials in following sections: In basic research - the study of new synthesized complex compounds of Fe-metalls with some N, S, P, O-ligands. In applied research ...
CA - Anorganická chemie
- 1996 - 1998 •
- 2 716 tis. Kč •
- 2 684 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1996 - 1. 1. 1998
Uznané náklady
Podpora ze státního rozpočtu (99%)
Poskytovatel: Grantová agentura České republiky
Mathematical foundation of inference and decision under uncertainty (IAA100300503)
of new calculi based on the basic fuzzy logic BL will be developed; in the theory...
BA - Obecná matematika
- 2005 - 2009 •
- 2 812 tis. Kč •
- 2 812 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Highly structured distributions in artificial intelligence, cryptography and combinatorics (IAA1075104)
Modern applications of calculi for dealing with uncertainty and of multivariate statistics rely on highly structured distributions. The knowledge how to construct the distributions both from heterogeneous data comming from diferent sources a...
BA - Obecná matematika
- 2001 - 2005 •
- 3 620 tis. Kč •
- 1 340 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (37%)
Poskytovatel: Akademie věd České republiky
Algebraic Methods in Proof Theory (GAP202/11/1632)
in this direction show that current proof theory, based on Gentzen sequent calculi, works only the current methods and thus widening the applicability of (generalized) Gentzen calculi......
IN - Informatika
- 2011 - 2015 •
- 5 771 tis. Kč •
- 5 771 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Conditional independence structures information-theoretical approach II (GA201/01/1482)
The concept of conditional independence is essential for many tasks related to decision-making under uncertainty, especially in the area of probabilistic reasoning, but also in the framework of other uncertainty calculi. The aim of the proje...
BA - Obecná matematika
- 2001 - 2003 •
- 2 313 tis. Kč •
- 971 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (42%)
Poskytovatel: Grantová agentura České republiky
Inferentialist foundations of logic and semantics (GA401/06/0387)
rules. 3. The relation between syntax and semantics of logical calculi and natural of arithmetic. 7. Constructivist grounding of logical calculi. 8. Epistemic problems oflogic......
AA - Filosofie a náboženství
- 2006 - 2008 •
- 1 720 tis. Kč •
- 1 720 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Logical foundations of semantics and knowledge representation (GD401/03/H047)
In this project we will study logical calculi suitable for new aspects of information and knowledge together with their logical structure. It means that mainly formal logical calculi exceeding the paradigm of so-called classical log...
AA - Filosofie a náboženství
- 2003 - 2007 •
- 8 523 tis. Kč •
- 8 523 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2003 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 out of 1 454