Le programme d'analyse~ dont nous allons d~finir ici une partie, fait partie d'un programme de traduction automatique de l'allemand en d'autres langues choisies ~ volont~. Nous prendrons pour base une forme du programme id~alis~e, qui sans consideration de la capacit~'limit~e de l'ordinateur explique toutes les differences des constructions allemandes entre elles. De cette mani~re on dolt regar...

A package of simulation models has been developed to study the hydrological processes controlling runoff and to predict flow hydrographs in the Indian arid zone. The models describe rainfall-runoff in the upland phase and the interaction between runoff and transmission losses in the channel phase, so as to derive the drainage basin outflow hydrograph. In the upland phase the rising limb of the ...

RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...

Résumé L'atteinte de la valve tricuspide a été longtemps négligée aussi bien par cardiologue que par le chirurgien, mais depuis quelques années, la fuite tricuspidienne a été démontrée comme un facteur pronostic dans l'évolution des patients opérés d'une valvulopathie du c'ur gauche. Plusieurs techniques de plastie tricuspide ont été développées et les études publiées divergent sur les résultat...

Selon les données récentes publiées par le Centre International de Recherche sur le Cancer (CIRC), 60 % des cancers et 65 % des décès par cancer surviennent dans les pays en développement (PED). On prévoit que les pays à faibles ressources seront confrontés à la plus forte augmentation de l’incidence des cancers dans les prochaines décennies. Sur la totalité de ces cancers, la fraction attribua...

CONCLUSION  Apres avoir discute l'etiologie et la pathogenie de la maladie de Beh<;et, nous avons essaye de trai­ter trois patients atteints de cette maladie, par Jes immunosuppresseurs.  Les resultats ont etc les suivants:  I -Dans un cas le resultat est excellent; Ia vision est presque normalisee.  2 -Le deuxieme cas montre une amelioration partielle de la vision depuis 3 ans, sans aucune...

georges ohnet et jules verne comptent parmi les romanciers célèbres de la deuxième moitié du xixe siècle, verne étant plus connu et le plus universel, bien entendu. tous deux sont considérés comme des romanciers populaires, le deuxième dans le genre du roman d’anticipation et d’aventures et le premier dans celui du roman de mœurs. les deux étaient influencés par le plus grand phénomène du siècl...

Dans cet article, nous présentons le projet d'opéra interactif sur CD-ROM Virtualis. Ce projet comporte une dimension scientifique aussi bien qu'artistique. Il nous a donné l'occasion de concevoir une modélisation de la représentation d'opéra en utilisant des formalismes des sciences de l'organisation. De plus, notre réflexion sur l'interaction entre un utilisateur et des contenus opératiques n...

On considère des réseaux de Petri colorés, à contraintes linéaires et pouvant posséder des arcs de lecture. Sur cette classe, on définit une sémantique concurrente en termes de processus d’ordre partiel permettant de garder explicite l’indépendance entre des tirs de transitions. L’ensemble des processus peut être représenté en utilisant la notion de dépliage symbolique. Nous montrons alors comm...

Dolly Varden char (Salvelinus malma) and bull trout (Salvelinus confluentus) hybridize in areas of secondary contact in northwestern North America but maintain their genetic integrity in spite of gene flow. We examined juvenile stream ecology and adult reproductive ecology of these species in sympatry to test for specializations to alternative niches that may act as a basis for natural selectio...