Theorem 3.2 A consequence system (L,`) enjoys Craig interpolation with respect to an L-function var, if (i) there is a Craig generalized translation schema from (L,`) to another consequence system (L′,`′) with respect to var and an L′-function var′; (ii) (L′,`′) enjoys Craig interpolation with respect to var′. Proof: Let (h1, h2, h) be a Craig generalized translation schema from (L,`) to (L′,`′...

We investigate generalized quadrangles Γ that admit at least two projective axes of symmetry. We show that if there are three such axes incident with a common point x, then x is a translation point of Γ. In case that Γ is moreover a compact connected quadrangle with topological parameters (p, p), p ∈ N, then Γ is a topological translation generalized quadrangle. We further investigate the case ...

Nonlinear spatial transforms are established in feature extraction and pattern recognition. This paper describes a method for calculating the cyclic crosscorrelation with the help of generalized circular transforms. Based on the crosscorrelation property, a nonlinear translation invariant autocorrelation and a complete set of simplified translation invariants, called -spectrum, can G̃ be deduced...

Term translation probabilities proved an effective method of semantic smoothing in the language modelling approach to information retrieval tasks. In this paper, we use Generalized Latent Semantic Analysis to compute semantically motivated term and document vectors. The normalized cosine similarity between the term vectors is used as term translation probability in the language modelling framew...

This paper looks into the many-sided debate on definition and thus delimitation of translation, extending over a generalized conception translation as interlingual meaning transfer, linguistically-centered expansion modal orientation well semiotic reform translation. It is contended that many ‘expansionist’ attempts at redefining albeit bringing about refreshing departure from rigid, traditiona...

In this study we describe a syntax-based word reordering technique for n-gram-based statistical machine translation (SMT). The proposed distortion model operates with generalized unlexicalized rules and aims to order source language words so that translation is close to monotonic, simplifying the translation process. In the final step, we apply a translation units blending strategy, combining b...

A basic result in Intuitionism is Π2-Conservativity. Take any proof p in Classical Arithmetic of some Π2-statement (some arithmetical statement ∀x.∃y.P (x, y), with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ∀x.∃y.P (x, y), with P of degre...

It has been recently observed that the dynamical properties of mass action systems arising from many models of biochemical reaction networks can be characterized by considering the corresponding properties of a related generalized mass action system. The correspondence process known as network translation in particular has been shown to be useful in characterizing a system's steady states. In t...