In presenting specifications and specification properties to a theorem prover, there is a tension between convenience for the user and convenience for the theorem prover. A choice of specification formulation that is most natural to a user may not be the ideal formulation for reasoning about that specification in a theorem prover. However, when the theorem prover is being integrated into a syst...

INTRODUCTION There are many theories and frameworks for achieving knowledge translation, and the assortment can be confusing to those responsible for planning, evaluation, or policymaking in knowledge translation. A conceptual framework developed by Graham and colleagues provides an approach that builds on the commonalities found in an assessment of planned-action theories. This article describ...

This paper describes the work that we conducted for the Chinese-English (CE) task of the NTCIR-10 patent machine translation evaluation. We built standard phrase-based and hierarchical phrase-based statistical machine translation (SMT) systems with optimized word segmentation, adaptive language model and improved parameter tuning strategy. Our systems outperform official baselines by approximat...

We define a translation of Meyer and Ritchie’s Loop language into a subsystem of Gödel’s system T (with product types). Then we show that this translation actually provides a lock-step simulation if a call-byvalue strategy is assumed for system T. Some generalizations and possible applications are discussed.

Syntactic choices and complexity reduction make translation communicative for the readers. This paper underscores syntactic as well in Urdu of Punjab laws English. The study focuses on legal communication a minimalistic perspective. It draws upon theory minimalism proposed by Chomsky (1993), along with three-stage model Nida Taber (1969). Data is analyzed employing Burton’s (2021) clausal analy...

While flash-memory has been widely adopted for various embedded systems, the performance of address translation has become a critical issue for the design of flash translation layers. The aim of this paper is to improve the performance of existing designs by proposing a caching mechanism for efficient address translation. A replacement strategy with low-time complexity and low-memory requiremen...

This paper introduces a method to incorporate linguistic knowledge regarding verb forms into an stochastic machine translation model. By means of a rule-based classification of these forms, and by substituting them by the base form of the head verb during the training stage, we achieve a better statistical word alignment, which leads to a better estimate of the translation model. Furthermore, a...

In this paper, we propose a novel finetuning algorithm for the recently introduced multiway, multilingual neural machine translate that enables zero-resource machine translation. When used together with novel manyto-one translation strategies, we empirically show that this finetuning algorithm allows the multi-way, multilingual model to translate a zero-resource language pair (1) as well as a s...

Wepresent a translation that reduces epistemic operators to strategic operators in the context ofmodel checking. The translation is a refinement of the one from [7, 9], and it improves on the previous scheme in two ways. First, it does not suffer any blowup in the length of formulae (the one from [7, 9] did). Second, the new translation is defined in a more general setting: additional constrain...