Annonce

annonce@lrde.epita.fr

564 discussions

by Alexandre Duret-Lutz

We are happy to announce the release of Spot 2.3. Spot is a library of algorithms for manipulating LTL formulas and omega-automata (objects as commonly used in model checking). This new release features some exiting 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. See below for more details. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.3.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. The contributors to this release are Maximilien Colange, Alexandre Gbaguidi Aisse, Étienne Renault, and myself. As always, please direct any feedback to <spot(a)lrde.epita.fr>. New in spot 2.3 (2017-01-19) Build: * While Spot only relies on C++11 features, the configure script learned --enable-c++14 to compile in C++14 mode. This allows us check that nothing breaks when we will switch to C++14. * Spot is now distributed with PicoSAT 965, and uses it for SAT-based minimization of automata without relying on temporary files. It is still possible to use an external SAT solver by setting the SPOT_SATSOLVER environment variable. * The development Debian packages for Spot now install static libraries as well. * We now install configuration files for users of pkg-config. Tools: * ltlcross supports translators that output alternating automata in the HOA format. Cross-comparison checks will only work with weak alternating automata (not necessarily *very* weak), but "ltlcross --no-check --product=0 --csv=..." will work with any alternating automaton if you just want satistics. * autfilt can read alternating automata. This is still experimental (see below). Some of the algorithms proposed by autfilt will refuse to work because they have not yet been updated to work with alternating automata, but in any case they should display a diagnostic: if you see a crash, please report it. * autfilt has three new filters: --is-very-weak, --is-alternating, and --is-semi-deterministic. * the --check option of autfilt/ltl2tgba/ltldo/dstar2tgba can now take "semi-determinism" as argument. * autfilt --highlight-languages will color states that recognize identical languages. (Only works for deterministic automata.) * 'autfilt --sat-minimize' and 'ltl2tgba -x sat-minimize' have undergone some backward incompatible changes. They use binary search by default, and support different options than they used too. See spot-x(7) for details. The defaults are those that were best for the benchmark in bench/dtgbasat/. * ltlfilt learned --recurrence and --persistence to match formulas belonging to these two classes of the temporal hierarchy. Unlike --syntactic-recurrence and --syntactic-persistence, the new checks are automata-based and will also match pathological formulas. See https://spot.lrde.epita.fr/hierarchy.html * The --format option of ltlfilt/genltl/randltl/ltlgrind learned to print the class of a formula in the temporal hierarchy of Manna & Pnueli using %h. See https://spot.lrde.epita.fr/hierarchy.html * ltldo and ltlcross learned a --relabel option to force the relabeling of atomic propositions to p0, p1, etc. This is more useful with ltldo, as it allows calling a tool that restricts the atomic propositions it supports, and the output automaton will then be fixed to use the original atomic propositions. * ltldo and ltlcross have learned how to call ltl3hoa, so 'ltl3hoa -f %f>%O' can be abbreviated to just 'ltl3hoa'. Library: * A twa is required to have at least one state, the initial state. An automaton can only be empty while it is being constructed, but should not be passed to other algorithms. * Couvreur's emptiness check has been rewritten to use the explicit interface when possible, to avoid overkill memory allocations. The new version has further optimizations for weak and terminal automata. Overall, this new version is roughly 4x faster on explicit automata than the former one. The old version has been kept for backward compatibility, but will be removed eventually. * The new version of the Couvreur emptiness check is now the default one, used by twa::is_empty() and twa::accepting_run(). Always prefer these functions over an explicit call to Couvreur. * experimental support for alternating automata: - twa_graph objects can now represent alternating automata. Use twa_graph::new_univ_edge() and twa_graph::set_univ_init_state() to create universal edges an initial states; and use twa_graph::univ_dests() to iterate over the universal destinations of an edge. - the automaton parser will now read alternating automata in the HOA format. The HOA and dot printers can output them. - the file twaalgos/alternation.hh contains a few algorithms specific to alternating automata: + remove_alternation() will transform *weak* alternating automata into TGBA. + the class outedge_combiner can be used to perform "and" and "or" on the outgoing edges of some alternating automaton. - scc_info has been adjusted to handle universal edges as if they were existential edges. As a consequence, acceptance information is not accurate. - postprocessor will call remove_alternation() right away, so it can be used as a way to transform alternating automata into different sub-types of (generalized) Büchi automata. Note that although prostprocessor optimize the resulting automata, it still has no simplification algorithms that work at the alternating automaton level. - See https://spot.lrde.epita.fr/tut23.html https://spot.lrde.epita.fr/tut24.html and https://spot.lrde.epita.fr/tut31.html for some code examples. * twa objects have two new properties, very-weak and semi-deterministic, that can be set or retrieved via twa::prop_very_weak()/twa::prop_semi_deterministic(), and that can be tested by is_very_weak_automaton()/is_semi_deterministic(). * twa::prop_set has a new attribute used in twa::prop_copy() and twa::prop_keep() to indicate that determinism may be improved by an algorithm. In other words properties like deterministic/semi-deterministic/unambiguous should be preserved only if they are positive. * language_map() and highlight_languages() are new functions that implement autfilt's --highlight-languages option mentionned above. * dtgba_sat_minimize_dichotomy() and dwba_sat_minimize_dichotomy() use language_map() to estimate a lower bound for binary search. * The encoding part of SAT-based minimization consumes less memory. * SAT-based minimization of automata can now be done using two incremental techniques that take a solved minimization and attempt to forbid the use of some states. This is done either by adding clauses, or by using assumptions. * If the environment variable "SPOT_XCNF" is set during incremental SAT-based minimization, XCNF files suitable for the incremental SAT competition will be generated. This requires the use of an exteral SAT solver, setup with "SPOT_SATSOLVER". See spot-x(7). * The new function mp_class(f) returns the class of the formula f in the temporal hierarchy of Manna & Pnueli. Python: * spot.show_mp_hierarchy() can be used to display the membership of a formula to the Manna & Pnueli hierarchy, in notebooks. An example is in https://spot.lrde.epita.fr/ipynb/formulas.html * The on-line translator will now display the temporal hierarchy in the "Formula > property information" output. Bugs fixed: * The minimize_wdba() function was not correctly minimizing automata with useless SCCs. This was not an issue for the LTL translation (where useless SCCs are always removed first), but it was an issue when deciding if a formula was safety or guarantee. As a consequence, some tricky safety or guarantee properties were only recognized as obligations. * When ltlcross was running a translator taking the Spin syntax as input (%s) it would not automatically relabel any unsupported atomic propositions as ltldo already do. * When running "autfilt --sat-minimize" on a automaton representing an obligation property, the result would always be a complete automaton even without the -C option. * ltlcross --products=0 --csv should not output any product-related column in the CSV output since it has nothing to display there. -- Alexandre Duret-Lutz

