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

418 (0,377s) •

Project

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

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

AH - Ekonomie

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

Central European flora as a source of worldwide invasions (GA206/03/1216)

of a given region. Such studies are limited by an important constraint because they work was given (in geographical terms) the same chance to be moved by humans outside its......

EH - Ekologie – společenstva

  • 2003 - 2005
    • •
  • 1 201 tis. Kč
    • •
  • 1 201 tis. Kč
    • •
  • GA ČR
Project

The Concept of Equal Chances and Quality of Education in the Czech and International Context (GA406/08/0258)

The project called "The Concept of Equal Chances and Quality of Education in the Czech and International Context" aims to explore the issue of school environment with the view to the concept of equal chances and quality of education...

AM - Pedagogika a školství

  • 2008 - 2010
    • •
  • 2 105 tis. Kč
    • •
  • 2 105 tis. Kč
    • •
  • GA ČR
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
  • 1 - 10 out of 418