Learn More
We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series with those which are definable by restricted formulas from a weighted logics over traces. We use a translation technique from formulas over words to those over traces, and vice versa. This(More)
The modular endoprosthetic system Munich-Luebeck (MML) has been in clinical use since 1994. A total of 2.118 pelvic and lower extremity surgeries using the MML system were carried out up until 2010. The modular construction allows substituting or bridging any kind of bone defect. We analyzed 572 operative interventions, which were performed in 5 centers.(More)
The small ubiquitin-like modifier (SUMO)-1 is an important posttranslational regulator of different signaling pathways and involved in the formation of promyelocytic leukemia (PML) protein nuclear bodies (NBs). Overexpression of SUMO-1 has been associated with alterations in apoptosis, but the underlying mechanisms and their relevance for human diseases are(More)
Aggrecan cleavage by a disintegrin and metalloproteinase with a thrombospondin type 1 motif, member 5 (ADAMTS-5) is crucial for the breakdown of cartilage matrix during osteoarthritis, a degenerative joint disease that leads to the progressive destruction of articular structures. The mechanisms of ADAMTS-5 activation and their links to the pathogenesis of(More)
Rheumatoid arthritis (RA) is a chronic, inflammatory joint disease with systemic involvement that affects about 1% of the Western population. The progressive destruction of affected joints is a major characteristic of the disease and distinguishes RA from other acute and chronic arthritides. The etiology of RA is unknown, and a variety of genetic and(More)
INTRODUCTION The rheumatoid arthritis (RA) synovium is characterised by the presence of an aggressive population of activated synovial fibroblasts (RASFs) that are prominently involved in the destruction of articular cartilage and bone. Accumulating evidence suggests that RASFs are relatively resistant to Fas-ligand (FasL)-induced apoptosis, but the data(More)
OBJECTIVE Membrane type 1 matrix metalloproteinase (MT1-MMP) is expressed prominently in rheumatoid arthritis synovial fibroblasts (RASFs), but the specific contribution of MT1-MMP to fibroblast-mediated destruction of articular cartilage is incompletely understood. This study used gene transfer of an antisense expression construct to assess the effects of(More)
We examine a bidirectional Propositional Dynamic Logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC −. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining(More)