Sous-typage
Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants
... Dans le developpement de l’approche du sous-typage coercitif, on peut distin- guer deux grandes directions. Concernant la première [LMS95, SMMS91, SP94], les termes de coercions possèdent des propriétés ...
246
Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes
... 87 Chapitre 6 De la vérification de types aux contraintes Récapitulons notre parcours jusqu’à présent. Nous avons introduit un langage et sa sémantique non typée (chapitres 1 et 2). Puis, nous avons donné un système de ...
127
Un modèle de mélange à poids logistique parcimonieux pour le sous-typage de maladies à partir de données cliniques et génétiques
... Organization of the paper Section 2 gives an overview of different strategies that may be used for disease subtyping with different sources of information. Section 3 proposes a framework[r] ...
19
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation
... La mémoïsation possible grâce au graphe, concernant uniquement les contraintes reliant une variable de type avec un type construit ou avec une autre variable de type, permet donc très ra[r] ...
231
évaluation de efficacité des implémentations de l'héritage multiple en typage statique
... le typage dynamique, dans un cadre adaptatif. En typage statique, le compilateur Polyglot [Nystrom et ...de sous-typage lorsqu’ils s’appliquent `a des interfaces [Alpern et ...les ...
15
Facilités de typage pour l'ingénierie des langages
... 4 Typage de modèles L’ingénierie dirigée par les modèles est intrinsèquement liée aux concepts du paradigme ...abstraite sous la forme d’un graphe de ...de sous-typage entre groupes de ...de ...
193
Typage et contrôle de la mobilité
... nouveau typage pour le ...le typage permettra d’éviter, on décrira la syntaxe formelle de pré-types récursifs, comportant notamment les sommes ...décrire sous quelles conditions ces pré-types sont ...
184
Caractérisation des souches de Pseudomonas aeruginosa isolées des patients atteints de la fibrose kystique par différentes méthodes de typage
... aeruginosa isolées des PFK par différentes méthodes de typage nous a permis de montrer la nécessité du typage moléculaire et de proposer la PCR à amorce arbitrai[r] ...
110
Essai exploratoire sur l’utilisation du système de typage d’Eiffel dans la définition d’un nouveau langage de base de données relationnelle
... plus que la classe RELATION. Son introduction ici vise plutôt à montrer le cas « minimal » d’héritage. (Des exemples plus intéressants seront donnés plus loin dans cette section.) Supposons que la classe RELATION_1 est ...
35
Caractérisation d'un anticorps monoclonal anti-cytokératines pour le typage de cellules épithéliales humaines
... 2.3 Production d'anticorps monoclonaux Sur une période de 3 mois, 3 immunisations intra-péritonéales ont été faites chez des souris BALB/c avec 1 x 10^ cellules de tumeurs primaires mammaires humaines dans de 11 ...
64
Apport du séquençage nouvelle génération au typage MLST de Pneumocystis jirovecii dans le cadre d'une épidémie chez des patients transplantés d'organe solide
... 88 C ONCLUSION Le typage par Multilocus Sequence typing (MLST), basé sur l’analyse de séquences nucléotidiques, est à la fois précis et discriminant. Cette technique représente actuellement la méthode de ...
101
Détection et typage de salmonelles dans les élevages familiaux de volailles et porcs dans la région « Libertador General Bernardo O ́Higgins » au Chili
... Les salmonelles sont des entérobactéries aéro-anaérobies facultatives, gram - présentes chez l’animal mais aussi chez l’Homme. Elles fermentent le glucose en produisant souvent du gaz, réduisent les nitrates en nitrites ...
60
Virus entériques transmissibles par voie alimentaire : détection, typage, pouvoir infectieux et nouvelles technologies
... Le virus de l’hépatite A est divisé en trois génotypes humains, chacun subdivisé en deux sous-types (IA et IB, IIA et IIB, IIIA et IIIB). En épidémiologie clinique, le génotypage des souches de VHA est réalisé en ...
272
Les bacilles tuberculeux circulants au Maroc pendant la période 2010-2012: caractérisation phénotypique de la résistance et typage moléculaire.
... deux sous-lignées CAS1-Delhi (SIT26) observée majoritairement en Inde [Bhanu et ...les sous familles de EAI présentent une géospécificité plus réduite à l’intérieure de ces zones ...les sous-régions ...
223
Repérage et typage d'expressions temporelles pour l'annotation sémantique automatique de pages Web - Application au e-tourisme
... temporelles sous- spécifiées (par exemple la semaine dernière) et de faire des raisonnements sur la durée des ...discours, sous la forme d'un texte narratif dans lequel plusieurs événements seraient ...
216
Nouvelle paramétrisation sous-maille et sous-nuageuse des précipitations
... campagne DYCOMS-II indiquent des zones locales de fortes quantités de bruine pouvant dépasser 0.5 mm/jour. La formation de cellules ouvertes provient directement de la formation de bruine dans certaines régions du ...
292
Dysidrose palmo-plantaire sous sous le kaleidoscope.
... Lors de l’apparition des vésicules, le prurit ou une sensation de cuisson est parfois intense. Le devenir des vésicules est très variable. Souvent, elles restent discrètes et se dessèchent rapide- ment sous forme ...
5
Sous le sol.
... 22 montre que l’expansion débridée de la ville en surface a également eu un impact souterrain par le besoin d’infrastructures hydrauliques et électriques pour chaque habitation individuelle. Développant le concept ...
9
Cristallisation sous contrainte du caoutchouc naturel en fatigue et sous sollicitation multiaxiale
... 1. Le choix des vérins et des différents éléments électroniques de contrôle. Nous avons retenu un système de quatre vérins linéaires de traction - compression. La charge maximale des vérins est ±500 N et leur course est ...
169
Couplage de la gestion de la maintenance et la gestion de la production sous contrainte de sous-traitance
... Ensuite, avant de commencer à étudier les différentes politiques de maintenance intégrées sous contrainte de sous-traitance, nous avons souhaité prouver la pertinence et l’efficacité du[r] ...
165