High accuracy results for the energy levels of the molecular ions H2+, D2+ and HD+, up to J=2

We present a nonrelativistic calculation of the rotation-vibration levels of the molecular ions H2+, D2+ and HD+, relying on the diagonalization of the exact three-body Hamiltonian. The J=2 levels are obtained with a very high accuracy of 10^{-14} a.u. (for most levels) representing an improvement by five orders of magnitude over previous calculations. The accuracy is also improved for the J=1 levels of H2+ and D2+ with respect to earlier works. Moreover, we have computed the sensitivities of the energy levels with respect to the mass ratios, allowing these levels to be used for metrological purposes.Comment: 11 page

The Farmers\u27 Holiday movement, Plymouth County, Iowa: 1932-1933

While reading Studs Terkel\u27s Hard Times, for a seminar in 1974, I first encountered information about a farm rebellion in northwestern Iowa during the Great Depression. As a native of that part of Iowa, my curiosity about this topic provoked further inquiry. In general, the farmer uprising of the 1930s was eventful for northwest Iowa and the surrounding upper midwestern states. Specifically, the rebellion achieved considerable attention for events in Plymouth County, Iowa. Having grown up only twenty miles from LeMars, the county seat of Plymouth County, I became intrigued with the rebellion, its causes, and the people involved in this episode of farmer activism. As the result of an idea sparked by a seminar reading, the topic of the Plymouth County farm revolt grew into this thesis project. In two contexts the Plymouth County farm revolt seems significant. On the one hand, the county\u27s uprising provides an interesting study of local farmer activism. Studied in the restricted limits of a single county, special insights into the events, characters, and ideology of rural rebellion can be gained. But, there is also a broader Importance in the Plymouth County farm revolt. The local rebellion seems to be linked to a long heritage of agricultural unrest in America. Viewed in this second context, there is more than Just a local importance to the events of 1932-33 in the LeMars area. Within the story of this local farmer uprising are interesting lessons relative to America\u27s agrariantradition

A proposed test of the Einstein theory of gravitation by means of an unshielded orbiting gyro using passive telemetry

Proposed test of theory of gravitation by an unshielded earth orbiting gyroscope using passive telemetr

Integrated Eagle/BDS-D Research Resolution Of Behavior Representation Methods Of CCTT SAF And ModSAF Interim Report: Behavior Representation Integration Techniques

Report on the first engineering change proposal, including track Eagle units within computer generated forces testbed, base Eagle unit detection on line of sight, platoon and batallion disaggregation, and manned simulators

Precision Spectroscopy of Molecular Hydrogen Ions: Towards Frequency Metrology of Particle Masses

We describe the current status of high-precision ab initio calculations of the spectra of molecular hydrogen ions (H_2^+ and HD^+) and of two experiments for vibrational spectroscopy. The perspectives for a comparison between theory and experiment at a level of 1 ppb are considered.Comment: 26 pages, 13 figures, 1 table, to appear in "Precision Physics of Simple Atomic Systems", Lecture Notes in Physics, Springer, 200

A New Social Order: Mechanisms for Social Network Site Boundary Regulation

Social Network Site (SNS) use has become ubiquitous, with hundreds of millions of users sharing and interacting online. Yet,constant, unbounded sharing and interacting with others can cause social crowding and emotional harm (Altman 1975). Weexplore interpersonal boundary regulation on Social Network Sites to understand these tradeoffs and examine how toimprove the social experiences of users. In this paper, we present a taxonomy of five categories of interpersonal boundarymechanisms relevant to SNSs and the specific interface controls that sites provide for managing these boundaries. Wequalitatively research how SNS users employ these mechanisms and the boundary issues that arise while interacting onlinewith others. These results present a first step towards a model of SNS interpersonal boundary regulation

Synthesis for Polynomial Lasso Programs

We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities). Central to this approach is the discovery of non-linear (algebraic) loop invariants. We extend Sankaranarayanan, Sipma, and Manna's template-based approach and prove a completeness criterion. We perform program synthesis by generating a constraint whose solution is a synthesized program together with a loop invariant that proves the program's correctness. This constraint is non-linear and is passed to an SMT solver. Moreover, we can enforce the termination of the synthesized program with the support of test cases.Comment: Paper at VMCAI'14, including appendi

Twin polaritons in semiconductor microcavities

The quantum correlations between the beams generated by polariton pair scattering in a semiconductor microcavity above the parametric oscillation threshold are computed analytically. The influence of various parameters like the cavity-exciton detuning, the intensity mismatch between the signal and idler beams and the amount of spurious noise is analyzed. We show that very strong quantum correlations between the signal and idler polaritons can be achieved. The quantum effects on the outgoing light fields are strongly reduced due to the large mismatch in the coupling of the signal and idler polaritons to the external photons

Three-Dimensional Analysis of Ice Sheet Indentation: Lower- Bound Solutions

The methods of plastic limit analysis are used to determine the indentation pressures of aflat rigid punch on a columnar ice sheet. The ice sheet is idealized as a semiinfinite layer of elastic-perfectly plastic material The effects of varying the aspect ratio (defined as the ratio ofindentor width to ice thickness) are then addressed. A comparison of results for intermediate aspect ratios to results for extremely high (plane stress) and extremely low (plane strain) aspect ratios is presented. It is found that the transition from plane stress to plane strain is governed by the tensile strength of the ice medium. Introduction The methods of plastic limit analysis are used to calculate the pressures required to indent an ice sheet. Lower-bound solutions are obtained by optimizing a three-dimensional stress field in order to determine the indentation pressures which cause yielding of the ice medium. The numerical results thus indicate the minimum loads required to initiate penetration of the indentor into the edge of the ice sheet. The failure mechanism of the ice is assumed to be purely plastic deformation and the conditions of the lower-bound theorem are thus strictly satisfied. The failure envelopes or yield criteria used to describe ice strength are highly dependent upon strain rate. The use of a particular failure envelope thus corresponds to a given ice type, temperature and strain rate. The Von Mises and the Drucker-Prager yield criteria are used to compare the threedimensional lower-bound results to previous limit analysis results obtained using these criteria. Anisotropic criteria, applicable to columnar sea ice are also used to study the effects of indentation aspect ratios. The stress field addressed in this study includes a rigorous three-dimensional elasticity solution for a semi-infinite sheet subjected to a distributed edge load. For certain stress states and higher strain rates, the failure envelope for ice may actually correspond to fracture rather than ductile flow. Thus, a knowledge of the state of stress in the sheet in the elastic range provides much insight as to the expected modes of failure of the ice. This also provides a means of assessing the limitations of the assumption of plastic deformation