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

99 (0,143s) •

Project

Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)

Mathematical induction is one of the essential concepts in the mathematician's toolbox. Though, its use makes formal proof analysis difficult. In essence, induction compresses an infinite argument into a finite statement. This process obfuscates info...

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

  • 2022 - 2025
    • •
  • 4 377 tis. Kč
    • •
  • 4 377 tis. Kč
    • •
  • GA ČR
Project

Quantum entanglement and cryptographic and computation primitives (GP201/06/P338)

. The first one is the analysis of existing quantum cryptographic primitives and design of new primitives. The second area is the analysis of the role of quantum entanglement in quantum primitives such as quantum communicat...

IN - Informatika

  • 2006 - 2008
    • •
  • 453 tis. Kč
    • •
  • 453 tis. Kč
    • •
  • GA ČR
Project

Clustering and classification using recursive mixture estimation (GA15-03564S)

The proposed project deals with the issues of clustering and classification from the viewpoint of Bayesian methodology and using the recursive mixture estimation theory. The project is directed at systematic development of this theory) devel...

BB - Aplikovaná statistika, operační výzkum

  • 2015 - 2017
    • •
  • 2 720 tis. Kč
    • •
  • 2 720 tis. Kč
    • •
  • GA ČR
Project

Finite-dimensional Approximation of Recursive Bayesian Parameter Estimation (IAA275109)

BC - Teorie a systémy řízení

  • 1993 - 1995
    • •
  • 105 tis. Kč
    • •
  • 210 tis. Kč
    • •
  • AV ČR
Project

Complexity, Logic and Recursion Theory (OK 223)

BA - Obecná matematika

  • 1996 - 1997
    • •
  • 775 tis. Kč
    • •
  • 405 tis. Kč
    • •
  • MŠMT
Project

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
Project

Context-free languages and pushdown automata (MEB041003)

of this research is the problem of primitive words. A word is called primitive. Horváth states that the language Q of all primitive words over an alphabet on small context-free grammars generating primitive words....

IN - Informatika

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

Global approximation of model in recursive Bayesian parameter estimation (IAA2075603)

becouse of the danger of accumulation of approximation errors in recursive estimation...

BB - Aplikovaná statistika, operační výzkum

  • 1996 - 1998
    • •
  • 1 265 tis. Kč
    • •
  • 545 tis. Kč
    • •
  • AV ČR
Project

Defects in Heisenberg magtnets (GA202/97/1018)

of the project the recursion method will be used to analyse effect of an impurity in Heisenberg magnets. In this connection the recursion method will be used for the first......

BM - Fyzika pevných látek a magnetismus

  • 1997 - 1999
    • •
  • 3 106 tis. Kč
    • •
  • 1 172 tis. Kč
    • •
  • GA ČR
Project

From simple models to a molecular theory of real associated fluids. theory and applications (IAA4072908)

The primary goal of the project is to develop a molecular theory of associating fluids by means of a perturbation theory and recently developed primitive models of short-ranged reference systems onto those of the associated primitive

CF - Fyzikální chemie a teoretická chemie

  • 1999 - 2002
    • •
  • 5 068 tis. Kč
    • •
  • 1 028 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 99