A key step in concurrent real-time system development is to build a model from which the implementation is synthesized. It is thus important to understand the relation between the properties of a model and its corresponding implementation. In this paper, we first build two relations: 1) 2-weakening relations on MITLR formulas, which are used to express real-time properties of the system, and 2)...

In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-time system and to analyze real-time properties of the model. However, due to the existence of ineliminable timing differences between the model and its realization, real-time properties verified in the model often cann...

background: recent advances in cancer treatment have resulted in an increased number of cancer survivors. fertility might be impaired by cancer itself or through gonadal damage as a consequence of radio-chemotherapy. damages to reproductive organs are seen in minimally upto 30% of cancer patients. the aim of the present study was evaluate the attitude of iranian oncologists toward fertility pre...

in order to improve the quality and the possibility of fresh pistachio exports , the impact of different harvest time on storage of ‘ahmadaghaii’ pistachio was investigated. in 2011, pistachios harvested at three stages of fruit ripening (40, 70 and 100 percent of hulling) in hulling fresh, fresh without hulling and dried pistachio packaged in pulpy bag and held in two-temperature storage (1 ± ...

In organizations, information systems produce increasing amounts of digital information that needs to be preserved. Simultaneously, human intervention in preservation activities needs to be minimized, due to scarce resources available for preservation. Thus, digital preservation services need to be integrated with other organizational information systems as seamlessly as possible, and preservat...

The effects of different preservation conditions (temperature 20-25 or 10-15 degrees C; duration 12 or 24 h) for ovaries of Cervus nippon yesoensis on in vitro maturation of oocytes were examined. When ovaries were kept for 12 h at 20-25 degrees C, maturation rate of oocytes was highest (71%); however, it declined when the preservation time was extended to 24 h (31%). When the preservation temp...

PURPOSE To evaluate the NAC effects on liver hypothermic preservation at different time intervals. METHODS For this, we used livers of male Wistar rats weighing between 250 and 300 g, undergoing preservation in Ringer solution at 4°C for up to 24 hours. Tissue samples were obtained at four moments of preservation for histological examination by hematoxylin and eosin staining: T0 = beginning o...