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

2 223 (0,185s) •

Project

Logic programs with constrains (GA201/99/D057)

Constraint Programming is one of the hottest topics in the area of Programming Languages. Integration with Logic Programming makes the appropriate underlying platform for constraints that raises the potent...

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

  • 1999 - 2002
    • •
  • 665 tis. Kč
    • •
  • 540 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 const...

IN - Informatika

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

Adaptive precision control of the solution of auxiliary problems in quadratic programming (GA201/97/0421)

Quadratic programming problems arise naturally in the solution of many practical problems. The point of the research program that we propose here is to get of auxiliary problems in quadratic programming algorithms of the Po...

BA - Obecná matematika

  • 1997 - 1999
    • •
  • 509 tis. Kč
    • •
  • 269 tis. Kč
    • •
  • GA ČR
Project

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

problem. A special attention will be paid to Mathematical Programs with Equilibrium Constraints and Equilibrium Problems with Equilibrium Constraints, along with their stochastic generalizations, and to Cardinality Constra...

AH - Ekonomie

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

Development of methods for solving large scale nonlinear programming and nonsmooth optimization problems (GA201/09/1957)

nonlinear programming problems and also problems with equilibrium constraints (MPEC large scale nonlinear programming and nonsmooth optimization problems models, especially on problems with equilibrium constraints...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 1 887 tis. Kč
    • •
  • 1 887 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

Advanced Planning and Scheduling (GA201/01/0942)

The aim of the project is to gain a deeper understanding of modelling and solving real-world planning and scheduling problems, and to bring researches from different areas (constraint and logic programming, operations research, and ...

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

  • 2001 - 2003
    • •
  • 2 603 tis. Kč
    • •
  • 1 343 tis. Kč
    • •
  • GA ČR
Project

Knowledge compilation for constraint programming (7AMB17FR027)

questions will require us to derive new theoretical results, produce necessary programs global constraints. We are particularly interested in designing such encodings which......

IN - Informatika

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

Exploitation of constraint satisfaction problem solving techniques in e-learning (GA406/09/0346)

will be described, where the constraint programming techniques are applicable. The expected process more efficient. In the proposed project, we suggest to transfer the constraint......

AM - Pedagogika a školství

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

Variational problems in nonsmooth mathematical physics theory, numerical methods and applications (IAA1075005)

of contactproblems; c) analysis of mathematical programs with complicated equilibrium constraints, optimization under complicated equilibrium constraints and forstructural optimization......

BA - Obecná matematika

  • 2000 - 2003
    • •
  • 6 381 tis. Kč
    • •
  • 2 593 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 2 223