Annonce

annonce@lrde.epita.fr

1 participants
560 discussions

[CfP] ELS 2020, 13th European Lisp Symposium, April 27-28, Zurich

by Didier Verna

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 13th European Lisp Symposium Special Focus on Compilers Call for papers April 27 - April 28, 2020 GZ Riesbach Zürich, Switzerland http://www.european-lisp-symposium.org/2020 Sponsored by EPITA, Igalia S.L. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Invited Speakers ~~~~~~~~~~~~~~~~ Andrew W. Keep (Cisco Systems, Inc.), on the Nanopass Framework. Daniel Kochmański (Turtleware), on ECL, the Embeddable Common Lisp. Important Dates ~~~~~~~~~~~~~~~ - Submission deadline: February 13, 2020 - Author notification: March 16, 2020 - Final papers due: April 6, 2020 - Symposium: April 27 - 28, 2020 Scope ~~~~~ 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 dialects, including Common Lisp, Scheme, Emacs Lisp, Clojure, Racket, ACL2, AutoLisp, ISLISP, Dylan, ECMAScript, SKILL and so on. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2020 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. This year's focus will be directed towards "Compilers". We especially invite submissions in the following areas: - Compiler techniques - Compiler passes - Compiler compilers - Showcasing of industrial or experimental compilers - Code generation - Compiler verification - Compiler optimizations - JIT compilers Contributions are also welcome in other areas, including but 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 Technical Program ~~~~~~~~~~~~~~~~~ We invite submissions in the following forms: * Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. * Demonstrations: Abstracts of up to 4 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. All submissions should be formatted following the ACM SIGS guidelines and include ACM Computing Classification System 2012 concepts and terms. Submissions should be uploaded to Easy Chair, at the following http://www.easychair.org/conferences/?conf=els2020 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. Programme Chair ~~~~~~~~~~~~~~~ Ioanna M. Dimitriou H. - Igalia, Spain/Germany Local Chair ~~~~~~~~~~~ Nicolas Hafner - Shinmera, Switzerland Programme Committee ~~~~~~~~~~~~~~~~~~~ Andy Wingo - Igalia, Spain/France Asumu Takikawa - Igalia, Spain/USA Charlotte Herzeel - IMEC, Intel Exascience Lab, Belgium Christophe Rhodes - Google, UK Iréne Durand - Université Bordeaux 1, France Jim Newton - EPITA Research Lab, France Kent Pitman - HyperMeta, USA Leonie Dreschler-Fischer - University of Hamburg, Germany Marco Heisig - FAU Erlangen-Nürnberg, Germany Mark Evenson - not.org, Austria Max Rottenkolber - Interstellar Ventures, Germany Paulo Matos - Igalia, Spain/Germany Robert Goldman - SIFT, USA Robert Strandh - Université Bordeaux 1, France (more PC members to be announced) -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

4 years, 5 months

Quickref 3.0 "The Alchemist" is released

by Didier Verna

Following yesterday's release of Declt, I'm happy to announce the release of Quickref 3.0, our documentation aggregator for Quicklisp libraries. This release is synchronized with that of Declt and the latest Quicklisp distribution, resulting in 1792 reference manual for Common Lisp libraries. The official website has been updated yesterday: https://quickref.common-lisp.net/ -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

4 years, 5 months

Declt 3.0 is released

by Didier Verna