8 years, 2 months

FiXme 4.3 is released

by Didier Verna

Hello, After more than 3 years of hyper-sleep, I'm happy to announce the release of FiXme version 4.3. What's new in this version: * Add a paragraph about the duplication of notes in captions * Update support for the KOMA-Script classes to the tocbasic interface * Separate inline notes from the text they follow * Fix potential inline layouts color leakage * Fix several bracket parsing problems Grab it directly here: http://www.lrde.epita.fr/~didier/software/latex.php#fixme or wait until it propagates through CTAN... -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

8 years, 2 months

[Seminaire-LRDE] Séminaire du LRDE le mercredi 18 janvier 2017: Julien Tierny - CNRS - LIP6 - UPMC

by Guillaume Tochon

Chers collègues, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 18 janvier 2017 (11h--12h), Salle L0 du LRDE. Vous trouverez sur le site du séminaire [1] les prochaines séances, les résumés, captations vidéos et planches des exposés précédents [2], le détail de cette séance [3] ainsi que le plan d'accès [4]. [1] http://seminaire.lrde.epita.fr [2] http://seminaire.lrde.epita.fr/Archives [3] http://seminaire.lrde.epita.fr/2017-01-18 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 18 janvier 2017 : * 11h--12h: Analyse topologique de données pour la visualisation scientifique: où en est-on et où va-t-on? -- Julien Tierny - CNRS - LIP6 - UPMC http://lip6.fr/Julien.Tierny La visualisation scientifique est un domaine qui vise à aider les utilisateurs à (i) représenter, (ii) explorer et (iii) analyser des données géométriques acquises ou simulées, à des fins d'interprétation, de validation ou de communication. Parmi les techniques existantes, les algorithmes inspirés par la théorie de Morse ont démontré leur utilité dans ce contexte pour l'extraction efficace et robuste de structures d'intérêts, et ce, à plusieurs échelles d'importance. Dans cette présentation, je donnerai un bref tutoriel sur l'analyse topologique de champs scalaires, en introduisant quelques concepts clés comme celui de graphe de Reeb, de complexe de Morse-Smale ou de diagramme de persistance. Par ailleurs, j'illustrerai ces notions par des cas d'applications concrets en astrophysique, chimie moléculaire ou encore en combustion. Ensuite, je discuterai certaines problématiques pratiques ayant récemment émergé avec le développement des ressources de calcul haute-performance. Ces problématiques induisent non seulement des jeux de données d'une taille inédite, mais également des types nouveaux de données, comme les champs scalaires multivariés ou incertains. Ces difficultés ne sont pas uniquement intéressantes pour la communauté de recherche à cause de leur forte importance pratique, mais aussi parce qu'elles nécessitent un redémarrage complet de l'effort de recherche entrepris dans ce domaine ces vingt dernières années. En particulier, je présenterai de nouvelles directions de recherche, étayées par des résultats préliminaires récents concernant l'analyse topologique dans un contexte de calcul haute-performance, ainsi que l'analyse topologique de champs scalaires incertains ou bivariés. -- Julien Tierny a obtenu un Doctorat en informatique de l'Université Lille 1 en 2008, et l'Habilitation à Diriger des Recherches de l'Université Pierre-et-Marie-Curie en 2016. Depuis septembre 2014, il est chercheur permanent au CNRS, affilié avec le laboratoire LIP6 (UPMC), après avoir été chercheur à Télécom ParisTech entre 2010 et 2014. Avant cela, lauréat d'une bourse Fulbright, il a été chercheur associé en post-doctorat au Scientific Computing and Imaging Institute de l'Université d'Utah. Ses intérêts de recherche comprennent l'analyse topologique et géométrique de données pour la visualisation scientifique. Il a reçu en 2016 la "Mention Honorable" du concours IEEE Scientific Visualization Contest ainsi que le prix du meilleur article de la conférence IEEE VIS. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. N'hésitez pas à nous faire parvenir vos suggestions d'orateurs. -- Guillaume TOCHON Maître de conférences // Assistant Professor LRDE, EPITA 18, rue Pasteur 94270 Le Kremlin-Bicêtre _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

