Skip to Main content Skip to Navigation

hal-01256384v1  Book sections
Nazim Fatès. Aesthetics and randomness in cellular automata
Andrew Adamatzky; Genaro J. Martínez. Designing Beauty: The Art of Cellular Automata, Springer, 2016, Emergence, Complexity and Computation, 978-3-319-27269-6. ⟨10.1007/978-3-319-27270-2_23⟩
tel-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
tel-00927119v1  Habilitation à diriger des recherches
Slim Ouni. Multimodal Speech: from articulatory speech to audiovisual speech
Machine Learning [cs.LG]. Université de Lorraine, 2013
hal-01817505v1  Journal articles
Adam GaierAlexander AsterothJean-Baptiste Mouret. Data-Efficient Design Exploration through Surrogate-Assisted Illumination
Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2018, 26 (3), pp.381-410. ⟨10.1162/evcoa_00231⟩
hal-01586511v1  Journal articles
Olivier DevillersMenelaos KaravelasMonique Teillaud. Qualitative Symbolic Perturbation: Two Applications of a New Geometry-based Perturbation Framework
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2017, 8 (1), pp.282--315. ⟨10.20382/jocg.v8i1a11⟩
hal-00847169v1  Journal articles
Torsten SchubertMarina PalazovaAxel Hutt. The time course of temporal attention effects on non-conscious prime processing
Attention, Perception, and Psychophysics, Springer Verlag, 2013
hal-00953273v1  Conference papers
Taha TrikiYves LedruLydie Du BousquetFrédéric DadeauJulien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
hal-00767334v1  Journal articles
Walid Gomaa. A Survey of Recursive Analysis and Moore's Notion of Real Computation
Natural Computing, Springer Verlag, 2012, 11 (1), pp.37-49. ⟨10.1007/s11047-011-9278-5⟩
hal-02296014v1  Journal articles
Alexander BentkampJasmin BlanchetteDietrich Klakow. A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning, Springer Verlag, 2019, 63 (2), pp.347-368. ⟨10.1007/s10817-018-9481-5⟩
hal-00643634v2  Journal articles
Olivier BournezDaniel GraçaEmmanuel Hainry. Computation with perturbed dynamical systems
Journal of Computer and System Sciences, Elsevier, 2013, 79 (5), pp.714-724. ⟨10.1016/j.jcss.2013.01.025⟩
hal-01593371v1  Journal articles
Marine Minier. Improving impossible-differential attacks against Rijndael-160 and Rijndael-224
Designs, Codes and Cryptography, Springer Verlag, 2017, 82 (1-2), pp.117 - 129. ⟨10.1007/s10623-016-0206-7⟩
hal-01215623v1  Journal articles
Steven GalbraithPierrick Gaudry. Recent progress on the elliptic curve discrete logarithm problem
Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (1), pp.51-72. ⟨10.1007/s10623-015-0146-7⟩
hal-01509762v1  Conference papers
Jing PengCindy CappelleMaan El Badaoui El NajjarDenis PomorskiFrançois Charpillet. Virtual 3D city model for intelligent vehicle geo-localization
The 9th IEEE International Conference on ITS Telecommunication (ITST’2009), Oct 2009, Lille, France. ⟨10.1109/ITST.2009.5399306⟩
hal-00921250v1  Conference papers
Victor GabillonMohammad GhavamzadehBruno Scherrer. Approximate Dynamic Programming Finally Performs Well in the Game of Tetris
Neural Information Processing Systems (NIPS) 2013, Dec 2013, South Lake Tahoe, United States