1 | Itsaka Rakotonirina, Steve Kremer and Vincent Cheval | Efficient verification of observational equivalences in finite-process calculi |
2 | Daryna Panicheva, Pierre-Frédéric Villard, Peter E. Hammer and Marie-Odile Berger | Physically-Coherent Extraction of Mitral Valve Chordae |
3 | Robin Riblet | Construction d'ensembles sans progression arithmétique de longueur 3 |
4 | Melanie Jouaiti | Improving Motor Coordination in HRI Using Bio-Inspired Controllers |
5 | Anastasia Shimorina and Claire Gardent | Surface Realisation Using Full Delexicalisation |
6 | Binh Phan and Christian Daul | Feasibility of the 3D hollow organ cartography using 2D endoscopy images |
7 | Shahin Kamrul Islam | Bootstrap-IOHMM to Manage the RUL for Rescheduling Maintenance Time-window of a System Considering Operating Conditions |
8 | Souâd Yacheur, Abderrahman Iggidr and Ali Moussaoui | A metapopulation model for malaria transmission |
9 | Maryem Bouzoubaa, Zied Hajej and Nidhal Rezg | Politiques de maintenance intégrée à la production de l’énergie renouvelable dans un parc éolien sous contraintes environnementales |
10 | Maria Boritchev | Thé ou café ? Oui |
11 | Sara Himmiche | Approche et cadre de modélisation pour l’évaluation de l’impact de perturbations sur un ordonnancement |
12 | Rémi Côme | Well-posedness of the Dirichlet problem for two tangent spheres |
13 | Hang Wan, William Derigent and Michael David | Concept de matière communicante appliqué au béton connecté dans le cadre du projet McBIM |
14 | Imene Aicha Djebour and Takéo Takahashi | On the existence of strong solutions to a fluid structure interaction problem with Navier boundary conditions |
15 | Sunit Sivasankaran | Localization Guided Speech Separation |
16 | David Gasperini | A Frequency Domain Method for Scattering Problems with Moving Boundaries |
17 | Johann Verwee | Théorème d'Erdös-Wintner Effectif |
18 | Yaël Kolasa, Jean-Philippe Georges and Thierry Bastogne | Quality-by-design-engineered blockchain solution for pharmaceutical product development |
19 | Concetta Semeraro, Hervé Panetto, Michele Dassisti, Mario Lezoche and Stefano Cafagna | Contribution to the Formalisation of Data-driven Invariant Modelling Constructs of Cyber-Physical Systems |
20 | Maël Beuget | Analyse des motifs séquentiels du chemin oculaire pour modéliser la mémoire en e-éducation |
21 | Gabriel Sevestre | Géométrie Multisymplectique : formes normales des sous-variétés Lagrangiennes |
22 | Jean-Baptiste Wiart | Definition of a domain specific language for the co-simulation of microgrid powered hydrogen |
23 | George Krait, Sylvain Lazard, Guillaume Moroz and Marc Pouget | The Topology of Plane Curves |
24 | Matthieu Nicolas, Gérald Oster and Olivier Perrin | Efficient Renaming in Conflict-Free Replicated Data Types (CRDTs) |
25 | Vittorio Guida, Damien Guilbert, Gianpaolo Vitale and Bruno Douine | Commande d’un convertisseur DC-DC entrelacé amélioré pour un électrolyseur de type PEM |
26 | Malek Ben Mechlia, Jérémie Schutz and Sofiene Dellagi | Le dimensionnement d’un parc d’appui logistique pour véhicules en tenant compte des contraintes environnementales et économiques |
27 | Anne-Lise Le Bars | IRM de diffusion cardiaque |
28 | Grâce Boyer | Évaluation dynamique d’indicateurs de sûreté de fonctionnement d’une architecture de contrôle-commande tout au long de son cycle de vie |
29 | Hassan Mohsen | L'étude du problème des transmissions dans un cadre général |
30 | Adrien Fois | Calcul auto-organisé : cas du tracking multi-caméra |
31 | Louis Viard, Laurent Ciarletta and Pierre-Etienne Moreau | Prepare for Failure ! Cyber-Physical Systems in the wild |
32 | Hans-Jörg Schurr | Reconstructing veriT Proofs in Isabelle/HOL |
33 | Spyridon Afentoulidis Almpanis | Lie groups representations and Dirac operators |
34 | Shahid Khan and Camel Tanougast | An L-shaped Frequency Reconfigurable MIMO Dielectric Resonator Antenna for PCS band Applications |
35 | Ahmadi, Poure and Saadate | Convertisseurs multi-niveaux à tolérance de pannes |
36 | Sifeddine Benahmed, Pierre Riedinger and Serge Pierfederici | Distributed Cooperative Control for DC Microgrids |
37 | Kenza Chaabane, Abdelhakim Khatab and Sofiene Dellagi | Optimisation conjointe de la conception et de la maintenance des systèmes industriels multi-missions : une approche intégrées |
38 | Bereket Abera Yilma, Yannick Naudet and Hervé Panetto | Personalisation in Cyber-Physical-Social Systems |
39 | Tatiana Makhalova, Sergei O. Kuznetsov and Amedeo Napoli | Pattern Search Exploration Guided by Minimum Description Length Principle |
40 | Bishnu Sarker, David W. Ritchie and Sabeur Aridhi | GrAPFI: Graph Based Automatic Protein Function Annotation |
41 | Souleymane Dicko, Sophie Hennequin, Yaya Kone, Daniel Roy and Abdel Kader Keita | Aide à la décision pour une sylviculture communautaire durable : application à la forêt de la Faya (Mali) |
42 | Dominique Giraud | Modeling and optimization of an innovative electric propulsion system |
43 | Nassim Sahki, Anne Gégout-Petit and Sophie Wantz-Mézières | Change-point detection method for the prediction of dreaded events during online monitoring of lung transplant patients |
44 | Saeid Aghaei Hashjin, Babak Nahid-Mobarakeh and Elhadj Miliani | Current Sensorless Model-Free Control Applied on PMSM Drive System |
45 | Tchoya Florence Koné, Levrat Eric and Eric Bonjour | Contribution to the specification and demonstration of autonomous vehicle safety, based on situations and usage scenarios and their probabilistic assessment |
46 | Ibtissem Zaafrani | Dynamics and stability of a cold magnetic plasma |
47 | Docquier Théo | Conception, modélisation et co-simulation d'une architecture loT industrielle et temps-réel pour les smart-grids |
48 | Essomanda Konzou, Efoévi Koudou and Kossi Essona Gneyou | Lois gaussiennes inverses (généralisées), lois de Kummer et méthode de Stein |
49 | Mathilde Ollivier | Protecting code through obfuscation |
50 | Iury Domingos, Benoît Daniel and Feliciano Vitório | Constant mean curvature surfaces into 3-Homogeneous Manifolds |
51 | Yazid Statra, Hocine Menana and Bruno Douine | Modélisation et caractérisation des supraconducteurs HTC |
52 | Radouan Dahbi, Vincent Bombardier, David Brie and Eric Masson | Méthodologie de conception d’un classificateur hiérarchique. Application à la classification de pièces de bois en fonction de leur aspect et de la qualité de la finition |
53 | Baptiste Menges | Study and design of collaborative robot system in foundry environment |
55 | Ilias Benjelloun | When Data Mean Something We Don't Expect |
56 | Cyril Brzenczek, Jean-Marie Moureaux and Sophie Mézières | Modélisation multi-facteurs pour l’aide à la décision dans le traitement par chimiothérapie des tumeurs cérébrales de type gliomes diffus de bas grade |
57 | Pierre Lermusiaux, Horatiu Cirstea and Pierre-Etienne Moreau | Formalisme de Réécriture de Passes pour l'élimination de motifs |
58 | Mingxiao Ma, Abdelkader Lahmadi and Isabelle Chrisment | Impact and Detection of Synchronization Attacks on Distributed and Cooperative Control of Microgrids |
59 | Daniel El Ouraoui | Extending SMT Solvers to Higher-Order Logic |
60 | Nicolas Blin, Jamal Daafouz and Pierre Riedinger | Modélisation harmonique pour la commande de systèmes associés appliquée à l'actionnement électrique |
61 | Jacques | Fibres de Springer, variétés de Schubert et désingularisations |
62 | Paul Huynh | There and back again: a tale of boomerang attacks |
63 | Sarah Minich and Imed Kacem | The Pagination Problem |
64 | Farah Gabsi | Maîtrise de la demande en énergie des bâtiments : élaboration de solutions optimales d’intégration et de conduite des installations énergétiques |
65 | Pierre-Adrien Tahay | Construction of Polynomial and Morphic Sequences by Cellular Automata |
66 | Simon Masson | Supersingular Isogeny-based Diffie-Hellman |
67 | Nicolas Turpault, Romain Serizel and Emmanuel Vincent | Learning ambient sound embeddings |
68 | Marwen Aouini | Système intelligent de maintenance prédictive utilisant les ondes ultrasonores guidées et le forage de données |
69 | Jakub Kapek, Kévin Berger and Jean Lévêque | Modélisation 3D par la MEF et couplage circuit du procédé d’aimantation impulsionnel d’un ensemble de pastilles supraconductrices massives |
70 | Meryem Taghbalout, Jean-François Antoine and Gabriel Abba | Dynamic Identification of YuMi ABB Collaborative Robot |
71 | Théo Nazé | Exact Algorithms for Scheduling Programs with Shared Tasks |
72 | Simon Roby | Résonances du Laplacien sur des fibres vectoriels homogènes |