Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent work on defining a theory of TM. We first present a correctness condition of a TM, ensured by most existing TM implementations. Then, we describe two progress properties that characterize the two main classes of TM implementations: obstructionfree and lock-based TMs. We use thes...

OBJECTIVE Ultrasound surveillance of patients with testicular microlithiasis (TM) has been recommended because of the reported association between TM and testicular cancer (TC). The purpose of this review is to summarize what is known about TM and discuss recent recommendations. CONCLUSION The most recent recommendations do not support the use of routine ultrasound surveillance for patients w...

To clarify the relation between systemic and cutaneous vascular endothelial injury in progressive systemic sclerosis (PSS), we examined thrombomodulin (TM) expression in PSS skin lesions immuno-histopathologically and compared it with plasma soluble TM levels measured by specific enzyme-linked immunosorbent assay. The plasma soluble TM level in PSS patients was significantly higher than that of...

Tropomyosin (TM) is a coiled-coil dimer of alpha-helical peptides, which self associates in a head- to-tail fashion along actin polymers, conferring stability to the microfilaments and serving a regulatory function in acto-myosin driven force generation. While the major amount of TM is associated with filaments also in non-muscle cells, it was recently reported that there are isoform-specific p...

The mechanical stimulation of the outer hair cell hair bundle (HB) is a key step in nonlinear cochlear amplification. We show how two-tone suppression (TTS), a hallmark of cochlear nonlinearity, can be used as an indirect measure of HB stimulation. Using two different nonlinear computational models of the cochlea, we investigate the effect of altering the mechanical load applied by the tectoria...

Purpose Abnormal accumulation of extracellular matrix (ECM) in the trabecular meshwork (TM) is associated with decreased aqueous humor outflow facility and IOP elevation in POAG. Previously, we have developed a transgenic mouse model of POAG (Tg-MYOCY437H) by expressing human mutant myocilin (MYOC), a known genetic cause of POAG. The purpose of this study is to examine whether expression of mut...

BACKGROUND Although rare, brain abnormalities without optic neuritis (ON) or transverse myelitis (TM) diagnosed with neuromyelitis optica spectrum disorder (NMOSD) have been reported in patients positive for the aquaporin-4 (AQP4) antibody. OBJECTIVE To analyze demographic and clinical differences among NMOSD patients without ON or TM, those with either ON or TM, and patients with simultaneou...

In this paper we generalize the well known construction of ”classic” measure theory to the fuzzy case. We consider such T-norm based classes of fuzzy sets as T-semirings and T-tribes (T sigmaalgebras), such fuzzy valued functions as elementary T-measures, exterior T-measures and T-measures, and we suggest the construction of a TM-measure by extension of an elementary TM-measure on a TM-semiring...