In this work an easy to use, simple and direct equations were formulated and tested. Heat transfer coefficients of phase change fluid flow were examined in this work. The considered fluid flow encountered convection heat flux inside rigid tubes filled with porous media. During the flow, phase change was assumed. Experimental work was conducted using Carbon dioxide as fluid. An analytical method...

This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calculus of Mobile Ambients (MA). Zimmer has shown that the synchronous pi-calculus without choice can be encoded in pure (no communication) Safe Ambients. We show that pure MA without restriction has symmetric electoral sys...

For any unitary cuspidal representations πn of GLn(QA), n = 2, 3, 4, respectively, consider two automorphic representations Π and Π of GL6(QA), where Πp ∼= ∧π4,p for p 6= 2, 3 and π4,p not supercuspidal, and Π = π2 π3. First, Hypothesis H for Π and Π is proved. Then contributions from prime powers are removed from the prime number theorem for cuspidal representations π and π of GLm(QA) and GLm′...

1. Department of Geological Sciences, University of Oregon, Eugene, Oregon 97403, USA; 2. Buckingham Centre for Astrobiology, University of Buckingham, Buckingham MK18 1EG, United Kingdom 3. School of Geographical Sciences and Urban Planning, Arizona State University, Tempe, Arizona 85287-5302, USA; 4. Center for Advanced Materials Characterization in Oregon (CAMCOR), University of Oregon, Euge...

I have been collaborating with Gavin Brown since 1990. Our research mainly concerns the positivity of trigonometric sums and Jacobi polynomial sums. It also concerns multiple trigonometric sums and the convergence of the linear means of multiple Fourier series and Fourier-Laplace series. The present report is a survey on our joint results. §1 Positivity of trigonometric sums In 1990, we conside...

Clearly (b) implies (a) implies geometrically ruled. The theorem we’re in the process of proving is: Noether-Enriques Theorem. Suppose π : S → C is geometrically ruled. Then S is of type (b) above, i.e. it is the projectivization of some rank 2 invertible sheaf / vector bundle. We’re proving more generally: Suppose π : S → C, and x ∈ C such π is smooth over C and π−1(x) is isomorphic to P. Then...

The Equivalence Theorem is commonly used to calculate perturbatively amplitudes with gauge boson at higher energies than gauge boson masses. However, when the scalar sector is strongly interacting the theory is nonperturbative. We show that the Equivalence Theorem hold in the large N limit at next-to-leading order by calculating the width of the decays h → W+W− and h → π+π−. We also show, in th...

Abstract: In this paper a general methodology for minimum weight selection of structural joints is reviewed. The evaluation and selection technique is based on analytical weight formulae for structural joints including different joining technologies for which through the use of Buckingham’s Pi-Theorem a complete set of dimensionless similarity parameters is derived. This formal approach offers ...

1. Generalized Sphere Theorem As a first application of the critical point theory of distance funciton, we shall prove Theorem 1.1 (Grove-Shiohama). Let (M, g) be a complete simply connected Riemann-ian manifold with K > 1 4 and diam(M, g) ≥ π, then M is homeomorphic to S m. So Grove-Shiohama's theorem implies the sphere theorem. Proof. Let p, q ∈ M so that dist(p, q) = diam(M, g). In what foll...