Semantic search
- Olena Day: presentation and demonstration of the Olena project — 19 February 2003
- Publication Olena: a component-based platform for image processingmixing generic, generative and OO programming in Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000” — 1 October 2000
- Olena 0.11 is released. — 21 February 2007
- Olena 1.0 is released. — 14 July 2009
- Olena 2.1 released — 8 July 2014
Here is a list of major changes since Olena 2.0:
- New and improved algorithms (binarization, skeletonization, layout analysis) and I/O routines (PDF, VTK).
- Minimal support for FFTW 3 (Fast Fourier Transform).
- The Scribo distribution now contains a Doxygen documentation.
- Support for modern toolchains and especially recent C++ compilers (GCC 4.8, Clang 3.5).
- Olivier Ricou gives conference on Internet governance at ESPCI — 19 February 2010
- On the occasion of the Seminar of the PMMH laboratory at ESPCI, Olivier Ricou has given a general knowledge
- Publication On GNN Explainability with Activation Rules in Data Mining and Knowledge Discovery — 20 October 2022
- Publication On Making nD Images Well-Composed by a Self-Dual Local Interpolation in Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI) — 28 May 2014
- Publication On Refinement of Büchi Automata for Explicit Model Checking in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
- Publication On Robustness for the Skolem and Positivity Problems in 39th International Symposium on Theoretical Aspects of Computer Science STACS — 7 July 2022
- Publication On Some Associations Between Mathematical Morphology and Artificial Intelligence in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) — 16 February 2021
- Publication On a Polynomial Vector Field Model for Shape Representation in Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) — 28 April 2006
- Publication On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson in Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP) — 26 May 2003
- Publication On the Usefulness of Clause Strengthening in Parallel SAT Solving in Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) — 1 August 2020
- Publication On the security of quantum networks: a proposal framework and its capacity in Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) — 10 March 2007
- Publication On-the-fly Emptiness Check of Transition-based Streett Automata in Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) — 1 January 2009
- Publication One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures in Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) — 18 June 2019
- Publication Optimization of the Product Configuration System of Renault in SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing — 3 April 2023
- Publication Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes — 1 June 2012
- Publication PAIP 2019: Liver Cancer Segmentation Challenge in Medical Image Analysis — 10 November 2020
- Publication PaInleSS: a Framework for Parallel SAT Solving in Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) — 30 June 2017
- Publication Parallel Computation of Component Trees on Distributed Memory Machines in IEEE Transactions on Parallel and Distributed Systems — 2 April 2018
- Publication Parallel Explicit Model Checking for Generalized Büchi Automata in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) — 13 January 2015
- Publication Parallel Learning Portfolio-Based Solvers in Proceedings of the International Conference on Computational Science (ICCS) — 1 June 2017
- Publication Parallel Model Checking Algorithms for Linear-Time Temporal Logic in Handbook of Parallel Constraint Reasoning — 10 April 2018
- Publication Parallel Satisfiability Solver Based on Hybrid Partitioning Method in Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) — 1 March 2017
- Publication Parallelizing Quickref in 12th European Lisp Symposium — 1 April 2019
- Patcher 3.10 is released — 27 February 2008
- Patcher 3.8 is released — 26 July 2005
- Patcher 3.9 is released — 17 September 2007
- Publication Periodic Area-of-Motion characterization for Bio-Medical applications in Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) — 20 February 2017
- Publication Person authentication based on hand shape in Proceedings of 12th European Signal Processing Conference (EUSIPCO) — 1 September 2004
- PhD student Alban Linard defends his Thesis at LIP6 — 29 September 2009
Title :
- PhD student Alexandre Hamez defends his Thesis at LIP6 — 8 December 2009
Title :
- PhD student Jérôme Darbon receives his PhD degree with distinction — 7 October 2005
Jérôme Darbon has studied Computer Science (EPITA, year 2001) and Applied Mathematics (DEA Mathématiques, Vision et Apprentissage, at ENS Cachan, year 2001). He has successfully completed his PhD at ENST and LRDE.
- Publication Polar type inference with intersection types and ω in Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science — 1 July 2002
- Publication Posets With Interfaces as a Model for Concurrency in Information and Computation — 30 June 2022
- Publication Practical Application of Probabilistic Model Checking to Communication Protocols in FMICS Handbook on Industrial Critical Systems — 1 January 2006
- Publication Practical Applications of the Alternating Cycle Decomposition in Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22) — 1 February 2022
- Publication Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient in Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP) — 10 September 2014
- Publication Practical Stutter-Invariance Checks for ω-Regular Languages in Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) — 15 June 2015
- Publication Practical “Paritizing” of Emerson–Lei Automata in Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) — 7 July 2020
- Publication Probabilistic Verification of Sensor Networks in Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) — 1 February 2006
- Publication Probabilistic abstraction for model checking: an approach based on property testing in ACM Transactions on Computational Logic — 21 November 2005
- Publication Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC in Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) — 1 January 2004
- Publication Probabilistic verification and approximation in Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) — 11 April 2005
- Publication Program templates: expression templates applied to program evaluation in Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) — 31 July 2003
- Publication Programmatic Manipulation of Common Lisp Type Specifiers in European Lisp Symposium — 6 February 2017
- Publication Project EFIGI: Automatic classification of galaxies in Astronomical Data Analysis Software and Systems XV — 20 September 2006
- Project TerraRush (TerraRush- French Version) accepted — 26 December 2011