Publicaciones

• Communication dans un congrès

Parallel machine scheduling with periodic maintenance, job rejection and weighted sum of completion times.

Hanane Krim, Rachid Benmansour, David Duvivier, Jean-Yves Potvin, Nicolas Zufferey

ournées de l'optimisation 2019 - WB10 : Operations Research and Computer Science in Transportation, Mobility and Logistics, May 2019, Montréal, Canada. ⟨hal-03389505⟩

• Communication dans un congrès

The assessment of bearing and non-bearing cortical bones: tensile tests and three dimensional study of vascular architecture

Xavier Roothaer, Rémi Delille, Hervé Morvan, Eric Markiewicz, Christian Fontaine

44ème Congrès Société de Biomécanique, Oct 2019, Poitiers, France. pp.S529-S531, ⟨10.1080/10255842.2020.1715007⟩. ⟨hal-03433032⟩

• Article dans une revue

Numerical and experimental study of convective heat exchanges on a rotating disk with an eccentric impinging jet

Chadia Haidar, Rachid Boutarfa, Souad Harmand

This article presents an experimental and numerical study of the heat transfers in rotating disk with an impinging jet. The disk is cooled using the impingement of an eccentric air jet. Local Nusselt numbers are experimentally determined on the entire surface the rotating disk using infrared...

Journal of Advanced Research in Fluid Mechanics and Thermal Sciences, 2019, 57 (2), pp.208-215. ⟨hal-03676713⟩

• Article dans une revue

Case study of an HEVC decoder application using high-level synthesis: intraprediction, dequantization, and inverse transform blocks

Manel Kammoun, Ahmed Ben Atitallah, Karim Mohamed Abedallah Ali, Rabie Ben Atitallah

Due to the increasing need for testing solutions to complex hardware designs, several efforts were made in order to improve high-level synthesis (HLS) techniques. These solutions are conceived in such a way that they had to provide reasonable agreements in terms of design time, resources involved,...

Journal of Electronic Imaging, 2019, 28 (03), pp.033010. ⟨10.1117/1.JEI.28.3.033010⟩. ⟨hal-02299844⟩

• Article dans une revue

Building Information Maturity Model specific to the renovation sector

Laurent Joblot, Thomas Paviot, Dominique Deneux, Samir Lamouri

This article focuses on the relevance of a digital approach, Building Information Modeling (BIM), in the dynamic and diversified renovation sector, which is mainly driven by micro enterprises. It provides a synthesis of scientific references on this infrequently addressed subject. This scientific...

Automation in Construction, 2019, 101, pp.140-159. ⟨10.1016/j.autcon.2019.01.019⟩. ⟨hal-03468335⟩

• Article dans une revue

Sufficient conditions for uniform exponential stability and h -stability of some classes of dynamic equations on arbitrary time scales

Bacem Ben Nasser, Khaled Boukerrioua, Michael Defoort, Mohamed Djemai, Mohamed Ali Hammami, Taous-Meriem Laleg-Kirati

This paper investigates the exponential stability and -stability problems of some classes of nonlinear systems. First, we analyze the global uniform exponential stability for a class of integro-differential equations on time scales. We also derive some sufficient conditions for stability using an...

Nonlinear Analysis: Hybrid Systems, 2019, 32, pp.54-64. ⟨10.1016/j.nahs.2018.10.009⟩. ⟨hal-03644208⟩

• Article dans une revue

Astor: Exploring the design space of generate-and-validate program repair beyond GenProg

Matias Martinez, Martin Monperrus

This article contributes to defining the design space of program repair. Repair approaches can be loosely characterized according to the main design philosophy, in particular “generate- and-validate” and synthesis-based approaches. Each of those repair approaches is a point in the design space of...

Journal of Systems and Software, 2019, 151, pp.65-80. ⟨10.1016/j.jss.2019.01.069⟩. ⟨hal-03574624⟩

• Article dans une revue

A numerical analysis of the risk of rib fractures during blunt ballistic impacts on a human thorax

Anthony Bracq, Christophe Maréchal, Rémi Delille, Benjamin Bourel, Franck Lauro, Sébastien Roth, Olivier Mauzac

Computer Methods in Biomechanics and Biomedical Engineering, 2019, 22 (sup1), pp.S248-S250. ⟨10.1080/10255842.2020.1714258⟩. ⟨hal-03442336⟩

• Communication dans un congrès

A new memory reliability technique for multiple bit upsets mitigation

Alexandre Chabot, Ihsen Alouani, Smail Niar, Reda Nouacer

Technological advances make it possible to produce increasingly complex electronic components. Nevertheless, these advances are convoyed by an increasing sensitivity to operating conditions and an accelerated aging process. In safety critical applications, it is vital to provide solutions to avoid...

16th ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Italy. pp.145-152, ⟨10.1145/3310273.3321564⟩. ⟨hal-03522687⟩

• Communication dans un congrès

Tangible tabletops and dual reality for crisis management

Walid Merrad, Lydia Habib, Alexis Heloir, Christophe Kolski, Antonio Krueger

In this paper, we present an experimental study between tangible interaction and tactile interaction on tabletops in a dual reality environment. We recruited 32 participants to take part in a user study, which consists of remotely displacing robots and exploring a simulated disaster area using a...

10th International Conference on Ambient Systems, Networks and Technologies (ANT 2019), Apr 2019, Louvain, Belgium. pp.369-376, ⟨10.1016/j.procs.2019.04.051⟩. ⟨hal-03331887⟩