Author: "Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie"' showing total 1,331 results

Start Over Author "Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie"

1,331 results on '"Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie"'

1. A Boundary Computation Algorithm for the Workspace Evaluation of Continuum Parallel Robots

Author: Zaccaria, Federico, Idá, Edoardo, Briot, Sébastien, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Dipartimento di Scienze dell'Informazione [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Centre National de la Recherche Scientifique (CNRS), Autonomie des Robots et Maîtrise des interactions avec l’ENvironnement (LS2N - équipe ARMEN), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: Mechanical Engineering, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract: In this paper, a new algorithm for the computation of workspace boundaries of continuum parallel robots (CPRs) is proposed. State-of-the-art techniques are mainly based on time-consuming joint-space discretization approaches or task-space discretization algorithms, and only a few approaches are dedicated to the computation of workspace boundaries. The proposed approach for the computation of the workspace boundaries is based on i) a free-space exploration strategy and ii) a boundary reconstruction algorithm. The former is exploited to identify an initial workspace boundary location (exterior, interior boundaries, and holes), while the latter is used to reconstruct the complete boundary surface. Moreover, the algorithm is designed to be employed with CPRs modelling strategies based on general discretization assumptions, in order to increase its applicability for various scopes. Our method is compared with two state-of-the-art algorithms in four case studies to validate the results and to establish its merits and limitations.
Published: 2023

2. Hexagonal Tungsten Bronze H0.25Cs0.25Nb2.5W2.5O14 as a Negative Electrode Material for Li-Ion Batteries

Author: Etienne Le Calvez, Julio César Espinosa-Angeles, Éric Gautron, Éric Quarez, Olivier Crosnier, Thierry Brousse, Institut des Matériaux Jean Rouxel (IMN), Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - Ecole Polytechnique de l'Université de Nantes (Nantes Univ - EPUN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Réseau sur le stockage électrochimique de l'énergie (RS2E), Aix Marseille Université (AMU)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Collège de France (CdF (institution))-Université de Picardie Jules Verne (UPJV)-Ecole Nationale Supérieure de Chimie de Paris - Chimie ParisTech-PSL (ENSCP), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Université de Pau et des Pays de l'Adour (UPPA)-Institut de Chimie du CNRS (INC)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Université Grenoble Alpes (UGA)-Nantes Université (Nantes Univ)-Université de Montpellier (UM)-Ecole Nationale Supérieure de Chimie de Montpellier (ENSCM), Université de Montpellier (UM), ANR-16-IDEX-0007,NExT (I-SITE),NExT (I-SITE)(2016), and ANR-10-LABX-0076,STORE-EX,Laboratory of excellency for electrochemical energy storage(2010)
Subjects: General Chemical Engineering, Materials Chemistry, [CHIM.MATE]Chemical Sciences/Material chemistry, General Chemistry, [CHIM.OTHE]Chemical Sciences/Other
Abstract: International audience; Oxides derived from the ReO3 structure, such as bronzes or Wadsley-Roth phases, have re-emerged from the past as they offer very attractive properties as negative electrodes for high-power Li-ion batteries. Here, we revisit the hexagonal bronze Cs0.5Nb2.5W2.5O14 and its protonated H0.25Cs0.25Nb2.5W2.5O14 derivative, which was newly obtained after ion exchange. A panel of characterization techniques (HAADF-STEM imaging, EDX mapping, and XRD) revealed a specific cation ordering in the material and a preferential ion exchange in the heptagonal tunnels of this oxide. When used as Li-ion battery electrodes, H0.25Cs0.25Nb2.5W2.5O14 exhibits higher specific capacities as well as better capacity retention at high currents than Cs0.5Nb2.5W2.5O14. The protonated phase provides specific capacities of 132 and 111 mAh center dot g-1 at, respectively, 0.02 and 0.2 A center dot g-1. Kinetic analysis reveals that the good capacity at a high rate is due to favorable diffusion of lithium ions into the tunnels of H0.25Cs0.25Nb2.5W2.5O14. In addition, using in situ XRD, a solid solution mechanism occurring during lithium insertion was proposed, as well as the different lithiation sites of the material.
Published: 2023

3. Real-time motion planning for an autonomous mobile robot with wheel-ground adhesion constraint

Author: Gao, Jiuchun, Claveau, Fabien, Pashkevich, Anatol, Chevrel, Philippe, Abdessamed, Ramdane, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Robotique Et Vivant (LS2N - équipe ReV), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Commande, Observation, Diagnostic et Expérimentation (LS2N - équipe CODEx), Chassis Brakes International (Chassis Brakes International), Hitachi Astemo, and Chassis Brake International Funding
Subjects: autonomous mobile robot, dynamic programming, Human-Computer Interaction, wheel-ground adhesion, Hardware and Architecture, Control and Systems Engineering, time-optimal trajectory, real-time motion planning, Software, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science Applications
Abstract: International audience; The paper proposes a new real-time motion planning technique for an autonomous mobile robot that is able to find a collision-free path and a corresponding time-optimal trajectory while taking into account limits on the actuator capacities and constraints from the wheel-ground adhesion. The proposed technique includes two sub-modules. The first one, an optimal path planner, is based on the discretization of the robot workspace and dynamic programming principle. It allows finding the shortest path in the robot environment to avoid obstacles and reach the robot target. The second one, an optimal trajectory generator, operates with the discretized robot state-space and also employs dynamic programming techniques. It produces a time-optimal motion along the obtained path, which may include numerous regular and singular trajectory sections caused by the simultaneous application of actuator and wheel-ground adhesion constraints. To adapt this technique to real-time implementation, a moving window strategy is presented that allows regularly updating the robot motion profile in a dynamic environment. The advantages of the developed technique and its suitability for real-time control are illustrated by experimental studies implemented on a car-like mobile robot.
Published: 2023

4. Total Least Squares in-field Identification for MEMS-based Triaxial Accelerometers

Author: Ducchi, Massimo, Zaccaria, Federico, Briot, Sébastien, Idá, Edoardo, Dipartimento di Scienze dell'Informazione [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Autonomie des Robots et Maîtrise des interactions avec l’ENvironnement (LS2N - équipe ARMEN), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract: International audience
Published: 2023

5. Singularity Conditions of Concentric Tube Robots

Author: Zaccaria, Federico, Idá, Edoardo, Briot, Sébastien, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Autonomie des Robots et Maîtrise des interactions avec l’ENvironnement (LS2N - équipe ARMEN), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract: International audience
Published: 2023

6. Coordination and thermodynamic properties of aqueous protactinium(V) by computational chemistry techniques

Author: Oher, Hanna, Delafoulhouze, Jeremy, Renault, Eric, Vallet, Valérie, Maurice, Rémi, Institut des Sciences Chimiques de Rennes (ISCR), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Ecole Nationale Supérieure de Chimie de Rennes (ENSCR)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Chimie Et Interdisciplinarité : Synthèse, Analyse, Modélisation (CEISAM), Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Physico-Chimie Moléculaire Théorique (PCMT), Laboratoire de Physique des Lasers, Atomes et Molécules - UMR 8523 (PhLAM), Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Centre National de la Recherche Scientifique (CNRS), ANR-16-IDEX-0004,ULNE,ULNE(2016), ANR-11-LABX-0005,Cappa,Physiques et Chimie de l'Environnement Atmosphérique(2011), and ANR-21-CE29-0027,CHESS,Chimie, spectroscopie et spéciation du protactinium(2021)
Subjects: [CHIM.THEO]Chemical Sciences/Theoretical and/or physical chemistry
Abstract: International audience
Published: 2023

7. Evaluating Reification with Multi-valued Properties in a Knowledge Graph of Licensed Educational Resources

Author: Kieffer, Manoé, Fakih, Ginwa, Serrano-Alvarado, Patricia, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Gestion de Données Distribuées (LS2N - équipe GDD), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), LABEX Cominlabs - ANR-10-LABX-07-01, and Projet Cominlabs CLARA
Subjects: Knowledge graph, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], RDF reification, [INFO.INFO-WB]Computer Science [cs]/Web, multi-valued properties, query evaluation, educational resources, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; This paper presents the construction of a Knowledge Graph (KG) of Educational Resources (ER), where RDF reification is essential. The ERs are described based on the subjects they cover considering their relevance. RDF reification is used to incorporate this subject’s relevance. Multiple reification models with distinct syntax and performance implications for storage and query processing exist. This study aims to experimentally compare four statement-based reification models with four triplestores to determine the most pertinent choice for our KG. We built four versions of the KG. Each version has a distinct reification model, namely standard reification, singleton properties, named graphs, and RDF-star, which were obtained using RML mappings. Each of the four triplestores (Virtuoso, Jena, Oxigraph, and GraphDB) was setup four times (except for Virtuoso, which does not support RDF-star), and seven different SPARQL queries were experimentally evaluated. This study shows that standard reification and named graphs lead to good performance. It also shows that, in the particular context of the used KG, Virtuoso outperforms Jena, GraphDB, and Oxigraph in most queries. The recent specification of RDF-star and SPARQL-star sheds light on statement-level annotations. The empirical study reported in this paper contributes to the efforts towards the efficient usage of RDF reification. In addition, this paper shares the pipeline of the KG con- struction using standard semantic web technologies.
Published: 2023

8. Condition for periodic attractor in 4-dimensional repressilators

Author: Sun, Honglu, Folschette, Maxime, Magnin, Morgan, Méthodes Formelles pour la Bioinformatique (LS2N - équipe MéForBio), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), BioComputing, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), and Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
Subjects: Decision tree, Discrete dynamical system, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Periodic attractor, Repressilator, Gene regulatory networks
Abstract: One of the key questions about gene regulatory networks is how to predict complex dynamical properties based on the influence graph's topology. Earlier theoretical studies have identified conditions for complex dynamical properties, like multistability or oscillations, based on topological features, like the presence of a positive (negative) feedback loop. This work follows this path and aims to find a sufficient and necessary condition for the existence of a periodic attractor in 4-dimensional (4 genes) repressilators based on a discrete modeling framework under some dynamical assumptions. These networks are extensions of the widely studied 3-dimensional repressilator, which has been used in synthetic biology to produce synthetic oscillations. While other researchers have explored specific extensions of the 3-dimensional repressilator to improve synthetic oscillation control, our work investigates all 4-dimensional networks with only inhibitions. By uncovering new insights about periodic attractors in these small networks, our findings could aid the design of new synthetic oscillations. We search for condition for period attractor in an exhaustive manner with the guide of a decision tree model. Our major contributions include: 1) discovering that, with one exception, the relations between gene regulation thresholds do not impact the existence of periodic attractors in any of the influence graphs considered in this study; 2) identifying a sufficient and necessary condition of simple form for the existence of a periodic attractor when the exception is ignored; 3) identifying new topological features of influence graphs that are necessary for predicting the existence of periodic attractor in 4-dimensional repressilators.
Published: 2023

9. HATS : Un jeu de données intégrant la perception humaine appliquée à l'évaluation des métriques de transcription de la parole

