Notions of speci cation, implementation, satisfaction, and re nement, together with operators supporting stepwise design, constitute a speci cation theory. We construct such a theory for Markov Chains (MCs) employing a new abstraction of a Constraint MC. Constraint MCs permit rich constraints on probability distributions and thus generalize prior abstractions such as Interval MCs. Linear (polyn...

We propose a new fast algorithm for solving the Maximum Common Subgraph (MCS) problem. MCS is an NP-complete problem. In this paper, we focus on a special class of graphs, i.e. Planar Triangulation Graphs, which are commonly used in computer vision, pattern recognition and graphics. By exploiting the properties of Planar Triangulation Graphs and restricting the problem to connected MCS, for two...

his research is designed to develop and investigate newly defined problems: the Maximum Convex Sum (MCS), and its generalisation, the K-Maximum Convex Sum (K-MCS), in a two-dimensional (2D) array based on dynamic programming. The study centres on the concept of finding the most useful informative array portion as defined by different parameters involved in data, which is generically expressed i...

Electrical stimulation of the motor cortex (MCS) is a promising and increasingly used neurosurgical technique for the control of refractory neuropathic pain. Although its mechanisms of action remain unknown, recent functional imaging data suggest involvement of the thalamus, brainstem and anterior cingulate/orbitofrontal cortex. Since some of these areas are also implicated in higher cognitive ...

The pCaSpeR (1) and pUAST vectors (2) are two of the most commonly used Drosophila transformation vectors. However, although they have great utility in their current form, their multiple cloning sequences (MCSs) have a limited number of unique restriction sites (Figure 1). This is particularly true for the pUAST vector, whose MCS has only five unique sites. Further, neither of the MCSs in pCaSp...

Human mast cells (MCs) are long-lived tissue-resident immune Background: cells characterised by granules containing the proteases chymase and/or tryptase. Their phenotype is modulated by their tissue microenvironment. The human uterus has an outer muscular layer (the myometrium) surrounding the endometrium, both of which play an important role in supporting a pregnancy. The endometrium is a sex...

BACKGROUND Persons at risk for familial Alzheimer disease (FAD) provide a model in which biomarkers can be studied in presymptomatic disease. METHODS Twenty-one subjects at risk for presenilin-1 (n = 17) or amyloid precursor protein (n = 4) mutations underwent evaluation with the Clinical Dementia Rating (CDR) scale. We obtained plasma from all subjects and CSF from 11. Plasma (Abeta(40), Abe...

The antigen defined by MCS-2 monoclonal antibody (niAh) was char acterized by sodium dodecyl sulfate-polyacrylamide gel electrophoresis of surface and internally labeled cells. Surface iodination revealed that MCS-2 antigen on the surfaces of acute myelogenous leukemia cells, III 61) cells, and polymorphonuclear leukocytes (PMN) had the same molecular weight (.Vf, 150,000) and that their autora...

BACKGROUND Human rhinoviruses (HRVs) are a major trigger of asthma exacerbations, with the bronchial epithelium being the major site of HRV infection and replication. Mast cells (MCs) play a key role in asthma where their numbers are increased in the bronchial epithelium with increasing disease severity. OBJECTIVE In view of the emerging role of MCs in innate immunity and increased localizati...

Context. A large amount of magnetized plasma is frequently ejected from the Sun as coronal mass ejections (CMEs). Some of these ejections are detected in the solar wind as magnetic clouds (MCs) that have flux rope signatures. Aims. Magnetic clouds are structures that typically expand in the inner heliosphere. We derive the expansion properties of MCs in the outer heliosphere from one to five as...