Semantic search
- CSI Seminar : CSI 2018 and ING1 2019 students present their work. — 4 July 2017
- You can find the programme here.Seminars are free and open to anyone.
- Publication The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results in Proceedings Sixth Workshop on Synthesis — 1 July 2017
- 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 of the lab's bulletin L'air de rien 38 — 30 June 2017
- Publication Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness in Multimedia Tools and Applications — 29 June 2017
- Publication Caractérisation des zones de mouvement périodiques pour applications bio-médicales in Actes du 26e Colloque GRETSI — 28 June 2017
- Publication Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage in Actes du 26e Colloque GRETSI — 20 June 2017
- LRDE Seminar on Performance and Genericity - MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances — 14 June 2017
by Andrés S. Charif Rubial (ESN PeXL et Li-PARAD - Université de Versailles)
- 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.
- Publication From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning in Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) — 12 June 2017
- Publication Parallel Learning Portfolio-Based Solvers in Proceedings of the International Conference on Computational Science (ICCS) — 1 June 2017
- Publication Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n in Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI) — 1 June 2017
- Publication Explicit State Model Checking with Generalized Büchi and Rabin Automata in Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17) — 22 May 2017
- LRDE Seminar on Performance and Genericity - Apprentissage par Imitation Auto-Supervisée — 3 May 2017
by Pierre Sermanet, Google Brain
- LRDE Seminar on Performance and Genericity - Apprentissage par Imitation Auto-Supervisée by Pierre Sermanet, Google Brain. — 3 May 2017
- Publication Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking in IEEE Transactions on Geoscience and Remote Sensing — 20 April 2017
- Publication Seminator: A Tool for Semi-Determinization of Omega-Automata in Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'17) — 3 April 2017
- Publication of the lab's bulletin L'air de rien 37 — 21 March 2017
- Publication La pseudo-distance du dahu in Actes d'ORASIS — 21 March 2017
- LRDE Seminar on Performance and Genericity - Calcul parallèle pour problèmes inverses by Nicolas Gac, Université Paris Sud, L2S (Centrale Supélec, CNRS). — 8 March 2017
- 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 Morphological Analysis of Brownian Motion for Physical Measurements in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
- Publication Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) — 23 February 2017
- Publication Introducing 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
- LRDE Seminar on Performance and Genericity - Extraction de biomarqueurs des troubles autistiques à partir de l'activité cérébrale (IRMf) par apprentissage de dictionnaire parcimonieux. — 22 February 2017
by Alexandre Abraham, INRIA
- 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
- 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 Performance and Genericity - Vcsn : une visite guidée, LRDE Seminar on Performance and Genericity - Un outil en ligne de manipulation d'automates et de semi-groupes — 8 February 2017
by Akim Demaille, LRDE, by Charles Paperman, Université Paris Diderot
- 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
- Publication Programmatic Manipulation of Common Lisp Type Specifiers in European Lisp Symposium — 6 February 2017
- Publication Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set — 2 February 2017
- Publication Contributions to LTL and ω-Automata for Model Checking — 1 February 2017
- CSI Seminar : CSI 2017 students present their work. — 31 January 2017
You can find the programme here.Seminars are free and open to anyone.
- Vcsn 2.5 released — 28 January 2017
k-lightest release!The Vcsners are proud to announce the release of Vcsn 2.5, aka the - Spot 2.3 was released — 19 January 2017
- This new release features some exciting news such as: faster emptiness checks for automata that are not explored on-the-fly, several improvements to the SAT-based minimization procedure, preliminary support for alternating automata, membership tests for all classes of the Manna and Pnueli hierarchy of temporal properties.
- LRDE Seminar on Performance and Genericity - Analyse topologique de données pour la visualisation scientifique: où en est-on et où va-t-on? — 18 January 2017
by Julien Tierny - CNRS - LIP6 - UPMC
- The LRDE hosts a new member, Joseph Chazalon, Research Fellow. — 17 January 2017
La Rochelle, has joined the lab for several months and will work on the MOBIDEM project.Joseph Chazalon, postdoc from Laboratoire Image, Informatique et Interaction (L3i) at Université de - The LRDE hosts a new member, Elodie Puybareau, research engineer, who joins the Olena team. — 1 January 2017
- Holding an engineering degree in medical imaging and a PhD in computer science from LIGM, ESIEE, Elodie has worked mainly on automatic extraction of physiological parameters from videos.
- Nicolas Boutry defends his PhD thesis "A study of well-composedness in n-D" at ESIEE at 2pm. — 14 December 2016
- Publication The MIT Lincoln Laboratory 2016 Speaker Recognition System in NIST Speaker Recognition Evaluation 2016 — 12 December 2016
- LRDE Seminar on Performance and Genericity - Des données spatio-temporelles aux dynamiques urbaines — 7 December 2016
by Julien Perret, équipe COGIT, LaSTIG, IGN
- LRDE Seminar on Performance and Genericity - Des données spatio-temporelles aux
dynamiques urbaines by Julien Perret, équipe COGIT, LaSTIG, IGN. — 7 December 2016
- Publication A Study of Well-Composedness in n-D — 1 December 2016
- LRDE Seminar on Performance and Genericity - Analyse du mouvement avec applications bio-médicales — 23 November 2016
by Elodie Puybareau, LIGM
- LRDE Seminar on Performance and Genericity - Analyse du mouvement avec applications bio-médicales by Elodie Puybareau, LIGM. — 23 November 2016
- Publication Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity in Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) — 22 November 2016
- Publication Monads in Common Lisp — 18 November 2016
- Publication Finding Maximal Common Joins in a DAG — 17 November 2016
- Vcsn 2.4 released — 16 November 2016
The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the
quotient tools"!
This version features some noteworthy changes.