Docteur 2011 - Ecole DOCTORALE IAEM

Transcription

Portefeuille de compétences
https://www.adum.fr/as/requetes/catalogue_valorisation.pl
Portefeuille de Compétences
Monsieur Ali Ali ABBAS
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Etablissement :
Université Paul Verlaine Metz
Encadrement :
Jean-Pierre CROISILLE
Sujet de thèse :
Schemas boîtes hermitiens, Algorithmes rapides pour la discretisation des equations aux derivees partielles.
Laboratoire de thèse : LMAM =) IECL depuis le 1er janvier 2013 - UMR 7122
Date de soutenance : 31 octobre 2011
Productions scientifiques
Ali Abbas, Jean-Pierr Croisille 2010. A Fourth Order Hermitian Box-Scheme with Fast Solver for the Poisson Problem in a Square Journal of scientific computing
Séjours à l'étranger
Leipzig- Allemagne (Max Plank Institut), 2008
Enseignements
L3 Mathématiques: Analyse numérique matricielle. L1 et L2 AES: Probabilités et Statistiques. L1 Eco: Analyse complexe. L1 ISFTATES: Algèbre linéaire, Analyse.
1 sur 100
08/04/2015 13:20
Monsieur Mumtaz Muhammad AHMAD
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Université Henri Poincaré Nancy 1
Encadrement :
Michaël RUSINOWITCH
Sujet de thèse :
Stratégies d'optimisation de la mémoire pour la calcul d'applications linéaires et l'indexation de document partagés
Laboratoire de thèse : LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503
Date de soutenance : 14 novembre 2011
SAGE DAYS 2008 - 2007
Ecole ISCO - 2009
8th international conference on integrated formal methods - 2010
français languie étrangère winter session - 2010
Langues et Techniques de communication
Anglais Poster Scientifique - 2010
Mumtaz Ahmad and Serge Burckel 2009. Sequential decomposition of operations and compilers optimization , 99, http://hal.inria.fr/inria-00428722/fr/
Mumtaz Ahmad and Serge Burckel 2010. Sequential computation of mappings over the field and set of integers , 1, http://www.dur.ac.uk/acid.2010/abstracts.html#ma
Mumtaz Ahmad 2010. Expressing Polynomials as the Permanent of low rank Square Matrices Electronic Notes in Discrete Mathematics , Volume 36, Pages 73-80, http://www.sciencedirect.com/science/article
/pii/S1571065310000119
Autres valorisations techniques
Programming in Maple, working with Linux/Windows environment. Three years teaching experience in Mathematics / Computer Science. Four years research experience
One year administrative experience
2 sur 100
08/04/2015 13:20
Monsieur Mohamad safa AL KHAWAJA
Docteur 2011
Doctorat :
Automatique, Traitement du signal et des images, Génie informatique
Ecole doctorale :
Etablissement :
Institut National Polytechnique de Lorraine
Encadrement :
Alain NOEL, M. Didier WOLF
Sujet de thèse :
Quel Niveau de Qualité de Traitement Peut être Obtenu Par un Système d'irradiation Robotisé Guidé Par l'Image en Radiothérapie CyberKnife.
Laboratoire de thèse : CRAN - Centre de Recherche en Automatique de Nancy - UMR 7039
Doctoriales de Lorraine 2009 - 2008
conversation en anglais - 2009 - 15 heures
formation Cyberknife du 25 au 27 janvier 2010 - 2010 - 20 heures
UE ANALYSE D'IMAGES - 2010 - 20 heures
UE R1 11 SIGNAUX ET SYSTEMES BIO-MEDICAUX - 2010
2011. An evaluation of real time tracking in moving tumors robotized radiosurgery: An experimental study
Ben Mahmoud, S., L. Maillard, S. Poussier, L. Koessler, M.S. Al Khawaja, M.H. Laurens, et al 2009. Localization of temporal epilepsy foci by subtraction ictal perfusion single photon emission computed
tomography is enhanced when using 3D-OSEM iterative reconstruction Nucl Med Commun
Ben Mahmoud, S., M.S. Al Khawaja, S. Poussier, L. Maillard, M.H. Laurens, L. Koessler, et al., 2008. Comparaison entre OSEM-3D et rétroprojection filtrée pour les images traitées par SISCOM dans
l’épilepsie temporale. médecine nucléaire
radiophysique, Imagerie Médicale, Médecine nucléaire, CyberKinfe, contrôle de qualité, chimie analytique
Matlab,tests statistiques.
3 sur 100
08/04/2015 13:20
Monsieur Lucian ALECU
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Frédéric ALEXANDRE, M. Hervé FREZZA-BUET
Sujet de thèse :
Une approche neuro-dynamique de conception des processus d'auto-organisation
Date de soutenance : 30 juin 2011
Modèles biologiques pour l'informatique - 2007 - 18 heures
Apprentissage supervisé : Regression et Classification - 2008
Perception de la structure et du mouvement - 2008
Cours
La négociation de contrat B - 2009 - 18 heures
Sciences et civilisations - 2009 - 24 heures
Lucian Alecu and Hervé Frezza-Buet 2008. An Empirical Evaluation Framework for Qualifying Dynamic Neural Fields Proceedings of the second french conference on Computational Neuroscience,
Neurocomp, Marseille , 4 pages
Lucian Alecu and Hervé Frezza-Buet 2008. Are Neural Fields Suitable for Vector Quantization? Proceedings of The Seventh International Conference on Machine Learning and Applications (ICMLA'08) ,
239-244
Lucian Alecu and Hervé Frezza-Buet 2009. Reconciling neural fields to self-organization European Symposium on Artificial Neural Networks - Advances in Computational Intelligence and Learning (ESANN),
Bruges, Belgium , 571-576
Lucian Alecu and Hervé Frezza-Buet 2009. A dynamic neural field mechanism for self-organization Supplement of the online journal BMC Neuroscience, The nineteenth Annual Computational Neuroscience
Meeting, Berlin, Germany
Lucian Alecu and Hervé Frezza-Buet 2009. Application-driven parameter tuning methodology for dynamic neural field equations Proceedings of the 16th International Conference on Neural Information
Processing (ICONIP), Bankok, Thailand
Lucian Alecu, Hervé Frezza-Buet, Frédéric Alexandre 2010. Can Self-Organization Emerge through Dynamic Neural Fields Computation? Connection Science
languages de programmation: C, C++, Java, Python, Prolog, Lisp, Scheme, Caml, Clips, Pascal
bases de données: MySQL, Oracle
systèmes d'exploitation: Windows, Linux
autres: Latex, Cisco CCNA
4 sur 100
08/04/2015 13:20
Monsieur Mohsin AMIN
Docteur 2011
Doctorat :
Systèmes électroniques
Ecole doctorale :
Etablissement :
Encadrement :
Fabrice MONTEIRO
Sujet de thèse :
Conception d'une architecture journalisée tolérante aux fautes pour un processeur à pile de données
Laboratoire de thèse : LICM - Laboratoire Interfaces, Capteurs et Microélectronique - EA 1776
Cours scientifiques et techniques
Spécification des Système Numériques - 2007 - 48 heures
Modélisation, vérification et conception de Système sur puce - 2008 - 34 heures
Les cours d'initiation à LATEX - 2009 - 10 heures
How to publish a paper - 2009 - 20 heures
Module Obligatoire
Doctoriales de Lorraine 2010 - 2009 - 20 heures
Mohsin AMIN, Camille DIOU, Fabrice MONTEIRO, Abbas RAMAZANI, Abbas DANDACHE, 2010. A Self-Checking HW Journal for a Fault Tolerant Processor Architecture Reconfigurable
Communication-centric SoCs (ReCoSoC’10), Karlsruhe, Germany. , pages 179-184
Mohsin AMIN, Abbas RAMAZANI, Fabrice MONTEIRO, Camille DIOU, Abbas DANDACHE, 2009. A Dependable Stack Processor Core for MPSoC Development XXIV Conference on Design of Circuits
and Integrated Systems, Zaragoza, Spain, November 18-20, 2009
Mohsin AMIN, Fabrice MONTEIRO, Camille DIOU, Abbas RAMAZANI, Abbas DANDACHE, 2009. A HW/SW Mixed Mechanism to Improve the Dependability of a Stack Processor 16th IEEE
International Conference on Electronics, Circuits, and Systems, ICECS 2009, Hammamet, Tunisia, December 13-16, 2009.
Mohsin AMIN, Camille DIOU, Fabrice MONTEIRO, Abbas RAMAZANI, Abbas DANDACHE 2009. Journalized Stack Processor for Reliable Embedded Systems 1st International Conference on
Aerospace Science and Engineering, ICASE 2009, Islamabad, Pakistan, August 18-20, 2009.
A. Ramazani, M. Amin, F. Monteiro, C. Diou, A. Dandache 2009. A Fault Tolerant Journalized Stack Processor Architecture 15th IEEE International On-Line Testing Symposium, Sesimbra–Lisbonne, Portugal,
24–27 juin 2009.
Mohsin AMIN, Camille DIOU, Fabrice MONTEIRO, Abbas RAMAZANI, Abbas DANDACHE 2010. A Self-Checking HW Journal for a Fault Tolerant Processor Architecture GDR System on Chip - System
in Package, 9-11 juin 2010, Cergy, France
Mohsin Amin, Camille Diou, Fabrice Monteiro, Abbas Ramazani, 2009. Design Methodology of Reliable Stack Processor Core GDR System on Chip - System in Package, 10-12 juin 2009, Orsay, France
Mohsin AMIN 2008. Self–Organization in Embedded Systems Self–Organization in Embedded Systems
Mohsin AMIN, Abbas RAMAZANI, Fabrice MONTEIRO, Camille DIOU, Abbas DANDACHE 2011. A Self-Checking HW Journal for a Fault Tolerant Processor Architecture International Journal of
Reconfigurable Computing, Hindawi, in special issue on Selected Papers from the International Workshop on Reconfigurable Communication-centric Systems on Chips (ReCoSoC’ 2010), 2011
- Conception de systèmes électroniques tolérants aux fautes
- Modélisation architecturale (RTL) et fonctionnelle en VHDL
- Programmation en C/C++
- Architectures de processeurs et langages d’assemblage
- Systèmes de communication sans fils
- Outils bureautiques et d’édition de documents scientifiques
(LaTeX, Microsoft Office, HTML)
5 sur 100
08/04/2015 13:20
Monsieur Khuda Bux AMUR
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Zakaria BELHACHMI
Sujet de thèse :
Le contrôle adaptatif, Techniques de Rérgularisation de problèmes mal-posés et leurs Applications en L'analyse d'images
Date de soutenance : 20 septembre 2011
Differential equations in image processing and computer vision - 2008 - 60 heures
International seminar on gradient systems - 2010 - 40 heures
Méthodes numériques en mécanique de solides déformables - 2010 - 20 heures
6 sur 100
08/04/2015 13:20
Monsieur Jonathan Georges Leopold ANDREA
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Patrick SCHWEITZER, M. Etienne Tisserand
Sujet de thèse :
Génération, modélisation et détection des défauts d'arcs électriques : application aux systèmes embarqués aéronautiques
Laboratoire de thèse : LIEN - UMR 3440
Date de soutenance : 16 mai 2011
Doctoriales de Lorraine 2010 - 2009 0
FETCH 2010 - 2009
Module de master 2 Plasma et décharges électriques - 2009
Jonathan Andrea, Patrick Schweitzer, Etienne Tisserand, 2010. Calibrated AC and DC Arcing Fault Generator IEEE HOLM International Conference on Electrical Contacts
Jonathan Andrea, Patrick Schweitzer, Etienne Tisserand, Patrice Roth, Serge Weber, 2010. A New DC and AC Arc Fault Electrical Model IEEE HOLM International Conference on Electrical Contacts
Jonathan Andrea, Patrick Schweitzer, Robert Hugon, Ludovic De Poucques 2010. Arc Fault Generation and Modelling MIATEC Magnetron, Ion Processing and Arc technologies European Conference,
Jonathan Andrea, Patrick Schweitzer, Etienne Tisserand, Patrice Roth, Serge Weber 2010. Repeatable and Calibrated Arc Fault Generator ISIE 2010 IEEE proceedings
Jonathan Andrea, Frederic Coutard, Patrick Schweitzer, Etienne Tisserand 2008. Averaged Lagrange Method for Interpolation Filter Acoustics 2008 Paris
Jonathan Andrea, Frederic Coutard, Patrick Schweitzer, Etienne Tisserand 2008. Averaged Lagrange Method for Interpolation Filter (A) Journal of the Acoustical Society of America , vol. 123, issue 5, p.
3746
2010. GDARC - Générateur de défaut d'arc reproductible et calibré
2010. Algorithme de détection de défaut d'arc pour les systèmes basse puissance
Me contacter
Me contacter
7 sur 100
08/04/2015 13:20
Madame Farah ANKOUD
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
José RAGOT, M. Gilles MOUROT
Sujet de thèse :
Modélisation d'un parc de machines pour la surveillance. Application aux composants en centrale nucléaire
Date de soutenance : 12 decembre 2011
3èmes Journées Doctorales JD-JNMACS 2009 - 2008 - 20 heures
LMI, Otimization and polynomial methods - 2008 - 21 heures
Anglais Ecrit Scientifique - 2009
Ankoud F., Mourot G., Chevalier R., Paul N., Ragot J. 2011. Modeling and fleet effect for the diagnosis of a system behavior European Safety and Reliability Conference, ESREL 2011
Ankoud F., Mourot G., Chevalier R., Paul N., Ragot J. 2011. Estimation of a generic model for a fleet of machines International Conference on Communications, Computing and Control Applications, IEEE
CCCA’11
Ankoud F., Mourot G., Chevalier R., Paul N., Ragot J. 2011. Estimation d'un modèle générique pour un parc de machines Conférence QUALITA 2011
Ankoud F., Mourot G., Chevalier R., Paul N., Ragot J. 2010. Détection de défauts capteurs dans une centrale nucléaire 1er Colloque International Francophone, Ingénierie et Environnement, CIFIE'2010
Farah Ankoud, Gilles Mourot and José Ragot 2011. Modelling a Fleet of Machines Using PCA 12th International conference on Sciences and Techniques of Automatic control & computer engineering,
STA'2011
8 sur 100
08/04/2015 13:20
Monsieur Tigran AVANESOV
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés.
Module
FLE - Français Lingue Étrangaire: niveau avancé - 2008 - 36 heures
FLE - Français Lingue Étrangaire: niveau intérmediaire - 2008 - 36 heures
Procédures de décision pour la vérification de programmes - 2008 - 15 heures
Réécriture pour la programmation et la preuve - 2008 - 15 heures
Sécurité Résaux Dynamiques - 2008 - 15 heures
Théorie de la sécurité - 2008 - 15 heures
Séminaires transversaux
Programmation parallèle en C - 2009 - 2 heures
Séminaires SED - 2010 - 13 heures
Humberto Abdelnur; Tigran Avanesov; Michael Rusinowitch; Radu State 2009. Abusing SIP authentication Journal of Information Assurance and Security , 4,4(2009) 311-318, http://www.mirlabs.org
/jias/vol4-issue4.html
Humberto Abdelnur; Tigran Avanesov; Michael Rusinowitch; Radu State 2008. Abusing SIP Authentication Proceedings of the 2008 The Fourth International Conference on Information Assurance and
Security , 237-242, http://portal.acm.org/citation.cfm?id=1438496
Tigran Avanesov; Yannick Chevalier; Michaël Rusinowitch; Mathieu Turuani 2010. Satisfiability of General Intruder Constraints with a Set Constructor The 5th International Conference on Risks and
Security of Internet and Systems 2010 (CRiSIS 2010)
Tigran Avanesov; Yannick Chevalier; Michaël Rusinowitch; Mathieu Turuani 2010. Satisfiability of General Intruder Constraints with and without a Set Constructor INRIA Research Report , http://hal.inria.fr
/inria-00480632/fr/
9 sur 100
08/04/2015 13:20
Monsieur Ahmed Bilal AWAN
Docteur 2011
Doctorat :
Génie Electrique
Ecole doctorale :
Etablissement :
Encadrement :
Serge PIERFEDERICI, M. Babak NAHIDMOBARAKEH
Sujet de thèse :
Contribution à l'étude de la stabilité des systèmes électriques distribués d'un bus commun d'alimentation.
Laboratoire de thèse : GREEN - Groupe de Recherche en Electrotechnique et Electronique de Nancy - EA 4366
Modules Commande des actionneurs ENSEM 2008 2009 - 2008 - 20 heures
Synthèse des structures de convertisseurs statiques - 2008 - 20 heures
Doctoriales de Lorraine 2010 mai 2010 - 2009
FLE 1 - 2009
10 sur 100
08/04/2015 13:20
Madame IMEN AYADI
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Saïd BENAYADI
Sujet de thèse :
Super-algèbres non associatives avec des structures homogènes.
Date de soutenance : 10 mars 2011
8 exposés de recherche entre 2007 et 2010, 2 exposés à l'Université de Haute Alsace Séminaire Georges Reeb, 6 exposés à l'UPVM groupe de travail supergéométrie - 2007
Géométrie et analyse sur les espaces symétriques - 2008
Vacations à l'Université de Metz et à l'IUT de Metz (96h) en 2008-2009 et 2009-2010. Travaux dirigés de probabilités en L2-Informatique; Travaux dirigés d'algèbre linéaire en L2. - 2008
ATER à l'Université de Haute Alsace (96h) en 2010-2011. Travaux dirigés de Statistiques et d'algèbre linéaire en L1-AES; Travaux dirigés d'analyse en L1-IUT. - 2010
Ayadi. I and Benayadi. S 2010. Symmetric Novikov superalgebras Journal of Mathematical Physics,
Ayadi. I and Benayadi S 2010. Associatives superalgebras with homogeneous symmetric structures Communications in Algebra.
Enseignements
2009/2010 Enseignante vacataire : deux modules de 24 heures : Probabilites, L2 Informatique, UFR-Metz. 2008/2009 Enseignante vacataire : module de 27h heures : Probabilites, L2 Informatique, UFR-Metz
module de 14h heures : Algebre Lineaire, N2, IUT-Metz (dep. Mesures Physiques) module de 4h : Probabilites, L1-Economie, Faculte de Droit, d’Economie et d’Administration-Metz.
11 sur 100
08/04/2015 13:20
Monsieur Hedi AYED
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Zineb HABBAS
Sujet de thèse :
Approches de résolution multiobjective séquentielle et parallèle pour les réseaux de transports multimodaux
Laboratoire de thèse : LITA - Laboratoire D'Informatique Théorique et Appliquée - EA 3097
Développer ses capacités à communiquer et à manager - 2010 - 20 heures
Hedi Ayed, Djamel Khadraoui, Zineb Habbas, Pascal Bouvry, Jean François Merche: 2008. Transfer Graph Approach for Multimodal Transport Problems MCO 2008 , pp-538-547
Hedi Ayed, Djamel Khadraoui Zineb Habbas. 2009. Deployment of a new Optimization Technique based on Transfer Graph, Validation in Multimodal Transport Domain. Logistique and Transport 2009
Ayed Hedi, Zineb Habbas, Carlos Galvez-Fernandez, Djamel Khadraoui. 2009. Hybrid Algorithm for Solving a Multimodal Transport Problems Using a Transfer Graph Model Ubiroads 2009
Ayed Hedi, Zineb Habbas, Djamel Khadraoui. 2009. ACO for solving a Multimodal Transport Problems using a transfer graph model CIE39
Carlos Galvez-Fernandez, Djamel Khadraoui, Hedi Ayed, Zineb Habbas, Enrique Alba 2009. Distributed Approach for Solving Time-Dependent Problems in Multimodal Transport Networks Advances in
Operations Research , Volume 2009, Article ID 512613, 15 pages, http://www.hindawi.com/journals/aor/2009/512613/
Hedi Ayed, Carlos Galvez-Fernandeza, Zineb Habbas, Djamel Khadraouia 2011. Solving time-dependent multimodal transport problems using a transfer graph model Computers & Industrial Engineering ,
Volume 61, Issue 2, September 2011, Pages 391-401, http://www.sciencedirect.com/science/article/pii/S0360835210001452
Ayed Hedi, Zineb Habbas, Djamel Khadraoui 2011. A Parallel Time-dependent Multimodal Shortest Path Algorithm based on geographical partitioning International Conference on Computer Design and
Engineering.
Ayed Hedi, Zineb Habbas, Djamel Khadraoui 2011. A Parallel Algorithm for Solving Time Dependent Multimodal Transport Problem IEEE ITSC 2011
Ayed Hedi, Zineb Habbas, Djamel Khadraoui 2011. A Parallel Time-dependent Multimodal Shortest Path Algorithm Based on Geographical Partitioning NaBic2011
12 sur 100
08/04/2015 13:20
Monsieur Souheil AYED
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Nidhal REZG, M. Sofiène DELLAGI
Sujet de thèse :
Contribution au développement des stratégies de gestion de maintenance intégrée faisant appelle à la sous-traitance
Laboratoire de thèse : LGIPM - Laboratoire de Génie Industriel et Production de Metz - EA 3096
Ecole Thématique - 2000 - 3 heures
Insertion professionnelle
Les Doctoriales de lorraine 2010 - 2009
Cours
Création d'entreprise - 2001
Gestion de Production - 2010 - 24 heures
Formations scientifiques
Ecole thématique - 2008
Séminaires
Doctoriale mai 2010 - 2001
Souheil Ayed Sofiène Dellagi Nidhal Rezg 2010. OPTIMISATION D’UNE POLITIQUE DE MAINTENANCE INTÉGRÉE SOUS UNE CONTRAINTE DE SOUS-TRAITANCE AVEC CONSTRUCTION DE
STOCK 8e Conférence Internationale de MOdélisation et SIMulation - MOSIM’10 - 10 au 12 mai 2010 - Hammamet - Tunisie
Souheil Ayed Sofiène Dellagi Nidhal Rezg 2009. Optimisation d’une politique de maintenance intégrée selon une stratégie de commutation entre les sous-traitants PENTOM’09 PErformances et Nouvelles
TechnolOgies en Maintenance Du 7 au 9 décembre 2009 à Autrans
Souheil Ayed, Sofiène Dellagi, Nidhal Rezg 2011. Integrated Maintenance optimization with random demand and subcontracting constraint 4th International Conference on Industrial Engineering and Systems
Management IESM 2011, May 25-27, 2011, ENIM-Metz , http://www.iesm11.org/
Souheil Ayed, Sofiène Dellagi, Nidhal Rezg 2011. Optimal integrated maintenance production strategy with variable production rate for random demand and subcontracting constraint 18th World Congress of
theInternational Federation of Automatic Control (IFAC). Milano Italy , http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac11-proceedings/data/html/papers/2345.pdf
Ayed Souheil; Dellagi Sofiene; Rezg Nidhal 2011. Joint optimisation of maintenance and production policies considering random demand and variable production rate , ID TPRS-2011-IJPR-0263.R1
13 sur 100
08/04/2015 13:20
Monsieur Guillaume BATOG
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Sylvain PETITJEAN
Sujet de thèse :
Problèmes classiques en vision par ordinateur et en géométrie algorithmique revisités via la géométrie des droites
Cours
M2 Recherche: Géométrie algébrique (MM 3.11) - 2008 - 30 heures
Centre d'Initiation à l'Enseignement Superieur
Formations CIES - 2010 - 15 heures
Conférences
On algebraic group actions - 2009 - 11 heures
Journées Géométrie Algorthmique - 2009 - 13 heures
Culture scientifique, méthodologie, histoire et épistémologie des sciences
Module Philosophie des Sciences - 2008 - 18 heures
Guillaume Batog, Xavier Goaoc, Jean Ponce 2010. Admissible Linear Map Models of Linear Cameras 23rd IEEE Conference on Computer Vision and Pattern Recognition - CVPR 2010 (2010) , 1578 - 1585,
http://dx.doi.org/10.1109/CVPR.2010.5539784
Guillaume Batog, Xavier Goaoc 2008. Inflating balls is NP-hard International Journal of Computational Geometry & Applications
Guillaume Batog 2010. From invariants to predicates: example of line transversals to lines Proceedings of the 26th European Workshop on Computational Geometry (EUROCG) , http://2010.eurocg.org/
14 sur 100
08/04/2015 13:20
Monsieur Philippe BEAUCAMPS
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Jean-Yves MARION, Mme Isabelle GNAEDIG
Sujet de thèse :
Analyse de programmes malveillants par abstraction de comportements
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion 2010. Behavior Abstraction in Malware Analysis Proceedings of Runtime Verification 2010
Philippe Beaucamps, Jean-Yves Marion 2009. On Behavioral Detection Proceedings of EICAR'09
Philippe Beaucamps, Daniel Reynaud, Jean-Yves Marion, Eric Filiol 2009. On the Use of Internet Voting on Compromised Computers Proceedings of ICIW'09
Philippe Beaucamps, Daniel Reynaud, Jean-Yves Marion, Eric Filiol 2009. On the Impact of Malware on Internet Voting Proceedings of P1Day'09
Philippe Beaucamps 2008. Extended Recursion-Based Formalization of Virus Mutation Proceedings of EICAR'08
Philippe Beaucamps 2007. Advanced Metamorphic Techniques in Computer Viruses Proceedings of CESSE'07
Philippe Beaucamps, Éric Filiol 2006. On the possibility of practically obfuscating programs - Towards a unified perspective of code protection Journal in Computer Virology , 3
Philippe Beaucamps, Isabelle Gnaedig, and Jean-Yves Marion 2011. Rewriting-based Analysis of Malware
Sécurité informatique : analyse de codes malveillants, sécurité des systèmes
Développement logiciel, web et système
15 sur 100
08/04/2015 13:20
Monsieur Hicham BELHADAOUI
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Jean-François AUBRY, M. Olaf MALASSE
Sujet de thèse :
Conception sûre des systèmes mécatroniques intelligents pour des applications critiques.
Date de soutenance : 13 janvier 2011
Cours de français 1 année à l'Université Paul Verlaine Metz - 2005
Cours de sûreté de fonctionnement - 2006
Ecole d'été réel ETR 2007 à Nantes - 2006
chargé d'affaires dans une société d'installation des applications de sécurité 08 09 à 11 2009 - 2008
Une année à l'IGA en tant que professeur permanent sept 2008 à juillet 2009 - 2008
0. Méthode quantitative d'évaluation de la fiabilité des systèmes critiques programmés (2008) * Belhadaoui, Hicham, * Buchheit, Grégory, * Malassé, Olaf, * Aubry, Jean-François, * Medromi, Hicham Details der
Publikation Download http://hal.archives-ouvertes.fr/hal-00338901/en/ http://hal.archives-ouvertes.fr/docs/00/33/89/01/PDF/belhadaoui_lamda_mu_16.pdf Archiv CCSd/HAL : e-articles server (based on gBUS)
(France) Keywords [SPI:AUTO] Engineering Sciences/Automatic, système critique sûr, conception et évaluation, flux informationnel, processus Markovien Typ proceeding with peer review Sprache french
Coverage Avignon, France Evaluation of important reliability parameters using VHDL-RTL modelling and information flow approach (2008) * Jallouli, Mehdi, * Belhadaoui, Hicham, * Diou, Camille, * Monteiro,
Fabrice, * Malassé, Olaf, * Aubry, Jean-François, * Dandache, Abbas, * Buchheit, Grégory, * Medromi, Hicham Details der Publikation Download http://hal.archives-ouvertes.fr/hal-00340667/en/
http://hal.archives-ouvertes.fr/docs/00/34/06/67/PDF/ESREL_2008_licm_a3si_v3.pdf Archiv CCSd/HAL : e-articles server (based on gBUS) (France) Keywords [SPI:AUTO] Engineering Sciences/Automatic,
Reliability, information flow, VHDL Typ proceeding with peer review Sprache english Coverage Valencia, Spain Méthode quantitative d'évaluation de la fiabilité des systèmes critiques programmés (2008) *
Belhadaoui, Hicham, * Buchheit, Grégory, * Malassé, Olaf, * Aubry, Jean-François, * Medromi, Hicham Details der Publikation Download http://hal.archives-ouvertes.fr/hal-00338901/en/ Herausgeber HAL CCSD Archiv INRIA a CCSD electronic archive server based on P.A.O.L (France) Keywords Engineering Sciences/Automatic, système critique sûr, conception et évaluation, flux informationnel, processus
Markovien Typ proceeding with peer review Sprache Französisch Verknüpfungen http://hal.archives-ouvertes.fr/docs/00/33/89/01/PDF/belhadaoui_lamda_mu_16.pdf
Enseignements
Modules Ecole Doctorale : - Ecole d'été temps réel ETR 2007 à Nantes. - Cours de Français 1 année à l'université Paul Verlaine - Cours sûreté de fonctionnement (ENSEM + Master) en nov et déc 2006 Expérience
professionnelle : - une année à l'IGA en tant que professeur permanent (sept2008->Jui2009) - chargé d'affaire dans une société d'installation des applications de sécurité (aout 2009->Novembre 2009). - Professeur
vacataire dans l'école IMM, école ESIAC, IGA. (2009 – 2010) - Actuellement Maitre de Conférences à l’IUT de Casablanca Langues : anglais, allemand français arabe
16 sur 100
08/04/2015 13:20
Monsieur Achraf BEN HAMADOU
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Christian DAUL, M. Charles SOUSSEN
Sujet de thèse :
Contribution à la cartographie 3D des parois internes de la vessie par cystoscopie à vision active
Formations scientifiques interdisplinaires
Grammatical Formalisms - 2009 - 20 heures
Lexicology and lexicography - 2009 - 10 heures
A. Ben-Hamadou, W. Blondel, C. Daul, C. Soussen et D. Wolf. 2009. Mosaïquage automatique d'images cystoscopiques : évaluation qualitative et quantitative OPTDIAG
Y. Hernandez-Mier, W. Blondel, C. Daul, D. Wolf, A. Ben-Hamadou et F. Guillemin. 2009. Construction rapide d'images panoramiques pour l'exploration cystoscopique Imagerie pour les Sciences du Vivant et
la Médecine IMVIE
A. Ben-Hamadou, C. Soussen, W. Blondel, C. Daul, and D. Wolf. 2009. Mosaïquage d'images cystoscopiques: étude comparative de méthodes de recalage. {XXIIe colloque GRETSI (traitement du signal et des
images)
A. Ben-Hamadou, C. Soussen, W. Blondel, C. Daul et D. Wolf 2009. Comparative study of image registration techniques for bladder video-endoscopy. European Conference on Biomedical Optics ECBO ,
737118--737118--7
C. Daul, W. Blondel, A. Ben-Hamadou, R. Miranda-Luna, C. Soussen et D. Wolf. 2010. From 2D towards 3D cartography of hollow organs IEEE 7th International Conference on Electrical Engineering,
Computing Science and Automatic Control CCE , 285-2293
T. Weibel, C. Daul, D. Wolf, R. Rösch et A. Ben-Hamadou. 2010. Endoscopic bladder image registration using sparce graph cuts IEEE International Conference on Image Processing ICIP , 157-160
A. Ben-Hamadou, C. Soussen, C. Daul, W. Blondel et D. Wolf 2010. Flexible projector calibration for active stereoscopic systems IEEE International Conference on Image Processing ICIP , 4241-4244
A. Ben-Hamadou, C. Daul, C. Soussen, A. Rekik, and W. Blondel 2010. A novel {3D} surface construction approach: application to three-dimensional endoscopic data IEEE International Conference on Image
Processing ICIP , 4425-4428
17 sur 100
08/04/2015 13:20
Monsieur Sidahmed BENABDERRAHMANE
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Marie-Dominique DEVIGNES, M. Olivier POCH
Sujet de thèse :
Prise en compte des connaissances du domaine dans l'analyse transcriptomique : Similarité sémantique, classification fonctionnelle et profils flous. Application au cancer colorectal.
Cours professionnalisants
Formation organisée par la génopôle d’Evry : ‘Introduction avancée à la génomique’. - 2008
Anglais Présentation de Conférences I - 2009
Anglais Présentation de Conférences II - 2009
Développer ses capacités à communiquer et à manager - 2009
Outils d'édition scientifique - 2009
Formation complémentaire de niveau doctoral
Ecole d’hivers à l’Université Libre de Bruxelles – Belgique - 2008
Module
.Module d’ossature I-PRIM-3-2 : Apprentissage, représentation et raisonnement - 2007
Module de specialisation I-PRIM-3-11 : Fouille de données et web sémantique - 2007
Grilles de calcul et Algorithmique Distribuée Avancée - 2008
Système Multi-agents - 2008
Benabderrahmane S., Devignes M.-D., Smaïl-Tabbone M., Poch O., Napoli A. 2010. IntelliGO: A new Vector based semantic similarity measure including the annotation origins BMC Bioinformatics ,
11(1):588
Benabderrahmane S., Devignes M.-D., Smaïl-Tabbone M. 2010. IntelliGO : une nouvelle mesure de similarité sémantique entre entité biologique III° journées FDC-AAFD (Apprentissage Artificiel et Fouille de
Données), 28 Juin 2010, Paris-Villetaneuse.
Benabderrahmane S. ,Devignes M.-D., Smaïl-Tabbone 2010. Consideration of quality metadata in the definition of a semantic similarity measure: Application to Gene Ontology . Journées Bingi Days.
Strasbourg, 19 Janvier 2010.
Benabderrahmane S., Devignes M.-D., Smaïl-Tabbone M., Poch O., Napoli A., Nguyen N.-H N., Raffelsberger W. 2010. Ensembles flous pour la définition de profils d’expression différentielle : application à
des données de transcriptomique du cancer colo-rectal Poster 3è Forum du CGE à Strasbourg le 19-20 nov. 2009. Ce poster a obtenu le 1er prix du Jeune Chercheur du Cancéropole Grand-Est lors de ce forum.
Devignes M.-D., Smaïl-Tabbone, Benabderrahmane S. 2009. Prise en compte de métadonnées de qualité dans la définition d'une mesure de similarité sémantique. Application à Gene Ontology. Workshop
national MOQA (Métadonnées, Ontologies et Qualité dans les Annotations), LRI-Paris, 17 Sep. 2009.
Benabderrahmane S., Devignes M.-D., Smaïl-Tabbone M., Poch O., Napoli A., Nguyen N.-H N., Raffelsberger W. 2009. Analyse de données transcriptomiques: Modélisation floue de profils d'expression
différentielle et analyse fonctionnelle Actes du XXVIIième congrès Informatique des Organisations et Systèmes d'information et de décision - INFORSID
Benabderrahmane S. ,Devignes M.-D., Smaïl-Tabbone 2008. Using Symbolic methods for mining transcriptomic data. Journées Bingi Days. Strasbourg, Mars 2008.
Sidahmed Benabderrahmane, Malika Smail-Tabbone, Olivier Poch, Amedeo Napoli, and Marie-Dominique Devignes. 2011. Ontology-based functional classification of genes : evaluation with reference sets
and overlap analysis. Bio Datamining journal
Emmanuel Bresso, Sidahmed Benabderrahmane, Malika Smaïl-Tabbone, Gino Marchetti, Arnaud Sinan Karaboga, Michel Souchet and Marie-Dominique Devignes 2011. Use of domain knowledge for
dimension reduction: application to mining of drug side effects. KDIR 2011 International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, KDIR 2011
Sidahmed Benabderrahmane, Malika Smail-Tabbone, Olivier Poch, Amedeo Napoli, and Marie-Dominique Devignes 2011. Benchmarking a new semantic similarity measure using fuzzy clustering and
reference sets: Application to cancer expression data. EGC 11, Brest.
Sidahmed Benabderrahmane, Malika Smaïl-Tabbone, Amedeo Napoli, Olivier Poch and Marie-Dominique Devignes. 2011. Clustering fonctionnel de gènes à partir d’une mesure de similarité sémantique
innovante : de nouvelles pistes pour l’interprétation des profils d’expression relatifs aux tumeurs. 4rd Forum of the Cancéropôle Grand Est, nov. 2010, Strasbourg France.
Sidahmed Benabderrahmane, Malika Smaïl-Tabbone, Amedeo Napoli, Olivier Poch and Marie-Dominique Devignes. 2010. Benchmarking a new semantic similarity measure using reference sets and
clustering : evaluation and interpretation for the discovery of missing information. ECCB 2010 : 9th European Conference on Computational Biology , Sep 26-29, 2010. Ghent, Belgium. (poster)
programmation
réseaux
base de données
technologie web
Intelligence artificielle
datamining
logique floue
traitement d'images
18 sur 100
08/04/2015 13:20
Monsieur Gaetan BISSON
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Pierrick GAUDRY
Sujet de thèse :
Anneaux d'endomorphismes en cryptographie
Date de soutenance : 14 juillet 2011
Cours
DIAMANT Summer School on Elliptic and Hyperelliptic Curve Cryptography - 2008 - 22 heures
Scientific Integrity - 2010 - 7 heures
Conférences
Arithmétique, géométrie, cryptographie et théorie des codes - 2008 - 18 heures
Workshop on Computational Number Theory and Arithmetic Geometry - 2009 - 20 heures
Workshop on Pairings in Arithmetic Geometry and Cryptography - 2008 - 16 heures
École d'été Jeunes Chercheurs en Informatique Mathématique, EJCIM 2008 - 2007 - 29 heures
Gaetan Bisson and Takakazu Satoh 2008. More Discriminants with the Brezing-Weng Method Progress in Cryptology - INDOCRYPT 2008 , Springer LNCS 5365, pp. 389-399, http://dx.doi.org/10.1007
/978-3-540-89754-5_30
Gaetan Bisson and Andrew V. Sutherland 2009. Computing the endomorphism ring of an ordinary elliptic curve over a finite field Journal of Number Theory , Elliptic Curve Cryptography, http://dx.doi.org
/10.1016/j.jnt.2009.11.003
Gaetan Bisson et Andrew V. Sutherland 2011. A low-memory algorithm for finding short product representations in finite groups , http://arxiv.org/abs/1101.0564
Gaetan Bisson 2011. Computing endomorphism rings of elliptic curves under the GRH , http://arxiv.org/abs/1101.4323
Eindhoven (cotutelle)
19 sur 100
08/04/2015 13:20
Madame Najet BOUGHANMI
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Ye Qiong SONG, M. Eric RONDEAU
Sujet de thèse :
Conception conjointe des systèmes contrôlés en réseau sans fil
Date de soutenance : 4 avril 2011
Doctoriales et formaions CIES - 2006
ETR 2007 - 2006
Qualité de service - 2006
Sécurité des systèmes communiquants - 2006
Minema winter school 2009 - 2008
Najet Boughanmi , Ye-Qiong Song, Eric Rondeau 2010. Priority and adaptive QoS mechanism for Wireless Networked Control Systems using IEEE 802.15.4 IECON 2010
Boughanmi N. et Song Y. 2008. A New Routing Metric for Satisfying Both Energy and Delay Constraints in Wireless Sensor Networks Journal of Signal Processing Systems for Signal, Image, and Video
Technology , Volume 51, Number 2 , http://www.springerlink.com/content/683u7116lj67635k/
Boughanmi N., Ranise S. et Ringeissen C. 2005. On Structural Information and the Experimental Evaluation of SMT Tools FTP’2005 : International Workshop on First-Order Theorem Proving
Boughanmi N. et Song Y. 2006. A New Routing Metric for Satisfying both Energy and Delay Constraints in Wireless Sensor Networks ", 2nd International Conference on Sensor Networks and Applications
(SNA)
Boughanmi N., Song Y. et Rondeau E. 2009. Wireless networked control system using ZigBee/IEEE 802.15.4 13th IFAC Symposium on Information Control Problems in Manufacturing
Boughanmi N., Song Y. et Rondeau E. 2009. Online adaptation of the IEEE 802.15.4 parameters for wireless networked control system 8th IFAC International Conference on Fieldbuses and neTworks in
industrial and embedded systems (FET 2009)
Boughanmi N. et Song Y. 2007. Improvement of Zigbee Routing Protocol including Energy and Delay constraint Junior Researcher Workshop on Real-Time Computing.
Boughanmi N., Song Y. et Rondeau E. 2008. Wireless Networked Control System using IEEE 802.15.4 with GTS Junior Researcher Workshop on Real-Time Computing
Boughanmi N., Cruz-Sanchez H., Song Y., Al-Salami I. et Yamé J. 2009. Case study of wireless networked control system: CONECS and COWNECS Workshop 3SGS'09 , ws3sgs09.loria.fr/articles
/boughanmi.pdf
20 sur 100
08/04/2015 13:20
Monsieur Tony Camille BOURDIER
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Horatiu CIRSTEA
Sujet de thèse :
Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
Communication Scientifique en anglais - Module 2 - 2008 - 40 heures
3rd International School on Rewriting - Track A - 2007 - 33 heures
Théorie de la sécurité - 2007 - 15 heures
Ecole JEUNES CHERCHEURS en PROGRAMMATION (EJCP) - 2008 - 48 heures
International School on Foundations of Security Analysis and Design (FOSAD) - 2008 - 36 heures
Tony Bourdier, Horatiu Cirstea, Pierre-Etienne Moreau, and Anderson Santana de Oliveira 2009. Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom. Luxembourg Day on
Security and Reliabilty. S. Mauw and L. van der Torre (eds).
Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty and Hélène Kirchner 2010. Extensional and Intensional Strategies. Reduction Strategies in Rewriting and Programming. M. Fernández (ed), Electronic
Proceedings in Theoretical Computer Science. , Vol. 15, pp. 1-19
Tony Bourdier and Horatiu Cirstea 2010. Constrained rewriting in regular theories. INRIA Research Report 00456848 , http://hal.inria.fr/inria-00456848
Tony Bourdier 2010. Automatic analysis of firewalls using tree automata. INRIA Research Report 00460462 , http://hal.inria.fr/inria-00460462
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume and Hélène Kirchner 2011. Formal Specification and Validation of Security Policies. Foundations & Practice of Security. Lecture Notes in Computer Science,
Springer. , Accepted for publication
Tony Bourdier 2007. Élaboration et développement d'algorithmes de surveillance et de prévision des défaillances d'équipements de transformation de l'uranium. Master Thesis - University Henri Poincaré
Tony Bourdier and Sandra Mellot 2010. Les Mathématiques dans l'Histoire de l'Art. Chapter of Différentes Applications des Mathématiques. Ellipses Edition Marketing. , A paraître.
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume and Hélène Kirchner 2009. On Formal Specification and Analysis of Security Policies INRIA Research Report 00429240 , http://hal.inria.fr/inria-00429240/
Tony Bourdier 2011. Specification, analysis and transformation of security policies via rewriting techniques. Journal of Information Assurance and Security. Ajith Abraham (ed), Dynamic Publishers Inc. , vol.6
(issue 5), pp. 357-368
Tony Bourdier 2011. Tree automata based semantics of firewalls 6th Intl Conference on Network Architectures and Information Systems Security, IEEE , Accepted
Tony Bourdier and Horatiu Cirstea 2011. Symbolic analysis of network security policies using rewrite systems. 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative
Programming, , Accepted
21 sur 100
08/04/2015 13:20
Monsieur Boumadien BOUSAID
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Christophe AUBRUN
Sujet de thèse :
Contribution à la tolérance active aux défauts des systèmes dynamiques par gestion des références
Ecole de printemps en Automatque - 2004 - 14 heures
Maths pour la recherche et le développement - 2007 - 22 heures
Conception Intégrée des Systèmes d'Ingénierie - 2008 - 16 heures
FAULT TOLERANT CONTROL SYSTEMS - 2009
B. Boussaid, C. Aubrun, M.N. Abdelkrim, M.K. Ben Gayed 2011. Performance Evaluation Based Fault Tolerant Control with Actuator Saturation Avoidance The International Journal of Applied Mathematics
and Computer Science (AMCS) , 21(3)
B. Boussaid, C. Aubrun, M. N. Abdelkrim 2011. Set-point Reconfiguration Approach for the FTC of Wind Turbines the 18th World Congress of the International Federation of Automatic Control (IFAC),
Milano, Italy, August 28 - September 02, 2011.
B. Boussaid, C. Aubrun, M. N. Abdelkrim 2011. Active Fault Tolerant Approach for Wind Turbines The 2011 International Conference on Communications, Computing and Control Applications (CCCA’11),
2011, Hammamet, Tunisia, March 3-5, 2011
B. Boussaid}, C. Aubrun, M. N. Abdelkrim 2011. Two-Level Active Fault Tolerant Control Approach Eighth International Multi-Conference on Systems, Signals & Devices (SSD'11), Sousse, Tunisia, March
22-25, 2011 , 1-6
B. Boussaid, C. Aubrun, M. N. Abdelkrim 2010. Fault Adaptation Based on Reference Governor The International Conference on Control and Fault Tolerant Systems (SysTol’10), 2010, October 6-8, 2010, Nice,
France , 257-262
B. Boussaid, C. Aubrun, M.K. Ben Gayed, M.N. Abdelkrim 2009. FTC approach based on predictive governor The 7th IEEE International Conference on Control and Automation (ICCA’09), 2009,
Christchurch, New Zealand, December 9- 11, 2009 , 2088-2093
B. Boussaid, R. Hamdaoui, C. Aubrun, M.K. Ben Gayed, M.N. Abdelkrim 2008. Une commande prédictive tolérante aux défauts appliquée à un système hydro-thermique La Conférence Internationale
Francophone d’Automatique (CIFA’08), 2008, Bucarest, Romanie, September 3-5, 2008
informatique industrielle
électricité générale
automatique/régulation
gestion de production/gestion de la maintenance
22 sur 100
08/04/2015 13:20
Monsieur Diego CAMINHA BARBOSA DE OLIVEIRA
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Stephan MERZ, M. Pascal FONTAINE
Sujet de thèse :
Fragments de l'arithmétique dans une combinaison de procédures de décision
Communication scientifique en français et en anglais - 2007 - 15 heures
Français Langue Étrangère - 2007 - 40 heures
Summer School on Logic and Theorem Proving in Programming Languages - 2007 - 33 heures
Doctoriales Lorraine - 2008 - 35 heures
Procedures de decision pour la verification des programmes - 2008 - 15 heures
Spring School Grid'5000 - 2008 - 22 heures
Summer School on Software Engineering Software Testing: The Practice And The Science - 2008 - 41 heures
Summer School on Verification Technology, Systems & Applications - 2008 - 32 heures
Summer School on Verification Technology, Systems & Applications - 2009 - 25 heures
Diego Caminha B. de Oliveira David Déharbe Pascal Fontaine 2009. Combining Decision Procedures by (Model-)Equality Propagation In Proc. of the Brazilian Symposium on Formal Methods , Volume 240
of Electr. Notes Theor. Comput. Sci. Pages 113-128
Thomas Bouton Diego Caminha B. De Oliveira David Déharbe Pascal Fontaine 2009. veriT: an open, trustable and efficient SMT-solver In Proc. Conference on Automated Deduction (CADE) , volume 5663
of LNCS pages 151-156 Springer-Verlag
Thomas Bouton Diego Caminha B. de Oliveira David Déharbe Pascal Fontaine 2010. Grid{TPT}: a distributed platform for Theorem Prover Testing In Proc. Workshop on Practical Aspects of Automated
Reasoning
23 sur 100
08/04/2015 13:20
Monsieur Mauricio CERDA
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Bernard GIRAU
Sujet de thèse :
Calcul neuronal distribué pour la perception visuelle du mouvement
Cours
Phonétique Expérimentale - I-PRIM-3.8 - 2007 - 30 heures
Réseaux neuronaux - 2007 - 30 heures
École d'automme de Neurosciences Computationnelles (NEUROCOMP) - 2007 - 30 heures
Cerda, M., Hitschfeld-Kahler, N., Mery, D. 2007. Robust tree-ring detection LNCS , 4872, pp. 575–585, http://www.springerlink.com/content/2l8707545l780113/
Cerda M. and Girau B. 2008. A neural model with feedback for robust disambiguation of motion. ESANN , ESANN 2008, pp. 505-510, http://www.google.fr/url?sa=t&source=web&cd=2&ved=0CCkQFjAB&
url=http%3A%2F%2Fwww.dice.ucl.ac.be%2FProceedings%2Fesann%2Fesannpdf%2Fes2008-102.pdf&rct=j&
q=A%20neural%20model%20with%20feedback%20for%20robust%20disambiguation%20of%20motion.&ei=HDP6TejZI
Barron-Zambrano H., Torres-Huitzil C. and Cerda, M. 2008. Flexible Architecture for Three Classes of Optical Flow Extraction Algorithms. ReConFig , ReConFig, pp.13-18, http://ieeexplore.ieee.org
/xpls/abs_all.jsp?isnumber=4731751&arnumber=4731763&count=80&index=5
Cerda M., Terissi L. and Girau B. 2009. Bio-inspired speed detection and discrimination. LNICST , 39, pp. 167-176, http://www.springerlink.com/content/x367x07241774633/export-citation/
Cerda M. and Girau B. 2010. A bio-inspired neural model to discriminatevisual sequences. BICS , pp. 9
Cerda M., Valenzuela R. and Hitschfeld-Kahler N. 2010. Generic face animation. IEEE Computer Society , pp. 252-257, http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5750522
Cerda M. and Girau B. 2011. Spatiotemporal pattern coding using Neural Fields: Optimal parameter estimation. INRIA Research Report , -, http://hal.archives-ouvertes.fr/inria-00566166_v1/
Terissi L., Cerda M, Gomez J.C., Hitschfeld-Kahler N., Girau B., Valenzuela R. 2011. Animation of generic 3D head models driven by speech ICME , -
Enseignements
Universidad de Chile, 128H, Algorithmique, Programmation, Physique Université Nancy 2 - IUT Charlemagne, 56H, Programmation Université Henri Poincaré - IUT Saint-Dié-Les-Vosges-96H, Réseaux et
programmation
24 sur 100
08/04/2015 13:20
Madame Salma CHAABOUNI
Docteur 2011
Doctorat :
Sciences de l'architecture
Ecole doctorale :
Etablissement :
Encadrement :
Jean-Claude BIGNON, M. Gilles HALIN
Sujet de thèse :
Savoir, voir, concevoir. Une méthode d'assistance à la conception d'ambiances lumineuses par l'utilisation d'images références
Laboratoire de thèse : MAP - Modèles et simulations pour l'Architecture et le Patrimoine - UMR 3495
Salma Chaabouni, Jean-Claude Bignon, Gilles Halin. 2009. Utilisation d'une collection de références pour assister la conception des ambiances lumineuses SCAN'09 - Séminaire de Conception Architecturale
Numérique, Conception numérique et approches environnementales, 14-15 mai 2009, Nancy, France , http://www.crai.archi.fr/media/pdf/chaabouni_scan09.pdf
Salma Chaabouni, Gilles Halin, Jean-Claude Bignon. 2008. Conception des ambiances lumineuses, Navigation et raisonnement par l’image pour la formulation des intentions Colloque Faire une ambiance,
10-12 septembre 2008, Grenoble, France , http://www.crai.archi.fr/media/pdf/FUA_chabouni_bignon_halin.pdf
Salma Chaabouni, Jean-Claude Bignon, Gilles Halin 2008. Luminous ambience design, Navigation and reasoning by photographic images for formulation of intentions 9th International Conference on Design
& Decision Support Systems in Architecture and Urban Planning, 7-10 Juillet 2008, The Netherlands , http://www.crai.archi.fr/media/pdf/DDSSalma.pdf
Salma Chaabouni Jean-Claude Bignon Gilles Halin. 2008. Supporting ambience design with visual references, Formulation of intentions Conférence eCAADe 2008, 17-19 Septembre 2008, Antwerp, Belgique ,
http://www.crai.archi.fr/media/pdf/ecaade2008Salma.pdf
Salma Chaabouni Jean-Claude Bignon Gilles Halin 2007. Première étape vers une navigation référentielle par l’image pour l’assistance à la conception des ambiances lumineuses Conférence h2ptm'07, 29,30 et
31 octobre 2007- Hammamet, Tunisie , http://www.crai.archi.fr/media/pdf/07.pdf
Environnements Mac et PC
Autocad : Bonne maîtrise de la 2D et de la 3D.
Maya : Notions de bases.
Artlantis : Notions de bases, en amélioration.
Photoshop : Bonne maîtrise.
Logiciels bureautiques : Microsoft Word et Microsoft PowerPoint (Windows). Pages et Keynote (mac).
Notions de programmation : en LISP et en PASCAL.
25 sur 100
08/04/2015 13:20
Monsieur Karim CHABIR
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Dominique SAUTER
Sujet de thèse :
Diagnostic de défauts des systèmes contrôlés via un réseau
Ecole de Printemps Méthodes de Diagnostic à base de modèles HAMMAMET TUNISIE - 2007
L’Ecole d’Hiver Maths pour la Recherche et le Développement, Jerba Tunisie, 2007 - 2007
Ecole Internationale Franco-Tunisienne des Bond Graphs, Ecole d'Hiver (E_H'08) Djerba, Conception Intégrée des Systèmes d'Ingénierie. - 2008
L’Ecole de Printemps : Analyse de données et traitement du signal pour le diagnostic des systèmes industriels, 18 – 21 Mars 2010, Yasmine Hammamet -– TUNISIE - 2009
FLE 1 - 2009
FLE 2 - 2009
Karim Chabir, Dominique Sauter, Mohamed Naceur Abdelkrim and Mohamed Koni Ben Gayed 2010. Robust Fault Diagnosis of Networked Control Systems via Kalman Filtering Int. J. Automation and
Control , Vol. 4, 14 pages
K. Chabir, D. Sauter, I. M. Al-Salami and M. Naceur Abdelkrim 2010. Two-Stage kalman filter for simultaneous fault and delay estimation in networked control systems 18th Mediterranean Conference on
Control and Automation (MED'10), June 23-25, 2010, Marrakech, Morocco. , 6 pages
I. M. Al-Salami, K. Chabir, D. Sauter, and Aubrun Christophe 2010. Adaptive Thresholding for Fault Detection in Networked Control Systems IEEE Multi-conference on Systems and Control, , 6 pages
7. Karim Chabir, Dominique Sauter and J. Y. Keller 2009. Design of Fault Isolation Filter under Network Induced Delay, IEEE Multi-conference on Systems and Control, July 8-10, 2009, Saint Petersburg,
Russia.
S. Lesecq, K. Chabir, S. Gentil, and D. Sauter, 2009. Extended Kalman Filter taking account of extra delays and intermittent data in Network Controlled Systems, In 7th IFAC Symposium on Fault Detection,
Supervision and Safety of Technical Processes, Barcelone, 2009.
K. Chabir, D. Sauter, M. Koni Ben Gayed and M. Naceur Abdelkrim, 2008. Delay Estimation for Networked Control System. The 9th international conference on Sciences and Techniques of Automatic
Control and computer engineering STA 2008, Sousse, Tunisia, December 20- 23, 2008
K. Chabir, D. Sauter, M. Koni Ben Gayed and M. Naceur Abdelkrim 2008. Kalman Estimator of the Delay for Networked Control Systems, 2nd International Conference on Electrical Engineering Design and
Technologies ICEEDT’08, November 8-10, 2008 Hammamet, Tunisia.
K. Chabir, D. Sauter, M. Koni Ben Gayed and M. Naceur Abdelkrim, 2008. Design of an Adaptive Kalman Filter for Fault Detection of Networked Control Systems, 16th Mediterranean Conference on
Control and Automation (MED'08), June 25-27, 2008, Ajaccio, France.
K. Chabir, D. Sauter, M. Koni Ben Gayed and M. Naceur Abdelkrim, 2007. Diagnostic des Systèmes Contrôlés par un Réseau, 8ème conférence internationale des Sciences et Techniques de l’Automatique STA
2007, Sousse, Tunisie, November 05- 07, 2007.
Automatique
Informatique industrielle
traitement de signal
Analyse numérique
Electrique
Electronique
Physique
Mathématique
26 sur 100
08/04/2015 13:20
Madame Sisuda CHAITHONGSUK
Docteur 2011
Doctorat :
Génie Electrique
Ecole doctorale :
Etablissement :
Encadrement :
Noureddine TAKORABET
Sujet de thèse :
Optimisation de structures de machines à aimants permanents basée sur l’analyse spectrale de l’induction d’entrefer en vue de l’entraînement à vitesse variable dans les systèmes embarqués
Commande par DSP des convertisseurs Statiques - 2008 - 20 heures
Synthèse des structures et convertisseurs statiques - 2008 - 20 heures
Communication Scientifique en Anglais - 2008 - 30 heures
Cours de Français au Centre d'Acceuil et de Formation Linguistique CAFOL - 2008 - 240 heures
S. Chaithongsuk, N. Takorabet, F. Meibody-Tabar 2009. On the Use of Pulse Width Modulation Method for the Elimination of Flux Density Harmonics in the air-gap of Surface PM Motors IEEE
TRANSACTIONS ON MAGNETICS , VOL. 45, NO. 3
S. Chaithongsuk, N. Takorabet, F. Meibody-Tabar 2009. Comparison of different methods achieving sinusoidal air-gap flux density of PM Motors IEMDC 2009
S. Chaithongsuk, B. Nahid-Mobarakeh, N. Takorabet, F. Meibody-Tabar 2010. Optimal Design of PM Motors for quasi-sinusoidal air-gap flux density UPEC 2010
S. Chaithongsuk, B. Nahid-Mobarakeh, N. Takorabet, J.P. Caron, F. Meibody-Tabar 2010. Optimal design of PM motors to achieve efficient flux weakening strategy in variable speed control applications
ICEM 2010
Sisuda CHAITHONGSUK Noureddine. TAKORABET Farid MEIBODY-TABAR 2008. On the use of pulse width madulation method for the elimination of flux density harmonics in the air-gap of surface PM
motor CEFC 2008 , 4 pages
27 sur 100
08/04/2015 13:20
Monsieur Kevin CHENG
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Abbas DANDACHE, M. Camel TANOUGAST
Sujet de thèse :
Systèmes Auto-Organisés Reconfigurable: Etude, Implementation et Intégration
Laboratoire de thèse : LICM - Laboratoire Interfaces, Capteurs et Microélectronique - EA 1776
Allemand A1 - 2008
Allemand A2 - 2008
Design and Test Technology for dependable hardware/software systems - 2008 - 72 heures
Allemand B1 - 2009
Allemand B2 - 2009
FETCH 2010 - 2009
Semaine des doctoriales de Lorraine 2010 - 2009
Christophe Bobda, Kevin Cheng, Felix Mühlbauer, Klaus Drechsler, Jan Schulte, Dominik Murr, and Camel Tanougast 2009. Enabling Self-Organization in Embedded Systems with Reconfigurable
Hardware International Journal of Reconfigurable Computing , Volume 2009, Article ID 161458, doi:10.1155/2009/161458, Pages 109 - 117
Kevin Cheng, Ali Akbar Zarezadeh, Felix Mühlbauer, Camel Tanougast, and Christophe Bobda 2010. Auto-Reconfiguration on Self-organized Intelligent Platform NASA/ESA Conference on Adaptive
Hardware and Systems , Volume 2010, ages 316-323
Christophe Bobda, Ali Akbar Zarezadeh, Felix Mühlbauer, Robert Hartmann, and Kevin Cheng 2010. Reconfigurable Architecture for Distributed Smart Cameras Proceedings of the Enginnering of
Reconfigurable Systems and Algorithms (ERSA) Conference 2010 , Volume 2010, pages 166-175
28 sur 100
08/04/2015 13:20
Monsieur Thibault CHOLEZ
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Isabelle CHRISMENT
Sujet de thèse :
Supervision des réseaux pair à pair structurés appliquée à la sécurité des contenus
Les doctoriales de Lorraine 2009 - 2008
Modèles et systèmes multi-agents - 2007
Réseaux neuronaux - 2007
Séminaires
École d'été CNRS Rescom 2008 - 2007
Thibault Cholez, Isabelle Chrisment, Olivier Festor 2008. Un mécanisme de révocation distribué et adaptatif pour les réseaux pair-à-pair 9ème journées Doctorales en Informatique et Réseaux - JDIR 2008 ,
p87, http://hal.inria.fr/index.php?view_this_doc=hal-00323940&extended_view=1&version=1&halsid=rd3cv03bp8q36rp8l50cd0ol25
Cholez T., Chrisment I., Festor O. 2008. A Distributed and Adaptive Revocation Mechanism for P2P networks Seventh International Conference on Networking - ICN 2008 , pp. 290-295, http://hal.inria.fr
/index.php?view_this_doc=hal-00323990&extended_view=1&version=1&halsid=rd3cv03bp8q36rp8l50cd0ol25
Cholez T., Chrisment I., Festor O. 2009. Une architecture de honeypots distribués pour superviser le réseau P2P KAD 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition - NOTERE
2009 , p76-82, http://hal.inria.fr/index.php?view_this_doc=inria-00405771&extended_view=1&version=1&halsid=rd3cv03bp8q36rp8l50cd0ol25
Cholez T., Chrisment I., Festor O. 2009. Evaluation of Sybil Attacks Protection Schemes in KAD 3rd International Conference on Autonomous Infrastructure, Management and Security - AIMS 2009 , p70-82,
http://hal.inria.fr/index.php?view_this_doc=inria-00405381&extended_view=1&version=2&halsid=rd3cv03bp8q36rp8l50cd0ol25
Cholez T., Chrisment I., Festor O. 2009. Fighting against paedophile activities in the KAD P2P network Advances in the Analysis of Online Paedophile Activity , http://hal.inria.fr/index.php?view_this_doc=inria00405636&extended_view=1&version=1&halsid=rd3cv03bp8q36rp8l50cd0ol25
Cholez T., Chrisment I., Festor O. 2010. Monitoring and Controlling Content Access in KAD International Conference on Communications - ICC 2010 (2010) , http://hal.inria.fr/inria-00490347/en/
Cholez T., Chrisment I., Festor O. 2010. Efficient DHT attack mitigation through peers' ID distribution Seventh International Workshop on Hot Topics in Peer-to-Peer Systems - HotP2P 2010 (2010) ,
http://hal.inria.fr/inria-00490509/fr/
- Programmation : langages fonctionnels (C, bash, Python, Perl), langages objets (Java, C++, Eiffel), Php
- Bases de données : SQL (PostgreSql, Oracle, MySql), Xml
- Réseau : protocoles TCP/IP, UDP, IPv6, protocoles de routage(RIP, BGP, OSPF), protocoles P2P, formation Cisco CCNA
- Systèmes : Windows, Linux
29 sur 100
08/04/2015 13:20
Monsieur Mikaël Patrick CHOPP
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Saïd BENAYADI
Sujet de thèse :
Structures Lie-admissibles sur les algèbres de type Witt et les algèbres automorphes.
Module anglais scientifique - 2008 - 15 heures
Mikaël Chopp, Saïd Benayadi 2011. Lie-admissible structures on Witt type algebras Journal of Geometry and Physics , Volumes 61/ Pages 541-559, http://www.sciencedirect.com/science/article
/pii/S0393044010002172
30 sur 100
08/04/2015 13:20
Monsieur Julien COJAN
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Jean LIEBER
Sujet de thèse :
Application de la théorie de la révision des connaissances au raisonnement à partir de cas
formation CIES - 2009
Module techniques de recherche d'emploi - 2009
Conférences
Ecole d'été ESSLLI 2008 - 2007 - 60 heures
PRIM 3.11 Fouilles de données et web sémantique - 2007
PRIM 3.2 Apprentissage, representation et raisonnement - 2007
Julien Cojan, Jean Lieber 2010. An Algorithm for Adapting Cases Represented in an Expressive Description Logic 18th International Conference on Case-Based Reasoning - ICCBR 2010 , Lecture Notes in
Artificial Intelligence 6176, pages 51-65, http://www.springerlink.com/content/g314847630u162t7/?p=439be231431d441daea7fd617ad6bff3&pi=5
Julien Cojan, Jean Lieber 2010. Adapter des cas en utilisant un opérateur de révision ou des règles Journée Intelligence Artificielle Fondamentale - IAF 2010 , http://gdri3iaf.info.univ-angers.fr
/spip.php?article121
Julien Cojan, Jean Lieber 2010. Un algorithme d'adaptation avec des cas exprimés dans la logique de descriptions ALC 18ème Atelier « Raisonnement à Partir de Cas » - RàPC 2010 , pages 37-48,
http://hal.archives-ouvertes.fr/hal-00497210/fr/
Julien Cojan, Jean Lieber 2009. Une approche de l'adaptation en raisonnement à partir de cas fondée sur l'optimisation sous contraintes Journées d'Intelligence Artificielle Fondamentale - IAF 2009 ,
http://gdri3iaf.info.univ-angers.fr/spip.php?article96
Fadi Badra, Julien Cojan, Amélie Cordier, Jean Lieber, Thomas Meilender, Alain Mille, Pascal Molli, Emmanuel Nauer, Amedeo Napoli, Hala Skaf-Molli, Yannick Toussaint 2009. Knowledge acquisition
and discovery for the textual case-based cooking system WIKITAAABLE 8th International Conference on Case-Based Reasoning - ICCBR 2009, Workshop Proceedings , pages 249-258, http://hal.inria.fr/inria00411508/fr/
Julien Cojan, Jean Lieber 2009. Belief Merging-based Case Combination 8th International Conference on Case-Based Reasoning - ICCBR 2009 , Lecture Notes in Computer Science 5650, pages 105-119,
http://www.springerlink.com/content/m804jw7475264553/?p=59fccae04c444e1a942ed69d86221e19&pi=8
Fadi Badra, Rokia Bendaoud, Rim Bentebibel, Pierre-Antoine Champin, Julien Cojan, Amélie Cordier, Sylvie Després, Stéphanie Jean-Daubias, Jean Lieber, Thomas Meilender, Alain Mille, Emmanuel
Nauer, Amedeo Napoli, Yannick Toussaint 2008. TAAABLE: Text Mining, Ontology Engineering, and Hierarchical Classification for Textual Case-Based Cooking 9th European Conference on Case-Based
Reasoning - ECCBR 2008, Workshop Proceedings , pages 219-228, http://hal.inria.fr/inria-00337666/fr/
Julien Cojan, Jean Lieber 2008. Conservative Adaptation in Metric Spaces 9th European Conference on Case-Based Reasoning - ECCBR 2008 , Lecture Notes in Artificial Intelligence 5239, pages 135-149,
http://www.springerlink.com/content/k27q740g03227254/
Julien Cojan, Jean Lieber 2008. Formalisation de l'adaptation conservatrice dans les espaces métriques 16ème atelier de Raisonnement à Partir de Cas - RàPC 2008 , http://hal.inria.fr/inria-00336024/fr/
Julien Cojan, Jean Lieber 2011. An Algorithm for Adapting Cases Represented in ALC 22nd International Joint Conference on Artificial Intelligence - IJCAI 2011
Julien Cojan, Jean Lieber 2011. Adaptation par révision et adaptation différentielle : comparaison de deux approches de l'adaptation 19ème atelier Français de Raisonnement à Partir de Cas - RàPC 2011 ,
A. Blansché, J. Cojan, V. Dufour-Lussier, J. Lieber, P. Molli, E. Nauer, H. Skaf-Molli et Y. Toussaint 2010. Taaable 3 : Adaptation of Ingredient Quantities and of Textual Preparations 18th International
Conference on Case-Based Reasoning - ICCBR 2010, workshop proceedings
Julien Cojan, Jean Lieber 2009. Combinaison de cas fondée sur un opérateur de fusion de connaissance 17ème atelier Français de Raisonnement à Partir de Cas - RàPC 2009
31 sur 100
08/04/2015 13:20
Monsieur Gabriel CORONA
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
François CHARPILLET
Sujet de thèse :
Étude formelle de la coordination et du contrôle de systèmes collaboratifs multi-agent
Gabriel Corona, François Charpillet 2009. Programmation dynamique à mémoire bornée avec distribution sur les croyances pour les Dec-POMDPs
Gabriel Corona, François Charpillet 2010. Distribution sur les croyances pour la planification de Dec-POMDP Revue d'Intelligence Artificielle 4/2010
Gabriel Corona, François Charpillet 2010. Memory Bounded Dec-POMDP Planning 26th Conference on Uncertainty in Artificial Intelligence
* Développement en C, C++, Java
* Notion de Python, Perl, PHP, Haskell, Lisp
* OS de type Unix (GNU/Linux, Debian) : administration, développement, scripts shell, etc.
* Réseau
* Calcul scientifique, Traitement du signal, Vision par ordinateur
* Décision et planification dans l'incertain
32 sur 100
08/04/2015 13:20
Monsieur Romain Raymond COSSET
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Guillaume HANROT, M. Emmanuel THOME
Sujet de thèse :
Applications des fonctions thêta à la cryptographie sur courbes hyperelliptiques
Cours
Cours de M2 de géométrie algébrique - 2008 - 30 heures
Module professionnel: équivalence CIES - 2000
Conférences
JNCF 2010 - 2009 - 1 heure
workshop ECC - 2010 - 1 heure
Cosset Romain 2010. Factorization with genus 2 curves Mathematics of Computation , vol. 79, pp 1191-1208
33 sur 100
08/04/2015 13:20
Monsieur FERNANDO MANUEL DE OLIVEIRA DA COSTA
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Khalid KOUFANY
Sujet de thèse :
Quelques aspects géométriques et analytiques des domaines bornés symétriques réels
Laboratoire de thèse : INSTITUT ELIE CARTAN de NANCY (IECN) =) IECL depuis le 1er janvier 2013 - UMR 7502
Ecole de printemps GL2 du 17 au 21 mars 2008 - 2007
Groupe de Lie de master 2 - 2008
Module algèbres de Lie de master 2 - 2008
Monitorat - 2009
34 sur 100
08/04/2015 13:20
Madame Tingting DING
Docteur 2011
Doctorat :
Génie Electrique
Ecole doctorale :
Etablissement :
Encadrement :
François SARGOS, M. Noureddine TAKORABET
Sujet de thèse :
Etude et optimisation de machines à aimants permanents à démarrage direct sur le réseau
CAO en electronique de puissance - 2009 - 20 heures
Doctoriales de lorraine 2010 - 2009
Elements de Mécanique et Energétique - 2009 - 10 heures
Tingting Ding, N. Takorabet, F.M. Sargos, Xiuhe. Wang 2009. Design and Analysis of different Line-Start PM Synchronous Motors for Oil-pump Applications IEEE transactions on magnetics , Volume: 45
Issue: 3 page:1816 - 1819 , http://ieeexplore.ieee.org/Xplore/login.jsp?url=http%3A%2F%2Fieeexplore.ieee.org%2Fiel5%2F20%2F4787272%2F04787405.pdf%3Farnumber%3D4787405&authDecision=-201
Yubo Yang Xiuhe Wang Rong Zhang Tingting Ding Renyuan Tang 2006. The optimization of pole arc coefficient to reduce cogging torque in surface-mounted permanent magnet motors IEEE Transactions on
Magnetics , Volume : 42 , Issue:4 Page: 1135 -1138, http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=1608411&
queryText%3DThe+optimization+of+pole+arc+coefficient+to+reduce+cogging+torque+in+surface-mounted+permanent+magnet+motors%26openedRefinements%3D*%26searchField%3DSearch+All
Xiuhe Wang Tingting Ding Ning Shen Shiyong Liu Shiyou Yang 2006. Optimization of the Different Pole Arc Combination to Reduce the Cogging Torque in PMDC Motors 2006 12th Biennial IEEE
Conference on Electromagnetic Field Computation , http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=1633157&
queryText%3DThe+optimization+of+pole+arc+coefficient+to+reduce+cogging+torque+in+surface-mounted+permanent+magnet+motors%26openedRefinements%3D*%26searchField%3DSearch+All
Tingting Ding; Xiuhe Wang; Yubo Yang; Rong Zhang; Xin Zhang 2005. Analysis of supply voltage sensitivity for the performance of the permanent magnet synchronous motors ICEMS,Proceedings of the
Eighth International Conference on Electrical Machines and Systems , Vol. 1 , Page(s): 388 - 391, http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=1574786&
queryText%3Dtingting+ding%26openedRefinements%3D*%26searchField%3DSearch+All
Xiuhe Wang Yubo Yang Daohan Wang Tingting Ding 2008. Study of techniques for reducing the cogging torque in permanent magnet motors ICEMS 2008 , Page(s): 2899 - 2904 , http://ieeexplore.ieee.org
/search/freesrchabstract.jsp?tp=&arnumber=4771249&queryText%3Dtingting+ding%26openedRefinements%3D*%26searchField%3DSearch+All
Yubo Yang; Xiuhe Wang; Tingting Ding; Chuanzhen Huang 2008. The effect of dispersibility of permanent magnetic materials on performances of line start permanent magnet synchronous motors ICEMS
2008 , Page(s): 3177 - 3180 , http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=4771303&queryText%3Dtingting+ding%26openedRefinements%3D*%26searchField%3DSearch+All
Guangxu Zhou Jixiang Wang Lanjie Ren Tingting Ding 2008. Study on optimization design of the main electromagnetic parameters of permanent magnet synchronous motor ICEMS2008 , Page(s): 3116 - 3120
, http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=4771291&queryText%3Dtingting+ding%26openedRefinements%3D*%26searchField%3DSearch+All
Yubo Yang; Xiuhe Wang; Rong Zhang; Changqing Zhu; Tingting Ding 2005. Research of cogging torque reduction by different slot width pairing permanent magnet motors ICEMS 2005. , Page(s): 367 - 370
Vol. 1 , http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=1574781&queryText%3Dtingting+ding%26openedRefinements%3D*%26searchField%3DSearch+All
WANG xiu-he, Ting-ting DING, Yu-bo YANG, Chang-qing ZHU, Dao-han WANG 2005. study of cogging torque in line-start permanent magnet synchronous motors proceedings of CSEE , 2005, 25(18),
http://en.cnki.com.cn/Article/CJFDTOTAL-ZGDC200518031.htm
35 sur 100
08/04/2015 13:20
Monsieur Montassar EZZINE
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Mohamed DAROUACH, M. Harouna SOULEY-ALI
Sujet de thèse :
Observation et Commande des systèmes linéaires dans les domaines temporel et fréquentiel
Formation pédagogique - 2007
doctoriale de lorraine 2011 - 2010
High Gain Observers in Nonlinear Feedback Control - 2010 - 21 heures
Normal Forms for Nonlinear Control Systems - 2010 - 21 heures
M. EZZINE, H. SOULEY ALI, M. DAROUACH and H. MESSAOUD 2010. Functional Observer-Based Controller Design for Discrete-Time Linear systems: Time and Frequency Domain Approaches
International Review of Automatic Control , Vol 3, N° 2
M. EZZINE, M. DAROUACH, H. SOULEY ALI, and H. MESSAOUD 2011. New unbiased Hinfinity functional filters designs for discrete-time linear systems : Time and Frequency domain approaches
International Journal of Intelligent Computing and Cybernetics , Vol 4, N° 3
M. EZZINE, M. DAROUACH, H. SOULEY ALI, and H. MESSAOUD 2011. Full order Hinfinity filtering for linear systems in the frequency domain dans International Journal of Control, Automation and
Systems , Vol. 9, No. 3
M. EZZINE, H. SOULEY ALI, M. DAROUACH and H. MESSAOUD 2011. A controller design based on functional Hinfinity filter for descriptor systems : the time and frequency domains cases Automatica
M. EZZINE, M. DAROUACH, H. SOULEY ALI, and H. MESSAOUD 2010. Time and Frequency domain design of Functional Filters American Control Conference
M. EZZINE, H. SOULEY ALI, M. DAROUACH, and H. MESSAOUD 2010. Design of a full order Hinfinity filter using a polynomial approach American Control Conference
M. EZZINE, H. SOULEY ALI, M. DAROUACH, et H. MESSAOUD 2010. Synthèse temporelle et fréquentielle de filtres Hinfini d’ordre plein pour les systèmes singuliers Conférence Internationale
Francophone d’Automatique
M. EZZINE, H. SOULEY ALI, M. DAROUACH, and H. MESSAOUD 2010. A controller design based on function observer for singular linear systems: time and frequency domain approaches 18th
Mediterranean Conference on Control and Automation
M. EZZINE, H. SOULEY ALI, M. DAROUACH and H. MESSAOUD 2010. Reduced-order unknwon input observer design via a factorization approach International Conference on Sciences and Techniques
of Automatic Control and Computer Engineering
Ingénieur Génie Electrique
36 sur 100
08/04/2015 13:20
Monsieur Walid FDHILA
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Claude GODART
Sujet de thèse :
Décentralisation Optimisée et synchronisation des procédés métiers inter-organisationnels
certificat de compétences de citoyen de sécurité civile prévention et secours civiques de niveau 1 - 2007
Ecole d’été SCC (service computing) - 2007
Expression orale et communication CIES LORRAINE - 2007 - 12 heures
communication : interactions activité enseignante apprentissages - 2008 - 12 heures
La voix, prise de conscience et prise de confiance - 2008 - 16 heures
Monitorat - 2010
Module
Modèles et systèmes multi-agents - 2007 - 16 heures
Sécurité des réseaux dynamiques - 2007 - 15 heures
Sécurité des services Web - 2009 - 16 heures
walid fdhila, marlon dumas and claude godart 2010. optimized decentralization of composite web services CollborateCom
Walid Fdhila, Claude Godart 2009. Toward synchronization between decentralized orchestrations of composite web services CollborateCom , In proceedings of the IEEE International Conference on
Collaborative Computing, http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5365875
Walid Fdhila, Ustun Yildiz, Claude Godart 2009. A flexible approach for automatic process decentralization using dependency tables ICWS , In proceedings of the IEEE International Conference on Web
Services 2009, pages 847-855, http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5175905
Walid Fdhila, Mohsen Rouached, Claude Godart 2008. Communications Semantics for BPEL Processes icws , In proceedings of the IEEE International Conference on Web Services 2008, pages 185-194,
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4670175
Mohsen Rouached, Walid Fdhila, Claude Godart 2008. A Semantic Framework to Engineering WSBPEL Processes International Journal on Information Systems and e-business Manage- ment (ISEB), Springer
, Inf. Syst. E-Business Management 7(2): pages 223-250 , http://www.springerlink.com/content/775888n630286438/
Walid fdhila, Mohsen Rouached, Claude Godart 2010. Web Services Composition Modelling and Choreographies Analysis International Journal of Web Services Research IJWSR , Volume 7, Issue 2, Pages
87-110, http://www.igi-global.com/Bookstore/Article.aspx?TitleId=42111
Walid Fdhila, Marlon Dumas et Claude Godart 2011. Décentralisation Optimisée de Services Web Composés. INFORSID , 29 ème congrès INFORSID, pages 25-42, http://liris.cnrs.fr/inforsid/sites/default
/files/2011_16.pdf
37 sur 100
08/04/2015 13:20
Madame Flavia Eleonora FELICIONI
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Françoise SIMONOT-LION
Sujet de thèse :
Stabilité et performance des systèmes distribués de contrôle- Commande
Haimovich, H.; Braslavsky, J.; Felicioni, F. 2011. Feedback stabilisation of switching discrete-time systems via Lie-algebraic techniques IEEE Transactions on Automatic Control , Volume 56, Issue 5
Felicioni, F. and Junco, S. 2009. Estabilidad de sistemas controlados sobre redes de comunicación ante retardos de transmisión AMCA Online, Mecánica Computacional Vol XXVIII , Vol. XXVIII, pp. 2625-2647,
www.amcaonline.org.ar/ojs/index.php/mc/article/view/2912/2849
Felicioni, F., Jia, N., Simonot-Lion, F. and Song, Y.-Q 2010. Overload Management through Selective Data Dropping. Chapitre 5 de , 187-224, http://hal.inria.fr
/index.php?halsid=umelt28mdlb4sjqhtq4b3flmn6&view_this_doc=inria-00433112&version=1
Felicioni, F., Berbra, C., Gentil, S. and Lesecq, S. 2010. On-line adaptive control of a quadrotor under (m,k)-firm constraint Actes de XXII Congreso Argentino de Control Automático (AADECA 2010)
Haimovich H., Braslavsky J., and Felicioni F 2009. On feedback stabilisation of switched discrete-time systems via Lie-algebraic techniques Actes de 48th IEEE Conference on Decision and Control (CDC
2009)
Felicioni, F., Simonot, F., Simonot-Lion, F. and Y.-Q., Song 2009. Optimal control with packet drops in networked control systems Actes de 8th IFAC International Conference On FieldBuses & Networks in
Industrial & Embedded Systems (FET 2009). Ansan, Korea , http://hal.inria.fr/index.php?halsid=umelt28mdlb4sjqhtq4b3flmn6&view_this_doc=inria-00431406&version=1
Felicioni, F.; Junco, S. and Haimovich, H. 2008. Control de sistemas discretos LTI conmutados en base a métodos lie-algebraicos, con aplicación al control sobre redes de comunicación Actes de XX Congreso
Argentino de Control Automático (AADECA 2008)
Felicioni, F. and Junco, S. 2008. L’approche de l’algèbre de Lie pour l’adaptation des paramètres de la commande au changement de la période: Stabilité, Performance et Robustesse Actes de Conférence
Internationale Francophone d'Automatique (CIFA)
Felicioni, F. and Junco, S. 2008. A Lie Algebraic Approach to Design of Stable Feedback Control Systems with Varying Sampling Rate Actes de 17th IFAC World Congress, (IFAC WC 2008). Seoul, Korea. , Vol.
17. Part I., http://hal.inria.fr/index.php?halsid=umelt28mdlb4sjqhtq4b3flmn6&view_this_doc=inria-00335936&version=1
Felicioni, F.; Jia, N.; Song, Y.Q. and Simonot-Lion, F. 2008. Optimal On-line (m,k)-firm Constraint Assignment for Real-time Control Tasks Based on Plant State Information Actes de 12th IEEE Conference on
Emerging Technologies and Factory Automation (ETFA 2008). Hamburg, Germany , http://hal.inria.fr/index.php?halsid=umelt28mdlb4sjqhtq4b3flmn6&view_this_doc=inria-00335942&version=1
Felicioni, F. and Junco, S. 2007. Control de Tráfico de Redes de Comunicación de Sistemas Distribuidos de Control Actes de XII Reunión de Trabajo en Procesamiento de la Información and Control (RPIC
2007). Río Gallegos, Argentina , http://hal.inria.fr/index.php?halsid=umelt28mdlb4sjqhtq4b3flmn6&view_this_doc=inria-00193756&version=1
Braslavsky, J. H.; Kofman, E. and Felicioni, F. 2006. Effects of time quantization and noise in level crossing sampling stabilization Actes de AADECA 2006 - XX Congreso Argentino de Control Automático,
Buenos Aires, Argentina.
Felicioni, F. and Junco, S. 2006. Restricciones para diseño “Loop Shaping” de sistemas de control lineales monovariables con retardos variables Actes de XX Congreso Argentino de Control Automático (AADECA
2006), Buenos Aires, Argentina
Felicioni, F.; Jia, N.; Song, Y.Q. and Simonot-Lion, F 2005. Impact of a (m,k)-firm data dropouts policy on the quality of control Actes de 6th IEEE International Workshop on Factory Communication Systems
(WFCS 2006), Torino, Italy , http://hal.inria.fr/index.php?halsid=umelt28mdlb4sjqhtq4b3flmn6&view_this_doc=inria-00113827&version=1
Felicioni, F.; Blet, N. and Junco, S. 2005. Control robusto Hinf de sistemas distribuidos con retardos variables en la red de comunicación Actes de XI Reunión de Trabajo en Procesamiento de la Información and
Control (RPIC 2005), Río Cuarto, Argentina
Felicioni, F. 2008. Design of Stable Feedback Controllers for Second Order Systems with Varying Sampling Rate: LQ and Lie Algebraic Approach Technical Report RR-6753 , http://hal.archives-ouvertes.fr
/index.php?halsid=0q6rgtgvjq3qr6bak41100idl6&view_this_doc=inria-00344849&version=1
38 sur 100
08/04/2015 13:20
Monsieur Jörn FRANKE
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
François CHAROY
Sujet de thèse :
Coordination des activités réparties dans des situations dynamiques. Le cas de la gestion de crise inter-organisationnel
3rd International ISCRAM Summer School - New Technologies for Citizen Participation in Crisis Preparedness and Response - 2008
2nd Summer School on Service and Software Architectures, Infrastructures and Engineering (SSAIE 2010) - 2009
SAP E2E Root Cause Analysis - 2009
Francais Elementaire 2-3 - 2008 - 20 heures
Franke, Jörn; Charoy, François; Ulmer, Cédric 2010. Un modèle centré activité distribué pour la coordination des acteurs de la crise Workshop Interdisciplinaire sur la Sécurité Globale (WISG'2010) ,
http://www.loria.fr/~frankejo/106%20charoy.pdf
Franke, Jörn; Charoy, François; Ulmer, Cédric 2010. Pervasive Emergency Response Process Management System 8th IEEE International Conference on Pervasive Computing and Communications
(PerCom'2010), First Annual Workshop on Pervasive Networks for Emergency Management (PerNEM'2010) , http://dx.doi.org/10.1109/PERCOMW.2010.5470638
Franke, Jörn; Charoy, François; Ulmer, Cédric 2010. A Model for Temporal Coordination of Disaster Response Activities 7th International Conference on Information Systems for Crisis Response and
Management (ISCRAM'2010) , http://www.loria.fr/~frankejo/103-Franke_etal.pdf
Franke, Jörn; Charoy, François 2010. Design of a Collaborative Disaster Response Process Management System 9th International Conference on the Design of Cooperative Systems (COOP'2010) ,
http://www.loria.fr/~frankejo/5_jFranke_et_al_57_78.pdf
Franke, J.; Charoy, F. & El Khoury, P. 2010. Collaborative Coordination of Activities with Temporal Dependencies 18th International Conference on Cooperative Information Systems
Franke, J.; Charoy, F. & Ulmer, C. 2010. Coordination and Situational Awareness System for Inter-Organizational Disaster Response , 10th IEEE International Conference on Technologies for Homeland
Security
Recently we have seen several large scale disasters affecting humans all over the world. Examples are Hurricane Katrina in 2005, the Haiti earthquake in 2010 or the September 11/2001 terrorist attacks on the world
trade center. During these disasters, several hundred organizations, such as police, fire brigade or humanitarian aid organizations, respond with the goal to save people and support them to live a normal life again.
They need to coordinate to deal with scarce resources, different skills and capabilities. People in these organizations drive coordination based on their judgment of the situation. The situation can be dynamic: it
evolves in sometimes unexpected ways, goals shift and priorities of the organizations change. Typical problems are to get an overview on the relations between what has been done, what is currently going on and
what are the next steps. This problem is specially challenging on the inter-organizational level: Each organization coordinates the response from its own perspective and relies on the information provided by other
organizations.
We aim in this dissertation at supporting coordination of activities by people of different organizations in a dynamic situation by an information system. The disaster response is a critical example for this. The basic
idea is to leverage a process-based approach, where activities and their relations are made explicit. We present a framework for coordination of activities in dynamic situations. It allows ad-hoc modeling of the
relations between what has been done, what is currently going on and what are the next steps. A model can be verified for correctness in predictable and acceptable time. Deviations from the model and how
activities have been performed are displayed to the user to highlight the impact of shifting goals.
We extend this framework to the inter-organizational level. Selected activities can be shared by people with selected organizations. This means not everything is shared between everybody to take into account
privacy, regulatory, strategic or other reasons. Shared activities are replicated in the workspaces of these organizations. We describe how diverging views on replicated activities and their relations can be detected
and handled to ensure eventually a converging view.
The concepts are implemented as an extension to an open distributed collaboration service. They are also commented by experienced disaster managers. Furthermore, we design an experiment to evaluate tool
support addressing the research questions. We conducted several experiments to validate the design of the experiment. Further experiments can provide validation of the concepts implemented as a prototype in this
thesis.
39 sur 100
08/04/2015 13:20
Monsieur Arnaud GLAD
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
François CHARPILLET, M. Olivier SIMONIN
Sujet de thèse :
Etude de l’auto-organisation dans les algorithmes de patrouille multi-agent fondés sur les phéromones digitales
Réseaux de neurones F Alexandre 2007 - 2006
Théorie de la sécurité V Cortier 2008 - 2007
Architecture et navigation en robotique mobile O Simonin et A Scheuer 2009 - 2008
Systèmes multi-agent V Chevrier 2008 ou 2009 - 2008
A. Glad, O. Buffet, O. Simonin, F. Charpillet 2010. Influence of Different Execution Models on Patrolling Ant Behaviors: from Agents to Robots AAMAS'10, Ninth International Conference on Autonomous
Agents and Multiagent Systems
A. Glad, O. Buffet, O. Simonin, F. Charpillet 2009. Self-Organization of Patrolling-Ant Algorithms SASO'09 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems
A. Glad, O. Simonin, O. Buffet, F. Charpillet 2008. Theoretical Study of Ant-Based Algorithms for Multi-Agent Patrolling ECAI'08 18th European Conference on Artificial Intelligence , pp. 626-630
F. Legras, A. Glad, O. Simonin, F. Charpillet 2008. Authority Sharing in a Swarm of UAVs: Simulation and Experiments with Operators SIMPAR'08 International Conference on SIMULATION, MODELING
and PROGRAMMING for AUTONOMOUS ROBOTS , pp. 293-304
H. Chu, A. Glad, O. Simonin, F. Sempé, A. Drogoul, F. Charpillet 2007. Swarm Approaches for the Patrolling Problem, Information Propagation vs. Pheromone Evaporation ICTAI'07 IEEE International
Conference on Tools with Artificial Intelligence , pp. 442-449
A. Glad, O. Buffet, O. Simonin, F. Charpillet 2009. Auto-organisation dans les algorithmes fourmis pour la patrouille multi-agent JFPDA'09 Journées Française Planification Décision Apprentissage
F. Legras, A. Glad, O. Simonin, F. Charpillet 2008. Partage d'Autorité dans un Essaim de Drones Auto-organisé JFSMA'08 15eme journées Francophones sur les Systèmes Multi-Agents
A. Glad, H. Chu, O. Simonin, F. Sempé, A. Drogoul, F. Charpillet 2007. Méthodes réactives pour le problème de la patrouille, informations propagées vs. dépot d'informations JFSMA'07 14eme journées
Francophones sur les Systèmes Multi-Agents
40 sur 100
08/04/2015 13:20
Madame Laure GODIGNON
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Jacques FELBLINGER
Sujet de thèse :
Intégration des mouvements respiratoires à l'imagerie adaptative en Imagerie par Résonance Magnétique (IRM)
Laboratoire de thèse : IADI - Imagerie Adaptative Diagnostique et Interventionnelle - UMR_S 947
Congrès annuel GRAMM - 2000 - 28 heures
Session de sensibilisation à la propriété intellectuelle - Valorisation - 2000 - 6 heures
Module UEM SVS - 2007 - 25 heures
Congrès International ISMRM - 2008 - 40 heures
Doctoriales - 2008
Sensibilisation à la propriété intellectuelle - 2008 - 6 heures
Rédaction d'articles scientifiques en anglais - 2009 - 21 heures
Session de sensibilisation à la propriété intellectuelle -Droit d'auteur - 2009 - 6 heures
Anglais Conversation en Anglais - 2010
Laure Rousselet, Slavisa Jovanovic, Marina Filipovic, Zhor Ramdane-Cherif, Maélène Lohézic,Cédric Pasquier, Jacques Felblinger 2011. New MR compatible sensor for respiratory motion monitoring
Magnetic Resonance in Medecine
J.Felblinger, C. Pasquier, L. Rousselet, P.-A. Vuissoz 2011. Capteur de mouvement associé à une électrode de diagnostic pour applications en imagerie médicale.
L.Rousselet, J. Dejonckheere, F. Narbonneau, S. Jovanovic, C.Pasquier et J.Felblinger, 2011. Amélioration de l’enregistrement des mouvements respiratoires : ceinture optique vs ceinture pneumatique
Congrès GRAMM
S. Jovanovic, L.Rousselet, L.Albouy, P.-A. Vuissoz, C.Pasquier and J.Felblinger 2011. Two-degree-of-freedom (DOF) MRI-compatible motion generation system for MRI motion compensated algorithms
Congrès ISMRM
L.Rousselet, M.Filipovic, Z.Ramdane-Cherif, V.Laurent, C.Pasquier and J.Felblinger 2010. MR Compatible sensor for measuring respiratory motion based on acceleration Congrès ISMRM
L.Rousselet, M.Filipovic, S.Jovanovic, G.Bosser, C.Pasquier and J.Felblinger, 2010. MR compatible spirometer Congrès ISMRM
L.Rousselet, M.Filipovic, M.Lohezic et J.Felblinger 2009. Un capteur compatible IRM pour mesurer le mouvement respiratoire Journée Claude Huriet
L.Rousselet, S.Jovanovic, M.Lohézic, M.Filipovic, C.Pasquier and J.Felblinger 2011. Association of several MR compatible sensors for free breathing reconstruction method Congrès ISMRM
L.Rousselet, S.Jovanovic, C.Pasquier and J.Felblinger 2011. Advantages of digital vs analog accelerometer-based sensor for respiratory motion correction Congrès ISMRM
L.Rousselet, J. Dejonckheere, F. Narbonneau, S. Jovanovic, C.Pasquier et J.Felblinger 2011. Improvements of respiratory motion recording: optical belt vs pneumatic belt Congrès ISMRM
L.Rousselet, M.Lohézic, D.Mandry, C.Pasquier and J.Felblinger 2010. MR compatible sensor for motion artifact corrected reconstruction method Congrès ISMRM
L.Rousselet, M.Lohézic, M.Filipovic, C.Pasquier, J.Felblinger and S.Jovanovic 2011. Capteurs compatibles IRM pour la mesure de mouvements respiratoires Congrès GRAMM
41 sur 100
08/04/2015 13:20
Monsieur Ali GORINE
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Nathalie SAUER
Sujet de thèse :
Ordonnancement des systèmes flexible avec contrainte de blocage
Formation Metaheuristics with paradisEO : from design to implemantation - 2005
Formation Préparation aux communications scientifiques orales en langue anglaise - 2006 - 40 heures
Ecole thématique "Approches innovantes d'analyse, de modélisation et d'évaluation des produits, des systèmes de production et des services associés" - 2011
0. A. GORINE, N. SAUER, Exact method for modeling and solving a job-shop scheduling problem with a blocking, European Conference On Operational Research (EURO 07), Prague, République Tchèque, July
2007
2008. A. GORINE, N. SAUER, Méthode exacte et borne inférieure pour le job-shop avec contrainte de blocage particulière, Conférence Internationale Francophone d'Automatique (CIFA 2008), Bucarest,
Roumanie, Septembre 2008
2010. A. GORINE, N. SAUER, Lower bounds and simulated annealing for job shop scheduling problems with blocking constrains, 15th IEEE International Conference on Emerging Technologies and Factory
Automation (ETFA 2010), 13-16 septembre 2010, Bilbao, Espagne
Langages de Programmation:Pascal, FORTRAN, C & Visual C++, Assembleur,Matlab, Simulink, Workbench Electronique, LabView.
Outils Bureautique :Ms Office (Word, Excel, PowerPoint), Scientifique workplace.
42 sur 100
08/04/2015 13:20
Monsieur Eid Abdelbaki GOUDA
Docteur 2011
Doctorat :
Génie Electrique
Ecole doctorale :
Etablissement :
Encadrement :
Abderrezak REZZOUG, M. Smail MEZANI
Sujet de thèse :
TRANSMISSION PLANÉTAIRE MAGNÉTIQUE ÉTUDE, OPTIMISATION ET RÉALISATION
Conception des actionneurs R3 -8 - 2008
Conception des actionneurs R3 -9 - 2008
Anglais Présentation de conférence 2 - 2009
English conversation - 2009 - 15 heures
FLE 1 - 2009
FLE 2 - 2009
E. GOUDA, S. MEZANI, L. BAGHLI, A. REZZOUG 2011. Comparative study between mechanical and magnetic planetary gears IEEE Transactions, Magnetics , Vol. 47, No. 2, page 439,
http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=5620982&
queryText%3DComparative+study+between+mechanical+and+magnetic+planetary+gears%26openedRefinements%3D*%26searchField%3DSearch+All
L. BAGHLI, E. GOUDA, S. MEZANI, A. REZZOUG 2010. Hybrid vehicle with a magnetic planetary gear 1st International Symposium on Environment Friendly Energies in Electrical Applications, EFEEA ,
http://www.umc.edu.dz/vf/proceeding/efeea-2010/plenaries%20and%20workshops/plenary3.pdf.
Eid Abdelbaki Ahmed Gouda, Mohammed Eid Abd Al Azeez, M. M. El-Shamoty, M.El-Sersawi 2004. Design and simulation software (SRMcad) of Switched Reluctance Motor Mansoura Engineering
Journal, (MEJ), , vol.29, No.3
43 sur 100
08/04/2015 13:20
Monsieur Bertrand GRANDVALLET
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Mohamed BOUTAYEB
Sujet de thèse :
Modélisation et estimation d'état pour la navigation de projectiles
Doctoriales Lorraine - 2008 - 40 heures
Formation Sauveteur Secouriste du travail - 2009 - 12 heures
Participation au forum DocEmploi - 2009 - 8 heures
Ecole des JD MACS - 2008 - 22 heures
LMI's in Control - 2009 - 21 heures
B. Grandvallet, A. Zemouche, M. Boutayeb, S. Changey 2008. A software based approach for autonomous projectile attitude and position estimation International Conference on Soft Computing as
Transdisciplinary Science and Technology IEEE/ACM CSTST
B. Grandvallet, A. Zemouche, M. Boutayeb, S. Changey 2009. A moving horizon H∞ observer for discrete-time systems European Control Conference ECC
B. Grandvallet, A. Zemouche, M. Boutayeb, S. Changey 2010. Filtre à fenêtre glissante pour l’estimation de l’attitude et des vitesses d’un projectile Conférence Internationale Francophone d’Automatique,
CIFA
B. Grandvallet, A. Zemouche, M. Boutayeb, S. Changey. 2010. A real-time sliding window filter for projectile attitude estimation AIAA Guidance, Navigation, and Control Conference and Exhibit GN&C
B. Grandvallet, A. Zemouche, M. Boutayeb, S. Changey 2010. A sliding window filter for real-time attitude independent tam calibration 49th IEEE Conference on Decision and Control CDC
B. Grandvallet, A. Zemouche, M. Boutayeb, S. Changey 2009. Filtre de kalman etendu avec fenêtre glissante : Application à la localisation de projectile 3 emes Journées Doctorales / Journées Nationales
MACS, JNJDMACS
44 sur 100
08/04/2015 13:20
Monsieur Michael GUARISCO
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Serge WEBER, M. Hassan RABAH
Sujet de thèse :
Architecture auto-adaptative pour le transcodage vidéo H.264 AVC/SVC
Laboratoire de thèse : LIEN - UMR 3440
SOES 07 - 2007
Communication : interactions, activité enseignante, apprentissages - 2008 - 12 heures
Gestion des relations difficiles - 2009 - 12 heures
Monitorat - 2009
Doctoriales de lorraine - 2008
Séminaires externes ED
FETCH 09 - 2001
2010. Dynamically reconfigurable architecture for real time adaptation of H264/AVC-SVC video streams Computer Vision and Pattern Recognition, 2010 , http://ieeexplore.ieee.org/Xplore/login.jsp?url=http
%3A%2F%2Fieeexplore.ieee.org%2Fiel5%2F5521877%2F5543135%2F05543764.pdf%3Farnumber%3D5543764&authDecision=-203
M. GUARISCO, H. RABAH, Y. BERVILLER, S. WEBER S. BELKOUCH 2009. FPGA-BASED SoC FOR TRANSCODING H264/AVC-SVC WITH LOW LATENCY AND HIGH BITRATE ENTROPY
CODING IEEE, System on Chip Conference 2009 , http://ieeexplore.ieee.org/Xplore/login.jsp?url=http%3A%2F
%2Fieeexplore.ieee.org%2Fiel5%2F5379508%2F5397993%2F05398004.pdf%3Farnumber%3D5398004&authDecision=-203
DEKNUDT, C.; CORLAY, P.; BACQUET A.S.; COUDOUX, F.X.; GUARISCO, M.; RABAH, H.; BERVILLER, Y.; WEBER, S.; 2009. Transrating by frequencies selectivity for H.264/AVC intra pictures ,
Broadband Multimedia Systems and Broadcasting, 2009, http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5133730
M GUARISCO, H.RABAH, Y.BERVILLER, S.WEBER 2008. An Efficient Architecture Dedicated for Transcoding H.264/AVC Video Standard SAME 2008, University Booth
GUARISCO, M; ZHANG, X; RABAH, H; WEBER, S 2007. An Efficient Implementation of Scalable Architecture for Discrete Wavelet Transform On FPGA System-on-Chip, 2007. DCAS 2007 ,
http://ieeexplore.ieee.org/Xplore/login.jsp?url=http%3A%2F%2Fieeexplore.ieee.org%2Fiel5%2F4433189%2F4433190%2F04433206.pdf%3Farnumber%3D4433206&authDecision=-203
X.ZHANG,M.GUARISCO,H.RABAH,S.WEBER 2007. Architecture hybride reconfigurable pour l’application multimédia C2I Nancy 17-19 octobre 2007
M.GUARISCO, H. RABAH, Y. BERVILLER, S. WEBER 2011. An efficient VLSI implementation of H.264/AVC intra-frame transcoder IEEE International Conference on Electronics, Circuits, and Systems
(ICECS), December, 11-14, 2011
M.GUARISCO, H. RABAH, Y. BERVILLER, S. WEBER 2011. FPGA implementation of embedded system for real time adaptation of H264/AVC-SVC video streams Revue Elsevier, Signal Processing: Image
Communication
L. CARMINATI, A-S. BACQUET, C. DEKNUDT, P. CORLAY, M. GHARBI, M. ZWINGELSTEIN-COLIN, M. GAZALET, F-X. COUDOUX, Y. BERVILLER, M. GUARISCO, H. RABAH, S.
WEBER, O. SALEM, A. SENOUSSAOUI, A. MEHAOUA 2009. TOwards SCalable Audiovisual broadcasting NEtworks: Overview of the TOSCANE Project Int. Broadcasting Conf., IBC 2009
Compétence en langage comportemental haut niveau VHDL, verilog, langage de programmation informatique C/C++, Assembleur.
Outils de programmation de micro contrôleur (Freescale, MicroChip)
Outils de conception vhdl ISE Design suite (Xilinx), de simulation (Modelsim)
Outils mathématique Matlab
Gestion de groupes de travail, de groupes d'étudiants. Sens du service.
45 sur 100
08/04/2015 13:20
Monsieur MOHAMMED AMINE HADJ ABDELKADER
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Guy BOURHIS
Sujet de thèse :
Interfaces haptiques en tâches de contrôle pour personnes handicapés moteurs
Laboratoire de thèse : LASC Laboratoire d'Automatique humaine et de Sciences Comportementales - EA 3467
O. Horn, M.A. Hadj Abdelkader, F. Leishman, G. Bourhis 2010. Intuitive command modes for robotics assistance to mobility AMSE Periodicals: Modelling, Measurement and Control , Volume 71, N°3, pp
100-109
O. Horn, M.A. Hadj Abdelkader, F. Leishman, G. Bourhis 2010. Modes de commande intuitifs pour l’assistance robotisée aux déplacements Conférence Handicap 2010 Paris , 46-51
M.A. Hadj-Abdelkader, G. Bourhis, B. Cherki 2010. Commande par retour d’effort d’un fauteuil roulant électrique Conférence CIFA 2010 Nancy
M.A. Hadj-Abdelkader, G. Bourhis, B. Cherki 2007. Haptic feedback and motor disability: a preliminary study Conférence Human 07
Yann MORERE Mohammed Amine HADJ ABDELKADER Sidi Mohamed MELIANI Guy BOURHIS 2011. Powered wheelchair driving analysis on a simulator AAATE
46 sur 100
08/04/2015 13:20
Monsieur Hossein HASHEMI NEJAD
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Dominique SAUTER
Sujet de thèse :
Synthèse intégrée du diagnostic de systèmes contrôlés en réseaux avec contraintes de communication
Anglais Présentation de Conférences II - 2009 - 15 heures
Hossein Hashemi Nejad, Dominique Sauter, Samir Aberkane, Suzanne Lesecq 2009. Actuator fault tolerant control in experimental networked embedded mini Drone IEEE 17th Mediterranean Conference on
Control and Automation, 2009. MED '09 , pp 706-711
Hossein Hashemi nejad, Dominique Sauter, Samir Aberkhane 2009. Design of structured residual sets in networked control systems subject to random packet dropouts 20th International Conference on Systems
Engineering
Hossein Hashemi nejad, Dominique Sauter, Samir Aberkhane 2009. Fault tolerant control in experimental mini helicopter , 7th workshop on Advanced Control and Diagnosis
Hossein Hashemi nejad, Dominique Sauter, Samir Aberkhane 2010. On-line scheduling and Fault detection in NCS with communication constraints in Drone application IEEE conference on Control and
Fault-Tolerant Systems, SysTol10
Sinuhe Martinez-Martinez, Hossein Hashemi nejad, Taha Boukhobza, Dominique Sauter 2011. Communication sequence selection to preserve reachability/observability in networked control systems with
communication constraints: a graphic approach 18th IFAC World Congress
Sinuhe Martinez-Martinez, Hossein Hashemi nejad, Dominique Sauter 2010. Communication sequence design in networked control systems with communication constraints: a graphic approach 8th European
Workshop on Advanced Control and Diagnosis
Hossein Hashemi nejad, Dominique Sauter, Samir Aberkane 2011. FDI design in NCS considering packet dropouts and limited communication constraints 19th IEEE Mediterranean Conference on Control and
Automation
---
47 sur 100
08/04/2015 13:20
Monsieur CARLOS ENRIQUE HERRERA
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
André THOMAS
Sujet de thèse :
Proposition d'un cadre générique de modélisation et de simulation de planifications logistiques dans un contexte de décisions partiellement ou totalement distribuées.
Anglais présentation de conférences I CRELENS IAEM 2009 - 2008
Anglais Rédaction scientifique CRELENS IAEM 2008 - 2008
Ecole Jeunes Chercheurs du GDR-IM Informatique Mathématique EJCIM LAIC AMOS Clermont Ferrand - 2008
Inégalités valides en programmation en nombres entiers Mini-cours doctoral Rouen 2008 - 2008
Anglais présentation de conférences II CRELENS IAEM 2009-2010 - 2009
C. Herrera, A. Thomas, S. Belmokhtar 2011. - Viable System Model approach for holonic product-driven manufacturing systems. To appear in Lecture Notes in Computer Science (LNCS), First ERRIC
Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing Control.
C.Herrera, A.Thomas, S.Belmokhtar, R.Pannequin 2011. - A viable system approach to product-driven systems modeling Proceedings of the International Conference on Industrial Engineering and Systems
Management (IESM 2011), May 25 - May 27 , Metz, France.
C.Herrera, S.Belmokhtar, A.Thomas 2011. - Nervousness reduction with instability minimization in master scheduling International Journal of Production Economics
S.Belmokhtar, C.Herrera, A.Thomas 2010. - A general approach for hierarchical production planning considering stability Proceedings of the 3rd International Conference on Information Systems, Logistics and
Supply Chain (ILS 2010), Casablanca, Morocco.
C.Herrera, S.Belmokhtar, A.Thomas 2010. - Un modèle pour la stabilité du Programme Directeur de Production Proceedings of the 11éme Congrès de la Société Française de Recherche Opérationnelle et
d’Aide à la Décision (ROADEF 2010), Toulouse, France.
A.Thomas, H.El Haouzi, T.Klein, S.Belmokhtar, C.Herrera 2009. - Architecture de systèmes contrôlés par le produit pour un environnement de juste à temps Journal Européen des Systèmes Automatisés ,
43(4-5), p.513-535, http://dx.doi.org/10.3166/jesa.43.513-535
C. Herrera, A. Thomas 2009. - Simulation analysis of less Master Production Schedule nervousness model In proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing
(INCOM 2009), Moscow, Russian Federation , 13(1), p.1585-1590., http://dx.doi.org/10.3182/20090603-3-RU-2001.0554
C.Herrera, A.Thomas 2009. - Un modèle pour limiter la nervosité et l’instabilité du Programme Directeur de Production In proceedings of the 8ème Congrès International de Génie Industriel (CIGI 2009),
Bagnères de Bigorre, France. ISBN 978-2-7466-0894-8
C.Herrera, A.Thomas 2009. - Formulation for Less Master Production Schedule Instability under Rolling Horizon In proceedings of the International Conference on Industrial Engineering and Systems
Management (IESM 2009), Montreal, Canada.
C.Herrera, A.Thomas 2009. - Proposition d’un Modèle de Programme Directeur de Production Stable In proceedings of the National Meeting of GDR MACS JD/JN -MACS (JD/JN 2009), Angers, France.
48 sur 100
08/04/2015 13:20
Monsieur Vanthai HOANG
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Salvatore TABBONE
Sujet de thèse :
Représentations d'images pour la reconnaissance de formes
Perception de la structure et du mouvement 2008 par Marie-Odile BERGER - 2007
Doctoriales de Lorraine 2010 mai 2010 - 2009
Workshop on Dictionary of atoms : new trends in advanced signal processing in functional brain imaging - 2009
FLE 1 - 2009
FLE 2 - 2009
Thai V. Hoang and Salvatore Tabbone and Ngoc-Yen Pham 2009. Extraction of Nom text regions from stele images using area Voronoi diagram Proceedings of the 10th International Conference on Document
Analysis and Recognition , 921-925, http://dx.doi.org/10.1109/ICDAR.2009.13
Thai V. Hoang and Salvatore Tabbone and Ngoc-Yen Pham 2009. Recognition-based segmentation of Nom characters from body text regions of stele images using area Voronoi diagram Proceedings of the 13th
International Conference on Computer Analysis of Images and Patterns , 205-212, http://dx.doi.org/10.1007/978-3-642-03767-2
Thai V. Hoang and Salvatore Tabbone 2010. Séparation texte/graphique à partir d'une représentation parcimonieuse Actes du 11ème Colloque International Francophone sur l'Ecrit et le Document , 325-340,
http://hal.archives-ouvertes.fr/docs/00/46/66/95/PDF/CIFED2010.pdf
Thai V. Hoang and Salvatore Tabbone 2010. Text extraction from graphical document images using sparse representation Proceedings of the 9th IAPR International Workshop on Document Analysis Systems ,
143-150, http://dx.doi.org/10.1145/1815330.1815349
Thai V. Hoang and Salvatore Tabbone 2010. A geometric invariant shape descriptor based on the Radon, Fourier, and Mellin transforms Proceedings of the 20th International Conference on Pattern Recognition
, 2085-2088, http://dx.doi.org/10.1109/ICPR.2010.512
Thai V. Hoang and Salvatore Tabbone 2010. Generic R-transform for invariant pattern representation Proceedings of the 9th International Workshop on Content-Based Multimedia Indexing , 157-162,
http://dx.doi.org/10.1109/CBMI.2011.5972538
Thai V. Hoang and Elisa H. Barney Smith and Salvatore Tabbone 2011. Edge noise removal in bilevel graphical document images using sparse representation Proceedings of the 18th IEEE International
Conference on Image Processing , 3610-3613, http://hal.inria.fr/docs/00/59/35/10/PDF/ICIP2011_sparse.pdf
Thai V. Hoang and Salvatore Tabbone 2011. Generic polar harmonic transforms for invariant image description Proceedings of the 18th IEEE International Conference on Image Processing , 845-848,
http://hal.inria.fr/docs/00/59/35/09/PDF/ICIP2011_moment.pdf
Thai V. Hoang and Salvatore Tabbone 2011. Invariant pattern recognition using the RFM descriptor Pattern Recognition , vol. 45, no. 1, pp. 271-284, http://dx.doi.org/10.1016/j.patcog.2011.06.020
Thai V. Hoang and Salvatore Tabbone 2011. The generalization of the R-transform for invariant pattern representation Pattern Recognition , http://www.loria.fr/~hoangvva/pdf/Radon_general_final.pdf
49 sur 100
08/04/2015 13:20
Madame Maha IDRISSI AOUAD
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
René SCHOTT, M. Olivier ZENDRA
Sujet de thèse :
Conception d'Algorithmes Hybrides pour l'Optimisation de l'Énergie Mémoire dans les Systèmes Embarqués et de Fonctions Multimodales.
Formation aux logiciels
Formation sur GCC - 2007 - 35 heures
Module
Evaluation de performances stochastiques et déterministes des réseaux - 2007
Module Obligatoire
Doctoriales 2009 - 2008
Séminaires
Ecole d'été ACACES - 2007 - 1 heure
Ecole d'été ETR 07 - 2007 - 3 heures
Maha Idrissi Aouad and Olivier Zendra 2007. A Survey of Scratch-Pad Memory Management Techniques for low-power and -energy 2nd ECOOP Workshop on Implementation, Compilation, Optimization of
Object-Oriented Languages, Programs and Systems (ICOOOLPS'2007) , pages 31-38
Maha Idrissi Aouad and Olivier Zendra 2008. Outils de caractérisation du comportement mémoire et d'estimation de la consommation énergétique rapport technique INRIA RT-0350
Maha Idrissi Aouad, René Schott and Olivier Zendra 2010. A Tabu Search Heuristic for Scratch-Pad Memory Management ICSET 2010 (International Conference on Software Engineering and Technology) ,
volume 64, pages 386-390
Maha Idrissi Aouad, René Schott and Olivier Zendra 2010. Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems ICSOFT 2010 (5th International Conference on Software
Engineering and Data Technologies) , volume 2, pages 394-402
Maha IDRISSI AOUAD, René SCHOTT and Olivier ZENDRA 2010. Hybrid Heuristics for Optimizing Energy Consumption in Embedded Systems ISCIS 2010 (25th International Symposium on Computer
and Information Sciences) , Volume 62, pages 409-414.
Lhassane Idoumghar, Maha Idrissi Aouad, Mahmoud Melkemi and René Schott 2010. Metropolis Particle Swarm Optimization Algorithm with Mutation Operator For Global Optimization Problems
IEEE-ICTAI 2010 (22th International Conference on Tools with Artificial Intelligence) , Pages 35-42.
Maha Idrissi Aouad, Lhassane Idoumghar, René Schott and Olivier Zendra 2010. Reduction of Energy Consumption in Embedded Systems: A Hybrid Evolutionary Algorithm META 2010 (3rd International
Conference on Metaheuristics and Nature Inspired Computing) , Volume 95.
Maha Idrissi Aouad, Lhassane Idoumghar, René Schott and Olivier Zendra 2010. Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systems IADIS Applied
Computing 2010
Maha Idrissi Aouad, Lhassane Idoumghar, René Schott and Olivier Zendra 2010. Sequential and Cooperative Distributed SA-Type Algorithms for Energy Optimization in Embedded Systems IEEE-CiSE
2010 (International Conference on Computational Intelligence and Software Engineering) , Volume 1.
Maha Idrissi Aouad et Olivier Zendra 2008. Memory Management and Data Placement Optimizations for Low-Power Colloque GDR SOC-SIP et Advanced Computer Architecture and Compilation for
Embedded Systems (ACACES'08)
Lhassane IDOUMGHAR, Maha IDRISSI AOUAD, Mahmoud MELKEMI et René SCHOTT 2011. Hybrid PSO-SA Type Algorithms for MultiModal Function Optimization and Reducing Energy
Consumption in Embedded Systems. Applied Computational Intelligence and Soft Computing (ACISC) , vol. 2011, Article ID 138078
50 sur 100
08/04/2015 13:20
Monsieur Salim JOUILI
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Salvatore TABBONE
Sujet de thèse :
Indexation des masses de documents graphiques: approches structurelles
Cours
Algorithmes géométriques et robustesse - 2007
Modélisation de l'utilisateur et flexibilité des interfaces - 2007
Réseaux neuronaux - 2008
Salim Jouili, Salvatore Tabbone 2009. A hypergraph-based model for graph clustering: application to image indexing CAIP2009 , The 13th International Conference on Computer Analysis of Images and
Patterns, September 2nd-4th, Munster, Germany, LNCS 5702, pp. 360-368, Springer 2009, http://dx.doi.org/10.1007/978-3-642-03767-2_44
Salim jouili, Salvatore Tabbone 2010. Indexation de graphes à partir d'une structure d'hypergraphe CIFED2010 , Colloque International Francophone sur l'Écrit et le Document, pp., http://hal.inria.fr
/index.php?view_this_doc=inria-00472182&version=1&halsid=l3kdnjf5cmsr1pi757ru2rjvn6
Salim Jouili, Salvatore Tabbone 2009. Graph Matching Based on Node Signatures GBRPR2009 , 7th IAPR-TC-15 Workshop on Graph-based Representations in Pattern Recognition - GbRPR 2009,
LNCS 5534, pp. 154-163. Springer, http://dx.doi.org/10.1007/978-3-642-02124-4_16
Salim Jouili, Salvatore Tabbone, Ernest Valveny 2010. Comparing Graph Similarity for Graphical Recognition GREC2010 , (2010) Graphics Recognition. Achievements, Challenges, and Evolution
Springer Berlin/Heidelberg (Ed.) (2010) , pp. 37-48, http://dx.doi.org/10.1007/978-3-642-13728-0
Mickaël Coustaty, Jean-Marc Ogier, N. Sidère, Pierre Héroux, Jean-Yves Ramel, Hassan Chouaib, Nicole Vincent, Salim Jouili, Salvatore Tabbone 2009. Content-Based Old Documents Indexing
GREC2009 , Eighth IAPR International Workshop on Graphics Recognition - GREC 2009 , http://hal.inria.fr/index.php?halsid=l3kdnjf5cmsr1pi757ru2rjvn6&view_this_doc=inria-00404366&version=1
Salim Jouili, Salvatore Tabbone, Ernest Valveny 2009. Evaluation of Graph Matching Measures for Documents Retrieval , 8th IAPR International Workshop on Graphics Recognition - GREC 2009,
http://hal.inria.fr/index.php?halsid=l3kdnjf5cmsr1pi757ru2rjvn6&view_this_doc=inria-00395908&version=1
Salim Jouili, Salvatore Tabbone 2009. Attributed Graph Matching using Local Descriptions ACIVS2009 , Advanced Concepts for Intelligent Vision Systems - ACIVS 2009, Bordeaux, France, LNCS 58027,
pp. 89-99, Springer 2009, http://dx.doi.org/10.1007/978-3-642-04697-1_9
Salim Jouili, Salvatore Tabbone 2008. Applications des graphes en traitement d'images ROGICS2008 , International Conference on Relations, Orders and Graphs: Interaction with Computer Science ROGICS'08, pp. 434-442 , http://hal.inria.fr/index.php?halsid=l3kdnjf5cmsr1pi757ru2rjvn6&view_this_doc=inria-00334793&version=1
Salim Jouili, Salvatore Tabbone 2010. Graph Embedding Using Constant Shift Embedding ICPR2010 , LNCS 6388, pp. 83-92, Srpinger 2010., http://www.springerlink.com/content/7743515673651243
/fulltext.pdf
Jouili Salim, Tabbone Salvatore, Vinciane Lacroix 2010. Median graph shift: A new clustering algorithm for graph domain ICPR2010 , IEEE Computer science, pp. 950 - 953 , http://dx.doi.org/10.1109
/ICPR.2010.238
Jouili Salim, Mickael Coustaty, Tabbone Salvatore, Jean-Marc Ogier 2010. NAVIDOMASS: Structural-based Approaches Towards Handling Historical Documents ICPR2010 , IEEE computer science, pp.
946 - 949 , http://dx.doi.org/10.1109/ICPR.2010.237
Compétences informatique
Langages de programmation: C/C++, Java, Matlab, C#, Visual Basic.
Conception: UML et Merise.
Web: HTML, PHP, CSS.
Base de données: SQL, XML.
Outils maîtrisées: Netbeans, Eclipse, Latex, MS Office, etc.
Systèmes d'exploitation: Windows (98, Me, 2000, XP, VISTA), Linux.
Compétences théoriques
Théorie de graphes, Traitement d'images, Intelligence Artificielle, Complexité, Méthodologie de conception,
Algorithmique, Structure de données, Traitement Automatique des Langues.
CVC, Barcelone, Espagne
51 sur 100
08/04/2015 13:20
Monsieur Santosh K. C.
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Laurent WENDLING, M. Bart LAMIROY
Sujet de thèse :
Reconnaissance des graphiques en utilisant les relations spatiales et d’analyse de forme
Summer School - 2009 - 29 heures
Master course: Réplication et cohérence de données - 2010 - 15 heures
FLE 1 - 2009
Santosh K. C., Bart Lamiroy and Jean Phillipe Ropers 2009. 'Utilization de Programmation Logique Inductive pour la Reconnaissance de Symboles' 9èmes Journées Francophones Extraction et Gestion des
Connaissances, 2009
Santosh K. C. and Cholwich Nattee 2009. 'A Comprehensive Survey on On-line Handwriting Recognition Technology and its Real Application to the Nepalese Natural Handwriting' Kathmandu University
Journal of Science and Technology, 2009 , Vol. 6 No.1 31-55
Santosh K.C., Laurent Wendling and Bart Lamiroy 2009. 'New Ways to Handle Spatial Relations Through Angle Plus MBR Theory on Raster Documents' Eighth IAPR International Workshop on Graphics
RECognition - GREC, 2009 , 291–302
Santosh K.C., Bart Lamiroy and Jean P. Ropers 2009. 'Inductive Logic Programming for Symbol Recognition' IEEE, 10th International Conference on Document Analysis and Recognition, 2009 , 1330-1334
Santosh K. C. 2010. 'Shape Classification through Angular Signature' Kathmandu University Journal of Science and Technology, 2010
Santosh K.C., Laurent Wendling and Bart Lamiroy 2010. 'Unified Pairwise Spatial Relations and its Application to Graphical Symbol Retrieval' Lecture Notes in Computer Science, Graphics Recognition, 2010
Santosh K. C., Laurent Wendling, Bart Lamiroy 2010. 'Using Spatial relations for graphical symbol description' International Conference on Pattern Recognition, 2010
Santosh K.C. Cholwich Nattee, Bart Lamiroy 2010. 'Spatial Similarity based stroke number and order free clustering' International Conference on Frontiers Handwriting Recognition, 2010
Santosh K.C., Bart Lamiroy, Laurent Wendling 2011. 'DTW for Matching Radon Features - A Pattern Recognition and Retrieval Method' Advanced Concepts for Intelligent Vision Systems, 2011 , 249 - 260
Santosh K.C. 2011. 'Character Recognition based on DTW-Radon' International Conference on Document Analysis and Recognition, 2011
Santosh K.C., Bart Lamiroy, Laurent Wendling 2011. 'Symbol Recognition using Spatial Relations' Pattern Recognition Letters, 2011
Santosh K.C., Cholwich Nattee, Bart Lamiroy 2011. 'Relative Positioning of Stroke Based Clustering: A New Approach to On-line Handwritten Devangari Character Recognition' International Journal of Image
and Graphics, 2011
2011. 'Spatio-structural Symbol Description with Statistical Feature Add-on' International Workshop on Graphics Recognition, 2011
MATLAB, C++, Java
52 sur 100
08/04/2015 13:20
Monsieur Juliano KATRIB
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Mustapha NADI, M. Djilali KOURTICHE
ETUDE THEORIQUE ET EXPERIMENTALE DES IMPLANTS MEDICAUX ACTIFS EN ENVIRONNEMENT ELECTROMAGNETIQUE : application aux défibrillateurs implantables en
champ magnétique basse fréquence
Laboratoire de thèse
LIEN - UMR 3440
:
Date de soutenance
13 octobre 2011
:
3rd international summer school in biomedical engineering - 2008
Monitorat - 2009
Katrib J, Nadi M, Magne I, Schmitt P and Kourtiche D 2009. In vitro approach of cardiac defibrillators immunity in low frequency electromagnetic,
Katrib J, Roth P, Schmitt P, Kourtiche D, Magne I and Nadi M 2010. Evaluation of low frequency magnetic field exposure system for ICDs for in vitro studies
Katrib J, Nadi M, Schmitt P, Kourtiche D and Magne I 2010. Modeling Induced Current in Active Medical Implants Exposed to Uniform Magnetic
Juliano katrib, Mustapha Nadi, Patrice Roth , Pierre Schmitt, Djilali kourtiche, Martine Souques 2010. Immunity of ICD exposed to low frequency magnetic fields
Katrib J, Schmitt P, Magne I, Kourtiche D, Souques M and Nadi M 2011. Implantable cardioverter-defibrillators exposed to low frequency magnetic fields. , http://ursigass2011.org/abstracts/ursi/KP2-1.pdf
Katrib J, Schmitt P, Magne I, Kourtiche D, Audran F and Nadi 2011. Evaluation of induced voltage in implantable cardioverter-defibrillators exposed to low frequency magnetic
Katrib J, Nadi M, Schmitt P, Kourtiche D and Magne I 2011. Modeling electromagnetic interference in medical implants exposed to uniform magnetic fields
Katrib J, Nadi M, Magne I, Roth P, Schmitt P and Souques M 2011. No effects at high intensity magnetic fields : in vitro study of ICDs at low frequency
Katrib J, Schmitt P, Roth P, Audran F, Magne I and Nadi M 2011 2011. Approche expérimentale en CEM des implants médicaux actifs dans la bande de fréquences 10-50 kHz : cas des défibrillateurs cardiaques
implantables
Katrib J, Poure P, Karimi S, Saadate S 2008. Design methodology of VLSI power electronic digital controller based on Matlab-Modelsim co-simulation , http://ieeexplore.ieee.org
/xpl/freeabs_all.jsp?arnumber=4676983
Katrib J, Nadi M, Schmitt P, Kourtiche D, Magne I and Roth P 2009. In vitro approach of cardiovertor of cardiovertor defibrillators immunity in low frequency electromagnetic environment
53 sur 100
08/04/2015 13:20
Monsieur Mehdi KAYTOUE
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Amedeo NAPOLI
Sujet de thèse :
Traitement de données numériques par analyse formelle de concepts et structures de patrons
Apprentissage, représentation et raisonnement spécialité recherche PRIM ossatyure I PRIM 3 2 - 2007
Ecole d'été: Systems Biology: from genes to organisms 20-30 mai 2008 - 2007
Formations CIES - 2007
Anglais scientifique, atelier - 2008
Fifth reasoning web summer school - 2009
Mehdi Kaytoue-Uberall, Sébastien Duplessis, Amedeo Napoli 2009. L'analyse formelle de concepts pour l'extraction de connaissances dans les données d'expression de gènes Actes de EGC 2010 - Revue des
Nouvelles Technologies de l'Information RNTI-E-15 Cépaduès-Éditions , 439-440, http://dblp.uni-trier.de/rec/bibtex/conf/f-egc/Kaytoue-UberallDN09
Mehdi Kaytoue and Sébastien Duplessis and Sergei O. Kuznetsov and Amedeo Napoli 2009. Two FCA-Based Methods for Mining Gene Expression Data International Conference on Formal Concept
Analysis (ICFCA) , Lecture Notes in Computer Science, Springer (5548), pages 251-266, http://dblp.uni-trier.de/rec/bibtex/conf/icfca/Kaytoue-UberallDKN09
Mehdi Kaytoue-Uberall and Sébastien Duplessis and Amedeo Napoli 2008. Using Formal Concept Analysis for the Extraction of Groups of Co-expressed Genes Modelling, Computation and Optimization in
Information Systems and Management Sciences (MCO) , Communications in Computer and Information Science, Springer (14), pages 439-449, http://dblp.uni-trier.de/rec/bibtex/conf/mco/KaytoueUberallDN08
M. Kaytoue and S. Duplessis and A. Napoli 2008. Toward the discovery of itemsets with significant variations in gene expression matrices Studies in Classification, Data Analysis, and Knowledge Organization
(Springer)
M. Kaytoue and Z. Assaghir and N. Messai and A. Napoli 2009. Two complementary classification methods for designing a concept lattice from interval data Foundations of Information and Knowledge
Systems (FoIKS), Conference , Lecture Notes in Computer Science (5956), Springer, pages 345-362
Z. Assaghir and M. Kaytoue and N. Messai and A. Napoli 2009. An approach based on Formal Concept Analysis for mining numerical data Seventh Scientific Meeting of the Classification and Data Analysis
Group of the Italian Statistical Society
Z. Assaghir and M. Kaytoue and N. Messai and A. Napoli 2009. An approach based on Formal Concept Analysis for mining numerical data Société Francophone de Classification
M. Kaytoue and A. Napoli 2009. Classification de données numériques par treillis de concepts et structures de patrons Journées Nationales de l'Intelligence Artificielle Fondamentale
M. Kaytoue, Z. Assaghir, N. Messai et A. Napoli 2010. Complémentarité de deux méthodes de classification pour la construction de treillis de concepts à partir de données numériques 17ème conférence en
Reconnaissance des Formes et Intelligence Artificielle - RFIA 2010 , 399-406
Z. Assaghir and M. Kaytoue and A. Napoli and H. Prade 2010. Managing Information Fusion with Formal Concept Analysis Modeling Decisions for Artificial Intelligence, 6th International Conference
(MDAI) , Lecture Notes in Artificial Intelligence, Springer
Z. Assaghir and M. Kaytoue and H. Prade 2010. A possibility theory-oriented discussion of conceptual pattern structures Scalable Uncertainty Management, 4th International Conference (SUM) , Lecture
Notes in Artificial Intelligence, Springer
Mehdi Kaytoue Sergei O. Kuznetsov Sébastien Duplessis Amedeo Napoli 2010. Mining Gene Expression Data with Pattern Structures in Formal Concept Analysis Information Science Special Issue: Lattices
Mehdi Kaytoue Zainab Assaghir Amedeo Napoli Sergei O. Kuznetsov 2010. Embedding tolerance relations in Formal Concept Analysis for classifying numerical data 19th Conference on Information and
Knowledge Management (CIKM)
Zainab Assaghir Mehdi Kaytoue Henri Prade Amedeo Napoli 2010. Fusion de données imparfaites en utilisant l'analyse formelle de concepts Fouille de données complexes -- Complexité liée aux données
multiples, Numéro spécial de la Revue des Nouvelles Technologies de l'Information (RNTI)
Mehdi Kaytoue S. O. Kuznetsov Zainab Assaghir Amedeo Napoli 2010. Embedding Tolerance Relations in Concept Lattices - An application in Information Fusion Rapport de recherche INRIA
Batiste Ducatel Mehdi Kaytoue Florent Marcuola Amedeo Napoli Laszlo Szathmary 2010. Coron : Plate-forme d'extraction de connaissances dans les bases de données 17ème conférence en Reconnaissance
des Formes et Intelligence Artificielle
Mehdi Kaytoue Florent Marcuola Amedeo Napoli Laszlo Szathmary Jean Villerd 2010. The Coron System 8th International Conference on Formal Concept Analsis (ICFCA) - Supplementary Proceedings ,
pp. 55-58
Zainab Assaghir Mehdi Kaytoue Amedeo Napoli Henri Prade 2010. Organisation de la fusion d'information avec l'analyse formelle de concepts Rencontres francophones sur la Logique Floue et ses
Applications (LFA)
Mehdi Kaytoue Zainab Assaghir Nizar Messai Amedeo Napoli 2010. Classification de données numériques par treillis de concepts basée sur une similarité Rencontres de la Société Francophone de
Classification (SFC)
Zainab Assaghir Mehdi Kaytoue Amedeo Napoli Henri Prade 2010. Organisation de la fusion d'information avec l'analyse formelle de concepts Journées Nationales de l'Intelligence Artificielle Fondamentale
(IAF)
Mehdi Kaytoue Sergei O. Kuznetsov Amedeo napoli 2010. Pattern mining for numerical data: extracting closed patterns and their generators Rapport de recherche INRIA , RR-7416
M. Kaytoue, S. O. Kuznetsov and A. Napoli 2011. Biclustering Numerical Data in Formal Concept Analysis International Conference on Formal Concept Analysis (ICFCA) -- , LNCS 6628 SPRINGER
P. Agarwal, M. Kaytoue, S. O. Kuznetsov, A. Napoli, and G. Polaillon 2011. Symbolic Galois Lattices with Pattern Structures Thirteenth International Conference on Rough Sets, Fuzzy Sets and Granular
Computing , LNCS Springer
Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli 2011. Revisiting Numerical Pattern Mining with Formal Concept Analysis International Joint Conference on Artificial Intelligence (IJCAI)
54 sur 100
08/04/2015 13:20
Madame Roukaya KEINJ
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Pierre VALLOIS, M. Thierry BASTOGNE
Sujet de thèse :
Modélisation de la croissance d'une tumeur après traitement par radiothérapie
Roukaya keinj, Thierry Bastogne, Pierre Vallois. 2010. A multinomial model of tumor growth treated by radiotherapy 11th IFAC Symposium on Computer Applications in Biotechnology
Roukaya Keinj, Thierry Bastogne and Pierre Vallois 2011. Multinomial Model-based Formulations of TCP and NTCP for Radiotherapy Treatment Planning Journal of Theoretical Biology , Volume 279, Issue
1
Thierry Bastogne, Roukaya Keinj and Pierre Vallois 2011. A Stochastic Model of the Cell and Tumor Lifespans in Radiotherapy IFAC World Congress
Roukaya Keinj, Thierry Bastogne and Pierre Vallois 2011. Tumor Growth Modeling Based on Cell Lifespans Mathematical Models and Methods in Applied Sciences
Programmation: Langage C, C++, MAPLE, MATLAB.
55 sur 100
08/04/2015 13:20
Monsieur Dawood Ashraf KHAN
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Françoise SIMONOT-LION, M. Nicolas NAVET
Sujet de thèse :
Analyses d'ordonnançabilité pour la conception de systèmes embarqués fiable et rentable pour l'automobile
Model Driven Development for Distributed Realtime Embedded Systems - 2008
recherche documentaire - 2010
Doctoriale 2011 - 2010
Dawood A. KHAN, and Nicolas NAVET 2011. Schedulability Analysis of CAN with non-abortable Transmission Requests , Proceedings of 16th Emerging Technologies Factory Automation(ETFA)
Dawood A. KHAN, Reinder J. BRIL, and Nicolas NAVET 2010. Integrating hardware limitations in CAN schedulability analysis , Proceedings of 8th Workshop on Factory Communication Systems
(WFCS), nancy France
Dawood A. KHAN, Nicolas Navet, B. Bavoux, J. Migge 2009. Aperiodic traffic in response time analyses with adjustable safety level , Proceedings of 14th Emerging Technologies Factory
Automation(ETFA), Mallorca Spain
D. A. KHAN, B. NEFZI, L. SANTINELLI, M. CHITNIS, and Y-Q. SONG 2011. Probabilistic Bandwidth Assignment in WSN: Analysis and Impact on MAC Protocols , LCN 2011 Bonn Germany
A. YUSUF, D. A. KHAN, and S. KHAN 2006. Prediction Of Protein Coding Regions On A Programmable VLIW Architecture , inproceedings of Biotechnology Conference, Utah USA
D. A. KHAN, L. SANTINELLI, N. NAVET, and L. CUCU-GROSJEAN 2011. PARTS: Probabilistic Analysis of Real-Time Systems
S. Nasrullah, and D. A. KHAN 2011. A Novel Algorithm for Real-time Object Tracking
Extensive development experience in C/C++
- Extensive R&D experience in Embedded systems
- Extensive R&D experience in FPGA based development
- Extensive development experience in Microcontroller & DSP based embedded systems
- Extensive knowledge of RTL Synthesis
- Experience with Code optimization
- Data acquisition and instrumentation, Industrial automation
- Experience of physical design tools
- Experience with RTOS ( Application & System Level)
- Developing Discrete Event simulations in MATLAB and C/C++
- Interpersonal and communication skills
- Self-motivated, requiring minimal supervision, and a quick leaner
- Leading development teams
- Current with latest technologies and tools
56 sur 100
08/04/2015 13:20
Monsieur Ahmed KHELASSI
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Didier THEILLIOL
Sujet de thèse :
Nouvelle méthodologie de synthèse de lois de commande tolérante aux fautes garantissant la fiabilité des systèmes.
HYCON EECI - graduate school on control 2009 lmi optimization and polynomial methods - 2008
anglais présentation de conférences 2010 - 2010
Conversation en anglais crelens nancy - 2010
Cours de sûreté de fonctionnement Prof AUBRY INPL - 2010
A. Khelassi, D. Theilliol and P. Weber 2011. Reconfigurability Analysis for Reliable Fault-tolerant Control Design International Journal of Applied Mathematics and Computer Science , vol.12, N 3
A. Khelassi, D. Theilliol, P. Weber 2011. Fault tolerant control design with respect to actuators health degradation : An LMI approach IEEE Multi-conference on Systems and Control
A. Khelassi, P. Weber, D. Theilliol, C. Aubrun 2011. Evaluation of Fault Tolerant System against Actuators Aging applied to Flotation Circuit 18th IFAC World Congress, Milan, Italy
A. Khelassi, J. Jiang, D. Theilliol, P. Weber, Y.M. Zhang 2011. Reconfiguration of Control Inputs for overactuated Systems based on Actuators health 18th IFAC World Congress, Milan, Italy
A. Khelassi, P. Weber, D. Theilliol 2010. Reconfigurable control design for over-actuated systems based on reliability indicators. IEEE Conference on Control and Fault-Tolerant Systems, IEEE SysTol ,
http://hal.archives-ouvertes.fr/docs/00/52/98/30/PDF/SysTol_Khelassi_2010.pdf
A. Khelassi, D. Theilliol, P. Weber 2010. Control design for over-actuated systems based on reliability indicators. UKACC International Conference on Control, CONTROL 2010, Coventry. United Kingdom ,
http://hal.archives-ouvertes.fr/docs/00/52/01/97/PDF/UKACC_khelassi_Theilliol_Weber.pdf
A. Khelassi, D. Theilliol, P. Weber. 2010. Synthèse d’une loi de commande reconfigurable assurant la fiabilité des systèmes. Sixième Conférence Internationale Francophone d’Automatique, CIFA 2010
A. Khelassi, D. Theilliol, P. Weber. 2009. On Reconfigurability for Actuator Faults under Reliability Constraints. IFAC Workshop on Automation in Mining, Mineral and Metal Industry, IFAC-MMM 09, Vina del
Mar
A. Khelassi, D. Theilliol, P. Weber. 2009. Reconfigurability analysis for reliable fault-tolerant control design. 7th Workshop on Advanced Control and Diagnosis, ACD’2009 , http://hal.archives-ouvertes.fr
/docs/00/44/30/41/PDF/53_ACD_2009.pdf
57 sur 100
08/04/2015 13:20
Monsieur Cheick Tidjane KONE
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Francis LEPAGE
Sujet de thèse :
Conception de l’architecture d’un réseau de capteurs sans fil de grande dimension
UE QUALITE DE SERVICE R2 - O4 MASTER IS-EEAPR - 2007
Artist Summer School 2009 - 2008
TEX : un outil typographique pour le chercheur NANCY 13 14 18 et 20 mai 2009 - 2008
RUE 2011 Participation du 25 au 26 mai 2011 - 2010
58 sur 100
08/04/2015 13:20
Monsieur Tom LECLERC
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
André SCHAFF
Sujet de thèse :
Contributions pour une découverte de services avancée dans les réseaux ad hoc
Cours
Interopérabilité des systèmes d’entreprise - 2007
Séminaires
Ecole thématique Intelligence Ambiante - 2008
Rescom 2010 - 2009
T. Leclerc, L. Ciarletta, A. Andronache, and S. Rothkugel. 2008. OLSR and WCPD as Basis for Service Discovery in MANETs UBICOMM '08 , Vol. , No. , pp. 184-190, http://hal.inria.fr
/index.php?halsid=0k6soj2sok4c918j7ptntbe7b6&view_this_doc=inria-00334479&version=1
Ciarletta L., Leclerc T., Pujolle G., Borras P., Gashti S. 2007. Etude des protocoles de découverte de service dans le cadre des réseaux adhoc , http://hal.inria.fr/index.php?halsid=0k6soj2sok4c918j7ptntbe7b6&
view_this_doc=inria-00172067&version=1
Patrick Gratz, Tom Leclerc 2009. Delay-Tolerant Collaborative Filtering MobiWac09 , Pages 109-113, http://hal.inria.fr/index.php?halsid=0k6soj2sok4c918j7ptntbe7b6&view_this_doc=inria-00433769&
version=1
Tom Leclerc 2007. Métriques contextuelles et outils d'évaluation pour la découverte de service dans les réseaux hybrides Rapport de Master Recherche , http://hal.inria.fr
/index.php?halsid=0k6soj2sok4c918j7ptntbe7b6&view_this_doc=inria-00172070&version=1
Tom Leclerc, Laurent Ciarletta, André Schaff 2010. A Stable Linked Structure Flooding for Mobile Ad Hoc Networks with Fault Recovery Wired/Wireless Internet Communications - WWIC 2010 , 6074 (2010)
204-215, http://hal.inria.fr/index.php?halsid=0k6soj2sok4c918j7ptntbe7b6&view_this_doc=inria-00490306&version=1
Tom Leclerc, Laurent Ciarletta, André Schaff 2010. SLSF: Stable Linked Structure Flooding For Mobile Ad Hoc Networks IEEE International Symposium on Wireless Pervasive Computing - ISWPC 2010
(2010) , http://hal.inria.fr/index.php?halsid=0k6soj2sok4c918j7ptntbe7b6&view_this_doc=inria-00488902&version=1
T. Leclerc, J. Siebert, L. Ciarletta, V. Chervrier, O. Festor 2010. Multi-modeling and co-simulation-based mobile ubiquitous protocols and services development and assessment Mobiquitous 2010 ,
http://hal.inria.fr/inria-00534575/PDF/mobiquitous2010.pdf
Tom Leclerc, Laurent Ciarletta, Laurent Reynaud, André Schaff 2010. Prototype d'architecture de découverte de services avancée
Laurent Reynaud, François Jan , Laurent Ciarletta, Tom Leclerc, Gashti Shahab 2010. Intégration des services à la plateforme pour démonstrateurs
Tom Leclerc, Adrian Andronache, Laurent Ciarletta, Steffen Rothkugel 2009. Stabilizing cluster structures in mobile networks for OLSR and WCPD as Basis for Service Discovery International Journal on
Advances in Internet Technologies , http://hal.inria.fr/inria-00406472/en
Laurent Ciarletta, Tom Leclerc, Laurent Reynaud 2009. Architecture pour la découverte de services avancée , http://hal.inria.fr/inria-00417677/en
59 sur 100
08/04/2015 13:20
Monsieur Yuning LIU
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Marius TUCSNAK, Takéo TAKAHASHI
Sujet de thèse :
Analyse et Contrôle de Quelques Problèmes d’interaction Fluide-Structures
cours du soir au cafol 10 01 2011 au 18 02 11 - 2010 - 24 heures
Introduction aux équations de Navier-Stokes et d'Euler M2 MFA M TAKAHASHI IECN - 2010 - 30 heures
L'écrit scientifique en anglais - 2010 - 15 heures
fluid structure interaction for biomedical applications summer school prague 29 08 - 02 09 2011 - 2011
Anglais Présentation de Conférences II - 2010
Yuning Liu, Takéo Takahashi and Marius Tucsnak 2011. Strong Solutions for a Phase Field Navier–Stokes Vesicle–Fluid Interaction Model JOURNAL OF MATHEMATICAL FLUID MECHANICS ,
http://www.springerlink.com/content/vh36646124965243/
Yuning Liu, Takeo Takahashi and Marius Tucsnak 2011. Single input controllability of a simplied uid-structure interaction model ESAIM: Control, Optimisation and Calculus of Variations
60 sur 100
08/04/2015 13:20
Madame Maélène Brigitte LOHEZIC
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Jacques FELBLINGER, M. Pierre-André VUISSOZ
Sujet de thèse :
Reconstructions Adaptatives pour l'Imagerie par Résonance Magnétique des Organes en Mouvement
Laboratoire de thèse : Date de soutenance : 13 octobre 2011
Formation de sauveteur secouriste travail - 2007
UE M SVS 3 012 Principes et méthodologie de recherche en imagerie : de la cellule à l'organe - 2007 - 25 heures
Stage Rédaction d'articles scientifiques en anglais - 2009 - 21 heures
Atelier
Current concepts of motion correction for MRI and MRS - 2009
Connaissance du monde de l’entreprise
Formations en ligne - 2007
Conférences
ISMRM 16th Annual Meeting - 2007
3rd European EPIC Programming Course - 2007
B. Fernandez, J. Oster, M. Lohezic, D. Mandry, O. Pietquin, P.-A. Vuissoz and J. Felblinger 2010. Adaptive black blood fast spin echo for end-systolic rest cardiac imaging Magnetic Resonance in Medicine ,
in press
R. Iordache, M. Lohezic, G. Palma, S. Puong and S. Muller 2010. Noise reduction in dual-energy contrast enhanced digital breast tomosynthesis using regularization Lecture Notes in Computer Science , pp.
92-99
M. Lohezic, A. Menini, B. Fernandez, D. Mandry, P.-A. Vuissoz and J. Felblinger 2010. Free breathing Myocardial T2 Measurements Proc. of the annual meeting of the International Society for Magnetic
Resonance in Medicine , Stockholm, 2958
L. Rousselet, M. Lohezic, C. Pasquier and J. Felblinger 2010. MR Compatible Sensor for Motion Artifact Corrected Reconstruction Method Proc. of the annual meeting of the International Society for Magnetic
Resonance in Medicine , Stockholm, 5024
M. Lohezic, A. Menini, B. Fernandez, D. Mandry, P.-A. Vuissoz and J. Felblinger 2010. Motion Corrected T2 Mapping: Application to Free-breathing Myocardial Measurements in ISMRM Workshop on
Current Concepts of Mortion Correction for MRI and MRS , Kitzbühel
M. Lohezic, B. Fernandez, J. Oster, D. Mandry, O. Pietquin, P.-A. Vuissoz and J. Felblinger 2009. Free breathing black-blood systolic imaging using heart rate prediction and motion compensated
reconstruction Proc. of the annual meeting of the International Society for Magnetic Resonance in Medicine , Honolulu, 4629
B. Fernandez, M. Lohezic, P.-A. Vuissoz and J. Felblinger 2008. New Approach for Affine Transform Parameters Estimation for Prospective Motion Correction Using External Sensors Proc. of the annual
meeting of the International Society for Magnetic Resonance in Medicine , Toronto, 3118
Traitement de signal/d'images, Reconstruction d'images, Imagerie Médicale, IRM, Imagerie Cardiaque
61 sur 100
08/04/2015 13:20
Monsieur Constantinos MAKASSIKIS
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Stéphane VIALLE
Sujet de thèse :
Conception d'un modèle et de frameworks de distribution d'applications sur grappes de PCs avec tolérance aux pannes à faible coût
Date de soutenance : 2 fevrier 2011
Cours
Calcul parallèle et distribué, et Grilles de calculs - 2007 - 27 heures
Macroéconomie - 2007 - 18 heures
Modèles biologiques pour l’informatique - 2008 - 18 heures
Formation à l'algorithmique SIMD, la programmation des GPUs et des clusters de GPUs - 2009
Constantinos Makassikis, Xavier Warin and Stéphane Vialle 2007. Distribution of a Stochastic Control Algorithm Applied to Gas Storage Valuation The 7th IEEE International Symposium on Signal
Processing and Information Technology (ISSPIT) , http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4458002
Constantinos Makassikis et Xavier Warin and Stéphane Vialle 2008. Large Scale Distribution of Stochastic Control Algorithms for Financial Applications The First Workshop on Parallel and Distributed
Computing in Finance (Computational Finance) (PDCoF08) , http://hal-supelec.archives-ouvertes.fr/hal-00290440/fr/
Constantinos Makassikis, Viginie Galtier and Stéphane Vialle 2010. A Skeletal-Based Approach for the Development of Fault-Tolerant SPMD Applications Proceedings of the 11th International Conference on
Parallel and Distributed Computing, Applications and Technologies (PDCAT)
Constantinos Makassikis 2008. Distribution Large Echelle d’un Algorithme Financier de Contrôle Stochastique Actes des 18ème Rencontres Francophones du Parallélisme (RenPar) , http://hal-supelec.archivesouvertes.fr/hal-00264911/fr/
Virginie Galtier, Constantinos Makassikis and Stéphane Vialle 2010. A Framework for Efficient Fault-Tolerant Master-Worker Distributed Applications Proceedings of the 19th Euromicro International
Conference on Parallel, Distributed and Network-Based Computing
I have advanced experience in C/C++ and Java programming which I have used
to implement frameworks for my Ph.D. thesis. I also have experience in
MPI library and JavaSpace technology.
Other programming-related skills include:
-o- version control system(s): subversion
-o- scripting languages: Bash shell script, Python
-o- libraries: Blitz, Boost, JAI, NetCDF (scientific IO)
-o- Distributed programming: OpenMP, UPC, Java RMI
-o- Misc: PHP, Perl, PL/SQL
Operating Systems: Slackware Linux (used daily) and Windows 9x/NT/2000/XP
DBMS: Postgres, Oracle, MySQL
Office tools: Latex, Gnumeric, Gnuplot, MS Word/Excel/Powerpoint (and OpenOffice equivalents)
Graphics: Inkscape and GIMP
I have experience in teaching as a former "moniteur" and also in making presentations.
62 sur 100
08/04/2015 13:20
Monsieur Atif MASHKOOR
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Jeanine SOUQUIERES, M. Jean-pierre JACQUOT
Sujet de thèse :
INGENIERIE FORMELLE DE DOMAINE: DES SPECIFICATIONS A LA VALIDATION
5th TAROT Summer School on Software Testing - 2009
FLE 1 - 2009
Atif Mashkoor and Jean-Pierre Jacquot 2011. Utilizing Event-B for Domain Engineering: A Critical Analysis Requirements Engineering Journal (REJ)
A. Mashkoor and J. P. Jacquot 2010. Domain Engineering with Event-B: Some Lessons We Learned 18th International Requirements Engineering Conference (RE’10)
A. Mashkoor and A. Matoussi 2010. Towards Validation of Requirements Models 2nd International Conference on Abstract State Machines (ASM), Alloy, B and Z (ABZ’10)
A. Mashkoor, F. Yang and J. P. Jacquot 2011. Validation of Formal Specification: The Case for Animation 3rd Workshop on Security and Reliability (SecDay’11)
A. Mashkoor and J. P. Jacquot 2009. Branimation 1st RODIN User and Developer Workshop (RUDW’09)
A. Mashkoor, J. P. Jacquot and J. Souquières 2009. Transformation Heuristics for Formal Requirements Validation by Animation 2nd International Workshop on the Certification of Safety-Critical Software
Controlled Systems (SafeCert’09)
A. Mashkoor 2009. Formal Domain Modeling: From Specification to Validation Doctoral Symposium of 16th International Symposium on Formal Methods (DS-FM’09)
A. Mashkoor, J. P. Jacquot and J. Souquières 2009. B Événementiel pour la Modélisation du Domaine: Application au Transport 9th Approches Formelles dans l’Assistance au Développement de Logiciels
(AFADL’09)
63 sur 100
08/04/2015 13:20
Madame Gabriela MEDINA OLIVA
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Benoît IUNG
Sujet de thèse :
Modélisation conjointe des connaissances multi-points de vue d'un système industriel et de son système de soutien pour l'évaluation des stratégies de maintenance.
Model driven system engineering - 2001 - 20 heures
Certificat de compétences de citoyen de sécurité civile - 2009
Communiquer pour se faire comprendre et motiver - 2009 - 16 heures
Ecole de Journées Doctorales MACS - 2009
English conversation - 2009 - 15 heures
Français Langue Etrangère - 2009 - 48 heures
La voix prise de conscience et prise de confiance - 2009
utilisation de la voix - 2009 - 12 heures
FLE 1 - 2009
FLE 2 - 2009
Weber, P., Medina-Oliva, G., Simon, C., & Iung, B. 2010. Overview on Bayesian networks Applications for Dependability, Risk Analysis and Maintenance areas Engineering Applications of Artificial
Intelligence on Dependable System Modelling and Analysis
Medina-Oliva, G., Weber, P., Levrat, E., & Iung, B. 2010. Use of Probabilistic Relational Model (PRM) for Dependability Analysis of Complex Systems 12th LSS IFAC symposium Large Scale Systems: theory
and applications
Medina-Oliva G., Weber P., Levrat E., Iung B. 2009. Probabilistic Relational Model (PRM)_based Technical Knowledge Formalization for Dependability of an Industrial System 7th Workshop on Advanced
Control and Diagnosis ACD’2009
Medina-Oliva G., Weber P., Simon C., Iung B., 2009. Bayesian Networks Applications on Dependability, Risk Analysis and Maintenance 2nd IFAC Workshop on Dependable Control of Discrete Systems
Medina-Oliva G., Weber P., Iung B., 2011. Modélisation du système de maintenance industriel et de son environnement technique, humain et organisationnel par Réseaux Bayésiens pour l’évaluation des stratégies
de maintenance 4èmes Journées Doctorales / Journées Nationales MACS
64 sur 100
08/04/2015 13:20
Monsieur Mohamed Anis MEKKI
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Synthèse et Compilation de Services Web Sécurisés
"*Théorie de la Sécurité"* (Année 2007/2008) - 2007
"Réécriture pour la programmation" pendant l'année 2007-2008 - 2007
"*Sécurité des Systèmes Communicants"* (Année 2008/2009) - 2008
"Modèles et Systèmes Multi-Agents" (Année 2008/2009) - 2008
"Procédures de Décision et Vérification de Programmes" durant l'année universitaire 2008/2009 - 2008
T. Avanesov and Y. Chevalier and M.A. Mekki and M. Rusinowitch 2011. Web Services Verification and Prudent Implementation In 4th SETOP International Workshop on Autonomous and Spontaneous
Security, SETOP 2011
T. Avanesov and Y. Chevalier and M.A. Mekki and M. Rusinowitch and M. Turuani 2011. Distributed Orchestration of Web Services under Security Constraints In 4th SETOP International Workshop on
Autonomous and Spontaneous Security, SETOP 2011
Y. Chevalier and M.A. Mekki and M. Rusinowitch 2010. Orchestration Under Security Constraints In Formal Methods for Components and Objects, International Symposium, FMCO 2010 , Volume 6957 of
Lecture Notes in Computer Science. Springer, 2010
Y. Chevalier and M.A. Mekki and M. Rusinowitch 2009. Orchestration Under Security Constraints In Sixth International Workshop on Formal Aspects in Security and Trust (FAST2009)
Y. Chevalier and M.A. Mekki and M. Rusinowitch 2008. Automatic Composition of Services with Security Policies In Proceedings of the 2008 IEEE Congress on Services , Part I, SERVICES 08, pages
529-537
Langages de programmation: C/C++/Java/Javascript/HTML/
Systèmes d'exploitation: Dos/Windows/Linux/Solaris
Enseignements
* Vacation 2009/2010: - Cours/TDs/TPs/Examens: 'Systèmes de Gestion des Bases de Données Relationelles et Langage SQL' - Niveau DUT, 1ère année - Lieu: IUT Nancy Charlemagne
65 sur 100
08/04/2015 13:20
Madame Julie MELIN
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Jamal DAAFOUZ, M. Marc JUNGERS
Sujet de thèse :
Synthèse de lois de commande pour les systèmes à commutations avec contraintes de performances.
CIES - 2009
Cours
An Introduction to Networked Control Systems - 2007 - 21 heures
LMI, Optimization and Polynomial Methods - 2007 - 21 heures
Expression orale et communication - 2000 - 12 heures
Réussir sa communication vers le grand public - 2008 - 12 heures
J.MELIN, M. JUNGERS, J. DAAFOUZ, C. IUNG 2010. Analyse de performances et synthèse d'un contrôleur par retour de sortie dynamique pour les systèmes à commutation en temps discret. In proceedings
of Conférence Internationale Francophone en Automatique
J. MELIN, M. JUNGERS, J. DAAFOUZ, C. IUNG 2011. Performance Analysis and Design of Dynamic Output Feedback Control for Switched Systems International Journal of Control , Volume 84, Issue 2,
pp253-260
J. MELIN, M. JUNGERS, J. DAAFOUZ, C. IUNG 2008. Sur l'analyse de performance et l'approche SDH pour les systèmes commandés en réseau. In proceedings of Conférence Internationale Francophone en
Automatique
J. MELIN, M. JUNGERS, J. DAAFOUZ, C. IUNG 2009. On Performance Analysis of Time Delay Systems using a Switched System Approach In proceedings of 3rd IFAC Conference on Analysis and Design
of Hybrid Systems , pp 192-197
J. MELIN, M. JUNGERS, J. DAAFOUZ, C. IUNG 2009. On Analysis of Performance for Digitally Controlled and Time-Varying Delayed Systems In proceedings of European Control Conference , pp.
4181-4186
66 sur 100
08/04/2015 13:20
Monsieur Azad MOHAMMAD
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
PIERRE ALETTI, M. Alain NOEL
ETUDE D’UN MODELE BIOMECANIQUE DES MOUVEMENTS ET DEFORMATIONS DES ORGANES PELVIENS ET INTEGRATION DANS LE PROCESSUS DU TRAITEMENT EN
RADIOTHERAPIE EXTERNE POUR LE CANCER DE LA PROSTATE.
Laboratoire de
CRAN - Centre de Recherche en Automatique de Nancy - UMR 7039
thèse :
Date de soutenance
12 octobre 2011
:
Modules M1 Lire et écrire l'anglais pratique - 2007 - 20 heures
UE Méthodes avancées pour le signal et l'image en médecine UE R1-13 - 2010 - 20 heures
UE Signaux et systèmes bio-médicaux R1-11 - 2010 - 20 heures
Azad Mohammad, Mohamed Haboussi, Pierre Aletti 2011. Evaluation of finite element modeling for pelvic organs motion using cone beam computer tomography (CBCT) scans in prostate cancer threedimensional conformal radiation therapy (3DCRT) Radiotherapy and Oncology , http://www.elsevier.com/wps/find/journaldescription.cws_home/506042/description#description
1. Travailler sur les logiciels de modélisation en biomécanique tels MSC Marc, Catia, 3DReshaper.
2. Travailler sur la dosimétrie in-vivo dans le service de physique médicale
67 sur 100
08/04/2015 13:20
Monsieur Mathieu MOREY
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Guy PERRIER
Sujet de thèse :
Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés
Discours and Dialogue - 2007
European Summer School in Logic, Language and Information ESSLLI 2008 - 2007
Techniques de Réécriture et Transformation - 2007
Atelier
Atelier Jeunes Chercheurs des Journées de Sémantique et Modélisation 2008 - 2007
Monitorat - 2007 - 192 heures
Bonfante G., Guillaume B., Morey M. 2009. Dependency Constraints for Lexical Disambiguation 11th International Conference on Parsing Technologies - IWPT'09 , http://hal.inria.fr/inria-00440795/fr/
Bonfante G., Guillaume B., Morey M. 2009. Word Order Constraints for Lexical Disambiguation of Interaction Grammars Workshop on Parsing with Categorial Grammars - ESSLLI 2009 , http://hal.inria.fr
/inria-00440785/fr/
Bonfante G., Guillaume B., Morey M., Perrier G. 2010. Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique Dans Traitement Automatique des Langues Naturelles - TALN 2010 ,
Perrier G., Morey M., Amblard M. 2009. From Semantic Graphs to Logic Formulae Rapport de recherche INRIA , http://hal.inria.fr/inria-00415793/fr/
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier 2011. Modular Graph Rewriting to Compute Semantics Ninth International Conference on Computational Semantics - IWCS 2011 ,
65--74, http://hal.inria.fr/inria-00579244/fr/
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier 2011. Enrichissement de structures en dépendances par réécriture de graphes Actes de la 18e conférence sur le Traitement Automatique des
Langues Naturelles , 395--406, http://hal.inria.fr/inria-00579251/fr/
68 sur 100
08/04/2015 13:20
Monsieur Abdouramane MOUSSA ALI
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Frédéric HAMELIN
Sujet de thèse :
Diagnostic sans modèle a priori
Modules de formation des moniteurs proposés par le CIES Lorraine - 2007
Traitement statistique du signal : Théorie de l'estimation - 2007
Ecole des Journées Doctorales MACS - 2008 - 20 heures
A. Moussa Ali, C. Join et F. Hamelin. 2009. Une méthode algébrique de diagnostic de défauts. 3èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS 2009, Angers : France (2009) ,
http://hal.archives-ouvertes.fr/docs/00/36/95/93/PDF/gdmacs.pdf
A. Moussa Ali, C. Join and F. Hamelin 2009. Fault Diagnosis of Uncertain Linear System Using Structural Knowledge. Safeprocess 2009 , http://hal.archives-ouvertes.fr/docs/00/41/21/81/PDF/safeprocess09.pdf
Moussa Ali A., Join C. et Hamelin F. 2010. Diagnostic des systèmes dynamiques linéaires sans modèle explicite. Nouvelles tendances en automatique - JESA
Moussa Ali A., Join C. et Hamelin F. 2009. Diagnostic des systèmes dynamiques linéaires sans modèle explicite. 2èmeWorkshop Surveillance, Sûreté et Sécurité des Grands Systèmes. , http://ws3sgs09.loria.fr
/articles/ali.pdf
Moussa Ali A., Join C. & Hamelin F. 2008. An algebraic approach to fault diagnosis. IAR-ACD (23rd IAR Workshop on Advanced Control and Diagnosis).
A. Moussa Ali, C. Join and F. Hamelin 2010. A robust algebraic approach to fault diagnosis of uncertain linear systems 18th IFAC World Congress - Milano - Italy
69 sur 100
08/04/2015 13:20
Monsieur Ibrahima N'DOYE
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Michel ZASADZINSKI
Sujet de thèse :
Généralisation du lemme de Gronwall-Bellman pour la stabilisation des systèmes fractionnaires.
Date de soutenance : 23 fevrier 2011
Certificat Formateur F-AesR (Analyse et Evaluation des Systèmes de Ressourcement) - 2007 - 24 heures
Université Africaine des Systèmes d'Information (UNASI)-2008 - 2007 - 40 heures
Sauvetage Secourisme du Travail (SST) - 2009 - 12 heures
M6 - Nonlinear Output Regulation - 2009 - 21 heures
M9 - LMI, Optimization and Polynomial Methods - 2009 - 21 heures
I. N'Doye, M. Zasadzinski, M. Darouach and N. E. Radhy 2010. Observer-based control for fractional-order continuous-time systems IEEE Conference Decision and Control (CDC), Shangai, China, 2009
I. N'Doye, M. Zasadzinski, M. Darouach and N. E. Radhy 2009. Stabilization of a class of nonlinear affine fractional-order systems IFAC IEEE Conference Methods and Models in Automation and Robotics
I. N'Doye, M. Zasadzinski, M. Darouach and N. E. Radhy 2010. Regularization and stabilization of singular fractional-order systems IFAC Workshop on Fractional Differentiation and its Application (FDA),
Badajoz, Spain, 2010
I. N'Doye, M. Zasadzinski, M. Darouach and N. E. Radhy 2010. Robust stabilization of linear and nonlinear fractional-order systems with nonlinear uncertain parameters IEEE- MED Mediterranean Conference
Cont. and Aut., Morocco, 2010
I. N'Doye, M. Zasadzinski, N. E. Radhy and A. Bouaziz 2009. Robust controller design for linear fractional-order systems with nonlinear time-varying model uncertainties
I. N'Doye, M. Zasadzinski, N. E. Radhy and M. Darouach 2009. Exponential obsrever-based stabilization for a class of affine nonlinear systems IFAC IEEE Conference Methods and Models in Automation and
Robotics
I. N'Doye, M. Zasadzinski, N. E. Radhy and M. Darouach 2010. Stabilisation des systèmes bilinéaires fractionnaires Conférence Internationale Francophone d'Automatique, CIFA
70 sur 100
08/04/2015 13:20
Monsieur Roger NAKAD
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Oussama HIJAZI
Sujet de thèse :
Sous-variétés spéciales des variétés spinorielles complexes
Communication scientifique écrite en anglais - 2008 - 15 heures
Représentations du groupe symétrique Master 2 recherche en Mathématiques - 2008 - 30 heures
Conversation anglaise - 2009 - 15 heures
Geometric Analysis (Ecole d'été) - 2009
Utilisation de la voix - 2009 - 12 heures
Ecole thématique Analyse géométrique - 2010
Roger Nakad 2010. Lower bounds for the eigenvalues of the Dirac operator on spin$^c$ manifolds Journal of Geometry and Physics , volume 60- Issue 10- p: 1634–1642
Roger Nakad 2011. The Energy-Momentum tensor on Spin$^c$ manifolds IJGMMP Vol. 8, No. 2 , Vol. 8, No. 2
2011. The Hijazi inequalities on complete Riemannian Spin$^c$ manifolds Advances in Mathematical Physics Advances in Mathematical Physics
Georges Habib Roger Nakad 2010. The Energy-Momentum tensor on low dimensional Spin$^c$ manifolds International Journal of Mathematics
Roger Nakad 2010. Eigenvalue estimates for the Dirac operator on Spin$^c$ Hypersurfaces Proceedings of the American Mathematical Society
71 sur 100
08/04/2015 13:20
Monsieur Bilel NEFZI
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Ye Qiong SONG
Sujet de thèse :
Mécanismes auto-adaptatifs pour la gestion de la Qualité de Service dans les réseaux de capteurs sans fil
B. Nefzi, Y.-Q. Song 2010. CoSenS: a Collecting and Sending Burst Scheme for Performance Improvement of IEEE 802.15.4 , 35th Annual IEEE Conference on Local Computer Networks and Workshops
B. Nefzi, Y.-Q. Song 2010. QoS for Wireless Sensor Networks: Tackling Service Differentiation in MAC sub-layer , AdHocNets 2010. Second International Conference on Ad Hoc Networks
B. Nefzi, Y.-Q. Song 2010. Performance improvement of CSMA/CA for data gathering scenarios in wireless sensor networks , Communications and Networking (ComNet), 2010 Second International
Conference on , vol., no., pp.1-7, 4-7 Nov. 2010
Nefzi, B.; Cruz-Sanchez, H.; Ye-Qiong Song 2009. SCSP: An energy efficient network-MAC cross-layer design for wireless sensor networks , Local Computer Networks, 2009. LCN 2009. IEEE 34th
Conference on , vol., no., pp.1061-1068
B. Nefzi, Y.-Q. Song. N-MAC 2008. N-MAC : a Network MAC cross layer design for supporting differentiated services and simpler management mechanisms in Wireless Sensor Networks , in 2nd Junior
Researcher Workshop on Real-Time Compu- ting (JRWRTC 2008)
B. Nefzi, Y.-Q. Song 2007. Performance Analysis and improvement of ZigBee routing protocol , 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems FeT’2007
A. Koubaa, M. Alves, B. Nefzi, and Y. Q. Song 2006. Improving the IEEE 802.15.4 Slotted CSMA/CA MAC for Time-Critical Events in Wireless Sensor Networks , Workshop on Real Time Networks RTN’06
72 sur 100
08/04/2015 13:20
Madame Nedia NOURI
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Michel DUFAUT, M. Jean-Marie MOUREAUX
Sujet de thèse :
Evaluation de la qualité et transmission en temps réel de vidéos médicales compressées : application à la télé-chirurgie robotisée
Cours
Télévision Numérique - 2007 - 16 heures
Robotique Générale - 2010 - 20 heures
Communication, interaction , activité enseignante, apprentissage - 2008 - 12 heures
Gestion du trac et prise de parole en public - 2008 - 16 heures
Prévention et secours civiques niveau 1 - 2008 - 8 heures
Gestion des relations difficiles - 2009 - 12 heures
Négociation et maîtrise de soi - 2009 - 12 heures
Nedia Nouri, Denis Abraham, jean-Marie Moureaux, Michel Dufaut, Jacques Hubert, Manuela Perez 2010. SUBJECTIVE MPEG2 COMPRESSED VIDEO QUALITY ASSESSMENT: APPLICATION TO
TELE-SURGERY , http://www.biomedicalimaging.org/Papers/viewpapers.asp?papernum=1729
Logiciels Matlab / Simulink, Scilab/Scicos, Labview, Catia, Dev-C++, Visual C++, Eclipse, CPN Tools
Traitement du signal Théorie du signal et de l’information, théorie de l’estimation, problèmes inverses, traitement des images (segmentation, recalage), maillages surfaciques, compression avec et sans perte,
tatouage, quantification vectorielle, analyse de Fourier, théorie des ondelettes, codes correcteurs d’erreur
Compression Vidéo MPEG2, H.264 (x264, JM Software, VLC)
Réseaux Evaluation des performances (chaînes de Markov, files d’attente), couche physique des réseaux (propagation des signaux : fibre optique), protocoles de communication (TCP/IP, modèle OSI), protocoles de
routage, IPv6, sécurité des réseaux et des systèmes
73 sur 100
08/04/2015 13:20
Monsieur Shahram NOURIZADEH
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Ye Qiong SONG, M. Jean-Pierre THOMESSE
Sujet de thèse :
Un système de télésanté contextuel avec support de qualité de service pour le maintien à domicile
école temps réel Nantes septembre 2007 - 2007
Conférence JFIM 2009 - 2008
Ecole réseaux de capteurs Tunisie Décembre 2009 - 2009
FLE - 2009
Formation RFID - 2009
Shahram Nourizadeh Y.Q. Song J.P. Thomesse 2011. CodaQ – A Context-aware and QoS-aware Middleware for Activity Monitoring ICOST2011
Shahram Nourizadeh C. Deroussent 2011. Maisons Vill’Âge®: Smart Use of Home Automation Sensor and Actuator Networks for Healthy Aging ICOST2011
Shahram Nourizadeh Y.Q. Song J.P. Thomesse C. Deroussent 2010. A Context-aware Tele-homecare System for Senior Citizens MedeTel 2010
Shahram Nourizadeh Y.Q. Song J.P. Thomesse 2009. An Adaptive Hierarchical Routing Protocol for Wireless Ad-hoc Sensor Networks NGMAST'09
Shahram Nourizadeh Y.Q. Song J.P. Thomesse 2009. A Failure Adapted, Load-balanced Distributed Routing for Wireless Ad-hoc Sensor Networks - a Fuzzy Logic based approach IEEE EUC-2009
Shahram Nourizadeh Y.Q. Song J.P. Thomesse 2009. A Distributed Fuzzy-based Failure Management for Wireless Sensor Networks CTRQ2009
Shahram Nourizadeh Y.Q. Song J.P. Thomesse C. Deroussent 2009. Medical and Home automation Sensor Networks for Senior Citizens Telehomecare IEEE ICC MAN’2009
Shahram Nourizadeh Y.Q. Song J.P. Thomesse C. Deroussent 2009. A Distributed Elderly Healthcare System MobiHealth2009
Shahram Nourizadeh Y.Q. Song J.P. Thomesse X. Sepulchre 2009. Un Système Distribué de Télémédecine pour Les Seniors SFTAG09
Shahram Nourizadeh Y.Q. Song J.P. Thomesse 2007. A Location-Unaware Distributed Clustering Algorithm for Mobile Wireless Sensor Networks Using Fuzzy Logic FET2007
Hugo Cruz Shahram Nourizadeh Y.Q. Song 2011. MPIGate : Multi Protocol Interface and Gateway MedeTel 2011
Conception de l’architecture logicielle et Intergiciel
Workflow - la modélisation et la gestion informatique appliqué en Télésanté
Conception d'algorithmes et applications
Gestion de projet Télésanté et Télésoins à domicile
Implémentation et intégration de solutions Télésanté et Télésoins à domicile
Développement logiciel (C + +, C #, Java, ASP. NET)
Développement logiciel embarqué pour les réseaux de capteurs (TinyOS, NesC, Contiki)
Conception de l’architecture bases de données (SQL, MySQL)
« Smart home » et les systèmes domotiques (KNX, IHC, InOne)
Université de Sherbrooke - Québec
Enseignements
Telehomecare and wireless sensor networks Plug & play smart sensor network for telehomecare
74 sur 100
08/04/2015 13:20
Monsieur Nicolas NOURY
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Marie-Odile BERGER, M. Frédéric SUR
Sujet de thèse :
Mise en correspondance A Contrario de points d'intérêt sous contraintes géométrique et photométrique
I-PRIM - 3.10 Modèles et systèmes multi-agents - 2010
I-PRIM - 3.7 Reconnaissance de la parole - 2010
I-PRIM 3.4 Algorithmes géométriques et robustesse - 2010
I-SDR-3-6 Grilles informatique et algorithmique distribuée avancée - 2010
iaem anglais 2 communication scientifique en anglais - 2010
Nicolas Noury, Frédéric Sur, Marie-Odile Berger 2007. Modèles statistiques pour l’estimation de la matrice fondamentale ORASIS, congrès francophone des jeunes chercheurs en vision par ordinateur
Nicolas Noury, Frédéric Sur, Marie-Odile Berger 2007. Fundamental matrix estimation without prior match IEEE International Conference on Image Processing (ICIP) , Volume 1, Page(s):I - 513 - I - 516,
http://dx.doi.org/10.1109/ICIP.2007.4379004
Frédéric Sur, Nicolas Noury, Marie-Odile Berger 2008. Computing the uncertainty of the 8 point algorithm for fundamental matrix estimation British Machine Vision Conference (BMVC) , vol. 2, p. 965-974,
http://www.comp.leeds.ac.uk/bmvc2008/proceedings/papers/269.pdf
Evren Imre, Marie-Odile Berger, Nicolas Noury 2009. Improved Inverse-Depth Parameterization for Monocular Simultaneous Localization and Mapping IEEE International Conference on Robotics and
Automation (ICRA)
Nicolas Noury, Frédéric Sur, Marie-Odile Berger. 2010. Modèle a contrario pour la mise en correspondance robuste sous contraintes épipolaires et photométriques Reconnaissance de Formes et Intelligence
Artificielle (RFIA)
N. Noury, F. Sur, M.-O. Berger. 2010. How to overcome perceptual aliasing in ASIFT? Proceeding of the International Symposium on Visual Computing (ISVC)
75 sur 100
08/04/2015 13:20
Monsieur Novak NOVAKOVIC
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
François LAMARCHE
Sujet de thèse :
Sémantique algébrique des ressources pour la logique classique
76 sur 100
08/04/2015 13:20
Madame Fausat Bolanle Bolanle OLADEJO
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Amos DAVID
Sujet de thèse :
La Capitalisation de Connaissances Orientée Utilisateur dans le Contexte de l'Intelligence économique
Software Engineering
Information System modelling, Networking
77 sur 100
08/04/2015 13:20
Monsieur Siyamak PORKAR KOUMLEH
Docteur 2011
Doctorat :
Génie Electrique
Ecole doctorale :
Etablissement :
Encadrement :
Shahrokh SAADATE
Sujet de thèse :
Planification technico-économique de la production décentralisée raccordée aux réseaux de distribution
S. Porkar, P. Poure, A. Abbaspour-Tehrani-fard, S. Saadate 2009. A Novel Optimal Distribution System Planning Framework Implementing Distributed Generation in a Deregulated Electricity Market Elsevier
Electric Power Systems Research (EPSR) , available online 21 Jan. 2010
S. Porkar, A. Abbaspour-Tehrani-fard, P. Poure, S. Saadate 2009. Multistage Model for Distribution Expansion Planning With Distributed Generation in a Deregulated Electricity Market Iranian Journal of
Science and Technology (IJST)
S. Porkar, P. Poure, A. Abbaspour-Tehrani-fard, S. Saadate 2009. Distributed Generation Planning for Losses, Voltage Profile, Line Congestion and Total System Cost Improvement International Review of
Electrical Engineering (IREE) , Vol 4, No. 3, pp. 434-440
S. Porkar, G. B. Gharehpetian, K. Feser 2004. A Disc-to Disc Breakdown and Arc Modelling Method for Fault Diagnosis of Power Transformers During Impulse Test Journal of Electrical Engineering,
Springer Publication , Vol. 86, No. 5, 2004, pp. 261-265
B. Porkar, S. Porkar, B. Vahidi 2003. Methods of Magnetic Field Reduction Around Transmission Lines Amirkabir Journal of Science & Technology , Vol. 14, No. 55-1, Summer 2003
S. Porkar, A. Abbaspour-Tehrani-fard, S. Saadate 2007. An Approach to Distribution System Planning by Implementing Distributed Generation in a Deregulated Electricity Market Power Engineering, IEEE
Large Engineering Systems Conference , 0-12 Oct. 2007, pp:90 – 95, Montreal, Québec.
S. Porkar, P. Poure, S. Saadate, A. Abbaspour-Tehrani-fard 2009. A Novel Soft-Switching Seven-Level Converter Topology with Self-Voltage Balancing Ability IEEE AFRICON 2009 , 23 - 26 September
2009, Nairobi, Kenya (CD-ROM).
S. Porkar, M. Fotuhi-Firuzabad, A. Abbaspour-Tehrani, B. Porkar 2006. An Approach to Determine Spinning Reserve Requirements in a Deregulated Electricity Market 2006 IEEE Power System Conference
and Exposition IEEE-PSCE/2006 , October 29-November 1, 2006, pp. 1341-1344, Atlanta, Georgia, USA.
B. Porkar, S. Porkar, A. Naderian 2003. Calculation of Transient Electromagnetic Field around a Transmission Line Subjected to Lightning Strokes IEEE Power Engineering Society General Meeting , 13-17
July 2003, Toronto, Ontario Canada
78 sur 100
08/04/2015 13:20
Monsieur Alexandre REY ALCANTARA
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Moulay Tahar BENAMEUR
Sujet de thèse :
Théorie de l'indice et géometrie basique d'un feuilletage riemannien
Cours
Cours de Master 2 Géométrie Non Commutative - 2007 - 20 heures
- 2007
Service monitorat - 2007
Séminaires
Groupe de travail Géométrie Non Commutative - 2007 - 50 heures
Moulay-Tahar benameur Alexandre rey alcantara 2011. La signature basique est invariant d'homotopie feuilletée CRAS , 6 pages, inconnu
Colloque du GDRE à Vietri sul Mare (Italie)
79 sur 100
08/04/2015 13:20
Monsieur Cristian Daniel ROSA
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Stephan MERZ
Sujet de thèse :
Évaluation de la Performance et de la Correction de Systèmes Distribués
Summer School 2010: Verification Technology, Systems & Applications - 2010
Formations transversales
UPMARC Summer School on Multicore Computing - 2010 - 20 heures
FLE 1 - 2009
FLE 2 - 2009
Cristian ROSA, Martin QUINSON, and Stephan MERZ 2010. A Simple Model of Communication APIs -- Application to Dynamic Partial-order Reduction 10th International Workshop on Automated
Verification of Critical Systems -- AVOCS 2010 , Pages 137-151
ROSA Cristian, MERZ Stephan, and QUINSON Martin 2011. SimGrid MC: Verification Support for a Multi-API Simulation Platform 31th Formal Techniques for Networked and Distributed Systems -FORTE 2011
ROSA Cristian and LUNA Carlos 2009. Análisis Formal del Estándar NIST para Modelos RBAC V Congreso Iberoamericano de Seguridad Informática -- CIBSI '09 , Pages 250-269
80 sur 100
08/04/2015 13:20
Monsieur Cédric ROSE
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
François CHARPILLET
Sujet de thèse :
Modélisation stochastique pour le raisonnement médical et ses applications à la télémédecine
Doctoriales Lorraine 2006 - 2006
Module
Perception de la structure et du mouvement - 2006
Reconnaissance automatique de la parole - 2006
Réseaux neuronaux – Architectures et algorithmes - 2006
Théorie de la sécurité - 2006
0. A Dynamic Bayesian Network for Handling Uncertainty in a Decision Support System Adapted to the Monitoring of Patients Treated by Hemodialysis. Cédric Rose, Cherif Smaili and François Charpillet 17th
IEEE International Conference on Tools with Artificial Intelligence - ICTAI'05 A Decision Support System for the Monitoring of Patients Treated by Hemodialysis Based on a Bayesian Network. Cherif Smaili,
Cédric Rose and François Charpillet. 3rd European Medical & Biological Engineering Conference - EMBEC'05 A Multi-HMM Approach to ECG Segmentation”, J. Thomas, C. Rose, F. Charpillet, in :18th IEEE
International Conference on Tools with Artificial Intel ligence - ICTAI’06, 13/11/2006, Washington D.C., 2006 A Support System for ECG Segmentation Based on Hidden Markov Models, J. Thomas, C. Rose, F.
Charpillet, in : 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 23-26, 2007, Cité Internationale, Lyon, France, IEEE, p. 4 pages, Lyon, France, 2007.
Factored Interval Particle Filtering for Gait Analysis, Jamal Saboune, Cédric Rose and François Charpillet, in IEEE Engineering in Medicine and Biology Conference, Lyon 2007 A Support System for ECG
Analysis Based on Hidden Markov Models, J. Thomas , C. Rose , F. Charpillet , Julien Thomas, Cédric Rose and François Charpillet, accepted in IEEE Engineering in Medicine and Biology Conference, Lyon 2007.
Reducing Particle Filtering Complexity for 3D Motion Capture using Dynamic Bayesian Networks, C. Rose, J. Saboune, F. Charpillet in proceeding of Twenty-Third AAAI Conference on Artificial Intelligence
(AAAI-08) to be held July 13 – 17, 2008 in Chicago, Illinois, USA. Multi-sensor fusion for mono and multi-vehicle localization using Bayesian network. Smaili C., Charpillet F., El Badaoui El Najjar M., Rose C.
Dans Tools in Artificial Intelligence, IN-TEH (Ed.) (2008) Apprentissage d'une discrétisation pour construire une politique à partir d'exemples Cédric Rose and François Charpillet. Journées Francophones
Planification Décision Apprentissage (JFPDA 2009) Apport d'un système expert dans la définition du poids sec Jacques Chanliau, Cédric Rose, Luis Vega and François Charpillet. 35ème Séminaire d'UroNéphrologie (2009) Automatic Evaluation of Vascular Access in Hemodialysis Patients Rose Cédric
81 sur 100
08/04/2015 13:20
Monsieur Cody Daniel ROUX
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Claude KIRCHNER
Sujet de thèse :
Terminaison a base de tailles: semantique et generalisations
Ecole Jeunes Chercheurs en Programmation - 2007
Cryptographie et sécurité informatique Véronique CORTIER - 2008
Doctoriales de Lorraine - 2008
Procedure de decision et verification des programmes - 2008
Frederic Blanqui, Cody Roux 2009. On the relation between sized-types based termination and semantic labelling EACSL Annual Conference on Computer Science Logic , Volume: 18 Pages:147-162,
http://hal.inria.fr/docs/00/39/76/89/PDF/main.pdf
Cody Roux 2008. Types Simples, Logique et Coercions Implicites Journées Francophones des Langages Applicatifs , Volume: 19 Pages: 79-90, http://hal.inria.fr/docs/00/20/28/24/PDF/roux.pdf
Programmation Haskell, CaML, notions de C, C++, Java. Utilisation du logiciel de specifications et preuves Coq. Notions d'algebre effective, calcul symbolique, analyse numerique.
Chine
Enseignements
Université Henri Poincaré : 10 heures IUT Nancy-Charlemagne: 30 heures
82 sur 100
08/04/2015 13:20
Madame Marie Claire Emma Vilwendé SAWADOGO
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Didier ANCIAUX
Sujet de thèse :
Intégration et optimisation de l'impact environnemental, sociétal et économique du transport intermodal au sein des chaînes logistiques vertes
Approches innovantes d'analyse, de modélisation et d'évaluation des produits, des systèmes de production et des services associés - 2008
Développer ses capacités à communiquer et à manager - 2010 - 30 heures
Ecole des journées doctorales du gdr macs - 2010 - 24 heures
Ecole thématique 'Approches innovantes d'analyse, de modélisation et d'évaluation des produits, des systèmes de production et des services associés' - 2008
Sawadogo Marie et Anciaux Didier 2011. Intermodal transportation within the green supply chain: an approach based on ELECTRE method Int. J. Business Performance and Supply Chain Modelling , Vol. 3,
No. 1 pp.43–65. , http://www.inderscience.com/search/index.php?mainAction=search&action=record&rec_id=39973&prevQuery=&ps=10&m=or
Marie SAWADOGO et Didier ANCIAUX 2010. Ant colony optimization applied to Intermodal Multiobjective Shortest path problem within green supply chain Int. J. Production Economics
2011. Sustainable supply chain by intermodal itinerary planning: a multiobjective ant colony approach International Journal of Agile Systems and Management (IJASM)
2011. MOSPACO: An ant colony Optimization approach for multiobjective multimodal shortest path within the green supply chain Applied soft computing
83 sur 100
08/04/2015 13:20
Madame Erica Leticia SCHWINDT
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Takéo TAKAHASHI
Sujet de thèse :
Problèmes d'interaction entre un Fluide Newtonien Incompressible et une Structure
Anglais - 2007 - 60 heures
Francais - 2008 - 20 heures
Analyse - 2007 - 90 heures
Méthodes d'analyse non linéaire - 2008 - 90 heures
M. Boulakia, E. Schwindt, T. Takahashi 2011. Existence of Strong Solutions for the Motion of an Elastic Structure in an Incompressible Viscous Fluid Interfaces and Free Boundaries
C. Conca, E. Schwindt, T. Takahashi 2011. On the identifiability of a rigid body moving in a stationary viscous fluid Inverse Problems
84 sur 100
08/04/2015 13:20
Monsieur AHMED EID MOUSSA SHAHIN
Docteur 2011
Doctorat :
Génie Electrique
Ecole doctorale :
Etablissement :
Encadrement :
Serge PIERFEDERICI, M. Jean Philippe MARTIN
Sujet de thèse :
CONTRIBUTION A L’OPTIMISATION DES STRUCTURES DE CONVERSION DC/DC NON ISOLÉES
Commande des Actionneurs - 2008 - 20 heures
Synthèse des structures des convertisseurs statiques - 2008 - 20 heures
Communication Scientifique en Anglais - 2007 - 30 heures
anglais - 2008 - 20 heures
Module Obligatoire
Commande par DSP des Convertisseurs Statiques - 2008 - 20 heures
Huang Bin; Shahin Ahmed ; Martin Jean-Philippe; Pierfederici Serge; Davat Bernard. 2008. High voltage ratio non-isolated DC-DC converter for fuel cell power source applications Power Electronics
Specialists Conference, 2008. PESC 2008. IEEE , 1277 - 1283 , http://ieeexplore.ieee.org/Xplore/login.jsp?url=http%3A%2F
%2Fieeexplore.ieee.org%2Fiel5%2F4578427%2F4591876%2F04592107.pdf%3Farnumber%3D4592107&authDecision=-201
Shahin Ahmed; Gavagsaz-Ghoachani Roghayeh; Martin Jean-Philippe ; Pierfederici Serge ; Davat Bernard ; Meibody-Tabar Farid ; 2009. New method to cancel hf current undulations generated by
DC/DC converter : Energy Conversion Congress and Exposition, 2009. ECCE 2009. IEEE , 2847 - 2853 , http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=5316398&
queryText%3Dshahin+pierfederici%26openedRefinements%3D*%26searchField%3DSearch+All
Shahin Ahmed ; Hinaje Melika; Martin Jean-Philippe ; Pierfederici, Serge ; Rael Stéphane ; Davat, Bernard 2010. High Voltage Ratio DC-DC Converter for Fuel Cell Applications IEEE Transactions on
Industrial Electronics, , Issue:99 , http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=5437254&queryText%3Dshahin+pierfederici%26openedRefinements%3D*%26searchField%3DSearch+All
Shahin Ahmed; Huang Bin; Martin Jean-Philippe; Pierfederici Serge; Bernard Davat 2010. New non-linear control strategy for non-isolated DC/DC converter with high voltage ratio Energy Conversion and
Management journal , Volume 51, Issue 1, January 2010, Pages 56-63 , http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V2P-4XC3X1S-1-N&_cdi=5708&_user=4898261&
_pii=S0196890409003318&_orig=search&_coverDate=01%2F31%2F2010&_sk=999489998&view=c&wchp=dGLzVzz-zSkWA&md5=7dcf0be23332f50c54af0f91473ab2ec&ie=/sdarticle
Shahin Ahmed; Payman Alireza; Martin Jean-Philippe; Pierfederici Serge ; Meibody-Tabar Farid 2010. Approximate novel loss formulae estimation for optimization of power controller of DC/DC converter
IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society , 7-10 Novembre- 2010 , 373-378, http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=5674999&
queryText%3Dshahin+pierfederici%26openedRefinements%3D*%26searchField%3DSearch+All
Shahin, A. Gavagsaz-Ghoachani, R. MARTIN, J. Pierfederci, S. DAVAT, B. Meibody-Tabar, F. 2011. NEW METHOD TO FILTER HF CURRENT RIPPLES GENERATED BY CURRENT FED DC/DC
CONVERTERS revue , Issue:99 , http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=5740985&queryText%3DShahin%2C+A.%3B+Gavagsaz-Ghoachani
%2C%26openedRefinements%3D*%26searchField%3DSearch+All
Dspace Contrôle
électroniques de Puissance
Système Photovoltaïque
Design de Système de Contrôle
Basic Electronics
Electric Circuits Basics
Power Electronics
Information Technology
Electrical Machines
Power Electronics
85 sur 100
08/04/2015 13:20
Monsieur Julien SIEBERT
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Vincent CHEVRIER
Sujet de thèse :
Modélisation et simulation multi-agents pour l'évaluation et le contrôle des réseaux dynamiques, ambiants, autonomes et de leurs applications
analyse comportementale (master 1 et master 2 sciences cognitives) - 2000
parallélisme et grilles informatiques (master 2 info) - 2007
Sécurité des réseaux (Master 2 Info UHP) - 2000
réseaux pair-à-pair - 2007
École d'été RESCOM 2008 - 2007
École d'été Europea Agents Systems Summer School (EASSS 2009) - 2008
Leclerc Tom; Siebert Julien; Chevrier Vincent; Ciarletta Laurent; Festor Olivier 2010. Multi-modeling and co-simulation-based mobile ubiquitous protocols and services development and assessment 7th
International ICST Conference on Mobile and Ubiquitous Systems - Mobiquitous 2010 , http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
%28%27ART_ACL%27,%27ART_SCL%27,%27COMM_ACT%27,%27COMM_SACT%27,%27CONF_INV%27,%27COURS%27,%27COVS%27,%27DOUV%27,%27HDR%27,%27MEM%27,%27OTHER
2010. Impact des dimensions spatiale et temporelle dans la modélisation d'un phénomène collectif de type « free-riding » 18èmes Journées Francophones des Systèmes Multi-Agents - JFSMA'10 , Navarrete
Gutierrez Tomas; Siebert Julien; Ciarletta Laurent; Chevrier Vincent, Navarrete Gutierrez Tomas; Siebert Julien; Ciarletta Laurent; Chevrier Vincent
Siebert Julien; Ciarletta Laurent; Chevrier Vincent 2010. Agents and artefacts for multiple models co-evolution. Building complex system simulation as a set of interacting models Autonomous Agents and
Multiagent Systems - AAMAS 2010 , http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
Siebert Julien; Ciarletta Laurent; Chevrier Vincent 2010. Agents and Artefacts for Multiple Models coordination. Objective and decentralized coordination of simulators. 25th Symposium on Applied
Computing - SAC 2010 , http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
Siebert Julien; Ciarletta Laurent; Chevrier Vincent 2009. De l'intérêt du couplage de modèles pour appréhender les interactions utilisateurs-réseaux dynamiques. Revue d'Intelligence Artificielle ,
http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
Siebert Julien; Rehm Joris; Chevrier Vincent; Ciarletta Laurent; Méry Dominique 2009. AA4MM coordination model and event-B specification Rapport de recherche INRIA , http://haltools.inrialpes.fr
/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
Siebert Julien; Ciarletta Laurent; Chevrier Vincent 2008. Impact du comportement des utilisateurs dans les réseaux pair-à-pair (P2P) : modélisation et simulation multi-agents 16es Journées Francophones des
Systèmes Multi-Agents - JFSMA'08, , http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
Siebert Julien; Chevrier Vincent; Ciarletta Laurent 2008. Entwined influences of users'behaviour and QoS: a multi-model approach. Second International Conference on Autonomous Infrastructure,
Management and Security - AIMS 2008, , http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
Siebert Julien; Chevrier Vincent; Ciarletta Laurent 2008. Modélisation multimodèle des réseaux dynamiques : cas des réseaux pair-à-pair 9èmes Journées Doctorales en Informatique et Réseaux ,
http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Julien,%20Siebert&labos_exp=maia&typdoc=
86 sur 100
08/04/2015 13:20
Monsieur Neeraj Kumar SINGH
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Dominique MERY
Sujet de thèse :
Fiabilité et Sûreté des Systèmes Informatiques Critiques
Connaissance du monde de l’entreprise
Industrial Internship-2 months - 2010
Procédures de décision pour la vérification de programmes - 2008 - 15 heures
VSTA Summer school - 2009 - 40 heures
LaTex Course - 2008 - 20 heures
FLE 1 - 2009
FLE 2 - 2009
Dominique Mery and Neeraj Kumar Singh 2011. Functional Behavior of a Cardiac Pacing System International Journal of Discrete Event Control Systems (IJDECS) , International Journal of Discrete Event
Control Systems
Dominique Méry and Neeraj Kumar Singh 2010. Trustable Formal Specification for Software Certification LNCS, Springer , 10, http://dx.doi.org/10.1007/978-3-642-16561-0_31
Dominique Méry and Neeraj Kumar Singh 2010. Real-Time Animation for Formal Specification , 10, http://www.springerlink.com/content/x7006834n0122h1h/
Dominique Méry and Neeraj Kumar Singh 2010. EB2C : A Tool for Event-B to C Conversion Support , 9, http://www.sefm2010.isti.cnr.it
Dominique Méry and Neeraj Kumar Singh 2009. Pacemaker's Functional Behaviors in Event-B , http://hal.inria.fr/inria-00419973/en/
Dominique Méry and Neeraj Kumar Singh 2010. Technical Report on Formal Development of Two-Electrode Cardiac Pacing System , http://hal.archives-ouvertes.fr/inria-00465061/en/
Dominique Méry and Neeraj Kumar Singh 2011. A Generic Framework: from Modeling to Code Innovations in Systems and Software Engineering, Springer , http://www.infj.ulst.ac.uk/~ease/isse/
Dominique Méry and Neeraj Kumar Singh 2011. Formal Specification of Medical Systems by Proof-Based Refinement , http://www.acm.org/
Dominique Méry and Neeraj Kumar Singh 2011. Medical Protocol Diagnosis using Formal Methods , http://www.iist.unu.edu/ICTAC/FHIES2011/
Dominique Méry and Neeraj Kumar Singh 2011. Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata , http://www.iist.unu.edu/ICTAC/FHIES2011/
Dominique Méry and Neeraj Kumar Singh 2011. EB2J : Code Generation from Event-B to Java , http://www.each.usp.br/cbsoft2011/ingles/sbmf/sbmf_en.html
Dominique Méry and Neeraj Kumar Singh 2011. Formal Development and Automatic Code Generation : Cardiac Pacemaker , http://www.sit-association.org/iccate2011/index.htm
Dominique Méry and Neeraj Kumar Singh 2011. Analysis of DSR protocol in Event-B , http://www.jaist.ac.jp/sss2011/
Dominique Méry and Neeraj Kumar Singh 2011. Automatic Code Generation from Event-B Models , http://soict.hut.edu.vn/~soict2011/information.php
Dominique Méry and Neeraj Kumar Singh 2011. Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata ,
http://hal.inria.fr/
Dominique Méry and Neeraj Kumar Singh 2011. Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods , http://hal.inria.fr/
Neeraj Kumar Singh 2011. Fiabilité et sûreté des systèmes informatiques critiques (Reliability and Safety of Critical Device Software Systems) Thèse , 11, http://www.scd.uhp-nancy.fr/docnum
/SCD_T_2011_0129_SINGH.pdf
87 sur 100
08/04/2015 13:20
Monsieur Hatem SIOUD
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Nidhal REZG, M. Alexandre SAVA
Sujet de thèse :
Sur la commande non bloquante des systèmes à événements discrets modélisables par graphe d’événements
Communication en Anglais - 2010
Méthodes et outils de l'ingénierie intégrée - 2010
Ecole thématique analyse modélisation innovation de performances et coordination INRIA LGIPM - 2011
H. SIOUD, Z. ACHOUR, A. SAVA et N. REZG 2009. Deadlock freeness supervisor for marked graph BULLETIN OF THE POLISH ACADEMY OF SCIENCES TECHNICAL SCIENCES , Vol. 57, No. 3, 200
pages 281-288, http://www.ippt.gov.pl/~bulletin/(57-3)281.pdf
Hatem SIOUD, Zied ACHOUR , Alexandre SAVA et Nidhal REZG 2009. Deadlock freeness supervisor for marked graph IFAC Intelligent Manufacturing Systems 2009 , Volume # 9 | Part# 1, http://www.ifacpapersonline.net/Detailed/42418.html
H. SIOUD, A. SAVA, Z. ACHOUR, N. REZG 2010. Deadlock free Control Synthesis for Partially Controllable Marked Graphs 12th IFAC Symposium on Large Scale Complex Systems Theory and Applications,
2010 , http://lss2010.ulbsibiu.ro/
Langages de programmation: C++, Java
Base de données : Access, Oracle (notion)
Conception (CAO) : Modaris, Solidworks, AutoCAD
Logiciel de simulation : Matlab Simulink ; (réseau de Petri ): Tina, HPsim,
88 sur 100
08/04/2015 13:20
Monsieur SIMON TAMAYO GIRALDO
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Nathalie SAUER, M. Thibaud MONTEIRO
Sujet de thèse :
Exploitation des informations de traçabilité pour l'amélioration des choix en production et en logistique
Systèmes à événements discrets du master Génie Electrique et informatique industrielle spécialité Automatique industrielle et humaine - 2008
Journées doctorales MACS 19 au 21 mars 2009 ANGERS - 2009 - 20 heures
Management social et humain de la spécialité Génie des sytèmes industriels du master Sciences pour l'Ingénieur - 2010
Tamayo, Simon Monteiro, Thibaud Sauer, Nathalie 2009. Deliveries optimization by exploiting production traceability information Engineering Applications of Artificial Intelligence , 22, 4-5, p.557-568
Tamayo, Simon Monteiro, Thibaud Sauer, Nathalie 2009. Dispersion optimisation using a genetic algorithm International Journal of Advanced Operations Management , 1, p.267-285
Algorithmics and applied mathematics
Programming and developing applications
Design
Highly creative, capable of directing projects, team worker, disciplined student, responsible, respectful, analytic and quick.
Los Angeles (USA, 1994)
89 sur 100
08/04/2015 13:20
Monsieur Bertrand THIERRY
Docteur 2011
Doctorat :
Mathématiques
Ecole doctorale :
Etablissement :
Encadrement :
Xavier ANTOINE, Karim RAMDANI
Sujet de thèse :
Analyse et Simulations Numériques du Retournement Temporel et de la Diffraction Multiple
Monitorat - 2007
Ecole d'automne Mathematics of photonic crystal - 2008
Cours de master 2 recherche : Introduction au contrôle des systèmes dynamiques - 2009
X. Antoine, B. Pinçon, K. Ramdani et B. Thierry 2008. Far field modeling of electromagnetic time reversal and application to selective focusing on small scatterers SIAM J. Appl. Math. , Volume 69, pages 830
- 844
90 sur 100
08/04/2015 13:20
Monsieur Duc Quynh TRAN
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Hoai-An LE THI
Sujet de thèse :
Optimisation non convexe en finance et en gestion de production: modèles et méthodes
Laboratoire de thèse : LITA - Laboratoire D'Informatique Théorique et Appliquée - EA 3097
Algorithmes sur les graphes - 2008 - 30 heures
Modélisation et Technique d'optimisation globale - 2008 - 30 heures
Resolution de systèmes de grandes tailles - 2008 - 15 heures
Français - 2008 - 48 heures
Le Thi Hoai An, Tran Duc Quynh 2011. Solving continuous min max problem for single period portfolio selection with discrete constraints by DCA Optimization
Tran Duc Quynh, Le Thi Hoai An, Kondo Hloindo Adjallah 2010. DCA for minimizing the cost and tardiness of preventive maintenance tasks under real-time allocation constraint LNCS , Volume 5991, pp
410-419
Tran Duc Quynh, Le Thi Hoai An 2011. A fast and scalable algorithm for a multi-stage manufacturing problem , in the proceeding of the conference IESM 2011 , 10 pages
Le Thi Hoai An, Tran Duc Quynh 2010. Transfer prices for two-enterprise supply chain optimization by DCA in the proceeding of the internet conference IPROMS 2010, 15-26 November 2010 , 6 pages
Le Thi Hoai An, Tran Duc Quynh, Kondo Hloindo Adjallah 2011. Minimization of preventive maintenance cost with unequal release dates and tardiness penalties, under realtime and resource constraints, using
DCA, submitted to Applied Mathematics & Computation.
Le Thi Hoai An, Pham Dinh Tao, Tran Duc Quynh 2011. Optimizing a multi-stage production/inventory system with bottleneck by DC programming based approaches, submitted to IEEE-SMC
Le Thi Hoai An, Tran Duc Quynh 2011. A DC Programming approach for multi-period problem of fair transfer prices and inventory holding policies in two-enterprise supply chains submitted to Computer &
Operation Research.
Le Thi Hoai An, Tran Duc Quynh, Pham Dinh Tao 2011. A DC programming approach for a class of bilevel programming problems and application in portfolio selection, submitted to Numerical Algebra,
Control and Optimization (NACO).
Programmer avec C++, Matlab, CPlex, AMPL
Utiliser Latex, Cplex, OFfice
91 sur 100
08/04/2015 13:20
Monsieur Nicolas VELLY
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Génie Electrique
Farid MEIBODY TABAR, M. Noureddine TAKORABET
CONTRIBUTION A L’ETUDE DE MACHINES MULTI-ENROULEMENTS POUR L’AERONAUTIQUE : MACHINE SYNCHRONE A AIMANTS PERMANENTS POUR LA TOLERANCE
AUX DEFAUTS MACHINE ASYNCHRONE POUR LA TRACTION
Laboratoire de
GREEN - Groupe de Recherche en Electrotechnique et Electronique de Nancy - EA 4366
thèse :
Date de soutenance
6 avril 2011
:
Module Métrologie avancée thermique et fluide - 2008 - 20 heures
Module pour doctorants Communication scientifique en Anglais - 2008 - 30 heures
N.Velly, N.Takorabet, F Meiboby-Tabar, P.Y Liégeois, 2009. “Magnetic Forces Calculation in Surface PM Motors with Asymmetric Stator Windings for Avionic Applications” IEEE International Electric
Machines and Drives Conference IEMDC 2009 , pp1134-1139
Velly, N. Takorabet, N. Meibody-Tabar, F. Liegeois, P.Y. Nierlich, F. Leynaert, F.N. Humbert, G. , 2009. “Double channel PM motor for avionic applications: impact of winding topologies” Energy Conversion
Congress and Exposition, 2009. ECCE 2009. IEEE , pp 2387 – 2394
N.Velly, N.Takorabet, F Meiboby-Tabar, P.Y Liégeois, 2009. Estimation de la résultante des forces agissant sur le rotor de MSAP à bobinage concentrique dans le cadre d’application aéronautiques Conference
EF 2009 (Compiègne France)
moteurs synchrones à aimants, topologie de bobinage, tolérance
aux défauts, optimisation, machines asynchrones, machines à coefficient de couple variable,
étude du couplage capacitif haute fréquence dans les bobinages
Matlab : Calculs numériques
Mathématica : Calculs numériques et
symboliques
FEMM, Flux2D
COMSOL
92 sur 100
08/04/2015 13:20
Monsieur Andrés VéJAR
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Patrick CHARPENTIER
Sujet de thèse :
Génération de modèles de simulation adaptatifs, pilotée par les trajectoires produits
French Complex Systems Summer School - 2008
TeX un outil typographique pou le chercheur - 2008 - 20 heures
CAFOL - 2009 - 24 heures
EVOLUTION ARTIFICIELLE : ENJEUX THEORIQUES ET APPLICATIFS Code : 0820108 - 2009
Pedro Palominos, Victor Parada, Gustavo Gatica, Andrés Véjar 2011. Marriage in Honeybee Optimization to Scheduling Problems Hybrid Algorithms for Service, Computing and Manufacturing Systems:
Routing and Scheduling Solutions, J. R. Montoya-Torres, A. A. Juan, L. Huaccho, J. Faulin, G. Rodriguez-Verjan (Ed.) (2011) Chapter 8 , IGI GLOBAL , Chapter 8, http://hal.archives-ouvertes.fr/hal-00605820/fr/
Andrés Véjar, Patrick Charpentier 2011. Generation of an adaptive simulation driven by product trajectories Journal of Intelligent Manufacturing (2011) , http://hal.archives-ouvertes.fr/hal-00567451/fr/
Andrés Véjar, Fréderic Chaxel, Jean-Yves Bron, Patrick Charpentier 2009. Génération automatique de modèle de simulation par les données de localisation des produits 6ème Conférence Internationale
Conception et Production Integrées, CPI'2009, Fès : Maroc (2009) , http://hal.archives-ouvertes.fr/hal-00609816/fr/
Chaxel F., Véjar A., Charpentier P. 2009. IGMoCom : Intelligence Géolocalisée MObile & COMmunicante 6ème Conférence Internationale Conception et Production Integrées, CPI'2009 , http://hal.archivesouvertes.fr/hal-00427869/fr/
Véjar A., Gómez-Castaño I. 2009. Reparation as an emergent process in metabolic networks European Conference on Complex Systems, ECCS09. Satellite Meeting EmergeNET3: Emergence and Networks,
Royaume-Uni (2009) , http://hal.archives-ouvertes.fr/hal-00421581/fr/
Zanin M., Véjar A. 2009. The emergence of transportation networks European Conference on Complex Systems, ECCS09. Satellite Meeting EmergeNET3: Emergence and Networks, Royaume-Uni (2009) ,
Véjar A., Charpentier P. 2009. Génération automatique de code de simulation via l'information de localisation des produits 8ème Congrès International de Génie Industriel, CIGI'09, France (2009) ,
Andrés Véjar, Patrick Charpentier 2009. Automatic generation of simulation code using product location information 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2009,
Russie (2009) , http://hal.archives-ouvertes.fr/hal-00401795/fr/
Andrés Véjar, Patrick Charpentier 2009. Générateur de code de simulation à partir de l'information de localisation du produit 3èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS 2009,
Angers : France (2009) , http://hal.archives-ouvertes.fr/hal-00360270/fr/
Andrés Véjar, Patrick Charpentier 2009. Construction d'un modèle de simulation par le biais de données de localisation des produits 10ème Congrès de la Société Française de Recherche Opérationnelle et
d'Aide à la Décision, ROADEF'09, Nancy : France (2009) , http://hal.archives-ouvertes.fr/hal-00361823/fr/
93 sur 100
08/04/2015 13:20
Monsieur Gerard WAGENER
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
Encadrement :
Olivier FESTOR, M. Thomas ENGEL
Sujet de thèse :
Pots de miels adaptatifs afin d'étudier le comportement des attaquants
High-interaction Honeypot Operation - 2008 - 60 heures
Development of embedded systems based on Soekris Engineering - 2009 - 60 heures
Module Obligatoire
Markovian Decision Making - 2009 - 18 heures
Modèle et analyse des malwares - 2010 - 15 heures
Gérard Wagener,Radu State, Alexandre Dulaunoy 2007. Malware behaviour analysis , 4(4):279, http://www.springerlink.com/content/t3r27639x9533601/
Cynthia Wagener, Gerard Wagener, Radu State and Thomas Engel 2009. Malware analysis with graph kernels and support vector machines In 4th International Conference on Malicious and Unwanted
Software (Malware 2009) , 63-68, http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5403018
Gérard Wagener, Radu State, Alexandre Dulaunoy and Thomas En- gel 2009. Self adaptive high interaction honeypots driven by game theory Lecture Notes in Computer Science , 5873:741-755,
http://www.springerlink.com/content/w208175j6u445805/
Gérard Wagener,Alexandre Dulaunoy and Thomas Engel 2008. An Instrumented Analysis of Unknown Software and Malware Driven by Free Libre Open Source Software Proceedings of the 2008 IEEE
International Conference on Signal Image Technology and Internet Based Systems , 597-605 , http://portal.acm.org/citation.cfm?id=1494650.1495468
Gérard Wagener, Alexandre Dulaunoy and Thomas Engel 2008. Towards an Estimation of the Accuracy of TCP Reassembly in Network Forensics Proceedings of the 2008 Second International Conference on
Future Generation Communication and Networking , 2:273-278, http://portal.acm.org/citation.cfm?id=1489437
Cynthia Wagner,Gérard Wagener, Radu State, Alexandre Dulaunoy and Thomas Engel. 2010. Breaking Tor Anonymity with Game Theory and Data Mining 4th International Conference on Network and
System Security. Melbourne, September, 2010.
Cynthia Wagner, Gérard Wagner, Radu State Alexandre Dulaunoy and Thomas Engel 2010. PeekKernelFlows: Peeking into IP flows Vizsec 2010
94 sur 100
08/04/2015 13:20
Madame ESMA YAHIA
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Hervé PANETTO
Sujet de thèse :
Contribution à l’évaluation de l’interopérabilité sémantique entre systèmes d’information d’entreprise : application aux systèmes d’information de pilotage de la production
École de Modélisation d’Entreprise d’Arcachon EMEA 2009 - 2009 0
Langues et Techniques de communication Anglais scientifique-Communication scientifique en Anglais - 2009 - 15 heures
Langues et Techniques de communication Anglais scientifique_Présentation conférence 1 - 2009
Master Ingénierie de Systèmes Complexes MAI3C 19 - 2010 - 20 heures
Esma Yahia, Jing Yang, Alexis Aubry and Hervé Panetto 2009. On the Use of Description Logic for Semantic Interoperability of Enterprise Systems On the Move to Meaningful Internet Systems: OTM 2009
Workshops , 205--215
Esma Yahia , Michel Bigand , Jean Pierre Bourey , Emmanuel Castelain 2009. Supply chain business patterns definition for process interoperability 13th IFAC Symposium on Information Control Problems in
Manufacturing, INCOM'2009 , http://hal.archives-ouvertes.fr/hal-00403789/
ESMA YAHIA, ALEXIS AUBRY, HERVÉ PANETTO 2011. EXPLICITATION DE LA SÉMANTIQUE DE MODELES DE SYSTEMES D’INFORMATION D’ENTREPRISE JDNMACS 2011
Esma Yahia,Mario Lezoche, Alexis Aubry, Hervé Panetto 2011. Semantics enactment in Enterprise Information Systems IFAC Word Congress 2011
95 sur 100
08/04/2015 13:20
Monsieur Ehtesham ZAHOOR
Docteur 2011
Doctorat :
Informatique
Ecole doctorale :
Etablissement :
UNIVERSITE NANCY 2
Encadrement :
Claude GODART, M. Olivier PERRIN
Sujet de thèse :
Gouvernance de service: aspects sécurité et données
Outils d'édition scientifique 2011 - 2010
Doctoriale 2010 - 2009 - 40 heures
Anglais Poster Scientifique - 2010 - 20 heures
Outils d'édition scientifique - 2010 - 20 heures
Ehtesham Zahoor, Olivier Perrin and Claude Godart 2008. Mashup Model and Verification Using Mashup Processing Network CollaborateCom 2008 , Volume 10, Part 3, 632-648,
http://www.springerlink.com/content/j70p612178427071/
Ehtesham Zahoor, Olivier Perrin and Claude Godart 2009. An Integrated Declarative Approach to Web Services Composition and Monitoring WEB INFORMATION SYSTEMS ENGINEERING - WISE 2009 ,
Volume 5802/2009, 247-260, http://www.springerlink.com/content/443qv463757892h1/
Ehtesham Zahoor, Olivier Perrin and Claude Godart 2009. Rule-Based Semi Automatic Web Services Composition 2009 Congress on Services - I , ISBN: 978-0-7695-3708-5, http://www.computer.org/portal
/web/csdl/doi/10.1109/SERVICES-I.2009.77
Ehtesham Zahoor, Olivier Perrin and Claude Godart 2010. DISC: A Declarative Framework for Self-Healing Web Services Composition 2010 IEEE International Conference on Web Services , ISBN:
978-0-7695-4128-0, http://doi.ieeecomputersociety.org/10.1109/ICWS.2010.70
Ehtesham Zahoor, Olivier Perrin and Claude Godart 2010. DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition 2010 Eighth IEEE European Conference on Web Services ,
ISBN: 978-0-7695-4310-9, http://doi.ieeecomputersociety.org/10.1109/ECOWS.2010.18
Khaled Gaaloul, Ehtesham Zahoor, François Charoy and Claude Godart 2010. Dynamic Authorisation Policies for Event-Based Task Delegation CAiSE 2010 , Volume 6051/2010, 135-149,
http://www.springerlink.com/content/10x548n40416v722/
Ehtesham Zahoor, Olivier Perrin and Claude Godart 2011. An Event-Based Reasoning Approach to Web Services Monitoring. 2011 IEEE International Conference on Web Services , ISBN:
978-0-7695-4463-2, http://doi.ieeecomputersociety.org/10.1109/ICWS.2011.97
96 sur 100
08/04/2015 13:20
Monsieur Mohamed ZERROUGUI
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Mohamed DAROUACH
Sujet de thèse :
Observation et commande des systèmes singuliers non linéaires
2009 HYCON EECI GRADUATE SCHOOL ON CONTROL - 2008
Certificat de compétences de citoyen de sécurité civile - 2008
2010 hycon eeci graduate school on control - 2009
Monitorat - 2010
Zerrougui, M. Boutat-Baddas, L. Darouach, M. Ali, H.S. 2010. Hinfinity Design for Singular Bilinear Systems. American Control Conference
Darouach M., Boutat-Baddas L., Zerrougui M. 2010. Hinfinity observers design for a class of discrete time nonlinear singular systems 18th Mediterranean Conference on Control and Automation
Zerrougui M., Boutat-Baddas L., Darouach M. 2011. Hinfinity observers design for a class of continuous time non-linear singular systems. 8th International Conference on Systems, Signals and Devices,
SSD’11,
Darouach M., Boutat-Baddas L., Zerrougui M. 2010. Hinfinity observers design for a class of continuous nonlinear singular systems , 19th International Symposium on Mathematical Theory of Networks
and Systems, MTNS’10,
Zerrougui M., Boutat-Baddas L., Darouach M. 2010. Observateur Hinfinity pour une classe de systèmes singuliers bilinéaires Sixième Confeérence Internationale Francophone d’Automatique, CIFA 2010
Darouach M., Boutat-Baddas L., Zerrougui M. 2011. Hinfinity Observers design for a class of nonlinear singular systems. Automatica
Zerrougui M.,Darouach M., Boutat-Baddas L. 2011. Hinfinity observers design for a class of continuous time nonlinear singular systems Journal of Control Science and Engineering JCSE
Zerrougui M.,Boutat-Baddas L.,Darouach M. 2011. Synthèse d’observateur Hinfini pour une classe de systèmes singuliers non lineéaires 4èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS
Zerrougui M., Boutat-Baddas L., Darouach M. 2011. Commande basée observateur pour une classe de systèmes singuliers non linéaires Congrès National de Recherche en IUT
97 sur 100
08/04/2015 13:20
Monsieur Akram ZOUGGARI
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Lyes BENYOUCEF
Sujet de thèse :
Une nouvelle approche couplant logique floue et capitalisation des connaissances pour résoudre un problème de sélection de fournisseurs avec affectation des ordres d'achat
Approches innovantes d'analyse, de modélisation et d'évaluation des produits, des systèmes de production et des services associés - 2008
Ecole des Journées Doctorales MACS - 2008 - 20 heures
Séminaire des doctoriales 2010 - 2009 - 40 heures
Conversation Anglais - 2010 - 15 heures
Cours
Incertitude et décision en logistique - 2008 - 20 heures
Ecole thématique Approches innovantes d'analyse, de modélisation et d’évaluation des produits, des système de production et des services associés - 2008 - 24 heures
Séminaire des doctoriales de lorraine 2010 - 2009 - 48 heures
4eme Assemblée Générale du Réseau Carthagène d'Ingénierue - 2010 - 24 heures
Akram Zouggari and Lyes Benyoucef 2011. Simulation based fuzzy TOPSIS approach for Group Multi-criteria Supplier Selection Problem. , Engineering Applications of Artificial Intelligence
Langages de programmation : PHP, HTML, JavaScript, C++, Delphi, Pascal, VBA/Excel, CSS.
Outils de développement : MS office, Frontpage, Dreamweaver,Zend DE, Joomla, Flash, VisuelStudio.
ERP: SAP, IFS, OpenERP.
Logiciels de simulation : LabVIEW, ED5, Matlab, Quest.
Base de données : Mysql, Acces.
Systèmes d’exploitation : Windows 9X/2000/XP.
98 sur 100
08/04/2015 13:20
Monsieur Ahmed ZOUINKHI
Docteur 2011
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Eric RONDEAU
Sujet de thèse :
Contribution à la modélisation de produit actif communicant, Spécification et Evaluation d'un protocole de communication orienté sécurité des produits.
Ecole de Préparation à la Recherche Appliquée 2010 - 2009
Langues et Techniques de communication - 2010 - 60 heures
UE Quality of Service - 2010
Formations à la recherche
Ecole d’Hiver (EES DEMO 2009) - 2009
UE Formal Systems Engineering (MAIC3U32) - 2010
Rédiger un article scientifique en anglais - 2010
Techniques de communication en langue française - 2010 - 30 heures
Séminaires
Séminaire de l’Electronique et de l’Informatique Industrielle (SEII’09) - 2009
Ahmed Zouinkhi, Eddy Bajic, Amel Ltifi, Eric Rondeau, Mohamed Ben Gayed and Mohamed Naceur Abdelkrim 2010. Simulation of active products cooperation for active security management 8th
International Conference of Modeling and Simulation - MOSIM’10 - May 10-12, 2010 - Hammamet – Tunisia, 2010.
Ahmed Zouinkhi, Eddy Bajic, Raja ZIDI, Mohamed Ben Gayed, Eric RONDEAU et Mohamed Naceur Abdelkrim 2009. PETRI NET MODELLING OF ACTIVE PRODUCTS COOPERATION FOR
ACTIVE SECURITY MANAGEMENT Sixth IEEE International Multi-Conférence on System, Signals & Devices SSD’09, 23-26 March – Djerba-Tunisia, 2009.
Ahmed Zouinkhi, Eddy Bajic, Eric Rondeau and Mohamed Naceur Abdelkrim 2010. Petri Nets hierarchical modelling framework of Active Products’ community. Livre “Advances in Petri Net Theory and
Applications. ISBN 978-953-307-108-4. , pp. 175-196.
Ahmed Zouinkhi, Eddy Bajic, Eric Rondeau, Mohamed Ben Gayed and Mohamed Naceur Abdelkrim 2010. Simulation and modeling of active products cooperation for active security system management
International Journal "Transactions on Systems, Signals and Devices" (Issues on Sensors, Circuits & Instrumentation Systems)
Dragos DOBRE, Eddy BAJIC, Ahmed ZOUINKHI 2009. Active Product Modeling based on Smart Object Concept; Application to Chemical Security Management. Journal Européen des Systèmes
Automatisés. , JESA n° 4-5/2009, pp 559-578.
Ahmed Zouinkhi, Eddy Bajic, Raja ZIDI, Mohamed Ben Gayed, Eric RONDEAU et Mohamed Naceur Abdelkrim 2009. Modelling by Petri Nets of an active product for the Security Management of
Hazardous Products 5th International Conference: Sciences of Electronic, Technologies of Information and Telecommunications, March 22-26, 2009 – TUNISIA. ISBN: 978-9973-0-0123-8.
Ahmed Zouinkhi, Eddy Bajic, Raja ZIDI, Mohamed Ben Gayed, Eric RONDEAU and Mohamed Naceur Abdelkrim 2008. Modelling by Petri Nets of an active product for the Security Management of
Hazardous Products 9th international conference on Sciences and Techniques of Automatic control & computer engineering STA’2008
Ahmed Zouinkhi, Eddy Bajic, Raja ZIDI, Mohamed Ben Gayed, Eric RONDEAU et Mohamed Naceur Abdelkrim 2008. Management and Control of chemically dangerous products by the use of Wireless
Sensor Networks The fifth International Conference on Power Systems and Automatic Control, JTEA 2008
Ahmed Zouinkhi, Eddy Bajic, Mohamed Ben Gayed et Mohamed Naceur Abdelkrim 2008. Concept de Produit Actif par Réseaux de Capteurs pour Contrôler la Sécurité des Produits Chimiques Les huitièmes
journées scientifiques des jeunes chercheurs en Génie Electrique et Informatique, GEI’2008
Ahmed Zouinkhi, Eddy Bajic, Mohamed Ben Gayed et Mohamed Naceur Abdelkrim 2007. Modèle de Produits Actifs et Communication Ambiante pour la Gestion de la Sécurité de Produits Dangereux
Huitième conférence internationale des Sciences et Techniques de l’Automatique, STA’2007
Langages:
C, Visual Basic , C et asm pour microcontrôleur AVR , Matlab, C++.
Méthodes d’analyse:
UML (diagramme de classe, séquence et cas d’utilisation) , Inversion de contrôle ( Spring) , Génération de code (Topcase, Accéléo) .
Outils de modélisation et simulation:
Pétri Nets, Castalia, Opnet
Domaine: Réseaux, Electronique, Génie informatique
99 sur 100
08/04/2015 13:20
100 sur 100
08/04/2015 13:20

Docteur 2011 - Ecole DOCTORALE IAEM

Transcription

Documents pareils

RÉSUMÉ EN FRANÇAIS Texte du résumé Mots Clés

Plan d`action commercial et outils pour la fonction

Optimisation et sélection de portefeuille par indicateur de risque

Conseiller De Clientèle Professionnelle

fiche de poste commercial sedentaire

Prix de thèse et de mémoire du Conseil National des

Porgramme ADB-1

Directeur de Clientèle 3 (H/F)

La politique d`achat

ETAT D`AVANCEMENT Thèse de Doctorat en