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

      • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

258 projects (0,11s) •

Project

Logic programs with constrains (GA201/99/D057)

Constraint Programming is one of the hottest topics in the area of Programming for constraints that raises the potential of both programming paradigms. The aim of theproposed project is to: 1) develop new general and efficient metho...

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

  • 1999 - 2002
    • •
  • 665 tis. Kč
    • •
  • 540 tis. Kč
    • •
  • GA ČR
Project

Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems. (OC10048)

Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......

IN - Informatika

  • 2010 - 2012
    • •
  • 1 641 tis. Kč
    • •
  • 1 318 tis. Kč
    • •
  • MŠMT
Project

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

Constraint satisfaction is a unifying framework and a powerful paradigm for expressing and solving combinatorial tasks from a wide range of real-life applications. Our understanding of the complexity landscape of constraint language...

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

Control of walking robots using collocated virtual holonomic constraints (GA17-04682S)

methodology based on the so-called collocated virtual holonomic constraints. Currently, the use of the noncollocated virtual holonomic constraints prevails while of the collocated constraints. Designed algorithms for walki...

BC - Teorie a systémy řízení

  • 2017 - 2019
    • •
  • 5 035 tis. Kč
    • •
  • 4 471 tis. Kč
    • •
  • GA ČR
Project

Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology (GC201/08/J020)

verification and the underlying constraint solving technology. This will be possible due to the collaboration of a Czech project group with expertise in constraint solving and numerical......

IN - Informatika

  • 2008 - 2010
    • •
  • 2 280 tis. Kč
    • •
  • 2 280 tis. Kč
    • •
  • GA ČR
Project

Constraint programming and Boolean satisfiability for artificial intelligence (GP201/09/P318)

The aim of the project is to improve constraint programming and Boolean the improvements of constraint programming and Boolean satisfiability. The project is targeted for relaxing hard problems arising in constraint program...

IN - Informatika

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

Constraint quantum systems (IAA1048801)

the fact that constraint systems are useful as models of numerous "mesoscopic" objects such as quantum wires, dots, etc. On the other hand, recent results on specta of constraint on geometry, external fields, type of the constr...

BE - Teoretická fyzika

  • 1998 - 2000
    • •
  • 2 605 tis. Kč
    • •
  • 1 014 tis. Kč
    • •
  • AV ČR
Project

Stability analysis of optima and equilibria in economics (GA15-00735S)

Constraints and Equilibrium Problems with Equilibrium Constraints, along-called chance constraints in the stochastic models because they lead to highly......

AH - Ekonomie

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

Non-holonomic constraints in optimal managing of dynamic economic systems in agriculture and natural resources (GA13-25897S)

of constraints among these variables. In a form of a basic research, this project focuses on developing valid nonlinear constraint structures reflecting the real-world relationships of non-holonomic constraints will be use...

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

  • 2013 - 2015
    • •
  • 2 060 tis. Kč
    • •
  • 2 060 tis. Kč
    • •
  • GA ČR
Project

*LOGIS Caster Scheduler - Flat Products (FR-TI1/467)

*The result of the project is a software product for automated production scheduling of flat-production steel plants (slabs, sheets). The resulting schedules will be optimized and will respect the relevant technological, economical and business c...

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

  • 2009 - 2012
    • •
  • 22 934 tis. Kč
    • •
  • 8 019 tis. Kč
    • •
  • MPO
  • 1 - 10 out of 258