Towards the Formal Specification and Verification of Maple Programs

In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs. The main goal of our work is to find behavioral errors in such programs w.r.t. their specifications by static analysis. This task is more complex for widely used computer algebra languages like Maple as these are fundamentally different from classical languages: they support non-standard types of objects such as symbols, unevaluated expressions and polynomials and require abstract computer algebraic concepts and objects such as rings and orderings etc. As a starting point we have defined and formalized a syntax, semantics, type system and specification language for MiniMaple

Location Determinants of Food Manufacturing Investment: Are Non-metropolitan Counties Competitive?

Food manufacturing site selection is determined by infrastructure, agglomeration, product and input markets, labor markets, and fiscal attributes of local communities. This article examines how these factors influence location decisions across the rural-urban continuum in the lower forty-eight states of the U.S. Negative binomial regression and spatial clustering methods are used to forecast new food processor location patterns at the county level, 2000-2004. Remote rural areas are at a comparative disadvantage with respect to attracting food processors, but non-metropolitan counties with economic links to urban core areas may be attractive investment sites for footloose, supply, and demand-oriented food manufacturers.firm location, food manufacturing, negative binomial regression, spatial clustering, Community/Rural/Urban Development, R1, R3,

Sub-gap conductance in ferromagnetic-superconducting mesoscopic structures

We study the sub-gap conductance of a ferromagnetic mesoscopic region attached to a ferromagnetic and a superconducting electrode by means of tunnel junctions. In the absence of the exchange field, the ratio $r= \gamma / \epsilon_T$ of the two tunnel junction resistances determines the behaviour of the sub-gap conductance which possesses a zero-bias peak for $r\gg 1$ and for $r\ll 1$ a peak at finite voltage. We show that the inclusion of the exchange field leads to a peak splitting for $r\ll 1$, while it shifts the zero-bias anomaly to finite voltages for $r\gg 1$.Comment: 5 pages revte

Non-equilibrium Entanglement and Noise in Coupled Qubits

We study charge entanglement in two Coulomb-coupled double quantum dots in thermal equilibrium and under stationary non-equilibrium transport conditions. In the transport regime, the entanglement exhibits a clear switching threshold and various limits due to suppression of tunneling by Quantum Zeno localisation or by an interaction induced energy gap. We also calculate quantum noise spectra and discuss the inter-dot current correlation as an indicator of the entanglement in transport experiments.Comment: 4 pages, 4 figure

Water vapor on supergiants. The 12 micron TEXES spectra of mu Cephei

Several recent papers have argued for warm, semi-detached, molecular layers surrounding red giant and supergiant stars, a concept known as a MOLsphere. Spectroscopic and interferometric analyses have often corroborated this general picture. Here, we present high-resolution spectroscopic data of pure rotational lines of water vapor at 12 microns for the supergiant mu Cephei. This star has often been used to test the concept of molecular layers around supergiants. Given the prediction of an isothermal, optically thick water-vapor layer in Local Thermodynamic Equilibrium around the star (MOLsphere), we expected the 12 micron lines to be in emission or at least in absorption but filled in by emission from the molecular layer around the star. Our data, however, show the contrary; we find definite absorption. Thus, our data do not easily fit into the suggested isothermal MOLsphere scenario. The 12 micron lines, therefore, put new, strong constraints on the MOLsphere concept and on the nature of water seen in signatures across the spectra of early M supergiants. We also find that the absorption is even stronger than that calculated from a standard, spherically symmetric model photosphere without any surrounding layers. A cool model photosphere, representing cool outer layers is, however, able to reproduce the lines, but this model does not account for water vapor emission at 6 microns. Thus, a unified model for water vapor on mu Cephei appears to be lacking. It does seem necessary to model the underlying photospheres of these supergiants in their whole complexity. The strong water vapor lines clearly reveal inadequacies of classical model atmospheres.Comment: Accepted for publication in the Astrophysical Journa

Naval History by Conspiracy Theory: The British Admiralty before the First World War and the Methodology of Revisionism

Revisionist interpretations of British naval policy in the Fisher era claim that an elaborate smoke screen was created to hide the Royal Navy’s real policies; while documents showing the true goals were systematically destroyed. By asserting this, revisionists are able to dismiss those parts of the documentary record that contradict their theories, while simultaneously excusing the lack of evidence for their theories by claiming it has been destroyed. This article shows that this methodology is misleading and untenable

Overcoming decoherence in the collapse and revival of spin Schr\"odinger cats

In addition to being a very interesting quantum phenomenon, Schr\"odinger cat swapping has the potential for application in the preparation of quantum states that could be used in metrology and other quantum processing. We study in detail the effects of field decoherence on a cat-swapping system comprising a set of identical qubits, or spins, all coupled to a field mode. We demonstrate that increasing the number of spins actually mitigates the effects of field decoherence on the collapse and revival of a spin Schr\"odinger cat, which could be of significant utility in quantum metrology and other quantum processing.Comment: 4 pages, 2 figure