Special

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.

Search by property

A list of all pages that have property "News subtitle" with value "More tools, and more support for complex acceptance conditions.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 26 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

  • NewsEntry (2022/05/23)  + (He will give a talk as part of the joint s … He will give a talk as part of the joint seminar [https://www.fi.muni.cz/dfseminar/index.html.en of the DIMEA and FORMELA teams] on practical applications of the "Alternating Cycle Decomposition". His stay will be an opportunity to work on site with Jan Strejček, associate professor from FI MU. Strejček, associate professor from FI MU.)
  • NewsEntry (2015/05/05)  + (He will speak on [http://lat.inf.tu-dresden.de/quantla/index.php/study-programme/research-seminar/research-seminar-ss-2015#d20150505 From PSL to Transition-based Generalized Büchi Automata] at the Research Seminar QuantLA.)
  • NewsEntry (2015/04/09)  + (He will speak on [http://www.fi.muni.cz/fmdsa/2015-duret 'Stutter-Invariance Checks & Testing Automata'] at the Working Seminar on Formal Models, Discrete Structures, and Algorithms.)
  • NewsEntry (2016/06/22)  + (He will talk about Big Data, the electric meter called Linky and its risks regarding privacy impact.)
  • NewsEntry (2017/06/13)  + (He will talk about his experience of making a MOOC on Python.)
  • OlenaNewsEntry (2014/07/08)  + (Here is a list of major changes since Olen … Here is a list of major changes since Olena 2.0:</br></br>* New and improved algorithms (binarization, skeletonization, layout analysis) and I/O routines (PDF, VTK).</br>* Minimal support for FFTW 3 (Fast Fourier Transform).</br>* The Scribo distribution now contains a Doxygen documentation.</br>* Support for modern toolchains and especially recent C++ compilers (GCC 4.8, Clang 3.5).recent C++ compilers (GCC 4.8, Clang 3.5).)
  • NewsEntry (2014/10/15)  + (His collaboration includes a team from [http://hopital-bicetre.aphp.fr/acces/ Bicêtre Hospital]. He will work on "Segmentation of white matter hyperintensities in MR images of the newborn and the premature brain".)
  • NewsEntry (2021/11/02)  + (Holding [https://www.epita.fr/nos-formatio … Holding [https://www.epita.fr/nos-formations/diplome-ingenieur/cycle-ingenieur/les-majeures/ EPITA's degree with IMAGE and RDI double major], Thibault comes back to LRDE for a PhD in medical imaging. He will continue to work on medical image segmentation, using lightweight neural networks and medical knowledge as well as adding explainability to the segmentation process.xplainability to the segmentation process.)
  • NewsEntry (2016/09/01)  + (Holding a M.Sc degree from [http://www.gre … Holding a M.Sc degree from [http://www.grenoble-inp.fr Grenoble Institute of Technology] and a Ph.D degree in signal and image processing from [http://www.univ-grenoble-alpes.fr University Grenoble Alpes], his research interests lie at the intersection of mathematical morphology, optimization and multimodal data processing for remote sensing applications.rocessing for remote sensing applications.)
  • NewsEntry (2020/10/21)  + (Holding a Master degree in Computer Scienc … Holding a Master degree in Computer Science from [https://www.unicamp.br Universidade Estadual de Campinas], Caroline joins LRDE’s Image team where she will focus on Explainability of Convolutional Neural Networks. Her PhD will be conducted in cooperation with [http://ligm.u-pem.fr Laboratoire d’Informatique Gaspard-Monge].Laboratoire d’Informatique Gaspard-Monge].)
  • NewsEntry (2016/09/01)2  + (Holding a Ph.D. from [http://www.upmc.fr University Paris VI] his research focuses on formal verification of concurrent systems. He is particularly interested in real-time constrained systems, and in infinite words automata.)
  • NewsEntry (2019/03/04)  + (Holding a PhD on pushdown model checking f … Holding a PhD on pushdown model checking from [https://www.univ-paris-diderot.fr Université Paris 7], his research interests gravitate naturally towards automata theory and formal verification. He will contribute to the [[Spot]] team's projects, [[TickTac]] in particular.[TickTac]] in particular.)
  • NewsEntry (2017/08/31)  + (Holding an engineering degree from [http:/ … Holding an engineering degree from [http://ense3.grenoble-inp.fr Grenoble INP - Ense3] in the field of signal and image processing, Julie joins the image team of LRDE. She is working on real-time hyperspectral retinal holography on GPU with the [https://www.institut-langevin.espci.fr/home Langevin Institute] and the [https://www.quinze-vingts.fr Quinze-Vingts National Ophthalmology Hospital].e-Vingts National Ophthalmology Hospital].)
  • NewsEntry (2017/01/01)  + (Holding an engineering degree in medical i … 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.</br>She joins LRDE's Olena team where she will work on the [https://www.lrde.epita.fr/wiki/MOBIDEM MOBIDEM] project, especially on automatic extraction of text from images of identity papers.on of text from images of identity papers.)
  • Vaucanson 0.6.1 is released (2004-10-26)  + (In addition to the usual bug fixes, this release brings full support of G++ 3.)
  • NewsEntry (2020/06/02)  + (In this webinar, Nicolas Boutry from LRDE … In this webinar, Nicolas Boutry from LRDE presents how to segment with Convolutional Neural Networks (CNN's) white and grey matters in multi-modal MRI 3D brain images of 6-months year old children. His demonstration is based on a dataset from the [http://iseg2017.web.unc.edu/ iSeg2017 challenge].seg2017.web.unc.edu/ iSeg2017 challenge].)
  • NewsEntry (2014/03/28)  + (Invited speakers : Laura Carnevali - Unive … Invited speakers : Laura Carnevali - University of Florence, "Quantitative evaluation of non-Markovian models through the approach of stochastic state classes: applications and future issues", and Ridha Benosman - CNAM, Paris, "Conception et Évaluation de Performances d'un Bus Applicatif Parallèle et Orienté Service"s Applicatif Parallèle et Orienté Service")
  • NewsEntry (2018/05/18)  + (Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates")
  • NewsEntry (2016/04/08)2  + (Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker")
  • 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.)
  • 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.)
Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/More-20tools,-20and-20more-20support-20for-20complex-20acceptance-20conditions."