Property

Job references

From LRDE

This is a property of type Text.

previous 202050100250500next 20
Showing 20 pages using this property.
J
Jobs/LANGEVIN +
- Institut Langevin, CNRS UMR 7587 (ESPCI) http://www.institut-langevin.espci.fr/ - LRDE (EPITA) http://www.lrde.epita.fr - Hôpital des Quinze-Vingts, Paris. http://www.quinze-vingts.fr/  +
Jobs/M2 2015 AD Faster, Faster, Faster +
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.] * [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.] * [https://www.lrde.epita.fr/wiki/Publications/demaille.14.ciaa Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch. “ A Type System for Weighted Automata and Rational Expressions,” CIAA’14.]   +
Jobs/M2 2015 ADL SAT-based Minimization +
* On the usage of a SAT-solver for minimization: https://www.lrde.epita.fr/~adl/dl/adl/baarir.15.lpar.pdf * For the present usage of SAT-based minimization in Spots: https://spot.lrde.epita.fr/satmin.html   +
Jobs/M2 2015 TG Self Dual Filters +
[http://arxiv.org/pdf/1204.4758.pdf Y. Xu et al., ''Morphological filtering in shape spaces'', in the Proc. of ICPR, 2012]  +
Jobs/M2 2016 DV Qt for Climb +
[[File:sujet-climb-qt.png|640px]]  +
Jobs/M2 2016 ER Multi-core for Spot +
* Parallel Explicit Model Checking for Generalized Büchi Automata: https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf * Improved Multi-Core Nested Depth-First: http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf * Scalable Multi-core LTL Model-Checking: http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf   +
Jobs/M2 2017 MC Spot Generic Acc +
Krishnan et al.'s "Deterministic ω-Automata vis-a-vis Deterministic Büchi Automata" (ISAAC'94) C. Löding. [http://old.automata.rwth-aachen.de/download/papers/loeding/lo98.ps "Methods for the transformation of omega-automata: Complexity and connection to second order logic"] (Master Thesis 1998) U. Boker. [http://www.faculty.idc.ac.il/udiboker/files/AutomataTypes.pdf "Why these automata types"] (LPAR 2018) http://spot.lrde.epita.fr/  +
Jobs/M2 2017 MC Spot demo +
http://spot.lrde.epita.fr  +
Jobs/M2 2017 TG Modern Generic C ++ programming +
- M. Garrigues and A. Manzanera, "Video++, a modern image and video processing C++ framework," In Proc. of the Conference on Design & Architectures for Signal & Image Processing (DASIP), 2014. https://hal.inria.fr/hal-01118322/document - T. Geraud, "Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes," HDR report, Univ. Paris-Est, 2012. https://www.lrde.epita.fr/~theo/slides/geraud.2012.hdr_slides.pdf - R. Levillain, T. Geraud, and L. Najman, "Why and how to design a generic and efficient image processing framework: The case of the milena library," In Proceedings of the IEEE International Conference on Image Processing (ICIP), pages 1941–1944, Hong Kong, September 2010. https://www.lrde.epita.fr/~theo/papers/geraud.2010.icip.pdf  +
Jobs/M2 2018 DV RTE +
https://www.lrde.epita.fr/wiki/Publications/newton.16.els https://www.lrde.epita.fr/wiki/Publications/newton.17.els https://www.lrde.epita.fr/wiki/Publications/newton.18.meta.pdf https://www.lrde.epita.fr/wiki/Publications/newton.18.tocl https://www.lrde.epita.fr/wiki/Publications/newton.19.els  +
Jobs/M2 2019 MC Spot Distribued +
* One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters https://www-lipn.univ-paris13.fr/~coti/papiers/CEP18.pdf * On-The-Fly Parallel Decomposition of Strongly Connected Components https://pdfs.semanticscholar.org/2644/fb1d8009fccee7900524bf6ddd0f3fd8431c.pdf * Parallel Explicit Model Checking for Generalized Büchi Automata: https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf * Improved Multi-Core Nested Depth-First: http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf * Scalable Multi-core LTL Model-Checking: http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf * Distributed Algorithms for SCC Decomposition https://core.ac.uk/download/pdf/81957312.pdf   +
Jobs/M2 AD 2014 minimisation-automates +
Some references * [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.] * [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.] * [http://arxiv.org/abs/1010.5318 Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot, “Minimization of automata.”] * [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.8177 Marie-Pierre Béal, Maxime Crochemore, “Minimizing incomplete automata.”]  +
Jobs/M2 AD 2014 minimisation-automates/fr +
Quelques références bibliographiques * [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.] * [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.] * [http://arxiv.org/abs/1010.5318 Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot, “Minimization of automata.”] * [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.8177 Marie-Pierre Béal, Maxime Crochemore, “Minimizing incomplete automata.”]  +
Jobs/M2 AD 2015 Symmetric Difference Automata +
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.] * [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.] * [http://www.cs.sun.ac.za/~jaco/PUBS/index.html#vzg13 L. van Zijl, J. Geldenhuys, “ Symmetric Difference NFA: the state of the art”]   +
Jobs/M2 AD 2015 Syntactic Monoids +
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.] * [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]   +
Jobs/M2 AD 2015 Vcsn for Linguists +
* [http://www.amazon.com/Elements-Automata-Theory-Jacques-Sakarovitch/dp/0521844258 Jacques Sakarovitch, “Elements of Automata Theory,” Cambridge University Press.] * [http://publications.lrde.epita.fr/201307-CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch. “Implementation Concepts in Vaucanson 2,” CIAA’13.]   +
Jobs/M2 ADL 2015 General Acceptance Condition +
* HOAF: format for omega-automata with general acceptance. http://adl.github.io/hoaf/ * Spot: C++ library in which we would like to implement the developed algorithms. https://spot.lrde.epita.fr/ * Christof Löding's diploma thesis about conversion between different acceptance types. http://www.automata.rwth-aachen.de/~loeding/diploma_loeding.pdf   +
Jobs/M2 JF 2014 inpainting +
1. A. Mosleh, N. Bouguila, and A. Ben Hamza, “Automatic Inpainting Scheme for Video Text Detection and Removal,” IEEE Transactions on Image Processing, vol. 22, no. 11, pp. 4460–4472, 2013. 2. M.Wang,B.Yan,andK.NgiNgan,“Anefficientframeworkforimage/video inpainting,” Signal Processing : Image Communication, vol. 28, no. 7, pp. 753–762, 2013. 3. S. Choi, B. Ham, K. Sohn, “Space-Time Hole Filling With Random Walks in View Extrapolation for 3D Video,” IEEE Transactions on Image Pro- cessing, vol. 22, no. 6, pp. 2429–2441, 2013.  +
Jobs/M2 JF 2014 inpainting/fr +
1. A. Mosleh, N. Bouguila, and A. Ben Hamza, “Automatic Inpainting Scheme for Video Text Detection and Removal,” IEEE Transactions on Image Processing, vol. 22, no. 11, pp. 4460–4472, 2013. 2. M.Wang,B.Yan,andK.NgiNgan,“Anefficientframeworkforimage/video inpainting,” Signal Processing : Image Communication, vol. 28, no. 7, pp. 753–762, 2013. 3. S. Choi, B. Ham, K. Sohn, “Space-Time Hole Filling With Random Walks in View Extrapolation for 3D Video,” IEEE Transactions on Image Pro- cessing, vol. 22, no. 6, pp. 2429–2441, 2013.  +
Jobs/M2 TG 2014 self-dual-filters +
[http://arxiv.org/pdf/1204.4758.pdf Y. Xu et al., ''Morphological filtering in shape spaces'', in the Proc. of ICPR, 2012]  +
Retrieved from "https://www.lrde.epita.fr/index.php?title=Property:Job_references&oldid=6094"