There is an error in the Materials and Methods section of this paper. Section 6, “Identification of Horizontal Gene Transfer (HGT) -derived Genes in Foc1 and Foc4,” should not appear. In addition, Lijia Guo is incorrectly designated as the corresponding author. The correct corresponding authors are: Junsheng Huang ([email protected]), Ming Peng ([email protected]), and Xiaodong Fang (fangxd@g...

Genetic control programs for scrapie in sheep build on solid knowledge of how susceptibility to scrapie is modulated by the prion protein genotype at the level of an individual sheep. In order to satisfactorily analyze the effectivity of control programs at the population level, insight is needed at the flock level, i.e., how the grouping of sheep in flocks affects the population-level transmis...

Enterprises want their in-cloud services to leverage the performance and security benefits that middleboxes offer in traditional deployments. Such virtualized deployments create new opportunities (e.g., flexible scaling) as well as new challenges (e.g., dynamics, multiplexing) for middlebox management tasks such as service composition and provisioning. Unfortunately, enterprises lack systematic...

The compositional evolution of vertebrate genomes is characterized: (i) by one predominant conservative mode, in which nucleotide changes occur, but the base composition of DNA sequences in general, and of coding sequences in particular, does not change; and (ii) by three different shifting or transitional modes, in which nucleotide changes are accompanied by changes in the base composition of ...

[Purpose] This study attempted to examine whether Pilates is an effective exercise for improving the postural alignment and health of middle-aged women. [Subjects and Methods] The participants in this study were 36 middle-aged women (20 in the experimental group, 16 in the control group). The experimental group participated in Pilates exercise sessions three times a week for 12 weeks. Body alig...

Instabilities in magnetic fields wound up by differential rotation as reviewed in Spruit (1999) are discussed with some detail and new developments added. In stellar models which include magnetic torques, the differential rotation tends to accumulate in the gradients in composition. In view of this, instability in a µ-gradient is studied in more detail here, resulting in the detection of a seco...

Hexagrid structural system is an innovated system with structural behavior which is similar to a tubular system. In this paper, a numerical study is conducted to estimate the seismic performance of horizontal hexagrid concerning the combined horizontal and vertical hexagrid, tubular and diagrid structural systems. First 30 and 50 story buildings are modeled using ETABS, then pushover and nonlin...

Event-B is a formal method, based on set theory and firstorder logic, for specification and verification of reactive systems supported by the Rodin tool kit. Feature modelling is a well-known technique for managing variability and configuring products within software product lines (SPLs). Our objective is to explore whether we can use existing Event-B composition techniques and tooling for feat...

The program development process is viewed as a sequence of implementation steps leading from a spe-ciication to a program. Based on an elementary notion of reenement, two notions of implementation are studied: constructor implementations which involve a construction \on top of" the implementing speciication, and abstractor implementations which additionally provide for abstraction from some det...