Publications Retrouver toutes les publications des chercheurs de CentraleSupélec Annuaire des chercheurs Accueil Recherche
Article dans une revue 05/04/2024 Asymptotically Optimal Pilot Allocation Over Markovian Fading Channels Maialen Larranaga , Apostolos Destounis , Georgios Paschos , Mohamad Assaad
Brevet 05/04/2024 Codage de réseau pour un système MARC half-duplex avec liens semi-orthogonaux bruités Atoosa Hatefi , Raphaël Visoz , Antoine O. Berthet , Antoine Berthet
Communication dans un congrès 05/04/2024 Synthesis of Subband Hybrid Filter Banks ADCs with Finite Word-length Coefficients using Adaptive Equalization Zhiguo Song , Caroline Lelandais-Perrault , Daniel Poulton , Caroline Lelandais Perrault
Article dans une revue 05/04/2024 Cooperation of combinatorial solvers for en-route conflict resolution Ruixin Wang , Richard Alligier , Cyril Allignol , Nicolas Barnier , Nicolas Durand , Alexandre Gondran
Communication dans un congrès 05/04/2024 Probabilistic Approach using MCMC for Indirect Measurement by Knowledge-Based Models – Applications to Thermophysics and Biology Gilles Fleury , Hana Baili
Article dans une revue 05/04/2024 A Mathematical Approach to Order Book Modelling Aymen Jedidi , Frédéric Abergel
Article dans une revue 04/04/2024 Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Modelling information fission in output multi-modal interactive systems using Event B Linda Mohand-Oussaid , Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Statistical Characterization of a Measurement within a Dynamical Noisy System Gilles Fleury , Hana Baili
Communication dans un congrès 04/04/2024 Invariant-set based minimal detectable fault computation of discrete-time LPV systems with bounded uncertainties Junbo Tan , Monica Roman , Feng Xu , Sorin Olaru
Communication dans un congrès 04/04/2024 Physical layer abstraction for turbo coded MIMO systems with LMMSE-IC based turbo equalization Baozhu Ning , Raphaël Visoz , Antoine O. Berthet , Antoine Berthet
Communication dans un congrès 04/04/2024 Animation de modèles B par transformation de modèles Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 From BPEL to Event-B Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Visualization of Recirculation Zones Over a Perforated Plate: An Optical Flow Technique for Characterization of Fluid Dynamics in Structured Packing Manasa Iyer , John Pachón-Morales , Jacopo Seiwert , Mikael Wattiau , Hervé Duval , Joel Casalinho , Laurent Zimmer
Autre publication scientifique 04/04/2024 Modeling Call Centers with Information about Anticipated Delays Yves Dallery , Oualid Jouini
Communication dans un congrès 04/04/2024 Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2 Nabil Belaid , Idir Aït-Sadoune , Yamine Aït-Ameur , Jean-François Rainaud , Stéphane Jean , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Robust Gaussian process-based global optimization using a fully Bayesian expected improvement criterion Romain Benassi , Julien Bect , Emmanuel Vazquez
Communication dans un congrès 04/04/2024 Graph-Constrained Discriminant Analysis of functional genomics data Vincent Guillemot , Vincent Frouin , Laurent Le Brusquet , Arthur Tenenhaus
Communication dans un congrès 04/04/2024 B2EXPRESS : Un animateur de modèles B événementiel. Idir Aït-Sadoune , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Outage analysis of various cooperative strategies for the multiple access multiple relay channel Raphaël Visoz , Antoine O. Berthet , Mohamad Assaad , Antoine Berthet
Article dans une revue 04/04/2024 Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota , Idir Ait Sadoune
Article dans une revue 04/04/2024 An Artificial-Immune-System-Based Algorithm Enhanced with Deep Reinforcement Learning for Solving Returnable Transport Item Problems Fatima Ezzahra Achamrah , Sabine Limbourg , Fouad Riane , Evren Sahin
Communication dans un congrès 04/04/2024 A Proof Based Approach for Formal Verification of Transactional BPEL Web Services Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve. Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Verification and validation of BPEL processes. A proof and animation based approach Idir Aït-Sadoune , Yamine Aït-Ameur , Mickael Baron , Idir Ait Sadoune
Brevet 04/04/2024 Procédé de transmission dynamique et sélectif FD-DSDF d’un signal numérique pour un système MARC avec plusieurs relais full-duplex, produit programme et dispositif relais correspondants Abdulaziz Mohamad , Raphaël Visoz , Antoine O. Berthet , Antoine Berthet
Communication dans un congrès 04/04/2024 Generalized Fokker-Planck equation for piecewise-diffusion processes with boundary hitting resets Gilles Fleury , Julien Bect , Hana Baili
Chapitre d'ouvrage 04/04/2024 Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport. Linda Mohand-Oussaid , Kamel Nadjet , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 A numerical comparison of kriging-based sequential strategies for estimating a probability of failure Ling Li , Julien Bect , Emmanuel Vazquez
Communication dans un congrès 04/04/2024 Identification boîte noire et simulation de systèmes non-linéaires à temps continu par prédiction linéaire de processus aléatoires Sylvain Vinet , Emmanuel Vazquez
Communication dans un congrès 04/04/2024 Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel Linda Mohand-Oussaid , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer , Idir Ait Sadoune
Chapitre d'ouvrage 04/04/2024 A formal framework for design and validation of multimodal interactive systems in transport domain. Linda Mohand-Oussaid , Kamel Nadjet , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer , Idir Ait Sadoune
Article dans une revue 04/04/2024 Tribological and electrical study of Fluorinated Diazonium Films as dry lubricants for electrical contacts David Alamarguy , Alessandro Benedetto , Mirela Balog , Pascal Viel , Franck Le Derf , Marc Salle , Serge Palacin , Sophie Noel , Frederic Houze
Communication dans un congrès 04/04/2024 Ordonnancement temps réel avec profils variables de consommation d'énergie Stéphane Jeannenot , Pascal Richard , Frédéric Ridouard
Communication dans un congrès 04/04/2024 Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement Idir Aït-Sadoune , Idir Ait Sadoune
Article dans une revue 04/04/2024 L’ADI-R et l’ADOS face au diagnostic différentiel des troubles du spectre autistique : intérêts, limites et ouvertures Antoine Frigaux , Renaud Evrard , J. Lighezzolo-Alnot
Communication dans un congrès 04/04/2024 Animating Event B Models by Formal Data Models Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Verification and Validation of Web Service Composition Using Event B Method Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement. Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Idir Ait Sadoune
Brevet 04/04/2024 Method for transmitting a digital signal in a MARC system with a half-duplex relay, and corresponding program product and relay device Atoosa Hatefi , Raphaël Visoz , Antoine O. Berthet , Antoine Berthet
Communication dans un congrès 04/04/2024 Vérification et Validation Formelles de la Composition de Services Web Idir Aït-Sadoune , Idir Ait Sadoune
Thèse 04/04/2024 Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve Idir Aït-Sadoune , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 Vérification et Validation Formelles de la Composition de Services Web Idir Aït-Sadoune , Idir Ait Sadoune
Article dans une revue 04/04/2024 Optimal indirect stability of a weakly damped elastic abstract system of second order equations coupled by velocities Farah Abdallah , Mouhammad Ghader , Ali Wehbe , Yacine Chitour
Communication dans un congrès 04/04/2024 Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement Idir Aït-Sadoune , Idir Ait Sadoune
Communication dans un congrès 04/04/2024 A Proof Based Approach for Modelling and Verifying Web Services Compositions Idir Aït-Sadoune , Yamine Aït-Ameur , Idir Ait Sadoune
Cours 04/04/2024 Partial and Stochastic Differential Equations: Theoretical and Numerical Aspects Adam Larat , Ludovic Goudenege
Communication dans un congrès 03/04/2024 Realization and First Test Results of the EuCARD 5.4-T REBCO Dipole Magnet Maria Durante , Franck Borgnolutti , Denis Bouziat , Philippe Fazilleau , Jean-Marc Gheller , Frederic Molinie , Philippe de Antoni
Article dans une revue 03/04/2024 Nuclear and non-dispatchable renewables: two compatible supply options? The case of the French power mix. Camille Cany , Christine Mansilla , Gilles Mathonnière , Thierry Duquesnoy , Anne Baschwitz , Pascal Da Costa
Article dans une revue 03/04/2024 Modeling and computation of fretting wear of structures under sharp contact Mohamed Torkhani , Hachmi Ben Dhia
Communication dans un congrès 03/04/2024 Which value of nuclear flexibility to foster the integration of intermittent renewable energy sources? Prospective study on technical potentials and economics impacts in the French power system. Camille Cany , Alizée Chazottes , Christine Mansilla Pellen , Gilles Mathonnière , Pascal Da Costa
Article dans une revue 03/04/2024 Cost-benefit analysis of district heating systems using heat from nuclear plants in seven European countries Martin Leurent , Urban Persson , Miika Rämä , Frédéric Jasserand , Pascal Da Costa
Communication dans un congrès 03/04/2024 Cost-Benefit Analysis of District Heating systems using Heat from Nuclear plants in Europe Martin Leurent , Miika Rämä , P. Urban , Frédéric Jasserand , Pascal Da Costa
Chapitre d'ouvrage 03/04/2024 Photovoltaic energy: a key player towards a sustainable energy mix Sophie Avril , Christine Mansilla , Jean-Claude Bocquet , Pascal Da Costa
Autre publication scientifique 03/04/2024 Mesure du débit solide des écoulements hyperconcentrés en matériaux fins par une jauge à absorption du rayonnement gamma Gilles Meyer , M. Meunier , Jean Marc Olivier
Article dans une revue 03/04/2024 3D magnetic optimization of dipole ends with rectangular cross-sections Etienne Rochepault , Guy Aubert , Pierre Vedrine , Frederic Bouillault
Ouvrage 03/04/2024 Testing Software and Systems Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall
Communication dans un congrès 03/04/2024 Nuclear power: What optimal contribution to the French electric power mix? Camille Cany , Christine Mansilla , Gilles Mathonnière , Pascal Da Costa
Article dans une revue 03/04/2024 A new algorithm for semi-active control of mixed base isolation Duc-Chuan Vu , Ioannis Politopoulos , Sette Diop
Communication dans un congrès 03/04/2024 Which value of nuclear flexibility to foster the integration of intermittent renewable energy sources? Prospectives study on technical potentials and economic impacts in the French power system. Camille Cany , Chazottes Alyzée , Christine Mansilla , Gilles Mathonnière , Pascal Da Costa
Communication dans un congrès 03/04/2024 Modèle d'interface multi-niveau pour les problèmes de contact Mohamed Torkhani , Chokri Zammali , Hachmi Ben Dhia
Article dans une revue 03/04/2024 Resilience of Smart Power Grids to False Pricing Attacks in the Social Network Daogui Tang , Yi-Ping Fang , Enrico Zio , José Emmanuel Ramirez-Marquez , Yiping Fang
Communication dans un congrès 03/04/2024 Active Damping Strategy for Robust Control of a Flexible-Joint Lightweight Robot Maria Makarov , M. Grossard , Maria Makarova , Pedro Rodriguez-Ayerbe , Didier Dumur
Rapport 03/04/2024 User-centered selection of innovative ideas and projects for incubation Romain Farel , Alexandre Bekhradi , Benjamin Zimmer , Bernard Yannou , François Cluzel
Chapitre d'ouvrage 03/04/2024 Nuclear power: a promising back-up option to promote renewable penetration in the French power system? Camille Cany , Christine Mansilla Pellen , Gilles Mathonnière , Jean Baptiste Thomas , Pascal Da Costa
Communication dans un congrès 03/04/2024 How the Arlequin method could help for the sheet metal forming simulation Mohamed Torkhani , Hachmi Ben Dhia
Article dans une revue 03/04/2024 Calculation methods of Structure-Soil-Structure Interaction (3SI) for embedded buildings: Application to NUPEC tests D. Broc , G. Devésa , V. Guyonvarh , P. Massin , Didier Clouteau
Communication dans un congrès 03/04/2024 A Frequency-Domain Approach for Flexible-Joint Robot Modeling and Identification Maria Makarov , M. Grossard , Maria Makarova , Pedro Rodriguez-Ayerbe , Didier Dumur
Communication dans un congrès 03/04/2024 Identification of differentially expressed genes: a comparison between wrapper and filter methods Vincent Guillemot , Vincent Frouin , Gilles Fleury , Laurent Le Brusquet
Autre publication scientifique 03/04/2024 Systèmes à Hydrogène : Quels apports pour le système énergétique ? Christine Mansilla , Olfa Tlili , Yannick Perez
Communication dans un congrès 03/04/2024 Algorithme "Temps-Fréquence" pour la dynamique non linéaire en interaction sol-structure Christophe Obrembski , Nicolas Greffet , Didier Clouteau
Article dans une revue 03/04/2024 On a hybrid Laplace-time domain approach to dynamic interaction problems Alex Nieto Ferro , N. Greffet , G. Devésa , Didier Clouteau
Communication dans un congrès 03/04/2024 Strain localization of a soil column due to seismic loading Ioanna Rapti , A. Foucault , F. Voldoire , Fernando Lopez‐caballero , Arézou Modaressi-Farahmand-Razavi , Fernando Lopez Caballero , Arezou Modarresi
Article dans une revue 03/04/2024 Décollement des fondations sous séisme : méthodes temporelles et temps/fréquence Georges Devésa , Didier Clouteau
Article dans une revue 03/04/2024 The Ccr4-Not Complex Independently Controls both Msn2-Dependent Transcriptional Activation-via a Newly Identified Glc7/Bud14 Type I Protein Phosphatase Module-and TFIID Promoter Distribution Eve Lenssen , Nicole James , Ivo Pedruzzi , † Frédérique Dubouloz , Elisabetta Cameroni , Ruth Bisig , Laurent A Maillet , ‡ Michel Werner , Johnny Roosen , Katarina Petrovic , Joris Winderickx , Martine A Collart , Claudio de Virgilio
Communication dans un congrès 03/04/2024 Modèles et schémas mixtes pour le contact en dynamique Chokri Zammali , F. Voldoire , Sophie Lamarche , Hachmi Ben Dhia
03/04/2024 Nuclear and non-dispatchable renewables: two compatible supply options? The case of the French power mix Camille Cany , Christine Mansilla , Gilles Mathonnière , Thierry Duquesnoy , Anne Baschwitz , Pascal Da Costa
Communication dans un congrès 03/04/2024 Grouping levels of exposure with same observable effects before class prediction in toxicogenomics. Vincent Guillemot , Cathy Philippe , Jérôme Rollin , Vincent Frouin , Arthur Tenenhaus
Article dans une revue 03/04/2024 Graph Constrained Discriminant Analysis: A New Method for the Integration of a Graph into a Classification Process Vincent Guillemot , Vincent Frouin , Arthur Tenenhaus , Laurent Le Brusquet
Communication dans un congrès 03/04/2024 Simulation of the rod cluster drop time into a nuclear core using a continuous lagrangian formulation of contact Marc Kham , Mohamed Torkhani , P. Massin , Hachmi Ben Dhia
Article dans une revue 03/04/2024 Cost and climate savings through nuclear district heating in a French urban area Martin Leurent , Miika Rämä , Urban Persson , Frédéric Jasserand , Pascal Da Costa
Communication dans un congrès 03/04/2024 Analyse des scenarios de propagation des risques au sein d'une organisation projet Meriam Kilani , Catherine Pointurier , Laurent Dehouck , Franck Marle
Communication dans un congrès 03/04/2024 Multiscale analyses and wearof thin structures in contact Mohamed Torkhani , Hachmi Ben Dhia
Communication dans un congrès 03/04/2024 Un cadre général pour le traitement des problèmes d'interface Marc Kham , Patrick Massin , Mohamed Torkhani , Hachmi Ben Dhia
Article dans une revue 03/04/2024 Benzodiazepine Dispensing to Persons With Dementia in France, 2011-2016: A Nationwide Study Anaïs Couret , Adeline Gallini , Mathilde Poncet , Axel Renoux , Maryse Lapeyre-Mestre , Virginie Gardette
Communication dans un congrès 03/04/2024 Interaction sol-structure non-linéaire : étude industrielle avec la méthode Laplace-temps Nicolas Greffet , Alex Ferro , Georges Devésa , Didier Clouteau
Article dans une revue 03/04/2024 An explicit-implicit projection approach for solving saddle-point systems arising from parameter identification problems Naoufal Nifa , Mathieu Corus , Denis Aubry
Article dans une revue 03/04/2024 Carbon nanotubes/fluorinated polymers nanocomposite thin films for electrical contacts lubrication Alessandro Benedetto , Pascal Viel , Nicolas Izard , Pascale Chenevier , Serge Palacin , Sophie Noel
Article dans une revue 03/04/2024 Efficient ex vivo gene transfer into non-human primate hepatocytes using HIV-1 derived lentiviral vectors. Alexandre Parouchev , Tuan Huy Nguyen , Ibrahim Dagher , Sylvie Mainot , Marie-Thérèse Groyer-Picard , Julie Branger , Patrick Gonin , James P. Di Santo , Dominique Franco , Gabriel S. Gras , Anne Weber
Communication dans un congrès 03/04/2024 Nuclear power fleet replacement: an opportunity for the French energy mix? Camille Cany , Christine Mansilla , Gilles Mathonnière , Thierry Duquesnoy , Anne Baschwitz , Pascal Da Costa
Article dans une revue 03/04/2024 The need for design space exploration and design optimisation methods Gary G. Wang , Bernard Yannou
Communication dans un congrès 03/04/2024 Seismic evaluation of embankment-type structures with coupled hydro-mechanical model Ioanna Rapti , Fernando Lopez‐caballero , Arézou Modaressi-Farahmand-Razavi , A. Foucault , F. Voldoire , Fernando Lopez Caballero , Arezou Modarresi
Communication dans un congrès 03/04/2024 Nuclear power: a promising back-up option to promote renewable penetration in the French power system? Topic: Renewable system integration Camille Cany , Christine Mansilla , Gilles Mathonnière , Jean Baptiste Thomas , Pascal Da Costa
Communication dans un congrès 03/04/2024 Formulation continue en vitesse du contact frottement. Application à la simulation du temps de chute d'une grappe de commande dans un cœur de réacteur nucléaire Marc Kham , Mohamed Torkhani , Patrick Massin , Hachmi Ben Dhia
Communication dans un congrès 03/04/2024 Analysis of the Vulnerability of Smart Grids to Social Network-Based Attacks Daogui Tang , Enrico Zio , José Emmanuel Ramirez-Marquez , Yiping Fang
Article dans une revue 03/04/2024 Feasibility assessment of the use of steam sourced from nuclear plants for French factories considering spatial configuration Martin Leurent , Sébastien Sylvestre , Michel Berthélemy , Pascal Da Costa
Communication dans un congrès 03/04/2024 Nuclear and renewable synergies: towards massive low-carbon hydrogen production? The case of the French energy mix. Camille Cany , Christine Mansilla , Gilles Mathonnière , Pascal Da Costa
Communication dans un congrès 03/04/2024 Approche hybride Laplace-temps pour les calculs dynamiques d'interaction Alex Nieto Ferro , Nicolas Greffet , Georges Devésa , Didier Clouteau