CAD tools for special purpose architecture usually use conventional radix 2 number system to represent integers. However, DSP designer expertise shows that redundant number systems improve the delay of arithmetic operations. In this paper, we come to the conclusion that arithmetic operator outputs have to be redundant whereas inputs have not. Therefore, an optimal design has to use mixed arithm...

Les enjeux concernant les rapports de genre deviennent plus en un objet d’interet pour sciences sociales partout dans institutions d’investigation. Une question reste pourtant a etre exploree : comment cosmologies non-occidentales percoivent le tant qu’une categorie construction sociale ? Marilyn Strathern soulignait deja annees 1980, au fils son ouvrage The Gender of the Gift (1988), que conce...

Introduction La sante est definie par l’Organisation mondiale de la (OMS) comme « un etat bien-etre physique, mental et social complet ne consiste pas seulement en une absence maladie ou d’infirmite » (OMS, 1946). Cette definition souligne les interactions toute serie d’elements autres que physiologiques pour concourir a un « etat social ». complexite se situe alors au niveau ces interactions, ...

Ce nouvel ouvrage de J. Yacoub a destination du grand public est une invitation (re)decouvrir l’une des facettes moins connues la culture Moyen-Orient : le patrimoine syriaque. Deux parties structurent reflexion. La premiere un rappel grands evenements religieux et l’histoire chretiens syriaques, depuis les conciles IVe siecle. presentation Pentarchie (patriarcats Rome, Antioche, Alexandrie, Je...

We consider \Lagrangian" reduced-basis methods for single-parameter symmetric coercive elliptic partial di erentialequations. We show that, for a logarithmic-(quasi-)uniform distributionof sample points, the reduced{basis approximation converges exponentially to the exact solution uniformly in parameter space. Furthermore, the convergence rate depends only weakly on the continuity-coercivity ra...

Inductive Logic Programming, which consists in learning clauses from examples, can be viewed as a cycle conception/validation leading to the acceptance of the induced program provided that it fulllls a certain criterion. We focus on the validation step in the context of empirical multi-predicate learning of normal clauses. Thanks to a compositional semantics, the classical validation step of th...

We consider cellular automata on Cayley graphs and compare their computational powers according to the architecture on which t h e y work. We show that, if there exists a homomorphism with a nite kernel from a group into another one such that the image of the rst group has a nite index in the second one, then every cellular automaton on the Cayley graph of one of these groups can be uni-formall...

This paper presents an (innnite dimensional) geometric framework for control system, based on innnite jet bundles, where a system is represented by a single vector eld and dynamic equivalence (to be precise : equivalence by endogenous dynamic feedback) is conjugation by diieomorphisms. These diieomorphisms are very much related to Lie-BB acklund transformations. It is proved in this framework t...

This paper demonstrates a method of extracting programs from formal deductions represented in the Edinburgh Logical Framework, using the Elf programming language. Deductive systems are given for the extraction of simple types from formulas of rst-order arithmetic and of-calculus terms from natural deduction proofs. These systems are easily encoded in Elf, yielding an implementation of extractio...

Le centenaire du congres de Tours a vu la parution plusieurs publications. Il peut paraitre paradoxal rediger un compte rendu d’un catalogue d’une exposition (prevue initialement 1er octobre 2020 au 31 janvier 2021 musee l’Histoire vivante Montreuil) que pandemie Covid oblige fermer ses portes bout mois. L’annee 2020, annee commemoration Tours, aurait etre ponctuee par expositions comme celle M...