Dependently typed lambda calculi such as the Edinburgh Logical Framework (LF) are a popular means for encoding rule-based specifications concerning formal syntactic objects. In these frameworks, relations over terms representing formal objects are naturally captured by making use of the dependent structure of types. We consider here the meaning-preserving translation of specifications written i...

the present article reports a study carried out to investigate whether or not awareness of functional translation theories has any impact on the translation quality of translator trainees. 2oo iranian undergraduate students took part in this study. they were divided into four groups -two- experimental and two control groups. after homogenizing the participants by a toefl test, a translation pre...

Abstract We use the method of characteristic sets with respect to two term orderings prove existence and obtain a computation bivariate Kolchin-type dimension polynomial associated non-reflexive difference-differential ideal in algebra polynomials several basic derivations one translation. In particular, we new proof prime difference over an ordinary field. As consequence, it is shown that refl...

in this article the possible effects of the translation technologies on the critical thinking and translation ability of the students of the translation studies would be studied through a pre-experimental method of research. the participants of this research were thirty one iranian senior translation studies students at the age group of 20-26 who were selected based on their age, educational le...

In the paper frequency domain Super−Resolution algorithm with enhanced reconstruction stage is presented. The Fourier transform properties of relocated images are used to easy estimation of rotation and translation, as well as artifacts caused by subsampling. Previously, the bicubic interpolation has been employed in the reconstruction phase, in this paper it is replaced by iterative conjugate−...

Methods for rendering falling snow typically use particle systems [Reeves 1983] which requires tens of thousands of particles (snowflakes) and thus can be expensive. Here we present an alternative method for rendering falling snow which does not use particles, and instead uses an inverse Fourier transform. Our idea is based on a well-known fact that pure image translation with velocity (vx,vy) ...

For a family of weight functions, hκ, invariant under a finite reflection group on R, analysis related to the Dunkl transform is carried out for the weighted L spaces. Making use of the generalized translation operator and the weighted convolution, we study the summability of the inverse Dunkl transform, including as examples the Poisson integrals and the Bochner-Riesz means. We also define a m...

— Dans cet article, nous proposons une méthode pour le calcul des modèles dynamiques inverse et direct de l'Orthoglide, un robot parallèle à trois degrés de liberté en translation. Ces modèles sont calculés à partir des éléments du modèle dynamique de la structure d'une chaîne cinématique et des équations de Newton-Euler appliquées à la plate-forme. Ces modèles sont obtenus sous forme explicite...