Publications

• Article dans une revue

<inline-formula> <tex-math notation="LaTeX">$H\infty$</tex-math> </inline-formula> LMI-Based Observer Design for Nonlinear Systems via Takagi–Sugeno Models With Unmeasured Premise Variables

Thierry-Marie Guerra, Raymundo Márquez Borbόn, Alexandre Kruszewski, Miguel Bernal

This paper is concerned with state estimation for continuous-time nonlinear systems. By means of a polytopic exact representation of the system using interpolation functions whose premise variables can be unmeasured, the differential mean value theorem and a quadratic Lyapunov function are used to…

• Article dans une revue

Automatic Hand Detection in Color Images based on skin region verification

Sofiane Medjram, Chaouki Babahenini, Yamina Mohamed Ben Ali, Abdelmalik Taleb-Ahmed

Among the modern means of communications that appeared recently, there is the natural computer interaction using hands. Several methods have been proposed for their detection in the literature, and the common methods are based on skin color. The majority of these methods perform on images…

Multimedia Tools and Applications, 2018, 77 (11), pp.13821-13851. ⟨10.1007/s11042-017-4995-0⟩. ⟨hal-03428499⟩

• Article dans une revue

FPGA-Centric Design Process for Avionic Simulation and Test

Rabie Ben Atitallah, Venkatasubramanian Viswanathan, Nicolas Belanger, Jean-Luc Dekeyser

Real-time computing systems are increasingly used in aerospace and avionic industries. In the face of power challenge, performance requirements and demands for higher flexibility, hardware designers are directed toward reconfigurable computing using field programmable gate arrays (FPGAs) that offer…

IEEE Transactions on Aerospace and Electronic Systems, 2018, 54 (3), pp.1047-1065. ⟨10.1109/TAES.2017.2733858⟩. ⟨hal-03400877⟩

• Article dans une revue

A Novel Heterogeneous Approximate Multiplier for Low Power and High Performance

Ihsen Alouani, Hamzeh Ahangari, Özcan Özturk, Smail Niar

Approximate computing is a design paradigm considered for a range of applications that can tolerate some loss of accuracy. In fact, the bottleneck in conventional digital design techniques can be eliminated to achieve higher performance and energy efficiency by compromising accuracy. In this letter…

IEEE Embedded Systems Letters, 2018, 10 (2), pp.45-48. ⟨10.1109/LES.2017.2778341⟩. ⟨hal-03400601⟩

• Article dans une revue

Activités aquatiques à visée thérapeutique

Eric Watelain, Sultana Roland, Arnaud Faupin, Jean-Marc Vallier, Gilles Kemoun

De par ses propriétés intrinsèques, l'eau est un milieu privilégié en rééducation. Cependant, pour en tirer pleinement bénéfice, le thérapeute doit connaître l'ensemble des paramètres concernant l'hydrothérapie, que ce soit la physique des fluides, l'aménagement des bassins, les…

Emc Kinesitherapie, 2018, 26-140-A-12. ⟨hal-03028098⟩

• Article dans une revue

Détermination de perceptions différenciées d’enseignants d’Éducation physique et sportive envers l’inclusion des élèves en situation de handicap, Determination of differentiated perceptions of Physical Education Teachers towards Inclusion of Students with Disabilities

Maxime Tant, Éric Watelain, Amael André

Douze ans après la loi du 11 février 2005, le premier objectif de ce travail est de rechercher s’il existe différents profils d’enseignants d’éducation physique et sportive en fonction de leurs perceptions de l’inclusion d’élèves en situation de handicap. Le second objectif est de définir plus…, Twelve years after the inclusive law of February 11, 2005, the first purpose of the work is to investigate whether there are different types of physical education teachers regarding to their perceptions of inclusion of students with disabilities. The second purpose is to define the perceptions of…

La Nouvelle revue – Éducation et société inclusives, 2018, Éducation physique et sportive et besoins éducatifs particuliers des élèves, 1 (81), pp.45-63. ⟨10.3917/nresi.081.0045⟩. ⟨hal-04128852⟩

• Article dans une revue

Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair System

Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus

Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair. However, test suites are in essence input-output specifications and are thus typically inadequate for completely specifying the expected behavior of the program…

Empirical Software Engineering, 2018, pp.33-67. ⟨10.1007/s10664-018-9619-4⟩. ⟨hal-01774223⟩

• Article dans une revue

Leidenfrost Self-Rewetting Drops

Safouene Ouenzerfi, Souad Harmand, Jesse Schiffler

As discovered by Leidenfrost, liquids placed on very hot solids levitate on a cushion of their own vapor. This is also called the calefaction phenomenon, a dynamical and transient effect, as vapor is injected below the liquid and pressed by the drop weight. To account for the film vapor, we…

Journal of Physical Chemistry B, 2018, 122 (18), pp.4922-4930. ⟨10.1021/acs.jpcb.7b11944⟩. ⟨hal-03450024⟩

• Article dans une revue

Éditorial

Arnaud Faupin, Eric Watelain, Grégory Lentin

Les journées biannuelles de l’Association francophone en activités physiques adaptées (AFAPA) sont l’occasion depuis 1981 de riches échanges scientifiques sur la thématique très large des APA aux personnes en situation de handicap.

Science & Sports, 2018, 33 (Supp. 1), pp.S2-S3. ⟨10.1016/j.scispo.2018.03.001⟩. ⟨hal-03652058⟩

• Article dans une revue

Identifying HCI approaches to support CMMI-DEV for interactive system development

Taisa Guidini Gonçalves, Káthia Marçal de Oliveira, Christophe Kolski

Software process capability maturity models are currently widely used in industry. To perform the practices defined in these models, software engineering approaches are applied. We have experimented the definition of a large number of methods, techniques, patterns, and standards for the conception…

Computer Standards and Interfaces, 2018, 58, pp.53-86. ⟨10.1016/j.csi.2017.12.003⟩. ⟨hal-03275028⟩