منابع مشابه
TIK Report 136 The Formal Definition of Anlauff’s eXtensible Abstract State Machines
eXtensible Abstract State Machines (XASM) [1, 4, 2, 3] has been designed and implemented by Anlauff as formal development tool for the Montages project. Unfortunately a formal semantics of XASM has not been given up to now. We streamline Anlauff’s original design and present a denotational semantics, complementing the existing informal description. In fact we found that XASM implement a semanti...
متن کاملP-136: High Concentrations of Noscapine Induces Apoptosis in Stromal Cells of Endometriosis In Vitro
Background: Endometriosis is a benign hormone-dependent disease in women of reproductive age. There is no cure for eradicating the disease and there is need for new drugs. The aim of this study was to investigate the in vitro effect of noscapine as inducer of cell death on endometriotic stromal cells in patient's endometriosis in vitro. Materials and Methods: Endometrial biopsies from pati...
متن کاملOp-brai140307 136..148
The pathophysiology of post-stroke fatigue is poorly understood although it is thought to be a consequence of central nervous system pathophysiology. In this study we investigate the relationship between corticomotor excitability and self-reported nonexercise related fatigue in chronic stroke population. Seventy first-time non-depressed stroke survivors (60.36 12.4 years, 20 females, 56.81 63 m...
متن کاملP 136: The Role of Blood Brain Barrier in Multiple Sclerosis
Multiple sclerosis (MS) is an inflammatory disorder, in which neurons become demyelinated. To date, its etiology has remained unknown. Nevertheless, certain features are inspected to provoke MS. For instance, improper function of immune cells is widely believed to be the basis of such disorder. In this concept, MS is stated as an autoimmune disease, which was asserted by major of studies, as CD...
متن کامل132-136 Sly
likely than nonusers to engage in risky sexual behavior and that they are less likely than nonusers to rely on condoms. In some studies, condom use has been treated as one component of a sexual-risk index, which is then related to substance use. In other research, condom use has been treated as a separate independent variable, which is then related to substance use directly. In this article, we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pediatric Critical Care Medicine
سال: 2018
ISSN: 1529-7535
DOI: 10.1097/01.pcc.0000537593.25692.af