Specifying Reusable Components

Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of reusable components. Model-based contracts conservatively extend the classic Design by Contract with a notion of model, which underpins the precise definitions of such concepts as abstract equivalence and specification completeness. Experiments applying model-based contracts to libraries of data structures suggest that the method enables accurate specification of practical software

Actual and perceived motor competence levels of Belgian and United States preschool children

Purpose: The present study examined the motor competence of preschool children from Belgium and the United States (US), and the influence of perceived motor competence on actual motor competence. A secondary objective was to compare the levels of motor competence of Belgian and US children using the US norms of the Test of Gross Motor Development, Second Edition (TGMD-2). Methods: All participants (N = 326; ages 4-5) completed the TGMD-2 and the Pictorial Scale of Perceived Movement Skill Competence for Young Children. Results: Belgian children performed significantly higher on actual object control and locomotor skills than US children. However, both Belgian and US children scored significantly worse on the TGMD-2 when compared to the US norm group from 1997-1998. Furthermore, perceived motor competence was significantly related to actual object control skills but not locomotor skills. Conclusion: The present study showed cross-cultural differences in actual motor competence in young children. The findings also indicate a secular downward trend in childhood competence levels, possibly due to a decrease in physical activity and increase in sedentary behavior. Future research should consider conducting an in-depth exploration of physical activity contexts such as physical education to better understand cross-cultural differences in motor competence

Search for the Hypothetical pi -> mu x Decay

The KARMEN collaboration has reported the possible observation of a hitherto unknown neutral and weakly interacting particle x, which is produced in the decay pi -> mu + x with a mass m(x) = 33.9 MeV. We have searched for this hypothetical decay branch by studying muons from pion decay in flight with the LEPS spectrometer at the piE3 channel at PSI and find branching ratios BR(pi- to mu- anti-x) < 4e-7 and BR(pi+ to mu+ x) < 7e-8 (95\% C.L.). Together with the limit BR > 2e-8 derived in a recent theoretical paper our result would leave only a narrow region for the existence of x if it is a heavy neutrino.Comment: 10 pages, TeX (uses epsf), 3 Postscript figures uu-encode

Lateral Segregation of Photosystem I in Cyanobacterial Thylakoids

Photosystem I (PSI) is the dominant photosystem in cyanobacteria and it plays a pivotal role in cyanobacterial metabolism. Despite its biological importance, the native organisation of PSI in cyanobacterial thylakoid membranes is poorly understood. Here, we use atomic force microscopy (AFM) to show that ordered, extensive macromolecular arrays of PSI complexes are present in thylakoids from Thermosynechococcus (T.) elongatus, Synechococcus sp. PCC 7002 and Synechocystis sp PCC 6803. Hyperspectral confocal fluorescence microscopy (HCFM) and three-dimensional structured illumination microscopy (3D-SIM) of Synechocystis sp PCC 6803 cells visualise PSI domains within the context of the complete thylakoid system. Crystallographic and AFM data were used to build a structural model of a membrane landscape comprising 96 PSI trimers and 27,648 chlorophyll a molecules. Rather than facilitating inter-trimer energy transfer the close associations between PSI primarily maximise packing efficiency; short-range interactions with Complex I and cytochrome b6f are excluded from these regions of the membrane, so PSI turnover is sustained by long-distance diffusion of the electron donors at the membrane surface. Elsewhere, PSI-photosystem II (PSII) contact zones provide sites for docking phycobilisomes and the formation of megacomplexes. PSI-enriched domains in cyanobacteria might foreshadow the partitioning of PSI into stromal lamellae in plants, similarly sustained by long-distance diffusion of electron carriers

Removal of a single photon by adaptive absorption

We present a method to remove, using only linear optics, exactly one photon from a field-mode. This is achieved by putting the system in contact with an absorbing environment which is under continuous monitoring. A feedback mechanism then decouples the system from the environment as soon as the first photon is absorbed. We propose a possible scheme to implement this process and provide the theoretical tools to describe it

