pour la première fois un philosophe traductologue, antoine berman, offre ses expériences basées sur l‟école de la traduction des romantiques allemands. ses cours sont publiés plus tard dans un livre intitulé la traduction et la lettre ou l’auberge du lointain (1999). au contraire des théoriciens traditionnels qui voulaient la restitution embellissant du sens et les analystes de certaines traduc...

1 1 Centre interuniversitaire de recherche sur les réseaux d'entreprise, la logistique et le transport Résumé. Cet article décrit un algorithme de résolution heuristique pour le problème de conception de réseaux de distribution de contenu électronique. Pour chaque serveur-mandataire préalablement localisé, le contenu à reproduire doit être sélectionné pour permettre de le rapprocher le plus pos...

Circus is a state-rich process algebra for refinement based on Z and CSP. In previous work, we have defined a testing theory for Circus, and some selection criteria based on its exhaustive test set. Here, we consider a different class of criteria, based on the text of the models, rather than directly on their operational semantics. In particular, we consider data-flow based coverage. In adaptin...

Les argiles sont les roches sédimentaires les plus répandues dans l’environnement des hydrocarbures, et forment souvent la roche mère et la roche des pièges pétrolifères. En raison de la structure en plaques des grains, les argiles sont généralement anisotropes. Dans le présent article, nous calculons les formes d’onde sismiques pour des argiles fortement anisotropes en employant la théorie asy...

Reproduction partielle permise avec citation du document source, incluant la notice ©. Short sections may be quoted without explicit permission, if full credit, including © notice, is given to the source. Les cahiers de la série scientifique (CS) visent à rendre accessibles des résultats de recherche effectuée au CIRANO afin de susciter échanges et commentaires. Ces cahiers sont écrits dans le ...

ion de prédicats L’abstraction de prédicats peut être utilisée pour améliorer l’analyse d’accessibilité. Elle consiste à analyser la valeur de vérité d’un ensemble de prédicats plutôt que de calculer des ensembles d’état continus [6, 5]. Des techniques de raffinement guidées par les contre-exemples [30] sont une autre application importante de cette approche. Ces techniques ont été utilisées da...

Cet article étudie les schémas de routage compacts qui sont très efficaces en termes de mémoires utilisées pour le stockage des tables de routage dans les graphes de type Internet. Nous proposons un nouveau schéma de routage compact avec indépendance des noms, dont la mémoire moyenne par nœud est prouvée comme étant bornée par √ n, et pour lequel l’étirement maximum de toute route est au plus 7...

We obtain estimates for the consistency errors arising in general shell element procedures, which are widely used in engineering practice. These estimates improve a previous result by the same authors. Moreover, numerical experiments indicate that these new estimates are optimal. Further, we introduce a modified procedure for which nominal convergence is recovered. These results are of much pra...

A general framework is presented for examining the effects of channel type and associated hydraulic roughness on salmonid spawning-gravel availability in mountain catchments. Digital elevation models are coupled with grain-size predictions to provide basin-scale assessments of the potential extent and spatial pattern of spawning gravels. To demonstrate both the model and the significance of hyd...