In this paper we show that every real-time system speciied in a certain subset of Duration Calculus 24] can be decomposed into an untimed system communicating with suitable timers. Both asynchronous and synchronous communication are considered.

The spin dynamics in Ni is studied by an exact diagonalization method on the ultrafast time scale. It is shown that the femtosecond relaxation of the magneto-optical response results from exchange interaction and spin-orbit coupling. Each of the two mechanisms affects the relaxation process differently. We find that the intrinsic spin dynamics occurs during about 10 fs while extrinsic effects s...

We present a complete axiomatisation of the operator of projection onto state in the Duration Calculus (DC ) relative to validity in DC without extending constructs. Projection onto state was introduced and studied extensively in our earlier works. We first establish the completeness of a system of axioms and proof rules for the operator relative to validity in the extension of DC by neighbourh...

Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on one hand, and extending B through another formalism more adapted to the real-time context. We define here a possible temporal semantic for B, by using a temporal logic (the duration calculus), and we illustrate how this extensi...

background applying an appropriate method of analgesia in labor without alteration in its progression is of high importance. previous literature did not provide much information about the effect of various kinds of anesthesia on the duration of active phase of labor. objectives to assess the effect of painless labor methods on the duration of active phase of labor. patients and methods 80 pregn...

BACKGROUND Exclusive nutrition with breastfeeding is the health provider of the infant and mothers and its continuing would provide more advantages. Exclusive nutrition on different communities is affected by different factors. This study aimed to determine continuous exclusive breastfeeding and some of the related factors. METHODS This was a descriptive-analysis prospective study. The study ...

objective: to compare the efficacy of emla cream and lidocaine injection to reduce pain during episiotomy repair. materials and methods: a total of 46 primiparous women with normal pregnancy who referred for normal vaginal delivery and needed episiotomy repair were selected and randomly divided into two groups. for emla group, one hour before the estimated time of delivery, 5g of emla cream was...

microspheres formulated from poly (d,l-lactic-co-glycolide) (plga), a biodegradable polymer, have been extensively evaluated as a drug delivery system. in this study, the preparation, characterization and drug release properties of the plga microspheres were evaluated. simvastatin (sim)-loaded plga microspheres were prepared by oil-in-water emulsion/solvent evaporation method. the microspheres ...

the purpose of the present study was to explore the passive and electrically assisted transdermal transport of granisetron hydrochloride (gra) in solution and gel formulation through iontophoresis and also the feasibility of delivering therapeutic amounts of drug for the treatment of chemotherapy-induced nausea and vomiting. in this study, iontophoretic permeation of gra through guinea pig skin...

This study aimed to examine the effects of antenatal education, on readiness, pain, fear, duration and satisfaction levels nullipar women for delivery. A semi-experimental prospective design was used. The made between December 2014 March 2016. data were collected in 24-32nd (beginning training), 28-36th (end 4 weeks training) gestational 48-72 hours after deliveries. sample consisted 30 partici...