Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

6 (0,053s)

Projekt

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
Projekt

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
Projekt

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
Projekt

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......

IN - Informatika

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

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
Projekt

Automata for Decision Procedures and Verification (GA19-24397S)

in automated reasoning and verification, such as lazy evaluation, symbolic representation...

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

  • 2019 - 2023
  • 8 460 tis. Kč
  • 6 551 tis. Kč
  • GA ČR
  • 1 - 6 z 6