At the Computer Assurance COMPASS con ference Voas and Miller presented a technique for as sessing the failure tolerance of a program when the pro gram was executing in unlikely modes with respect to the expected operational pro le In that paper several preliminary algorithms were presented for inverting op erational pro les to more easily distinguish the unlikely modes of operation from the li...

We discuss the existence and the asymptotic stability of shock prooles associated to nite diierence schemes. Assuming that the shock is stationnary, we look for steady solutions of the scheme. There are strong resemblances with traveling waves obtained by means of a parabolic approximation (the so-called viscous prooles). However, main diierences occur when the shock is under-compressive, these...

introduction: the osteopetrosis is a common disease in man and animals which is characterized by calcium accumulation in bones. the purpose of this study is to eveluate the osteoblast ultrastructure in osteoptrotic op/op mouse. material and methods: in this study 5 op/op (experimental) and 5 control mouse were killed by overdose of choloroform. their femur bones were taken, decalcified by edta,...

automates des langages de mots habituels, aux langages d'ensembles par-tiellement ordonn es s erie-parall eles, ou sp-langages. Nous utilisons les pro-pri et es alg ebriques de l'ensemble des ensembles s erie-parall eles pour etudier une notion de reconnaissabilit e bas ee sur les congruences d'indice ni, et une notion de r egularit e bas ee sur une nouvelle classe d'automates, appel es automat...

Résumé : Une ontologie pour la prise en charge de l’hypertension est construite pour assister l’analyse qualitative des décisions médicales dans un service spécialisé en hypertension artérielle. La modélisation s’appuie sur trois sources complémentaires. La structure de l’observation médicale informatisée utilisée dans l’unité fournit directement des concepts fondamentaux pour la prise en charg...

Que signifie produire de la théorie ? Si les diverses méthodes recherche ont reçu une attention considérable dans littérature scientifique, nature même production théorique qui en résulte est assez largement passée sous silence. L’objectif cet article donc d’éclaircir ce sujet montrant, à partir travaux issus des sciences g...

automates des langages de mots habituels, aux langages d'ensembles par-tiellement ordonn es s erie-parall eles, ou sp-langages. Nous utilisons les pro-pri et es alg ebriques de l'ensemble des ensembles s erie-parall eles pour etudier une notion de reconnaissabilit e bas ee sur les congruences d'indice ni, et une notion de r egularit e bas ee sur une nouvelle classe d'automates, appel es automat...

1. Nous pouvons trouve une correlation precise entre les dosage de la renine et les aspects angiographiques uniquement dans les cas d'hypertension arterielle nephro­vasculaire·. 2. Cette correlation est importante pour deci. <l_er d'une="" intervention="" chirurgicale="" surtout="" en="" cas="" de="" lesion="" monolaterales,qui="" datent="" peu="" temps="" et="" qui="" ont="" valeurs="" ren...