Portefeuille de compétences

Transcription

https://www.adum.fr/as/requetes/catalogue_valorisation.pl
Portefeuille de Compétences
Madame Faiza ABDAT
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Automatique, Traitement du signal et des images, Génie informatique
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE ELECTROTECHNIQUE - MATHEMATIQUES
Université Paul Verlaine Metz
Alain Pruski
Reconnaissance automatique des émotions par données multimodales : expressions faciales et
signaux physiologiques
Laboratoire de
LASC Laboratoire d'Automatique humaine et de Sciences Comportementales - EA 3467
thèse :
Date de soutenance
15 juin 2010
:
Productions scientifiques
Faiza ABDAT, Coubeila MAAOUI et Alain PRUSKI 2010. "Real Facial Feature Points Tracking with
Pyramidal Lucas-Kanade Algorithm", Chapitre de livre: Advances in Human-Robot Interaction, Vienna,
Austria: I-Tech Education and Publishing. ISBN 978-953-307-051-3, edition : Daisuke CHUG, 2010.
F. ABDAT, C.MAAOUI, A.PRUSKI 2009. "Reconnaissance d’expressions faciales en temps réel à partir
d’une séquence vidéo" , Revue nationale: Sciences et Technologies pour le Handicap, Edition Hermés
2009. , volume 3, Pages 63-93
F. ABDAT, C.MAAOUI, A.PRUSKI 2009. "Overview of Automatic Facial Expressions Analysis", IEEE
International Conference on System, Signals and Devices, Mars 2009, Tunisia.
F. ABDAT, C.MAAOUI, A.PRUSKI 2009. "Tracking of points extracted with wavelet transform for facial
expressions recognition", IEEE International Conference on System, Signals and Devices, Mars 2009,
Tunisia.
C.MAAOUI, A.PRUSKI, F. ABDAT 2008. "Emotion Recognition for Human-Machine Communication",
IEEE/RSJ International Conference on Intelligent Robots and Systems 22-26 Septembre 2008 Nice,
France.
F. ABDAT, C.MAAOUI, A.PRUSKI 2008. "Real Facial Feature Points Tracking with Pyramidal LucasKanade Algorithm", IEEE RO-MAN 08, The 17th International Symposium on Robot and Human
Interactive Communication. 1-3 August 2008 Technische Universität München, Munich, Germany.
F. ABDAT, C.MAAOUI, A.PRUSKI 2007. "Gradient based Method for Static Facial Features
Localization", International Conference Visualization, Imaging and Image Processig , VIIP07, Aout 2007,
Palma Espagne.
F. ABDAT, C.MAAOUI, A.PRUSKI 2007. "Facial Feature extraction for emotion Recognition",
International Conference Human Interaction, HUMAN07, Mars 2007, Timimoune Algérie.
F. ABDAT, C.MAAOUI, A.PRUSKI 2010. "Système Bimodal pour la reconnaissance automatique des
émotions", Colloque Handicap 2010, Paris, juin 2010.
F. ABDAT, C.MAAOUI, A.PRUSKI 2008. "Le suivi des caractéristiques faciales en temps réel avec
l’algorithme Pyramidal de Lucas-Kanade", Colloque Handicap 2008, Paris, juin 2008.
F. ABDAT, C.MAAOUI, A.PRUSKI 2007. "Suivi du Gradient pour la Localisation des Caractéristiques
Faciales", Colloque de GRETSI 2007, Septembre 2007,Troyes France.
Autres valorisations techniques
langage de programmation: visual c.net vb matlab
traitement d'image
traitement de signal
automatique
1 sur 101
08/04/2015 16:04
outils mathématique pour la reconnaissance de forme
fusion de données
2 sur 101
08/04/2015 16:04
Monsieur Kambiz ARAB TEHRANY
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Génie Electrique
Institut National Polytechnique de Lorraine
François SARGOS
Conception,synthèse et application d'une commande par PID fractionnaire (PIDF) pour les
onduleurs multiniveaux
Laboratoire de
GREEN - Groupe de Recherche en Electrotechnique et Electronique de Nancy - EA 4366
thèse :
Date de soutenance
12 novembre 2010
:
Kambiz Arab-Tehrani, Adrian Colteu, Ignace Rasoanarivo, Francois Michel-Sargos 2010. Design a
new high intensity magnetic separator with permanent magnets for industrial applications IOS press ,
Volume 32, Number 4 pages:237-248, 10.3233/JAE-2010-1080
Kambiz Arab Tehrani, Ignace Rasoanarivo, Francois-Michel Sargos 2011. Power loss calculation in
two different multilevel inverter models (2DM2) Electric Power Systems Research , Volume 81, Issue 2,
February 2011, Pages 297-307
Brevet, Publications, Enseignement.
3 sur 101
08/04/2015 16:04
Monsieur Vicente AUCEJO
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Génie Electrique
Nidhal REZG
Méthode tensorielle générale pour une modélisation multiphysique de dispositifs
magnétomécaniques rapides
Laboratoire de
LGIPM - Laboratoire de Génie Industriel et Production de Metz - EA 3096
thèse :
Date de soutenance
16 avril 2010
:
• R. Sanchez Grandia, R. Vives Fos, V. Aucejo Galindo, N. Galan, G. Ciumbulea 2005. Theoretical
elements for energetic models and physical design of electromechanical devices. Part I: Thermodynamic
approach of the magnetism Revue Rumaine des Sciences Techniques , vol 4, p.p. 399-410
R. Sanchez-Grandia, R. Vives-Fos, V. Aucejo-Galindo 2006. Magnetostatic Maxwell’s Tensors in
magnetic media appliying virtual works method from either the energy or the coenergy European Physical
Journal Applied Physics , vol 35, pp 61-68
R. Sanchez Grandia, R. Vives Fos, V. Aucejo Galindo, N. Galan, G. Ciumbulea 2006. Theoretical
elements for energetic models and physical design of electromechanical devices. Part II: Variational
methods on energy, co-energy and action Revue Rumaine des Sciences Techniques , vol 2, pp 137-147
AUCEJO-GALINDO V., SANCHEZ-GRANDIA R., VIVES-FOS R. 2008. General formulation for
magnetic forces in linear materials and permanent magnets IEEE Transaction on Magnetics , vol. 44, pp.
2134-2140
4 sur 101
08/04/2015 16:04
Monsieur Paul BEDARIDE
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Université Henri Poincaré Nancy 1
Claire GARDENT
Implication Textuelle et Réécriture
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503
thèse :
Date de soutenance
18 octobre 2010
:
Cours scientifiques et techniques
19th European Summer School in Logic, Language and Information - 2000 - 70 heures
Réécriture - 2006 - 40 heures
Réseau - 2006 - 40 heures
20th European Summer School in Logic, Language and Information - 2007 - 45 heures
Formation complémentaire de niveau doctoral
Monitorat - 2006 - 192 heures
Paul Bedaride 2007. Using description logics for recognising textual entailment. In 19th European
Summer School in Logic, Language and Information , http://www.loria.fr/~bedaride/publications/esslli2007
/bedaride-dl-rte-esslli2007.pdf
Paul Bedaride Claire Gardent 2008. Réécriture et Détection d'Implications Textuelles. TALN'08:
Traitement Automatique des Langues Naturelles , http://www.loria.fr/~bedaride/publications/taln08-bedgar
/taln08-bedgar.pdf
Paul Bedaride Claire Gardent 2009. Semantic Normalisation : a Framework and an Experiment.
IWCS'09: 8th International Conference on Computational Semantics , http://www.loria.fr/~bedaride
/publications/iwcs09-bedgar/iwcs09-bedgar.pdf
Paul Bedaride Claire Gardent 2009. Noun/Verb Inference 4th Language & Technology Conference
Paul Bedaride Claire Gardent 2010. Syntactic Testsuites and Textual Entailment Recognition. The
International Conference on Language Resources and Evaluation
Paul Bedaride Claire Gardent 2010. Benchmarking for syntax-based sentential inference 23rd
International Conference on Computational Linguistics
5 sur 101
08/04/2015 16:04
Monsieur Nazim BENAISSA
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Dominique MERY
La composition des protocoles de sécurité avec la méthode B événementielle
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
28 mai 2010
:
Lipari summer school 2007 on computer science. - 2006
Sécurité des systèmes communiquants (R. State, M. Rusinowitch) - 2006 - 15 heures
Théorie de la sécurité - Véronique Cortier - 2006 - 15 heures
Abstraction et raffinement (D. Bjorner / D. Méry) - 2006 - 15 heures
Nazim Benaïssa, Dominique Cansell, Dominique Méry 2007. Integration of security policy into system
modeling B 2007: Formal Specification and Development in B , Volume 4355/2006, 232-247,
http://www.springerlink.com/content/d52gk6146k7h0777/
Nazim Benaissa 2008. Modelling attacker's knowledge for cascade cryptographic protocols Abstract State
Machines, B and Z , Volume 5238/2008, Pages: 251-264, http://www.springerlink.com/content
/05n6782733q123g3/
Nazim Benaissa, Dominique Méry 2009. Cryptographic Protocols Analysis in Event B Perspectives of
Systems Informatics , Volume 5947/2010, Pages: 282-293, http://www.springerlink.com/content
/dl421p84618n7709/
Nazim Benaissa, Dominique Mery 2009. Développement combiné et prouvé de systèmes transactionnels
cryptologiques Atelier Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL
2009)
2010. Proof-based design of security protocols International Computer Science Symposium in Russia, CSR
2010
6 sur 101
08/04/2015 16:04
Madame Luciana BENOTTI
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Patrick BLACKBURN
L'implicature comme un Processus Interactif
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
28 janvier 2010
:
Luciana Benotti 2009. Clarification Potential of Instructions. In Proceedings of the SIGDIAL 2009
Conference , pp. 196–205, http://www.aclweb.org/anthology/W09-3929
Luciana Benotti and David Traum 2010. A computational account of comparative implicatures for a
spoken dialogue agent. In Proceedings of the Eight International Conference onComputational Semantics ,
pp. 4–17, http://www.aclweb.org/anthology/W09-3704
Luciana Benotti 2009. Frolog: an Accommodating Text-Adventure Game. In Proceedings of the
Demonstrations Session at the 12th Conference of the European Chapter of the ACL (EACL 2009) , pp.
1–4, http://www.aclweb.org/anthology/E09-2001
Luciana Benotti 2008. Accommodation through tacit sensing. In the Proceedings of LONDIAL 2008
Workshop on the Semantics and Pragmatics of Dialogue
Luciana Benotti 2008. Accommodation through tacit dialogue acts. In Conference on Semantics and
Modelisation
Luciana Benotti 2007. Incomplete Knowledge and Tacit Action: Enlightened Update in a Dialogue Game.
In Proceedings of DECALOG 2007 Workshop on the Semantics and Pragmatics of Dialogue
Luciana Benotti 2006. ``DRINK ME'': Handling actions through planning in a text game adventure. In
Proceedings of XI ESSLLI Student Session , pp. 160–172
7 sur 101
08/04/2015 16:04
Madame Ioana-Corina BOGDAN
Docteur 2010
Doctorat :
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE Ecole doctorale :
ELECTROTECHNIQUE - MATHEMATIQUES
Etablissement :
Encadrement :
Gabriel ABBA
Modélisation et commande de systèmes linéaires de micropositionnement : application à la
Sujet de thèse :
production de micro-composants électroniques
Laboratoire de
thèse :
Date de
23 septembre 2010
soutenance :
Insertion professionnelle
Stage en Entreprise - 2006
Summer School in Automatic Control of Grenoble - 2006
Automatique industrielle et Humaine - 2008
Réunion d'information
Journées Nationales du GDR Robotique - 2008
Ioana Corina BOGDAN, Gabriel ABBA 2009. Identification of the Servomechanism used for microdisplacement IROS 2009 , 1986-1991, http://www.informatik.uni-trier.de/~ley/db/indices/a-tree
/b/Bogdan:Ioana_Corina.html
Ioana Corina BOGDAN, Gabriel ABBA 2010. Modélisation phénoménologique et identification d’un
système de micro-positionnement CIFA 2010
Ioana Corina BOGDAN, Gabriel ABBA 2009. Modélisation et Identification d’un axe linéaire de micropositionnement : application à la production de micro-composants bobinés JNRR 2009 ,
http://jnrr09.lms.sp2mi.univ-poitiers.fr/IMG/pdf/Poster_JNRR09_resume_Gabriel_Abba.pdf
8 sur 101
08/04/2015 16:04
Monsieur Mathieu BOHR
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Angela PASQUALE
Analyse harmonique L² de la transformée hypergéométrique de Laplace
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
LMAM =) IECL depuis le 1er janvier 2013 - UMR 7122
thèse :
Date de soutenance
4 novembre 2010
:
Cours
Groupes de Lie compacts - 2006 - 25 heures
Géométrie et analyse sur les espaces symétriques - 2008 - 25 heures
Centre d'Initiation à l'Enseignement Superieur
Monitorat - 2005
Conférences
Ecole d'été - 2005
9 sur 101
08/04/2015 16:04
Monsieur Thierry BOILEAU
Docteur 2010
Doctorat :
Génie Electrique
Etablissement : Institut National Polytechnique de Lorraine
Encadrement :
Farid MEIBODY TABAR, M. Babak NAHIDMOBARAKEH
Contribution à la continuité de service des actionneurs synchrones à aimants permanents :
Sujet de thèse :
-Tolérance au défaut de capteur mécanique -Détection de défauts électriques
Laboratoire de
thèse :
Date de
10 novembre 2010
soutenance :
T. Boileau, S. Pierfederici, B. Nahid-Mobarakeh, F. Meibody-Tabar, G. Lejeune, 2007. Défaut du
capteur de position dún actionneur Revue Internationale de Génie Electrique (RIGE) , vol. 10, n° 3-4, pp.
475-500
T. Boileau, B. Nahid-Mobarakeh, F. Meibody-Tabar 2008. On-line Identification of PMSM Parameters:
Model-Reference vs EKF IEEE Industry Applications Society 43rd Annual Meeting , CD ROM
T. Boileau, M.A. Shamsi, B. Nahid-Mobarakeh, F.Meibody-Tabar 2007. A novel mechanical sensorless
control for PMSM tolerant to stator resistance uncertainties IEEE Industry Applications Society 42th
Annual Meeting , CD ROM
T. Boileau, B. Nahid-Mobarakeh, F. Meibody-Tabar 2007. Back-EMF Based Detection of Stator
Winding Inter-turn Fault for PM Synchronous Motor Drives IEEE Vehicle Power and Propulsion
Conference , CD ROM
Thierry Boileau 2009. Détections en ligne des défauts inter-spires adaptées aux MSAP Conférence des
Jeunes Chercheurs en Génie Electrique , CD ROM
Nicolas Leboeuf, Thierry Boileau, Babak Nahid-Mobarakeh 2010. Fault Detection in a Current
Controlled PM Drive Using Back-EMF Estimation and Residual Analysis IEEE Industry Applications
Society 45rd Annual Meeting , A paraitre
Thierry Boileau, Babak Nahid-Mobarakeh, Farid Meibody-Tabar 2010. On-line Identification of
PMSM Parameters: Parameters Identifiability and Estimators Comparative Study IEEE Transaction on
Industry Applications , A paraitre
10 sur 101
08/04/2015 16:04
Monsieur Geoffray BONNIN
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Informatique
UNIVERSITE NANCY 2
Anne BOYER, Mme Armelle BRUN
Vers des Systèmes de Recommandation Robustes pour la Navigation Web : Inspiration de la
Modélisation Statistique du Langage
23 novembre 2010
Geoffray Bonnin, Armelle Brun et Anne Boyer 2010. Skipping-Based Collaborative Recommendations
inspired from Statistical Language Modeling Web Intelligence and Intelligent Agents , http://sciyo.com
/articles/show/title/skipping-based-collaborative-recommendations-inspired-from-statistical-languagemodeling
Geoffray Bonnin, Armelle Brun et Anne Boyer 2010. Detecting Parallel Browsing to Improve Web
Predictive Modeling International Conference on Knowledge Discovery and Information Retrieval
Armelle Brun, Geoffray Bonnin et Anne Boyer 2009. History dependent Recommender Systems based
on Partial Matching First and Seventeenth International Conference on User Modeling, Adaptation, and
Personalization , http://www.springerlink.com/content/x1r6t17q0u350352/fulltext.pdf
Geoffray Bonnin, Armelle Brun et Anne Boyer 2009. A Low Order Markov Model integrating
Long-Distance Histories for Collaborative Recommender Systems International Conference on Intelligent
User Interfaces , http://portal.acm.org/ft_gateway.cfm?id=1502662&type=pdf&coll=GUIDE&dl=GUIDE&
CFID=26023717&CFTOKEN=57277977
Geoffray Bonnin, Armelle Brun et Anne Boyer 2008. Using Skipping for Sequence-Based Collaborative
Filtering International Conference on Web Intelligence , http://www2.computer.org/portal/web/csdl
/doi/10.1109/WIIAT.2008.280
Geoffray Bonnin, Armelle Brun et Anne Boyer 2008. Collaborative Filtering inspired from Language
Modeling International Workshop on Recommender Systems and Personalized Retrieval , http://hal.inria.fr
/docs/00/32/70/70/PDF/rspr.pdf
Geoffray Bonnin, Armelle Brun et Anne Boyer 2009. Renforcement des modèles probabilistes en
utilisant l'Information Mutuelle pour des Recommandations contextualisées 7ème colloque du chapitre
français de l'ISKO
Geoffray Bonnin et Violaine Prince 2007. Emphasizing Syntax for French to German Machine
Translation International Symposium on Natural Language Processing , http://hal-lirmm.ccsd.cnrs.fr
/docs/00/17/13/08/PDF/article3.pdf
11 sur 101
08/04/2015 16:04
Monsieur Sahbi BOUSSANDEL
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Mathématiques
Ralph CHILL
Quelques methodes de resolution d'equations algebriques et d'evolution en dimension finie et
infinie.
Laboratoire de
thèse :
Date de soutenance
10 decembre 2010
:
Anglais - 2009 - 14 heures
Cours
Quelques méthodes de résolution pour les équations non-linéaires. - 2007 - 20 heures
Sahbi Boussandel 2010. Global existence and maximal regularity of gradient systems Journal of
Differential Equations , 20 pages
Utilisation du programme Latex
12 sur 101
08/04/2015 16:04
Monsieur Octave BOUSSATON
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Etablissement :
Encadrement :
Sujet de thèse :
De l'utilisation de la théorie des jeux pour optimiser le routage réseau.
Laboratoire de
thèse :
Date de soutenance
16 fevrier 2010
:
Dominique Barth, Olivier Bournez, Oc- tave Boussaton et Johanne Cohen 2008. Distributed Learning
of Wardrop Equilibria Unconventionnal Computing , Volume 5204/2008 pages 19-32,
http://www.springerlink.com/content/xp375g1584133u0r/fulltext.pdf
O. Boussaton, D. Barth, O. Bournez et J. Cohen 2009. Distributed learning of equilibria in a routing
game Parallel Processing Letters , 19, 189-204, http://www.worldscinet.com/ppl/19
/1902/S012962640900016X.html
Techniquement je sais lire, écrire, compter
Transversalement je sais analyser, transposer, appliquer, interpréter, extrapoler, synthétiser, évaluer, déduire,
induire, synthétiser, comparer
13 sur 101
08/04/2015 16:04
Monsieur Paul BRAUNER
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Claude KIRCHNER
Fondements et mise en oeuvre de la superdéduction modulo
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
15 juin 2010
:
Ecole JEUNES CHERCHEURS en PROGRAMMATION - 2006 - 20 heures
Types Summer School - 2006 - 20 heures
Paul Brauner, Clement Houtmann et Claude Kirchner 2007. Principles of Superdeduction LICS 2007 ,
http://www.loria.fr/~brauner/pdf/papers/superdeduction.pdf
Paul Brauner, Clement Houtmann et Claude Kirchner 2007. Superdeduction at work Colloquium in
honor of Jean-Pierre Jouannaud, 2007 , http://www.loria.fr/~brauner/pdf/papers/atwork.pdf
Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau et Antoine Reilles 2007. Tom:
Piggybacking Rewriting on Java RTA 2007 , http://www.loria.fr/~brauner/pdf/papers/tom_piggyback.pdf
Emilie Balland et Paul Brauner 2008. Term-graph rewriting in Tom using relative positions 4th
International Workshop on Computing with Terms and Graphs , http://www.loria.fr/~brauner/pdf/papers
/termgraph_pointers.pdf
Fabrice Nahon, Claude Kirchner, Hélène Kirchner et Paul Brauner 2009. Inductive Proof Search
Modulo Annals of Mathematics and Artificial Intelligence 55 , http://www.loria.fr/~brauner/pdf/papers
/narrowing.pdf
14 sur 101
08/04/2015 16:04
Monsieur Louis-Claude CANON
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Informatique
Emmanuel JEANNOT
Outils et algorithmes pour gérer l'incertitude lors de l'ordonnancement d'application sur
plateformes distribuées
Laboratoire de
thèse :
Date de soutenance
18 octobre 2010
:
Communiquer et écrire la science - 2008
Ecole d'hiver hot topics in distributed computing - 2008
Ecole Grid 5000 - 2008
Grilles d'informatique et algorithmique distribuée avancée - 2009
Statistiques - 2009
Louis-Claude Canon and Emmanuel Jeannot 2010. Evaluation and Optimization of the Robustness of
DAG Schedules in Heterogeneous Environments IEEE Transactions on Parallel and Distributed Systems ,
VOL. 21
Louis-Claude Canon, Olivier Dubuisson, Jens Gustedt and Emmanuel Jeannot 2010. Defining and
Controlling the Heterogeneity of a Cluster: the Wrekavoc Tool Journal of Systems and Software
15 sur 101
08/04/2015 16:04
Madame Susana Michelle CARRERA
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Marie-Claude PORTMANN, M. Wahiba RAMDANE CHERIF -KHETTAF
Planification et ordonnancement de plateformes logistiques
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
5 novembre 2010
:
Doctoriales de Lorraine - 2008 - 40 heures
Préparation à l'insertion professionnelle - 2009 - 12 heures
Module
Interopérabilité des systèmes d’entreprise - 2007 - 12 heures
Modèles et systèmes multi agents - 2007 - 10 heures
Qualité de services dans les réseaux - 2008 - 10 heures
Carrera Susana, Chami Khalida, Guimaraes Renato, Portmann Marie-Claude, Ramdane Cherif
Wahiba 2008. Modèle linéaire pour le lissage de charge d’une plateforme logistique Conférence ROADEF
à Clermont-Ferrand , livre des résumés 115-116
Carrera Susana, Chami Khalida, Guimaraes Renato, Portmann Marie Claude, Ramdane Cherif
Wahiba 2008. Negotiation models for logistic platform planning and scheduling. Eleventh International
Workshop on Project Management and Scheduling – Turquie , Proceedings, 43-46
Carrera Susana, Portmann Marie-Claude, Ramdane Cherif Wahiba 2009. Outils d’aide à la décision
pour le lissage de charges des plateformes logistiques Conférence CIGI à Tarbes , CD – 8 pages
Carrera Susana, Portmann Marie-Claude, Ramdane Cherif Wahiba 2010. Scheduling supply chain
node with fixed components arrivals and two partially flexible deliveries. Conference MCPL à Coimbra Portugal , 6 pages
Carrera Susana, Portmann Marie-Claude, Ramdane Cherif Wahiba 2010. Scheduling problems for
logistic platforms with fixed staircase component arrivals and various deliveries hypotheses. Conference
ICAOR à Turku - Finlande , 12 pages
Utilisation de logiciels d'optimisation : CPLEX, OPL
Connaissance de techniques d'optimisation : Programmation linéaire, programmation dynamique, SDP,
algorithmes de points intérieurs, optimisation convexe, etc.
Langages de programmation : C++, Java
16 sur 101
08/04/2015 16:04
Monsieur Cyril CHARIGNON
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Guy ROUSSEAU
Immeubles affines et groupes de Kac-Moody
INSTITUT ELIE CARTAN de NANCY (IECN) =) IECL depuis le 1er janvier 2013 - UMR
7502
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
2 juillet 2010
:
Groupe de travail - 2006 - 20 heures
monitorat - 2007 - 192 heures
Ecole d'été algebraic groups - 2008 - 30 heures
Geometric Representation Theory and Extended Affine Lie Algebras - 2008 - 60 heures
Un théorème de saturation de Kapovich-Milson - 2008 - 20 heures
Animation à l'exposition Mathematik zu Anfassen - 2009 - 14 heures
17 sur 101
08/04/2015 16:04
Monsieur Julien CHENAL
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Wolfgang BERTRAM
Structures géométriques liées aux algèbres de Lie graduées.
7502
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
21 juin 2010
:
Julien Chenal 2009. Generalized flag geometries and manifolds associated to short Z-graded Lie algebras
in arbitrary dimension C. R. Acad. Sci. Paris, , Ser. I 347 (2009) 21-25, http://dx.doi.org/10.1016
/j.crma.2008.12.001
18 sur 101
08/04/2015 16:04
Madame Beatrice CHEVAILLIER
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Frédéric BOIS, Mme Fatiha ALABAU-BOUSSOUIRA
Analyse de données d'IRM fonctionnelle par quantification vectorielle
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
9 mars 2010
:
Béatrice Chevaillier, Yannick Ponvianne, Jean-Luc Collette, Damien Mandry, Michel Claudon et
Olivier Pietquin 2008. Functional semi-automated segmentation of renal DCE-MRI sequences
Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP
2008) , pp.525-528, http://hal-supelec.archives-ouvertes.fr/hal-00276131/fr/
Proceedings of the 16th European Signal Processing Conference (EUSIPCO'08) 2008. Functional
semi-automated segmentation of renal DCE-MRI sequences using a Growing Neural Gas algorithm
Proceedings of the 16th European Signal Processing Conference (EUSIPCO'08) , 5 pages,
http://www.eurasip.org/Proceedings/Eusipco/Eusipco2008/papers/1569101736.pdf
Damien Mandry, Béatrice Chevaillier, Jean-Luc Collette, Marie-Agnès Galloy, Yannick Ponvianne,
Jacques Felblinger, Olivier Pietquin et Michel Claudon 2008. Functional semi-automated segmentation
of renal DCE-MRI sequences using vector quantization Proceedings of the European Society for Magnetic
Resonance in Medicine and Biology congress (ESMRMB 08) , 1 page
Damien Mandry, Béatrice Chevaillier, Yannick Ponvianne, Jean-Luc Collette, Marie-Agnès Galloy,
Olivier Pietquin et Michel Claudon 2008. Segmentation fonctionnelle rénale semi-automatique par
quantification vectorielle de séries dynamiques en IRM Journées Françaises de Radiologie (JFR 2008) , 1
page
Michel Claudon , Damien Mandry, Cédric Pasquier, Béatrice Chevaillier, Jean-Luc Collette Olivier
Pietquin 2008. Functional semi-automated segmentation of renal DCE-MRI sequences: preliminary results
Proceedings of the 15th Symposium of the European Society of Urogenital Radiology (ESUR 2008) , 1
page
Béatrice Chevaillier, Jean-Luc Collette, Damien Mandry, Michel Claudon et Olivier Pietquin 2009.
Functional semi-automated segmentation of renal DCE-MRI sequences using a Growing Neural Gas
algorithm Recent Advances In Signal Processing , 12 pages
19 sur 101
08/04/2015 16:04
Monsieur Nicolae CINDEA
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Marius TUCSNAK
Problèmes inverses et contrôlabilité avec applications en élasticité et IRM
7502
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
18 mars 2010
:
Nicolae Cîndea, Freddy Odille, Gilles Bosser, Jacques Felblinger, Pierre-André Vuissoz 2009.
Reconstruction from free-breathing cardiac MRI data using reproducing kernel Hilbert spaces Magnetic
Resonance in Medicine , Volume 63 Issue 1, Pages 59 - 67, http://www3.interscience.wiley.com/journal
/122663480/abstract
Freddy Odille, Nicolae Cîndea, Damien Mandry, Cédric Pasquier, Pierre-André Vuissoz, Jacques
Felblinger 2008. Generalized MRI reconstruction including elastic physiological motion and coil
sensitivity encoding Magnetic Resonance in Medicine , Volume 59 Issue 6, Pages 1401 - 1411,
http://dx.doi.org/10.1002/mrm.21520
Nicolae Cindea, Marius Tucsnak 2009. Local exact controllability for Berger plate equation Mathematics
of Control, Signals, and Systems (MCSS) , Volume 21, Number 2 / octobre 2009, Pages 93-110,
http://dx.doi.org/10.1007/s00498-009-0042-7
Nicolae Cindea, Marius Tucsnak 2009. Fast and strongly localized observation for a perturbed plate
equation International Series of Numerical Mathematics , Vol. 158 , 73-83,, http://www.springer.com
/birkhauser/mathematics/book/978-3-7643-8922-2
20 sur 101
08/04/2015 16:04
Monsieur Pierre COCHETEUX
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Benoît IUNG
Contribution à la maintenance proactive par la formalisation du processus de pronostic des
performances de systèmes industriels
CRAN - Centre de Recherche en Automatique de Nancy - UMR 7039
15 novembre 2010
Monitorat d’initiation à l’enseignement supérieur - 2006
Simulation – Couplage Simulation / Optimisation - 2006 - 20 heures
Doctoriales de Lorraine 2008 - 2007 - 40 heures
La maintenance prévisionnelle : méthodes et outils - 2008 - 20 heures
Cost-effective maintenance of quality - 2006 - 35 heures
Langues et Techniques de communication
Communication Scientifique en Anglais - 2006 - 30 heures
A. Voisin, E. Levrat, P. Cocheteux and B. Iung 2010. Generic prognosis model for proactive maintenance
decision support: application to pre-industrial e-maintenance test bed Journal of Intelligent Manufacturing
, Volume 21 (2), pp. 177-193
B. Iung , M. Monnin, A. Voisin, P. Cocheteux and E. Levrat 2008. Degradation state model-based
prognosis for proactively maintaining product performance CIRP Annals - Manufacturing Technology ,
vol. 57/1, pp. 49-52
21 sur 101
08/04/2015 16:04
Monsieur Aurélien DEYA
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Samy TINDEL
Étude de systèmes différentiels fractionnaires
7502
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
18 octobre 2010
:
Aurélien Deya Samy Tindel 2009. Rough Volterra Equation 1: the algebraic setting. Stochastics and
dynamics , no. 3, 437--477.
Aurélien Deya Samy Tindel 2009. Rough Volterra Equations 2: convolutional generalized integrals
Aurélien Deya Massimiliano Gubinelli Samy Tindel 2009. Non linear rough heat equation
Aurélien Deya Andreas Neuenkirch Samy Tindel 2010. A Milstein-type scheme without Levy area terms
for SDEs driven by fractional Brownian motion
Aurélien Deya 2010. Numerical schemes for the rough heat equation
22 sur 101
08/04/2015 16:04
Monsieur Idriss DIOURI
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Eric RONDEAU
PROPOSITIONS DE MÉTHODES POUR ADAPTER LE RÉSEAU AUX CONTRAINTES
D’APPLICATIONS TEMPS-RÉEL
15 octobre 2010
Communication scientifique orale en Anglais - 2006 - 31 heures
UE Evaluation des Performances stochastiques et déterministes des réseaux du Master Recherche en
Informatique - 2007 - 30 heures
UE P4-5 Méthodes avancées de commande des systèmes dynamiques du Master IS UHP - 2007 - 40 heures
Idriss Diouri, Jean-Philippe Georges et Eric Rondeau 2006. Accommodation of the service offered by
the network for networked control systems. 2nd Workshop on Networked Control System and Fault
Tolerant Control, Rende, Italie.
Idriss Diouri, Jean-Philippe Georges et Eric Rondeau 2007. Accommodation of delays for networked
control systems using classification of service. ICNSC’07, 2007 IEEE International Conference on
Networking, Sensing and Control, Londres, Royaume-Uni.
Idriss Diouri, Jean-Philippe Georges et Eric Rondeau 2007. Adaptation of scheduling policy parameters
for controlling networked systems. 3rd International Workshop on Networked Control Systems : Tolerant
to faults, Nancy, France.
Idriss Diouri, Cédric Berbra, Jean-Philippe Georges, Sylviane Gentil et Eric Rondeau 2008.
Evaluation of a switched Ethernet network for the control of a quadrotor. MED’08, 16th Mediterranean
Conference on Control and Automation, Ajaccio, Corsica, France.
Idriss Diouri, Vincent Bombardier, Jean-Philippe Georges et Eric Rondeau 2010. Classification des
délais pour les Systèmes Contrôlés en Réseau à ordonnancement WRR. CIFA 2010, 6ème Conférence
Internationale Francophone d’Automatique, Nancy, France.
23 sur 101
08/04/2015 16:04
Monsieur DRAGOS DOBRE
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Gérard MOREL, M. Eddy BAJIC
Contribution à la modélisation d'un système interactif d’aide à la conduite d'un procédé
industriel
Laboratoire de
thèse :
Date de soutenance
15 novembre 2010
:
Cours
Modèles et systèmes multi-agents - 2000 - 20 heures
Conception Mécatronique - 2007 - 21 heures
Monitorat - 2006
Conférences
GIS 3SGS - 2008 - 14 heures
Communication Scientifique en Anglais - 2006 - 30 heures
Module
« Ubiquitous Computing » et Ambient Intelligence Developments Conference - 2007 - 24 heures
D. Dobre, E. Bajic, A. Zouinkhi 2009. Active Product Modeling based on Smart Object Concept :
Application to Chemical Security Management Journal Européen des Systèmes Automatisés , vol. 43, p.
561-579
E. Bajic, A. Cea Ramirez, D. Dobre 2008. Service modeling for smart objects in the supply chain using
RFID and UPnP technologies RFID in Operations and Supply Chain Management : Research and
Applications, Thorsten Blecker, George Huang (Ed.), Series on Operations and Technology Management ,
vol. 6, p. 91-118
D. Dobre, G. Morel, D. Gouyon 2010. Improving Human-System Digital Interaction for Industrial System
Control: Some Systems Engineering Issues 10th IFAC Workshop on Intelligent Manufacturing Systems
(IMS’10)
D. Dobre, G. Morel, J.-P. Petin, E. Bajic 2008. Improving digital interaction for operator-driven
process-plant operation 9th IFAC Workshop on Intelligent Manufacturing Systems (IMS’08)
D. Dobre, E. Bajic 2008. Active product modeling for chemical security management based on smart
24 sur 101
08/04/2015 16:04
object concept 7ème Conférence Internationale de Modélisation, Optimisation et Simulation des Systèmes
(MOSIM’08)
D. Dobre, E. Bajic 2007. Smart object design for active security management of hazardous products 1st
International Workshop on Design and Integration Principles for Smart Objects (DIPSO 2007)
A. Cea Ramirez, D. Dobre, E. Bajic 2006. Ambient Services Interactions for Smart Objects in the Supply
Chain Proc. International Conference on Service Systems and Service Management (SSSM’06) , vol. 1, p.
822-827
D. Dobre, E. Bajic 2007. Produit Actif : Concept et implémentation GdR MACS
H. Panetto, G. Morel, D. Dobre 2010. SysML : Langage de spécification en Ingénierie Système? 8ème
Journée thématique AFIS sur Modélisation Système : SysML langage universel? Retours d'expérience
D. Dobre 2010. Une spécialisation de SysML pour l’Ingénierie d’un Système Interactif d’Aide à la
Conduite 4ème Forum Académie - Industrie de l'AFIS (AFIS'10)
25 sur 101
08/04/2015 16:04
Monsieur Junbo DUAN
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
David BRIE, M. Charles SOUSSEN
Restauration et séparation de signaux polynômiaux par morceaux Application à la
microscopie de force atomique
Laboratoire de
thèse :
Date de soutenance
15 novembre 2010
:
Optimisation du Master ingénierie système (Master 2, filière recherche) - 2007 - 20 heures
4ème Ecole d'Eté de Peyresq en Traitement du Signal et des Images - 2008 - 25 heures
Français langue étrangère à l'Université Henri Poincaré - 2008 - 70 heures
Cours professionnalisants
Doctoriales - 2009 - 50 heures
English presentation - 2009 - 15 heures
Anglais Présentation de Conférences I - 2009
Module Obligatoire
Doctorials de Lorraine - 2009 - 40 heures
J. Duan, C. Soussen, D. Brie, and J. Idier 2009. A continuation approach to estimate a solution path of
mixed L2-L0 minimization problems SPARS workshop, Saint-Malo, France, Apr. 2009 ,
http://hal.archives-ouvertes.fr/hal-00363468/fr/
J. Duan, C. Soussen, D. Brie, and J. Idier 2009. Détection conjointe de discontinuités d'ordres différents
dans un signal par minimisation de critère L2-L0 Actes 22e coll. GRETSI, Dijon, France ,
http://hal.archives-ouvertes.fr/view_by_stamp.php?label=CRAN-IRIS&action_todo=view&langue=fr&
id=hal-00388524&version=1
J. Duan, C. Soussen, D. Brie, J. Idier and F. Gaboriaud 2008. Sparse representation of a force spectrum
and a force-volume image AFM workshop, Biological interfaces: from the model membrane to microbial
cells
C. Soussen, J. Duan, D. Brie and F. Gaboriaud 2008. Modeling of force-volume images in atomic force
microscopy AFM workshop, Biological interfaces: from
Pavel Polyakov, Charles Soussen,Junbo Duan, Jérome F.L.Duval, David Brie and Grégory Francius1
2011. Automated force volume image processing for biological samples Journal of Chemical Theory and
Computation
26 sur 101
08/04/2015 16:04
Matlab, Latex, C++, DSP, FPGA, USB driver, AFM, 3GPP
27 sur 101
08/04/2015 16:04
Madame Imen ELLOUZE
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Jean-Claude VIVALDA
Étude de la stabilité et stabilisation des systèmes à retard et des systèmes impulsifs
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
15 decembre 2010
:
2010. Practical exponential stability of nonlinear differential delay equations. ‘Mediterranean Journal of
Mathematics’.
2009. On the Absolute Stabilization of Dynamical-Delay Systems. ‘Nonlinear Dynamics and Systems
Theory’
2010. Delay-Range-Dependant Absolute Stability for Systems with Time-Varying Delay ‘International
Journal of Qualitative Theory of Differential Equations and Applications.’
2010. On the Practical Stability of Impulsive Control Systems with Multiple Time Delay. IMA Journal of
Mathematical Control and Information
28 sur 101
08/04/2015 16:04
Madame Ilham ESSLIMANI
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Informatique
UNIVERSITE NANCY 2
Anne BOYER
Vers une approche comportementale de recommandation : apport de l'analyse des usages dans
un processus de personnalisation
11 decembre 2010
Ilham Esslimani, Armelle Brun et Anne Boyer 2010. Densifying a Behavioral Recommender System by
Social Networks Link Prediction methods The Social Networks Analysis and Mining Journal
Ilham Esslimani, Armelle Brun et Anne Boyer 2008. Behavioral similarities for collaborative
recommendations Journal of Digital Information Management , vol.6(6), p. 442-448
Ilham Esslimani, Armelle Brun et Anne Boyer 2010. Detecting Leaders in Behavioral Networks
Proceedings of the 2010 International Conference on Advances in Social Networks Analysis and Mining
(ASONAM)
Ilham Esslimani, Armelle Brun et Anne Boyer 2010. Detecting Leaders to alleviate latency in
Recommender Systems Proceedings of the EC-WEB 2010 Conference
Ilham Esslimani, Armelle Brun et Anne Boyer 2009. From Social networks to Behavioral networks in
Recommender Systems Proceedings of the 2009 International Conference on Advances in Social Networks
Analysis and Mining (ASONAM)
Ilham Esslimani, Armelle Brun et Anne Boyer 2010. A Collaborative Filtering approach combining
clustering and navigational based correlations Proceedings of The 5th International Conference on Web
Information Systems and Technologies (WEBIST)
Ilham Esslimani, Armelle Brun et Anne Boyer 2008. Enhancing Collaborative Filtering by frequent
usage patterns The First IEEE International Conference on the Applications of Digital Information and
Web Technologies (ICADIWT 2008), Workshop on Recommender Systems and Personalized Retrieval
(RSPR) , p. 180-185
Ilham Esslimani, Armelle Brun et Anne Boyer 2009. Vers l'exploitation de la transitivité dans les réseaux
comportementaux pour les systèmes de recommandations 7ème colloque du chapitre français de l'ISKO
sur l'Intelligence collective et l'organisation des connaissances
29 sur 101
08/04/2015 16:04
Monsieur Abdoul Aziz FALL
Docteur 2010
Doctorat :
Mathématiques
Etablissement :
Encadrement :
Gauthier SALLET
Étude de quelques modèles épidémiologiques : application à la transmission du virus de
Sujet de thèse :
l'hépatite B en Afrique subsaharienne (cas du Sénégal).
Laboratoire de
thèse :
Date de
18 mars 2010
soutenance :
Introduction à l'épidémiologie : modèles et méthodes mathématiques et staistiques - 2007 - 50 heures
Déveloper ses savoir être pour optimiser ses savoir faire - 2008 - 24 heures
School on Mathematical Epidemiology - 2008 - 48 heures
Anglais scientifique - 2009 - 15 heures
Abdoul Aziz Fall, Abderahmane Iggidr, Gauthier Sallet, Jean Jules Tewa 2007. Epidemiological
Models and Lyapunov Functions Mathematical Modelling of Natural Phenomena , Vol. 2, No. 1, 2007, pp.
62-83, http://www.ripublication.com/Volume/mmnpv2n1.htm
Aminata Sall Diallo, Abdoul Aziz Fall, Mary Teuw Niane, Gauthier Sallet 2008. Hepatitis B
transmission models 9ème Colloque Africain sur la Recherche en Informatique , in: Proc. 9th Biennal
CARI Congress, Rabat, Morocco, October 2008
Bernard Bonzi, Abdoul Aziz Fall1; Abderahman Iggidr 1, Gauthier Sallet 2009. Stability of diferential
Susceptibility and Infectivity Epidemic Models Journal of mathematical Biology
30 sur 101
08/04/2015 16:04
Monsieur Brice Georges FERNANDEZ
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Jacques FELBLINGER
Techniques adaptatives pour l'Imagerie par Résonance Magnétique des organes en
mouvement
Laboratoire de
IADI - Imagerie Adaptative Diagnostique et Interventionnelle - UMR_S 947
thèse :
Date de soutenance
12 novembre 2010
:
Principes et méthodologie de recherche en imagerie : de la cellule à l’organe (UE M. SVS.3.012 ) - 2006
2nd European EPIC Programming Course - 2007
Week Syllabus et Joint Annual Meeting ISMRM-ESMRMB - 2007
Sauveteur Secouriste du Travail / Incendies et Extincteurs - 2008
Rédaction d’articles scientifiques en anglais - 2009
Current Concept of Motion Correction for MRI and MRS - 2010
B. Fernandez, P.-A. Vuissoz et J. Felblinger 2008. Utilisation des Capteurs Externes pour l’Estimation des
Paramètres de Transformation Affine pour la Correction Prospective des Mouvements 12ème Congrès du
Groupe de Recherche sur les Applications du Magnétisme en Médecine (GRAMM'08), Lyon, 2008
B. Fernandez, J. Oster, M. Lohezic, D. Mandry, O. Pietquin, P.-A. Vuissoz et J. Felblinger 2008.
Synchronisation Adaptative Utilisant un Modèle Prédictif : Application à l'Imagerie Cardiaque par
résonance Magnétique en Sang Noir et en Systole journées de la Recherche Clinique Claude Huriet,
Nancy, 2008
Synchronisation Adaptative Utilisant un Modèle Prédictif : Application à l'Imagerie Cardiaque par
résonance Magnétique en Sang Noir et en Systole journées de Recherche en Imagerie et Technologies de
la Santé (RITS'09), Lille, 2009
L. Bonnemains, P.-A. Vuissoz, B. Fernandez, J. Oster, Pierre-Yves Marie et J. Felblinger 2009. Impact
de la prédiction automatisée de la systole et de la diastole sur la mesure des volumes ventriculaires en IRM
journées de la Recherche Clinique Claude Huriet, Nancy, 2009
M. Lohezic, A. Menini, B. Fernandez, D. Mandry, P.-A. Vuissoz et J. Felblinger 2009. Mesures de T2
sur le myocarde en respiration libre journées de la Recherche Clinique Claude Huriet, Nancy, 2009
Amélirotaion de l’imagerie du ventricule droit en IRM cardiaque en « sang noir » par une méthode
adaptative journées de la Recherche Clinique Claude Huriet, Nancy, 2009
F. Odille, , P.-A. Vuissoz, C. Pasquier, B. Fernandez, et J. Felblinger 2007. Artifact Correction in
Cardiac MRI as an Irregularly Sampled Parallel Imaging Reconstruction International Society for
Magnetic Resonance in Medicine, Berlin, 2007 , 872
B. Fernandez, M. Lohezic, P.-A. Vuissoz et J. Felblinger 2008. New Approach for Affine Transform
Parameters Estimation for Prospective Motion Correction Using External Sensors International Society for
Magnetic Resonance in Medicine, Toronto, 2008 , 3118
P-A Vuissoz, F. Odille, B. Fernandez, M. Lohezic, A. Benhadid, D. Mandry, et J. Felblinger 2008.
31 sur 101
08/04/2015 16:04
Model-Based Reconstruction for Free-Breathing Cardiac CINE Imaging Using GRICS International
Society for Magnetic Resonance in Medicine, Toronto, 2008 , 816
P-A Vuissoz, F. Odille, B. Fernandez, M. Lohezic, A. Benhadid, D. Mandry, et J. Felblinger 2009. High
Frame Rate Cardio-Respiratory Imaging Using Model-Based Reconstruction International Society for
Magnetic Resonance in Medicine, Honolulu, 2009 , 4612
M. Lohezic, B. Fernandez, J. Oster, D. Mandry, O. Pietquin, P.-A. Vuissoz et J. Felblinger 2009. Free
breathing black-blood systolic imaging using heart rate prediction and motion compensated reconstruction,
International Society for Magnetic Resonance in Medicine, Honolulu, 2009 , 4629
J. Oster, B. Fernandez, M. Lohezic, D. Mandry, P.-A. Vuissoz, O. Pietquin et J. Felblinger 2009.
Adaptive Heart Rate Prediction for Black-Blood Systolic Imaging International Society for Magnetic
Resonance in Medicine, Honolulu, 2009 , 3935
Adaptive Trigger Delay Using a Predictive Model Applied to Black Blood Fast Spin Echo Cardiac Imaging
in Systole International Society for Magnetic Resonance in Medicine, Honolulu, 2009 , 4719
P.-A. Vuissoz, D. Mandry, B. Fernandez, M. Lohezic, A. Benhadid, F. Odille and J. Felblinger 2010.
Left ventricular function assessment on free breathing acquisitions using CINE-GRICS ISMRM Workshop
on Current Concepts of Motion Correction for MRI and MRS, Kitzbühel, Tyrol, Austria
M. Lohezic, A. Menini, B. Fernandez, D. Mandry, P.-A. Vuissoz et J. Felblinger 2010. Motion
Corrected T2 Mapping: Application to Free-breathing Myocardial Measurements ISMRM Workshop on
Current Concepts of Motion Correction for MRI and MRS, Kitzbühel, Tyrol, Austria
B. Fernandez, J. Oster, M. Lohezic, D. Mandry, O. Pietquin, P.-A. Vuissoz et J. Felblinger 2010. Beat
to Beat Management of Heart Cycle Changes for Black Blood Imaging in End-Systolic Rest ISMRM
Workshop on Current Concepts of Motion Correction for MRI and MRS, Kitzbüel, Tyrol, Austria
P-A. Vuissoz, F. Odille, B. Fernandez, M. Lohezic, A. Benhadid, M. Damien, and J. Felblinger 2010.
Analysis of cardio-respiratory motion of the heart using GRICS (first insights) International Society for
Magnetic Resonance in Medicine, Stockholm, Sweden, 2010 , 3601
P-A. Vuissoz, F. Odille, B. Fernandez, M. Lohezic, A. Benhadid, M. Damien, and J. Felblinger 2010.
High Spatial and Temporal Resolution Free Breathing Cardiac CINE-GRICS : 512x512 vs 128x128 matrix
International Society for Magnetic Resonance in Medicine, Stockholm, Sweden, 2010 , 5016
M. Lohezic, A. Menini, B. Fernandez, D. Mandry, P.-A. Vuissoz et J. Felblinger 2010. Free breathing
myocardial T2 measurements International Society for Magnetic Resonance in Medicine, Stockholm,
Sweden, 2010 , 2958
Adaptive Method for Black Blood Cardiac Imaging in End-Systolic Rest Improves Visualization of the
Right Ventricular Wall in International Society for Magnetic Resonance in Medicine, Stockholm, Sweden,
2010 , 3615
Brice Fernandez, Julien Oster, Maelene Lohezic, Damien Mandry, Olivier Pietquin, Pierre-André
Vuissoz and Jacques Felblinger 2010. Adaptive Black Blood Fast Spin Echo for End-Systolic Rest
Cardiac Imaging Magnetic Resonance in Medicine , In press (disponible en ligne),
http://onlinelibrary.wiley.com/doi/10.1002/mrm.22566/abstract
Séjours à l'étranger
Berlin
32 sur 101
08/04/2015 16:04
Monsieur Julien FRANCKEN
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Didier MAQUIN, M. José RAGOT
Réconciliation de données en présence d’incertitudes de modèle. Application au
convertisseur à oxygène.
Laboratoire de
thèse :
Date de soutenance
5 juillet 2010
:
Francken J., Maquin D., Ragot J., Bèle B 2009. Simultaneous data reconciliation and parameter
estimation. Application to a basic oxygen furnace 2nd IFAC International Conference on Intelligent
Control Systems and Signal Processing, ICONS 2009, Istanbul Turkey
Francken J., Maquin D., Ragot J., Bèle B. 2009. Robust data reconciliation for the determination of the
control set-points of a basic oxygen furnace Workshop on Automation in Mining, Mineral and Metal
Industry, IFAC-MMM-2009, Viña del Mar, Chile
Francken J., Maquin D., Ragot J., Bèle B. 2009. Réconciliation de données et estimation paramétrique
simultanées. Application au convertisseur à oxygène 2nd Workshop Surveillance, Sûreté et Sécurité des
Grands Systèmes, 3SGS'09, Nancy
Francken J., Maquin D., Ragot J., Bèle B. 2009. Réconciliation de données robuste et surveillance d'un
convertisseur à oxygène. 4ème Congrès Performances et Nouvelles Technologies en Maintenance,
PENTOM'09, Autrans
33 sur 101
08/04/2015 16:04
Monsieur Khaled GAALOUL
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Informatique
François CHAROY
Une Approche Sécurisée pour la Délégation Dynamique de Tâches dans les Systèmes de
Gestion de Workflow
Laboratoire de
thèse :
Date de soutenance
15 septembre 2010
:
Fouilles de données et web sémantique - 2005 - 15 heures
Interopérabilité des systèmes déntreprises - 2005 - 15 heures
Qualité de services - 2006 - 15 heures
Présentation Anglais - 2007
Module
Sécurité des systèmes communicants - 2006
Khaled Gaaloul and François Charoy 2009. Task Delegation Based Access Control Models for Workflow
Systems The 9th IFIP Conference on e-Business, e-Services, and e-Society, I3E 2009 , 400-414,
http://www.springerlink.com/content/k1qn82r1h8310782/
Khaled Gaaloul, Philip Miseldine, and François Charoy. 2009. Towards Proactive Policies supporting
Event-based Task Delegation. The Third International Conference on Emerging Security Information,
Systems and Technologies, SECURWARE 2009 , http://www.computer.org/portal/web/csdl/doi/10.1109
/SECURWARE.2009.23
Khaled Gaaloul, François Charoy. 2009. Une Approche Dymanique pour la Gestion des Politiques de
Délégation dans les Systèmes de Contrôle dÁccès. INFORSID 2009 : 27eme congrès Inforsid. ,
http://www.pubzone.org/dblp/conf/inforsid/GaaloulC09
Khaled Gaaloul, François Charoy, and Andreas Schaad. 2009. Modelling Task Delegation for HumanCentric eGovernment Workflows. The 10th International Digital Government Research Conference (dg.o
2009). , http://portal.acm.org/citation.cfm?id=1556176.1556195&coll=&dl=GUIDE&type=series&
idx=SERIES10714&part=series&WantType=Proceedings&title=AICPS&CFID=42992554&
CFTOKEN=58121140
Walid Gaaloul, Khaled Gaaloul, Sami Bhiri, Armin Haller, Manfred Hauswirth. 2009. Log-based
transactional workflow mining. In Distributed and Parallel Databases , 25(3): 193-240,
http://www.springerlink.com/content/2737h3567682p073/
Khaled Gaaloul, Andreas Schaad, and François Charoy. 2008. A Secure Task Delegation Model for
Workflows. The Second International Conference on Emerging Security Information Systems and
Technologies, SECURWARE 2008 , The Second International Conference on Emerging Security
34 sur 101
08/04/2015 16:04
Information Systems and Technologies, SECURWARE 2008
Khaled Gaaloul, François Charoy, Andreas Schaad, and H. Lee 2007. Collaboration for Human-Centric
eGovernment Workflows. WISE 2007, 8th International Conference on Web Information Systems
Engineering , 201-212, http://www.springerlink.com/content/b556348441081867/
Khaled Gaaloul, François Charoy, Claude Godart 2006. Coopertaive Processes for Scientific Workflows
. ICCS 2006, the International Conference on Computational Science. , http://www.springerlink.com
/content/v67j3120507903q7/
Khaled Gaaloul, Ehtesham Zahoor, François Charoy, and Claude Godart. 2010. Dynamic
Authorisation Policies for Event-based Task Delegation. The 22nd International Conference on Advanced
Information Systems Engineering (CAiSE’10)
- SAP Products: Training courses and Internal projects
- Programming: Java (good knowledge), C# and C++ (good knowledge), XML, XACML, Prolog and Lisp
(basic)
- Web : HTML, Java script, JSP, PHP, Flash
- Applications: Open Office, Axiomatics, PERMIS, MySQL, Apache, PostGreSQL
- Modelling Methods: UML, MERISE, PETRI Net, STATECHART, finit state machine
- Operating System: MS-DOS, Windows 98/2000/NT/XP,/Vista), Linux (Red-Hat, Mandriva)
Modules Suivis :
– Interopérabilité des systèmes d’entreprises
– Fouille de données et Web sémantique
- Qualité de services
- Différents séminaires
35 sur 101
08/04/2015 16:04
Monsieur Arnaud GAILLARD
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Génie Electrique
Shahrokh SAADATE, M. Philippe POURE
Système éolien basé sur une MADA: contribution à l'étude de la qualité de l'énergie
électrique et de la continuité de service
30 avril 2010
1ère année formation CIES - 2006 - 80 heures
2ème année formation CIES - 2007 - 80 heures
Doctoriales 2008 - 2007 - 40 heures
3ème année formation CIES - 2008 - 80 heures
Application des supraconducteurs en génie électrique - 2008 - 20 heures
Electronique numérique - 2008 - 20 heures
A. Gaillard, S. Karimi, P. Poure, S. Saadate 2007. Fault Tolerant Back-to-Back Converter Topology for
Wind Turbine with Doubly Fed Induction Generator International Review of Electrical Engineering ,
August 2007, pp 629-636
S. Karimi, A. Gaillard, P. Poure, S. Saadate 2008. FPGA-Based Real-Time Power Converter Failure
Diagnosis for Wind Energy Conversion Systems IEEE Transactions on Industrial Electronics , Vol. 55,
Issue 12, pp. 4299-4308
A. Gaillard, P. Poure, S. Saadate, M. Machmoum 2009. Variable speed DFIG wind energy system for
power generation and harmonic current mitigation Renewable Energy , Volume 34, Issue 6, Pages
1545-1553
A. Gaillard, P. Poure, S. Saadate 2010. Détection de défauts des convertisseurs de puissance d’un système
éolien et validation par prototypage « FPGA in the loop » European Journal of Electrical Engineering , a
paraitre en avril 2010
S. Karimi, A. Gaillard, P. Poure, S. Saadate 2009. Current Sensor Fault Tolerant Control for WECS with
DFIG IEEE Transactions on Industrial Electronics , Vol. 56, Issue 11, pp. 4660-4670
A. Gaillard, P. Poure, S. Saadate 2010. Reactive Power Compensation and Active Filtering Capability of
WECS with DFIG Without Any Over-rating Wind Energy , a paraitre en 2010
A. Gaillard, S. Karimi, P. Poure, S. Saadate 2007. A Fault Tolerant Converter Topology for Wind Energy
Conversion System with Doubly Fed Induction Generator Proceedings of 12th European Conference on
Power Electronics and Applications (EPE 2007) , Procceedings on CD
A. Gaillard, P. Poure, S. Saadate 2008. Active Filtering Capability of WECS with DFIG for Grid Power
Quality Improvement Proceedings of IEEE International Symposium on Industrial Electronics 2008 ,
Proceedings on CD
A. Gaillard, P. Poure, S. Saadate 2009. Reconfigurable Control and Converter Topologies for Wind
Energy Systems with Switch Failure Fault Tolerance Capability Proceedings of IEEE Energy Conversion
Congress and Exposition (ECCE 2009) , Proceedings on CD
A. Gaillard 2008. Détection de défauts des convertisseurs de puissance à l’aide de FPGA : cas d’un
36 sur 101
08/04/2015 16:04
système éolien base sur une Machine Asynchrone à Double Alimentation (MADA) Actes de la 8ième
Conférence des Jeunes Chercheurs en Génie Electrique (JCGE’08) , Vol.1, pp. 202-207
A. GAILLARD, P. POURE, S. SAADATE 2010. Etude de la continuité de service dans les systèmes
électriques à l’aide de FPGA : méthodologie et résultats expérimentaux Actes du Congrès Electronique de
Puissance du Futur (EPF 2010)
A. Gaillard, P. Poure, S. Saadate, S. Pierfederici 2010. Reconfigurable Control and Converter Topology
for Wind Energy Conversion Systems with Switch Failure Fault Tolerance Capability IEEE Transactions
on Industry Applications
37 sur 101
08/04/2015 16:04
Monsieur Thomas GIROD
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Frédéric ALEXANDRE
Un modèle d'apprentissage multimodal pour un substrat distribué d'inspiration corticale
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
10 novembre 2010
:
Thomas Girod, Laurent Bougrain, Frédéric Alexandre 2007. Toward a robust 2D spatio-temporal
self-organization ESANN , http://hal.inria.fr/index.php?view_this_doc=inria-00164462&version=1&
halsid=nfrj5r154qsgiva646cojief44
Thomas Girod, Frédéric Alexandre 2008. Mécanisme d'auto-organisation corticale : un modèle basé sur
la règle de plasticité synaptique BCM NeuroComp , http://hal.inria.fr
/index.php?halsid=nfrj5r154qsgiva646cojief44&view_this_doc=hal-00331561&version=1
Thomas Girod, Frédéric Alexandre 2009. Effects of a Modulatory Feedback upon the BCM learning rule
CNS , http://hal.inria.fr/index.php?halsid=nfrj5r154qsgiva646cojief44&view_this_doc=inria-00402514&
version=1
38 sur 101
08/04/2015 16:04
Madame Nawal GUERMOUCHE
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Claude GODART
Etude des Interactions Temporisées dans la Composition de Services Web
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
23 juin 2010
:
Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, and Mohand-Said Hacid 2007.
Préservation de l'Intimité dans les Protocoles de Conversations. Extraction et Gestion des Connaissances
(EGC'07). , Volumes 2, Pages: 203-204
Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, and Mohand-Said Hacid 2007.
Privacy-Aware Web Service Protocol Replaceability. IEEE International Conference on Web Services
(ICWS'07) , pages: 1048-1055
Nawal Guermouche, Olivier Perrin, and Christophe Ringeissen. 2008. Timed Specification For Web
Services Compatibility Analysis. in Electr. Notes Theor. Comput. Sci , vol. 200, no 3, pages: 155-170
Nawal Guermouche, Olivier Perrin, and Christophe Ringeissen 2008. A Mediator Based Approach For
Services Composition International Conference on Software Engineering Research, Management and
Applications (SERA'08) , pages: 273-280
Nawal Guermouche and Claude Godart 2008. Toward Data Flow Oriented Services Composition
nternational IEEE Enterprise Distributed Object Computing Conference (EDOC'08). , pages: 379-385
Nawal Guermouche and Claude Godart 2008. imed Properties-Aware Asynchronous Web Service
Composition International Conference on Cooperative Information Systems (CoopIS'08) , pages: 44-61
Nawal Guermouche and Claude Godart 2009. imed Model Checking Based Approach for Web Services
Analysis IEEE International Conference on Web Services (ICWS'09) , pages: 213-221
Nawal Guermouche and Claude Godart 2009. Asynchronous Timed Web Service-Aware Choreography
Analysis International Conference on Advanced Information Systems (CAiSE'09) , pages: 364-378
Nawal Guermouche et Claude Godart 2010. Analyse de la compatibilité des services Web temporisés
INFORSID'10
Nawal Guermouche and Claude Godart 2010. Analyzing and Characterizing Choreography Timed
Compatibility (Extension from ICWS 2009) International Journal of Web Services Research
Nawal Guermouche, Boualem Benatallah, and Claude Godart. 2008. Data Messaging Based Approach
For Web Service Composition. IEEE International Conference on e-Business Engineering (ICEBE'08)
- Les processus collaboratifs.
- Les services Web.
- Programmation orientée objet C/C++, Java
- PHP, MySQL
39 sur 101
08/04/2015 16:04
Monsieur GILBERT HABIB
Docteur 2010
Doctorat :
Etablissement : Université Henri Poincaré Nancy 1
Encadrement :
Thierry DIVOUX
Qualité de service et qualité de contrôle d’un Système Discret Contrôlé en Réseau Sans Fil :
Sujet de thèse :
proposition d’une approche de co-conception appliquée au standard IEEE 802.11
Laboratoire de
thèse :
Date de
9 novembre 2010
soutenance :
Moniteur à l'IUT Nancy- Brabois 2007-2010 - 2007
Participation au module Latex "tex : un outil typographie pour le chercheur" 2009 UHP Nancy - 2007
Ecole d'été CIME/NEWOM ++ Mathématical foundations of complex networked information systems 2008
Ecole d'été JD-JN MACS 2009 Control and monitoring in discrete control - 2008
Participation au module R2-9 Systèmes discrets sûrs de fonctionnement Jean-Marc Faure 2009 UHP Nancy
- 2008
Gilbert Habib , Thierry Divoux , Jean-François Pétin 2009. Estimating maximum and minimum delays
for wireless discrete networked control systems , http://hal.archives-ouvertes.fr
/index.php?halsid=glcpmu93v2u7isruffllt9nfe3&view_this_doc=hal-00417699&version=2
Gilbert Habib , Pascale Marangé , Jean-François Pétin , Thierry Divoux 2010. Evaluation de
l'influence d'un réseau de communication sans fil sur la commande d'un SED , http://hal.archivesouvertes.fr/index.php?halsid=glcpmu93v2u7isruffllt9nfe3&view_this_doc=hal-00438902&version=1
Gilbert Habib , Jean-François Pétin, Thierry Divoux 2010. Control-based algorithm for the management
of IEEE 802.11e priorities within a Wireless Networked Discrete Control System , http://hal.archivesouvertes.fr/index.php?halsid=glcpmu93v2u7isruffllt9nfe3&view_this_doc=hal-00527087&version=1
40 sur 101
08/04/2015 16:04
Monsieur Zied HAJEJ
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Nidhal REZG
Contribution au développement de politiques de maintenance intégrée avec prise en compte du
droit de rétractation et de remanufacturing
9 decembre 2010
Ecole d'été EEA 2010 - 2009
Création d'entreprise - 2009 - 20 heures
Formations à la recherche
Approches innovantes d'analyse, de modélisation et d'évaluation des produits, des systèmes de production et
des services associés - 2009 - 15 heures
Evolution artificielle théorie et applications - 2009 - 26 heures
Z. Hajjej, S. Dellagi, N. Rezg 2009. An optimal production and maintenance plan for a manufacturing
system satisfying random demand , 12, PEDAC 2009
Hajjej Z., Dellagi S., Rezg N. 2009. Optimization of a maintenance strategy with considering the influence
of the production plan on the manufacturing system degradation , 6, 13th IFAC Symposium on Information
Control Problems In Manufacturing Moscow
Hajjej Z., Dellagi S., Rezg N 2009. Développement d’une politique de maintenance en se basant sur un
plan de production optimal satisfaisant une demande stochastique, en prenant en compte le taux de service ,
10, CPI’09
Hajjej Z., Dellagi S., Rezg N 2009. Optimal Production/Maintenance Planning Under Stochastic Random
Demand, Service level and Failure rate , 6, IEEE Conference on automation science and
engineering,Aout,2009, Bangalore, India
Hajjej Z., Dellagi S., Rezg N 2010. An Optimal Maintenance Planning According To Production Rate
Satisfying Random Demand , 6, Conference on Control and Fault Tolerant Systems (SysTol’10), October,
2010, Nice, France
Hajjej Z., Dellagi S., Rezg N 2010. Développement et optimisation d’une stratégie de maintenance
dépendante du plan de production et tenant compte de droit de rétractation , 6, 8th IFAC International
Conference of Modeling and Simulation, Mai,2010,Hammamet,Tunisie.
Hajjej Z., Dellagi S., Rezg N 2010. An Optimal Maintenance/Production Planning for a Manufacturing
System Under Random Failure Rate and a Subcontracting Constraint , 6, IEOM 2011),Janvier,2011, Kuala
Lumpur, Malaysia.
Hajej Zied, Dellagi Sofiene, Rezg Nidhal 2010. Optimal integrated maintenance/production policy for
41 sur 101
08/04/2015 16:04
randomly failing systems with variable failure rate IJPR , 25, IJPR
42 sur 101
08/04/2015 16:04
Monsieur Thê-Cuong HOANG
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Génie Electrique
Jean LEVEQUE, M. Bruno DOUINE
Caractérisation des supraconducteurs à haute température critique en vue d'application en
électrotechnique.
Laboratoire de
thèse :
Date de soutenance
6 decembre 2010
:
Module Obligatoire
Ecole d'Instrumentation Cryogénique - 2007
Moniteur - 2007
Cours d'Anglais Présentation de conférence - 2008
Application des supraconducteurs en génie électrique - 2009
S. Bendali, T. C. Hoàng, B. Douine, J. Lévêque, S. Mezani, D. Netter 2010. Measurements of AC losses
in BiSCOO HTS coil at different frequencies using electrical method Applied Superconductivity
Conference, ASC 2010, 01-06 Août 2010, Washington, USA
S. Bendali, D. Laloy, B. Napame, S. Mezani, D. Netter, T. C. Hoàng, T. Lubin, B. Douine 2009.
Measurements of AC losses in BiSCOO HTS coil 9th European Conference on Applied Superconductivity,
EUCAS’09, 13-17 September 2009, Dresden, GERMANY
T. C. Hoàng, B. Douine, J. Lévêque 2009. Compensation du champ magnétique propre dans un tube
supraconducteur HTc 9èmes Journées de Cryogénie et de Supraconductivité, 25-27 Mars 2009, Aussois,
FRANCE
B. Douine, T. C. Hoàng, J. Lévêque 2008. Simple and quick JC(B) determination with the first
magnetization curve of a superconducting cylinder 2008 Applied Superconductivity Conference, 17-22
August 2008, Chicago, Illinois, USA
Echange de recherche à Liège, Belgique
43 sur 101
08/04/2015 16:04
Monsieur Guillaume HOFFMANN
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Patrick BLACKBURN
Tâches d'inférence en logiques hybrides
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
13 decembre 2010
:
Doctoriales 2009 - 2008 - 30 heures
Cours Combinaison de Procédures de Décision - 2008 - 16 heures
Formations scientifiques interdisplinaires
ESSLLI 2007 - 2007 - 50 heures
Carlos Areces, Guillaume Hoffmann, and Alexandre Denis 2010. Modal logics with counting Proc. of
Wollic 2010 , http://hal.inria.fr/hal-00482337_v1/
Guillaume Hoffmann 2010. Lightweight hybrid tableaux Logic Journal of the IGPL.
Guillaume Hoffmann and Carlos Areces 2009. HTab: a terminating tableaux system for hybrid logic
Electron. Notes Theor. Comput. Sci.
Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, and Patrick Blackburn 2009. Experiments in
theorem proving for topological hybrid logic Electron. Notes Theor. Comput. Sci.
Haskell, C, Python, Eiffel, Java, C++, PHP, Assembleur Z80, Prolog, Caml, Darcs, Subversion, LATEX.
Novembre-Décembre 2009 : Buenos Aires, Argentine
44 sur 101
08/04/2015 16:04
Monsieur Clément Nicolas HOUTMANN
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Claude KIRCHNER
Représentation et interaction des preuves en superdeduction modulo
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
12 mars 2010
:
École Jeunes Chercheurs en Programmation 2007 - 2006
Formations CIES Monitorat - 2006
I-ML 3.5 Sémantique Computationnelle - 2006
I-ML 3.7 Sémantiques et preuves - 2006
Summer School Verification Techniques, Systems and Applications 2008 - 2008
Horatiu Cirstea, Clément Houtmann and Benjamin Wack 2006. Distributive Rho-Calculus
Proceedings of WRLA 2006 , ENTCS 176/4, pp.95-111, doi:10.1016/j.entcs.2007.06.010
Paul Brauner, Clément Houtmann and Claude Kirchner 2007. Principles of Superdeduction
Proceedings of LICS 2007 , pp. 41-50, http://doi.ieeecomputersociety.org/10.1109/LICS.2007.37
Paul Brauner, Clément Houtmann, Claude Kirchner 2007. Superdeduction at Work Rewriting,
Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
, LNCS 4600, pp. 132-166, http://dx.doi.org/10.1007/978-3-540-73147-4_7
Benjamin Wack, Clément Houtmann 2008. Strong normalisation in two Pure Pattern Type Systems
Mathematical Structures in Computer Science , 18(3): 431-465, doi:10.1017/S0960129508006749
Clément Houtmann 2008. Axiom Directed Focusing Post-Proceedings of TYPES 2008 , pp. 169-185,
http://dx.doi.org/10.1007/978-3-642-02444-3_11
Clément Houtmann 2010. Three Dimensional Proofnets for Classical Logic , http://hal.inria.fr/inria00426469/fr/
45 sur 101
08/04/2015 16:04
Madame Pauline KLEIN
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Mathématiques
Xavier ANTOINE, M. Christophe BESSE
Construction et analyse de conditions aux limites artificielles pour des équations de
Schrödinger avec potentiels et non linéarités
7502
3 novembre 2010
Cours de Master 2 sur les semi-groupes - 2007
Doctoriales de Lorraine 2009 - 2008
Cours d'une semaine Numerical schemes for dispersive equations au centre BCAM à Bilbao - 2009
Cours de Master 2 sur le contrôle d'équations aux dérivées partielles - 2009
Monitorat et formations du CIES - 2009
X. Antoine, C. Besse, et P. Klein 2009. Absorbing boundary conditions for the one-dimensional
Schrödinger equation with an exterior repulsive potential Journal of Computational Physics , 228(2),
312–335
X. Antoine, C. Besse, et P. Klein 2010. Open boundary conditions and computational schemes for
Schrödinger equations with general potentials and nonlinearities Some Problems on Nonlinear Hyperbolic
Equations and Applications , The French-Chinese Summer Institute on Applied Mathematics held at
Fudan University, Shanghaï, September 1-21, 2008. Edited by Ta-Tsien Li, Yue-Jun Peng, Bopeng
Peng. Series in Contemporary Applied Mathematics, CAM15. Higher Education Press, Beijing ;
World Scientific Publishing Co. Pte. Ltd., Singapore
X. Antoine, C. Besse et P. Klein 2011. Numerical solution of time-dependant nonlinear Schrödinger
equation using domain truncation techniques coupled with relaxation scheme. Laser Physics
X. Antoine, C. Besse et P. Klein 2011. Absorbing boundary conditions for Schrödinger equations with
general potentials and nonlinearities SIAM Journal of Scientific Computing
P. Klein, X. Antoine, C. Besse et M. Ehrhardt 2011. Absorbing boundary conditions for solving
N-dimensional stationary Schrödinger equations with unbounded potentials and nonlinearities
Communication in Computational Physics
46 sur 101
08/04/2015 16:04
Monsieur Alexander KRUPPA
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Paul ZIMMERMANN
Améliorations de la multiplication et de la factorisation d'entier
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
28 janvier 2010
:
P. Gaudry A. Kruppa P. Zimmermann 2007. A GMP-based implementation of Schönhage-Strassen's
large integer multiplication algorithm ISSAC 2007: Proceedings of the 2007 International Symposium on
Symbolic and Algebraic Computation , Pages 167-174, http://portal.acm.org
/citation.cfm?id=1277548.1277572
Peter L. Montgomery Alexander Kruppa 2008. Improved Stage 2 to P±1 Factoring Algorithms 8th
International Symposium on Algorithmic Number Theory - ANTS-VIII , Lecture Notes in Computer
Science vol. 5011 Pages 180-195, http://www.springerlink.com/content/y6v2j65135600551/
Alexander Kruppa 2009. A Software Implementation of ECM for NFS INRIA rapport de recherche ,
http://hal.inria.fr/inria-00419094/en/
Thorsten Kleinjung and Kazumaro Aoki and Jens Franke and Arjen Lenstra and Emmanuel Thomé
and Joppe Bos and Pierrick Gaudry and Alexander Kruppa and Peter Montgomery and Dag Arne
Osvik and Herman te Riele and Andrey Timofeev and Paul Zimmermann 2010. Factorization of a
768-bit RSA modulus , http://eprint.iacr.org/2010/006
47 sur 101
08/04/2015 16:04
Madame Raza LAHIANI
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Jean-Claude LUDWIG
Analyse harmonique sur certains groupes de Lie à croissance polynomiale
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
9 mars 2010
:
Raza Lahiani Carine Molitor-Braun 2009. A smooth family of intertwining operator Journal of the
Mathematical Society of Japan
-Une bonne maitrise de l'anglais (participer à un cours d'anglais à l'Université du Luxembourg).
-Participation au groupe de travail (activement et passivement) d'analyse harmonique.
-Participation active à des journées d'analyse harmoniques (octobre 2009 à Metz)
-Participation passive à des colloques et conférences internationales pendant les 4 ans de thèse,
48 sur 101
08/04/2015 16:04
Monsieur Vincent LAURAIN
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Hugues GARNIER
Contributions à l'identification de modèles paramétriques non linéaires. Application à la
modélisation de bassins versants ruraux
19 octobre 2010
Cours de Master Traitement statistique du signal : théorie de l'estimation - 2007
Monitorat - 2007
UE Intégration système : commande avancée et systèmes embarqués - 2009 - 20 heures
V. Laurain, M. Gilson, R. Tóth and H. Garnier. 2010. V. Laurain, M. Gilson, R. Tóth and H. Garnier.
Refined Instrumental Variable Methods for Identification of LPV Box-Jenkins Models. Automatica, Vol. 46,
Issue 6 : 959–967, June 2010. , Vol. 46, Issue 6 : 959–967
V. Laurain, R. Tóth, M. Gilson and H. Garnier. 2010. V. Laurain, R. Tóth, M. Gilson and H. Garnier.
Direct Identification of Continuous-time LPV Input/ Ouput Models. Submitted to special issue
“Continuous-time model Identification”, IET Control Theory & Applications, accepted. IET Control
Theory & Applications
V. Laurain, M. Gilson, R. Tóth and H. Garnier 2010. V. Laurain, M. Gilson, R. Tóth and H. Garnier.
Identification of LPV Box-Jenkins Models via Optimal Refined Instrumental Variable Methods.
Proceedings of the American Control Conference 2010, invited session “Identification of LPV models”,
Baltimore, Maryland, USA, June 2010. Proceedings of the American Control Conference 2010
2010. V. Laurain, M. Gilson and H. Garnier. Refined Instrumental variables for Hammerstein models. In
System Identification, Environmetric Modelling and Control Systems Design, L. Wang, H. Garnier, T.
Jakeman (Eds), Springer Verlag, to appear, 2011.
2010. V. Laurain, M. Gilson, R. Tóth and H. Garnier. Chapter Refined Instrumental variables for LPV
models. In Identification of LPV systems, C. Novara, D. Rivera, T. Perdicoúlis, J. Ramos (Eds), World
Scientific, to appear, 2011.
2010. V. Laurain, M. Gilson, S. Payraudeau, C. Grégoire and H. Garnier. A new data-based modelling
method for identifying parsimonious nonlinear rainfall/flow models. International Congress on
Environmental Modelling and Software (IEMSS 2010), Ottawa, Ontario, Canada, July 2010.
2010. V. Laurain, M. Gilson, S. Payraudeau, C. Grégoire and H. Garnier. Identification de modèles LPV :
application à la modélisation pluie/débit d’un bassin versant viticole. Conference Internationale
Francophone d’Automatique (CIFA’2010), Nancy, France, June 2010.
2009. V. Laurain, M. Gilson and H. Garnier. Refined Instrumental Variable Methods for Identifying
Hammerstein Models Operating in Closed Loop. Proceedings of the 48th IEEE Conference on Decision and
Control (CDC’2009), Shanghai, China, December 2009.
2009. D. Kuss, V. Laurain, H. Garnier, M. Zug, J. Vasquez. Data-based mechanistic rainfall-runoff
continuous-time modelling in urban context. 15th IFAC Symposium on System Identification (SYSID’
49 sur 101
08/04/2015 16:04
2009), Saint-Malo, France, July 2009.
2009. H. Garnier, M. Gilson, V. Laurain. The CONTSID toolbox for Matlab : extensions and latest
developments. 15th IFAC Symposium on System Identification (SYSID 2009), Saint-Malo, France, July
2009.
2008. V. Laurain, M. Gilson and H. Garnier, P. C. Young. Refined Instrumental Variable Methods for
Identification of Hammerstein Continuous-time Box-Jenkins Models. Proceedings of the 47th IEEE
Conference on Decision and Control (CDC’2008), Cancún, Mexico, December 2008.
2010. V. Laurain, M. Gilson, S. Payraudeau, C. Grégoire and H. Garnier. Data-based modelling of rainfall/
runoff relationship in an agricultural catchment. European Geosciences Union General Assembly 2010,
Vienna, Austria, May 2010.
2010. V. Laurain, M. Gilson, R. Tóth and H. Garnier. Identification de modèles LPV Box-Jenkins :
application à la modélisation de la relation pluie/débit dans un bassin versant rural, Réunion du Groupe de
Travail “Identification des Systèmes” du GdR MACS, Paris, March 2010
2009. V. Laurain, M. Gilson, R. Tóth and H. Garnier. Refined Instrumental Variable Methods for
Identification of LPV Output Error and Box-Jenkins Models. Annual Workshop of the European Research
Network on System Identification (ERNSI’2009), Vorau, Austria, September 2009.
2008. V. Laurain, M. Gilson, H. Garnier, P. C. Young. An IV-based method for non-linear continuoustime
Hammerstein model identification. Application to rainfall-flow modelling. Annual Workshop of the
European Research Network on System Identification (ERNSI’2008), Sigtuna, Sweden, September 2008.
50 sur 101
08/04/2015 16:04
Madame Caroline LAVECCHIA
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
UNIVERSITE NANCY 2
Kamel SMAILI
Les triggers inter-langues pour la traduction automatique statistique
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
23 juin 2010
:
C. Latiri, K. Smaïli, C. Lavecchia, C. Nasri et D. Langlois 2011. Phrase-based machine translation based
on text mining and statistical language modeling techniques International Journal of Computational
Linguistics and Applications
C. Latiri, K. Smaili, C. Lavecchia et D. Langlois 2010. Mining Monolingual and Bilingual Corpora
Intelligent Data Analysis , Volume 14(6)
S. Raybaud, C. Lavecchia, D. Langlois et K. Smaïli 2009. Word- and Sentence-level Confidence
Measures for Machine Translation Annual Meeting of EAMT 2009
Sylvain Raybaud, Caroline Lavecchia, David Langlois et Kamel Smaïli 2009. New Confidence
Measures for Statistical Machine Translation International Conference on Agents and Artificial
Intelligence
Caroline Lavecchia, Kamel Smaïli et David Langlois 2008. Discovering Phrases in Machine Translation
by Simulated Annealing Interspeech 2008
Caroline Lavecchia, Kamel Smaïli et David Langlois 2008. Phrase-Based Machine Translation Using
Simulated Annealing Algorithm International Conference on Language Resources and Evaluation
Caroline Lavecchia, Kamel Smaïli et David Langlois 2007. Machine translation on movie subtitles
Proceedings of the Translating and the Computer 29 Conference
Caroline Lavecchia, Kamel Smaïli, David Langlois et Jean-Paul Haton 2007. Using inter-lingual
triggers for machine translation proceedings of INTERSPEECH
Caroline Lavecchia, Kamel Smaïli et David Langlois 2007. Building parallel corpora from movies
InternationalWorkshop on Natural Language Processing and Cognitive Science
Caroline Lavecchia, Kamel Smaïli et Jean-Paul Haton 2006. How to handle gender and number
agreement in statistical language models Proceedings of INTERSPEECH
Kamel Smaïli , Caroline Lavecchia et Jean-Paul Haton 2006. Linguistic features modeling based on
Partial New Cache International Conference on Language Resources and Evaluation
Caroline Lavecchia, Kamel Smaïli et David Langlois 2008. Une alternative aux modèles de traduction
statistique d'IBM : Les triggers inter-langues Actes TALN
51 sur 101
08/04/2015 16:04
Monsieur Phuong LE HONG
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Informatique
UNIVERSITE NANCY 2
Laurent ROMARY, M. Azim ROUSSANALY
Elaboration d'un composant syntaxique à base de grammaires d'arbres adjoints pour le
Vietnamien
Laboratoire de
thèse :
Date de soutenance
22 octobre 2010
:
Développer ses savoir être pour optimiser ses savoir faire - 2008
Cours
Corpus linguistics, linguistic resources and normalisation - 2007
Discourse and Dialogue Representation - 2007
Formalismes grammaticaux - 2007
Réseaux neuronaux. Architectures et algorithmes - 2007
Phuong Le-Hong, Thi Minh Huyen Nguyen, Phuong Thai Nguyen, Thi Ha Phan 2010. Automated
extraction of tree adjoining grammars from a treebank for Vietnamese Journal of Computer Science and
Cybernetics
Phuong Le-Hong, Thi Minh Huyen Nguyen, Phuong Thai Nguyen, Azim Roussanaly 2010. Automated
extraction of tree adjoining grammars from a treebank for Vietnamese Proceedings of The 10th
International Conference on Tree Adjoining Grammars and Related Formalisms, Yale University ,
http://sites.google.com/site/tagplus10/
Phuong Le-Hong, Thi Minh Huyen Nguyen, Mathias Rossignol, Azim Roussanaly 2010. An empirical
study of maximum entropy approach for part-of-speech tagging of Vietnamese texts Proceedings of TALN
2010
Phuong Le-Hong, Thi Minh Huyen Nguyen, Azim Roussanaly 2009. Finite-state description of
Vietnamese reduplication Proceedings of ALR 2009
Phuong Thai Nguyen, Xuan Luong Vu, Thi Minh Huyen Nguyen, Van Hiep Nguyen, Phuong Le-Hong
2009. Building a large syntactically-annotated corpus of Vietnamese Proceedings of LAW III
Phuong Le-Hong, Thi Minh Huyen Nguyen, Azim Roussanaly 2008. A metagrammar for Vietnamese
LTAG Proceedings of The 9th International Conference on Tree Adjoining Grammars and Related
Formalisms, Yale University
Phuong Le-Hong, Tuong Vinh Ho 2008. A maximum entropy approach to sentence boundary detection of
Vietnamese texts, L. H. Phuong, H. T. Vinh, RIVF 2008, Vietnam, 2008. Proceedings of IEEE
International Conference on Research, Innovation and Vision for the Future
Thi Minh Huyen Nguyen, Mathias Rossignol, Phuong Le-Hong, Quang Thang Dinh, Cam Tu Nguyen
2008. Word segmentation of Vietnamese texts: a comparison of approaches Proceedings of the 6th
52 sur 101
08/04/2015 16:04
Language Resources and Evaluation Conference LREC 2008
Phuong Le-Hong, Thi Minh Huyen Nguyen, Azim Roussanaly, Tuong Vinh Ho 2008. A hybrid
approach to word segmentation of Vietnamese texts Proceedings of the 2nd International Conference on
Language and Automata Theory and Applications, LATA 2008, Springer LNCS 5196
Phuong Le-Hong, Thi Minh Huyen Nguyen, Laurent Romary, Azim Roussanaly 2006. A lexicalized
tree adjoining grammar for Vietnamese. Proceedings of the 5th International Conference on Language
Resources and Evaluation, Genoa, Italia, 2006
53 sur 101
08/04/2015 16:04
Madame Yanjun LI
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Informatique
Ye Qiong SONG, M. René SCHOTT
Support de la Qualité de Service dans les Réseaux de Capteurs sans Fil pour la Détection
D'evenements
Laboratoire de
thèse :
Date de soutenance
10 novembre 2010
:
0. *Intl Journals :* [1] Y. Li, C. S. Chen, Y. Q. Song, Z. Wang, Y. Sun. Enhancing real-time delivery in
wireless sensor networks with two-hop information. /IEEE Transactions on Industrial Informatics/. 2009,
5(2): 113-122. [2] Y. Li, Y. Q. Song, R. Schott, Z. Wang, Y. Sun. Impact of link unreliability and asymmetry
on the quality of connectivity in large-scale sensor networks. /Sensors/, 2008, 8(10): 6674-6691. *Intl
Conferences :* [3] Y. Li, Y.Q. Song, Y. Zhu, R. Schott, “Deploying Wireless Sensors for Differentiated
Coverage and Probabilistic Connectivity”, IEEE WCNC2010, Sydney (Australia), April 18-21, 2010. [4] Y.
Li, C. S. Chen, Y. Q. Song, Z. Wang, Y. Sun. A two-hop based real-time routing protocol for wireless sensor
networks. In /Proceedings of the IEEE International Workshop on Factory Communication Systems
(WFCS)/, Dresden, Germany, 2008. [5] C. S. Chen, Y. Li, Ye-Qiong Song. An exploration of geographic
routing with k-hop based searching in wireless sensor networks. In /Proceedings of IEEE International
Conference on Communications and Networking in China (ChinaCom),/ China, 2008. [6] Y. Li, C. S. Chen,
Y. Q. Song, Z. Wang. Real-time QoS support in wireless sensor networks: a survey. In /Proceedings of the
IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems (FET)/,
Toulouse, France, 2007. [7] Y. Li, Y. Q. Song, Z. Wang. Wireless sensor networks for wildfire monitoring.
In /Proceedings of IEEE World Congress on Intelligen Control and Automation(WCICA)/, Dalian, China,
2006. [8] Y. Li, J. Chen, Z. Wang. A reliable routing protocol design for wireless sensor networks. In
/Proceedings of the IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS),/
Washington D.C., 2005. *Technical reports :* [9] Y. Li, C. S. Chen, and Y.-Q. Song. A technical review of
QoS support for real-time wireless sensor networks. /INRIA Technical Report RR6369/, France, 2007.
54 sur 101
08/04/2015 16:04
Monsieur Philippe MARIN
Docteur 2010
Doctorat :
Sciences de l'architecture
Etablissement : Institut National Polytechnique de Lorraine
Encadrement : Jean-Claude BIGNON
Exploration des mécanismes évolutionnaires appliqués à la conception architecturale Mise en
Sujet de thèse :
oeuvre d’un algorithme génétique guidé par les qualités solaires passives de l’enveloppe
Laboratoire de
MAP - Modèles et simulations pour l'Architecture et le Patrimoine - UMR 3495
thèse :
Date de
31 mai 2010
soutenance :
Communication scientifique en anglais - 2005 - 30 heures
Images de synthèse et communication du projet - 2007 - 30 heures
Modélisation et architecture non standard - 2007 - 30 heures
Modélisation avancée - 2008 - 30 heures
Communication orale en anglais - 2009 - 30 heures
Marin P., Bignon J.-C., Lequay H. 2008. Integral evolutionary design, integrated to early stage of
architectural design process DDSS 08 , http://hal.archives-ouvertes.fr
/index.php?halsid=jsq60k1j5552ia3rp73is7pf07&view_this_doc=halshs-00348540&version=1
Marin P., Bignon J.-C., Lequay H. 2008. Generative exploration of architectural envelope responding to
solar passive qualities. Ecaade 08 , http://hal.archives-ouvertes.fr
Marin P., Bignon J.-C., Lequay H. 2008. A Genetic Algorithm for use in Creative Design Processes.
Acadia 08 , http://hal.archives-ouvertes.fr/index.php?halsid=jsq60k1j5552ia3rp73is7pf07&
view_this_doc=halshs-00348546&version=1
Marin P., Bignon J.-C., Lequay H. 2009. Paramètres environnementaux et mécanismes de conception
évolutionnaire. SCAN 09 , http://hal.archives-ouvertes.fr/index.php?halsid=jsq60k1j5552ia3rp73is7pf07&
view_this_doc=halshs-00440272&version=1
Philippe Marin, Jean-Claude Bignon, Lequay Hervé 2009. Outil évolutionnaire d’aide à la conception
architecturale créative. CAADFutures09 , http://hal.archives-ouvertes.fr
Marin P., Bignon J.C., SHADKHOU S., Wetzel J.P. 2009. From nature to manufacture. F2F Continuum
, http://hal.archives-ouvertes.fr/index.php?halsid=jsq60k1j5552ia3rp73is7pf07&view_this_doc=halshs00445327&version=1
55 sur 101
08/04/2015 16:04
Monsieur Kamel MENIGHED
Docteur 2010
Doctorat :
Ecole doctorale :
Christophe AUBRUN
Commandes coopératives embarquées et tolérantes aux défauts
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
23 septembre 2010
:
FAULT TOLERANT CONTROL SYSTEMS - 2009
K. Menighed, J.J. Yame and C. Aubrun 2010. An improved robust adaptive observer for actuator fault
detection International Journal of Control, Automation and Systems
K. Menighed, J.J. Yame and C. Aubrun 2010. Sligthly Improved Robust Adaptive Observer for Actuator
Fault Detection 11 th International Conference on Control, Automation, Robotics & Vision
K. Menighed, J.J. Yame and C. Aubrun 2010. Modification of an Adaptive Observer to Improve Its
Performance in Actuator Fault Detection and Estimation 18 th Mediterranean Conference on Control and
Automation
K. Menighed, C. Aubrun and J.J. Yame 2009. Distributed State Estimation and Model Predictive
Control: Application to Fault Tolerant Control 7th IEEE International Conference on Control &
Automation , https://controls.papercept.net/conferences/scripts/abstract.pl?ConfID=11&Number=450
K. Menighed, C. Aubrun and J.J. Yame 2009. Distributed State Estimation and Model Predictive Control
for linear interconnected system: Application to Fault Tolerant Control 7th Whorkshop on Advanced
Control and Diagnosis , http://www.issi.uz.zgora.pl/ACD_2009/program/Papers/49_ACD_2009.pdf
C. Aubrun, C. Join, and K. Menighed 2006. Multi-red controller for router fault accommodation 6th
IFAC Symposium on Fault Detection, Supervision and Safety of Technical Process
56 sur 101
08/04/2015 16:04
Madame Ines MOUAKHER
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
UNIVERSITE NANCY 2
Jeanine SOUQUIERES, M. Francis ALEXANDRE
Vérification et correction des spécifications B : application à l'assemblage de composants
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
27 novembre 2010
:
57 sur 101
08/04/2015 16:04
Monsieur Renaud MOULIN
Docteur 2010
Doctorat :
Ecole doctorale :
Génie Electrique
Jean LEVEQUE
Dimensionnements et essais de moteurs supraconducteurs
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
22 juin 2010
:
Vector Fields - introduction course - 2006 - 28 heures
Application des supraconducteurs en génie électrique - 2007 - 20 heures
Doctoriale Lorraine - 2007 - 35 heures
Renaud Moulin, Jean Lévêque, Lionel Durantay, Bruno Douine, Denis Netter et Abderrezak.
Rezzoug 2010. Superconducting Multi-Stacks Inductor for High Temperature Superconductor Motors
Using Diamagnetism Property of Bulk Material IEEE Transactions on Industrial Electronics , vol 57 9
pages
Moulin, Renaud; Leveque, Jean; Mercier, Jean Charles; Rezzoug, Abderrezak; Netter, Denis 2008.
Superconducting multi-stacks motors using the diamagnetism property of bulk material ICEM 2008 , 4
pages + poster, http://ieeexplore.ieee.org/search/freesearchresult.jsp?queryText=moulin&
openedRefinements=*&searchField=Search%20All&searchWithin=Superconducting%20MultiStacks%20Inductor&pageNumber=1&resultAction=REFINE
Renaud Moulin, Jean Lévêque, Denis Netter, Jean Charles Mercier, Smail Mezani et Abderrezak
Rezzoug 2008. Magnetic Flux Concentration HTS Motor Applied Superconductivity Conference , 1 page
+ poster
Renaud Moulin, Jean Lévêque, Jacques Enon, Daniel Durand et Bruno Douine 2009. Ulcomap HTS
Synchronous Motor European Conference on Applied Superconductivity , poster
Renaud Moulin, Jean Lévêque, Ramdane Lateb et Lionel Durantay 2009. Moteur Supraconducteur
HTS ULCOMAP Journées de Cryogénie et de Supraconductivité - Aussois , 1 poster
58 sur 101
08/04/2015 16:04
Monsieur Abdelhak MOUSSAOUI
Docteur 2010
Doctorat :
Etablissement : Université Paul Verlaine Metz
Encadrement :
Alain Pruski
Étude, analyse et réalisation d'un système de choix automatique de scènes dans le cadre d'une
Sujet de thèse :
thérapie par mise en situation virtuelle pour la phobie sociale.
Laboratoire de
LASC Laboratoire d'Automatique humaine et de Sciences Comportementales - EA 3467
thèse :
Date de
9 novembre 2010
soutenance :
A. Moussaoui, A. Pruski, Y.S. Bendiouis, B. Cherki 2010. Emotion regulation in a virtual reality
exposure therapy: a social phobia case Modelling, Measurement, Control Journal, supplement Modelling
A. Moussaoui , A. Pruski ., B. Cherki 2010. Interaction management between social agents and human
Journal of Automation, Mobile Robotics and Intelligent Systems
A. Moussaoui, R. Otmani, A. Pruski 2010. A comparative study of incremental algorithms for computing
the inverse kinematics of redundant articulated systems Journal of Automation, Mobile Robotics and
Intelligent Systems , vol. 4, no. 3
R. Otmani, A. Moussaoui, A. Pruski 2009. A new approach to indoor accessibility », International
Journal of Smart Home , Vol.3, No.4
A. Moussaoui, A. Pruski, B. Cherki 2009. Emotional regulation in the framework of a virtual reality
therapy IEEE Transactions on Multimedia
A. Moussaoui, A. Pruski, B. Cherki 2010. Virtual agent management in the framework of social
interactions International Journal of Social Robotics
A. Moussaoui, A. Pruski 2010. Virtual reality for the accessibility assessment of a build environment for a
wheelchair user Technology and Disability, IOS press
59 sur 101
08/04/2015 16:04
Madame Anca-Maria NAGY
Docteur 2010
Doctorat :
Ecole doctorale :
José RAGOT, M. Gilles MOUROT
Analyse et synthèse de multimodèles pour le diagnostic. Application à une station d'épuration
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
26 novembre 2010
:
LMI, Optimization and polynomial methods - 2008 - 21 heures
Nonlinear Oscillators and Dynamic Systems - 2008 - 27 heures
Anglais - écrit scientifique - 2009 - 15 heures
Anglais Ecrit Scientifique - 2009
Nagy, A.M.; Marx, B.; Mourot, G.; Ragot, J.; Schutz, G. 2009. State estimation of the three-tank system
using a multiple model 48th IEEE Conference on Decision and Control (CDC’09) , http://www.google.fr
/search?hl=fr&q=State+estimation+of+the+three-tank+system+using+a+multiple+model+Nagy&
btnG=Rechercher&meta=&aq=f&oq=
Anca Maria Nagy, Gilles Mourot, José Ragot, Georges Schutz 2009. Modélisation d’un réacteur
biologique à l’aide de multimodèles STIC&Environnement 2009
Anca Maria Nagy, Gilles Mourot, Benoît Marx, Georges Schutz, José Ragot 2009. Model structure
simplification of a biological reactor 15th IFAC Symposium on System Identification, SYSID 2009 ,
http://www.sysid2009.org/
Nagy, A. M.; Mourot, G.; Ragot, J.; Schutz, G. 2009. Model structure simplification of Activate Sludge
Model no.1 using Multiple Models 1st IWA Benelux Regional Young Water Professionals Conference ,
http://www.citg.tudelft.nl/live/pagina.jsp?id=010ff3a4-2802-4e98-9b6f-8887ae6c0ab0&lang=en
Anca Maria Nagy, Gilles Mourot, Benoit Marx, José Ragot and Georges Schutz 2010. Systematic
Multimodeling Methodology Applied to an Activated Sludge Reactor Model Ind. Eng. Chem. Res. ,
Article ASAP (As Soon As Publishable), http://pubs.acs.org/doi/abs/10.1021/ie8017687
Nagy A.M., Mourot G., Marx B., Ragot J. et Schutz G. 2010. Modélisation d'un réacteur biologique à
l'aide d'une structure multimodèle. Méthode analytique d'obtention d'un multimodèle Journal Européen
des Systèmes Automatisés , 44(4-5), pp. 423-443, http://jesa.revuesonline.com/article.jsp?articleId=14788
Nagy Kiss A.M., Marx B., Mourot G., Schutz G., Ragot J. 2010. State estimation of two-time scale
multiple models with unmeasurable premise variables. Application to biological reactors 49th IEEE
Conference on Decision and Control
Nagy Kiss A.M., Marx B., Mourot G., Ragot J., Schutz G. 2010. State estimation for wastewater
treatment plant with slow and fast dynamics using multiple model 18th IEEE Mediterranean Conference
on Control and Automation , pp. 1353 - 1358, http://ieeexplore.ieee.org/Xplore/login.jsp?url=http:
//ieeexplore.ieee.org/iel5/5538459/5547600/05547862.pdf%3Farnumber%3D5547862&authDecision=-201
60 sur 101
08/04/2015 16:04
Nagy A.M., Mourot G., Marx B., Schutz G., Ragot J. 2010. Méthode générale de sélection de
multimodèles 6ème Conférence Internationale Francophone d'Automatique , http://hal.archives-ouvertes.fr
/view_by_stamp.php?&halsid=0apnno7ddubleefij2ki52dco1&label=CRAN&langue=en&
action_todo=view&id=hal-00499303&version=1
Nagy Kiss A.M., Marx B., Mourot G., Ragot J. 2010. Estimation d'état des multimodèles à deux échelles
de temps. Application à un réacteur biologique 1er Colloque International Francophone, Ingénierie et
Environnement
Nagy A.M., Mourot G., Ragot J., Schutz G., Gillé S. 2008. Modélisation d'un réacteur biologique à l'aide
de multimodèle 3ème Journées Doctorales en Hydrologie Urbaine , http://shfastee.free.fr/activites/actesjdhu-2008.pdf
Nagy A.M., Marx B., Mourot G., Ragot J., Schutz G. 2010. State estimation of two-time scale multiple
models. Application to wastewater treatment plant Control Engineering Practice
Langages de programmation (Matlab, Scilab, Pascal);
Bureautique: logiciels (LATEX , Open Office/Microsoft Office)
Capacité de travail en équipe; Recherche documentation; Diffusion des connaissances; Gestion d'un projet
sur 3 ans; Présentation en anglais et en français; gestion multi-cultures
61 sur 101
08/04/2015 16:04
Monsieur Dinh-An NGUYEN
Docteur 2010
Doctorat :
Ecole doctorale :
Génie Electrique
Stéphane RAEL, Mme Melika HINAJE
Modélisation dynamique d'une pile à combustible de type PEM
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
9 juillet 2010
:
Anglais - 2008 - 40 heures
M. Hinajea, D. Nguyena, S. Raëla, B. Davata, C. Bonnetb and F. Lapicqueb 2010. Impact of defective
single cell on the operation of polymer electrolyte membrane fuel cell stack International Journal of
Hydrogen Energy , Volume: 34 Page: 6364-6370, http://www.sciencedirect.com
/science?_ob=ArticleURL&_udi=B6V3F-4WMD2G3-6&_user=4898244&
_coverDate=08%2F31%2F2009&_rdoc=1&_fmt=high&_orig=search&_sort=d&_docanchor=&view=c&
_searchStrId=1210593747&_rerunOrigin=google&_acct=C000029338&_version=1&_urlVer
D.A. Nguyen, W. Kaewmanee, M. Hinaje, S. Raël, B. Davat 2009. Comparison between voltage and
current boundary conditions in PEMFC model ECS Transactions , Volume 26, pp 143-153,
http://www.ecsdl.org/getabs/servlet/GetabsServlet?prog=normal&
id=ECSTF8000026000001000143000001&idtype=cvips&gifs=yes&ref=no
W. Kaewmanee, D. A. Nguyen, M. Hinaje, P. Thounthong, B. Davat 2010. An Equivalent Circuit Model
for Gas Diffusion Layers of PEMFC ECS Transactions , Volume 26, pp 39-50, http://www.ecsdl.org
/getabs/servlet/GetabsServlet?prog=normal&id=ECSTF8000026000001000039000001&idtype=cvips&
gifs=yes&ref=no
M. Hinajea, D.A. Nguyena, C. Bonnetb, F. Lapicqueb, S. Raëla and B. Davata 2011. 2D modeling of a
defective PEMFC International Journal of Hydrogen energy , xxx(2011) I-7, http://caocao.myipcn.org
/science/article/pii/S0360319911013954
Informatique: Comsol Multiphysics, Matlab, Saber, ATP-EMTP, Delphi, C++
62 sur 101
08/04/2015 16:04
Monsieur Thanh Phuong NGUYEN
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Isabelle DEBLED-RENNESSON
Etude des courbes discrètes: applications en analyse d'images
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
30 septembre 2010
:
FLE 1 - 2009
FLE 2 - 2009
Thanh Phuong NGUYEN, Isabelle DEBLED RENNESSON 2010. A discrete geometry approach for
dominant point detection Pattern Recognition , volume 44, issue 1, http://dx.doi.org/10.1016
/j.patcog.2010.06.022
Thanh Phuong NGUYEN, Isabelle DEBLED RENNESSON 2008. On the local properties of digital
curves International Journal of Shape Modeling , volume 14, issue 2, http://www.worldscinet.com/ijsm/14
/1402/S0218654308001105.html
Thanh Phuong Nguyen, Bertrand Kerautret, Isabelle Debled-Rennesson, Jacques-Olivier Lachaud
2010. Unsupervised, Fast and Precise Recognition of Digital Arcs in Noisy Images International
Conference on Computer Vision and Graphics , Volumne 6375 of LNCS, pp 59-68,
http://www.springerlink.com/content/uwm51011526146t2/
Thanh Phuong NGUYEN, Isabelle DEBLED RENNESSON 2010. A multiscale approach to decompose
a digital curve into meaningful parts International Conference on Pattern Recognition , pp 1072–1075 ,
http://www.icpr2010.org/
Thanh Phuong NGUYEN, Isabelle DEBLED RENNESSON 2010. Circularity measuring in linear time
International Conference on Pattern Recognition , pp 2098–2101 , http://www.icpr2010.org/
Thanh Phuong NGUYEN, Isabelle DEBLED RENNESSON 2009. Free-parameter method for polygonal
representation of noisy curves International Workshop on Combinatorial Image Analysis , pp. 65–78 ,
http://www.loria.fr/~nguyentp/pubs/IWCIA_NguyenDebled.pdf
Thanh Phuong NGUYEN, Isabelle DEBLED RENNESSON 2009. Fast and robust dominant point
detection on digital curves International Conference on Image Processing , pp. 953–956 ,
http://www.google.com/url?sa=t&source=web&cd=4&ved=0CC4QFjAD&url=http%3A%2F
%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5414027&rct=j&
q=Fast%20and%20robust%20dominant%20point%20detection%20on%20digital%20curves%2C&
ei=6a2sTIfAM6SJ4gbLyMngB
Thanh Phuong NGUYEN, Isabelle DEBLED RENNESSON 2008. Curvature and torsion estimator for
3D curves International Symposium on Visual Computing , Volume 5358/2008 of LNCS, 688-699,
http://www.springerlink.com/content/04u0015032683778/
Thanh Phuong Nguyen and Isabelle Debled-Rennesson 2009. Curvature estimation in noisy curves
International Conference on Computer Analysis of Images and Patterns , Volume 4673/2007, 474-481,
63 sur 101
08/04/2015 16:04
http://www.springerlink.com/content/r12406152757702l/
Java, J2EE, Latex, Linux
64 sur 101
08/04/2015 16:04
Monsieur Thuan NGUYEN QUANG
Docteur 2010
Doctorat :
Informatique
Encadrement :
Hoai-An LE THI
Approches locales et globales basées sur la programmation DC et DCA pour des problèmes
Sujet de thèse :
combinatoires en variables mixtes 0-1. Applications à la planification opérationnelle.
Laboratoire de
LITA - Laboratoire D'Informatique Théorique et Appliquée - EA 3097
thèse :
Date de
10 novembre 2010
soutenance :
Procédures de décision pour la vérification des programmes(I-ML 3.10) - 2006
Théorie de la sécurité (I-ML 3.8) - 2006
Géométrie et analyse sur des variétés - 2009
Introduction aux équations aux dérivées partielles - 2009 - 40 heures
Anglais - 2009
Français destinés aux étudiants étrangers - 2009 - 48 heures
Le Thi Hoan An, Nguyen Quang Thuan, Huynh Tuong Nguyen, Pham Dinh Tao 2009. Solving the
earliness tardiness scheduling problem by DC programming and DCA Mathematica Balkanica , Vol. 23
Fasc 3-4 pp. 271-288
Le Thi Hoai An, Nguyen Quang Thuan 2010. A robust approach for nonlinear UAV task assignment
problem under uncertainty Transactions on Computational Collective Intelligence
Le Thi Hoai An, Nguyen Quang Thuan, Phan Tran Khoa, Pham Dinh Tao 2008. Cross-layer
optimization in multi-hop TDMA networks using DCA Proc. of the ICCCN08, USA ,
978-1-4244-2390-3/08 IEEE (6 pages)
Le Thi Hoai An, Nguyen Quang Thuan, Phan Tran Khoa, Pham Dinh Tao 2008. Energy
minimization-based cross-layer design in multi-hop TDMA networks Proc. of the HPCS 2008, Cyprus , 6
pages
Le Thi Hoai An, Nguyen Quang Thuan, Huynh Tuong Nguyen, Pham Dinh Tao 2009. A time-indexed
formulation of earliness tardiness scheduling via DC programming and DCA Proc. of the IMCSIT, Poland
, pp. 779-784
CPLEX, CPX, SDP solvers
Visual C/C++
Tex, Office ...
65 sur 101
08/04/2015 16:04
Madame Simona OROSANU
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de
soutenance :
Alain RICHARD, M. Thierry BASTOGNE
Analyses de sensibilité et d'identifiabilité globales. Application à l'estimation de paramètres
photophysiques en thérapie photodynamique
22 juin 2010
S. Dobre, T. Bastogne, M. Barberi-Heyob, A. Richard 2009. Une méthode locale de classification
optimale des paramètres identifiables d'un modèle physique. Application à la thérapie photodynamique
Revue e-STA Sciences et Technologies de l’Automatique , Vol. 3, No. 3, pp. 9-14, http://hal.archivesouvertes.fr/docs/00/44/51/16/PDF/eSTA_SD_ver2.pdf
S. Dobre, T. Bastogne, M. Barberi-Heyob, F. Guillemin, A. Richard 2011. Conception assistée par une
analyse de sensibilité globale d'une plate-forme dédiée à la recherche en thérapie photodynamique Journal
de la Société Française de Statistique
S. Dobre, T. Bastogne, M. Barberi-Heyob, D. Bechet, J. Didelon, and A. Richard 2008. System
identification of the intracellular photoreaction process induced by photodynamic therapy Proc. of the 16th
IEEE Mediterranean Conference on Control and Automation
S. Dobre, T. Bastogne, M. Barberi-Heyob, A. Richard 2007. Practical identifiability of photophysical
parameters in photodynamic therapy Proc. of the 29th Conf IEEE Eng Med Biol Soc. , pp. 6633-6
S. Dobre, T. Bastogne, M. Barberi-Heyob,A. Richard 2008. Une méthode locale de classification
optimale des paramètres identifiables d’un modèle physique. Application à la thérapie photodynamique
5éme Conférence Internationale Francophone d’Automatique
S. Dobre, T. Bastogne, A. Richard 2010. Global sensitivity and identifiability implications in systems
biology International Conference on Computer Applications in Biotechnology
S. Dobre, T. Bastogne, M. Barberi-Heyob, A. Richard 2010. Identifiability and sensitivity analysis of a
Photodynamic Therapy model 6th International Conference on Sensitivity Analysis of Model Output
S. Dobre, T. Bastogne, M. Barberi-Heyob, A. Richard 2009. Experimental Modeling of the
Photodynamic Therapy Workshop SaarLorLux en Biologie Systémique
66 sur 101
08/04/2015 16:04
Monsieur Nazih OUWAYED
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
UNIVERSITE NANCY 2
Abdel BELAID
Segmentation en lignes de documents anciens : application aux documents arabes
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
11 juin 2010
:
. I-PRIM-3.9 : Réseaux neuronaux. Architectures et algorithmes - 2006 - 15 heures
I-PRIM-3.11 : Fouille de données et web sémantique - 2006
I-SDR-3-6 Grilles informatique et algorithmique distirbuée avancée - 2007
I-TAL-3.4 Formalismes grammaticaux - 2007
Doctoriales - 2007
Nazih Ouwayed, Abdel Belaïd, 2010. Détection et Séparation de Lignes Connectées des Anciens
Documents Manuscrits Multi-orientés Colloque International Francophone sur l'Ecrit et le Document
(CIFED'2010) , CIFED'2010, Sousse, Tunisie, 18-20 mars 2010.
Nazih Ouwayed, Abdel Belaïd and François Auger 2010. General text line extraction approach based on
locally orientation estimation International Conference on Document Recognition and Retrieval XVII
(DRR'2010), , DRR'2010,California, USA, January 2010., http://spie.org//app/program
/index.cfm?fuseaction=conferencedetail&export_id=x16280&ID=x16223&redir=x16223.xml&
conference_id=894339&event_id=893861&programtrack_id=896670&jsenabled=1
Nazih Ouwayed et Abdel Belaïd 2010. Une Approache Générale pour l'Extraction des Lignes des
Documents Arabes Anciens Multi-orientées 12e Colloque International sur le Document Electronique
(CIDE.12) , CIDE.12, Canada, Octobre 2009, http://europia.org/CIDE12/Programme.htm
Nazih Ouwayed and Abdel Belaid 2009. Separation of Overlapping and Touching Lines within
Handwritten Arabic Documents the 13th International Conference on Computer Analysis of Images and
Patterns (CAIP'2009), , CAIP'2009, pages 237-244, Germany, September 2009,
http://www.springerlink.com/content/w01088734785up36/fulltext.pdf
Nazih Ouwayed, Abdel Belaid and François Auger 2009. Cohen’s Class Distributions for Skew Angle
Estimation in Noisy Ancient Arabic Documents the 10th International Conference on Document Analysis
and Recognition (ICDAR'2009), Third Workshop on Analytics for Noisy Unstructured Text Data ,
AND'2009, pages 41-46, Spain, July 2009, http://portal.acm.org/citation.cfm?id=1568306&coll=GUIDE&
dl=GUIDE&CFID=51809336&CFTOKEN=45870459&ret=1#Fulltext
Nazih Ouwayed et Abdel Belaid 2009. Extraction des lignes de manuscrit arabes anciens mutli-orientées
Journée GRCE'2009 , Journée GRCE'2009, Paris,Juin 2009, http://grce.lip6.fr/grce/dokuwiki/lib/exe
/fetch.php?id=annonces%3Ajournee2009_simil&cache=cache&media=annonces:ouwayed2009.pdf
Nazih Ouwayed and Abdel Belaid 2008. Multi-Oriented Text Line Extraction from Handwritten Arabic
Documents The Eighth IAPR Workshop on Document Analysis Systems (DAS'2008) , pages 339-346,
67 sur 101
08/04/2015 16:04
Japan, September 17-19, http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=4669930&
arnumber=4669979&count=93&index=48
Nazih Ouwayed, Abdel Belaïd et François Auger 2010. Estimation de l'inclinaison d'un document arabe
manuscrit numérisé par analyse temps-fréquence des histogrammes de projection Journal Traitement du
Signal (TS) , vol. 26, N°4, http://documents.irevues.inist.fr/handle/2042/31
- Modélisation et développement des systèmes informatiques (système web, système de gestion de base des
données, système d'analyse et traitement d'image)
- Recherche et innovation dans le domaine informatique (application web, segmentation et analyse des
documents, traitement d'images géographique et médicales)
- Enseignement en informatique (modélisation, programmation, algorithme)
- Gestion de projet scientifique (étude, réalisation, management d'équipe)
- Communication écrite et orale (publications et présentations des articles, participation à des séminaires)
Spain
68 sur 101
08/04/2015 16:04
Monsieur Nicolas PADOY
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Informatique
Marie-Odile BERGER
Modélisation des Activités Chirurgicales et de leur Déroulement pour la Reconnaissance des
Etapes Opératoires
Laboratoire de
thèse :
Date de soutenance
14 avril 2010
:
Cohen, J., Jeannot, E., and Padoy 2003. Messages scheduling for data redistribution between clusters
5th International Conference on Parallel Processing and Applied Mathematics (PPAM) , 896-906
Groher, M., Jakobs, T. F., Padoy, N., and Navab, N. 2005. Towards a feature-based 2d-3d registration
method of cta and 2d angiograms for liver tumor chemoembolizations 4. Jahrestagung der Deutschen
Gesellschaft für Computerund Roboter-Assistierte Chirurgie (CURAC)
Groher, M., Padoy, N., Jakobs, T. F., and Navab, N. 2006. New cta protocol and 2d-3d registration
method for liver catheterization International Conference on Medical Image Computing and ComputerAssisted Intervention (MICCAI) , (1):873-881
Cohen, J., Jeannot, E., Padoy, N., and Wagner, F. 2006. Messages scheduling for parallel data
redistribution between clusters IEEE Trans. Parallel Distrib. Syst. , 17(10):1163-1175
Groher, M., Jakobs, T. F., Padoy, N., and Navab, N. 2007. Planning and intraoperative visualization of
liver catheterizations: New cta protocol and 2d-3d registration method Academic Radiology ,
14:1324-1339
Padoy, N., Horn, M., Feussner, H., Berger, M.-O., and Navab, N. 2007. Recovery of surgical workflow:
a model-based approach International Journal of Computer Assisted Radiology and Surgery (CARS) ,
Supplement 1. 2:481- 482
Padoy, N., Blum, T., Essa, I., Feussner, H., Berger, M.-O., and Navab, N. 2007. A boosted segmentation
method for surgical workflow analysis International Conference on Medical Image Computing and
Computer-Assisted Intervention (MICCAI) , 102-109
Klank, U. F., Padoy, N., Feussner, H., and Navab, N. 2008. An automatic approach for feature generation
in endoscopic images International Journal of Computer Assisted Radiology and Surgery , 3(3-4):331-339
Blum, T., Padoy, N., Feussner, H., and Navab, N. 2008. Workflow mining for visualization and analysis
of surgeries International Journal of Computer Assisted Radiology and Surgery , 3(5):379-386
Padoy, N., Blum, T., Feussner, H., Berger, M.-O., and Navab, N. 2008. On-line recognition of surgical
activity for monitoring in the operating room Proceedings of the 20th Conference on Innovative
Applications of Artificial Intelligence (IAAI) , 1718-1724
Traub, J., Ahmadi, S.-A., Padoy, N., Wang, L., Heining, S. M., Euler, E., Jannin, P., and Navab, N.
2008. Workflow based assessment of the camera augmented mobile c-arm system MICCAI Workshop on
Augmented environments for Medical Imaging including Augmented Reality in Computer-aided Surgery
(AMIARCS)
Blum, T., Padoy, N., Feussner, H., and Navab, N. 2008. Modeling and online recognition of surgical
phases using hidden markov models International Conference on Medical Image Computing and
69 sur 101
08/04/2015 16:04
Computer-Assisted Intervention (MICCAI) , 627-635
Ahmadi, S.-A., Padoy, N., Heining, S. M., Feussner, H., Daumer, M., and Navab, N. 2008. Introducing
wearable accelerometers in the surgery room for activity detection 7. Jahrestagung der Deutschen
Gesellschaft für Computer-und Roboter-Assistierte Chirurgie (CURAC)
Radrich, H., Padoy, N., Ahmadi, S.-A., Feussner, H., Hager, G., Burschka, D., and Knoll, A. 2009.
Synchronized Multimodal Recording System for Laparoscopic Minimally Invasive Surgeries MICCAI
Workshop on Modeling and Monitoring of Computer Assisted Interventions (M2CAI)
Ahmadi, S.-A., Padoy, N., Rybachuk, K., Feussner, H., Heining, S. M., and Navab, N. 2009. Motif
Discovery in OR Sensor Data with Application to Surgical Workflow Analysis and Activity Detection
MICCAI Workshop on Modeling and Monitoring of Computer Assisted Interventions (M2CAI)
Pauly, O., Padoy, N., Poppert, H., Esposito, L., Eckstein, H-H., and Navab, N. 2009. Towards
Application-specific Multi-modal Similarity Measures: a Regression Approach MICCAI Workshop on
Probabilistic Models for Medical Image Analysis (PMMIA)
Pauly, O., Padoy, N., Poppert, H., Esposito, L., and Navab, N. 2009. Energy Map: A Robust Support for
Multi-modal Registration of Medical Images IEEE Computer Society Conference on Computer Vision and
Pattern Recognition (CVPR)
Padoy, N., Mateus, D., Weinland, D., Berger, M.-O., and Navab, N. 2009. Workflow monitoring based
on 3d motion features Proceedings of the International Conference on Computer Vision (ICCV), Workshop
on Video-oriented Object and Event Classification
Ecole d'ete ISSPR, Plymouth, England, Juillet 2007
70 sur 101
08/04/2015 16:04
Madame Maria PENTCHEVA
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
UNIVERSITE NANCY 2
Hazel EVERETT, M. Sylvain PETITJEAN
Conversion CSG-BRep de scènes définies par des quadriques
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
30 septembre 2010
:
71 sur 101
08/04/2015 16:04
Monsieur Luis Mariano PEñARANDA
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
UNIVERSITE NANCY 2
Sylvain LAZARD, M. Marc POUGET
Géométrie algorithmique non linéaire et courbes algébriques planaires
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
3 decembre 2010
:
Anglais Poster Scientifique - 2009
Module
Perception de la structure du mouvement - 2006 - 15 heures
Reconnaissance automatique de la parole - 2006 - 15 heures
Abstraction et raffinement - 2007 - 15 heures
Théorie de la sécurité - 2007 - 15 heures
S. Lazard, L. Peñaranda and S. Petitjean 2006. Intersecting Quadrics: An Efficient and Exact
Implementation Computational Geometry: Theory and Applications , volume 35, number 1-2, pages
74-99, http://dx.doi.org/10.1016/j.comgeo.2005.10.004
L. Gómez, C. Gazza, H. Dacharry, L. Peñaranda and A. Dobry 2005. Pressure dependence of the
melting mechanism at the limit of overheating in Lennard-Jones crystals Physical Review B , 71, 13410,
http://dx.doi.org/10.1103/PhysRevB.71.134106
S. Lazard, L. Peñaranda and S. Petitjean 2004. Intersecting Quadrics: An Efficient and Exact
Implementation Proc. of the 20th annual Symposium on Computational Geometry (SoCG’04, New York) ,
pages 419-428, http://doi.acm.org/10.1145/997817.997880
J. Cheng, S. Lazard, L. Peñaranda, M. Pouget, F. Rouillier and E. Tsigaridas 2009. On the Topology of
Planar Algebraic Curves Proc. of the 25th annual Symposium on Computational Geometry (SoCG’09,
Arhus, Denmark) , pages 361-370, http://doi.acm.org/10.1145/1542362.1542424
S. Lazard, L. Peñaranda and E. Tsigaridas 2009. Univariate Algebraic Kernel and Application to
Arrangements SEA 2009, LNCS 5526 , 8th International Symposium on Experimental Algorithms
(SEA’09), Dortmund, Germany. In J. Vahrenhold (Ed.): SEA 2009, LNCS 5526, pp. 209-220,
http://dx.doi.org/10.1007/978-3-642-02011-7_20
aucune
aucune
72 sur 101
08/04/2015 16:04
Monsieur Christophe PROFETA
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Pierre VALLOIS
Pénalisation, pseudo-inverses et peacocks dans un cadre markovien
7502
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
12 novembre 2010
:
Analyse asymptomatique cours de C Dartyge - 2009
Modèles probabilistes sur réseaux cours de O Garet - 2009
Monitorat - 2009
Profeta Christophe 2010. Penalization of a positively recurrent diffusion by an exponential function of its
local time Publ. Res. Inst. Math. Sci. , Volume 46
Christophe Profeta, Bernard Roynette et Marc Yor 2010. Option prices as probabilities: A new look at
generalized Black-Scholes formulae Springer-Finance , xxii+270
Antoine-Marie Bogso, Christophe Profeta, Bernard Roynette 2010. Some examples of peacocks in a
Markovian set-up Séminaire de Probabilités XLIV
Francis Hirsch, Christophe Profeta, Bernard Roynette et Marc Yor 2010. Constructing self-similar
martingales via two Skorokhod embeddings Séminaire de Probabilités XLIII
Francis Hirsch, Christophe Profeta, Bernard Roynette et Marc Yor 2010. Peacocks and associated
martingales Springer
73 sur 101
08/04/2015 16:04
Monsieur CHARBEL RAHHAL
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Pascal MOLLI
Wikis sémantiques distribués sur réseaux pair-à-pair
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
9 novembre 2010
:
Module Obligatoire
Modèles et systèmes multi-agents - 2000 - 20 heures
Sémantique des systèmes parallèles et distribués - 2006 - 20 heures
Sémantique et preuves - 2006 - 20 heures
Réseaux neuronaux. Architectures et algorithmes - 2007 - 20 heures
TEX - 2008 - 20 heures
Hala Naja-Jazzar, Nishadi De Silva, Hala Skaf-Molli, Charbel Rahhal and Pascal Molli 2009.
OntoRest: A RST-based Ontology for Enhancing Documents Content Quality in Collaborative Writing
INFOCOMP journal of computer science , volume 8, P. 1-10, http://www.dcc.ufla.br/infocomp/artigos
/v8.3/art01.pdf
Charbel Rahhal, Hala Skaf-Molli, Pascal Molli and Stéphane Weiss 2009. Multi-synchronous
Collaborative Semantic Wikis the 10th International Conference on Web Information Systems Engineering
(WISE 2009) , P. 115-129, dx.doi.org/10.1007/978-3-642-04409-0_17
Hala Skaf-Molli, Charbel Rahhal and Pascal Molli 2009. Peer-to-peer Semantic Wikis the 20th
International Conference on Database and Expert Systems Applications - DEXA'09 , 196-213,
dx.doi.org/10.1007/10.1007/978-3-642-03573-9_16
Charbel Rahhal, Hala Skaf-Molli, Pascal Molli 2009. SWooki, un wiki sémantique sur réseau pair-à-pair
Ingénierie des Systèmes d'Information (ISI) , Volume 14, pages 117-140, dx.doi.org/10.3166
/isi.14.1.117-140
Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso, Pascal Molli 2009. Undo in
Peer-to-peer Semantic Wikis Fourth Workshop on Semantic Wikis (SemWiki2009) ,
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-464/paper-10.pdf
Charbel Rahhal, Hala Skaf-Molli, and Pascal Molli 2008. SWOOKI: A Peer-to-peer Semantic Wiki
Fourth Workshop on Semantic Wikis (SemWiki2008) , http://sunsite.informatik.rwth-aachen.de/Publications
/CEUR-WS/Vol-360/paper-12.pdf
Charbel Rahhal, Hala Skaf-Molli, Pascal Molli, Nishadi De Silva 2007. SemCW: Semantic collaborative
writing using RST Collaborative Computing: Networking, Applications and Worksharing, 2007.
CollaborateCom 2007 , dx.doi.org/10.1109/COLCOM.2007.4553879
Hala Skaf-Molli, Claudia-Lavinia Ignat, Charbel Rahhal, Pascal Molli 2007. New Work Modes for
Collaborative Writing Enterprise Information Systems and Web Technologies 2007 , pages 176-182,
http://webloria.loria.fr/~rahalcha/pmwiki/uploads/Main/skaf07.pdf
Hala Skaf-Molli, Hala Naja-Jazzar, Charbel Rahhal and Pascal Molli 2008. Collaborative Writing of
74 sur 101
08/04/2015 16:04
XML Documents 3nd International Conference on Information&Communication Technologies : From
Theory to Applications (ICTTA'08) , http://webloria.loria.fr/~rahalcha/pmwiki/uploads/Main/ICTTA08.pdf
Charbel Rahhal, Hala Skaf-Molli, Pascal Molli 2008. SWOOKI: A Peer-to-peer Semantic Wiki 3rd
Semantic Wiki Workshop (SemWiki 2008) , http://sunsite.informatik.rwth-aachen.de/Publications/CEURWS/Vol-360/paper-12.pdf
75 sur 101
08/04/2015 16:04
Monsieur Daniel REYNAUD-PLANTEY
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Jean-Yves MARION
Analyse de codes auto-modifiants et sécurité logicielle
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
15 octobre 2010
:
3rd European Trusted Infrastructure Summer School - 2008 - 40 heures
Bertinoro International Summer School of Natural Computation - 2008 - 40 heures
Programmation par règles et transformation par réécriture - 2008 - 12 heures
Guillaume Bonfante Jean-Yves Marion 2009. A Computability Perspective on Self-Modifying Programs
7th IEEE International Conference on Software Engineering and Formal Methods
Wadie Guizani Jean-Yves Marion 2009. Server-Side Dynamic Code Analysis 4th International
Malicious and Unwanted Software Conference
Philippe Beaucamps Eric Filiol Jean-Yves Marion 2009. On the use of Internet Voting on Compromised
Computers 4th International Conference on Information Warfare and Security
- rétro-ingénierie
- programmation système
- sécurité réseau, cryptographie
76 sur 101
08/04/2015 16:04
Monsieur Damien ROBERT
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Guillaume HANROT
Comptage rapide de points sur des Jacobiennes de courbes de genre 2
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
21 juillet 2010
:
Formation à LaTeX - 2009 - 18 heures
Cours
Vérifications des programmes - 2006 - 12 heures
Formation CIES - 2007 - 60 heures
Conférences
Journées du calcul formel - 2007 - 60 heures
Outils d'édition scientifique - 2009
Cours de cryptographie - 2006 - 30 heures
Formations scientifiques interdisplinaires
Théorie des nombres - 2006 - 60 heures
Séminaires
Ecole jeunes cherchers (EJCIM) - 2007 - 60 heures
David Lubicz Damien Robert 2010. Efficient pairing computation wiht theta functions Algorithmic
Number Theory (ANTS) , 19 pages, http://www.normalesup.org/~robert/pro/publications/articles
/pairings.pdf
Jean-Charles Faugère David Lubicz 2009. Computing modular correspondences for abelian varieties , 36
77 sur 101
08/04/2015 16:04
pages, http://www.normalesup.org/~robert/pro/publications/articles/modular.pdf
David Lubicz Damien Robert 2010. Computing isogenies between abelian varieties , 48 pages,
http://www.normalesup.org/~robert/pro/publications/articles/modular.pdf
Tsukuba - Japon: 1 mois
78 sur 101
08/04/2015 16:04
Madame Rebeca Del Carmen ROMO VAZQUEZ
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Didier MAQUIN, Mme Valérie LOUIS – DORR
Contribution à la détection et à l’analyse des signaux EEG épileptiques : débruitage et
séparation de sources
Laboratoire de
thèse :
Date de soutenance
24 fevrier 2010
:
79 sur 101
08/04/2015 16:04
Monsieur Indrava ROY
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Moulay Tahar BENAMEUR
rho-invariants pour les feuilletages
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
27 octobre 2010
:
Deutsch als Fremdsprache - 2006 - 108 heures
groupe de travail géométrie non commutative Jean-Louis Tu - 2006
IRTG workshop Orbifolds - 2006
IRTG Summer school/ Ecole d'été - 2007
Indrava Roy, A.R. Roy 2008. Border Collision bifurcations in Three-Dimensional Piecewise Smooth
Systems International journal of Bifurcation and Chaos , Vol 18,number 2, pages 577-586,
http://www.worldscinet.com/ijbc/18/1802/S0218127408020495.html
80 sur 101
08/04/2015 16:04
Monsieur Belaid SAAD
Docteur 2010
Doctorat :
Informatique
Etablissement :
Encadrement :
Dieter KRATSCH, Mme Francine HERRMANN
Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les
Sujet de thèse :
systèmes d'aide à la décision à base de connaissances
Laboratoire de
thèse :
Date de
10 decembre 2010
soutenance :
Doctoriales Lorraine 2007 - 2006
UE Modèle et système multi-agents - 2007
UE Modélisation de l'utilisateur et flexibilité des interfaces - 2007
UE Résolution de systèmes de grande taille M2 Informatique Modélisation par la logiciel à l'Université Paul
Verlaine - 2007
EuroScience Open Forum - 2009
Belaïd SAAD, Francine HERRMANN, Yann LANUEL, and Thomas TAMISIER 2008. Mixing
protocol based on the cooperation and the parallelism for distributed environment.
Belaïd SAAD, Francine HERRMANN, Yann LANUEL, and Thomas TAMISIER. 2008. Résolution des
problèmes de satisfaction de contraintes distribués à travers le parallélisme, la coopération, et le filtrage.
Belaïd SAAD, Francine HERRMANN, Yann LANUEL, and Thomas TAMISIER 2008. A privacy
preserving technique for distributed constraint satisfaction problems.
Belaïd SAAD, Francine HERRMANN, Yann LANUEL, and Thomas TAMISIER. 2010. DDCSP:
Constraint Satisfaction Problem Used For Rule-based System.
Belaïd SAAD, Francine HERRMANN, Yann LANUEL and Thomas TAMISIER. 2008. L’hybridation
la coopération et le parallélisme pour construire des protocoles robustes pour les CSPs distribués
Belaïd SAAD, Francine HERRMANN, and Thomas TAMISIER. 2008. La preservation de la vie privée
des problèmes de satisfaction de contraintes distributes.
Belaïd SAAD, Francine HERRMANN, Yann LANUEL, and Thomas TAMISIER 2008. Efficient
solving of distributed constraint satisfaction problems through cooperation and parallelism.
Belaïd SAAD, Francine HERRMANN, Yann LANUEL and Thomas TAMISIER. 2008. Secure
distributed constraint satisfaction problems without using trusted third-party.
Belaïd SAAD, Francine HERRMANN, Yann LANUEL and Thomas TAMISIER. 2010. Toward a
Multi-core Reasoning System.
Théoriques : Algorithmiques, CSP, système expert, système distribué, sécurité, parallélisme, optimisation,
théorie des graphes.
Pratiques : Visual Studio .Net, C++/C#/C, Java, Eclipse, Delphi, Prolog, Lisp, MPI, PVM, OpenMP,
HTML, PHP, Flash, Dreamweaver, JavaScript, SQL, MySQL, PL/SQL,
81 sur 101
08/04/2015 16:04
Oracle, DBase, SQL Server. LaTex, Photoshop…
Aptitude à la communication orale et écrite, Organisation, Esprit d'équipe, Dynamisme, Aptitude à la
programmation, Aptitude à la créativité.
82 sur 101
08/04/2015 16:04
Monsieur Yakoub SALHI
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Didier GALMICHE
Structures multi-contextuelles et logiques modales intuitionnistes et hybrides
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
3 decembre 2010
:
Didier Galmiche et Yakoub Salhi 2010. A Family of Gödel Hybrid Logics Journal of applied logic ,
Corrected Proof, http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B758H-50S2RC5-8&
_user=6068174&_coverDate=08%2F12%2F2010&_rdoc=1&_fmt=high&_orig=search&_origin=search&
_sort=d&_docanchor=&view=c&_searchStrId=1487047159&_rerunOrigin=google&
_acct=C000016487&_ve
Didier Galmiche et Yakoub Salhi 2010. Label-free Proof Systems for Intuitionistic Modal Logic IS5
lecture notes in computer science , volume : 6355 pages : 255-271
Didier Galmcihe et Yakoub Salhi 2008. Labelled Calculi for Lukasiewicz Logics lecture notes in
computer science , volume : 5110 pages : 194-207
Didier Galmiche et Yakoub Salhi 2010. Proof-search in intuitionistic hybrid logic Journal of Information
and Computation , En révision
Didier Galmiche et Dominique Larchey-Wendeling et Y.~Salhi 2007. Provability and Countermodels in
Gödel-Dummett Logics 4th Int. Workshop on Disproving
Didier Galmiche et Yakoub Salhi 2008. Calculi for an Intuitionistic Hybrid Modal Logic Intuitionistic
Modal Logics and Applications Workshop, Pittsburgh, USA
Didier Galmiche et Yakoub Salhi 2010. Label-free Natural Deduction Systems for Intuitionistic and
Classical Modal Logics The Journal of Applied Non-Classical Logics
Programmation
* Programmation impérative, fonctionnelle et objet.
* Langages : PHP, Shell Script, C/C++, Java, Pascal,Prolog, OCaml
Bases de données
* MySQL, Oracle
Systèmes d'exploitation
* Linux, Windows
Technologies web
83 sur 101
08/04/2015 16:04
* XHTML/HTML, CSS, XML, Javascript
84 sur 101
08/04/2015 16:04
Monsieur Julien SCHLEICH
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Hoai-An LE THI
Robust Dominating Set based Virtual Backbones for Wireless Ad hoc Networks
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
28 septembre 2010
:
Langages de programmation: C, C++, Java, LATEX, Perl, PHP, shell scripting, SQL
Logiciels scientifiques: GNUPlot, ILOG CPLEX, OMNeT++, OPNET
Systèmes d’exploitation: Mac OS, GNU/Linux (Ubuntu, Debian, ArchLinux), Microsoft Windows
85 sur 101
08/04/2015 16:04
Monsieur Michael SCHRöDER
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Angela PASQUALE
Les distributions de Patterson-Sullivan pour les Espaces Symétriques du type non-compact
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
23 juillet 2010
:
Cours
IRTG Workshop - 2008 - 50 heures
Conférences
IRTG Summer School - 2008 - 60 heures
Théorie en hiver 2007 (Funktionentheorie/ Prof. Dr. Eberhard Kaniuth) - 2007 - 60 heures
Théorie en hiver 2008 - 2008 - 60 heures
Michael Schröder, Joachim Hilgert 2009. Patterson-Sullivan distributions for rank one symmetric spaces
of the noncompact type Mathematische Zeitschrift , 25, http://arxiv.org/abs/0909.2142
01/04/09 - 31/05/09 (Metz)
86 sur 101
08/04/2015 16:04
Monsieur Angel SCIPIONI
Docteur 2010
Doctorat :
Systèmes électroniques
Etablissement :
Encadrement :
Patrick SCHWEITZER, M. P RISCHETTE
Contribution à la théorie des ondelettes. Application à la turbulence des plasmas de bord de
Sujet de thèse :
tokamak et à la mesure dimensionnelle de cibles.
Laboratoire de
LIEN - UMR 3440
thèse :
Date de
19 novembre 2010
soutenance :
Diffusion Thermique, Implantation ionique, Front-End et Back-end.
Traitement d'images.Processeurs DSP
Management
87 sur 101
08/04/2015 16:04
Monsieur Akassewa Tchapo SINGO
Docteur 2010
Doctorat :
Ecole doctorale :
Etablissement :
Encadrement :
Sujet de thèse :
Génie Electrique
Shahrokh SAADATE
Système d’alimentation photovoltaïque avec stockage hybride pour l’habitat énergétiquement
autonome
Laboratoire de
thèse :
Date de soutenance
3 fevrier 2010
:
Developpement Durable et Entreprise - 2007 - 20 heures
Rédaction des textes scientifiques en anglais - 2007 - 20 heures
Méthodes générales de conception - 2008 - 24 heures
Systèmes de télécommunications - 2008 - 21 heures
88 sur 101
08/04/2015 16:04
Monsieur Cherif SMAILI
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
UNIVERSITE NANCY 2
François CHARPILLET
Fusion de données pour l’estimation d'état d’un vehicule en utilisant les réseaux bayesiens
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
7 mai 2010
:
Cours
ALGORITHMES GEOMETRIQUE ET ROBUSTESSE - 2006
GRILLES INFORMATIQUES ET ALGORITHME DISTRIBUEE AVANCEE - 2006
PROCEDURE DE DECISION POUR LA VERIFICATION DES PROGRAMMES - 2007
THEORIE DE LA SECURITE - 2007
COMMUNICATION ET - 2008
Cherif Smaili, Maan E. El Najjar, François Charpillet 2008. A road matching method for precise vehicle
localization using hybrid Bayesian network. Special Issue of the Jounal of Intelligent Transportation
Systems , vol.12 Issue 4 pages 176-188
Cherif Smaili, Maan E. El Najjar, François Charpillet, Cédric Rose 2008. Multi-Sensor Fusion for
Mono and Multi-Vehicle Localization using Bayesian Network. Book Chapter in Tools in Artificial , ISBN
978-953-7619-03-9
Cherif Smaili, Maan E. El Najjar, François Charpillet 2007. Multi-Sensor Fusion Method using
Dynamic Bayesian Network for Precise Vehicle Localization and Road Matching. 19 th IEEE
International Conference on Tools with Artificial Intelligence ICTAI
Cherif Smaili, Maan E. El Najjar, François Charpillet 2008. Multi-Sensor Fusion Method using
Bayesian Network for Precise Multi-Vehicle. The 11th International IEEE Conference on Intelligent
Transportation Systems.
Cédric Rose, Cherif Smaili, François Charpillet 2005. A Dynamic Bayesian Network for Handling
Uncertainty in a Decision Support System Adapted to the Monitoring of Patients Treated by Hemodialysis.
The 17th IEEE International Conference on Tools with Artifical Intelligence (ICTAI)
Cherif Smaili, Cédric Rose, François Charpillet 2005. A decision support system for the monitoring of
patients treated by hemodialysis based on a bayesian network. 3rd European Medical and Biological
Engineering Conference (EMBEC)
Cherif Smaili, Cédric Rose, François Charpillet 2005. Using Dynamic Bayesian Networks for a Decision
Support System. Application to the Monitoring of Patients Treated by Hemodialysis. International
Computer System & Information Technology Conference (ICSIT)
Cherif Smaili, Maan E.El Najjar, François Charpillet 2009. Méthode de fusion de données multicapteurs sûre et intèger: application à la géo-localisation mono et multi-véhicules. Workshop sur
89 sur 101
08/04/2015 16:04
Surveillance, Sûreté et Sécurité des Grands Systèmes (GIS 3SG)
90 sur 101
08/04/2015 16:04
Monsieur Dmitry SUSTRETOV
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Patrick BLACKBURN
Sémantique topologique pour logique hybride
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
9 juillet 2010
:
D. Sustretov and D. Gabelaia 2005. Modal correspondence for topological semantics. Proceedings of
Algebraic and Topological Methods in Non-Classical Logics II , 80-81
D. Sustretov 2005. Hybrid definability in topological spaces. Proceedings of ESSLLI Student Session ,
342-352
Balder ten Cate, David Gabelaia, and Dmitry Sustretov 2009. Modal languages for topology :
Expressivity and definability. Annals of Pure and Applied Logic , 159(1-2):146-170
D. Sustretov 2007. Topological semantics and decidability Proceedings of International Workshop on
Hybrid Logic (HyLo)
D. Sustretov, G. Hoffmann, C. Areces, and P. Blackburn 2007. Experiments in theorem proving for
topological hybrid logic. Proceedings of Methods for Modalities
D. Sustretov 2009. Hybrid logics of separation axioms. Journal of Logic, Language and Information ,
18(4)
91 sur 101
08/04/2015 16:04
Madame Katarzyna SZULC
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Jan SOKOLOWSKI
Quelques méthodes numériques en optimisation de formes
7502
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
8 juin 2010
:
Anglais Présentation de Conférences - 2005 - 10 heures
Formation en Latex - 2005 - 20 heures
Introduction to Numerical Methods for moving boundaries - 2007 - 20 heures
M. Iguernane, S.A. Nazarov, J.R. Roche, J. Sokolowski, K. Szulc 2009. Topological derivative for
semilinear elliptic problems International Journal of Applied Mathematics and Computer Science
A. Khludnev, J. Sokolowski, K. Szulc 2010. Shape and topological sensitivity analysis in domains with
cracks Applications of Mathematics
M. Grzanek, A. Laurain, K. Szulc 2008. Numerical algorithms for an inverse problem in shape
optimization J. Phys.: Conf. Ser. , 8
A. Laurain, K. Szulc 2009. Using self-adjoint extensions in shape optimization System Modeling and
Optimization, IFIP Advances in Information and Communication Technology, Springer Boston, Vol.
312/2009 , p.331-349
M. Grzanek, K. Szulc 2009. Application of topological derivative and neural networks for inverse problem
System Modeling and Optimization, IFIP Advances in Information and Communication Technology,
Springer Boston, Vol. 312/2009 , p.268-281
92 sur 101
08/04/2015 16:04
Monsieur Christophe THIERY
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
François CHARPILLET, M. Bruno SCHERRER
Itération sur les Politiques Optimiste et Apprentissage du jeu de Tetris
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
25 novembre 2010
:
Christophe Thiery 2007. Contrôle optimal stochastique et le jeu de Tetris , http://hal.inria.fr/inria00173248/en
Christophe Thiery, Bruno Scherrer, Alain Dutech 2008. La carotte, le bâton et Tetris Interstices ,
http://interstices.info/tetris
Christophe Thiery, Bruno Scherrer 2009. Une approche modifiée de Lambda-Policy Iteration Journées
Francophones de Planification, Décision et Apprentissage , http://hal.inria.fr/inria-00173248/fr/
Christophe Thiery et Bruno Scherrer 2009. Construction d'un joueur artificiel pour Tetris Revue
d'Intelligence Artificielle , Volume 23 Pages 387 à 407, http://hal.inria.fr/inria-00418922/fr/
Christophe Thiery et Bruno Scherrer 2009. Improvements on Learning Tetris with cross-entropy
International Computer Games Association Journal , Numéro de Mars 2010 Pages 23-33,
http://hal.inria.fr/inria-00418930/fr/
Christophe Thiery et Bruno Scherrer 2009. Building Controllers for Tetris International Computer
Games Association Journal , Numéro de mars 2010 Pages 3-11, http://hal.inria.fr/inria-00418954/fr/
Christophe Thiery et Bruno Scherrer 2010. Least-Squares λ Policy Iteration: Bias-Variance Trade-off in
Control Problems International Conference on Machine Learning , http://hal.inria.fr/docs/00/52/08
/41/PDF/article.pdf
Christophe Thiery et Bruno Scherrer 2010. Least-Squares λ Policy Iteration : optimisme et compromis
biais-variance pour le contrôle optimal Journées Francophones de Planification, Décision et
Apprentissage , http://hal.inria.fr/docs/00/52/08/43/PDF/thiery-christophe.pdf
93 sur 101
08/04/2015 16:04
Monsieur Julian Julian TUGAUT
Docteur 2010
Doctorat :
Ecole doctorale :
Mathématiques
Bernard ROYNETTE, Samuel HERRMANN
Processus auto-stabilisants dans un paysage multi-puits
7502
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
6 juillet 2010
:
Cours
Cours d'Equations aux dérivées partielles - 2008
Cours de calcul asymptotique - 2008
Cours de Théorie des nombres - 2008
CIES dont stage résidentiel - 2006
Samuel Herrmann, Julian Tugaut 2010. Non-uniqueness of stationary measures for self-stabilizing
diffusions Stochastic processes and their applications , Volume 120, Issue 7. Pages 1215 à 1246,
http://dx.doi.org/10.1016/j.spa.2010.03.009
Samuel Herrmann, Julian Tugaut 2009. Stationary measures for self-stabilizing processes: asymptotic
analysis in the small noise limit Electronic Journal of Probability , http://hal.archives-ouvertes.fr
/hal-00397470/fr/
Samuel Herrmann, Julian Tugaut 2009. Self-stabilizing processes: uniqueness problem for stationary
measures and convergence rate in the small noise limit Prépublications de l'Institut Elie Cartan ,
http://hal.archives-ouvertes.fr/hal-00434254/fr/
94 sur 101
08/04/2015 16:04
Monsieur SADOK TURKI
Docteur 2010
Doctorat :
Ecole doctorale :
Nathalie SAUER, Mme Sophie HENNEQUIN
Impact du délai de livraison sur le niveau de stock : une approche basée sur la méthode IPA
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
7 decembre 2010
:
Ecole thématique - 2010
Formation (école des JDMACS) en simulation-couplage simulation/optimialisation - 2010
Gestion de production - 2010
How to publish a paper ? - 2010
Turki sadok , Hennequin Sophie, Sauer Nathalie 2009. Perturbation analysis based-optimization for a
failure-prone manufacturing system with constant delivery time and stochastic demand IEEE XPLORE ,
1740 - 1746 , http://ieeexplore.ieee.org/Xplore/login.jsp?url=http%3A%2F
%2Fieeexplore.ieee.org%2Fiel5%2F5191362%2F5223483%2F05223814.pdf%3Farnumber%3D5223814&
authDecision=-201
Turki, S.; S. Hennequin; and N. Sauer. 2009. Performances evaluation of a failure-prone manufacturing
system with time to delivery and stochastic demand INCOM 13 (IFAC) , http://www.ifac-papersonline.net
/Detailed/40668.html
Turki, S., S. Hennequin, and N. Sauer 2010. Perturbation analysis based-optimization for discrete flow
model: a failure-prone manufacturing system with constant delivery time and stochastic demand Int. J.
Advanced Operations Management
Turki, S.; S. Hennequin; and N. Sauer. 2009. Performances evaluation and optimization of a failure-prone
manufacturing system with random delivery time and random demand , http://www.eurosis.org
/cms/index.php?q=node/926
Turki Sadok, Hennequin Sophie, Sauer Nathalie 2010. PERTURBATION ANALYSIS FOR
CONTINUOUS AND DISCRETE FLOW MODELS: A FAILURE-PRONE MANUFACTURING
SYSTEM STUDY International Conference of Modeling and Simulation , http://www.enim.fr/mosim2010
/articles/273.pdf
Production industrielle, optimisation des chaines logistiques, programmation (informatique)
optimisation des chaines logistiques, programmation VBA C++(informatique),
technique de production, plan expérience,
95 sur 101
08/04/2015 16:04
Monsieur Sandro VARANO
Docteur 2010
Doctorat :
Ecole doctorale
:
Etablissement :
Encadrement :
Sciences de l'architecture
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE
- MATHEMATIQUES
Jean-Claude BIGNON, M. Gilles HALIN
Proposition d’un espace de navigation hypermédia fondé sur des parcours heuristiques comme
Sujet de thèse : aide à la compréhension du patrimoine culturel bâti. SPASM : Système de Parcours
d'Apprentissage, de Scénarisation et de Mémorisation.
Laboratoire de
MAP - Modèles et simulations pour l'Architecture et le Patrimoine - UMR 3495
thèse :
Date de
17 septembre 2010
soutenance :
Varano, S., J.-C. Bignon & G. Castellino 2009. Des parcours topographiques et cognitifs dédiés à
l’apprentissage. Une réinterpretation du chemin critique des jeux video Actes de H2PTM’09 – 10ème
édition – Rétrospective et Perspective 1989-2009 , Hermès Science – Lavoisier , 450 pages pp. 251-256
Varano, S. & J.-C. Bignon 2009. Strategic paths and memory map: Exploring a building and memorizing
knowledge Proceedings of the 2009 Visual Information Communication International (VINCI’09),
Springer , 376 pages pp. 245-254
Varano, S., T. Truchot & J.-C. Bignon 2009. Creating and memorizing knowledge of cultural heritage.
Prototype of a learning system Proceedings of the 27th International Conference (eCAADe 2009),
Computation: The new realm of architectural design , 852 pages pp. 631-637
Varano, S., J.-C. Bignon & D. Bur 2008. A 3D navigation mode based on strategic paths to facilitate the
understanding of cultural heritage Proceedings of the 4th International Conference of the CSAAR, Digital
Media and its Applications in Cultural Heritage (DMACH 2008), CSAAR Press , 563 pages pp. 505-515
Varano, S., J.-C. Bignon & D. Bur 2008. A three-dimensional map to outline multimedia path
Proceedings of the 5th International Conference, Computer Graphics, Imaging and Visualization (CGiV08),
IEEE Computer Society , 406 pages pp. 75-79
Varano, S., J.-C. Bignon & D. Bur 2008. Playable maps / Sensitive maps. Materializing the learner’s
mental map Proceedings of the 4th International North American Conference on Intelligent Games and
Simulation (GAME-ON-NA2008), Eurosis , 115 pages pp. 30-34
Varano, S., J.-C. Bignon & D. Bur 2008. A graphic representation system as an aid to memorization of
archaeological and architectural knowledge Proceedings of the 2nd International Conference,
Visualisation in Built and Rural Environments (BUILTVIZ’08), IEEE Computer Society , 141 pages pp.
55-59
Varano, S., J.-C. Bignon & G. Halin 2008. A three-dimensional map to help exploration and
understanding of a building. Visibility of the process of knowledge construction through traces
Proceedings of the 9th International Conference, on Design & Decision Support Systems in Architecture
and Urban Planning (DDSS 2008) , Cd-rom
96 sur 101
08/04/2015 16:04
Monsieur Hugo Abraham VELEZ-PEREZ
Docteur 2010
Doctorat :
Ecole doctorale :
Michel DUFAUT, Mme Valérie LOUIS – DORR
Localisation et caractérisation du déroulement de la crise d'épilepsie temporale
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
21 octobre 2010
:
Traitement statistique du signal - 2005 - 20 heures
Méthodes avancées pour le signal et l'image en médicine - 2006 - 20 heures
TEX : un outil typographique pour le chercheur - 2008 - 20 heures
97 sur 101
08/04/2015 16:04
Monsieur Stéphane WEISS
Docteur 2010
Doctorat :
Ecole doctorale :
Informatique
Pascal MOLLI
Edition collaborative massive sur Réseaux Pair-à-Pair
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
18 octobre 2010
:
Module Obligatoire
Fouille de Données et Web sémantique - 2006 - 20 heures
Grilles informatique et algorithmique distribuée avancée - 2006 - 20 heures
Modèles et Systèmes multi-agents - 2007 - 20 heures
Réseaux neuronaux. Architectures et algorithmes - 2007 - 20 heures
TeX : un outil typographique pour le chercheur - 2008
Stéphane Weiss, Pascal Urso et Pascal Molli 2007. Wooki: a P2P Wiki-based Collaborative Tool Web
Information Systems Engineering (WISE) , volume: 4831, pages:503-512, http://dx.doi.org/10.1007
/978-3-540-76993-4_42
Stéphane Weiss, Pascal Urso et Pascal Molli 2008. An Undo Framework for P2P Collaborative Editing
International Conference on Collaborative Computing (CollaborateCom) , Volume 10, Pages 529-544,
http://dx.doi.org/10.1007/978-3-642-03354-4_40
Stéphane Weiss, Pascal Urso et Pascal Molli 2009. Logoot: a Scalable Optimistic Replication Algorithm
for Collaborative Editing on P2P Networks International Conference on Distributed Computing Systems
(ICDCS 2009)
Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso et Pascal Molli 2009. Undo in
Peer-to-peer Semantic Wikis Workshop on Semantic Wikis
Stéphane WEISS, Pascal URSO et Pascal MOLLI 2009. Logoot: Un algorithme de réplication pour la
collaboration sur réseaux Pair-à-Pair. ohérence des données en univers réparti (cdur'09)
Weiss Stéphane, Urso Pascal, Molli Pascal 2009. Logoot-Undo: Distributed Collaborative Editing System
on P2P networks IEEE Transactions on Parallel and Distributed Systems (TPDS) , http://dx.doi.org
/10.1109/TPDS.2009.173
Weiss Stéphane, Urso Pascal, Molli Pascal 2007. Compensation in Collaborative Editing In 9th
International Workshop on Collaborative Editing Systems - IWCES 2007
98 sur 101
08/04/2015 16:04
Monsieur Yedes YESSER
Docteur 2010
Doctorat :
Encadrement :
Nidhal REZG
Modélisation et analyse des performances de stratégies de maintenance, de contrôle de la
Sujet de thèse :
qualité, et de gestion des stocks dans une chaîne logistique
Laboratoire de
thèse :
Date de
12 novembre 2010
soutenance :
école thématique - 2000
Module logistique du master CII - 2008 - 25 heures
Cours création d'entreprise - 2009
Yesser Yedes, Anis Chelbi, Nidhal Rezg 2009. Choosing between two single vendor single buyer
integrated production inventory strategies Journal of Operations and Logistics , volume 2(4), III.1-III.14,
http://www.i4e2.com/journal/journal_summary.php?name=yedes&num=1
Yesser Yedes, Anis Chelbi, Nidhal Rezg 2010. Quasi-optimal integrated production, inventory and
maintenance policies for a single-vendor single-buyer system with imperfect production process Journal of
Intelligent Manufacturing , DOI: 10.1007/s10845-010-0423-2, http://www.springerlink.com/content
/0xwm781m43pg5624/
- Expérience Industrielle (notamment dans l'emballage métallique et le câblege chez VALEO)
- Enseignement Supérieur Technologique (8 ans comme technologue)
99 sur 101
08/04/2015 16:04
Monsieur MAJID ZANDI
Docteur 2010
Doctorat :
Ecole doctorale :
Génie Electrique
Bernard DAVAT, M. Serge PIERFEDERICI
Contribution au pilotage de sources hybrides d'énergie électrique
Etablissement :
Encadrement :
Sujet de thèse :
Laboratoire de
thèse :
Date de soutenance
12 novembre 2010
:
FLE 1 - 2009
M.Zandi & H.Aalami 1998. Standardizing of dc machines over hall engineering journal of Bavar,
Téhéran, Iran
M.Zandi & H.Aalami 1999. The main principals in Standardizing Electrical machines overhall .
engineering journal of Bavar, Téhéran, Iran
M.Zandi & H.Aalami & H.Kharidar 2000. Standardizing of vehicle over hall the first state seminar in
logistic engineeringTéhéran, Iran
M.Zandi & H.Aalami 2000. Standardizing of vehicle machines over hall the first state seminar in logistic
engineering, Téhéran, Iran
M.Zandi 2001. The main principals in producing spherical machinery engineering journal of Bavar,
Téhéran, Iran
M.Zandi 2002. Optimizing in rivers engineering of special control boxes engineering journal of Bavar,
Téhéran, Iran
M.Zandi & H. Aalami 2002. Techniques in overcoming difficulties in research engineering in Iran the
first state seminar in establishing engineering technique, Téhéran, Iran
M.Zandi 2003. Basic of control boxes optimization design & product the second state seminar in
establishing engineering technique, Téhéran, Iran
M.Zandi 2006. Basic of methanol fuel cell design & product the third state seminar in establishing
engineering technique Téhéran, Iran
M.Zandi, A.Payman, J.P. Martin, S. Pierfederici, B. Davat 2008. New Modelling of Solar Modules for
MPPT Control Electrimacs, Canada
A. Payman, M. Zandi, S. Pierfederici, P. Liutanakul, F. Meibody-Tabar 2008. Fuel Cell Characteristic
Observation to Control an Electrical multi-source/multi-load hybrid system PESC Greece
M.Zandi, A.Payman, J.P. Martin, S. Pierfederici, B. Davat 2010. The Novel Coefficients for Modeling
the Photovoltaic Systems and MPPT Control ICREDG, Iran
M.Zandi, A.Payman, J.P. Martin, S. Pierfederici, F. Meibody-Tabar, B. Davat 2010. Flatness based
control of a Hybrid Power Source with Fuel cell / Supercapacitor / Battery ECCE, USA
M.Zandi, A.Payman, J.P. Martin, S. Pierfederici, F. Meibody-Tabar, B. Davat 2010. Energy
Management of a Fuel cell / SuperCapacitor / Battery Power Source for Electric Vehicular applications
IEEE Transactions on Vehicular Technology
100 sur 101
08/04/2015 16:04
101 sur 101
08/04/2015 16:04

Portefeuille de compétences

Transcription

Documents pareils

Optimisation et sélection de portefeuille par indicateur de risque

Porgramme ADB-1

La politique d`achat

UN DIRECTEUR ACHAT (poste basé à Chambéry) Mai.2012

791 en 2010, soit une baisse de 25 % en 5 ans.

reinscriptions en quatrieme annee de these

PROGRAMME STEPH commercial

Thèse de MARIA-JOAO SANTIAGO-RIBEIRO

Détail de l`offre : Gestionnaire Clientèle Particuliers

Directeur Administratif et Financier