8 years, 2 months

Publication accepted at PDP 2017

by Souheib Baarir

I am happy to announce that the following paper has been accepted at the 25rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2017) to be held in St Petersburg, Russia on March 6-8. Title and authors: Title : Parallel Satisfiability Solver Based on Hybrid Partitioning Method Tarek Menour (1,3), Souheib Baarir(1,2,3). (1) Paris Ouest Nanterre la Défense University (2) LRDE, EPITA, Kremlin-Bicêtre, France (3) LIP6 Laboratory, CNRS UMR 7606, Paris, France Abstract : This paper presents a hybrid partitioning method used to improve the performance of solving a Satisfiability (SAT) problem. The principle of our approach consists firstly in applying a static partitioning to decompose the search tree in finite set of disjoint sub-trees, then assign each sub-tree to one computing core. However it is not easy to choose the relevant branching variables to partition the search tree. We propose in this context to partition the search tree according to the variables that occur more frequently than others. The advantage of this method is to give a good disjoint sub-trees. However, the drawback is the imbalance load between computing cores. To overcome this drawback, we propose, as novelty, to extend the static partitioning by combining with a new dynamic partitioning that assures a good load balancing between cores. Each time a new waiting core is detected, the dynamic partitioning select automatically by using an estimation function the computing core which has the most work to do in order to partition dynamically its sub-tree in two parts. It keeps one part and gives the second part to the waiting core. Preliminary results show that a good speedup is achieved by using our hybrid method.

8 years, 2 months

[CfP] ELS'17, 10th European Lisp Symposium, April 3-4 2017, Brussels

by Didier Verna

