The wall effect in cavity flow

A non-linear theory for the calculation of the flow field of an oblique flat plate under blockage condition is given using the techniques of integral equations. Numerical results are obtained with the aid of a high speed digital computer for the plate situated mid-channel at values of the angle of attack from 50 to 90° and the channel width-chord ratio from 3 to 20. Also obtained are results for the plate situated at two different off-center positions for a channel width-chord ratio 5 and angles of attack less than 30°

A Computer Method for Calculation of the Complete and Incomplete Elliptic Integrals of the Third Kind

Numerical approximations and a Fortran IV program are given for the calculation by an IBM 7090 computer of the complete and incomplete elliptic integrals of the third kind. In its present form results are limited to six decimal places, but the method is valid for all values of amplitude φ, modulus k and real values of the parameter a^2. For the purpose of completeness, adaptations of other programs for complete and incomplete elliptic integrals of the first and second kind are also presented

SO(3) Gauge Symmetry and Nearly Tri-bimaximal Neutrino Mixing

In this note I mainly focus on the neutrino physics part in my talk and report the most recent progress made in \cite{YLW0}. It is seen that the Majorana features of neutrinos and SO(3) gauge flavor symmetry can simultaneously explain the smallness of neutrino masses and nearly tri-bimaximal neutrino mixing when combining together with the mechanism of approximate global U(1) family symmetry. The mixing angle $\theta_{13}$ and CP-violating phase are in general nonzero and testable experimentally at the allowed sensitivity. The model also predicts the existence of vector-like Majorana neutrinos and charged leptons as well as new Higgs bosons, some of them can be light and explored at the LHC and ILC.Comment: 8 pages, invited talk, contribute to the Proceedings of the 4th International Conference on Flavor Physics (ICFP2007

Cluster magnetic fields from large-scale-structure and galaxy-cluster shocks

The origin of the micro-Gauss magnetic fields in galaxy clusters is one of the outstanding problem of modern cosmology. We have performed three-dimensional particle-in-cell simulations of the nonrelativistic Weibel instability in an electron-proton plasma, in conditions typical of cosmological shocks. These simulations indicate that cluster fields could have been produced by shocks propagating through the intergalactic medium during the formation of large-scale structure or by shocks within the cluster. The strengths of the shock-generated fields range from tens of nano-Gauss in the intercluster medium to a few micro-Gauss inside galaxy clusters.Comment: 4 pages, 2 color figure

Production Systems Involving Stocker Cattle and Soft Red Winter Wheat

A three year study at the Livestock and Forestry Research Station near Batesville, Arkansas evaluated production systems involving stocker cattle and soft red winter wheat. Grazing of soft red winter wheat forage from October through February followed by harvesting wheat grain or grazing through April with stocker cattle offers an alternative to conventional farming. Soft red winter wheat, when planted by September 15, produces an ample supply of high-quality forage that supports rapid growth of stocker cattle during October through April. Net income from stocker cattle averaged over $100 per acre. A normal wheat grain crop can also be harvested. These alternative production systems could increase the agricultural income by over$75,000,000 per year if 750,000 acres of wheat are grazed

More Straightforward Extraction of the Fundamental Lepton Mixing Parameters from Long-Baseline Neutrino Oscillations

We point out the simple reversibility between the fundamental neutrino mixing parameters in vacuum and their effective counterparts in matter. The former can therefore be expressed in terms of the latter, allowing more straightforward extraction of the genuine lepton mixing quantities from a variety of long-baseline neutrino oscillation experiments. In addition to the parametrization-independent results, we present the formulas based on the standard parametrization of the lepton flavor mixing matrix and give a typical numerical illustration.Comment: RevTex 10 pages. Minor changes. Phys. Rev. D in printin

Irreversible dynamics of the phase boundary in U(Ru0.9)Rh0.04)2Si2 and implications for ordering

We report measurements and analysis of the specific heat and magnetocaloric effect at the phase boundary into the single magnetic field-induced phase (phase II) of U(Ru{0.96}Rh{0.04})2Si2, which yield striking similarities to the valence transition of Yb{1-x}YxInCu4. To explain these similarities, we propose a bootstrap mechanism by which a structural distortion causes an electric quadrupolar order parameter within phase II to become coupled to the 5f-electron hybridization, giving rise to a valence change at the transition.Comment: 4 pages including 4 figure

"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517