A Comment on the Topological Phase for Anti-Particles in a Lorentz-violating environment

Recently, a scheme to analyse topological phases in Quantum Mechanics by means of the non-relativistic limit of fermions non-minimally coupled to a Lorentz-breaking background has been proposed. In this letter, we show that the fixed background, responsible for the Lorentz-symmetry violation, may induce opposite Aharonov-Casher phases for a particle and its corresponding antiparticle. We then argue that such a difference may be used to investigate the asymmetry for particle/anti-particle as well as to propose bounds on the associated Lorentz-symmetry violating parameters.Comment: 4 pages - A published versio

Mesoscopic scattering in the half-plane: squeezing conductance through a small hole

We model the 2-probe conductance of a quantum point contact (QPC), in linear response. If the QPC is highly non-adiabatic or near to scatterers in the open reservoir regions, then the usual distinction between leads and reservoirs breaks down and a technique based on scattering theory in the full two-dimensional half-plane is more appropriate. Therefore we relate conductance to the transmission cross section for incident plane waves. This is equivalent to the usual Landauer formula using a radial partial-wave basis. We derive the result that an arbitrarily small (tunneling) QPC can reach a p-wave channel conductance of 2e^2/h when coupled to a suitable reflector. If two or more resonances coincide the total conductance can even exceed this. This relates to recent mesoscopic experiments in open geometries. We also discuss reciprocity of conductance, and the possibility of its breakdown in a proposed QPC for atom waves.Comment: 8 pages, 3 figures, REVTeX. Revised version (shortened), accepted for publication in PR

Three-body decay of the d* dibaryon

Under certain circumstances, a three-body decay width can be approximated by an integral involving a product of two off-shell two-body decay widths. This ``angle-average'' approximation is used to calculate the $\pi NN$ decay width of the $d^*(J^\pi=3^+, T=0)$ dibaryon in a simple $\Delta^2$ model for the most important Feynman diagrams describing pion emissions with baryon-baryon recoil and meson retardation. The decay width is found to be about 0.006 (0.07, 0.5) MeV at the $d^*$ mass of 2065 (2100, 2150) MeV for input dynamics derived from the Full Bonn potential. The smallness of this width is qualitatively understood as the result of the three-body decay being ``third forbidden''. The concept of $\ell$ forbiddenness and the threshold behavior of a three-body decay are further studied in connection with the $\pi NN$ decay of the dibaryon $d'(J^\pi=0^-, T=0 or 2)$ where the idea of unfavorness has to be introduced. The implications of these results are briefly discussed.Comment: 15 pages, RevTeX, two-column journal style, six figure

Testing Broken U(1) Symmetry in a Two-Component Atomic Bose-Einstein Condensate

We present a scheme for determining if the quantum state of a small trapped Bose-Einstein condensate is a state with well defined number of atoms, a Fock state, or a state with a broken U(1) gauge symmetry, a coherent state. The proposal is based on the observation of Ramsey fringes. The population difference observed in a Ramsey fringe experiment will exhibit collapse and revivals due to the mean-field interactions. The collapse and revival times depend on the relative strength of the mean-field interactions for the two components and the initial quantum state of the condensate.Comment: 20 Pages RevTex, 3 Figure

Assessing reproducibility for radiographic measurement of leg length inequality after total hip replacement

Leg length inequality (LLI) as a result of total hip replacement can cause considerable morbidity. Although LLI was described when the technique was popularised in the 1960s, it remains a significant challenge to arthroplasty surgeons. This study reviews the established practice for the measurement of LLI on plain antero-posterior radiograph, and compares these techniques to two methods used locally. The radiographs of 35 patients were measured using four techniques. All four methods yielded an interclass correlation co-efficient of ≥0.90 for inter reader reliability. This study shows that the four methods are comparable for reliability, while a composite method, measuring from the centre of femoral rotation to the inferior teardrop and then to the lesser trochanter, has the added advantage of providing extra information on component position as well as an overall measure of LLI