KHALED HOSSEINI has been widely acclaimed for his debut novel The Kite Runner, an international best-seller. The novel not only launched Hosseini into the limelight as an Afghan-American writer but also bridged the gap between Western literary audience and the culture of the Middle East. The novel is about the friendship of two Afghan boys through the decades, and Amir, the narrator is an expat...

We describe the first systemic infection by Weissella confusa in a mona monkey (Cercopithecus mona) on the basis of microbiologic, molecular genetic, and histologic data. The same strain of W. confusa, as determined by pulsed-field gel electrophoresis, was isolated in pure culture from the brain, liver, spleen, and intestine of this primate, illustrating the clinical importance of the isolations.

Residual Joint Laxity and Increased Cartilage Contact Deformation in ACL Reconstructed Knees THE ORTHOPAEDIC JOURNAL AT HARVARD MEDICAL SCHOOL 32 Ali Hosseini, PhD1 Willem A. Kernkamp, MD2 Nathan H. Varady, BSc2 Guoan Li, PhD2

Monanchocidin A (MonA) is a novel alkaloid recently isolated from the marine sponge Monanchora pulchra. The compound reveals cytotoxic activity in genitourinary cancers including cisplatin-sensitive and -resistant germ cell tumor (GCT) cell lines, hormone-sensitive and castration-resistant prostate carcinoma cell lines and different bladder carcinoma cell lines. In contrast, non-malignant cells...

MONA implements an efficient decision procedure for the weak second-order logic WS1S, and has already been applied in many non-trivial problems. Among these, we follow on from the work of Smith and Klarlund on the verification of a sliding-window protocol. This paper extends the scope of MONA to the verification of time-dependent protocols. We present Discrete Timed Automata (DTA) as a suitable...

We present a new approach to hardware veriication based on describing circuits in Monadic Second-order Logic (M2L). We show how to use this logic to represent generic designs like n-bit adders, which are para-meterized in space, and sequential circuits, where time is an unbounded parameter. M2L admits a decision procedure, implemented in the Mona tool 16], which reduces formulas to canonical au...

This paper presents the Modify-on-Access (Mona) le system that provides extensibility through transformations applied to streams of data. Mona is novel in two ways. First, it o ers two levels of extensions (kernel and user). It allows performance-critical operations to execute with little overhead in the kernel and untrusted or more complex operations to execute in user space. Second, a running...

We present a new approach to hardware veriication based on describing circuits in Monadic Second-order Logic (M2L). We show how to use this logic to represent generic designs like n-bit adders, which are parameterized in space, and sequential circuits, where time is an unbounded parameter. M2L admits a decision procedure, implemented in the Mona tool 17], which reduces formulas to canonical aut...