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

3 240 (0,092s) •

Project

Solar wind ions correlations, constraints, and causality (GA15-10057S)

constraints on these parameters. These properties are related to the solar wind source regions as well as to the local processes which modify the solar wind properties particle microstructure, related kinetic instabilities and cor...

BN - Astronomie a nebeská mechanika, astrofyzika

  • 2015 - 2017
    • •
  • 3 802 tis. Kč
    • •
  • 3 802 tis. Kč
    • •
  • GA ČR
Project

Representation Theory (Structural Decompositions and Their Constraints) (GA14-15479S)

The proposed project concentrates on the new topics of representation theory inspired by the discovery by Eklof and Shelah of set-theoretic constraints the boundaries for existence of such decompositions induced by locally trivial, ...

BA - Obecná matematika

  • 2014 - 2016
    • •
  • 4 265 tis. Kč
    • •
  • 4 265 tis. Kč
    • •
  • GA ČR
Project

intALG-MAPFg Intelligent Algorithms for Generalized Variants of Multi-Agent Path Finding (GA19-17966S)

in the SAT modulo theory framework (SMT) and complex local and global constraints...

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

  • 2019 - 2021
    • •
  • 2 693 tis. Kč
    • •
  • 2 693 tis. Kč
    • •
  • GA ČR
Project

Statistical aspects of constraint at brittle fracture initiation (IAC2041011)

Arising from the results of PhD work (paid to the effect of crack tip constraint on transition and brittle fracture behaviour) the causes of inherent scatter of steel fracture toughness will be analysed by statistical methods. The local<...

JL - Únava materiálu a lomová mechanika

  • 2000 - 2000
    • •
  • 1 039 tis. Kč
    • •
  • 273 tis. Kč
    • •
  • AV ČR
Project

Failure micromechanisms of duplex steels under local constraint and strain rate effects (IAA2041701)

Model microstructures of duplex ferritic austenitic steel (Weir Materials Ltd) will be used in order to investigate material behaviour at brittle failure initiation under various constraint effects at crack tip. The influence of strain rate ...

JL - Únava materiálu a lomová mechanika

  • 1997 - 1999
    • •
  • 3 388 tis. Kč
    • •
  • 1 526 tis. Kč
    • •
  • AV ČR
Project

Output Error Model Identification and its Utilisation in Controller Design (IBS1075102)

buildingbased on the merging of local models formed from different pieces of data be extended to OE models and predictive models with constraints and the analysis ofclosed......

BC - Teorie a systémy řízení

  • 2001 - 2003
    • •
  • 1 886 tis. Kč
    • •
  • 746 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
  • 1 - 10 out of 3 240