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⟩

Communication dans un congrès

Study of a dual longitudinal and shear acoustic wave ZnO transducer in the gigahertz frequency range: application to viscosity measurement and first step for device integration

Hatem Dahmani, Julien Carlier, Ibrahim Zaaroura, Malika Toubal, Pierre Campistron, Bertrand Nongaillard

In this paper, we study a high frequency (~1GHz) ZnO transducer integrated within a silicon substrate, which generates in the same area, a compressional and a shear acoustic wave. These two kinds of waves can be used to characterize fluid-solid interfaces' properties in the same microscopic...

IEEE International Conference on Design & Test of Integrated Micro & Nano-Systems (DTS 2019), Apr 2019, Gammarth-Tunis, Tunisia. pp.1-6, ⟨10.1109/DTSS.2019.8914906⟩. ⟨hal-03582214⟩

Thèse

Implémentation temps réel des algorithmes de tri dans les applications de transports intelligents en se basant sur l'outil de synthèse haut niveau HLS, Real-time implementation of sorting algorithms in intelligent transport applications based on the HLS high-level synthesis tool

Yomna Ben Jmaa Chtourou

Les systèmes de transports intelligents jouent un rôle important dans la minimisation des accidents, embouteillage, et la pollution d’air. Parmi ces systèmes, nous citons le domaine avionique qui utilise dans plusieurs cas les algorithmes de tri qui sont l’une des opérations importante pour des..., Intelligent transport systems play an important role in minimizing accidents, traffic congestion, and air pollution. Among these systems, we mention the avionics domain, which uses in several cases the sorting algorithms, which are one of the important operations for real-time embedded applications...

Systèmes embarqués. Université de Valenciennes et du Hainaut-Cambresis; École nationale d'ingénieurs de Sfax (Tunisie), 2019. Français. ⟨NNT : 2019VALE0013⟩. ⟨tel-02638412⟩

Thèse

Mathematical models and algorithms for bulk port-related supply chain optimization, Modèles mathématiques et heuristiques pour l'optimisation des chaînes logistiques portuaires du vrac

Issam Krimi

During the last few decades, tremendous progress in maritime transportation has been noticed. In this emerging era of international trading, the port-related supply chain has attracted much attention. Indeed, several works have been proposed to study both seaside and yard side decision problems in..., Un énorme progrès dans le secteur du transport maritime a été accompli ces dernières années. Avec l'émergence récente du commerce international, les chaînes logistiques portuaires ont attiré l'attention des chercheurs et des praticiens. De ce fait, plusieurs travaux ont été menés autour...

Computer Science [cs]. Université de Valenciennes et du Hainaut-Cambrésis; Ecole Mohammadia d'Ingénieurs, 2019. English. ⟨NNT : 2019VALE0010⟩. ⟨tel-03367010⟩

Communication dans un congrès

Cognitive Work Analysis vs. Human-Machine Cooperation in HUMANISM project

Marie-Pierre Pacaux-Lemoine, Damien Trentesaux

« Human & Industry 4.0 », Apr 2019, Valenciennes, France. ⟨hal-03518716⟩

Communication dans un congrès

Proposition of a holonic approach to model the information chain from product to stakeholder

Vivien Basselot, Thierry Berger, Yves Sallez

In the field of Product Lifecycle Management, the gaps in terms of Product Usage Data collection and exploitation must be addressed. Meeting the need for data from the phases after the Beginning-of-Life is very critical for the product provider (and stakeholders in general) to improve the product,...

6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.109-114. ⟨hal-03457430⟩

Communication dans un congrès

A special case of Variable-Sized Bin Packing Problem with Color Constraints

Igor Crevits, Said Hanafi, A.Ridha Mahjoub, Raouia Taktak, Christophe Wilbaut

The Variable-Sized Bin Packing Problem with Color Constraints (VSBPP-CC) is a generalization of the classical one-dimensional Bin Packing Problem, where bins of different capacities are available for packing a set of items each characterized by a weight and a color. The objective is to pack all the...

Proceedings of 6th International Conference on Control, Decision and Information Technologies, Apr 2019, Paris, France. pp.1150-1154, ⟨10.1109/CoDIT.2019.8820707⟩. ⟨hal-03524199⟩

Communication dans un congrès

Program Repair at Arbitrary Fault Depth

Besma Khaireddine, Matias Martinez, Ali Mili

Program repair has been an active research area for over a decade and has achieved great strides in terms of scalable automated repair tools. In this paper we argue that existing program repair tools lack an important ingredient, which limits their scope and their efficiency: a formal definition of...

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), Apr 2019, Xi'an, China. pp.465-472, ⟨10.1109/ICST.2019.00056⟩. ⟨hal-03522307⟩