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

3 643 projects (0,119s) •

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

Algorithms and Complexity within and beyond Bounded Expansion (LL2005)

The project is in the area of the structural graph theory, with focus on the applications in the design of approximation and parameterized algorithms and on obtaining the corresponding complexity lower bounds. The goal is to develop...

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

  • 2020 - 2022
    • •
  • 7 167 tis. Kč
    • •
  • 7 167 tis. Kč
    • •
  • MŠMT
Project

Restricted computations Algorithms, models, complexity (GA14-10003S)

of computation in complexity theory and theory of algorithms. We shall investigate problems and closer lower and upper bounds on the complexity and performance of algorithms shall study combinatorial algorith...

IN - Informatika

  • 2014 - 2016
    • •
  • 4 300 tis. Kč
    • •
  • 4 300 tis. Kč
    • •
  • GA ČR
Project

Matroid theory problems underpinning discrete optimization (GA24-11098S)

The proposed project aims at exploring an undeveloped link between matroid theory and combinatorial optimization. We will use matroid tools to analyze matrices with particular circuit structure, improve existing matroid decomposition alg...

Pure mathematics

  • 2024 - 2026
    • •
  • 8 265 tis. Kč
    • •
  • 7 390 tis. Kč
    • •
  • GA ČR
Project

Robust Streaming Algorithms versus Adaptive Adversaries (LL2406)

Cutting-edge research project in the area of theory of algorithms – streaming algorithms for processing Big Data and their robustness to attacks of adaptive adversaries......

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

  • 2024 - 2026
    • •
  • 8 039 tis. Kč
    • •
  • 8 039 tis. Kč
    • •
  • MŠMT
Project

Well-structured combinatorial classes, width parameters, and design of efficient algorithms (GAP202/11/0196)

Many important algorithmic problems are known to be NP-hard and thus to cope with such problems is the use of parameterized complexity theory: the difficulty of inputs is classified by an additional parameter and algorithms...

IN - Informatika

  • 2011 - 2013
    • •
  • 4 928 tis. Kč
    • •
  • 4 928 tis. Kč
    • •
  • GA ČR
Project

On-line algorithms and communication complexity (GA201/97/P038)

This project is a part of basic research in the theory of algorithms and complexity. In the theory of algorithms we focus on solving particular problems of on-line scheduling, e.g., scheduling with possible rejecti...

BA - Obecná matematika

  • 1997 - 1999
    • •
  • 439 tis. Kč
    • •
  • 327 tis. Kč
    • •
  • GA ČR
Project

Neural Networks Learning Algorithms Based on Regularization Theory (KJB100300804)

, and experimental examination of alternative learning algorithms. The work will be based on results of regularization theory, available optimisation algorithms and numericalThe aim of this project is to study and develop <...

IN - Informatika

  • 2008 - 2011
    • •
  • 623 tis. Kč
    • •
  • 623 tis. Kč
    • •
  • AV ČR
Project

Model theory, structural combinatorics, and algorithms (GM24-12591M)

Our research will study the emerging connections between model theory and structural graph theory. Model theory provides a collection of concepts and tools recovers key definitions from structural graph theory and ...

Pure mathematics

  • 2024 - 2028
    • •
  • 14 077 tis. Kč
    • •
  • 14 077 tis. Kč
    • •
  • GA ČR
Project

Structural graph theory and parameterized complexity (GC201/09/J021)

graph theory has already proved very useful in parameterized algorithmics is to find new application areas of structural graph theory in parameterized algorithmMany real-world algorithmic problems turn ou...

IN - Informatika

  • 2009 - 2010
    • •
  • 1 014 tis. Kč
    • •
  • 1 014 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 3 643