Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
Abstract. This paper examines the bifurcation and structure of the bifurcated solutions of the two-dimensional infinite Prandtl number convection problem. The existence of a bifur...
Abstract. In this note, we present a method for flattening anatomical surfaces such as branched vessels and intestinal tracts in an areapreserving way. This method is based on the ...