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

7 714 (0,075s) •

Project

Institute of Theoretical Computer Science (Center of Young Science) (LN00A056)

Intensive basic research in theoretical computer science, namely in the areas will include design and analysis of discrete algorithms,computational complexity, computational geometry, mathematical logic an...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 78 921 tis. Kč
    • •
  • 60 823 tis. Kč
    • •
  • MŠMT
Project

Center of excellence - Institute for theoretical computer science (CE-ITI) (GBP202/12/G061)

Center of Excellence - Institute for Theoretical Computer Science (CE-ITI) is a research center for theoretical computer science and discrete mathematics. CE-ITI aims of Czech theoretical...

IN - Informatika

  • 2012 - 2018
    • •
  • 138 336 tis. Kč
    • •
  • 138 336 tis. Kč
    • •
  • GA ČR
Project

Categorical Methods of the Theory of Structures and Computer Science (GA201/02/0148)

, lattices and semigroups and their applications in theoretical computer science and their use in theoretical computer science, bisimulations, quantales and their modules specifications of data ty...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 1 856 tis. Kč
    • •
  • 1 856 tis. Kč
    • •
  • GA ČR
Project

Research Experience for Undergraduates (ME 337)

for Discrete Mathematics, Theoretical Computer Science and Applications) at Charles Universityin Prague, and DIMACS (Center for Discrete Mathematics and Theoretical Computer Science) at Rutgers U...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 882 tis. Kč
    • •
  • 702 tis. Kč
    • •
  • MŠMT
Project

Theoretical foundations of computational psychometrics (GA21-03658S)

data science methods. This project studies theoretical and computational aspects. The theoretical and computational aspects and innovations improving psychometric algorithms covered in this project may ha...

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

  • 2021 - 2023
    • •
  • 5 769 tis. Kč
    • •
  • 5 766 tis. Kč
    • •
  • GA Č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

Categorical methods of the theory of structures (GA201/06/0664)

, lattices and semigroups and their applications in theoretical computer science, algebraic and coalgebraic specifications of data types and to lattice-theoretical concepts in theoretical computer...

BA - Obecná matematika

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

Online algorithms, randomness, and extremal problems (GA201/05/0124)

This project proposes basic research in theoretical computer science. Its goal is to obtain new theoretical results in the following two areas: (i) design and analysis of these areas belong to important and active ...

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 1 117 tis. Kč
    • •
  • 1 117 tis. Kč
    • •
  • GA ČR
Project

Specialized computational models in contemporary computer science (GA201/02/1456)

The project at hand is a project in theoretical computer science. Its goal is to characterize the computational power and efficiency of specialized computational models contemporary computer s...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 6 370 tis. Kč
    • •
  • 2 640 tis. Kč
    • •
  • GA ČR
Project

DIMATIA - center of discrete mathematics, theoretical computer science and applications (GA201/99/0242)

The newly founded Center for Discrete Mathematics, Theoretical Computer Science and Applications (DIMATIA) at Charles University is initiating and organizing complex activities in these scientific areas. It is a combination...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 2 979 tis. Kč
    • •
  • 1 929 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 7 714