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)
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)
Biceps brachii muscles of five healthy volunteers were tested with a high-resolution twitch-interpolation technique. Parameters of the electrical surface stimulation were varied. It was found that a supramaximal stimulus strength activates both biceps and triceps brachii motor units simultaneously severely affecting twitch-interpolation results. Crosstalk(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)
Apart from counteracting matrix metalloproteinases, tissue inhibitor of metalloproteinases-3 (TIMP-3) has proapoptotic properties. These features have been attributed to the inhibition of metalloproteinases involved in the shedding of cell surface receptors such as the TNFR. However, little is known about effects of TIMP-3 in cells that are not susceptible(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)