The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.
This version includes improvements in the build system, better performances, and extended consistency for a better, smoother, user experience.
LRDE Seminar on Performance and Genericity - Lire les lignes du cerveau humain by Jean-François Mangin, NeuroSpin, and - Apprentissage automatique en neuroimagerie: application aux maladies cérébrales by Edouard Duchesnay, NeuroSpin, CEA, Paris-Saclay . — 8 November 2017
Edwin Carlinet, assistant-professor, is back to the Olena team. — 2 November 2017
After his PhD thesis defense at LRDE in 2015, Edwin has been working for two years as an Imaging Science Engineer at DxO. Now he joins LRDE's image team to maintain and develop the image processing library Olena. He will also be involved in several projects, such as the detection of fibrosis in 3D images of the heart using deep learning methods.
The LRDE hosts a new member, Michaël Roynard, who joins the Olena team for his PhD studies. — 3 October 2017
After his engineering degree from EISTI, Michaël has worked as a software developer at the Informatics development Laboratory (LDI) at CEA/LIST, then at Murex, before joining the image team of LRDE for his PhD. He studies the possibilities that the modern C++ offers to improve Olena, especially concerning its generic aspect.
LRDE Seminar on Performance and Genericity - Frama-C, une plateforme collaborative et extensible pour l'analyse de code C by Julien Signoles, CEA LIST, Laboratoire de Sûreté des Logiciels (LSL). — 27 September 2017
LRDE Seminar on Performance and Genericity - MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances by Andrés S. Charif Rubial, ESN PeXL et Li-PARAD - Université de Versailles. — 14 June 2017
Olivier Ricou invited to panel discussion at PyParis 2017 Conference at Pôle Universitaire Léonard de Vinci, Paris La Défense, France. — 13 June 2017
He will talk about his experience of making a MOOC on Python.
PublicationIntroducing the Dahu Pseudo-Distance in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
Alexandre Duret-Lutz defends his Habilitation thesis "Contributions to LTL and ω-automata for Model Checking" at EPITA at 2:15pm. — 10 February 2017
LRDE Seminar on Automata - Vcsn : une visite guidée by Akim Demaille, LRDE, et Un outil en ligne de manipulation d'automates et de semi-groupes by Charles Paperman, Université Paris Diderot — 8 February 2017