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”
EN
ČeštinaEnglish

Filters

144 (0,092s) •

Project

Theories, proofs and computational complexity (IAA1019401)

This is a purely tehoretical research in mathematics and theoretical computer science. The main aim is to study the concept of computational complexity from several points of view:1. first order tehories, 2. the propositional calculus

BA - Obecná matematika

  • 2004 - 2008
    • •
  • 2 165 tis. Kč
    • •
  • 2 165 tis. Kč
    • •
  • AV ČR
Project

Mathematical logic and computational complexity (IAA1019901)

We plan to work in the following related areas: the complexity of propositional calculus, bounded arithmetic, circuit complexity, communication complexity, efficient algorithms, on-line algorithms, higher-order arithmetic and set th...

BA - Obecná matematika

  • 1999 - 2003
    • •
  • 4 576 tis. Kč
    • •
  • 1 696 tis. Kč
    • •
  • AV ČR
Project

Predicate graded logics and their applications to computer science (GA17-04630S)

Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that ...

IN - Informatika

  • 2017 - 2021
    • •
  • 6 926 tis. Kč
    • •
  • 5 714 tis. Kč
    • •
  • GA ČR
Project

Solution of climatic conditions in great depths by a proposition of new more effective cooling system (ABCBU51-07)

The aim is the solution of climatic conditions in great depths and the proposition of new more effective cooling system. On the basis of new findings a proposition to edit the regulations and to analyze the microclimatic conditions ...

DH - Báňský průmysl včetně těžby a zpracování uhlí

  • 2007 - 2008
    • •
  • 5 800 tis. Kč
    • •
  • 5 800 tis. Kč
    • •
  • ČBÚ
Project

Finsler structures and the calculus of variations (MEB041005)

The aims of the project are the following: - high quality basic research on investigation of geometric structures in the variational analysis, in particular of Finsler structures, and their applications in physics - strengthening the existing bilater...

BA - Obecná matematika

  • 2010 - 2011
    • •
  • 158 tis. Kč
    • •
  • 158 tis. Kč
    • •
  • MŠMT
Project

Research of advanced methods of graphomotor disabilities analysis based on fractional calculus (GN23-06074O)

employing differential calculus, recent studies have shown that the current solutions/drawing utilizing fractional calculus principles can bring more robust of this project we aim at designing an entirely new fractional calculu...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023 - 2026
    • •
  • 4 998 tis. Kč
    • •
  • 4 998 tis. Kč
    • •
  • GA ČR
Project

Calculus of Variations (GA201/93/2171)

BA - Obecná matematika

  • 1993 - 1995
    • •
  • 60 tis. Kč
    • •
  • 120 tis. Kč
    • •
  • GA ČR
Project

Arithmetic, proof theory and complexity theory (IAA1019602)

: complexity theory, bounded arithmetic and propositional logic, higher order arithmetic and propositional logic, higher order arithmetic and set theory. Problems of particular interest to arithmetic, independence results for bounde...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 1 779 tis. Kč
    • •
  • 823 tis. Kč
    • •
  • AV ČR
Project

Between Perception and Propositional Knowledge (GA17-05919S)

The core of the project consists in revisiting, in a new and non-trivial way, the nexus that connects perception and thought, including the question of the latter’s propositional and non-propositional kinds. Within this framework, w...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 4 886 tis. Kč
    • •
  • 4 376 tis. Kč
    • •
  • GA ČR
Project

Fractional and fuzzy-fractional transport in disordered environments (GF24-10177L)

Fractional (fuzzy) calculus is a mathematical field with many applications in natural and socio-economic systems. It was recently used to model complex financial and physical phenomena, including large jumps and memory effects. Although some...

Applied mathematics

  • 2024 - 2027
    • •
  • 3 216 tis. Kč
    • •
  • 3 216 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 144