Publications

Type de document

Mots clés

Auteur

Du

Au

Affichage de 661 à 670 sur 5406

Article dans une revue

Rotten Green Tests in Java, Pharo and Python

Vincent Aranega, Julien Delplanque, Matias Martinez, Andrew P Black, Stéphane Ducasse, Anne Etien, Christopher Fuhrman, Guillermo Polito

Rotten Green Tests are tests that pass, but not because the assertions they contain are true: a rotten test passes because some or all of its assertions are not actually executed. The presence of a rotten green test is a test smell, and a bad one, because the existence of a test gives us false…

Empirical Software Engineering, 2021, 26 (6), ⟨10.1007/s10664-021-10016-2⟩. ⟨hal-03281836v2⟩

Article dans une revue

A Tighter Exact Convex Modeling for Improved LMI-Based Nonlinear System Analysis and Design

Sebastien Delprat, Jorge Alvarez, Marcelino Sanchez Pantoja, Miguel Bernal

This article presents a novel methodology for exact convex rewriting of nonlinear systems that generalizes the well-known sector nonlinearity approach; it allows improving the capabilities of those methodologies based on polytopes and the direct Lyapunov method, which are still an active research…

IEEE Transactions on Fuzzy Systems, 2021, 29 (9), pp.2819-2824. ⟨10.1109/TFUZZ.2020.3005345⟩. ⟨hal-03424448⟩

Article dans une revue

Effect of blast loading on the risk of rib fractures: a preliminary 3D numerical investigation

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

Blast is a complex phenomenon which needs to be understood, especially in a military framework, where this kind of loading can have severe consequences on the human body. Indeed, the literature lists a number of studies which try to investigate the dangerousness of such a phenomenon, both at…

Forensic Science International, 2021, 326, pp.110930. ⟨10.1016/j.forsciint.2021.110930⟩. ⟨hal-03445908⟩

Article dans une revue

Anatomy and biomechanics of healthy and arthritic trapeziometacarpal joints, Anatomie et biomécanique de l'articulation trapézo-métacarpienne saine et arthrosique

Christian Fontaine, P. D’agostino, Catherine Maes-Clavier, M. Boutan, Nadine Sturbois-Nachef

Understanding the biomechanics of the trapeziometacarpal (TMC) or first carpometacarpal (CMC1) joint, the pathophysiology of basal thumb arthritis, the design and performance of surgical procedures require a solid anatomical basis. This review of literature summarizes the most recent data on the…, La compréhension de la biomécanique de l’articulation trapézo-métacarpienne (ATMC), de la physiopathologie de la rhizarthrose, la conception et la réalisation des gestes chirurgicaux nécessitent de solides bases anatomiques. Cette revue de la littérature synthétise les données les plus récentes…

Hand Surgery and Rehabilitation, 2021, 40, pp.3-14. ⟨10.1016/j.hansur.2020.09.014⟩. ⟨hal-03710392⟩

Communication dans un congrès

Set-Invariance Based Fuzzy Output Tracking Control for Vehicle Autonomous Driving Under Uncertain Lateral Forces and Steering Constraints

Tran Anh-Tu Nguyen, Thierry-Marie Guerra, Jagat Jyoti Rath, Hui Zhang, Reinaldo Martinez Palhares

This paper is concerned with a new control method for path tracking of autonomous ground vehicles. We exploit the fuzzy model-based control framework to deal with the time-varying feature of the vehicle speed and the highly uncertain behaviors of the tire-road forces involved in the nonlinear…

IEEE International Conference on Fuzzy Systems, Jul 2020, Glasgow, United Kingdom. pp.5849-5860, ⟨10.1109/FUZZ48607.2020.9177615⟩. ⟨hal-03405606⟩

Article dans une revue

Fault diagnosis for discrete events systems described by partially observed Petri nets

Fayssal Arichi, Brahim Cherki, Mohamed Djemai, Seddik M Djouadi

Fault diagnosis problem is discussed for discrete events systems described by partially observed Petri nets. Our goal is to detect and identify faults that may have occurred in both transitions and places assuming that we can measure some of them. The proposed approach is based on two mains steps (…

ISA Transactions, 2021, ⟨10.1016/j.isatra.2021.09.010⟩. ⟨hal-03711675⟩

Article dans une revue

Coupling of Homotopy Perturbation Method and Kriging surrogate model for an efficient fuzzy linear buckling analysis: Application to additively manufactured lattice structures

van Tu Doan, Franck Massa, Thierry Tison, Hakim Naceur

This paper presents a new method to efficiently approximate both linear buckling loads and associated mode shapes of finite element structures subject to perturbations. To achieve this, a coupling between a Reduced Order Model (ROM) based on the Homotopy Perturbation Method (HPM) and a Kriging…

Applied Mathematical Modelling, 2021, 97, pp.602-618. ⟨10.1016/j.apm.2021.04.005⟩. ⟨hal-03445929⟩

Article dans une revue

A Comparative Study of Machine Learning Models for Predicting Length of Stay in Hospitals

Rachda Naila Mekhaldi, Patrice Caulier, Sondès Chaabane, Abdelahad Chraibi, Sylvain Piechowiak

There has been a growing interest in recent years in correctly predicting the Length of Stay (LoS) in a hospital setting. Estimating the LoS on patient' admission helps hospitals in planning, controlling costs and, providing better services. In this paper, we consider predicting the LoS as a…

Journal of Information Science and Engineering, 2021, 37 (5), pp.1025-1038. ⟨10.6688/JISE.202109_37(5).0003⟩. ⟨hal-03395940⟩

Article dans une revue

Agent mining approaches: an ontological view

Emmanuelle Grislin-Le Strugeon, Káthia Marçal de Oliveira, Dorsaf Zekri, Marie Thilliez

Introduced as an interdisciplinary area that combines multi-agent systems, data mining and knowledge discovery, agent mining is currently in practice. To develop agent mining applications involves a combination of different approaches (model, architecture, technique and so on) from software agent…

Knowledge Engineering Review, 2021, 36, pp.12. ⟨10.1017/S0269888921000114⟩. ⟨hal-03395968⟩

Article dans une revue

Why did developers migrate Android Applications from Java to Kotlin

Matias Martinez, Bruno Gois Mateus

Currently, the majority of apps running on mobile devices are Android apps developed in Java. However, developers can now write Android applications using a new programming language: Kotlin, which Google adopted in 2017 as an official programming language for developing Android apps. Since then,…

IEEE Transactions on Software Engineering, 2021, ⟨10.1109/TSE.2021.3120367⟩. ⟨hal-03396017⟩