We present our theoretical results on the mechanism of two transitions in vanadium spinel oxides AV2O4 (A=Zn, Mg, or Cd) in which magnetic V cations constitute a geometrically-frustrated pyrochlore structure. We have derived an effective spin-orbital-lattice coupled model in the strong correlation limit of the multiorbital Hubbard model, and applied Monte Carlo simulation to the model. The resu...

In most multi-item inventory systems, the ordering costs consist of a major cost and a minor cost for each item included. Applying for every individual item a cyclic inventory policy, where the cycle length is a multiple of some basic cycle time, reduces the major ordering costs. An e cient algorithm to determine the optimal policy of this type is discussed in this paper. It is shown that this ...

The language features and formal definitions of the three most popular process algebras, csp, ccs and lotos, are introduced and compared.

The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for translating ANISE descriptions to LOTOS (Language of Temporal Ordering Specification), thus providing a formal basis. It is shown how modular ANISE descriptions of features can be defined and then merged. Potential featur...

The eukaryotic cell division cycle encompasses an ordered series of events. Chromosomal DNA is replicated during S phase of the cell cycle before being distributed to daughter cells in mitosis. Both S phase and mitosis in turn consist of an intricately ordered sequence of molecular events. How cell cycle ordering is achieved, to promote healthy cell proliferation and avert insults on genomic in...

In this paper we develop an inventory model, to determine the optimal ordering quantities, for a set of two substitutable deteriorating items. In this inventory model the inventory level of both items depleted due to demands and deterioration and when an item is out of stock, its demands are partially fulfilled by the other item and all unsatisfied demand is lost. Each substituted item incurs a...

A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications services. The ANISE approach embodies a feature calculus that can be used to structure and analyse services. A description is given of the Plain Old Telephone Service using ANISE. This is extended for a number of typical fe...

introduction: health care organizations, especially hospitals, must focus on patient safety as their main strategy. cultural change is the most important challenge that they are faced with in creating a safe system. the present article aims to improve the patient safety culture with an assessment of the safety in fatemeh zahra hospital, najafabad, iran. methods: this descriptive and cross-secti...