We propose a derivation of the empirical Weinberg relation for the mass of an elementary particle and in an inflationary type of universe. Our derivation produces the standard well known Weinberg relation for the mass of an elementary particle, along with an extra term which depends on the inflationary potential, as well as Hubble’s constant. The derivation is based on Zeldovich’s result for th...

BACKGROUND Risk factors for early mortality after heart transplant (HT) have not been used for quantitative risk prediction. We sought to develop and validate a risk prediction model for posttransplant in-hospital mortality in HT recipients. METHODS AND RESULTS We derived the model in subjects aged ≥18 years who underwent primary HT in the United States from January 2007 to June 2009 (n=4248)...

The isohydricity (pH constancy) as the property referred to mixtures of acids or bases, is illustrated on a simple example of the solutions: HL (C0, mol/L) and HL (C mol/L) mixed according to titrimetric mode (pH titration). A new derivation of the Michałowski formula 1 2 0 10 pK C C C    expressing this property is presented, and its applicability for determination of pK1 = – logK1 value is...

Figure 1: ITE ratio plot for the Apollo 14 high-Al basalts demonstrating derivation from distinct source regions [7]. Figure 2: Rb-Sr isochron plot for 14321,1353. DERIVATION OF APOLLO 14 HIGH-AL BASALTS FROM DISTINCT SOURCE REGIONS AT DISCRETE TIMES: NEW CONSTRAINTS. C. R. Neal, C.-Y. Shih, Y. Reese, L. E. Nyquist, and G. Y. Kramer, Dept. Of Civil Eng. & Geological Sciences, University of Notr...

In the formal derivation and proof of binary tree algorithms, Dijkstra's weakest predicate method is commonly used. However, has some drawbacks, including a time-consuming process, complicated loop invariants, inability to generate executable programs from specification. This paper proposes unified strategy for non-recursive algorithms address these issues. First, problem solving sequences are ...

We investigate a new, fast and provably convergent MAP reconstruction algorithm for emission tomography. The new algorithm, termed C-OSEM has its origin in the alternating algorithm derivation of the well known EM algorithm for emission tomography. In this re-derivation, the complete data explicitly enters the objective function as an unknown variable. While the entire complete data gets update...

Abstract We consider the method of signal accumulation for problems with natural constraints. focus on case when constraint has implicit form type ∥ x = C unknown const...