Publicaciones

• 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

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⟩

• 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

Modeling and Optimization of the Magnetohydrodynamic Conduction Pump by Particle Swarm Method

Khadidja Bouali, Fatima Zohra Kadid, Rachid Abdessemed, Abdelmalik Taleb-Ahmed, Anis Toumi

The paper is dedicated to the study and the optimization of a magnetohydrodynamic conduction pump. Electromagnetic pumps have several advantages to mechanical pumps, they do not use a moving mechanical part, unlike traditional electric motors, and they transform electromagnetic energy directly into...

Journal of Applied Fluid Mechanics, 2018, 11 (3), pp.689-694. ⟨10.29252/JAFM.11.03.28478⟩. ⟨hal-03428244⟩

• Article dans une revue

Hydrokinésithérapie. Principes et infrastructures

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-10. ⟨hal-03028086⟩

• Article dans une revue

Intersegmental kinematics coordination in unilateral peripheral and central origin: Effect on gait mechanism?

Laura Wallard, Sophie Boulet, Olivier Cornu, Jean-Emile Dubuc, Philippe Mahaudens, Didier Postlethwaite, Maïté van Cauter, Christine Detrembleur

Background: The gait mechanism requires an efficient intersegmental coordination in order to ensure the displacement of the body while simultaneously maintaining the postural stability. However, intersegmental coordination may be disrupted by neurological or orthopaedic involvement, this increasing...

Gait & Posture, 2018, 62, pp.124-131. ⟨10.1016/j.gaitpost.2018.03.014⟩. ⟨hal-03465108⟩

• Article dans une revue

Alteration of intermuscular coherence in synergistic muscle pairs during actual elbow flexion contractions after cervical spinal cord injury

Sylvain Crémoux, Camille Charissou, Jessica Tallet, Andrea Abade-Moreira, Fabien Dal Maso, David Amarantini

Clinical Neurophysiology, 2018, 129, pp.e33. ⟨10.1016/j.clinph.2018.04.081⟩. ⟨hal-03463172⟩

• Article dans une revue

(Simulated) listener gaze in real-time spoken interaction

Laura Frädrich, Fabrizio Nunnari, Maria Staudte, Alexis Heloir

Gaze is an important aspect of social communication. Previous research has concentrated mainly on the role of speaker gaze and listener gaze in isolation, neglecting the effect of the listener's gaze behavior on the speaker's behavior. This paper presents an exploratory eye-tracking study...

Computer Animation and Virtual Worlds, 2018, 29 (3-4), pp.e1831. ⟨10.1002/cav.1831⟩. ⟨hal-03400951⟩

• Article dans une revue

Friction and Wear in Metal Forming: 25 Years at LAMIH UMR CNRS 8201

Laurent Dubar, André Dubois, Mirentxu Dubar

Since the beginning of the 90’s, research activities focused on friction and wear in metal forming have been developed at the LAMIH UMR CNRS 8201 in Valenciennes. Specific methodologies have been designed to optimize a given forming process (bulk forming process or sheet forming process). These...

Key Engineering Materials, 2018, 767, pp.42-58. ⟨10.4028/www.scientific.net/KEM.767.42⟩. ⟨hal-03450663⟩