ELS'17 - 10th European Lisp Symposium VUB - Vrije Universiteit Brussel Belgium April 3-4, 2017 In co-location with <Programming> 2017 Sponsored by Brunner Software GmbH http://www.european-lisp-symposium.org/ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 10th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. The symposium will also provide slots for lightning talks, to be registered on-site every day. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. The conference proceedings will be published in the ACM Digital Library. Submissions should be uploaded to Easy Chair, at the following address: https://www.easychair.org/conferences/?conf=els17 Note: to help us with the review process please indicate the type of submission by entering either "paper", "demo", or "tutorial" in the Keywords field. Important dates: - 30 Jan 2017 Submission deadline - 27 Feb 2017 Notification of acceptance - 20 Mar 2017 Final papers due - 03-04 Apr 2017 Symposium Programme chair: Alberto Riva, University of Florida, USA Programme committee: Marco Antoniotti, Università Milano Bicocca, Italy Marc Battyani, FractalConcept Theo D'Hondt, Vrije Universiteit Brussel, Belgium Marc Feeley, Université de Montreal, Canada Stelian Ionescu, Google Rainer Joswig, Independent Consultant, Germany António Menezes Leitão, Technical University of Lisbon, Portugal Nick Levine, RavenPack Henry Lieberman, MIT, USA Mark Tarver, Shen Programming Group Jay McCarthy, University of Massachusetts Lowell, USA Christian Queinnec, Université Pierre et Marie Curie, France François-René Rideau, Bridgewater Associates, USA Nikodemus Siivola, ZenRobotics Ltd Alessio Stalla, Università degli Studi di Genova, Italy Search Keywords: #els2017, ELS 2017, ELS '17, European Lisp Symposium 2017, European Lisp Symposium '17, 10th ELS, 10th European Lisp Symposium, European Lisp Conference 2017, European Lisp Conference '17 -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

8 years, 2 months

soutenance de thèse de Nicolas Boutry le 14 déc. 2016

by Thierry Géraud

Bonjour à tous, Nous avons le plaisir de vous inviter à la soutenance de thèse de Nicolas Boutry intitulée ``Une étude du bien-composé à la dimension n''. Celle-ci aura lieu le 14 Décembre 2016 à 14h00 à l'ESIEE Paris, situé au 2, boulevard Blaise Pascal, Cité Descartes, à Noisy-le-Grand (93). Vous trouverez un plan d'accès à l'école à l'adresse suivante : http://www.esiee.fr/Infos-pratiques/acces.php La soutenance sera suivie d'un pot. Le manuscrit est accessible ici : https://www.lrde.epita.fr/images/b/b9/BOUTRY-PHD-2016-10-9.pdf Composition du jury de thèse ---------------------------- Rapporteurs : Nicolas PASSAT (Université de Reims Champagne-Ardenne) Rocio GONZÁLEZ-DÍAZ (Universidad de Sevilla) Jacques-Olivier LACHAUD (Université Savoie Mont Blanc) Examinateurs : Longin Jan LATECKI (Temple University) Loïc MAZO (Université de Strasbourg) Michel COUPRIE (ESIEE Paris - Université Paris-Est Marne-la-Vallée) Directeurs de thèse : Laurent NAJMAN (ESIEE Paris - Université Paris-Est Marne-la-Vallée) Thierry GÉRAUD (EPITA) Résumé de la thèse ------------------ Le processus de discrétisation faisant inévitablement appel à des capteurs, et ceux-ci étant limités de par leur nature, de nombreux effets secondaires apparaissent alors lors de ce processus; en particulier, nous perdons la propriété d'être "bien-composé" dans le sens où deux objects discrétisés peuvent être connectés ou non en fonction de la connexité utilisée dans l'image discrète, ce qui peut amener à des ambigüités. De plus, les images discrétisées sont des tableaux de valeurs numériques, et donc ne possèdent pas de topologie par nature, contrairement à notre modélisation usuelle du monde en mathématiques et en physique. Perdre toutes ces propriétés rend difficile l'élaboration d'algorithmes topologiquement corrects en traitement d'images: par exemple, le calcul de l'arbre des formes nécessite que la representation d'une image donnée soit continue et bien-composée; dans le cas contraire, nous risquons d'obtenir des anomalies dans le résultat final. Quelques représentations continues et bien-composées existent déjà, mais elles ne sont pas simultanément n-dimensionnelles et auto-duales. La n-dimensionalité est cruciale sachant que les signaux usuels sont de plus en plus tridimensionnels (comme les vidéos 2D) ou 4-dimensionnels (comme les CT-scans). L'auto-dualité est nécéssaire lorsqu'une même image contient des objets à contrastes divers. Nous avons donc développé une nouvelle façon de rendre les images bien-composées par interpolation de façon auto-duale et en n-D; suivie d'une immersion par l'opérateur span, cette interpolation devient une représentation auto-duale continue et bien-composée du signal initial n-D. Cette représentation bénéficie de plusieurs propriétés topologiques fortes: elle vérifie le théorème de la valeur intermédiaire, les contours de chaque coupe de la représentation sont déterminés par une union disjointe de surfaces discrètes, et ainsi de suite.

