This article describes the design and implementation of CACAO, a just in time compiler for Java. The CACAO system translates Java byte code on demand into native code for the ALPHA processor. During this translation process the stack oriented Java byte code is transformed into a register oriented intermediate code. Local variables and stack locations are replaced by pseudo registers eliminating...

FaDA1 is a free/open-source tool for aligning multilingual documents. It employs a novel crosslingual information retrieval (CLIR)-based document-alignment algorithm involving the distances between embedded word vectors in combination with the word overlap between the source-language and the target-language documents. In this approach, we initially construct a pseudo-query from a source-languag...

In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be handled by a standard SAT-solver. We show that by applying a proper mix of translation techniques, a SAT-solver can perform on a par with the best existing native pseudo-boolean solvers. This is particularly valuable in...

For a transversal pair of closed Lagrangian submanifolds L, L of a symplectic manifold M so that π1(L) = π1(L′) = 0 = c1|π2(M) = ω|π2(M) and a generic almost complex structure J we construct an invariant with a high homotopical content which consists in the pages of order ≥ 2 of a spectral sequence whose differentials provide an algebraic measure of the highdimensional moduli spaces of pseudo-h...

Pseudo-Boolean formulas consist of constraints of the form ∑i=1 wi · xi k, where xi are propositional literals, wi ∈ Z, k ∈ Z, and arise in planning, scheduling and optimization problems. We describe an efficient and easily verifiable decision procedure for pseudo-Boolean formulas, that is based on encoding PB formulas into the propositional satisfiability problem with the cutting-edge sequenti...

Pseudo-Ovid is one of the more prolific authors of the high Middle Ages. Put differently, the Roman poet Ovid was liked so much that he was often imitated by authors whose names we do not know, but who were successful enough in their efforts to be judged worthy of being transmitted with the genuine poems of Ovid. In some instances, it was not before the nineteenth or even the twentieth century ...

Translation techniques are often employed by cross-lingual ontology mapping (CLOM) approaches to turn a cross-lingual mapping problem into a monolingual mapping problem which can then be solved by state of the art monolingual ontology matching tools. However in the process of doing so, noisy translations can compromise the quality of the matches generated by the subsequent monolingual matching ...

relative to a hereditary torsion theory $tau$ we introduce a dimension for a module $m$, called {em $tau$-rank of} $m$, which coincides with the reduced rank of $m$ whenever $tau$ is the goldie torsion theory. it is shown that the $tau$-rank of $m$ is measured by the length of certain decompositions of the $tau$-injective hull of $m$. moreover, some relations between the $tau$-rank of $m$ and c...

This article gives an up-to-date account of the theory of discrete group actions on non-Riemannian homogeneous spaces. As an introduction of the motifs of this article, we begin by reviewing the current knowledge of possible global forms of pseudoRiemannian manifolds with constant curvatures, and discuss what kind of problems we propose to pursue. For pseudo-Riemannian manifolds, isometric acti...