This paper examines a number of solution meth­ ods for decision processes with non-Markovian rewards (NMRDPs). Tlu::y all t:xploit a temporal logic specification of the reward function to au­ tomatically translate the NMROP into an equiv­ alent Markov decision process (MOP) amenable to well-known MOP solution methods. They dif­ fer however in the representation of the target MOP and the class o...

The mutagenic activity of A/-nitrosobis(2-oxopropyl)amine (BOP), A/-nitroso(2-hydroxypropyl) (2-oxopropyl)amine (HPOP), N-nitrosobis(2-hydroxypropyl)amine (BHP), /V-nitrosomethyl-2-oxopropylamine (MOP), and W-nitrosomethyl-2-hydroxypropylamine (MHP) was examined in the Ames liquid incubation assay, using hamster liver homogenate for meta bolic activation, and in the hamster liver cell-mediated ...

We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and MOP (Monitor-Oriented Programming). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed on-line to the MOP engine, allowing to verify complex temporal properties and to discove...

Two imidazolate-metal based rhombic dodecahedra (termed MOP-100 and MOP-101) were designed and prepared from [(NH(3))(4)Pd(NO(3))(2)] and hydrogen tetrakis(1-imidazolyl)borate or hydrogen tetrakis(4-methyl-1-imidazolyl)borate in a concentrated ammonium hydroxide solution at 85 degrees C. Both rhombic dodecahedra show unusual chemical stability in acidic and basic solutions as well as common org...

Monoclonal antibodies specific for DNA damaged by 8-methoxypsoralen (8-MOP) plus ultraviolet A (UVA) light were used to study adduct formation in human keratinocytes and mouse and rat skin in vivo. This antibody does not cross-react with nonmodified DNA or free 8-MOP. Sensitive competitive enzyme-linked immunosorbent assays with color or fluorescence endpoints were used to quantitate adducts on...

along with the beginning of novel and short story writing in persian and urdu languages various literary movements like realism, social realism and surrealism overshadowed the contemporary literature of iran and pakistan. modern prose of persian and urdu consists of great assets from novels and short stories, and their considerable background . during various periods of the growth and prosperit...

Persian is one of the Indo-European languages which has borrowed its script from Arabic, a member of Semitic language family. Since Persian and Arabic scripts are so similar, problems arise when we want to process an electronic text. In this paper, some of the common problems faced experimentally in developing a corpus for Persian are discussed. The sources of the problems are the Persian scrip...

Photochemical decontamination (PCD) of platelet concentrates, with adequate preservation of platelet function, has been shown using 8-methoxypsoralen (8-MOP) and long wavelength UV light (UVA). To further evaluate this technique, models for the inactivation of pathogenic human cell-associated viruses and integrated proviral sequences are required. We have assessed the ability of the PCD techniq...

BACKGROUND Continuous infusion of doxorubicin has been a strategy to reduce cardiotoxicity. Epirubicin is another anthracycline in common clinical use. However, evidence is lacking regarding whether this strategy can reduce cardiotoxicity of epirubicin without compromising antineoplastic efficacy. DESIGN AND METHODS Healthy rats were randomized into groups: epirubicin (8 mg/kg) delivered intr...

We have studied the photochemical reactions of 8-methoxypsoralen (&MOP) with calf thymus DNA. Analysis of the photoproducts formed was carried out by enzymatic digestion of the 8-MOP-modified DNA, followed by HPLC separation of photoadducts by high-pressure liquid chromatography (HPLC). The 4’,5’ (furan-side) monoadduct of &MOP bound to thymidine is converted to cross-liilked thymidine8-MOP-thy...