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

2 924 (0,596s) •

Project

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

into another CNF formula which is complete for unit propagation. More precisely, we will consider compilation into the target language of unit refutation complete formulas (URC), the language of propagation co...

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

Knowledge compilation for constraint programming (7AMB17FR027)

an input CNF into a propagation complete one. Such a lazy compiler would be one. Since checking if an input formula in CNF is propagation complete is a coNP-complete be to practically test if a formula is...

IN - Informatika

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

Research and development vaccine against lower respiratory tract diseases in pig breeding (LF12016)

The project aims to discover and develop methods of isolation, identification and propagation of bacterial strains which will be used after completion of the project for the preparation of a new polyvalent vaccine against infectious...

GJ - Choroby a škůdci zvířat, veterinární medicina

  • 2012 - 2015
    • •
  • 15 600 tis. Kč
    • •
  • 7 800 tis. Kč
    • •
  • MŠMT
Project

Membership in the FISITA Council and Committees (LG15020)

The project aim is to strengthen the position of Czech delegate in the governing body of nongovernmental nonprofit organisation FISITA. Complete set of information will be obtained in ordee to enhance the professional skills of not only rese...

JO - Pozemní dopravní systémy a zařízení

  • 2016 - 2017
    • •
  • 229 tis. Kč
    • •
  • 229 tis. Kč
    • •
  • MŠMT
Project

Quality enhacement of plantlets of Quercus sp. and Prunus avium by means of micropropagation (OC 843.60)

Morphological, physiological and genetic characterization of explants and plantlets growing ex-vitro during micropopagation of Quercus sp. and Prunus avium with the aim to acquire the highest quality of propagated plantSelection and physiolo...

GK - Lesnictví

  • 2000 - 2004
    • •
  • 5 820 tis. Kč
    • •
  • 1 450 tis. Kč
    • •
  • MŠMT
Project

Atmospheric influence on free space optic links attenuation with regard to turbulences and wind impact (LD13036)

The specific objectives of the project are complete mathematical models describing the propagation of the optical signal through real atmosphere with different types of hydrometeors and other atmospheric phenomena effecting attenuat...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2013 - 2015
    • •
  • 1 439 tis. Kč
    • •
  • 1 439 tis. Kč
    • •
  • MŠMT
Project

Set theory and mathematical logic (GA201/02/0854)

The aim of the present research proposal is to study the qualitative properties of solutions to the equations of compressible fluids The main topics include: 1. Global existence of weak solutions to the Navier-Stokes equations of compressible flow. 2...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 2 760 tis. Kč
    • •
  • 954 tis. Kč
    • •
  • GA ČR
Project

BIM - based Cyber-physical System for Bridge Assessment (7D17001)

The project will develop a new cyber-physical bridge assessment system that will at low cost allow continuous online monitoring and system identification beyond modal analysis on the level of crack propagation and hence considerably improve ...

JN - Stavebnictví

  • 2017 - 2020
    • •
  • 10 662 tis. Kč
    • •
  • 6 398 tis. Kč
    • •
  • MŠMT
Project

Propagation of Elektromagnetic Waves in Millimetre Waveband for Advanced Communication Systems (OC 280.003)

Propagation of Elektromagnetic Waves in Millimetre Waveband for Advanced Communication Systems...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2003 - 2005
    • •
  • 2 276 tis. Kč
    • •
  • 1 039 tis. Kč
    • •
  • MŠMT
Project

Propagation impairment of HAP communication networks (OC 093)

experimental and teoretic activities for backing of quantitative and qualitative description of events affecting propagation of electromagnetic waves in atmosphere......

JW - Navigace, spojení, detekce a protiopatření

  • 2006 - 2009
    • •
  • 1 500 tis. Kč
    • •
  • 1 500 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 2 924