8 years, 3 months

L'EPITA recrute deux Enseignants-Chercheurs en informatique

by Réda Dehak

Pour large diffusion, désolé pour les réceptions multiples Chères collègues, chers collègues, L’EPITA recrute deux Enseignants-Chercheurs en informatique, la recherche s’effectuera au sein du laboratoire de recherche de l’école. Les enseignements se feront dans le cadre de la majeure Intelligence Artificielle de l’école. Les candidats doivent faire la preuve de leur capacité à s’intégrer dans l’équipe de recherche et dans la formation concernée. Veuillez trouver les descriptifs des postes ci-dessous. date limite de candidature : 10 janvier 2017 Bien cordialement Réda DEHAK https://www.lrde.epita.fr/wiki/Open_positions_-_Research L'EPITA recrute deux Enseignants-Chercheurs en informatique Mots Clés : Machine Learning, Data Science, Speech, Text and signal Processing, BigData. L’Ecole Pour l’Informatique et les Techniques Avancées (EPITA, http://www.epita.fr <http://www.epita.fr/>), école d’ingénieur en informatique située à Paris, recherche deux enseignants-chercheurs pour assurer des cours dans le cycle ingénieur et pour participer aux activités de recherche de l’équipe Speaker ID <https://www.lrde.epita.fr/wiki/Speaker_ID> du Laboratoire de Recherche et Développement de l’EPITA (LRDE). Recherche Les nouveaux collègues rejoindront l’équipe Speaker ID <https://www.lrde.epita.fr/wiki/Speaker_ID> du LRDE, ils devront apporter une expertise complémentaire dans ce domaine, afin d’augmenter le spectre de compétences de l’équipe. Cette équipe dispose déjà de fortes compétences dans le domaine de l’apprentissage automatique, la théorie de la décision, le traitement automatique de la parole et particulièrement dans le domaine de la reconnaissance du locuteur et des émotions. L’équipe travaille en collaboration avec des laboratoires reconnus mondialement et participe régulièrement à des concours internationaux de reconnaissance du locuteur où elle a obtenu d’excellents résultats. Compétences exigées Traitement de la parole, du langage naturel, Analyse de texte (ou éventuellement systèmes de recommandation) Expérience significative de la mise en œuvre d’algorithmes d’analyse de données, d’apprentissage supervisé (SVM, RVM, régression, réseaux de neurones classiques ou profonds, modèle de Markov...) ou non-supervisé (clustering, méthodes de projection et visualisation...) Excellente connaissance d’au moins un langage de prototypage scientifique rapide (Python, Matlab, Julia) Maîtrise d’au moins un langage parmi Scala et C++ Expérience sur la manipulation des données réelles Expérience sur le traitement des signaux et/ou de données massives Expérience en développement informatique Enseignement Les enseignants-chercheurs interviendront dans différents modules en Informatique, apprentissage automatique et reconnaissance des formes durant tout le cycle ingénieur de niveau bac+3 à bac+5. Ils doivent faire preuve d’une expérience significative en enseignement. Ils auront vocation à enseigner principalement les différentes facettes du DataScience (statistiques, analyse de données et BigData, Apprentissage automatique et extraction des connaissance …). Ils interviendront notamment dans la majeure Sciences Cognitives et Informatique Avancée (SCIA) de l’EPITA. Objectifs de recherche de l’équipe Faire de la reconnaissance du langage en profitant de l’expérience en reconnaissance du locuteur Développer des compétences en reconnaissance de la parole et traitement du langage naturel. Développer de nouvelles compétences en Apprentissage automatique : Système de recommandation, Indexation audio et de masse de données, etc… Dossier de la candidature en version électronique CV Lettre de motivation Résumé de thèse Copie des diplômes Publications Lettre de recommandation … à envoyer à Réda Dehak avant le 10 janvier 2017 : Tel : 01 44 08 01 86, <reda.dehak-at-lrde.epita.fr> -- Réda Dehak Enseignant Chercheur et responsable de la majeure SCIA LRDE-EPITA, 14-16 rue voltaire, 94270 le Kremlin Bicêtre, France Tél. +33 1 44 08 01 86

8 years, 3 months

