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

617 (0,099s) •

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

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 the collocated ones may have the potential to handle better ...

BC - Teorie a systémy řízení

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

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

Real-world optimization problems often involve multiple conflicting objectives and constraints. Such constrained multiobjective problems (CMOPs) are generally hard to solve problems, the increasing number of objectives and the presence of

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

Information fusion for data mining in bioinformatics and biomedicine (MEB090807)

Development of a framework for fusing information from diverse sources including both original measurements and relevant public knowledge (e.g. measurements, publications, ontologies). The developed technology will efficiently combine the semantic kn...

JD - Využití počítačů, robotika a její aplikace

  • 2008 - 2009
    • •
  • 160 tis. Kč
    • •
  • 160 tis. Kč
    • •
  • MŠMT
Project

Suitable Formalisms of Flexible Multibody Systems for Parallelisation (GC101/07/J075)

the current drawbacks of FMBS models like constraint handling, stiffness of equations of models, real time simulation). The current problems are constraints, stiffness......

JR - Ostatní strojírenství

  • 2007 - 2010
    • •
  • 1 425 tis. Kč
    • •
  • 1 425 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

Development of pneumatic handling equipment for the mining industry. (EG21_374/0027384)

The submitted project deals with the development of a new product of the company PD profi, s.r.o. - pneumatic handling equipment for the mining industry, which consists of pneumatic mobile equipment (handling cats), mobile handl...

Mechanical engineering

  • 2021 - 2023
    • •
  • 3 818 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Development of electric handling equipment for mining industry (EG15_018/0001079)

Development of electric handling equipment for mining industry...

JR - Ostatní strojírenství

  • 2015 - 2020
    • •
  • 1 664 tis. Kč
    • •
  • 346 tis. Kč
    • •
  • MPO
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

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
  • 1 - 10 out of 617