Canonical Derivations with Negative Application Conditions

Using graph transformations to specify the dynamics of distributed systems and networks, we require a precise understanding of concurrency. Negative application conditions (NACs) are an essential means for controlling the application of rules, extending our ability to model complex systems. A classical notion of concurrency in graph transformation is based on shift equivalence and its representation by canonical derivations, i.e., normal forms of the shift operation anticipating independent steps. These concepts are lifted to graph transformation systems with NACs and it is shown that canonical derivations exist for so-called incremental NACs

Automated Model Merge by Design Space Exploration

Industrial applications of model-driven engineering to develop large and complex systems resulted in an increasing demand for collaboration features. However, use cases such as model differencing and merging have turned out to be a difficult challenge, due to (i) the graph-like nature of models, and (ii) the complexity of certain operations (e.g. hierarchy refactoring) that are common today. In the paper, we present a novel search-based automated model merge approach where rule-based design space exploration is used to search the space of solution candidates that represent conflict-free merged models. Our method also allows engineers to easily incorporate domain-specific knowledge into the merge process to provide better solutions. The merge process automatically calculates multiple merge candidates to be presented to domain experts for final selection. Furthermore, we propose to adopt a generic synthetic benchmark to carry out an initial scalability assessment for model merge with large models and large change sets

Laser capture microdissection in forensic research: a review

In forensic sciences, short tandem repeat (STR) analysis has become the prime tool for DNA-based identification of the donor(s) of biological stains and/or traces. Many traces, however, contain cells and, hence, DNA, from more than a single individual, giving rise to mixed genotypes and the subsequent difficulties in interpreting the results. An even more challenging situation occurs when cells of a victim are much more abundant than the cells of the perpetrator. Therefore, the forensic community seeks to improve cell-separation methods in order to generate single-donor cell populations from a mixed trace in order to facilitate DNA typing and identification. Laser capture microdissection (LCM) offers a valuable tool for precise separation of specific cells. This review summarises all possible forensic applications of LCM, gives an overview of the staining and detection options, including automated detection and retrieval of cells of interest, and reviews the DNA extraction protocols compatible with LCM of cells from forensic samples

McCune-Albright syndrome

McCune-Albright syndrome (MAS) is classically defined by the clinical triad of fibrous dysplasia of bone (FD), café-au-lait skin spots, and precocious puberty (PP). It is a rare disease with estimated prevalence between 1/100,000 and 1/1,000,000. FD can involve a single or multiple skeletal sites and presents with a limp and/or pain, and, occasionally, a pathologic fracture. Scoliosis is common and may be progressive. In addition to PP (vaginal bleeding or spotting and development of breast tissue in girls, testicular and penile enlargement and precocious sexual behavior in boys), other hyperfunctioning endocrinopathies may be involved including hyperthyroidism, growth hormone excess, Cushing syndrome, and renal phosphate wasting. Café-au-lait spots usually appear in the neonatal period, but it is most often PP or FD that brings the child to medical attention. Renal involvement is seen in approximately 50% of the patients with MAS. The disease results from somatic mutations of the GNAS gene, specifically mutations in the cAMP regulating protein, Gs alpha. The extent of the disease is determined by the proliferation, migration and survival of the cell in which the mutation spontaneously occurs during embryonic development. Diagnosis of MAS is usually established on clinical grounds. Plain radiographs are often sufficient to make the diagnosis of FD and biopsy of FD lesions can confirm the diagnosis. The evaluation of patients with MAS should be guided by knowledge of the spectrum of tissues that may be involved, with specific testing for each. Genetic testing is possible, but is not routinely available. Genetic counseling, however, should be offered. Differential diagnoses include neurofibromatosis, osteofibrous dysplasia, non-ossifying fibromas, idiopathic central precocious puberty, and ovarian neoplasm. Treatment is dictated by the tissues affected, and the extent to which they are affected. Generally, some form of surgical intervention is recommended. Bisphosphonates are frequently used in the treatment of FD. Strengthening exercises are recommended to help maintaining the musculature around the FD bone and minimize the risk for fracture. Treatment of all endocrinopathies is required. Malignancies associated with MAS are distinctly rare occurrences. Malignant transformation of FD lesions occurs in probably less than 1% of the cases of MAS

Endogenous laminin is required for human airway smooth muscle cell maturation

BACKGROUND: Airway smooth muscle (ASM) contraction underlies acute bronchospasm in asthma. ASM cells can switch between a synthetic-proliferative phenotype and a contractile phenotype. While the effects of extracellular matrix (ECM) components on modulation of ASM cells to a synthetic phenotype have been reported, the role of ECM components on maturation of ASM cells to a contractile phenotype in adult lung is unclear. As both changes in ECM components and accumulation of contractile ASM are features of airway wall remodelling in asthma, we examined the role of the ECM protein, laminin, in the maturation of contractile phenotype in human ASM cells. METHODS: Human ASM cells were made senescence-resistant by stable expression of human telomerase reverse transcriptase. Maturation to a contractile phenotype was induced by 7-day serum deprivation, as assessed by immunoblotting for desmin and calponin. The role of laminin on ASM maturation was investigated by comparing the effects of exogenous laminin coated on culture plates, and of soluble laminin peptide competitors. Endogenous expression of laminin chains during ASM maturation was also measured. RESULTS: Myocyte binding to endogenously expressed laminin was required for ASM phenotype maturation, as laminin competing peptides (YIGSR or GRGDSP) significantly reduced desmin and calponin protein accumulation that otherwise occurs with prolonged serum deprivation. Coating of plastic cell culture dishes with different purified laminin preparations was not sufficient to further promote accumulation of desmin or calponin during 7-day serum deprivation. Expression of α2, β1 and γ1 laminin chains by ASM cells was specifically up-regulated during myocyte maturation, suggesting a key role for laminin-2 in the development of the contractile phenotype. CONCLUSION: While earlier reports suggest exogenously applied laminin slows the spontaneous modulation of ASM to a synthetic phenotype, we show for the first time that endogenously expressed laminin is required for ASM maturation to the contractile phenotype. As endogenously expressed laminin chains α2, β1 and γ1 are uniquely increased during myocyte maturation, these laminin chains may be key in this process. Thus, human ASM maturation appears to involve regulated endogenous expression of a select set of laminin chains that are essential for accumulation of contractile phenotype myocytes

Integration of semantically annotated data by the KnoFuss architecture

Most of the existing work on information integration in the Semantic Web concentrates on resolving schema-level problems. Specific issues of data-level integration (instance coreferencing, conflict resolution, handling uncertainty) are usually tackled by applying the same techniques as for ontology schema matching or by reusing the solutions produced in the database domain. However, data structured according to OWL ontologies has its specific features: e.g., the classes are organized into a hierarchy, the properties are inherited, data constraints differ from those defined by database schema. This paper describes how these features are exploited in our architecture KnoFuss, designed to support data-level integration of semantic annotations