Author: Bañeras-Roux, Thibault, Wottawa, Jane, Rouvier, Mickael, Merlin, Teva, Dufour, Richard, Traitement Automatique du Langage Naturel (LS2N - équipe TALN ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Laboratoire d'Informatique de l'Université du Mans (LIUM), Le Mans Université (UM), Laboratoire Informatique d'Avignon (LIA), Avignon Université (AU)-Centre d'Enseignement et de Recherche en Informatique - CERI, Faculty of Applied Sciences University of West Bohemia Plzeň (Pilsen), NTIS P2 Research Center University of West Bohemia Plzeň (Pilsen), Faculty of Informatics Masaryk University Brno, and ANR-20-CE23-0005,DIETS,Diagnostic automatique des erreurs des systèmes de transcription de parole end-to-end à partir de leur réception par les utilisateurs(2020)
Subjects: evaluation metrics, automatic speech recognition, human perception, [INFO]Computer Science [cs], manual annotation, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Conventionally, Automatic Speech Recognition (ASR) systems are evaluated on their ability to correctly recognize each word contained in a speech signal. In this context, the word error rate (WER) metric is the reference for evaluating speech transcripts. Several studies have shown that this measure is too limited to correctly evaluate an ASR system, which has led to the proposal of other variants of metrics (weighted WER, BERTscore, semantic distance, etc.). However, they remain system-oriented, even when transcripts are intended for humans. In this paper, we firstly present Human Assessed Transcription Side-by-side (HATS), an original French manually annotated data set in terms of human perception of transcription errors produced by various ASR systems. 143 humans were asked to choose the best automatic transcription out of two hypotheses. We investigated the relationship between human preferences and various ASR evaluation metrics, including lexical and embedding-based ones, the latter being those that correlate supposedly the most with human perception.; Traditionnellement, les systèmes de reconnaissance automatique de la parole (RAP) sont évalués sur leur capacité à reconnaître correctement chaque mot contenu dans un signal vocal. Dans ce contexte, la mesure du taux d'erreur-mot est la référence pour évaluer les transcriptions vocales. Plusieurs études ont montré que cette mesure est trop limitée pour évaluer correctement un système de RAP, ce qui a conduit à la proposition d'autres variantes et d'autres métriques. Cependant, toutes ces métriques restent orientées "système'' alors même que les transcriptions sont destinées à des humains. Dans cet article, nous proposons un jeu de données original annoté manuellement en termes de perception humaine des erreurs de transcription produites par divers systèmes de RAP. 143 humains ont été invités à choisir la meilleure transcription automatique entre deux hypothèses. Nous étudions la relation entre les préférences humaines et diverses mesures d'évaluation pour les systèmes de RAP, y compris les mesures lexicales et celles fondées sur les plongements de mots.
Published: 2023

10. A matheuristic for a 2-echelon vehicle routing problem with capacitated satellites and reverse flows

Author: Dorian Dumez, Christian Tilk, Stefan Irnich, Fabien Lehuédé, Katharina Olkis, Olivier Péton, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Chair of Logistics Management, Gutenberg School of Management and Economics, Johannes Gutenberg - Universität Mainz = Johannes Gutenberg University (JGU), This research was supported by the Agence Nationale de la Recherche (ANR) under grant ANR-17-CE22-0015 and Deutsche Forschungsgemeinschaft (DFG) under grant IR 122/8-1., and ANR-17-CE22-0015,OPUSS,Optimisation de systèmes synchromodaux urbains(2017)
Subjects: Information Systems and Management, General Computer Science, Modeling and Simulation, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience; Last-mile collection and delivery services often rely on multi-echelon logistic systems with many types of practical spatial, temporal, and resource constraints. We consider three extensions of the basic 2-echelon vehicle routing problem that are of practical interest: First, second-echelon vehicles need to simultaneously deliver and collect goods at customers within their specified time window. Second, first-echelon vehicles are allowed to perform multiple trips during the planning horizon. Third, the intermediate facilities, called satellites, allow temporary storage of goods, but the quantity that can be stored at a time is limited. This paper integrates these complicating features in a single mathematical model. To solve the problem, we design a decomposition-based matheuristic. It employs a reduced and refined mixed-integer programming formulation and two echelon-specific large neighborhood searches (LNS) to produce improving routes for the respective echelon. The most important algorithmic component is the feasibility check of LNS that relies on a sequence of constant-time and low-complexity tests. The final test allows rescheduling of the operations taking place at a satellite. It adapts the double-justification algorithm known from the scheduling literature. Extensive computational experiments systematically evaluate the new components of the matheuristic and benchmark it against a recent exact method for a related problem. Moreover, the impact of the main problem features such as the number of satellites and their capacity as well as the integration of forward and reverse flows is analyzed.
Published: 2023

11. Evaluating the scalability of reconfigurable manufacturing systems at the design phase

Author: Audrey Cerqueus, Xavier Delorme, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Département Génie mathématique et industriel (FAYOL-ENSMSE), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Institut Henri Fayol, Institut Henri Fayol (FAYOL-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT), and ANR-21-CE10-0019,RECONFIDURABLE,Conception et pilotage de systèmes de production reconfigurables et durables(2021)
Subjects: Combinatorial analysis, Strategy and Management, Scalability, Line Balancing, [INFO]Computer Science [cs], Multi-objective indicator, Management Science and Operations Research, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Industrial and Manufacturing Engineering, Reconfigurable manufacturing systems
Abstract: International audience; To face market volatility, reconfigurable manufacturing systems (RMS) aim to efficiently and cost-effectively react to changes. We focus on one characteristic of RMS: the scalability (ability to adapt the volume of throughput). In the literature, the only few indicators for scalability are not always formally defined and usually only consider a partial view of scalability. Moreover, most of them are actually more suited for the configuration planning rather than for the design. However, the design of the RMS has a high impact on its scalability. We propose the first combinatorial definition of this problem and a new measure to fully assess the scalability of a system at the design phase. This measure, based on a multi-objective approach, can assess the scalability of single-product manufacturing systems, analysing all configurations that it can implement. We present numerical experiments to compare this indicator with a state-of-the-art scalability indicator and with some classical production line design indicators, and we show that future research should focus on scalability as a specific criterion to optimise during the design of an RMS. In addition, the results obtained allow us to infer some managerial insights on the best levers to use when performing a reconfiguration for scalability purpose.
Published: 2023

12. Impredicative Observational Equality

Author: Loïc Pujet, Nicolas Tabareau, Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Type theory, Rewriting theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Confluence, Safety, Risk, Reliability and Quality, Dependent types, Software, Termination
Abstract: International audience; In dependent type theory, impredicativity is a powerful logical principle that allows the definition of propositions that quantify over arbitrarily large types, potentially resulting in self-referential propositions. Impredicativity can provide a system with increased logical strength and flexibility, but in counterpart it comes with multiple incompatibility results. In particular, Abel and Coquand showed that adding definitional uniqueness of identity proofs (UIP) to the main proof assistants that support impredicative propositions (Coq and Lean) breaks the normalization procedure, and thus the type-checking algorithm. However, it was not known whether this stems from a fundamental incompatibility between UIP and impredicativity or if a more suitable algorithm could decide type-checking for a type theory that supports both. In this paper, we design a theory that handles both UIP and impredicativity by extending the recently introduced observational type theory TTobs with an impredicative universe of definitionally proof-irrelevant types, as initially proposed in the seminal work on observational equality of Altenkirch et al. We prove decidability of conversion for the resulting system, that we call CCobs , by harnessing proof-irrelevance to avoid computing with impredicative proof terms. Additionally, we prove normalization for CCobs in plain Martin-Löf type theory, thereby showing that adding proof-irrelevant impredicativity does not increase the computational content of the theory.
Published: 2023

13. Contextual classification of chatter based on unsupervised machine learning

Author: Wang, Zhiqiang, Ritou, Mathieu, da Cunha, Catherine, Furet, Benoît, Ecole Supérieure d'Ingénieurs Léonard de Vinci (ESILV), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and École Centrale de Nantes (ECN)
Subjects: [SPI]Engineering Sciences [physics], General Earth and Planetary Sciences, General Environmental Science
Abstract: International audience
Published: 2023

14. Differentiated Consistency for Worldwide Gossips

Author: Davide Frey, Achour Mostefaoui, Matthieu Perrin, Pierre-Louis Roman, Francois Taiani, the World Is Distributed Exploring the tension between scale and coordination (WIDE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Gestion de Données Distribuées (LS2N - équipe GDD), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Ecole Polytechnique Fédérale de Lausanne (EPFL), ANR-16-CE25-0005,OBrowser,Applications décentralisées sur navigateurs(2016), and ANR-20-CE25-0002,ByBloS,Au-delà des Blockchains : Modules de construction pour les applications à grande échelle zero-confiance multi-utilisateurs(2020)
Subjects: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Blockchain, Computational Theory and Mathematics, Hardware and Architecture, Signal Processing, Distributed system, Epidemic protocol, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Eventual consistency
Abstract: International audience; Eventual consistency is a consistency model that favors liveness over safety. It is often used in large-scale distributed systems where models ensuring a stronger safety incur performance that are too low to be deemed practical. Eventual consistency tends to be uniformly applied within a system, but we argue a demand exists for differentiated eventual consistency, e.g. in blockchain systems.We propose UPS to address this demand. UPS is a novel consistency mechanism that works in pair with our novel two-phase epidemic broadcast protocol GPS to offer differentiated eventual consistency and delivery speed. We propose two complementary analyses of the broadcast protocol: a continuous analysis and a discrete analysis based on compartmental models used in epidemiology. Additionally, we propose the formal definition of a scalable consistency metric to measure the consistency trade-off at runtime. We evaluate UPS in two simulated worldwide settings: a one-million-node network and a network emulating that of the Ethereum blockchain. In both settings, UPS reduces inconsistencies experienced by a majority of the nodes and reduces the average message latency for the remaining nodes.
Published: 2023

15. A feature-based survey of Fog modeling languages

Author: Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Software Stack for Massively Geo-Distributed Infrastructures (STACK), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and ANR-20-CE25-0017,SeMaFoR,Gestion autonome des ressources dans le Fog computing(2020)
Subjects: Computer Networks and Communications, Hardware and Architecture, Internet of Things, Modeling language, Fog Computing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Cloud Computing, Survey, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Software
Abstract: International audience; Fog Computing is a new paradigm aiming at decentralizing the Cloud by geographically distributing away computation, storage and network resources as well as related services. In order to design, develop, deploy, maintain and evolve Fog systems, languages are required for properly modeling both their entities (e.g., infrastructures, topologies, resources configurations) and their specific features such as the locality concept, QoS constraints applied on resources (e.g., energy, data privacy, latency) and their dependencies, the dynamicity of considered workloads, the heterogeneity of both applications and devices, etc. This paper provides a detailed overview of the current state-of-the-art in terms of Fog modeling languages. We relied on our long-term experience in Cloud Computing and Cloud Modeling to contribute a feature model describing what we believe to be the most important characteristics of Fog modeling languages. We also performed a systematic scientific literature search and selection process to obtain a list of already existing Fog modeling languages. Then, we evaluated and compared these Fog modeling languages according to the characteristics expressed in our feature model. As a result, we discuss in this paper the main capabilities of these Fog modeling languages and propose a corresponding set of open research challenges in this area. We expect the presented work to be helpful to both current and future researchers or engineers working on/with Fog systems, as well as to anybody genuinely interested in Fog Computing or more generally in distributed systems.
Published: 2023

16. Cosserat Rod Modeling of Continuum Robots from Newtonian and Lagrangian Perspectives

Author: Matthias Tummers, Vincent Lebastard, Frédéric Boyer, Jocelyne Troccaz, Benoît Rosa, M. Taha Chikhaoui, Gestes Medico-chirurgicaux Assistés par Ordinateur (TIMC-GMCAO), Translational Innovation in Medicine and Complexity / Recherche Translationnelle et Innovation en Médecine et Complexité - UMR 5525 (TIMC ), VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Robotique Et Vivant (LS2N - équipe ReV), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), ANR-11-LABX-0004,CAMI,Gestes Médico-Chirurgicaux Assistés par Ordinateur(2011), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), ANR-20-CE33-0001,COSSEROOTS,Théorie Cosserat pour les robots élancés contrôlés en déformation(2020), ANR-10-IAHU-0002,MIX-Surg,Institut de Chirurgie Mini-Invasive guidée par l'Image(2010), and ANR-18-CE19-0012,MACROS,Robots continus multi-actionnés pour la chirugie mini-invasive(2018)
Subjects: Cosserat Beams, Flexible Robots, Control and Systems Engineering, Control, Tendon/Wire Mechanism, Modeling, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Electrical and Electronic Engineering, Learning for Soft Robots, Computer Science Applications
Abstract: International audience; Cosserat rod theory proved efficient modeling performances in robotics, especially in the context of continuum robots, in the past decade. The implementation of such theory is far from being unique and straightforward. We consider the illustrative example of multi-segment, general routing tendon actuated continuum robots in their nominal static operating regime. This paper details two main approaches based on Cosserat rod modeling, namely the Newtonian and Lagrangian approaches. We provide a walk-through guide regarding theoretical derivations and numerical implementation of both approaches, together with a proof of equivalence. This comparative study is supplemented with novel contributions and extensions of each approach and in-depth discussion of their performances and applicability, as well as highlighting their special features.
Published: 2023

