A Refinement Calculus for Logic Programs
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus
arxiv.orgrank this link
Refine results · kind
hayes
11 indexed results
Dijet Cross Sections and Rapidity Gaps between Jets in photoproduction at HERA
Dijet cross sections from the original 1994 ZEUS data analysis are shown compared to NLO calculations. New 1995 cross sections
arxiv.orgrank this link
Dynamic Magnetoelectric Effects in Bulk and Layered composites of Cobalt Zinc Ferrite and Lead Zirconate Titanate
Low frequency magnetoelectric (ME) coupling has been investigated in bulk and multilayers of cobalt zinc ferrite, Co1-xZnxFe2O4 (x=0-0.6), and lead
arxiv.orgrank this link
Heavy Flavours in Photoproduction at HERA
Differential cross sections, $dσ/d x_γ^{\rm OBS}$, for dijet photoproduction events with a tagged $D^*$ meson are presented, where $x_γ^{\rm OBS}$
arxiv.orgrank this link
Lyman alpha emission from local starburst galaxies and high-z objects
We review the history and the current status of the understanding of the processes that regulate Lyman alpha emission from
arxiv.orgrank this link
Magnetoelectric Effects in Ferromagnetic/Piezoelectric Multilayer Composites
The observation of strong magnetoelectric effects is reported in thick film bilayers and multilayers of ferrite-lead titanate zirconate (PZT) and
arxiv.orgrank this link
Rapidity Gaps Between Jets
An excess of events with a rapidity gap between jets, over what would be expected from non-diffractive processes, has been
arxiv.orgrank this link
The fate of Lyman photons in local Starburst: new ACS/HST images
We review the imaging and spectroscopic properties of the Lyman alpha emission in starburst galaxies. The Lyman alpha photons escape
arxiv.orgrank this link
The Physics of Core-Collapse Supernova Explosions
Fresh insights and powerful numerical tools are revitalizing the theoretical exploration of the supernova mechanism. The realization that the protoneutron
arxiv.orgrank this link
The pressure dependence of electron-phonon coupling in the organic superconductor $κ$-(BEDT-TTF)$_{2}$Cu(SCN)$_{2}$: A comparison of high pressure infrared reflectivity and Raman scattering experiments
We determine the pressure dependence of the electron-phonon coupling constant in $κ$-(BEDT-TTF)$_{2}$Cu(SCN)$_{2}$ by comparison of high pressure Raman scattering and
arxiv.orgrank this link
Long Proteins with Unique Optimal Foldings in the H-P Model
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2)
arxiv.orgrank this link