Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- NewsEntry (2015/05/22) + (Invited speakers: Ekkart Kindler - Denmark Technical University, on "Coordinating Interactions: The Event Coordination Notation", and Ryszard Janicki - McMaster University, on "Modeling Concurrency With Interval Traces".)
- NewsEntry (2014/05/23) + (Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's [[Spot]]-team.)
- NewsEntry (2015/06/09) + (Jan Strejcek, associate professor, and Frantisek Blahoudek, PhD student, from FI MU work with LRDE's [[Spot]]-team.)
- NewsEntry (2017/01/17) + (Joseph Chazalon, postdoc from Laboratoire Image, Informatique et Interaction (L3i) at Université de La Rochelle, has joined the lab for several months and will work on the [[MOBIDEM]] project.)
- NewsEntry (2020/04/03) + (Lê Duy Huynh and Nicolas Boutry have won t … Lê Duy Huynh and Nicolas Boutry have won the first prize of the [https://ead2020.grand-challenge.org/ Endoscopy Artefact Detection and Segmentation Challenge (EAD2020)] against 31 other participating teams. This challenge was organized during the 17th [http://2020.biomedicalimaging.org/ International Symposium on Biomedical Imaging (ISBI)].l Symposium on Biomedical Imaging (ISBI)].)
- NewsEntry (2022/01/01) + (Marc Plantevit holds a PhD in Computer Sci … Marc Plantevit holds a PhD in Computer Science from [https://www.umontpellier.fr Montpellier University] and a HDR from [https://www.universite-lyon.fr Lyon University]. Before joining EPITA Lyon and LRDE, he was an associate professor at [https://www.univ-lyon1.fr University Claude Bernard Lyon 1] and head of the [https://liris.cnrs.fr/en/team/dm2l Data Mining & Machine Learning research group] at LIRIS lab. His research is mainly concerned with foundation of data mining, graph mining, subgroup discovery and explainable artificial intelligence. He is also interested in the application of machine learning in wide applications such as Neuroscience (olfaction), Electricity price forecasting, recommender systems, etc.y price forecasting, recommender systems, etc.)
- NewsEntry (2017/09/06)2 + (More tools, and more support for complex acceptance conditions.)
- Olena 2.0 is released (2011-09-16) + (Olena is LRDE's platform dedicated to image processing and)
- Olivier Ricou gives conference on Internet governance at ESPCI (2010-02-19) + (On the occasion of the Seminar of the PMMH laboratory at ESPCI, Olivier Ricou has given a general knowledge)
- New online demo of page segmentation and reconstruction (2011-01-05) + (Online demo of page segmentation and reconstruction. Convert a document image to PDF and HTML.)
- Two new online demos related to the Scribo project (2010-06-22) + (Parts of the work done in Scribo can be tested online: a [[Olena/SauvolaMs|multi-scale binarization]] based on Sauvola's algorithm and a [[Olena/TextInPics|text detector in natural pictures]].)
- The LRDE hosts a new member: Benjamin Raynal (2011-09-26) + (PhD from [http://www.univ-mlv.fr Universit … PhD from [http://www.univ-mlv.fr Université Paris Est Marne-la-Vallée]. His works mainly focus on real-time motion capture from multi-camera systems. The applications include new human-computer interfaces, automatic video surveillance and domotics. He joined LRDE as a postdoctoral researcher and is currently interested by automatic extraction of text from images. automatic extraction of text from images.)
- NewsEntry (2014/12/19) + (She and other professionals have presented their work and role as female scientists to female high school students.)
- NewsEntry (2014/09/01) + (Souheib Baarir, assistant-professor from University Paris-Nanterre, has joined the lab for a year and will work on the [[Spot]] project.)
- NewsEntry (2016/11/14) + (Spot 2.2 fixes some serious bugs and adds an assortments of small improvements.)
- NewsEntry (2016/04/11) + (Spot is a C++ library for model checking a … Spot is a C++ library for model checking and manipulation</br>of temporal logic formula and omega-automata. It also</br>comes with command-line tools and Python bindings.</br>Spot 2.0 is the result of 28 months of work, as we starting working on</br>this branch after the release of Spot 1.2.1 (Dec 2013).fter the release of Spot 1.2.1 (Dec 2013).)
- Spot 1.1 released (2013-04-28) + (Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement)
- Spot 0.9 released (2012-05-09) + (Spot is a model-checking library developed collaboratively)
- Spot 0.7 and 0.7.1 released (2011-02-07) + (Spot is a model-checking library developed collaboratively)
- Spot 0.6 is released (2010-04-16) + (Spot is a model-checking library developed collaboratively)
- Spot 0.5 is released (2010-02-01) + (Spot is a model-checking library developed collaboratively)
- NewsEntry (2021/09/02) + (Sven recently completed his PhD at [https: … Sven recently completed his PhD at [https://www.uni-leipzig.de/ Leipzig University] where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to [[Spot]].[Spot]].)
- The LRDE and EPITA take part in the organization of the ITiCSE 2009 conference (2009-01-27) + (The 14th [http://www.acm.org ACM]–[http://www.sigcse.org SIGCSE])
- NewsEntry (2016/04/22) + (The 60 selected projects will receive funding from the French state. [https://www.lrde.epita.fr/wiki/MOBIDEM MOBIDEM] (MOBile IDEntity for the Masses) is supported by the competitiveness cluster Systematic.)
- NewsEntry (2021/07/05) + (The LEMONADE project (LEarning and MOdeliN … The LEMONADE project (LEarning and MOdeliNg spectrAl Dynamics of satellite image time sEries) has been selected by the French National Research Agency as a research project coordinated by young researchers (JCJC). The project’s principal investigator is Lucas Drumetz ([https://www.imt-atlantique.fr IMT-Atlantique, Lab-STICC]), with Mauro Dalla Mura ([http://www.gipsa-lab.fr Grenoble-INP, GIPSA-Lab]) and Guillaume Tochon from LRDE as partners. The project will start in October 2021. The goal of this project is to learn and model, with deep neural network approaches, the spectral dynamics of satellite image time series.l dynamics of satellite image time series.)
- A more public development scheme! (2004-06-15) + (The LRDE is happy to announce that its development process is now)
- The lab hosts a new member : Dalila Benboudjema (2008-10-01) + (The LRDE is happy to welcome Dalila Benbou … The LRDE is happy to welcome Dalila Benboudjema. After having successfully completed her PhD under the direction of thesis advisor Prof. W. Pieczynski at [http://www.telecom-sudparis.eu/fr_accueil.html Télécom Sud-Paris] (ex INT-Evry) she was postdoc at [http://www.telecom-paristech.fr Telecom ParisTech]. Then she has worked at [http://www.ensmp.fr/Accueil Ecole des Mines de Paris] as a Research Engineer, before joining EPITA as an Assistant Professor and the LRDE in order to work, among others, on Olena for the Scribo project . others, on Olena for the Scribo project .)
- The lab hosts a new member : Guillaume Lazzara (2008-09-01) + (The LRDE is happy to welcome Guillaume Lazzara. Former CSI 2008 student, he has received his EPITA)
- The lab welcomes a new member : Alexandre Duret-Lutz (2007-09-01) + (The LRDE is happy to welcome [[User:Adl|Alexandre Duret-Lutz]] who joins the team after receiving his PhD)
- The lab hosts a new member: Jonathan Fabrizio (2009-07-02) + (The LRDE is happy to welcome [[User:Jonathan|Jonathan Fabrizio]].)
- Olena 0.11 is released (2007-02-21) + (The Olena Team is proud to announce the re … The Olena Team is proud to announce the release of Olena 0.11. This version is an update of the [[Olena|Olena]] generic and efficient image processing library developed at the LRDE. This new version brings support for recent versions of the GNU (g++ 4.0 and 4.1) and Intel (icpc 9.1) C++ compilers. Swilena, the set of Python and Ruby wrappers for Olena, has been improved. Finally Olena 0.11 supports Mac OS X (version 10.3) and includes a lot of fixes over the previous version. a lot of fixes over the previous version.)
- Olena 1.0 is integrated into Mandriva Linux (2009-09-09) + (The Olena team is pleased to announce that Milena, the core C++ image processing library of the Olena 1.0 platform, has been integrated into the Mandriva Linux distribution.)
- The Tiger 2006 Project has started (2004-01-12) + (The Tiger.TigerCompiler consists in the implementation of a)
- Vaucanson 1.1.1 is released (2007-12-14) + (The Vaucanson Team is proud to announce the release of Vaucanson 1.1.1. This release contains mostly bug fixes.)
- Vaucanson 1.1 is released (2007-07-30) + (The Vaucanson Team is proud to announce the release of Vaucanson 1.1. This release mainly includes bug fixes, various optimizations (I/O and algorithms) and TAF-Kit improvements.)
- Vaucanson 1.0a is released (2007-06-13) + (The Vaucanson Team is proud to announce the release of Vaucanson 1.0a. This is an intermediate release which mainly includes bug fixes and various optimizations.)
- Vaucanson 1.0 is released (2006-07-28) + (The Vaucanson team is proud to announce this release, which includes significant improvements of the library, and TAF-Kit support for Boolean Automata, Z-Automata, and Transducers.)
- NewsEntry (2016/11/16) + (The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the quotient tools"! This version features some noteworthy changes.)
- NewsEntry (2017/01/31)2 + (The Vcsners are proud to announce the release of Vcsn 2.5, aka the k-lightest release!)
- NewsEntry (2022/11/30) + (The doctoral school of Paris EDITE has org … The doctoral school of Paris EDITE has organized a conference day [https://www.edite-de-paris.fr/journee-de-ledite-2022/ Journée de l’EDITE] dedicated to PhD-students, their supervisors and the best PhD Thesis Award. Among the labs attending, Thierry has presented the unified EPITA Research Laboratory (LRE) with its newly defined research groups and axes.ts newly defined research groups and axes.)
- NewsEntry (2018/01/20) + (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.)
- NewsEntry (2013/10/23) + (The objective of the France-India Technolo … The objective of the France-India Technology Summit is to promote technological and trade exchanges between the two countries, to strengthen existing collaborations and to meet potential partners for the development of new technologies and of new synergies.</br>Olivier Ricou presents research conducted at EPITA during the event.</br></br></br>After the Summit, Olivier Ricou will undertake a 5-day visit to the [http://www.iitj.ac.in Indian Institute of Technology Jodhpur (IIT Jodhpur)] in order to set up a research partnership between EPITA and IIT Jodhpur.partnership between EPITA and IIT Jodhpur.)
- NewsEntry (2013/12/18) + (The objective of this visit is to foster t … The objective of this visit is to foster the relation between EPITA and IITJ. Yongchao Xu is looking for IITJ candidates for internships at LRDE next spring. During his visit at IITJ, Yongchao Xu joins the [http://www.iitj.ac.in/ncvpripg/index.html National Conference on Computer Vision, Pattern Recognition, Image Processing and Graphics (NCVPRIPG)] to be held in Jodhpur from December 19 to 21.be held in Jodhpur from December 19 to 21.)
- Vaucanson 0.5 tutorial day (2004-03-31) + (The second [[Vcsn|Vaucanson Day]] is held at EPITA,)
- NewsEntry (2018/08/03) + (The selected projects will receive funding from the French state. [https://www.lrde.epita.fr/wiki/SoDUCo SoDUCo] stands for SOcial Dynamics in Urban COntext.)
- Vaucanson 0.7 is released (2005-05-17) + (This new release comes with a full support of transducers over a free monoid product and some new algorithms dedicated to transducers. Also, a new XML system has been implemented, introducing the latest updates of the Vaucanson group's format proposal.)
- Vaucanson 0.7.1 is released (2005-06-25) + (This new release comes with a set of bug f … This new release comes with a set of bug fixes in some algorithms on automata and transducers, some new useful algorithms on automata and transducers on direct product of free monoid, and a reorganization of demos. Also, the latest XML proposal was included. The [[Vcsn|Vaucanson]] platform will be presented at the [http://ww.i3s.unice.fr/ciaa05 CIAA conference], June 27-29 2005./ciaa05 CIAA conference], June 27-29 2005.)
- Vaucanson 0.6 is released (2004-07-18) + (This new release comes with an improved XML I/O system and more)
- Vaucanson 0.8.0 is released (2006-06-15) + (This new release comes with the usual set of bug fixes, renamings and cleanup, and with the advant of a new command-line interface: TAF-Kit.)
- Vaucanson 0.7.2 is released (2005-11-09) + (This new release comes with the usual set … This new release comes with the usual set of bug fixes (in the XML system and in demos for most of them), and is mainly motivated by the new compliance of [[Vcsn|Vaucanson]] with the latest [http://gcc.gnu.org GNU C++ Compiler] (version 4.0) and the latest [http://www.intel.com/software/products/compilers/ Intel C++ Compiler] (version 9).ompilers/ Intel C++ Compiler] (version 9).)
- NewsEntry (2017/01/19) + (This new release features some exciting ne … 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.d Pnueli hierarchy of temporal properties.)