All
All

What are you looking for?

All
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

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

8 079 projects (0,135s) •

Project

Computational models and complexity of computations (GA201/98/0717)

to the development of the computational complexity theory.It is centered around various universal and restricted computational models whose computational and descriptional power lines: -investigation of comput...

BA - Obecná matematika

  • 1998 - 2000
    • •
  • 2 166 tis. Kč
    • •
  • 1 295 tis. Kč
    • •
  • GA ČR
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 circuits. MOre specifically, we will study Bounded Arithme...

BA - Obecná matematika

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

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 ...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 5 509 tis. Kč
    • •
  • 5 509 tis. Kč
    • •
  • AV ČR
Project

Development of national PCS1 - complex cryptografhic protection of personal computer (ST20092009009)

Implementation of the complex cryptographic protection in personal computer....

JC - Počítačový hardware a software

  • 2009 - 2009
    • •
  • 2 400 tis. Kč
    • •
  • 2 400 tis. Kč
    • •
  • NBÚ
Project

Complexity of computation, communication, and search (GA25-16311S)

The goal of computational complexity is to find the dividing line between easy of the computational task and resources used, this question leads to mathematical problems of varying degrees of difficulty. We will focus on

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

  • 2025 - 2027
    • •
  • 11 416 tis. Kč
    • •
  • 10 939 tis. Kč
    • •
  • GA ČR
Project

Computing and Approximating Equilibria in Games With Complex Strategy Spaces (GA24-12046S)

algorithms for finding approximate solutions, investigating the computational complexity, there are still severe computational limitations of the current models and algorithms used to find approximate optimal strategies. O...

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

  • 2024 - 2026
    • •
  • 10 559 tis. Kč
    • •
  • 10 559 tis. Kč
    • •
  • GA ČR
Project

Discrete mathematics Graphs, Goemetry and Computational Complexity (ME 338)

The goal of the project is basic theoretical research in Discrete Mathematics, in particular the study of applications and interactions of Combinatorics, Geometry and Linear Algebra also from the computational complexity point of vi...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 750 tis. Kč
    • •
  • 510 tis. Kč
    • •
  • MŠMT
Project

Graph structures, graph operators and related computional complexity (ME 885)

bring new knowledge on understanding of properties of discrete structures...

BD - Teorie informace

  • 2006 - 2008
    • •
  • 1 614 tis. Kč
    • •
  • 1 614 tis. Kč
    • •
  • MŠMT
Project

Computational and communication complexity of Boolean functions, and derandomization (GP201/07/P276)

The project proposes to study three related areas of computational complexity: circuit and branching program lower bounds, multi-party communication complexity countingcircuits and the depth of Boolean circuits needed to

IN - Informatika

  • 2007 - 2009
    • •
  • 606 tis. Kč
    • •
  • 606 tis. Kč
    • •
  • GA ČR
Project

NoSCoM Non-Standard Computational Models and Their Applications in Complexity, Linguistics, and Learning (GAP202/10/1333)

programs for studying space-complexity aspects of computing; models for approximating of theoretical computer science in order to deepen our knowledge of important specialized non-standard models of computation. I...

IN - Informatika

  • 2010 - 2014
    • •
  • 10 393 tis. Kč
    • •
  • 10 393 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 8 079