Dissertations and habilitations - Laboratoire de Recherche en Informatique

#	Defence	Type	Name	Title

26.	05/11/2020	Ph.D	MOULIN Cécile	Analyse des voies métabolique au cours du cycle cellulaire : application au métabolisme du cancer

27.	03/11/2020	Ph.D	RIEU-HELFT Raphaël	Development and verification of arbitrary-precision integer arithmetic libraries

28.	22/10/2020	Ph.D	GOUBAULT DE BRUGIERE Timothée	Methods for optimizing the synthesis of quantum circuits

29.	30/09/2020		LAVEAU Marie	Asynchronous Self-stabilizing Stable Marriage

30.	08/07/2020	Faculty habilitation	TSANDILAS Theophanis	Designing Interactive Tools for Creators and Creative Work

31.	02/07/2020	Faculty habilitation	BEZERIANOS Anastasia	Increasing the bandwidth of interactive visualizations, using complex display environments and targeted designs

32.	18/06/2020	Faculty habilitation	FURTLEHNER Cyril	Statistical Physics methods for machine learning and traffic forecasting

33.	06/02/2020	Ph.D	RAMACHANDRA RAO Sanjay Kamath	Question Answering with Hybrid Data and Models

34.	19/12/2019	Ph.D	ROUX Mattias	Extensions of the backward reachability algorithm in the context of model checking modulo theories

35.	19/12/2019	Ph.D	SUN Lisheng	Meta-Learning as a Markov Decision Process

36.	17/12/2019	Ph.D	KALAINATHAN Diviyan	Generative Neural Networks to Infer Causal Mechanisms: Algorithms and Applications

37.	13/12/2019	Ph.D	FAISSOLE Florian	Formalizations of error analysis in numerical analysis and floating-point arithmetic

38.	11/12/2019	Faculty habilitation	TUBARO Paola	Decoding the platform society: Organizations, markets and networks in the digital economy

39.	04/12/2019	Faculty habilitation	BURMAN Janna	Distributed Computing with Limited Resources

40.	03/12/2019	Ph.D	BERGE Pierre	A guide book for the traveller on graphs full of blockages

41.	03/12/2019	Ph.D	TCHERNAVSKIJ Philip	Designing and Programming Malleable Software.

42.	29/11/2019	Ph.D	DOQUET Guillaume	Agnostic Feature Selection

43.	29/11/2019	Ph.D	FALQUE Justine	Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson

44.	18/11/2019	Thesis in progress		Metabolic pathway analysis : from constraint-based modelling to dynamical analysis

45.	18/11/2019	Faculty habilitation	PERES Sabine	Metabolic pathway analysis : from constraint-based modelling to dynamical analysis

46.	08/11/2019	Thesis in progress		CAD Modification Techniques for Design Reviews on Heterogeneous Interactive Systems

47.	08/11/2019			CAD Modification Techniques for Design Reviews on Heterogeneous Interactive Systems

48.	08/11/2019	Ph.D	OKUYA Yujiro	CAD Modification Techniques for Design Reviews on Heterogeneous Interactive Systems

49.	07/10/2019	Ph.D	TALLEC Corentin	Recurrent Neural Networks and Reinforcement Learning

50.	03/10/2019	Ph.D	ROMAT Hugo	From data exploration to presentation: designing new systems and interaction techniques to enhance the sense-making process


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