I'm pleased to announce the release of Declt 3.0 "Montgomery Scott", my Texinfo reference manual generator for Common Lisp libraries. This is a new major release of the library, although the changes may not be so visible from the outside. The main concern in this release has been to increase the robustness of the output, from three different angles. 1. Many places from where Declt attempts to extract meaningful information are underspecified (ASDF system slots notably). 2. The pretty-printing of Lisp items can be difficult, given the liberalism and extensibility of the language. 3. Finally, several restrictions in the syntax of Texinfo itself (anchor names notably) get in the way. These issues were described in a paper presented at the TeX Users Group conference, this summer in Palo Alto. This release goes a long way toward fixing them. The new generated reference manuals look mostly the same as before, but some important things have changed under the hood, notably the names of hyperlinks and cross-references (backward-incompatible, hence the increase in the major version number). The output is now also much more robust with respect to the final output format: the generation of HTML, DVI, Postscript, PDF, and even plain Info should work fine and has been tested on all Quicklisp libraries (in fact, Quickref will also be upgraded in the near future to provide all those formats at once). Those improvements do come at a cost. Unicode is now required (even for Info readers). To be honest, many Lisp libraries already had that implicit requirement. Also, this release depends on improvements and bug fixes only available in Texinfo 6.7, now a requirement as well. I have to thank Gavin Smith, from the Texinfo team, for his collaboration. Apart from that, this release also has a number of bug fixes. - Some method specializers were not handled properly. - The manuals were missing documentation for some non-Lisp source files. - There were some glitches in the pretty-printing of unreadable objects. Declt's homepage: https://www.lrde.epita.fr/~didier/software/lisp/typesetting.php#declt -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

4 years, 5 months

[Seminaire-LRDE] Mardi 1 octobre 2019: Edward A. Luke, Professor, Department of Computer Science and Engineering, Mississippi State University

by Edwin Carlinet

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 Mardi 1 octobre 2019 (11h -- 12h), Amphi 4. 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/2019-10-01 [4] http://www.lrde.epita.fr/wiki/Contact Au programme du Mardi 1 octobre 2019 : * 11h -- 12h: The Loci Auto-Parallelizing Framework: An Overview and Future Directions -- Edward A. Luke, Professor, Department of Computer Science and Engineering, Mississippi State University http://web.cse.msstate.edu/~luke/loci/index.html The Loci Auto-Parallelizing framework provides a Domain Specific Language (DSL) for the creation of high performance numerical models. The framework uses a logic-relation model to describe irregular computations, provide guarantees of internal logical consistency, and provides for automatic parallel execution. The framework has been used to develop a number of advance computational models used in production engineering processes. Currently Loci based tools form the backbone of computational fluid dynamics tools used by NASA Marshall and Loci based codes account for more than 20% of the computational workload on NASA’s Pleiades supercomputer. This talk will provide an overview of the framework, discuss its general approach, and provide comparisons to other programming models through a mini-app benchmark. In addition, future plans for developing efficient schedules of fine-grained parallel and memory bandwidth constrained computations will be discussed. Finally, some examples of the range of engineering simulations enabled by the technology will be introduced and briefly discussed. -- Dr. Ed Luke is a professor of computer science in the computer science department of Mississippi State University. He received his Ph.D. in the field of Computational Engineering in 1999 and conducts research at the intersection between applied math, computer science. His research focuses on creating systems to automatically parallelize numerical algorithms, particularly those used to solve systems of partial differential equations. Currently Dr. Luke is participating in active collaborations with INRIA in Paris conducting research in the areas of solver parallelization and mesh generation. 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. -- Edwin Carlinet Laboratoire R&D de l'EPITA (LRDE) _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://lists.lrde.epita.fr/listinfo/seminaire

4 years, 7 months

New publication: ICFEM'19

by Renault Etienne

