Skip to Main content Skip to Navigation

hal-01306998v1  Journal articles
Kamel AissatAmmar Oulamara. A priori approach of real-time ridesharing problem with intermediate meeting locations
Journal of Artificial Intelligence and Soft Computing Research, 2014, 4 (4), pp.287-299
hal-01724375v1  Journal articles
Imen Ben OthmaneJoseph Di MartinoKais Ouni. Enhancement of esophageal speech using statistical and neuromimetic voice conversion techniques
Journal of International Science and General Applications, ISGA, 2018, 1 (1), pp.10
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-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-02006632v1  Journal articles
Christian Y. RobertQuang Huy Nguyen. New efficient estimators in rare event simulation with heavy tails
Journal of Computational and Applied Mathematics, Elsevier, 2014, 261, pp.39-47. ⟨10.1016/⟩
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⟩
inria-00000271v1  Journal articles
Nazeih BotrosYang JianPhilip FeinsilverRené Schott. Hardware Realization of Krawtchouk Transform using VDHL Modeling and FPGAs
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1306-1312
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-01090554v1  Journal articles
Miguel CouceiroErkko LehtonenTamas Waldhauser. Additive decomposition schemes for polynomial functions over fields
Novi Sad Journal of Mathematics, Institut za matematiku, 2014, 44 (2), pp.89-105
hal-01374382v1  Journal articles
Denis Roegel. A new early adding machine by Schwilgué (c. 1840?)
Bulletin of the Scientific Instrument Society, Scientific Instrument Society, 2016, 130, pp.24-27
hal-00784420v1  Journal articles
Axel Hutt. External stimulation induces switches between neural oscillations: an illustrative feedback model
BMC Neuroscience, BioMed Central, 2011, 12 (Suppl 1), pp.P156
inria-00545095v1  Journal articles
Benjamin SingerGeorge Saon. An efficient algorithm for parallel integer multiplication
Journal of Network and Computer Applications (JNCA), Elsevier, 1996, 19 (4), pp.415-418. ⟨10.1006/jnca.1996.0029⟩
hal-00545748v1  Journal articles
Maxime AmblardAlain LecomteChristian Retoré. Categorial Minimalist Grammar: From Generative Syntax To Logical Form
Linguistic Analysis, David R. Willingham, 2010, 36 (1--4), pp.273--306
hal-01811874v1  Journal articles
Xiaojun BianLi-Yi WeiSylvain Lefebvre. Tile-based Pattern Design with Topology Control
Proceedings of the ACM on Computer Graphics and Interactive Techniques, ACM, 2018, 1, pp.23 - 38. ⟨10.1145/3203204⟩
hal-01537775v1  Journal articles
Ghania KhensousBelhadri MessabihAbdellah ChouarfiaBernard Maigret. Comparison of Cuckoo Search, Tabu Search and TS-Simplex algorithms for unconstrained global optimization
Computer Modelling and New Technologies, Prof. Viktors Gopejenko, 2016, 20 (4), pp.23-29
hal-02133840v2  Journal articles
François PirotJean-Sébastien SereniRiste Škrekovski. Variations on the Petersen colouring conjecture
The Electronic Journal of Combinatorics, Open Journal Systems, 2020, 27 (1), ⟨10.37236/8515⟩
hal-02926172v1  Journal articles
Mostafa SadeghiXavier Alameda-Pineda. Mixture of Inference Networks for VAE-based Audio-visual Speech Enhancement
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2021, 69, pp.1899-1909. ⟨10.1109/TSP.2021.3066038⟩
hal-00437304v1  Journal articles
Thanh Phuong NguyenIsabelle Debled-Rennesson. On the local properties of digital curves
International Journal of Shape Modeling, World Scientific Publishing, 2008, pp.105-125. ⟨10.1142/S0218654308001105⟩