Applying machine translation (MT) to literary texts involves the same domain shift challenges that arise for any sublanguage (e.g. medical or scientific). However, it also introduces additional challenges. One focus in the discussion of translation theory in the humanities has been on the human translator’s role in staying faithful to an original text versus adapting it to make it more familiar...

An R-module M is called strongly noncosingular if it has no nonzero Rad-small (cosingular) homomorphic image in the sense of Harada. It is proven that (1) an R-module M is strongly noncosingular if and only if M is coatomic and noncosingular; (2) a right perfect ring R is Artinian hereditary serial if and only if the class of injective modules coincides with the class of (strongly) noncosingula...

This paper generalizes the idea of strongly associative hyperoperation introduced in [7]  to the class of hyperrings. We introduce and investigate hyperrings of type 1, type 2 and SDIS. Moreover, we study some examples of these hyperrings and give a new kind of hyperrings called  totally hyperrings. Totally hyperrings give us a characterization of Krasner hyperrings. Also, we investigate these ...

The aim of this note is to study the submajorization inequalities for $tau$-measurable operators in a semi-finite von Neumann algebra on a Hilbert space with a normal faithful semi-finite trace $tau$. The submajorization inequalities generalize some results due to Zhang, Furuichi and Lin, etc..

In this paper, a commutative semigroup will be written as a disjoint union of its cancellative subsemigroups. Based on this fact we will define the left regular representation of a commutative separative semigroup and show that this representation is faithful. Finally concrete examples of commutative separative semigroups, their decompositions and their left regular representations are given.

Research on imitation in infancy has primarily focused on what and when infants imitate. More recently, however, the question why infants imitate has received renewed attention, partly motivated by the finding that infants sometimes selectively imitate the actions of others and sometimes faithfully imitate, or overimitate, the actions of others. The present study evaluates the hypothesis that t...

Based on a normal form for braid group elements suggested by Dehornoy, we prove several representations of braid groups by automorphisms of a free group to be faithful. This includes a simple proof of the standard Artin's representation being faithful.

A band is a semigroup consisting of idempotents. It is proved that for any field K and any band S with finitely many components, the semigroup algebra K[S] can be embedded in upper triangular matrices over a commutative K-algebra. The proof of a theorem of Malcev [4, Theorem 10] on embeddability of algebras into matrix algebras over a field is corrected and it is proved that if S = F ∪ E is a b...

1 Unité de Recherche Signaux et Systémes (U2S), Ecole Supérieure de la Statistique et de l’Analyse de l’Information (ESSAI), Ecole Nationale d’Ingénieurs de Tunis (ENIT), 6 Rue des Métiers, Charguia II 2035, Tunis Carthage, Ariana, Tunis 1002, Tunisia 2 Department of Statistics, Department of Environmental Earth System Science, Woods Institute for the Environment, Stanford University, Standford...

CSP++ is a tool that makes specifications written in CSPm executable and extensible. It is the basis for a technique called selective formalism, which allows part of a system to be designed in verifiable CSPm statements, automatically translated into C++, and linked with functions coded in C++. This paper describes in detail the subset of CSPm that can be accurately translated by CSP++, and how...