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

SelectAll/None

Join usingOrAnd

-

More filters

Projects

2 597 projects (0,128s) •

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

Logic programs with constrains (GA201/99/D057)

for constraints that raises the potential of both programming paradigms. The aim of theproposed project is to: 1) develop new general and efficient methods of constraint satisfaction. Special emphasis will be put on solving

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

LeCoS merging machine LEarning and COnstraint Satisfaction (GA201/08/0509)

and the constraint satisfaction parts. This will likely result in the ability to solve real-world instances of problems that, due to computational demands, cannot be solved: relational machine learning (RML) on one hand, a...

IN - Informatika

  • 2008 - 2010
    • •
  • 1 938 tis. Kč
    • •
  • 1 938 tis. Kč
    • •
  • GA ČR
Project

Simulation-Based Computation of Robust Invariants of Hybrid Dynamical Systems (GA15-14484S)

on the constraint-based computation of invariants, that reduces invariant computation to a constraint solving problem in a decidable theory. However, this approach cannot the available constraint solvers are not e...

IN - Informatika

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

Constrained Multiobjective Optimization Based on Problem Landscape Analysis (GF22-34873K)

and constraints. Such constrained multiobjective problems (CMOPs) are generally hard to solve algorithms (MOEAs), are a successful approach for solving multiobjective optimization problems, the increasing number of objecti...

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

  • 2022 - 2025
    • •
  • 4 826 tis. Kč
    • •
  • 4 826 tis. Kč
    • •
  • GA ČR
Project

KnowSched Knowledge Techniques in Scheduling (GAP202/10/1188)

Scheduling is studied for a long time and the research results include many solving algorithms for particular scheduling problems. There exists a classification solving mechanism to solve such problems. In addition to tradi...

IN - Informatika

  • 2010 - 2013
    • •
  • 2 448 tis. Kč
    • •
  • 2 448 tis. Kč
    • •
  • GA ČR
Project

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

The proposed project concerns development of efficient methods for solving. These are in particular interior point methods and nonsmooth equation methods for solving nonconvex nonlinear programming problems and also problems with eq...

BA - Obecná matematika

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

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

process more efficient. In the proposed project, we suggest to transfer the constraint satisfaction problem solving techniques into the e-learning domain. These techniquesare will be described, where the constraint program...

AM - Pedagogika a školství

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

Constraint-based planning and scheduling (GA201/04/1102)

lines and vehicles demands sophisticated integrated optimisation tools for solving planning andscheduling problems. Integration of various solving and knowledge the modelling stageand concluding in the solving stage. In pa...

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

  • 2004 - 2006
    • •
  • 2 304 tis. Kč
    • •
  • 1 464 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 2 597