Publications

Type de document

Mots clés

Auteur

Du

Au

Affichage de 371 à 380 sur 2052

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

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⟩

Article dans une revue

Ankle dysfunction in multiple sclerosis and the effects on walking

Caroline Massot, Marc-Alexandre Guyot, Cécile Donze, Emilie Simoneau-Buessinger, Christophe Gillet, Sebastien Leteneur

Purpose: Even in the early stage of the disease, for patients suffering from multiple sclerosis (MS), the most common and reported biomechanical alterations in the lower limb are located at the ankle joint. However, the effects of these impairments on gait deterioration should be discussed.…

Disability and Rehabilitation, 2021, 43 (17), pp.2454-2463. ⟨10.1080/09638288.2019.1702726⟩. ⟨hal-03462839⟩

Article dans une revue

Robust Estimation for Nonlinear Continuous-Discrete Systems With Missing Outputs: Application to Automatic Train Control

Thierry-Marie Guerra, Braulio Norberto Aguiar Cota, Denis Berdjag, Bernard Demaya

This brief is about robust estimation for a sampled output system with continuous dynamics using unknown input observers (UIOs). A novel worst case estimation error bound is developed using a particular form of Gronwall inequality. The motivation is to assess the accuracy of the estimator in real-…

IEEE Transactions on Control Systems Technology, 2021, pp.1-7. ⟨10.1109/TCST.2021.3101737⟩. ⟨hal-03426303⟩

Article dans une revue

Stochastic home health care routing and scheduling problem with multiple synchronized services

Mohammed Bazirha, Abdeslam Kadrani, Rachid Benmansour

The home health care (HHC) covers a wide range of health care services carried out in patients’ home in case of illness, injury or aging. Each caregiver should as far as possible adhere to the schedule set by the decision maker. However, unforeseen events would sometimes occur and delay the…

Annals of Operations Research, 2021, ⟨10.1007/s10479-021-04222-w⟩. ⟨hal-03716481⟩