Greetings, We are please to announce that the following paper has been accepted in 21st International Conference on Formal Engineering Methods (ICFEM'19). Please find the title and abstract below. Title and corresponding authors: "Combining Parallel Emptiness Checks with Partial Order Reductions" Denis Poitrenaud (1,2) and Etienne Renault (3) (1) Sorbonne Université, CNRS, LIP6, F-75005 Paris, France (2) Université Paris Descartes, Paris, France (3) LRDE, Epita, Paris, France Abstract: In explicit state model checking of concurrent systems, multicore emptiness checks and partial order reductions (POR) are two major techniques to handle large state spaces. The first one tries to take advantage of multi-core architectures while the second one may decrease exponentially the size of the state space to explore. For checking LTL properties, Bloemen and van de Pol [2] shown that the best performance is currently obtained using their multi-core SCC-based emptiness check. However, combining the latest SCC-based algorithm with POR is not trivial since a condition on cycles, the proviso, must be enforced on an algorithm which processes collaboratively cycles. In this paper, we suggest a pessimistic approach to tackle this problem for liveness properties. For safety ones, we propose an algorithm which takes benefit from the information computed by the SCC-based algorithm. We also present new parallel provisos for both safety and liveness prop- erties that relies on other multi-core emptiness checks. We observe that all presented algorithms maintain good reductions and scalability. More information at : https://www.lrde.epita.fr/wiki/Publications/renault.18.vecos <https://www.lrde.epita.fr/wiki/Publications/renault.18.vecos>

4 years, 9 months

New publication: Generic Emptiness Check for Fun and Profit (ATVA'19)

by Alexandre Duret-Lutz

I'm happy to announce the the following article has been accepted in to the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19), to be held on October 27-31, 2019 in Taipei, Taiwan. Generic Emptiness Check for Fun and Profit Christel Baier (1), František Blahoudek (2), Alexandre Duret-Lutz (3), Joachim Klein (1), David Müller (1), and Jan Strejček (4) (1) Technische Universität Dresden, Germany (2) University of Mons, Belgium (3) LRDE, EPITA, Le Kremlin-Bicêtre, France (4) Masaryk University, Brno, Czech Republic We present a new algorithm for checking the emptiness of ω-automata with an Emerson-Lei acceptance condition (i.e., a positive Boolean formula over sets of states or transitions that must be visited infinitely or finitely often). The algorithm can also solve the model checking problem of probabilistic positiveness of MDP under a property given as a deterministic Emerson-Lei automaton. Although both these problems are known to be NP-complete and our algorithm is exponential in general, it runs in polynomial time for simpler acceptance conditions like generalized Rabin, Streett, or parity. In fact, the algorithm provides a unifying view on emptiness checks for these simpler automata classes. We have implemented the algorithm in Spot and PRISM and our experiments show improved performance over previous solutions. https://www.lrde.epita.fr/wiki/Publications/baier.19.atva -- Alexandre Duret-Lutz

4 years, 9 months

Spot 2.8 released

by Alexandre Duret-Lutz

We are happy to announce the release of Spot 2.8 Spot is a library of algorithms for manipulating LTL formulas and omega-automata objects (as commonly used in model checking). This release contains code contributed by Clément Gillard and myself. A detailed list of new features is given at the end of this email. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.8.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Note that since Debian 10 ("Buster") was released a few days ago, the "stable" Debian packages we distribute are now built for Buster. As always, please direct any feedback to <spot(a)lrde.epita.fr>. New in spot 2.8 (2019-07-10) Command-line tools: - autfilt learned --highlight-accepting-run=NUM to highlight some accepting run with color NUM. - ltldo, ltlcross, and autcross are now preferring posix_spawn() over fork()+exec() when available. - ltlcross has new options --determinize-max-states=N and --determinize-max-edges=M to restrict the use of determinization-based complementation to cases where it produces automata with at most N states and M edges. By default determinization is now attempted up to 500 states and 5000 edges. This is an improvement over the previous default where determinization-based complementation was not performed at all, unless -D was specified. - ltlcross will now skip unnecessary cross-checks and consistency-checks (they are unnecessary when all automata could be complemented and statistics were not required). - genaut learned --m-nba=N to generate Max Michel's NBA familly. (NBAs with N+1 states whose determinized have at least N! states.) - Due to some new simplification of parity acceptance, the output of "ltl2tgba -P -D" is now using a minimal number of colors. This means that recurrence properties have an acceptance condition among "Inf(0)", "t", or "f", and persistance properties have an acceptance condition among "Fin(0)", "t", or "f". - ltldo and ltlcross learned shorthands to call the tools ltl2na, ltl2nba, and ltl2ngba from Owl 19.06. Similarly, autcross learned a shorthand for Owl's dra2dpa. Documentation: - https://spot.lrde.epita.fr/tut90.html is a new file that explains the purpose of the spot::bdd_dict object. Library: - Add generic_accepting_run() as a variant of generic_emptiness_check() that returns an accepting run in an automaton with any acceptance condition. - twa::accepting_run() and twa::intersecting_run() now work on automata using Fin in their acceptance condition. - simulation-based reductions have learned a trick that sometimes improve transition-based output when the input is state-based. (The automaton output by 'ltl2tgba -B GFa | autfilt --small' now has 1 state instead of 2 in previous versions. Similarly, 'ltldo ltl2dstar -f 'GFa -> GFb' | autfilt --small' produces 1 state instead of 4.) - simulation-based reductions hae learned another trick to better merge states from transiant SCCs. - acc_cond::top_disjuncts() and acc_cond::top_conjuncts() can be used to split an acceptance condition on the top-level & or |. These methods also exist in acc_cond::acc_code. - minimize_obligation() learned to work on very weak automata even if the formula or negated automaton are not supplied. (This allows "autfilt [-D] --small" to minimize very-weak automata whenever they are found to represent obligation properties.) - There is a new spot::scc_and_mark_filter objet that simplifies the creation of filters to restrict spot::scc_info to some particular SCC while cutting new SCCs on given acceptance sets. This is used by spot::generic_emptiness_check() when processing SCCs recursively, and makes it easier to write similar code in Python. - print_dot has a new option 'g', to hide edge labels. This is helpful to display automata as "graphs", e.g., when illustrating algorithms that do not care about labels. - A new complement() function returns complemented automata with unspecified acceptance condition, allowing different algorithms to be used. The output can be alternating only if the input was alternating. - There is a new class output_aborter that is used to specify upper bounds on the size of automata produced by some algorithms. Several functions have been changed to accept an output_aborter. This includes: * tgba_determinize() * tgba_powerset() * minimize_obligation() * minimize_wdba() * remove_alternation() * product() * the new complement() * the postprocessor class, via the "det-max-state" and "det-max-edges" options. - SVA's first_match operator can now be used in SERE formulas and that is supported by the ltl_to_tgba_fm() translation. See doc/tl/tl.pdf for the semantics. *WARNING* Because this adds a new operator, any code that switches over the spot::op type may need a new case for op::first_match. Furthermore, the output of "randltl --psl" will be different from previous releases. - The parser for SERE learned to recognize the ##n and ##[i:j] operators from SVA. So {##2 a ##0 b[+] ##1 c ##2 e} is another way to write {[*2];a:b[+];c;1;e}. The syntax {a ##[i:j] b} is replaced in different ways depending on the values of i, a, and b. The formula::sugar_delay() function implements this SVA operator in terms of the existing PSL operators. ##[+] and ##[*] are sugar for ##[1:$] and ##[0:$]. - The F[n:m] and G[n:m] operators introduced in Spot 2.7 now support the case where m=$. - spot::relabel_apply() makes it easier to reverse the effect of spot::relabel() or spot::relabel_bse() on formula. - The LTL simplifier learned the following rules: F(G(a | Fb)) = FGa | GFb (if option "favor_event_univ") G(F(a | Gb)) = GFa | FGb (if option "favor_event_univ") F(G(a & Fb) = FGa & GFb (unless option "reduce_size_strictly") G(F(a & Gb)) = GFa & FGb (unless option "reduce_size_strictly") GF(f) = GF(dnf(f)) (unless option "reduce_size_strictly") FG(f) = FG(cnf(f)) (unless option "reduce_size_strictly") (f & g) R h = f R h if h implies g (f & g) M h = f M h if h implies g (f | g) W h = f W h if g implies h (f | g) U h = f U h if g implies h Gf | F(g & eventual) = f W (g & eventual) if !f implies g Ff & G(g | universal) = f M (g | universal) if f implies !g f U (g & eventual) = F(g & eventual) if !f implies g f R (g | universal) = G(g | universal) if f implies !g - cleanup_parity() and colorize_parity() were cleaned up a bit, resulting in fewer colors used in some cases. In particular, colorize_parity() learned that coloring transitiant edges does not require the introduction of a new color. - A new reduce_parity() function implements and generalizes the algorithm for minimizing parity acceptance by Carton and Maceiras (Computing the Rabin index of a parity automaton, 1999). This is a better replacement for cleanup_parity() and colorize_parity(). See https://spot.lrde.epita.fr/ipynb/parity.html for examples. - The postprocessor and translator classes are now using reduce_parity() for further simplifications. - The code for checking recurrence/persistence properties can also use the fact the reduce_parity() with return "Inf(0)" (or "t" or "f") for deterministic automata corresponding to recurrence properties, and "Fin(0)" (or "t" or "f") for persistence properties. This can be altered with the SPOT_PR_CHECK environment variable. Deprecation notices: - The virtual function twa::intersecting_run() no longuer takes a second "from_other" Boolean argument. This is a backward incompatibility only for code that overrides this function in a subclass. For backward compatibility with programs that simply call this function with two argument, a non-virtual version of the function has been introduced and marked as deprecated. - The spot::acc_cond::format() methods have been deprecated. These were used to display acceptance marks, but acceptance marks are unrelated to acceptance conditions, so it's better to simply print marks with operator<< without this extra step. Bugs fixed: - The gf_guarantee_to_ba() is relying on an inplace algorithm that could produce a different number of edges for the same input in two different transition order. - A symmetry-based optimization of the LAR algorithm performed in spot::to_parity() turned out to be incorrect. The optimization has been removed. "ltlsynt --algo=lar" is the only code using this function currently. -- Alexandre Duret-Lutz

4 years, 10 months

Séminaire des étudiants chercheurs du LRDE : Mardi 2 juillet 2019 à 13h - Amphi 2

by Daniela Becker

Bonjour, Nous avons le plaisir de vous inviter au Séminaire des étudiants chercheurs du LRDE. Ils présenteront le résultat de leurs travaux le mardi 2 juillet en amphi 2 à partir de 13h. Au programme : - Climb : 13h00 : Antoine Hacquard "Parallélisation et Indexation de Quickref" - Oléna : 13h30 : Thibault Buatois "Segmentation de tumeur cérébrale par réseau de neurones convolutionnel" 14h00 : Célian Gossec "Création d'un lien entre une bibliothèque de traitement d'images en C++ haute performance vers Python" 14h30 Pause - Spot : 14h45 : Samuel Corno "Utilisation du Scatter Search pour trouver un meilleur ordre de variable dans les BDD" 15h15 : Paul Guénézan "Exploration d'espace d'états distribuée" 15h45 : Martin Huvelle "Réimplémentation des automates testeurs dans Spot" 16h15 : Antoine Martin "Comment implémenter le support des goroutines dans go2pins" Pour plus d’informations, voir ici : https://www.lrde.epita.fr/wiki/Student_Seminar_2019-07-02 L'entrée du séminaire est libre. -- Daniela Becker Responsable administrative du LRDE

4 years, 10 months

Soutenance de thèse de Ludovic Le Frioux

by Ludovic Le Frioux

Bonjour à tous, J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée : "Vers une parallélisation efficace de la résolution du problème de satisfaisabilité" L'exposé se déroulera en français. Vous êtes également cordialement invité au pot qui suivra. Date : le mercredi 3 juillet à 14h Lieu : en salle KB604 à l'EPITA, 14-16 rue Voltaire, Le Kremlin-Bicêtre 94270 Vous trouverez également toutes les informations sur la page web suivante : https://www.lrde.epita.fr/wiki/Affiche-these-LLF Le jury sera composé de : Rapporteurs: * Michaël KRAJECKI, Professeur à l'Université de Reims, CReSTIC * Laurent SIMON, Professeur à l'Université de Bordeaux, LaBRI, CNRS Examinateurs: * Daniel LE BERRE, Professeur à l'Université d'Artois, CRIL, CNRS * Bertrand LE CUN, Ingénieur Senior à Google Inc. * Clémence MAGNIEN, Directeur de Recherche au CNRS, LIP6, CNRS Encadrants: * Souheib BAARIR, Maître de Conférence à l'Université Paris Nanterre, LIP6, CNRS * Fabrice KORDON, Professeur à Sorbonne Université, LIP6, CNRS * Julien SOPENA, Maître de Conférence à Sorbonne Université, LIP6, CNRS, INRIA Mots clés : satisfaisabilité booléenne, parallélisation, portfolio, diviser pour régner, échange de clauses, outil Le résumé de la thèse est le suivant : Les solveurs résolvants le problème de SATisfiabilité booléenne sont utilisés avec succès dans de nombreux contextes : vérification de programmes et de matériels, cryptographie, bio-informatique, preuve automatique de théorème, etc. Ceci est dû à leur capacité à résoudre d'énormes problèmes pouvant contenir des millions de variables et des dizaines de millions de contraintes. Alors que la plupart des solveurs SAT ont longtemps été séquentiels, l'émergence des machines multi-cœurs a ouvert de nouvelles perspectives dans ce domaine. Il existe de nombreux solveurs SAT parallèles différents par leurs stratégies, langages de programmation, bibliothèques utilisées, etc. Il est donc difficile de comparer l'efficacité de différentes stratégies dans un cadre unifié et équitable. De plus, l'introduction de nouvelles approches nécessite une compréhension approfondie de l'implémentation des solveurs déjà existants. Cette thèse présente Painless : une plateforme générique et modulaire permettant l'implémentation de solveurs SAT parallèles efficaces pour les machines multi-cœurs. Elle offre une implémentation des composants de base et sa modularité permet aux utilisateurs de créer facilement leurs solveurs parallèles basés sur de (nouvelles) stratégies. Painless a permis de construire et tester de nombreux solveurs. Nous avons pu imiter le comportement de trois solveurs de l'état de l'art tout en factorisant de nombreuses parties du code. L'efficacité de Painless a été soulignée par le fait que ces implémentations sont au moins aussi efficaces que les originales. De plus, lors de la participation à la compétition annuelle internationale de solveurs SAT parallèles, l'un de nos solveurs s'est classé 3ème en 2017 et un autre 1er en 2018. Nous avons utilisé Painless pour mener des expériences équitables avec des solveurs de type diviser pour régner. Celles-ci nous ont permis de mettre en lumière des compositions originales d'heuristiques plus performantes que celles déjà présentes dans l’état de l’art. Enfin nous avons été en mesure de créer et tester de nouvelles stratégies exploitant la structure modulaire des formules SAT. L'approche que nous avons proposée utilise la topologie de la formule pour guider le solveur vers des zones plus riches en informations, permettant ainsi l’accélération de la résolution parallèle du problème. A bientôt, Ludovic LE FRIOUX

4 years, 10 months

Séminaire des étudiants chercheurs RDI : Lundi 1er juillet 2019 à 13h - Amphi Master

by Daniela Becker

Bonjour, Nous avons le plaisir de vous inviter au Séminaire des étudiants de la majeure double compétence recherche (RDI) composée d'étudiants venant aussi bien du LRDE que du LSE. Il se déroulera le 1er juillet en amphi master à partir de 13h. Les sujets abordés sont : 13h00 : « Modeling and Identifying Troll Farm Accounts on Twitter » - Antoine Sainson (LSE) 13h30 : « Automatic troll farm detection on Twitter » - Hugo Linsenmaier (LSE) 14h00 : « Génération d'états artificiels dans des espaces d'états à l'aide d'estimations de densité paramétriques et non paramétriques. » - Thomas de Carvalho (LRDE) 14h30 : « Estimation de la fonction de niveau de bruit à l'aide de l'arbre des formes dans des images naturelles » - Baptiste Esteban (LRDE) 15h15 : « Génération d'images marines réalistes » - Charles Ginane (LRDE) 15h45 : « Integrating Mathematical Morphology with Deep Convolutional Neural Networks » - Alexandre Kirszenberg (LRDE) 16h15 : « Introduction des opérateurs morphologiques dans les réseaux de neurones convolutionels profonds » - Younes Koudhli (LRDE) 16h45 : « An implementation of Baker’s SUBTYPEP decision procedure » - Léo Valais (LRDE) Pour plus d’informations, voir ici : https://www.lrde.epita.fr/wiki/Student_Seminar_2019-07-01 L'entrée du séminaire est libre. -- Daniela Becker Responsable administrative du LRDE

4 years, 10 months

← Newer
1
...
5
6
7
8
9
10
11
...
56
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce