The notion of a linear space is generalized to the case where the underlying algebra is a commutative monoid and the set of scalars is a semiring reduct of a BL-algebra or an MValgebra. The notions of linear dependence and independence are also introduced and necessary and sufficient conditions when vectors form a basis of a semi-linear space are given. A linear mapping between two semilinear s...

We present a new method for computing core universal solutions in data exchange settings specified by source-to-target dependencies, by means of SQL queries. Unlike previously known algorithms, which are recursive in nature, our method can be implemented directly on top of any DBMS. Our method is based on the new notion of a laconic schema mapping. A laconic schema mapping is a schema mapping f...

This case report describes the histopathologic findings associated with two left ventricular, linear radiofrequency lesions in a patient who underwent cardiac transplantation shortly after an ablation procedure for ventricular tachycardia. The lesions were created with conventional ablation equipment guided by a noncontact mapping system. The findings provide pathologic validation that continuo...

In this paper we show that any Fréchet holomorphic function mapping the open unit ball of one normed linear space into the closed unit ball of another must be a linear mapping if the Fréchet derivative of the function at zero is a surjective isometry. From this fact we deduce a Banach-Stone theorem for operator algebras which generalizes that of R. V. Kadison.