Dissertations and habilitations - Laboratoire de Recherche en Informatique

#	Defence	Type	Name	Title

176.	10/04/2014	Ph.D	QU Long	Méthodes de préconditionnement pour la résolution de systèmes linéaires sur des machines massivement parallèles

177.	01/04/2014	Ph.D	DROSS Claire	Generic Decision Procedures for Axiomatic First-Order Theories

178.	27/03/2014	Ph.D	FENG Dawei	Efficient End-to-End Monitoring for Fault Management in Distributed Systems

179.	10/03/2014	Ph.D	JANSEN Yvonne	Physical and Tangible Information Visualization

180.	20/12/2013	Ph.D	PINDAT Cyprien	A Content-Aware Design Approach to Multiscale Navigation

181.	19/12/2013	Faculty habilitation	AMAR Patrick	Contributions to the study of the dynamics of biologic systems and of computing systems in synthetic biology

182.	03/12/2013	Ph.D	ROMERO MIER Y TERAN Andres	Real-time object tracking by descriptor/operator switching

183.	08/11/2013	Faculty habilitation	DELAËT Sylvie	Auto-stabilisation : solution élégante pour lutter contre les fautes

184.	08/11/2013	Ph.D	CHENG Jianqiang	Stochastic Combinatorial Optimization

185.	31/10/2013	Ph.D	NGUYEN Huu Nghia	A symbolic approach for the verification and the testing of service choreographies

186.	31/10/2013	Faculty habilitation	ATIF Jamal	Quelques contributions à l'interprétation d'images, à l'apprentissage statistique et à la cartographie cérébrale

187.	11/10/2013	Ph.D	CHEN Jiuqiang	Designing scientific workflows following a structure and provenance-aware strategy

188.	30/09/2013	Ph.D	COUETOUX Adrien	Amélioration du MCTS par des techniques d'apprentissage supervisé et applications dans le domaine de l'énergie

189.	27/09/2013	Ph.D	LEBLAY Julien	Efficient querying for the semantic Web

190.	27/09/2013	Ph.D	LETOURNEL Marc	Fonctions sous modulaires stochastiques

191.	27/09/2013	Ph.D	LAGUZET Florence	Study and optimization of color object tracking algorithms

192.	27/09/2013	Ph.D	YANG Weihua	Supereulerian graphs, hamiltonicity of graphs and several extremal problems in graphs

193.	26/09/2013	Ph.D	MEDLEJ Sara	Déterminisme du transport dans les réseaux industriels critiques

194.	26/09/2013	Ph.D	GORGE Agnès	Programmation semi-définie positive : méthodes et algorithmes pour le management d'énergie

195.	06/09/2013	Ph.D	TAFAT BOUZID Asma	Preuves par raffinement de programmes avec pointeurs

196.	09/07/2013	Ph.D	LY Anh Tuan	Accessing and using complex multimedia documents in a digital library

197.	05/07/2013	Ph.D	KATSIFODIMOS Asterios	Performance and optimization in peer to peer data management

198.	05/07/2013	Ph.D	KONRAD Christian	Streaming algorithms

199.	20/06/2013	Ph.D	CAO Phuong Thao	Evaluation de requêtes d'analyse dans le cadre de flots de données

200.	13/06/2013	Ph.D	ZEITOUN Xavier	Complexité des dynamiques des jeux


Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 8 sur 41]