We automatically predict the maximal number of rule applications, i.e. worst-case derivation lengths of computations, in rule-based constraint solver programs written in the CHR language. The derivation lengths are derived from rankings used in termination proofs for the respective programs. We are especially interested in rankings that give us a good upper bound, we call such rankings tight. W...

The direct numerical simulation of two-phase flows with interface capturing methods La simulation numérique directe des écoulements diphasiques avec les méthodes de capture d'interface écoulements macroscopiques dans lesquels les échelles de longueur et les vitesses sont grands.

Estimating the catch-at-age of commercial fish species is an important part of the quota-setting process for many different species and almost all countries with a fishing fleet. Current procedures are usually very timeconsuming and somewhat ad hoc, and the estimates have no measure of uncertainty. We previously developed a method for catch-at-age of Norwegian Atlantic cod (Gadus morhua), but t...

Résumé Introduction: L'hémodialyse est le seul traitement de substitution rénale disponible au Cameroun; elle est subventionnée à 95% par l'Etat depuis 2002 et le nombre de centre de dialyse va croissant. Cependant, depuis l'ouverture du premier centre en 1990, aucune donnée n'existe sur la survie des hémodialysés chroniques. Méthodes: Nous avons conduit une étude de cohorte prospective multice...

Jeune fille âgée de 14 ans, présentant une déformation de la cuisse droite évoluant depuis l'âge de 2 ans et d'aggravation progressive. L'examen clinique a trouvé des sclérotiques bleus et une déformation de la cuisse droite avec une inégalité de longueur de 5 cm. La radiographie de la cuisse a objectivé une déformation historique du fémur, avec épaississement des corticales et comblement du ca...

Little is known of wood properties in trees that were initially suppressed and subsequently released from suppression. The purpose of this study was to assess differences in growth ring width, specific conductivity (Ks), tracheid dimensions, moisture content, and wood density in suppressed Douglas-fir (Pseudotsuga menziesii (Mirb.) Franco) and western hemlock (Tsuga heterophylla (Raf.) Sarg.) t...

RÉSUMÉ. Dans cet article, nous nous intéressons à la recherche d’information en Français. Nous analysons différentes techniques d’indexation (basées sur des lemmes, des radicaux ou des termes) et leur fusion. Nous analysons également l’influence de la prise en compte des différentes parties d’une requête. Notre étude porte sur 6 campagnes d’évaluation de CLEF Français. Nous montrons que l’utili...

On considère la régression au sens des moindres carrés avec des entrées dans X = R et des sorties réelles bornées : Y = [−B,B] pour B > 0 et `(y, y′) = (y − y′)2. Une fonction cible est donc f(x) = E[Y |X = x]. On considère un ensemble d’entrâınement Dn = {(X1, Y1), . . . , (Xn, Yn)}. Principe des méthodes par moyennage local : Prédire par la moyenne pondérée des Yi pour des Xi voisins de x. On...

Surplus production represents the processes that affect sustainable fishery harvest and is central to the ecology and management of marine fishes. Taxonomy and life history influence the ratio of spawning biomass at maximum sustainable yield to average unfished spawning biomass (SBMSY/SB0), and estimating this ratio for individual stocks is notoriously difficult. We use a database of published ...

Introduction: le syndrome métabolique constitue de nos jours un véritable problème de santé publique. Le syndrome métabolique est le moteur d’une double épidémie mondiale de diabète type II et de maladies cardiovasculaires. L’objectif de notre étude est de décrire les aspects épidémiologiques, cliniques, para cliniques et évolutifs chez les hypertendus dans le service de Cardiologie du CHU Yalg...