Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...

Le tératome rétro péritonéal de l'adulte est une entité très rare, sa découverte tardive s'explique par la pauvreté des signes cliniques et sa localisation rétro péritonéale profonde. Nous rapportons le cas d'une jeune patiente de 40 ans qui a consulté dans notre établissement pour des lombalgies gauches, sensation de pesanteur et une voussure abdominale, l'examen clinique retrouve une patiente...

Le présent article a pour objectif de décrire certains éléments la problématique soulevée par question nature du style d’apprentissage. Les nombreux modèles développés au cours des années les chercheurs et praticiens ont donné lieu à conceptions fort diverses parfois contradictoires. Cette est analysée selon six aspects notion d’apprentissage : sa définition, multidimensionnalité, valeur relati...

Dans cet article, nous proposons une approche originale d’analyse des Systèmes de Gestion de Connaissances (SGC) basée sur un rapprochement avec la notion de document numérique. Dans un premier temps, nous abordons les théories en rapport avec le document numérique sur lesquelles nous nous appuyons. Ainsi, nous introduisons la notion de document et ses reformulations par son passage au numériqu...

Cet article se propose de mettre en perspective pour les systèmes informatiques dits « critiques » les problématiques de résistance à la cybercriminalité (dont l'origine est donc une action humaine avec intention de nuire), et de faculté à éviter des comportements catastrophiques suite à des événements d'autre origine, pouvant être des défaillances internes des composants matériels, des perturb...

Résumé Au cours des deux dernières décennies, on note une forte croissance de la recherche sur l'interprétation en langue chinoise (RIC), comme en témoigne le nombre d'articles publiés. Le présent article adopte une approche scientométrique pour analyser la production, les thèmes et les influences théoriques dans ces articles au fil du temps. Les auteurs, les universités et les régions les plus...

Résumé. Actuellement, le clustering de flux de données devient le moyen le plus efficace pour partitionner un très grand ensemble de données. Dans cet article, nous présentons une nouvelle approche topologique, appelée G-Stream, pour le clustering de flux de données évolutives. La méthode proposée est une extension de l’algorithme GNG (Growing Neural Gas) pour gérer le flux de données. G-Stream...

Depuis son émergence, au début des années 1990, dans les recherches en modélisation de connaissances, la notion d’ontologie s’est rapidement diffusée dans un grand nombre de domaines de recherche en informatique. Compte tenu du caractère très prometteur de cette notion, de nombreux travaux ont visé à permettre son utilisation dans des domaines aussi divers que le traitement automatique de la la...

L’extraction d’informations à partir de messages électroniques (mails) n’a pas été très étudiée dans la communauté du TAL1. Ceci est dû principalement à la présentation informelle des mails et à leurs faibles apports d’informations. Cependant, les mails peuvent être parfois la principale source de connaissances pour une organisation ou une communauté de pratique (CoP). C’est le cas d’@pretic2 q...