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-01647934v1  Habilitation à diriger des recherches
Francis Colas. Modélisation bayésienne et robotique
Robotique [cs.RO]. Université de Lorraine, 2017
...
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-01213366v1  Journal articles
Adnane HamiazMichel MehrenbergerHocine SellamaEric Sonnendrücker. The semi-Lagrangian method on curvilinear grids
Communications in Applied and Industrial Mathematics, De Gruyter, 2016, ⟨10.1515/caim-2016-0024⟩
...
hal-01059887v1  Journal articles
Yves LaprieRudolph SockBéatrice VaxelaireBenjamin Elie. Comment faire parler les images aux rayons X du conduit vocal ?
SHS Web of Conferences, EDP Sciences, 2014, 4e Congrès Mondial de Linguistique Française, 8, pp.14. ⟨10.1051/shsconf/20140801344⟩
...
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-02395177v1  Journal articles
Jasmin BlanchetteStephan Merz. Selected Extended Papers of ITP 2016: Preface
Journal of Automated Reasoning, Springer Verlag, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩
...
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-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
...
tel-01465880v1  Theses
Benoît Henry. Processus de branchements non Markoviens en dynamique et génétique des populations
Probabilités [math.PR]. Université de Lorraine (Nancy), 2016. Français