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

19 (0,059s) •

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

Efficient Automata Techniques for Formal Reasoning (GJ16-24707Y)

The project focuses on development of efficient algorithms for finite automata applicable in formal verification and analysis of dynamic systems. The central idea is to explore connections between automata, SAT/SMT solving, and program verif...

IN - Informatika

  • 2016 - 2019
    • •
  • 8 142 tis. Kč
    • •
  • 8 142 tis. Kč
    • •
  • GA ČR
Project

Scalable Techniques for Analysis of Complex Properties of Computer Systems (GA20-07487S)

. In the former case, a special attention will be devoted to approaches based on SAT/SMT...

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

  • 2020 - 2022
    • •
  • 10 611 tis. Kč
    • •
  • 9 278 tis. Kč
    • •
  • GA ČR
Project

Logic and unsatisfiability (GA23-04825S)

from certificates that a formula is unsatisfiable, produced by a practical SAT...

Pure mathematics

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

Knowledge compilation for constraint programming (7AMB17FR027)

The principal aim of the research project is to develop new techniques for SAT and CSP reformulations which improve the effectivity of problem solving or bring guarantees for the running time. The main objectives of the project include: • De...

IN - Informatika

  • 2017 - 2018
    • •
  • 108 tis. Kč
    • •
  • 108 tis. Kč
    • •
  • MŠMT
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

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

The goal of this project is to understand the role of approximation in fine-grained and parameterized complexity and create solid foundations for these areas by developing lower bound techniques capable of addressing the key unproven assumptions unde...

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

Long-term heat energy storage in a supercooled substance (TM04000021)

of the appropriate accumulation solution of sodium acetate trihydrate (SAT) basis, including...

Energy and fuels

  • 2023 - 2024
    • •
  • 26 542 tis. Kč
    • •
  • 19 641 tis. Kč
    • •
  • TA ČR
  • 1 - 10 out of 19