Statistical machine translation (SMT) has, in recent years, improved the accuracy of automated translations. However, SMT systems often fail to deliver human quality translations especially with complex sentences and distant language pairs. Current SMT systems often focus on translating single sentences with clauses being treated in isolation, leading to a loss of contextual information. Discou...

Language resource quality is crucial in NLP. Many of the resources used are derived from data created by human beings out of an NLP context, especially regarding MT and reference translations. Indeed, automatic evaluations need highquality data that allow the comparison of both automatic and human translations. The validation of these resources is widely recommended before being used. This pape...

Testicular fine needle aspiration (TFNA) has proven to be a simple and minimally invasive procedure, which allows assessments of cytological parameters of seminiferous epithelium/tubules more accurately in a short time. Though this technique does not cause negative effects on sperm quality or any damage to testicular tissue, its use is very limited in male animal infertility diagnostics. Report...

The problem of partitioning an assembly of polyhedral objects into two subassemblies that can be separated arises in assembly planning. We describe an algorithm to compute the set of all translations separating two polyhedra with n vertices in O(n*) steps and show that this is optimal. Given an assembly of k polyhedra with a total of n vertices, an extension of this algorithm identifies a valid...

The reasons for translating a description of a model in one notation into another are reviewed This includes both translating en tire models and describing di erent aspects of a system using di erent notations In order to demonstrate the ideas the VeriTech framework for translation is described A system being analyzed is seen as a collection of versions along with a description of how the versi...

In this paper, we propose a new proof method for strong normalization of calculi with control operators, and, by this method, we prove strong normalization of the system λμ→∧∨⊥ , which is introduced in [3] by de Groote and corresponds to the classical natural deduction with disjunctions and permutative conversions by the Curry-Howard isomorphism. For our method, we introduce a new CPS-translati...

The existence of cultural gaps causes problems in translation process and harms the aesthetic aspects of texts. In this paper, it was tried to recognize the factors which cause inconsistency between the style of original lyrics and its translations and also find out which translation strategies increase the rate of this distortion. The framework of the study was translation quality assessment b...