copy and paste this google map to your website or blog!
Press copy button and paste into your blog or website.
(Please switch to 'HTML' mode when posting into your blog. Examples: WordPress Example, Blogger Example)
Input Form:Deal with this potential dealer,buyer,seller,supplier,manufacturer,exporter,importer
(Any information to deal,buy, sell, quote for products or service)
Activities - LRI PhD project, Jieying Chen, LRI, Université Paris Sud, France 2015-2019 (co-supervision with Philippe Dague; supervision portion: 80%) Master thesis, Félix Polla
GALaC LRI Paris-Sud ven 11 juillet 2025 -- Georgii Melidi (LIP6) summary: We initiate the systematic study of decision-theoretic metrics in the design and analysis of algorithms with machine-learned predictions We introduce approaches based on both deterministic measures such as distance-based evaluation, that help us quantify how close the algorithm is to an ideal solution, as well as stochastic measures that
Mlodecki Hugo - LRI Séminaire combinatoire conjoint du LIX et du LRI, École Polytechnique (Orsay), Autodualité de WQSym, l’algèbre de Hopf sur les mots tassés
chap5 2023 - lri. fr chap5 2023 Chapter 5: Incorporating physical knowledge Deep Learning for physics
jobs - LRI Send a CV and a motivation letter to: Sarah Fdili Alaoui : sarah fdili-alaoui@lri fr Read more…
LRI - BioInfo Statistics and Machine Learning for Population Genetics Our main expertise is the inference of population past histories using various statistical tools, from basic descriptive statistics to Bayesian Computation It includes reconstructing the demography and relationships of human or non human species both from modern and ancient DNA sequences We pursue our research on the development of
VALS - Software - LRI Cubicle is an open source model checker for verifying safety properties of array-based systems, which corresponds to a syntactically-restricted class of parametrized transition systems with states represented as arrays indexed with an arbitrary number of processes Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems
Workshops - LRI Workshops ExSitu organizes workshops to allow us to dive deeper into specific research topics of interest We also run Masters-level courses on Interaction Design
People - LRI Cédric Fleury Assistant Professor Université Paris-Sud Office: 650-213 ~ Website Publications cfleury@lri fr