[Seminaire-LRDE] Séminaire du LRDE le mercredi 7 décembre 2016: Julien Perret, équipe COGIT, LaSTIG, IGN

by Guillaume Tochon

Chers collègues, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 7 décembre 2016 (11h--12h), Salle L0 du LRDE. Vous trouverez sur le site du séminaire [1] les prochaines séances, les résumés, captations vidéos et planches des exposés précédents [2], le détail de cette séance [3] ainsi que le plan d'accès [4]. [1] http://seminaire.lrde.epita.fr [2] http://seminaire.lrde.epita.fr/Archives [3] http://seminaire.lrde.epita.fr/2016-12-07 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 7 décembre 2016 : * 11h--12h: Des données spatio-temporelles aux dynamiques urbaines -- Julien Perret, équipe COGIT, LaSTIG, IGN http://recherche.ign.fr/labos/cogit/cv.php?prenom=Julien&nom=Perret La ville est un système complexe façonné par des dynamiques opérant à des échelles différentes. En tant que chercheur en sciences de l'information géographique travaillant dans l'interdisciplinarité, je travaille en collaboration avec des spécialistes du transport, des géographes, des urbanistes, des historiens, des démographes, et des physiciens, afin de proposer de meilleurs outils, modèles et données pour l'étude multi-échelle des dynamiques urbaines. Je présente mes contributions dans un ordre correspondant à l'échelle spatiale, de la plus large à la plus fine : la très grande échelle pour les questions liées à la mobilité, la grande échelle pour celles liées à l'urbanisme et la petite échelle pour les questions liées à l'évolution du territoire sur le long terme. Pour chaque partie, je vais m'attacher à proposer un cheminement commun : tout d'abord la question des sources d'information, des connaissances manipulées, leur représentation, leur stockage ; ensuite, la question de l'analyse de ces données, de leur enrichissement, de leur croisement ; enfin, l'interaction avec ces données, leur visualisation, leur interprétation, leur validation, leur correction par des utilisateurs. -- Julien Perret (Dr. Université de Rennes 1 2006) est chercheur en Informatique et en Sciences de l'Information Géographique au sein de l'équipe de Cartographie et Géomatique (COGIT) du Laboratoire des Sciences et Technologies de l'Information Géographique (LaSTIG) de l'Institut National de l'Information Géographique et Forestière (IGN). Ses sujets de recherche portent principalement sur les données spatio-temporelles et en particulier les données géo-historiques, l'appariement de données géographiques et géo-historiques, la simulation urbaine 2D et 3D, la modélisation des systèmes complexe et l'optimisation stochastique. Il contribue à la mise en place de nouveaux standards pour la recherche reproductible par la diffusion des travaux de recherche sous la forme de données libres et de logiciels libres. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. N'hésitez pas à nous faire parvenir vos suggestions d'orateurs. -- Guillaume TOCHON Maître de conférences // Assistant Professor LRDE, EPITA 18, rue Pasteur 94270 Le Kremlin-Bicêtre _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

8 years, 4 months

[Seminaire-LRDE] Séminaire du LRDE le mercredi 23 novembre 2016: Elodie Puybareau, LIGM

by Guillaume Tochon

Chers collègues, La prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le Mercredi 23 novembre 2016 (11h--12h), Salle L0 du LRDE. Vous trouverez sur le site du séminaire [1] les prochaines séances, les résumés, captations vidéos et planches des exposés précédents [2], le détail de cette séance [3] ainsi que le plan d'accès [4]. [1] http://seminaire.lrde.epita.fr [2] http://seminaire.lrde.epita.fr/Archives [3] http://seminaire.lrde.epita.fr/2016-11-23 [4] http://www.lrde.epita.fr/Contact Au programme du Mercredi 23 novembre 2016 : * 11h--12h: Analyse du mouvement avec applications bio-médicales -- Elodie Puybareau, LIGM http://ciliola.fr L’analyse du mouvement, ou l’analyse d’une séquence d’images, est l’extension naturelle de l’analyse d’images à l’analyse de séries temporelles d’images. De nombreuses méthodes d’analyse de mouvement ont été développées dans le contexe de vision par ordinateur, comprenant le suivi de caractéristiques, le flot optique, l’analyse de points-clefs, le recalage d’image, etc. Dans cet exposé, nous présenterons les outils que nous avons développés pour l'analyse de mouvement adaptés à l’analyse de séquences biomédicales, et en particulier pour les cellules ciliées. Ces cellules, couvertes de cils qui battent, sont présentes chez l’homme dans les zones nécessitant des mouvements de fluide. Dans les poumons et les voies respiratoires supérieures par exemple, les cils sont responsables de l’épuration muco-ciliaire, qui permet d’évacuer des poumons la poussière et autres impuretés inhalées. Les altérations de l’épuration muco-ciliaire peuvent être liées à des maladies génétiques ou acquises. Ces maladies, touchant les cils, sont potentiellement handicapantes. Elles peuvent cependant être caractérisées par l’analyse du mouvement des cils sous un microscope, avec une résolution temporelle importante. Nous avons développé plusieurs outils et techniques pour réaliser ces analyses de manière automatique et avec une haute précision. -- Elodie Puybareau est en thèse d'Imagerie Bio-Médicale depuis le 1er décembre 2013 au LIGM. Ses travaux portent surtout sur l’analyse du mouvement à partir de vidéos, afin d'en extraire divers paramètres qui s'appliquent à des sujets bio-médicaux. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. N'hésitez pas à nous faire parvenir vos suggestions d'orateurs. -- Guillaume TOCHON Maître de conférences // Assistant Professor LRDE, EPITA 18, rue Pasteur 94270 Le Kremlin-Bicêtre _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

