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
tel-00979707v1  Theses
Yacine Bouzidi. Solving bivariate algebraic systems and topology of plane curves
Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0016⟩
hal-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
hal-01184192v1  Conference papers
Freha MezzoudjDavid LangloisDenis JouvetAbdelkader Benyettou. Textual Data Selection for Language Modelling in the Scope of Automatic Speech Recognition
International Conference on Natural Language and Speech Processing, Oct 2015, Alger, Algeria
hal-01184193v1  Conference papers
Luiza OrosanuDenis Jouvet. Detection of sentence modality on French automatic speech-to-text transcriptions
International Conference on Natural Language and Speech Processing, Oct 2015, Alger, Algeria
hal-01183349v1  Conference papers
Agnès Piquard-KipfferOdile MellaJérémy MirandaDenis JouvetLuiza Orosanu. Qualitative investigation of the display of speech recognition results for communication with deaf people
6th Workshop on Speech and Language Processing for Assistive Technologies, SIG-SLPAT, Sep 2015, Dresden, Germany. pp.7
hal-00755265v1  Conference papers
Carlos SarrauteOlivier BuffetJoerg Hoffmann. POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), Jul 2012, Toronto, Canada
hal-01184186v1  Conference papers
Denis JouvetAnne BonneauJürgen TrouvainFrank ZimmererYves Laprie et al.  Analysis of phone confusion matrices in a manually annotated French-German learner corpus
Workshop on Speech and Language Technology in Education, Sep 2015, Leipzig, Germany
hal-00762252v1  Conference papers
Philippe BeaucampsIsabelle GnaedigJean-Yves Marion. Abstraction-based Malware Analysis Using Rewriting and Model Checking
ESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩
hal-00760398v1  Conference papers
Arnaud FietzkeEvgeny KruglovChristoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA)
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211
hal-00760570v1  Conference papers
Stephan MerzHernán Vanzetto. Automatic Verification Of TLA+ Proof Obligations With SMT Solvers
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), Mar 2012, Mérida, Venezuela. pp.289-303, ⟨10.1007/978-3-642-28717-6_23⟩
hal-00760579v1  Conference papers
Stephan MerzHernán Vanzetto. Harnessing SMT Solvers for TLA+ Proofs
12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany
hal-01184194v1  Conference papers
Luiza OrosanuDenis Jouvet. Adding new words into a language model using parameters of known words with similar behavior
International Conference on Natural Language and Speech Processing, Oct 2015, Alger, Algeria
hal-01184196v1  Conference papers
Luiza OrosanuDenis Jouvet. Combining lexical and prosodic features for automatic detection of sentence modality in French
International Conference on Statistical Language and Speech Processing, Nov 2015, Budapest, Hungary
hal-01183645v1  Conference papers
Thibaut FuxDenis Jouvet. Evaluation of PNCC and extended spectral subtraction methods for robust speech recognition
EUSIPCO 2015 - 23rd European Signal Processing Conference , Aug 2015, Nice, France
hal-00761045v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. Authenticating Operation-based History in Collaborative Systems
ACM 2012 International Conference on Support Group Work, Oct 2012, Sanibel Island, FL, United States. pp.131-140, ⟨10.1145/2389176.2389197⟩