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

1 234 (0,105s) •

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

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

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

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

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
Project

Proposal of updated learning mudules, developed of the computer supported methods (e-learning) and introduction of evaluation machanism for lifelong learning for the environmental problems (SP/4H6/142/08)

Updated learning mudules, developed of the computer supported methods (e-learning) and introduction of evaluation machanism for lifelong learning for the environmental roblems......

AM - Pedagogika a školství

  • 2008 - 2010
    • •
  • 8 047 tis. Kč
    • •
  • 7 663 tis. Kč
    • •
  • MŽP
Project

The learning style of a pupil - one of the conditions enabling the control of learning activity as active construction of knowledge (GA406/00/P084)

The aim of the proposed project is to verify if the learning style enters the learning activity of pupils as the influencing factor. The project is to contribute to creation of adequate model of pupils' learning style contr...

AM - Pedagogika a školství

  • 2000 - 2002
    • •
  • 397 tis. Kč
    • •
  • 397 tis. Kč
    • •
  • GA ČR
Project

Relational Reinforcement Learning for Science Acceleration (GA24-11664S)

Neural networks are increasingly being used for learning in scientific domains on recent developments in learning techniques for neural networks oriented to relational in mathematical physics into learning and technological...

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

  • 2024 - 2026
    • •
  • 8 775 tis. Kč
    • •
  • 7 932 tis. Kč
    • •
  • GA ČR
Project

Aproximation and learning of multivariable functions by neural networks (ME10023)

Research of approximation and learning from data of multivariable functions by neural networks and design of learning algorithms...

IN - Informatika

  • 2010 - 2012
    • •
  • 540 tis. Kč
    • •
  • 540 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 1 234