The incorrect use of pointers is one of the most common source of bugs in imperative languages. In this context, any kind of static code checking capable of detecting potential bugs at compile time is welcome. This paper presents a static debugging technique for the detection of incorrect accesses to memory (dereferences of invalid pointers). The analysed language is a subset of C. The tool is ...

We consider a quadratic optimal control problem governed by a nonautonomous affine differential equation subject to nonnegativity control constraints. For a general class of interior penalty functions, we show how to compute the principal term of the pointwise expansion of the state and the adjoint state. Our main argument relies on the following fact: If the control of the initial problem sati...

Two procedures that guarantee the property of additivity among the components of tree biomass and total tree biomass utilizing nonlinear functions are developed. Procedure 1 is a simple combination approach, and procedure ‘2. is based on nonlinear joint-generalized regression (nonlinear seemingly unrelated regressions) with parameter restrictions. Statistical theory is given for construction of...

Cet article aborde la problématique de l'annotation automatique d'un corpus d'apprenants d'anglais. L'objectif est de montrer qu'il est possible d'utiliser un étiqueteur PoS pour annoter un corpus d'apprenants afin d'analyser les erreurs faites par les apprenants. Cependant, pour permettre une analyse suffisamment fine, des étiquettes fonctionnelles spécifiques aux phénomènes linguistiques à ét...

Résumé. Nous présentons un algorithme génétique semi-interactif de sélection de dimensions dans les grands ensembles de données pour la détection d'individus atypiques (outliers). Les ensembles de données possédant un nombre élevé de dimensions posent de nombreux problèmes aux algorithmes de fouille de données, une solution est d'effectuer un pré-traitement afin de ne retenir que les dimensions...

RÉSUMÉ Cet article présente une méthode d’étiquetage de vidéos collectées sur une plate-forme de partage de vidéos. Cette méthode combine un système de reconnaissance de la parole, qui extrait les contenus parlés des vidéos, et un module d’extraction de mots-clefs opérant sur les transcriptions automatiques. La difficulté majeure, dans cette caractérisation de vidéos par un ensemble de mots-cle...

Les erreurs médicamenteuses constituent une complication très redoutable en anesthésie. La fréquence des erreurs médicamenteuses par administration serait de l'ordre 1/10 000 à 1/1000. Nous rapportons un cas d'injection accidentelle de bupivacaine en intraveineuse directe. Il s'agissait d'un jeune patient classé ASA I qui était prévu pour cure chirurgicale d'une hydrocèle unilatérale sous rachi...