8 years, 4 months

Vcsn 2.4

by Akim Demaille

The Vcsn team is proud to announce the release of Vcsn 2.4, code-named "the quotient tools"! Noteworthy changes include, besides a few bug fixes: - full support for quotient operators on all entities: labels, expressions, automata, expansions, etc. In [2]: c = vcsn.context('lan, q') ...: c Out[2]: {...}? -> Q In [3]: label = vcsn.context('law, q').label ...: label('abc') / label('c') Out[3]: ab In [4]: exp = c.expression In [5]: exp('ab').ldivide(exp('ab*c')) Out[5]: ab{\}ab*c In [6]: e = exp('ab').ldivide(exp('ab*c')) ...: e Out[6]: ab{\}ab*c In [7]: e.automaton().expression() Out[7]: b*c Operators {\} (left quotient) and {/} (right quotient) are available in the rational expressions: In [8]: e = exp('ab {\} abc*') ...: e Out[8]: ab{\}abc* In [9]: e.expansion() Out[9]: \e.[b{\}bc*] In [10]: e.derived_term().expression() Out[10]: c* In [11]: e.inductive().expression() Out[11]: \e+cc* - an overhaul of the "Vcsn Tools" (previously known as TAF-Kit). Because the tools are now automatically generated, they are much more extensive than previously: (almost) all of the dyn algorithms are now available from the shell. It now also supports the 'daut' format for automata. $ vcsn thompson -Ee '[ab]*c' | vcsn proper | vcsn determinize | vcsn minimize | vcsn to-expression (a+b)*c $ vcsn random-expression -C 'lal(abc), z' '+, ., w., length=20, w="min=-2, max=10"' (a+<2>(ac)+<5>(acca))a - an new method to construct an automaton from an extended expression: `expression.inductive`. This provides an alternative to `expression.derived_term`. Currently provides a single flavor: generation of standard automata. In [2]: vcsn.B.expression('! [ab]*a[ab]*').inductive().expression() Out[2]: \e+bb* In [3]: vcsn.B.expression('! [ab]*a[ab]*').automaton().expression() Out[3]: b* - `automaton.evaluate` works properly on non-free automata, including multitape automata: In [2]: c = vcsn.context('lan(a-z), nmin') a = (c|c).levenshtein() a('foo|bar') Out[2]: 3 - input/output support for FAdo's format for transducers, and improved compatibility with OpenFST. For more information, please visit http://vcsn.lrde.epita.fr, in particular https://vcsn.lrde.epita.fr/Vcsn2.4. Packages of Vcsn 2.4 should appear soon on various distributions (MacPorts, Debian, ArchLinux, Docker Hub). Vcsn 2.4 is also available online, at http://vcsn-sandbox.lrde.epita.fr. People who worked on this release: - Akim Demaille - Clément Gillard - Lucien Boillod - Sarasvati Moutoucomarapoulé - Sébastien Piat - Younes Khoudli People who have influenced this release: - Alexandre Duret-Lutz - Jacques Sakarovitch - Luca Saiu - Sylvain Lombardy

8 years, 4 months

← Newer
1
...
14
15
16
17
18
19
20
...
57
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce