Annual PhD students conference IAEM Lorraine, APIL 2019

Posters exposés

# Auteurs Titre
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


Exposés

Amine Chaabouni

Découvrez le parcours de Monsieur Chaabouni sur Factuel

Projet de la société DeepRiver : le projet porte sur une technologie innovante de compression et de tatouage de vidéos appliquée au domaine de la médecine (dépôt de brevet en cours). L’innovation porte sur la méthode de tatouage de la vidéo permettant de la rendre intelligente (modulable selon les besoins des utilisateurs) sans augmenter la taille et donc le coût de transfert des données. Le domaine d’application envisagé dans un premier temps est celui de la médecine avec télétransmission en direct de vidéos accompagnées de fichiers concernant le patient. Cette technologie permet de transmettre en temps réel et de stocker intelligemment les données médicales de manière sécurisée, dans les régions à haut et bas débit, afin de lutter contre les déserts médicaux. Elle permet ainsi de rendre la télémédecine accessible partout et pour tous malgré les contraintes de la bande passante dans les régions défavorisées. Ainsi, les nouveaux médecins dans les centres hospitaliers existants dans les déserts médicaux peuvent bénéficier des avis et du support des experts dans les CHRUs des grandes villes en France.

Pour résumer, on peut dire que le produit permet de partager l'expertise entre les médecins, diminuer les coûts en temps et argent, rénover le système d'éducation médicale et aider les médecins non experts à distance dans leurs diagnostics des cas les plus difficiles à traiter comme les tumeurs.

Emmanuel Jeandel

Pages web de Monsieur Jeandel

Le ZX-calcul, un langage graphique pour l'informatique quantique

Alors que les premiers ordinateurs quantiques sont en train de sortir, il est encore difficile de savoir les programmer. En effet, une caractéristique, et une des forces, du calcul quantique, est de permettre de manipuler avec n qubits des systèmes de taille exponentielle en n. Les méthodes classiques (par exemple les matrices) ne sont donc plus exploitables dès que n dépasse 30, et de nouvelles méthodes spécialisées ont fait leur apparition, comme les méthodes graphiques. Dans cet exposé, on présentera brièvement le calcul quantique et une approche graphique, appelé le ZX-calcul, qui permet de manipuler facilement des représentations diagrammatiques des qubits et des transformations quantiques.