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

231 (0,124s) •

Project

Logic and unsatisfiability (GA23-04825S)

, for proofs in weak theories or in propositional logic, is tied to fundamental difficult is equivalent to showing that there is no propositional proof system which has short from certificates that a formula is unsatisfiable, produc...

Pure mathematics

  • 2023 - 2025
    • •
  • 11 138 tis. Kč
    • •
  • 10 889 tis. Kč
    • •
  • GA ČR
Project

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

Motion planning for multiple robotic agents (MR-MoP) is a task to find non-colliding sequences of simple movements for individual robotic agents so each agent achieves its individual goal. An important characteristic of the task is the large number o...

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

Constraint programming and Boolean satisfiability for artificial intelligence (GP201/09/P318)

the improvements of constraint programming and Boolean satisfiability. The project is targeted for relaxing hard problems arising in constraint programming and Boolean satisfiability programming and Boolean satisfiability ...

IN - Informatika

  • 2009 - 2011
    • •
  • 882 tis. Kč
    • •
  • 882 tis. Kč
    • •
  • GA ČR
Project

Efficient approximation algorithms and circuit complexity (GX19-27871X)

, Integer Programming, Satisfiability and study their approximation and parameterized...

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

  • 2019 - 2024
    • •
  • 49 235 tis. Kč
    • •
  • 49 235 tis. Kč
    • •
  • GA ČR
Project

Quasi-Decision Procedures for First-Order Theories of Real Functions (GA21-09458S)

Decision procedures for predicate logical theories play an increasingly important role in computer science, especially in combination with Boolean satisfiability solvers, that is, in the form of SAT modulo theory (SMT) solvers. Whil...

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

  • 2021 - 2024
    • •
  • 2 541 tis. Kč
    • •
  • 2 541 tis. Kč
    • •
  • GA ČR
Project

Endocrine and metabolic characteristics of gluteal subcutaneous adipose tissue and its relationship to indicators of metabolic syndrome (NT11450)

adipose tissue (SAT) will be investigated and compared in a group of 18 obese women. Samples of SAT will be obtained by needle biopsy taken in baseline conditions-mentioned depots of SAT . The aims are: 1. to establish dif...

FB - Endokrinologie, diabetologie, metabolismus, výživa

  • 2010 - 2012
    • •
  • 2 917 tis. Kč
    • •
  • 2 841 tis. Kč
    • •
  • MZ
Project

Identification of tick salivary molecules facilitating transmission of Borrelia burgdorferi using RNA interference (IAA600960811)

and proliferation in the host. This phenomenon is called saliva-activated transmission (SAT). Although several candidate SAT factors have been proposed, only one tick salivary) molecules in tick saliva are responsible for SAT

EC - Imunologie

  • 2008 - 2010
    • •
  • 3 228 tis. Kč
    • •
  • 3 228 tis. Kč
    • •
  • AV ČR
Project

Tick saliva-activated transmission of important pathogens (GA524/05/0811)

several candidate molecules for this saliva-activated transmission (SAT) were proposed against tick-transmitted pathogens. The aim of the project is to identify SAT and assess their activity using a SAT assay. Preparation ...

EC - Imunologie

  • 2005 - 2007
    • •
  • 2 850 tis. Kč
    • •
  • 2 850 tis. Kč
    • •
  • GA ČR
Project

Solution of climatic conditions in great depths by a proposition of new more effective cooling system (ABCBU51-07)

The aim is the solution of climatic conditions in great depths and the proposition of new more effective cooling system. On the basis of new findings a proposition to edit the regulations and to analyze the microclimatic conditions ...

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

  • 2007 - 2008
    • •
  • 5 800 tis. Kč
    • •
  • 5 800 tis. Kč
    • •
  • ČBÚ
Project

A logico-philosophical analysis of the notion of identity (GJ17-18344Y)

Modern predicate logic teaches us that identity is a reflexive, symmetric, and transitive binary relation satisfying Leibniz' Law. This simple description gives the impression that identity is, as David Lewis has claimed, "utterly simple two...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 2 874 tis. Kč
    • •
  • 2 874 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 231