Publications

Type of document

Keywords

Author

Of

At

Affichage de 1201 à 1210 sur 5756

Article dans une revue

Automated patch assessment for program repair at scale

He Ye, Matias Martinez, Martin Monperrus

In this paper, we do automatic correctness assessment for patches generated by program repair systems. We consider the human-written patch as ground truth oracle and randomly generate tests based on it, a technique proposed by Shamshiri et al., called Random testing with Ground Truth (RGT) in this…

Empirical Software Engineering, 2021, 26 (2), pp.20. ⟨10.1007/s10664-020-09920-w⟩. ⟨hal-03396298⟩

Communication dans un congrès

The Effect of Rhythm in Mid-air Gestures on the User Experience in Virtual Reality, Les Effets du Rythme sur l'Expérience Utilisateur lors de l'utilisation de Gestes Mid-Air en Réalité Virtuelle

Vincent Reynaert, Florent Berthaut, Yosra Rekik, Laurent Grisoni

In this work, we examine the effect of mid-air gesture rhythm on user experience in Virtual Reality. In particular, we investigate gesture regularity, speed and highlighting with a sound guide. We measure the effect of these components on the perceived fatigue, presence, difficulty, success and…

18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.182-191, ⟨10.1007/978-3-030-85613-7_13⟩. ⟨hal-03338088⟩

Article dans une revue

Induction of Neural Plasticity Using a Low-Cost Open Source Brain-Computer Interface and a 3D-Printed Wrist Exoskeleton

Mads Jochumsen, Taha Al Muhammadee Janjua, Juan Carlos Arceo Luzanilla, Jimmy Lauber, Emilie Simoneau-Buessinger, Rasmus Leck Kæseler

Brain-computer interfaces (BCIs) have been proven to be useful for stroke rehabilitation, but there are a number of factors that impede the use of this technology in rehabilitation clinics and in home-use, the major factors including the usability and costs of the BCI system. The aims of this study…

Sensors, 2021, 21 (2), pp.572. ⟨10.3390/s21020572⟩. ⟨hal-03424528⟩

Article dans une revue

Novel solutions on model-based and model-free robotic-assisted ankle rehabilitation

Juan Carlos Arceo Luzanilla, Jorge Alvarez, Carlos Daniel Armenta Moreno, Jimmy Lauber, Sylvain Cremoux, Emilie Simoneau-Buessinger, Miguel Bernal

In this report, ankle rehabilitation routines currently approved by physicians are implemented via novel control algorithms on a recently appeared robotic device known as the motoBOTTE. The physician specifications for gait cycles are translated into robotic trajectories whose tracking is performed…

Archives of Control Sciences, 2021, 31 (1), pp.5-27. ⟨10.24425/acs.2021.136878⟩. ⟨hal-03426614⟩

Communication dans un congrès

Solving Facility Layout Problem with safety consideration of Reconfigurable Manufacturing and Assembly Systems

Mariem Besbes, Yassine Idel Mahjoub, Thérèse Bonte, Thierry Berger, Yves Sallez, Zolghadri Marc

Reconfigurable Manufacturing Systems (RMS) are designed to cope with mass customization problem. Reconfigurable Assembly Systems (RAS) are a variant of this RMS concept in the assembly field. One of the most crucial issues in designing the RAS is the layout problem with human safety considerations…

CIRP CMS, Sep 2021, Grece, France. pp.1942-1947, ⟨10.1016/j.procir.2021.11.328⟩. ⟨hal-03528808⟩

Article dans une revue

To the self and beyond: Arousal and functional connectivity of the temporo-parietal junction contributes to spontaneous sensations perception

Sara Salgues, Gaën Plancher, Laurence Jacquot, Janick Naveteur, Lison Fanuel, Germán Gálvez-García, George Michael

The temporoparietal junction (TPJ), along with the anterior insula (AI) and the extrastriate body area (EBA), play a major part in embodiment and self-awareness. However, these connections also appear to be frequently engaged in arousal and attentional processing of external events. Considering…

Behavioural Brain Research, 2021, 396, pp.112880. ⟨10.1016/j.bbr.2020.112880⟩. ⟨hal-04751496⟩

Article dans une revue

Qualitative and Quantitative Analyses of Surface Alterations of Stone Tools Made of Raw Materials from the Carpathian Basin

Antony Borel, Raphaël Deltombe, Julie Marteau, Philippe Moreau, Maxence Bigerelle, György Lengyel, Zsolt Mester

Wear analysis performed on archaeological stone tools from prehistory aims at characterizing their surface alterations in order to determine their functions and describe past human technical behaviors. However, the reliability and repeatability of the method is questioned and there is a major…

Hungarian Archaeology, 2021, 10 (3), pp.1-11. ⟨10.36338/ha.2021.3.4⟩. ⟨hal-03533967⟩

Article dans une revue

Generating new classes of fixed-time stable systems with predefined upper bound for the settling time

Rodrigo Aldana-Lopez, David Gomez-Gutierrez, Esteban Jiménez-Rodríguez, Juan Diego Sanchez-Torres, Michael Defoort

This paper aims to provide a methodology for generating autonomous and non-autonomous systems with a fixed-time stable equilibrium point where an Upper Bound of the Settling Time (UBST) is set a priori as a parameter of the system. Furthermore, some conditions for such an upper bound to be the…

International Journal of Control, 2021, pp.1-13. ⟨10.1080/00207179.2021.1936190⟩. ⟨hal-03716501⟩

Article dans une revue

Submental Anatomical Variations: The Uniqueness of a Common Variation

Laísa Caldas Fernandes, Patricia Shirley de Almeida Prado

Introduction: submental region is subject to many variations, predominantly affecting the anterior belly of the digastric muscle. The medical importance of this area led us to compile a database with the reported cases of the anomalous belly of the anterior belly of the digastric muscle as well as…

Journal of Morphological Sciences, 2021, 38, pp.100-108. ⟨10.51929/jms.38.19.2021⟩. ⟨hal-03711650⟩

Rapport

Tactical capacity planning in an integrated multi-stakeholder freight transportation system

Taherkhani Gita, Ioana Bilegan, Teodor Gabriel Crainic, Michel Gendreau, Rei Walter

This study focuses on investigating tactical planning of an integrated multi-stakeholder system. The system receives time-dependent requests from carriers and shippers and optimizes in time and space the operations and transportation activities through consolidation of loads of different shippers…

[Research Report] 34, Centre interuniversitaire de recherche sur les reseaux d'entreprise, la logistique et le transport (CIRRELT). 2021. ⟨hal-03391635⟩