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

12 (0,076s) •

Project

Constraint satisfaction problem and universal algebra (GP201/09/P223)

Satisfaction Problem (CSP). The goal is to prove the dichotomy conjecture of Feder and Vardi for a broad class of CSP problems. In particular, we will study the bounded width problems and CSPs for various classes of digrap...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 633 tis. Kč
    • •
  • 633 tis. Kč
    • •
  • GA ČR
Project

Realization of CSP module in HW version for the purposes of application within the State Administration (SU20012001006)

The aim of the project should be to realize the national CSP (Crypto Service Provider) in the form of the hardware means on the basis of the PCI board for PC IBM computers compatible.......

JA - Elektronika a optoelektronika, elektrotechnika

  • 2001 - 2001
    • •
  • 3 549 tis. Kč
    • •
  • 3 549 tis. Kč
    • •
  • NBÚ
Project

Characterization and tractability of constraint languages via logical methods (GA25-16324S)

in connection with the resolution of the CSP dichotomy conjecture and the establishment of the algebraic framework for Promise CSP. The fundamental tools are standardized reductions of constraint languages and Promise CSP ...

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

  • 2025 - 2027
    • •
  • 6 185 tis. Kč
    • •
  • 5 892 tis. Kč
    • •
  • GA ČR
Project

General algebra and its connections to computer science (GA13-01832S)

The aim of the project is to solve selected problems in areas on the border of general algebra and computer science. We will focus on the following problems: complexity of the constraint satisfaction problems (the Feder-Vardi conjecture, finer comple...

BA - Obecná matematika

  • 2013 - 2017
    • •
  • 6 852 tis. Kč
    • •
  • 6 852 tis. Kč
    • •
  • GA ČR
Project

Parallel performance prediction and tuning (GA102/02/0503)

of communicating sequential processes (CSP), which yields the most concise description.). The projectaims at utilization of CSP-based simulation tool Transim used world-wide......

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

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

Novel chiral stationary phases derived from natural compounds (8J23AT017)

to the target CSPs and the methodology of column packing, which is especially important to disclose the full potential of the CSPs. Finally, chromatographic evaluation......

Organic chemistry

  • 2023 - 2024
    • •
  • 105 tis. Kč
    • •
  • 105 tis. Kč
    • •
  • MŠMT
Project

Knowledge compilation for constraint programming (7AMB17FR027)

The principal aim of the research project is to develop new techniques for SAT and CSP reformulations which improve the effectivity of problem solving or bring guarantees for the running time. The main objectives of the project include with ...

IN - Informatika

  • 2017 - 2018
    • •
  • 108 tis. Kč
    • •
  • 108 tis. Kč
    • •
  • MŠMT
Project

An Algebraic Approach to the Constraint Satisfaction Problem (MEB050817)

~(or disproving) the CSP dichotomy conjecture. The first step is to apply the algebraic tools...

BA - Obecná matematika

  • 2008 - 2009
    • •
  • 90 tis. Kč
    • •
  • 85 tis. Kč
    • •
  • MŠMT
Project

Algebraic Methods in the Representation Theory (Approximations, Realizations, and Constraints) (GA201/09/0816)

The proposed five year project of basic research is focused on the following three areas of contemporary algebra:(i) The structure of projective and tilting modules over associative rings, and their applications.(ii) Algebraic representations of latt...

BA - Obecná matematika

  • 2009 - 2013
    • •
  • 2 382 tis. Kč
    • •
  • 2 382 tis. Kč
    • •
  • GA ČR
Project

Development of microelectronics technologies for 3D circuits and systems (GA102/04/0590)

, ceramic and laminate, substrates. Aplication of CSP with Flip Chip semiconductoirs...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2004 - 2006
    • •
  • 978 tis. Kč
    • •
  • 978 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 12