Publicaciones

• COMM

Micromachining simulation using a crystal plasticity model: ALE and CEL approaches

Chokri Boubakri, Cyprien Wolff, Mohammed Nouari, Abdelhadi Moufki, Laurent Dubar, Michel Watremez, Cédric Hubert

Nowadays, micro-machining is an expanding field because it is often used in the manufacture of electronic components and miniaturized medical systems. Unlike conventional machining operations, micro-machining is very sensitive to the material microstructure because the size of the tool is...

22nd International Conference on Material Forming (ESAFORM 2019), May 2019, Vitoria-Gasteiz, Spain. pp.080017, ⟨10.1063/1.5112625⟩. ⟨hal-03325667⟩

• COMM

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⟩

• ART

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⟩

• COMM

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⟩

• ART

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⟩

• ART

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⟩

• ART

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⟩

• ART

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⟩

• ART

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⟩

• COMM

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⟩