pertinent to the prospective atmospheric propagation effects Satellite Propagation in the 20to 30GHz Frequency Range, IEEE Trans. Ant. Prop. Ippo1ito, L. J., R. D. Kau1 , and R. G. Na11ace, Propagation Handbook for Sate11ite. Systems Design, A Summary of Propagation Impairments on 10 to 100 GHz Sate11ite. DESCANSO NASA Propagation Program. Propagation Effects Handbook for Satellite Systems Desi...

We present a novel method for approximate inference in Bayesian models and regularized risk functionals. It is based on the propagation of mean and variance derived from the Laplace approximation of conditional probabilities in factorizing distributions, much akin to Minka’s Expectation Propagation. In the jointly normal case, it coincides with the latter and belief propagation, whereas in the ...

The EO Propagation objectives are: 1) investigate, develop and evaluate fine and coarse mode aerosol models and their effects on visibility and target detection in visible and IR wavelengths 2) Integrate and develop simple, realistic extinction, scintillation and refractivity models for infrared propagation near the ocean surface, 3) develop and evaluate advanced marine radiance models that are...

In this article we present an algorithm to compute bounds on the marginals of a graphical model. For several small clusters of nodes upper and lower bounds on the marginal values are computed independently of the rest of the network. The range of allowed probability distributions over the surrounding nodes is restricted using earlier computed bounds. As we will show, this can be considered as a...

Develop an advanced unified hybrid radio propagation model based on parabolic equation and rayoptics methods for both surface-based and airborne applications. This model is named the Advanced Propagation Model (APM) and is the model used in the Advanced Refractive Effects Prediction System (AREPS). Complete analysis of radio signal strength measurements from NOAA radio transmitters and compare ...

SMT solvers that perform search over a large set of constraints need to maintain, update and propagate truth assignments to atomic constraints. Each new truth assignment may lead to additional constraint propagation, which depending on the constraint domain can be costly. Relevancy propagation keeps track of which truth assignments are essential for determining satisfiability of a formula. Atom...

The preponderance of food and fiber for human consumption is derived from plants. The ability to domesticate crop plants was a pivotal point in human evolution. It permitted the transition from a predominantly nomadic lifestyle to one of more centralized communities of towns and villages. In turn, this allowed for stratification in the community for specialized activities not directly related t...

1 This work is supported by the National Science Foundation through ITR program grant No CCR 0296082, and by NASA through a grant from the NASA Office of Safety and Mission Assurance (OSMA) Software Assurance Research Program (SARP) managed through the NASA Independent Verification and Validation (IV&V) Facility, Fairmont, West Virginia. 2 Correspondence author. E-mail: [email protected] Abstract

This dissertation presents the design of a propagation-based constraint solver. The design is based on models that span several levels of abstraction, ranging from a mathematical foundation, to a high-level implementation architecture, to concrete data structures and algorithms. This principled design approach results in a wellunderstood, correct, modular, and hence efficient implementation. Th...

BACKGROUND Strain Rate Imaging shows the filling phases of the left ventricle to consist of a wave of myocardial stretching, propagating from base to apex. The propagation velocity of the strain rate wave is reduced in delayed relaxation. This study examined the relation between the propagation velocity of strain rate in the myocardium and the propagation velocity of flow during early filling. ...