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

      • Show more

      • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

301 projects (0,103s) •

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

Fish parasites of the Turkana Lake, Kenya a model for study of evolutionary processes and impact of abiotic factors (KJB600960813)

Character of living communities in Africa is a result of Pleistocene climatic oscillations that repeatedly led to fragmentation and interconnection of watersheds. Together with fragmentation, alkalization of lakes took place. Despite complementar...

EG - Zoologie

  • 2008 - 2010
    • •
  • 1 200 tis. Kč
    • •
  • 1 200 tis. Kč
    • •
  • AV ČR
Project

Development of software system for solving large-scale problems of nonlinear and nonsmooth optimization (IAA1030405)

considered are problems with equilibrial constraints as nonlinear complementarity...

BA - Obecná matematika

  • 2004 - 2008
    • •
  • 1 623 tis. Kč
    • •
  • 1 406 tis. Kč
    • •
  • AV ČR
Project

Importance of genetic diversity for stand productivity and stability (IAA600050820)

) Are the observed patterns due to complementarity or sampling effect? (3) Do the conclusions and complementarity effects in a community, the clone identification by means of microsatelite......

EH - Ekologie – společenstva

  • 2008 - 2010
    • •
  • 2 419 tis. Kč
    • •
  • 2 419 tis. Kč
    • •
  • AV Č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
  • 1 - 10 out of 301