Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
LIP6
Home
Latest submissions
Latest publications
Home
Browse
By subject
By authors
By year
Simple search
LIP6 website
Home
Home
Last submissions
Maximilian Böther, Leon Schiller, Philipp Fischbeck, Louise Molitor, Martin Krejca, et al.. Evolutionary Minimization of Traffic Congestion. Genetic and Evolutionary Computation Conference (GECCO), Jul 2021, Lille (en ligne), France. ⟨10.1145/3449639.3459307⟩. ⟨hal-03201943⟩
Antoine Genitrini, Martin Pépin, Frederic Peschanski. A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space. 2021. ⟨hal-03201618⟩
Stéphane Demri, Denis Poitrenaud. Verification of Infinite-State Systems. Models and Analysis in Distributed Systems, Wiley, pp.221-269, 2011, 9781848213142. ⟨hal-01288079⟩
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din. msolve: A Library for Solving Polynomial Systems. 2021. ⟨hal-03191666⟩
Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger. Not Elimination and Witness Generation for JSON Schema (short version). 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications., Oct 2020, Paris, France. ⟨hal-03190106⟩
Theodoros Giannakas, Pavlos Sermpezis, Anastasios Giovanidis, Thrasyvoulos Spyropoulos, George Arvanitakis. Fairness in Network-Friendly Recommendations. IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2021, Pisa (virtual), Italy. ⟨hal-03188830⟩
Marco Barzman, Mélanie Gerphagnon, Geneviève Aubin-Houzelstein, Georges-Louis Baron, Alain Benard, et al.. Exploring Digital Transformation in Higher Education and Research via Scenarios. Journal of Futures Studies, Graduate Institut of Futures Studies, 2021, 25 (3), pp.65-78. ⟨10.6531/JFS.202103_25(3).0006⟩. ⟨hal-02911665⟩
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din. On the computation of asymptotic critical values of polynomial maps and applications. 2021. ⟨hal-03188279⟩
Boris Teabe Djomgwe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, et al.. (No)Compromis: Paging Virtualization Is Not a Fatality. VEE 2021 - 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12. ⟨hal-03183858⟩
Dinh Ngoc Tu, Boris Teabe Djomgwe, Alain Tchana, Gilles Muller, Daniel Hagimont. Mitigating vulnerability windows with hypervisor transplant. EuroSys 2021 - European Conference on Computer Systems, Apr 2021, Edinburgh / Virtual, United Kingdom. pp.1-14, ⟨10.1145/3447786.3456235⟩. ⟨hal-03183856⟩
Giovanni Bonetta, Marco Roberti, Rossella Cancelliere, Patrick Gallinari. The Rare Word Issue in Natural Language Generation: A Character-Based Solution. Informatics, MDPI, 2021, 8 (1), pp.20. ⟨10.3390/informatics8010020⟩. ⟨hal-03184301⟩
Jean-Gabriel Ganascia. Éthique et intelligence artificielle. ENA Hors les murs, magazine des anciens élèves de l'ENA, Association des Anciens Élèves de l'École Nationale d'Administration, 2019. ⟨hal-03183627⟩
Andrea Petreto. Débruitage vidéo temps réel pour systèmes embarqués. Systèmes embarqués. Sorbonne Université, 2020. Français. ⟨NNT : 2020SORUS060⟩. ⟨tel-02902131v2⟩
Antonios Pavlidis, Eric Faehn, Marie-Minerve Louërat, Haralampos-G. Stratigopoulos. BIST-Assisted Analog Fault Diagnosis. 26th IEEE European Test Symposium, May 2021, Bruges (virtual), Belgium. ⟨hal-03181937⟩
Carola Doerr. Theory of Iterative Optimization Heuristics: From Black-Box Complexity over Algorithm Design to Parameter Control. Neural and Evolutionary Computing [cs.NE]. Sorbonne Université, 2020. ⟨tel-03168778⟩
Jérémie Donà, Jean-Yves Franceschi, Sylvain Lamprier, Patrick Gallinari. PDE-Driven Spatiotemporal Disentanglement. The Ninth International Conference on Learning Representations, May 2021, Vienne (virtual), Austria. ⟨hal-03181039⟩
Huu Phuoc Le, Mohab Safey El Din. Faster one block quantifier elimination for regular polynomial systems of equations. 2021. ⟨hal-03180730⟩
Jean-Gabriel Ganascia. Avenir de l’IA en dermatologie et avenir de la dermatologie avec l’IA. Annales de Dermatologie et de Vénéréologie, Elsevier Masson, 2020, 147 (5), pp.331-333. ⟨10.1016/j.annder.2020.03.001⟩. ⟨hal-03128087⟩
Cleve Ashcraft, Alfredo Buttari, Théo Mary. Block Low-Rank Matrices with Shared Bases: Potential and Limitations of the BLR^2 Format. SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, In press. ⟨hal-03070416v2⟩
Bernd Amann, François Goasdoué. Proceedings of the BDA 2020 conference. 2020. ⟨hal-03176597⟩
Number of fulltext
3 741
Number of reference
8 069
Submissions evolution
Submissions distribution by document type