17. The Dial-a-Ride Problem with School Bell Time Adjustment

Author: Samuel Vercraene, Fabien Lehuédé, Thibaud Monteiro, Olivier Péton, Décision et Information pour les Systèmes de Production (DISP), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université Lumière - Lyon 2 (UL2), Institut National des Sciences Appliquées (INSA)-Université de Lyon, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Systèmes Logistiques et de Production (SLP ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université Lumière - Lyon 2 (UL2)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), IMT Atlantique (IMT Atlantique), and Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)
Subjects: healthcare logistics, large neighborhood search, paratransit, matheuristic, [INFO]Computer Science [cs], Transportation, school bell time adjustment, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], vehicle routing, dial-a-ride problem, Civil and Structural Engineering
Abstract: In this paper, we study a paratransit application in which children are transported every day from their homes to their special schools or medical-social establishments. To optimize this transportation system, the establishments collaborate to propose a joint transportation plan. We propose a new algorithm to jointly build vehicle routes that visit several establishments and simultaneously set the establishments’ opening hours. This algorithm combines a large neighborhood search, the resolution of a route-based model, and the progressive shrinkage of the planning window. It is applied to a real case from the area of Lyon in France, including 34 schools and 575 heterogeneous users served by a heterogeneous fleet of reconfigurable vehicles. On average, we show that in addition to the 10% of saving that can be expected by sharing vehicle routes between schools, 7% of additional savings can be achieved by school bell adjustment. This cost saving also decreases average user ride times and the number of vehicles required, creating longer routes that are more attractive for driver services. Funding: This work was supported by the European Union through the European Regional Development Fund [Grant RA0012500] and by the French Région Auvergne-Rhône-Alpes through the NOMAd project. Supplemental Material: The online appendices are available at https://doi.org/10.1287/trsc.2022.1160 .
Published: 2023

18. Excited state potential energy surfaces of N-phenylpyrrole upon twisting: reference values and comparison between BSE/GW and TD-DFT

Author: Iryna Knysh, Kelvine Letellier, Ivan Duchemin, Xavier Blase, Denis Jacquemin, Chimie Et Interdisciplinarité : Synthèse, Analyse, Modélisation (CEISAM), Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Laboratory of Atomistic Simulation (LSIM), Modélisation et Exploration des Matériaux (MEM), Institut de Recherche Interdisciplinaire de Grenoble (IRIG), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Grenoble Alpes (UGA)-Institut de Recherche Interdisciplinaire de Grenoble (IRIG), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Grenoble Alpes (UGA), Théorie de la Matière Condensée (NEEL - TMC), Institut Néel (NEEL), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), and ANR-20-CE29-0005,BSE-forces,Géométries dans l'état excité dans le formalisme de Bethe-Salpeter(2020)
Subjects: [PHYS]Physics [physics], [CHIM]Chemical Sciences, General Physics and Astronomy, Physical and Theoretical Chemistry
Abstract: International audience; The puzzling case of the mixing between the charge transfer (CT) and local excited (LE) characters upon twisting of the geometry of N-phenylpyrrole (N-PP) is investigated considering the six low-lying singlet excited states (ES). The theoretical calculations of the potential energy surfaces (PES) have been performed for these states using a Coupled Cluster method accounting for the impact of the contributions from the triples, many-body Green's function GW and Bethe–Salpeter equation (BSE) formalisms, as well as Time-Dependent Density Functional Theory (TD-DFT) using various exchange–correlation functionals. Our findings confirm that the BSE formalism is more reliable than TD-DFT for close-lying ES with mixed CT/LE nature. More specifically, BSE/GW yields a more accurate evolution of the excited state PES than TD-DFT when compared to the reference coupled cluster values. BSE/GW PES curves also show negligible exchange–correlation functional starting point dependency in sharp contrast with their TD-DFT counterparts.
Published: 2023

19. Strong Left-Invertibility and Strong Input-Observability of Nonlinear Time-Delay Systems

Author: Yahao Chen, Malek Ghanes, Jean-Pierre Barbot, École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, and Ecole Nationale Supérieure de l'Electronique et de ses Applications (ENSEA)
Subjects: Control and Optimization, Control and Systems Engineering, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract: International audience
Published: 2023

20. Coordination and thermodynamic properties of aqueous protactinium(<scp>v</scp>) by first-principle calculations

Author: Hanna Oher, Jérémy Delafoulhouze, Eric Renault, Valérie Vallet, Rémi Maurice, Institut des Sciences Chimiques de Rennes (ISCR), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Ecole Nationale Supérieure de Chimie de Rennes (ENSCR)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Chimie Et Interdisciplinarité : Synthèse, Analyse, Modélisation (CEISAM), Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Physico-Chimie Moléculaire Théorique (PCMT), Laboratoire de Physique des Lasers, Atomes et Molécules - UMR 8523 (PhLAM), Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Centre National de la Recherche Scientifique (CNRS), This work was supported by the Région des Pays de la Loire (RCT-PaPAn project) and by the French National Research Agency (ANR-21-CE29-0027, LABEX CaPPA/ANR-11-LABX-0005-01 and I-SITE ULNE/ANR-16-IDEX-0004 ULNE). HPC resources from CCIPL (Centre de Calcul Intensif des Pays de la Loire) were used., ANR-21-CE29-0027,CHESS,Chimie, spectroscopie et spéciation du protactinium(2021), ANR-16-IDEX-0004,ULNE,ULNE(2016), and ANR-11-LABX-0005,Cappa,Physiques et Chimie de l'Environnement Atmosphérique(2011)
Subjects: Chemical Physics (physics.chem-ph), [CHIM.THEO]Chemical Sciences/Theoretical and/or physical chemistry, Physics - Chemical Physics, FOS: Physical sciences, General Physics and Astronomy, Physical and Theoretical Chemistry
Abstract: International audience; Protactinium (Z = 91) is a very rare actinide with peculiar physico-chemical properties. Indeed, although one may naively think that it behaves similarly to either thorium or uranium by its position in the periodic table, it may in fact follow its own rules. Because of the quite small energy gap between its valence shells (in particular the 5f and 6d ones) and also the strong influence of relativistic effects on its properties, it is actually a challenging element for theoretical chemists. In this article, we combine experimental information, chemical arguments and standard first-principle calculations, complemented by implicit and explicit solvation, to revisit the stepwise complexation of aqueous protactinium(V) with sulfate and oxalate dianionic ligands (SO42- and C2O42-, respectively). From a methodological viewpoint, we notably conclude that it is necessary to at least saturate the coordination sphere of protactinium(V) to reach converged equilibrium constant values. Furthermore, in the case of single complexations (i.e. with one sulfate or oxalate ligand bound in the bidentate fashion), we show that it is necessary to maintain the coordination of one hydroxyl group, thought of in the [PaO(OH)]^3+ precursor, to obtain coherent complexation constants. Therefore, we predict that this hydroxyl group is maintained in the formation of 1:1 complexes while we confirm that it is withdrawn when coordinating three sulfate or oxalate ligands. Finally, we stress that this work is a first step toward the future use of theoretical predictions to elucidate the enigmatic chemistry of protactinium in solution.
Published: 2023

21. Hyperparameter selection for Discrete Mumford–Shah

Author: Lucas, Charles-Gérard, Pascal, Barbara, Pustelnik, Nelly, Abry, Patrice, Laboratoire de Physique de l'ENS Lyon (Phys-ENS), École normale supérieure de Lyon (ENS de Lyon)-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, and Nantes Université (Nantes Univ)
Subjects: non-convex minimization, contour detection, Image and Video Processing (eess.IV), Electrical Engineering and Systems Science - Image and Video Processing, Optimization and Control (math.OC), Stein Unbiased Risk Estimate, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], Signal Processing, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mumford-Shah functional, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Electrical and Electronic Engineering, Mathematics - Optimization and Control
Abstract: International audience; This work focuses on a parameter-free joint piecewise smooth image denoising and contour detection. Formulated as the minimization of a discrete Mumford-Shah functional and estimated via a theoretically grounded alternating minimization scheme, the bottleneck of such a variational approach lies in the need to fine-tune their hyperparameters, while not having access to ground truth data.To that aim, a Stein-like strategy providing optimal hyperparameters is designed, based on the minimization of an unbiased estimate of the quadratic risk.Efficient and automated minimization of the estimate of the risk crucially relies on an unbiased estimate of the gradient of the risk with respect to hyperparameters. Its practical implementation is performed using a forward differentiation of the alternating scheme minimizing the Mumford-Shah functional, requiring exact differentiation of the proximity operators involved. Intensive numerical experiments are performed on synthetic images with different geometry and noise levels, assessing the accuracy and the robustness of the proposed procedure.The resulting parameter-free piecewise-smooth estimation and contour detection procedure, not requiring prior image processing expertise nor annotated data, can then be applied to real-world images.
Published: 2022

22. Operationalizing circular economy. Reflections on a by-product upcycling value chain construction in the brewing sector

Author: Petiti, Gaelle, Rousselière, Samira, Duchaine, Sibylle, Korbel, Emilie, Cariou, Véronique, Mikhaylin, Sergey, Audebrand, Luc, K., Centre de Recherches sur l'Action Politique en Europe (ARENES), Université de Rennes (UR)-Institut d'Études Politiques [IEP] - Rennes-École des Hautes Études en Santé Publique [EHESP] (EHESP)-Centre National de la Recherche Scientifique (CNRS), Biomarqueurs prédictifs de la progression des metaplasies et dysplasies des epitheliums (Biométadys), Université de Nantes (UN), Laboratoire d'économie et de management de Nantes Atlantique (LEMNA), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Nantes Université - Institut d'Administration des Entreprises - Nantes (Nantes Univ - IAE Nantes), Nantes Université - pôle Sociétés, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sociétés, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-FR 3473 Institut universitaire Mer et Littoral (IUML), Le Mans Université (UM)-Université d'Angers (UA)-Université de Bretagne Sud (UBS)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Centre National de la Recherche Scientifique (CNRS)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Le Mans Université (UM)-Université d'Angers (UA)-Université de Bretagne Sud (UBS)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Centre National de la Recherche Scientifique (CNRS)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ), École nationale vétérinaire, agroalimentaire et de l'alimentation Nantes-Atlantique (ONIRIS), Laboratoire de génie des procédés - environnement - agroalimentaire (GEPEA), École nationale vétérinaire, agroalimentaire et de l'alimentation Nantes-Atlantique (ONIRIS)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - Institut Universitaire de Technologie Saint-Nazaire (Nantes Univ - IUT Saint-Nazaire), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Statistique, Sensométrie et Chimiométrie (StatSC), École nationale vétérinaire, agroalimentaire et de l'alimentation Nantes-Atlantique (ONIRIS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Institut des Nutraceutiques et des Aliments Fonctionnels (INAF), Université Laval [Québec] (ULaval), and RFI Food for Tomorrow of France, Pays-de-la-Loire
Subjects: brewer's spent grain, sustainable development, circular economy, by-product, upcycling, General Medicine, [SHS.ECO]Humanities and Social Sciences/Economics and Finance
Abstract: International audience; The concept of a circular economy has arisen in response to the problems related to the limits of the dominant linear economic system in contemporary societies and of the finite resources of our planet. The transition from waste status to a raw material by reusing it makes it possible to modify its value for future users and thus to redistribute this value. This article focuses on the case of spent grain to illustrate the role of the circular economy in food transition. Bases on a series of interviews, the paper discusses business modeling to operationalize sustainable development in the food sector and presents a discussion and conclusion on the advantages and limitations of the deployment of the circular economy in the brewing industry, taking into account and understanding the interests and constraints of various stakeholders.
Published: 2022

23. Torus stability under Kato bounds on the Ricci curvature

Author: Carron, Gilles, Mondello, Ilaria, Tewodrose, David, Laboratoire de Mathématiques Jean Leray (LMJL), Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Laboratoire Analyse et Mathématiques Appliquées (LAMA), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, and Carron, Gilles
Subjects: Mathematics - Differential Geometry, Differential Geometry (math.DG), [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG], General Mathematics, FOS: Mathematics, Mathematics::Metric Geometry, Mathematics::Differential Geometry, [MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG], Mathematics::Geometric Topology, Mathematics::Symplectic Geometry
Abstract: We show two stability results for a closed Riemannian manifold whose Ricci curvature is small in the Kato sense and whose first Betti number is equal to the dimension. The first one is a geometric stability result stating that such a manifold is Gromov-Hausdorff close to a flat torus. The second one states that, under a stronger assumption, such a manifold is diffeomorphic to a torus: this extends a result by Colding and Cheeger-Colding obtained in the context of a lower bound on the Ricci curvature., 24 pages. Comments are welcome!
Published: 2022

24. Editorial Board contributions celebrating the 60th Anniversary of IJPR: Part 3

Author: Dolgui, Alexandre, Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Strategy and Management, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience
Published: 2022

25. Robust optimization approaches for purchase planning with supplier selection under lead time uncertainty

Author: Simon Thevenin, Oussama Ben-Ammar, Nadjib Brahimi, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), EuroMov - Digital Health in Motion (Euromov DHM), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Montpellier (UM), ESC Rennes School of Business, and ESC Rennes School of Business (ESC [Rennes])
Subjects: Information Systems and Management, General Computer Science, Modeling and Simulation, Lot-sizing, Production, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Robust optimization, Supplier selection, Purchasing, Lead time Uncertainty, Industrial and Manufacturing Engineering
Abstract: International audience; Supplier reliability is a critical issue for manufacturing companies. Delivery delays from suppliers create backlog and firefighting on the shop floors. To avoid disruption and hedge against supplier lead time uncertainty, companies rely on diversification, multi-sourcing, and safety lead times. In multi-sourcing, the buyer might order the same product (raw material) from different suppliers. The design of a robust and cost-efficient purchasing/ordering plan in multi-sourcing is a complex task which has a strong impact on the performance of the company. In this study, we investigate the use of robust optimization for the integrated lot-sizing and supplier selection problem under lead time uncertainty. More specifically, we use polyhedral budgeted uncertainty sets. The resulting model determines the ideal lot sizes to minimize the total costs taking into consideration suppliers’ reliability and prices. To solve this problem, a row and column generation approach is proposed. To alleviate scalability issues, we enhance the row and column generation through a robust counterpart formulation, and we propose an efficient fix-and-optimize approach. Our extensive computational experiments show that the fix-and-optimize approach yields good quality solutions within a reasonable amount of computational time. We provide insights into supplier diversification based on the risk profile of the decision-maker. One of the conclusions is that an extremely risk-averse decision-maker selects a single supplier, namely the most reliable one even if it does not offer the lowest price.
Published: 2022

26. Ensemble-Based Deep Learning Model for Network Traffic Classification

Author: Ons Aouedi, Kandaraj Piamrat, Benoit Parrein, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Software Stack for Massively Geo-Distributed Infrastructures (STACK), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), STR (LS2N - équipe STR ), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: machine learning, Computer Networks and Communications, decision tree, ensemble learning, deep learning, [INFO]Computer Science [cs], Electrical and Electronic Engineering, Blending, traffic classification
Abstract: International audience; Network Traffic Classification enables a number of practical applications ranging from network monitoring to resource management, with security implications as well. Nowadays, traffic classification has become a challenging task in order to distinguish among a variety of applications due to the huge amount of generated traffic. Therefore, developing Machine Learning (ML) models, which can successfully identify network applications, is one of the most important tasks. However, among the ML models applied to network traffic classification so far, no model outperforms all the others. To solve these issues, this paper proposes a novel Deep Learning (DL)-based approach that incorporates multiple Decision Tree based models. This approach employs a non-linear blending ensemble method by combining tree-based classifiers through DL in order to maximize generalization accuracy. This ensemble consists of two levels called base classifiers and meta-classifiers. In the first level, Decision Tree-based models are used as the base classifiers while in the second level, DL is used as a meta-model to combine the outputs of the base classifiers. Using two publicly available datasets, we show that our proposed ensemble is suitable for network traffic classification and outperforms the linear blending (using logistic regression as meta-model) as well as several well-known ML models, which are Support Vector Machine (SVM), Decision Tree (DT), Random Forest (RF), Multi-Layer Perceptron (MLP), AdaBoost, K-Nearest Neighbors (KNN), LightGBM, Catboost, and XGBoost.
Published: 2022

27. Trajectorial hypocoercivity and application to control theory

Author: Dietert, Helge, Hérau, Frédéric, Hutridurga, Harsha, Mouhot, Clément, Université Paris Cité (UPCité), Sorbonne Université (SU), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de Mathématiques Jean Leray (LMJL), Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Indian Institute of Technology Bombay (IIT Bombay), University of Cambridge [UK] (CAM), ANR-18-CE40-0027,SingFlows,Ecoulements avec singularités : couches limites, filaments de vortex, interaction vague-structure(2018), and European Project: 279600,EC:FP7:ERC,ERC-2011-StG_20101014,MATKIT(2011)
Subjects: Hypocoercivity, Mathematics - Analysis of PDEs, divergence inequality, spectral gap, kinetic theory, FOS: Mathematics, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], General Medicine, Fokker-Planck, controllability, Bogovosiǐ operator, Analysis of PDEs (math.AP)
Abstract: We present the quantitative method of the recent work arXiv:2209.09340 in a simple setting, together with a compactness argument that was not included in arXiv:2209.09340 and has interest per se. We are concerned with the exponential stabilization (spectral gap) for linear kinetic equations with degenerate thermalization, i.e. when the collision operator vanishes on parts of the spatial domain. The method in arXiv:2209.09340 covers both scattering and Fokker-Planck type operators, and deals with external potential and boundary conditions, but in these notes we present only its core argument and restrict ourselves to the kinetic Fokker-Planck in the periodic torus with unit velocities and a thermalization degeneracy. This equation is not covered by the previous results of Bernard and Salvarani (2013), Han-Kwan and L\'eautaud (2015), Evans and Moyano (arXiv:1907.12836)., Comment: 10 pages, 1 figure
Published: 2022

28. Mechanical stress driven by rigidity sensing governs epithelial stability

Author: Surabhi Sonam, Lakshmi Balasubramaniam, Shao-Zhen Lin, Ying Ming Yow Ivan, Irina Pi-Jaumà, Cecile Jebane, Marc Karnat, Yusuke Toyama, Philippe Marcq, Jacques Prost, René-Marc Mège, Jean-François Rupprecht, Benoît Ladoux, Institut Jacques Monod (IJM (UMR_7592)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Centre de Physique Théorique - UMR 7332 (CPT), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), CPT - E5 Physique statistique et systèmes complexes, Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Mechanobiology Institute [Singapore] (MBI), National University of Singapore (NUS), Sorbonne Université - Faculté de Physique (UFR 925), Sorbonne Université (SU), Procédés et Mécanique des Matériaux (PMM), Institut de Recherche en Génie Civil et Mécanique (GeM), Centre National de la Recherche Scientifique (CNRS)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université - Institut Universitaire de Technologie Saint-Nazaire (Nantes Univ - IUT Saint-Nazaire), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - Ecole Polytechnique de l'Université de Nantes (Nantes Univ - EPUN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), ANR-16-CONV-0001,CENTURI,CenTuri : Centre Turing des Systèmes vivants(2016), ANR-17-CE13-0012,MecanoAdipo,Mécanotransduction des cellules souches adipeuses et applications pour l'ingénierie tissulaire(2017), ANR-20-CE30-0023,COVFEFE,Hydrodynamique Covariante, Fluctuante et Active des Ecoulements Epithéliaux(2020), ANR-19-CE13-0016,MyoFuse,Contrôle génétique et mécanique de la fusion des myoblastes(2019), Biophysique (BIOPHYSIQUE), Institut Lumière Matière [Villeurbanne] (ILM), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire Physico-Chimie Curie [Institut Curie] (PCC), and Institut Curie [Paris]-Institut de Chimie du CNRS (INC)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [PHYS]Physics [physics], [SDV]Life Sciences [q-bio], General Physics and Astronomy, [SDV.BC]Life Sciences [q-bio]/Cellular Biology
Abstract: Epithelia act as a barrier against environmental stress and abrasion and in vivo they are continuously exposed to environments of various mechanical properties. The impact of this environment on epithelial integrity remains elusive. By culturing epithelial cells on 2D hydrogels, we observe a loss of epithelial monolayer integrity through spontaneous hole formation when grown on soft substrates. Substrate stiffness triggers an unanticipated mechanical switch of epithelial monolayers from tensile on soft to compressive on stiff substrates. Through active nematic modelling, we find unique patterns of cell shape texture called nematic topological defects that underpin large isotropic stress fluctuations at certain locations thereby triggering mechanical failure of the monolayer and hole opening. Our results show that substrate stiffness provides feedback on monolayer mechanical state and that topological defects can trigger stochastic mechanical failure, with potential application towards a mechanistic understanding of compromised epithelial integrity in bacterial infection, tumor progression and morphogenesis.
Published: 2022

29. Knowledge reuse for decision aid in additive manufacturing: application on cost quotation support

Author: Qussay Jarrar, Farouk Belkadi, Remy Blanc, Kenan Kestaneci, Alain Bernard, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), and École Centrale de Nantes (Nantes Univ - ECN)
Subjects: [SPI]Engineering Sciences [physics], Strategy and Management, Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience
Published: 2022

30. A self‐stabilised walking gait for humanoid robots based on the essential model with internal states

Author: Qiuyue Luo, Christine Chevallereau, Yongsheng Ou, Jianxin Pang, Victor De‐León‐Gómez, Yannick Aoustin, Shenzhen Institute of Advanced Technology [Shenzhen] (SIAT), Chinese Academy of Sciences [Beijing] (CAS), Research institute of UBTech Robotics, Shenzhen, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Robotique Et Vivant (LS2N - équipe ReV), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Research Institute of UBTech Robotics, Shenzen, Universidad Autónoma de Coahuila (UAdeC), Nantes Université - Institut d'Administration des Entreprises - Nantes (Nantes Univ - IAE Nantes), Nantes Université - pôle Sociétés, and Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)
Subjects: Human-Computer Interaction, humanoid and bipedal locomotion, Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture, dynamic stability, passive walking, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Information Systems
Abstract: International audience; Walking stability is one of the key issues for humanoid robots. A self-stabilised walking gait for a full dynamic model of humanoid robots is proposed. For simplified models, that is, the linear inverted pendulum model and variable-length inverted pendulum model, self-stabilisation of walking gait can be obtained if virtual constraints are properly defined. This result is extended to the full dynamic model of humanoid robots by using an essential dynamic model, which is developed based on the zero dynamics concept. With the proposed method, a robust stable walking for a humanoid robot is achieved by adjusting the step timing and landing position of the swing foot automatically, following its intrinsic dynamic characteristics. This exempts the robot from the time-consuming high-level control approaches, especially when a full dynamic model is applied. How different walking patterns/features (i.e., the swing foot motion, the vertical centre of mass motion, the switching manifold configuration, etc.) affect the stability of the walking gait is analysed. Simulations are conducted on robots Romeo and TALOS to support the results.
Published: 2022

31. Stochastic Dual Dynamic Programming for Multiechelon Lot Sizing with Component Substitution

Author: Simon Thevenin, Yossiri Adulyasak, Jean-François Cordeau, Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), HEC Montréal (HEC Montréal), Groupe d’études et de recherche en analyse des décisions (GERAD), and École Polytechnique de Montréal (EPM)-McGill University = Université McGill [Montréal, Canada]-HEC Montréal (HEC Montréal)-Université du Québec à Montréal = University of Québec in Montréal (UQAM)
Subjects: stochastic dual dynamic programming, Lot sizing, General Engineering, stochastic demand, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], stochastic optimization
Abstract: This work investigates lot sizing with component substitution under demand uncertainty. The integration of component substitution with lot sizing in an uncertain demand context is important because the consolidation of the demand for components naturally allows risk-pooling and reduces operating costs. The considered problem is relevant not only in a production context, but also in the context of distribution planning. We propose a stochastic programming formulation for the static–dynamic type of uncertainty, in which the setup decisions are frozen but the production and consumption quantities are decided dynamically. To tackle the scalability issues commonly encountered in multistage stochastic optimization, this paper investigates the use of stochastic dual dynamic programming (SDDP). In addition, we consider various improvements of SDDP, including the use of strong cuts, the fast generation of cuts by solving the linear relaxation of the problem, and retaining the average demand scenarios. Finally, we propose two heuristics, namely, a hybrid of progressive hedging with SDDP and a heuristic version of SDDP. Computational experiments conducted on well-known instances from the literature show that the heuristic version of SDDP outperforms other methods. The proposed method can plan with up to 10 decision stages and 20 scenarios per stage, which results in 2010 scenario paths in total. Moreover, as the heuristic version of SDDP can replan to account for new information in less than a second, it is convenient in a dynamic context. Summary of Contribution: We believe our paper is suitable for the mission and scope of IJOC because we design efficient algorithms to solve an operations research problem. More precisely, we investigate the use of stochastic dual dynamic programming (SDDP) for lot sizing with component substitution under demand uncertainty. In this work, we consider the static–dynamic decision framework, and a good approximation of the expected costs in this context requires us to solve the problem with a large number of scenarios of future demand. As solving the considered problem is computationally intensive, we investigate the use of SDDP, which decomposes the problem per decision stage. We study several enhancements of SDDP, such as the use of strong cuts, the incorporation of a lower bound computed with the average demand scenario, the multicut version of SDDP, and scenario sampling with randomized quasi–Monte Carlo. Despite these improvements, the convergence of SDDP remains slow. Consequently, we propose a heuristic version of SDDP and a hybrid of progressive hedging and SDDP. We present the results of an extensive computational study performed on well-known instances from the literature. The results show that the heuristic SDDP outperforms the hybrid of progressive hedging with SDDP and state-of-the-art methods from the literature. Besides, our analysis shows that component substitution can pool the risk, and it allows maintaining the same service level with less inventory. The presented methodology can be used by practitioners to size their production lots, and subsequent researchers can build upon our results to consider uncertainty in other parameters, such as lead times, yields, and production capacities. History: Accepted by Andrea Lodi, Area Editor for Design & Analysis of Algorithms – Discrete. Funding: This work was supported by Mitacs and the Institut de Valorisation des Données (IVADO). Supplemental Material: The online supplement is available at https://doi.org/10.1287/ijoc.2022.1215 .
Published: 2022

32. Driving around bends with or without shoulders: The influence of bend direction

Author: Mecheri, Sami, Mars, Franck, Lobjois, Régis, Institut de Recherche Biomédicale des Armées [Brétigny-sur-Orge] (IRBA), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Laboratoire sur la Perception, les Intéractions, les Comportements et la Simulation des usagers de la route et de la rue (COSYS-PICS-L), Université Gustave Eiffel, and Délégation à la Sécurité Routière, PROFIL+ project (grant number 2201141611)
Subjects: Curve, Driver behavior, Automotive Engineering, Paved shoulder, [SHS.PSY]Humanities and Social Sciences/Psychology, Transportation, Driving simulator, Steering control, Applied Psychology, Civil and Structural Engineering
Abstract: International audience; Paved shoulders have long been used to create "forgiving" roads where drivers can maintain control of their vehicles even when as they drift out of the lane. While the safety benefits of shoulders have been well documented, their effects on driver behavior around curves have scarcely been examined. The purpose of this paper is to fill this gap by assessing whether the addition of shoulders affects driver behavior differently as a function of bend direction. Driver behavior in a driving simulator was analyzed on left and right curves of two-lane rural roads in the presence and absence of 0.75-m and 1.25-m shoulders. The results demonstrated significant changes in drivers' lateral control when shoulders were provided. In the absence of oncoming traffic, the shoulders caused participants to deviate more toward the inner lane edge at curve entry, at the apex and at the innermost position on right bends but not left ones. In the presence of oncoming traffic, this also occurred at the apex and the innermost position, leading participants to spend more time off the lane on right curves. Participants did not slow down in either traffic condition to compensate for steering farther inside, thereby increasing the risk of lane departure on right curves equipped with shoulders. These findings highlight the direction-specific influence of shoulders on a driver's steering control when driving around bends. They provide arguments supporting the idea that drivers view paved shoulders as a new field of safe travel on right curves. Recommendations are made to encourage drivers to keep their vehicle within the lane on right bends and to prevent potential interference with cyclists when a shoulder is present.
Published: 2022

33. Mechatronic design of dynamically decoupled manipulators based on the control performance improvement

Author: Yaodong Lu, Yannick Aoustin, Vigen Arakelian, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Robots and Machines for Manufacturing, Society and Services (LS2N - équipe RoMas), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Robotique Et Vivant (LS2N - équipe ReV)
Subjects: Control and Optimization, Control and Systems Engineering, General Mathematics, Mechanical Engineering, Modeling and Simulation, Software, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Computer Science Applications
Abstract: The control of industrial robot manipulators presents a difficult problem for control engineers due to the complexity of their nonlinear dynamics models. Nonlinear controls based on feedback linearization are developed to meet control requirements. Model-based nonlinear control is highly sensitive to parameter errors and leads to problems of robustness for tracking trajectories at high speeds, and there is the additional problem of a heavy computational burden to consider in the design of nonlinear controllers. In this paper, a mechatronic design approach is proposed, which aims to facilitate controller design by redesigning the mechanical structure. The problem is approached in two steps: first, the dynamic decoupling conditions of manipulators are described and discussed, involving redistribution of the moving mass, which leads to the decoupling of motion equations. A classical linear control law is then used to track the desired efficient bang-bang profile trajectory. Then, in the presence of parameter uncertainty and external disturbances, the nonlinear controls with simple structures are adopted to stabilize the decoupled system asymptotically. An analysis of the results from a simulation of this approach demonstrates its effectiveness in controller design. The proposed improvement in control performance is illustrated via two spatial manipulators.
Published: 2022

34. A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things

Author: Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Massimo Tisi, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Université du Québec à Rimouski (UQAR), Institut Universitaire de Technologie - Nantes (Nantes Univ - IUT Nantes), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Nantes Université (Nantes Univ)
Subjects: Policy Enforcement, Model Transformation, Computer Networks and Communications, Internet of Things, Software Engineering, Model-Driven Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Code Generation, Computer Science Applications, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Hardware and Architecture, Signal Processing, Information Systems
Abstract: International audience; The Internet of Things (IoT) aims for connecting Anything, Anywhere, Anytime (AAA). This assumption brings about several software engineering challenges that constitute a serious obstacle to its wider adoption. The main feature of the Internet of Things (IoT) is genericity w.r.t the variability of software and hardware technologies. Model-Driven Engineering (MDE) is a paradigm that advocates using models to address software engineering problems. It can help to meet the genericity of the IoT from a software engineering perspective. Existing MDE approaches for the IoT focus only on modeling the internal behavior of things but lack a comprehensive approach dedicated to network modeling. In the present paper, we introduce a network-oriented methodology based on MDE to unify the IoT's heterogeneous concepts. Fundamentally, we avoid the intrinsic heterogeneity of the IoT by separating the network's specification (i.e., the things, the communication scheme, and its constraints) from its concrete implementation (i.e., the low-level artifacts such as source code and documentation). Technically, the methodology relies on a model-based Domain-Specific Language (DSL) and a code generator. The former enables the modeling of the network's specification, and the latter provides a procedure to generate the low-level artifacts from this specification. Our results show that this methodology makes IoT's software engineering more rigorous, helps prevent bugs earlier, and saves time.
Published: 2022

35. The impacts of digital technologies on coping with the COVID-19 pandemic in the manufacturing industry: a systematic literature review

Author: Marco Ardolino, Andrea Bacchetti, Alexandre Dolgui, Guglielmo Franchini, Dmitry Ivanov, Anand Nair, Università degli Studi di Brescia = University of Brescia (UniBs), University of Brescia, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Berlin School of Economics and Law, Michigan State University [East Lansing], and Michigan State University System
Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Strategy and Management, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Management Science and Operations Research, Industrial and Manufacturing Engineering
Abstract: International audience; The COVID-19 pandemic’s impacts have been devastating for the global economy, and particularly for manufacturing companies. Many firms were unprepared for a crisis of this magnitude and adapted their operations in an ad-hoc manner. Some of these adaptations were facilitated by digital technologies (DTs). This article examines extant literature using a systematic review methodology in order to extend our understanding of what DTs have been used in manufacturing companies during the pandemic, how DTs have helped manufacturing companies cope with the pandemic, and how these innovations can be used in the post-pandemic world. The major outcome of our study is a novel classification of DT applications in the pandemic setting in the manufacturing industry. In addition, we propose an agenda for future research.
Published: 2022

36. Transparency Analysis of a Passive Heavy Load Comanipulation Arm

Author: Thomas Muller, Kevin Subrin, Denis Joncheray, Alain Billon, Sebastien Garnier, NEODITECH, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Robots and Machines for Manufacturing, Society and Services (LS2N - équipe RoMas), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and École Centrale de Nantes (Nantes Univ - ECN)
Subjects: Human-Computer Interaction, [SPI]Engineering Sciences [physics], Artificial Intelligence, Computer Networks and Communications, Control and Systems Engineering, Signal Processing, Human Factors and Ergonomics, Computer Science Applications
Abstract: International audience
Published: 2022

37. Multiscale Study of PEMFC in Marine Environment: Impact of a NaCl Spray on Durability

Author: Marie Lamard, Bruno Auvity, Paul Buttin, Sébastien Rosini, Clément Retière, CEA Tech Pays-de-la-Loire (DP2L), CEA Tech en régions (CEA-TECH-Reg), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Laboratoire de Thermique et d’Energie de Nantes (LTeN), Centre National de la Recherche Scientifique (CNRS)-Nantes Université - Ecole Polytechnique de l'Université de Nantes (Nantes Univ - EPUN), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Département de l'électricité et de l'hydrogène dans les transports (DEHT), Laboratoire d'Innovation pour les Technologies des Energies Nouvelles et les nanomatériaux (LITEN), Institut National de L'Energie Solaire (INES), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS)-Institut National de L'Energie Solaire (INES), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry])-Centre National de la Recherche Scientifique (CNRS), The present work was financially supported by the Pays de la Loire Region., and ECS (the Electrochemical Society)
Subjects: [SPI.NRJ]Engineering Sciences [physics]/Electric power
Abstract: In the wake of the growing environmental challenges, hydrogen produced from renewable energy is a good candidate as a substitute for conventional fuels. Indeed, fuel cells can produce electricity thanks to air and hydrogen, and only reject water. The use of this technology is currently emerging in various sectors, such as the maritime industry. However, sea salt aerosols, mostly composed of sodium chloride (NaCl), can damage fuel cells. So far, only a few studies have been dedicated to the impact of NaCl on Proton Exchange Membrane Fuel Cells (PEMFCs) though showing that salty air can induce a significant loss of performance without clearly identifying the underlying physicochemical mechanisms [1][2][3]. Thus, the present experimental work investigates the effects of a salt spray injected into the airflow of single PEMFC cells and stacks at various time scales and contamination levels, with the final aim of identifying the appropriate PEMFC stack protection needed for maritime applications. A dedicated experimental setup generating salt spray in the cathode airflow of a single cell and 5-cells stack has been designed, realized and characterized. The NaCl concentration range used is from 10 mg/m3 to 5 g/m3, to reproduce different types of salty environments. Cells and stacks are operated in constant current density mode. The study is conducted under the conditions of accelerated stress tests. When polluted at high concentrations, single cells degradation becomes significant after only a few minutes of operation (Figure 1) and after a few hours for stacks. Even under low concentrated environments, the single cell voltage decreases faster than the baseline (ie reference voltage with pure water in air stream), leading to PEMFC lifetime shortening. It has been observed that cathode rinsing with nitrogen flow or operation under pure water results in partial cell performance recovery. Moreover, starts-up and shuts-down operated during tests can have a positive or negative influence on cell performance, depending on the break duration. Even when the tests revealed only weak decrease in power, Membrane Electrode Assemblies (MEA) and bipolar plates (BP) post-mortem characterizations highlight degradations. Scanning Electron Microscopy (SEM) studies coupled with Energy Dispersive X-ray Spectroscopy (EDS) have contributed to the identification of components in MEA and BP. As expected, chlorine reaches not only the cathode gas diffusion layer (GDL) and catalyst layer (CL) but also the anode CL by crossing the membrane [4]. According to the literature, chloride adsorption on Pt surface or Pt dissolution reduces the active area [3] whereas sodium ion contaminates the membrane [1]. Moreover, corrosion products from metallic components have been found. Corrosion marks identified as stainless steel from BP are present in the stack effluents and MEAs. As for single cell, compounds from current collectors (gold, nickel and copper) are present in the GDL and CL. In the near future, for single cell tests, non-metallic current collectors will be used in order to discriminate the effects of the direct degradation of salt spray on MEA and indirect degradation coming from corrosion products of metallic cell components. Overall, the present study reports that NaCl effects on PEMFCs not only depend on the concentration of the NaCl mist but also on the MEA type, current collectors/BP material, and startup/shutdown procedure. In the full paper and oral presentation, tests conducted with less concentrated NaCl droplets will also be presented, with the aim of determining adegradation threshold for single cells. References [1] M. S. Mikkola et al., Fuel Cells, vol. 7, p. 153-158, 2007. [2] B. V. Sasank et al., J. Mar. Sci. Technol., vol. 21, p. 471-478, 2016. [3] S. Uemura et al., ECS Trans., vol. 80, p. 651-655, 2017. [4] H. Li et al., J. Power Sources, vol. 196, p. 6249-6255, 2011. Figure 1
Published: 2022

38. An olivine cumulate outcrop on the floor of Jezero crater, Mars

Author: Liu, Y, Tice, MM, Schmidt, ME, Treiman, AH, Kizovski, TV, Hurowitz, JA, Allwood, AC, Henneke, J, Pedersen, DAK, VanBommel, SJ, Jones, MWM, Knight, AL, Orenstein, BJ, Clark, BC, Elam, WT, Heirwegh, CM, Barber, T, Beegle, LW, Benzerara, K, Bernard, S, Beyssac, O, Bosak, T, Brown, AJ, Cardarelli, EL, Catling, DC, Christian, Cloutis, EA, Cohen, BA, Davidoff, S, Fairén, AG, Farley, KA, Flannery, DT, Galvin, A, Grotzinger, JP, Gupta, S, Hall, J, Herd, CDK, Hickman-Lewis, K, Hodyss, RP, Horgan, BHN, Johnson, Jørgensen, JL, Kah, LC, Maki, JN, Mandon, L, Mangold, N, McCubbin, FM, McLennan, SM, Moore, K, Nachon, M, Nemere, P, Nothdurft, LD, Núñez, JI, O'Neil, L, Quantin-Nataf, CM, Sautter, V, Shuster, DL, Siebach, KL, Simon, JI, Sinclair, KP, Stack, KM, Steele, A, Tarnas, JD, Tosca, NJ, Uckert, K, Udry, A, Wade, LA, Weiss, BP, Wiens, RC, Williford, KH, Zorzano, M-P, Mangold, Nicolas, Cosmochimie [IMPMC] (IMPMC_COSMO), Institut de minéralogie, de physique des matériaux et de cosmochimie (IMPMC), Muséum national d'Histoire naturelle (MNHN)-Institut de recherche pour le développement [IRD] : UR206-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Muséum national d'Histoire naturelle (MNHN)-Institut de recherche pour le développement [IRD] : UR206-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Planétologie et Géosciences [UMR_C 6112] (LPG), Université d'Angers (UA)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Laboratoire de Géologie de Lyon - Terre, Planètes, Environnement (LGL-TPE), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut national des sciences de l'Univers (INSU - CNRS)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Liu, Y [0000-0003-0308-0942], Tice, MM [0000-0003-2560-1702], Schmidt, ME [0000-0003-4793-7899], Treiman, AH [0000-0002-8073-2839], Kizovski, TV [0000-0001-8188-9769], Hurowitz, JA [0000-0002-5857-8652], Henneke, J [0000-0002-3195-7417], Pedersen, DAK [0000-0001-7182-8567], VanBommel, SJ [0000-0002-6565-0827], Jones, MWM [0000-0002-0720-8715], Knight, AL [0000-0001-6832-8190], Orenstein, BJ [0000-0002-6586-4227], Clark, BC [0000-0002-5546-8757], Beegle, LW [0000-0002-4944-4353], Benzerara, K [0000-0002-0553-0137], Bernard, S [0000-0001-5576-7020], Beyssac, O [0000-0001-8879-4762], Bosak, T [0000-0001-5179-5323], Brown, AJ [0000-0002-9352-6989], Cardarelli, EL [0000-0001-5451-2309], Catling, DC [0000-0001-5646-120X], Christian, JR [0000-0003-4646-2852], Cloutis, EA [0000-0001-7301-0929], Cohen, BA [0000-0001-5896-5903], Davidoff, S [0000-0002-4417-7268], Fairén, AG [0000-0002-2938-6010], Flannery, DT [0000-0001-8982-496X], Grotzinger, JP [0000-0001-9324-1257], Gupta, S [0000-0001-6415-1332], Hall, J [0000-0003-0884-3777], Herd, CDK [0000-0001-5210-4002], Hickman-Lewis, K [0000-0001-8014-233X], Hodyss, RP [0000-0002-6523-3660], Horgan, BHN [0000-0001-6314-9724], Johnson, JR [0000-0002-5586-4901], Jørgensen, JL [0000-0002-0343-239X], Kah, LC [0000-0001-7172-2033], Maki, JN [0000-0002-7887-0343], Mandon, L [0000-0002-9310-0742], Mangold, N [0000-0002-0022-0631], McCubbin, FM [0000-0002-2101-4431], McLennan, SM [0000-0003-4259-7178], Nachon, M [0000-0003-0417-7076], Nothdurft, LD [0000-0001-9646-9070], Núñez, JI [0000-0003-0930-6674], O'Neil, L [0000-0003-1555-8229], Quantin-Nataf, CM [0000-0002-8313-8595], Shuster, DL [0000-0003-2507-9977], Siebach, KL [0000-0002-6628-6297], Simon, JI [0000-0002-3969-8958], Sinclair, KP [0000-0001-6261-4591], Stack, KM [0000-0003-3444-6695], Steele, A [0000-0001-9643-2841], Tarnas, JD [0000-0002-6256-0826], Tosca, NJ [0000-0003-4415-4231], Uckert, K [0000-0002-0859-5526], Udry, A [0000-0002-0074-8110], Wade, LA [0000-0001-8254-8181], Weiss, BP [0000-0003-3113-3415], Wiens, RC [0000-0002-3409-7344], Zorzano, M-P [0000-0002-4492-9650], and Apollo - University of Cambridge Repository
Subjects: [SDU.STU.PL]Sciences of the Universe [physics]/Earth Sciences/Planetology, Multidisciplinary, 5101 Astronomical Sciences, 37 Earth Sciences, 3705 Geology, 5109 Space Sciences, [SDU.STU.PL] Sciences of the Universe [physics]/Earth Sciences/Planetology, 51 Physical Sciences, 3703 Geochemistry
Abstract: International audience; The geological units on the floor of Jezero crater, Mars, are part of a wider regional stratigraphy of olivine-rich rocks, which extends well beyond the crater. We investigate the petrology of olivine and carbonate-bearing rocks of the Séítah formation in the floor of Jezero. Using multispectral images and x-ray fluorescence data, acquired by the Perseverance rover, we performed a petrographic analysis of the Bastide and Brac outcrops within this unit. We find that these outcrops are composed of igneous rock, moderately altered by aqueous fluid. The igneous rocks are mainly made of coarse-grained olivine, similar to some Martian meteorites. We interpret them as an olivine cumulate, formed by settling and enrichment of olivine through multi-stage cooling of a thick magma body.
Published: 2022

