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

270 (0,11s) •

Project

Knowledge compilation for constraint programming (7AMB17FR027)

: • Determining how a CDCL SAT solver can be modified into a lazy compiler, enabling to turn an input CNF into a propagation complete one. Such a lazy compiler would be one, and perform series of experiments. • Describing new en...

IN - Informatika

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

logicMOVE Logic Reasoning in Motion Planning for Multiple Robotic Agents (GA22-31346S)

will be based on the principles of logical reasoning, in particular lazy compilation...

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

  • 2022 - 2024
    • •
  • 2 883 tis. Kč
    • •
  • 2 883 tis. Kč
    • •
  • GA ČR
Project

Distributed rational decision making cooperation aspects (LTC18075)

The proposed project aims to contribute to theoretical and algorithmic development of cooperation and negotiation aspects while respecting agent imperfection and deliberation (deliverables D1.1, D1.3, D1.5 Memorandum of Understanding for the implemen...

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

  • 2018 - 2021
    • •
  • 3 356 tis. Kč
    • •
  • 3 356 tis. Kč
    • •
  • MŠMT
Project

The research of petrological properties of black coal in dependence on mineral processing procesess (GA105/02/1014)

The subject matter of submitted project will be observation of coal mass changes during technological processes (flotation and bacterial leaching). The black coal from Karviná part of OKD, a.s. will be tested, namely from Mines Lazy, Dukla, ...

DH - Báňský průmysl včetně těžby a zpracování uhlí

  • 2002 - 2004
    • •
  • 1 500 tis. Kč
    • •
  • 1 500 tis. Kč
    • •
  • GA ČR
Project

Characterisation of genes encoding proteins of biosynthetic pathway of biologically active compounds in vegetables (1P05OC055)

genetic determination of production of biologically active compounds containing sulphur and selenium in sp. Allium...

GM - Potravinářství

  • 2005 - 2008
    • •
  • 1 438 tis. Kč
    • •
  • 1 263 tis. Kč
    • •
  • MŠMT
Project

Verification of possibility to perform environmental audit in conditions of mining organisations (GA105/01/0207)

of the solution of the proposed project the method will be verified and applied at Mine Lazy...

DH - Báňský průmysl včetně těžby a zpracování uhlí

  • 2001 - 2003
    • •
  • 806 tis. Kč
    • •
  • 580 tis. Kč
    • •
  • GA ČR
Project

ENCODE Environment for Configuration Design (OK 239)

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

  • 1995 - 1998
    • •
  • 2 656 tis. Kč
    • •
  • 1 400 tis. Kč
    • •
  • MŠMT
Project

Encoding and decoding of emotions in calls of infants of two mammalian species (GAP505/10/1411)

The aims of the project are to clarify how emotions are encoded in calls of infants of two mammalian species (pigs and humans) and how this information is decoded parameters that best encode the emotions. In further three experiment...

EG - Zoologie

  • 2010 - 2013
    • •
  • 5 227 tis. Kč
    • •
  • 5 227 tis. Kč
    • •
  • GA ČR
Project

Boolean Representation Languages Complete for Unit Propagation (GA19-19463S)

of encodings with auxiliary variables, namely URC and PC encodings. The goal representation or encoding and develop a compiler for this task. To this end we shall develop......

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

  • 2019 - 2022
    • •
  • 6 019 tis. Kč
    • •
  • 4 789 tis. Kč
    • •
  • GA ČR
Project

Identification of a gene encoding adaptively formed antigen-binding protein in earthworms (IAA7020601)

EB - Genetika a molekulární biologie

  • 1996 - 1997
    • •
  • 397 tis. Kč
    • •
  • 397 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 270