depuis les années 1990, une nouvelle visée critique est venue enrichir la liste déjà riche des perspectives de recherches appliquées à la littérature. aux investigations de type historique, textuelle, sociologique, etc. est venue s’ajouter une tendance critique aux contours encore indéfinis, mais dont la volonté première est de valoriser le rapport parfois apparent, souvent implicite, entre la ...

On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...

Brittle materials fail by microcracking and fragmentation when subjected to multiaxial loading. In some cases full comminution occurs and the material behavior becomes governed by the flow of particles. In this work a granular model developed by Anand and co-workers, based on a two-mechanism elastoplastic formulation, is extended to include rate effects and incompressibility at zero void ratio....

l'importance de la traduction dans le monde moderne éclate de façon flagrante. la traduction est présente dans mille aspects de la vie quotidienne. cette omniprésence est le témoignage d'une société où se multiplient les échanges internationaux dans tous les domaines. etant donné le nombre considérable de texte à traduire dans un temps limité, on voit des traductions de mauvaise quali...

georges bernanos figure parmi les écrivains les plus importants du xxème siècle qui est récipiendaire du grand prix du roman de l'académie française pour son journal d'un curé de campagne en 1936. le journal relate l’histoire d’un curé de campagne qui ne réussit pas à établir le contact avec les paysans dont il a la charge. il est accusé d'avoir provoqué la mort de la comtesse qui s'est enfermé...

institut des sciences et techniques nucleaires de l' universite de teheran - iran pour l'etude de l'effet du temps de recouvrement 'un tripleur de tension nous avons ete conduits a fa ire une etude theorique d'ot nous avons pu tirer une relation entre le temps de recouvrement et les differents parametres de la diode prn. ainsi nous avons montre que la rapidite d'un...

tant en :union: soviétique qu’en russie nouvelle, le conflit de lois constitue la partie essentielle et en même temps la plus complexe du droit international privé. a la fin du xxe siècle, des changements substantiels et fondamentaux se sont produits dans ce domaine. cette évolution est soumise à l’influence, d’une part, des facteurs universels qui concernent la communauté internationale et, d’...

dans cet article, l'auteur tudie la creation d'une voie ferre interurbaine, de la banlieue ou urbaine, et essaie de d6terminer le nombre optimal de stations pour une longueur donnee de la ligne; compte tenue d'une repartion du trafic, ie long de la ligne en question qui est suppose etre connue. le critere d'optimalisation est le temps total perdu par l'ensemble des usag...

le gisement de pallieres(1)qui se situe dans le s. e. du massif central francais, est frome de quatre niveaux plombo-zinciferes stratiformes, repartis dans 200 m. d'epaisseur de dolomie hettangienne, la genese de ce gisement est le sujet de discussion, il y a longtemps, l. calembebt (1957) l'avait considere tin gisement hydrothermal; mais pour a. bernarti (1958) c'est un gisement...

On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...