39. Tuning the Charge Transfer in λ5-Phosphinines with Amino Substituents

Author: Nicolas Ledos, Thitiporn Sangchai, Iryna Knysh, Manon H. E. Bousquet, Payal Manzhi, Marie Cordier, Denis Tondelier, Bernard Geffroy, Denis Jacquemin, Pierre-Antoine Bouit, Muriel Hissler, Institut des Sciences Chimiques de Rennes (ISCR), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Ecole Nationale Supérieure de Chimie de Rennes (ENSCR)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Chimie Et Interdisciplinarité : Synthèse, Analyse, Modélisation (CEISAM), Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Laboratoire de physique des interfaces et des couches minces [Palaiseau] (LPICM), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Innovation en Chimie des Surfaces et NanoSciences (LICSEN UMR 3685), Nanosciences et Innovation pour les Matériaux, la Biomédecine et l'Energie (ex SIS2M) (NIMBE UMR 3685), Institut Rayonnement Matière de Saclay (IRAMIS), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut Rayonnement Matière de Saclay (IRAMIS), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), ANR-17-CE09-0020,FluoHyb,Nouveaux matériaux hybrides fluorescents basés sur le concept de l'émission induite par agrégation de chromophores organiques greffés sur des nanoparticules inorganiques.(2017), and ANR-20-CE29-0005,BSE-forces,Géométries dans l'état excité dans le formalisme de Bethe-Salpeter(2020)
Subjects: [CHIM.ORGA]Chemical Sciences/Organic chemistry, Organic Chemistry, Physical and Theoretical Chemistry, Biochemistry
Abstract: International audience; We report the substitution of lambda 5-phosphinines (2,6-dicarbonitrile diphenyl-1-λ 5-phosphinine) with amino-group. The impact of these modifications on both the optical and redox properties is investigated using a joint experimental/theoretical approach. In particular, we show that the choice of the donor diphenyl-amino group dramatically impacts the nature of the charge transfer. The use of di(methoxyphenyl)amine redshifts the optical properties and allows thermally activated delayed fluorescent in the solid-state. Finally, we demonstrated that lambda 5-phosphinines with amino-group can be used as active emitter in an electroluminescent device.
Published: 2022

40. Room Temperature ASIC for Cryogenic TES/SQUID Control and Readout

Author: S. Chen, D. Prêle, M. Gonzalez, B. Courty, D. Charrier, J. Mesquida, J. Lesrel, AstroParticule et Cosmologie (APC (UMR_7164)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Observatoire de Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, and Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)
Subjects: X-IFU, ATHENA space observatory, ASIC, SQUID bias, Low-noise amplifier, Current DAC, Condensed Matter Physics, Atomic and Molecular Physics, and Optics, TES bias, TES/SQUID readout, SiGe BiCMOS integrated circuit technology, General Materials Science, [PHYS.PHYS.PHYS-INS-DET]Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det], [PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph]
Abstract: International audience; This paper updates the development of a warm front-end electronics (WFEE) dedicated to cryogenic sensors readout. It belongs to the X-ray integral field unit instrument of ESA's future space observatory: ATHENA. This instrument integrates cryogenic elements such as 3168 transition edge sensors as detectors, multiplexed into 96 channels using time-division multiplexing (TDM). One TDM channel will be read out by two stages of superconducting quantum interference device (SQUID), followed by a WFEE and finally, a digital readout system, both two last stages operating at about 300 K. In the WFEE, 96 TDM channels will be distributed in 48 application-specific integrated circuits (ASIC). Each channel includes one low-noise amplifier to amplify the multiplexed signal and 5 configurable current sources to bias the SQUIDs and TES in the cryogenic stages. Additionally, two channels within the same ASIC share a serial bus "RS485/(IC)-C-2" to configure the current sources (current SlowDACs) and housekeeping elements that monitor the temperature, current and voltage of the ASIC. The ASIC presented in this paper, "AwaXe_v3" (AwaXe: Athena Warm Asic for the X-ifu Electronics), is developed for the WFEE using an AMS 350 nm SiGe BiCMOS technology. It is the first prototype of the WFEE integrating two complete TDM channels. Representative measurement results that characterise the main components of the WFEE will be discussed in this paper as an update on the use of ASIC for the TES/SQUID readout.
Published: 2022

41. A skill- and feature-based approach to planning process monitoring in assembly planning

Author: Clemens Gonnermann, S. Ehsan Hashemi-Petroodi, Simon Thevenin, Alexandre Dolgui, Rüdiger Daub, Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: assembly, [SPI.OTHER]Engineering Sciences [physics]/Other, skill-based approach, Mechanical Engineering, reconfigurable manufacturing system, Industrial and Manufacturing Engineering, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Computer Science Applications, feature recognition, Control and Systems Engineering, CAD analysis, optimization, Decision support system, Software
Abstract: Frequent changes in customer needs and large product variety are forcing manufacturing companies to move from mass production to mass customization. Customized production can be achieved by introducing reconfigurable production systems (RMS). The customized flexibility and several characteristics of RMSs provide many opportunities in terms of process and production planning. However, those characteristics greatly increase the complexity of the design and planning of production systems. This paper presents a decision support system relying on a skill-based approach to design a reconfigurable assembly line considering the planning of assembly processes and monitoring. The proposed decision aid system is modular in design and is composed of four modules. The main input data is a CAD model of a new product variant for the identification of the assembly and monitoring requirements. Besides, a current assembly system layout with its resource descriptions exists. In the first developed module, assembly-by-disassembly and a skill-based approach are used to generate different assembly plans. In the second module, feature recognition and skill-based approaches generate process monitoring alternatives. The third module uses a linear program (LP) that aims to minimize the total cost of workstation activation and reconfiguration, as well as cycle time, and to maximize the process quality of the assembly tasks. A user-based generative model design approach is applied to optimize the values of three objective functions. In the fourth and final module, a simulation of the optimized assembly plan allows either the validation of the assembly plan and process monitoring plan or initiates a new iteration due to their infeasibility. To further demonstrate how the proposed methodology works, some computational experiments are provided for two use cases.
Published: 2022

42. Profile of an 'at cutting edge' pathology laboratory for pathological human deposits: from nanometer to in vivo scale analysis on large scale facilities

Author: Bazin, Dominique, Lucas, Ivan, Rouzière, Stéphan, Elkaim, Erik, Mocuta, Cristian, Réguer, Solenn, Reid, David, Mathurin, Jérémie, Dazzi, Alexandre, Deniset-Besseau, Ariane, Petay, Margaux, Frochot, Vincent, Haymann, Jean-Philippe, Letavernier, Emmanuel, Verpont, Marie-Christine, Foy, Eddy, Bouderlique, Elise, Colboc, Hester, Daudon, Michel, Institut de Chimie Physique (ICP), Institut de Chimie du CNRS (INC)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Laboratoire Interfaces et Systèmes Electrochimiques (LISE), Institut de Chimie du CNRS (INC)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Physique des Solides (LPS), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Synchrotron SOLEIL (SSOLEIL), Centre National de la Recherche Scientifique (CNRS), Department of Chemistry [Cambridge, UK], University of Cambridge [UK] (CAM), Maladies rénales fréquentes et rares : des mécanismes moléculaires à la médecine personnalisée (CoRaKID), Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU), Laboratoire Archéomatériaux et Prévision de l'Altération (LAPA - UMR 3685), Nanosciences et Innovation pour les Matériaux, la Biomédecine et l'Energie (ex SIS2M) (NIMBE UMR 3685), Institut Rayonnement Matière de Saclay (IRAMIS), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut Rayonnement Matière de Saclay (IRAMIS), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), IRAMAT - Laboratoire Archéomatériaux et Prévision de l'Altération (IRAMAT-LAPA), Institut de Recherche sur les Archéomatériaux (IRAMAT), Université de Technologie de Belfort-Montbeliard (UTBM)-Université d'Orléans (UO)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Université d'Orléans (UO)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Palacin, Serge, Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Institut des Matériaux Jean Rouxel (IMN), Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - Ecole Polytechnique de l'Université de Nantes (Nantes Univ - EPUN), and Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)
Subjects: [CHIM.THEO]Chemical Sciences/Theoretical and/or physical chemistry, [CHIM.MATE] Chemical Sciences/Material chemistry, [CHIM.THEO] Chemical Sciences/Theoretical and/or physical chemistry, [CHIM.ANAL] Chemical Sciences/Analytical chemistry, [CHIM.ANAL]Chemical Sciences/Analytical chemistry, [CHIM.MATE]Chemical Sciences/Material chemistry, Building and Construction, Electrical and Electronic Engineering
Abstract: International audience; This contribution aims to define an analysis procedure for abnormal deposits in human tissues starting from in vivo characterization, down to the nanoscale using major instrumentation. Such an integrated approach is based on recent literature, but particularly on our research over the last twenty years on pathological calcifications. To this end, we begin by describing four successive analytical steps, on the injury site or physician’s surgery, at the hospital, at a typical physicochemical laboratory, and finally at a large scale (possibly multinational) facility. For the first step, we present various techniques which can be implemented on portable instruments. For the second step, commercial analytical setups are used. In a physicochemical laboratory, prototype or commercial setups are used and finally on large scale instruments, characterization techniques with better spatial resolution and/or higher sensitivity or techniques specific to synchrotron radiation are employed.
Published: 2022

43. Stability factor for robust balancing of simple assembly lines under uncertainty

Author: Evgeny Gurevsky, Andry Rasamimanana, Aleksandr Pirogov, Alexandre Dolgui, André Rossi, Modélisation, Optimisation et DEcision pour la Logistique, l'Industrie et les Services (LS2N - équipe MODELIS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (LAMSADE), Université Paris Dauphine-PSL, and Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Applied Mathematics, Discrete Mathematics and Combinatorics, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], ComputingMilieux_MISCELLANEOUS
Abstract: International audience; This paper deals with an optimization problem, which arises when a new simple assembly line has to be designed subject to a fixed number of available workstations, cycle time constraint, and precedence relations between necessary assembly tasks. The studied problem consists in assigning a given set of tasks to workstations so as to find the most robust line configuration, which can withstand processing time uncertainty as much as possible. The line robustness is measured by a new indicator, called stability factor. In this work, the studied problem is proven to be strongly NP-hard, upper bounds are proposed, and the relation of the stability factor with another robustness indicator, known as stability radius, is investigated. A mixed-integer linear program (MILP) is proposed for maximizing the stability factor in the general case, and an alternative formulation is also derived when uncertainty originates in workstations only. Computational results are reported on a collection of instances derived from classic benchmark data used in the literature for the Simple Assembly Line Balancing Problem (SALBP).
Published: 2022

