Au Canada, les maladies chroniques, notamment les maladies cardiovasculaires, le diabète, les maladies respiratoires, les maladies mentales et le cancer, sont les principales causes d’incapacité et de décès prématuré. Le traitement des maladies chroniques consomme 67 % de l’ensemble des dépenses directes en soins de santé et coûte à l’économie canadienne 190 milliards $ par année, dont 68 milli...

Résumé L. P. Monts — Conflit, accommodation et transformation : effet de l'islam sur la musique des sociétés secrètes vaï. Les associations 6éli et sàndè étaient au centre de la vie sociale vaï et les changements extrinsèques affectant leur structure ont eu un impact significatif sur la musique accompagnant leurs rites et cérémonies. Au début du prosélytisme manding chez les Vaï, l'islam et les...

A partir des travaux pionniers d’Hubert et Wiesel, une grande majorité des systèmes de reconnaissance à base de caractéristiques sont modélisés à partir de familles de filtres de type passe-bande orienté (Gabor 2D, dérivées de fonctions gaussiennes, ...) selon des stratégies de codage inspirées de celles du cortex visuel. De nombreuses études [2, 8, 14, 16] montrent que ces détecteurs corticaux...

Résumé : De nos jours, les ontologies sont souvent développées de manière multilingue. Cependant, pour des raisons historiques, dans le domaine biomédical, de nombreuses ontologies ou terminologies ont été traduites d'une langue à une autre ou sont maintenues explicitement dans chaque langue. Cela génère deux ontologies potentiellement alignées mais avec leurs propres spécificités (format, déve...

The use of formal ADL like Wright is critically dependent on the tools that are made available to architects. The Wr2fdr tools accompanying the formal Wright ADL provides translation to Wright to CSP. Wr2fdr automates four standard properties concerning consistency Connectors (properties 2 and 3), Component (a property 1) and Configuration Management (Property 8) Wright using the model checker ...

Résumé. La technique des motifs fréquents a été utilisée pour améliorer le pouvoir prédictif des stratégies quantitatives. Innovant dans le contexte des marchés financiers, notre méthode associe une signature aux configurations de marché fréquentes. Un système de « trading » automatique sélectionne les meilleures signatures par une procédure de « back testing » itérative et les utilise en combi...

RÉSUMÉ.Dans cet article, nous étudions les jeux d’accessibilité généralisée : ce sont des jeux à deux joueurs à somme nulle, pour lesquels l’objectif du premier joueur, Ève, est donné par une conjonction d’objectifs d’accessibilité. Dans un premier temps, nous montrons que le problème de décider si Ève a une stratégie gagnante est PSPACE-complet, mais polynomial en fixant pour paramètre le nomb...

Présentée devant L’INSTITUT NATIONAL DES SCIENCES APPLIQUÉES DE LYON Pour obtenir LE GRADE DE DOCTEUR École Doctorale: ELECTRONIQUE, ELECTROTECHNIQUE, AUTOMATIQUE (E.E.A.) Spécialité: GÉNIE ELECTRIQUE par Nan Li ————————————————————————————————————— Digital Control Strategies for DC/DC SEPIC Converters towards Integration Stratégies de Commande Numérique pour un Convertisseur DC/DC SEPIC en vue...

Cet article compare les statistiques de consultation des principales bibliothèques numériques, interroge sur l’existence d’une relation entre le volume des entrepôts numériques et la visibilité sur Internet de chaque document numérisé, et analyse les conséquences des stratégies de diffusion des bibliothèques numériques françaises. Les données statistiques ont été obtenues par des moyens classiq...