All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

1 454 (0,129s)

Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
  • 1 - 10 out of 1 454