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”
CS
ČeštinaEnglish

Filtry

3 033 (0,081s) •

Projekt

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

in a conjunctive normal form (CNF) formula. We plan to study a compilation of such a formula into another CNF formula which is complete for unit propagation. More precisely, we will consider compilation i...

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
Projekt

Knowledge compilation for constraint programming (7AMB17FR027)

. Since checking if an input formula in CNF is propagation complete is a coNP-complete be to practically test if a formula is propagation complete. Answering these and other related an in...

IN - Informatika

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

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
Projekt

Seismic wave propagation in complex structures - perturbation approaches (GA205/08/0332)

in regions of special interest for geophysics. Seismic waves propagating in such media and anisotropy on propagation of homogeneous and inhomogeneous plane waves within the project GACR 205/05/2182. We derived exact formulae

DC - Seismologie, vulkanologie a struktura Země

  • 2008 - 2010
    • •
  • 1 323 tis. Kč
    • •
  • 1 323 tis. Kč
    • •
  • GA ČR
Projekt

Seismic waves in inhomogeneous weakly anisotropic media (GA16-05237S)

interior. Although weak, it influences seismic wave propagation considerably, especially S-wave propagation. It also affects the applicability of approximate high, weak anisotropy leads to a considerable simplification of form...

DC - Seismologie, vulkanologie a struktura Země

  • 2016 - 2018
    • •
  • 8 386 tis. Kč
    • •
  • 7 008 tis. Kč
    • •
  • GA ČR
Projekt

Boolean techniques in knowledge representation (GA15-15511S)

based on Boolean functions may be considered - formulas (of many types, especially...

IN - Informatika

  • 2015 - 2017
    • •
  • 2 430 tis. Kč
    • •
  • 2 430 tis. Kč
    • •
  • GA ČR
Projekt

Thermodynamics and kinetics of elements and particles adsorption during the flow of ferrous alloys through the ceramic filters (GA106/06/0393)

The substance of the proposed project lies in possibly the most complete description of thermodynamics and kinetics of filtration with the use of the Gibbs adsorption formula in connection with the Bernoulli formula, while ...

JG - Hutnictví, kovové materiály

  • 2006 - 2008
    • •
  • 1 981 tis. Kč
    • •
  • 1 981 tis. Kč
    • •
  • GA ČR
Projekt

*The development of new industrial explosives utilising demilitarisation materials (FI-IM5/199)

*The development of the new industrial explosives is initiated among others by the availability of residual materials from liquidation of delaboration. With the completion of the development making samples of the industrial explosive, their ...

JY - Střelné zbraně, munice, výbušniny, bojová vozidla

  • 2008 - 2008
    • •
  • 4 807 tis. Kč
    • •
  • 1 920 tis. Kč
    • •
  • MPO
Projekt

Real quota theory, alternative approach to measuring the proportionality of proportional representation electoral formulas (KJB7028302)

The evaluation of proportionality and the characteristics of electoral formulas in an area where political scientists have not come to agreement. Experts still struggle is understood and display a teddency to favor certain formulas....

AD - Politologie a politické vědy

  • 2003 - 2005
    • •
  • 1 051 tis. Kč
    • •
  • 1 025 tis. Kč
    • •
  • AV ČR
Projekt

Seismic waves in anisotropic media (GA205/96/0968)

varying layered anisotropic structures by the ray method; study of wave propagation of formulae for analytic calculation of the Green function for homogenous transversely......

DC - Seismologie, vulkanologie a struktura Země

  • 1996 - 1998
    • •
  • 1 713 tis. Kč
    • •
  • 1 225 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 3 033