44. The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report

Author: Zimmermann, Théo, Coolen, Julien, Gross, Jason, Pédrot, Pierre-Marie, Gilbert, Gaëtan, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Design, study and implementation of languages for proofs and programs (PI.R2), Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Paris Cité (UPCité)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Université Paris Cité (UPCité), Machine Intelligence Research Institute (MIRI), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Nantes Université (Nantes Univ)
Subjects: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software
Abstract: Bots are becoming a popular method for automating basic everyday tasks in many software projects. This is true in particular because of the availability of many off-the-shelf task-specific bots that teams can quickly adopt (which are sometimes completed with additional task-specific custom bots). Based on our experience in the Coq project, where we have developed and maintained a multi-task project-specific bot, we argue that this alternative approach to project automation should receive more attention because it strikes a good balance between productivity and adaptibility. In this article, we describe the kind of automation that our bot implements, what advantages we have gained by maintaining a project-specific bot, and the technology and architecture choices that have made it possible. We draw conclusions that should generalize to other medium-sized software teams willing to invest in project automation without disrupting their workflows., arXiv admin note: substantial text overlap with arXiv:2112.07365
Published: 2022

45. A Review of Core Operational Business-IT Alignment

Author: Andre, Pascal, Tamzalit, Dalila, Benjilany, Ali, Bruneliere, Hugo, Vérification pour l'Environnement et le LOgiciel (LS2N - équipe VELO), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: Business Process Modelling, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software Application Modelling, Enterprise Architecture, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Information Systems, Core Operational Business-IT Alignment
Abstract: International audience; In terms of competitiveness, Business-IT Alignment (BITA) is still a crucial challenge for business leaders and CIOs, especially in the context of Digital Transformation and time-to-market challenges. Core Operational BITA can be seen as a projection of BITA to the Enterprise Information System perimeter, i.e., the operational alignment between the business processes and supporting IT. It is a major source of issues (e.g., strong couplings, maintenance costs, technical debt, slow adaptation). These cause a misalignment and thus contribute to the well-known Business-IT Gap. In this paper, we review the current state of this operational alignment in the context of Enterprise Architecture (EA) i.e. between the Business Process layer and the Application layer. Our analysis focuses on the models used at the Business Process and Application layers, the existing or potential links between these layers, and the use of these links to carry out a core operational alignment and facilitate the detection of potential divergence points. As a result, we notably outline some current limitations, such as modelling disparities, misuse of links between the two layers and an under-coverage of real alignment processes. We also discuss some lessons learned and future challenges, mainly around modelling needs and consistency management between the two considered layers.
Published: 2023

46. Learning a Riemannian manifold for the analysis-synthesis of nonstationary sounds

Author: Han, Han, Lostanlen, Vincent, Lagrange, Mathieu, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Signal, IMage et Son (LS2N - équipe SIMS ), and Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Subjects: [SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD]
Abstract: International audience; Computer sound matching poses an inverse problem, namely, the identification of resynthesis parameters. Borrowing from the differentiable digital signal processing (DDSP) framework, we propose to automate its resolution by training a deep neural network. In this context, we aim to reach a compromise between the computational efficiency of parametric loss (P-loss) versus the psychoacoustical fidelity of spectral loss. Our approach, named ``perceptual--neural--physical'' (PNP), estimates the Riemannian metric which is associated to the composition between parametric synthesis and time--frequency scattering. By doing so, we locally linearize spectral loss and accelerate convergence. Furthermore, resorting to Tikhonov regularization improves the conditioning of the inverse problem. On an analysis--synthesis task for musical arpeggios, PNP training outperforms state-of-the-art methods P-loss (wav2shape) and STFT-based DDSP, as measured in terms of JTFS-based similarity between reference signal and reconstructed signal.; La transformation de sons par ordinateur pose un problème inverse d'identification des paramètres de resynthèse adéquats. Empruntant au formalisme du traitement du signal différentiable (DDSP), nous proposons d'automatiser sa résolution par entrainement d'un réseau de neurones profond. Dans ce contexte, nous visons un compromis entre l'efficacité computationnelle de la perte paramétrique et la fidélité psychoacoustique de la perte spectrale. Notre approche, baptisée perceptuelle-neuronalephysique (PNP), consiste à estimer la métrique riemannienne associée à la composition entre synthèse paramétrique et diffusion temps-fréquence (JTFS). Ce faisant, nous linéarisons localement la perte spectrale et accélérons la convergence. De plus, le recours à une régularisation de Tikhonov améliore le conditionnement du problème inverse. Par rapport à l'état de l'art (wav2shape et DDSP), et pour une tâche difficile d'analyse-synthèse d'arpège musical, l'entrainement via PNP rapproche le signal reconstruit du signal de référence, d'après une mesure de similarité de timbre fondée sur la JTFS.
Published: 2023

47. Incremental Constrained Clustering by Minimal Weighted Modification

Author: Beauchamp, Aymeric, Dao, Thi-Bich-Hanh, Loudni, Samir, Vrain, Christel, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Andre Augusto Cire, and Roland H. C. Yap
Subjects: Constrained clustering, Constraint programming, Incremental Clustering, Semi-supervised Clustering, User feedback, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Clustering is a well-known task in Machine Learning that aims at grouping instances according to their similarity. It is unsupervised and therefore difficult to tune without human input. In constrained clustering, subject matter experts (SME) can incorporate knowledge through constraints in the clustering algorithm. Involving an expert results in an incremental process where expert constraints are added on the fly, iteratively.Although satisfying the constraints is crucial, successive partitions should look alike to avoid disturbing the expert. In this paper, we present an incremental constrained clustering framework integrating active query strategies and a constraint programming model to fit the expert's expectations while preserving cluster structure, so that the user can understand the process and apprehend its impact. Our model supports instance and group-level constraints, which can be relaxed. Experiments on reference datasets and a case study related to the analysis of satellite image time series show the relevance of our framework.
Published: 2023

48. A review of reference architectures for digital manufacturing: Classification, applicability and open issues

Author: Jan Kaiser, Duncan McFarlane, Gregory Hawkridge, Pascal André, Paulo Leitão, Institute for Manufacturing Cambridge University Engineering Department, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Vérification pour l'Environnement et le LOgiciel (LS2N - équipe VELO), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Polytechnic Institute of Bragança (IPB), Kaiser, J [0000-0002-7264-5065], and Apollo - University of Cambridge Repository
Subjects: Applicability, Internet of things, General Computer Science, Industry 4, Cyber–physical systems, Digital manufacturing, Cyber-physical systems, General Engineering, Reference architecture, [INFO]Computer Science [cs], Industry 4.0, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract: The industrial application of digital technologies in manufacturing can result in an increased efficiency of processes and an opportunity to integrate production, logistics and maintenance functions. However, increasingly interconnected manufacturing information means progressively more complex systems. Therefore, there is an ever growing need to provide structure in the design and development of such information systems which is the role of a system architecture. So called ‘reference architectures’ guide the design of system architectures used in particular applications. Reference architectures are models of information functions and their connections that provide a structured template with common terminology. Over the last decades, various reference architectures relevant to digital systems in manufacturing have been proposed. However, industrial applications of these reference architectures are scarce and it is difficult to compare and analyse them due to their various levels of application and different uses. In this study, we review and classify reference architectures used to support digital systems in manufacturing. Contributions of the paper include proposing criteria for a model to be referred to as a ‘reference architecture’, an overview and classification of the different perspectives on reference architectures in the literature, and a guideline to support practitioners, developers and academics in selecting a reference architecture.
Published: 2023

49. An EWMA sign chart for dispersion with exact run length properties

Author: Theodoros Perdikis, Stelios Psarakis, Philippe Castagliola, Vicent Giner-Bosch, Petros E. Maravelakis, Athanasios C. Rakitzis, Department of statistics, AUEB, Athens University of Economics and Business (AUEB), Conception, Pilotage, Surveillance et Supervision des systèmes (LS2N - équipe CPS3), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Universitat Politècnica de València (UPV), and University of Piraeus
Subjects: Statistics and Probability, [STAT]Statistics [stat], Sign statistic, variability, Applied Mathematics, Modeling and Simulation, Markov chain, distribution-free Sign statistic Markov chain EWMA control chart variability, EWMA control chart, Statistics, Probability and Uncertainty, distribution-free
Abstract: The EWMA Sign control chart is a distribution-free scheme used for monitoring shifts in the location parameter during process monitoring. In this work, we propose a modified Phase II EWMA chart based on a general Sign statistic, capable of monitoring shifts in the process variability. Regarding the determination of the proposed chart's in-and out-of-control Run Length properties, Markov chain methods are used in combination with a continuous transformation of the suggested general Sign statistic. Our results show the power of the proposed method regarding the proposed chart's exact Run Length properties and its efficiency in detecting shifts in the process variability.
Published: 2023

50. Timing of dawn chorus in songbirds along an anthropization gradient: a species and community approach

Author: Godet, L., Prampart, Abel, Lostanlen, Vincent, Aumond, Pierre, Littoral, Environnement, Télédétection, Géomatique (LETG - Nantes ), Université de Brest (UBO)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-Nantes Université (Nantes Univ)-Littoral, Environnement, Télédétection, Géomatique UMR 6554 (LETG), Université de Brest (UBO)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (Nantes Univ - IGARUN), Nantes Université - pôle Humanités, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Humanités, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Institut de Géographie et d'Aménagement Régional de l'Université de Nantes (Nantes Univ - IGARUN), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Unité Mixte de Recherche en Acoustique Environnementale (UMRAE ), Centre d'Etudes et d'Expertise sur les Risques, l'Environnement, la Mobilité et l'Aménagement (Cerema)-Université Gustave Eiffel, Fondation de France, and Society for Conservation Biology
Subjects: ALAN, bird, birdsong, [SDE]Environmental Sciences, [SHS.GEO]Humanities and Social Sciences/Geography, landscape
Abstract: International audience; The influence of human activities on bird song has been deeply investigated. However, disentangling the relative influence of different anthropogenic pressures (e.g., artificial lights at night, traffic noise, landscape artificialization), of landscape composition (e.g., surface of natural habitat, landscape richness and diversity) and of biotic conditions (bird abundance, richness and diversity) on bird song is still challenging. On the basis of a field survey conducted on a breeding bird community (37 species) in spring 2022 in France, we disentangle the relative influence of such factors of the timing of bird chorus both at the species and community levels. We find that species react differently to the different factors, with species more sensitive to anthropogenic factors and others to biotic conditions. This leads to an important temporal reassembly in the bird chorus at the community level, which promotes a higher temporal turnover in the most anthropized areas and a higher temporal nestedness in the most natural areas. Human activities are thus not only driving temporal changes in different bird species but also promote a change in the temporal structure of the chorus at the whole community.
Published: 2023

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Journal

Database

Publisher

1,331 results on '"Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources