Stefan Heinz∗ and Harish Gopalan 1000 East University Avenue, Department of Mathematics, University of Wyoming, Laramie 82071, USA Abstract The existence of many different dynamic large eddy simulation (LES) methods leads to questions about the theoretical foundation of dynamic LES methods. It was shown recently that the use of stochastic analysis enables a theoretically well based systematic d...

any (continuous) map N → M between stably parallelizable compact n-manifolds, n 6= 1, 2, 3, 7, is realizable in R, i.e. the composition of f with an embedding M ⊂ R is C-approximable by embeddings. It has been long believed that any degree 2 map S → S, obtained by capping off at infinity a time-symmetric (e.g. Shapiro’s) sphere eversion S×I → R, was non-realizable in R. We show that there exist...

in this study, a numerical computational fluid dynamics study is conducted in order to predict the aerodynamic forces on the np car. the turbulent air flow around the car is modeled using the realizable k-ε model. first, results are validated against those presented for the ahmed’s body. next, the fluid flow around the car is simulated for different car speeds ( to mph) and flow directions ( to...

Two notions of primitive recursive realizability for arithmetic sentences are considered. The first one is strictly primitive recursive realizability introduced by Z. Damnjanovic in 1994. We prove that intuitionistic predicate logic is not sound with this kind of realizability. Namely there exists an arithmetic sentence which is deducible in the intuitionistic predicate calculus but is not stri...

Sensitivity measurements performed on EVLA antenna #14 show that the cold-sky zenith system temperature is about 45K for the 18 – 26 GHz band, and 60 K for the low frequency end of the 40 – 50 GHz band, rising to 95 K at the high frequency end. Efficiency measurements based on the planet Venus show the antenna efficiency to be about 50% in the 18 – 26 GHz band, and about 28% for the 40 – 50 GHz...

2 The General Case 2 2.1 Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Realizable Specifications . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Realizability Under Fairness . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 Weakly Realizable Specifications . . . . . . . . . . . . . . . . . . . . . 6 2.5 Games and Specifications . . . . . . . . . . ...