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-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-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-00778498v1  Journal articles
Geoffray BonninArmelle BrunAnne Boyer. Exploitation du skipping pour la modélisation prédictive des usages du web. Vers une meilleure prise en compte du bruit
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2012, 26 (6), pp.609-642. ⟨10.3166/ria.26.609-642⟩
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/j.cam.2013.10.044⟩
...
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-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
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-01647486v1  Journal articles
Tamara LéonovaAgnès Piquard-KipfferAskar JumageldinovMarie RobertMikhaïl Berebin. Education inclusive pour des élèves avec des troubles spécifiques du langage écrit : Quelle scolarisation en fonction des pays et des langues ?
ANAE - Approche Neuropsychologique des Apprentissages Chez L'enfant, ANAE/PLEIOMEDIA, 2017, n°147 - Troubles de l’apprentissage du langage écrit et prise en charge multidisciplinaire : De la science à la salle de classe, 29 (2)
hal-02138892v1  Journal articles
Pablo OliveraSilvio DaneseNicolas JayGioacchino NatoliLaurent Peyrin-Biroulet. Big data in IBD: a look into the future
Nature reviews. Gastroenterology & hepatology, Nature Publishing Group, 2009-, 2019, 16 (5), pp.312-321. ⟨10.1038/s41575-019-0102-5⟩
...
hal-02963463v1  Journal articles
Imen SayarJeanine Souquières. La validation dans les premières étapes du processus de développement
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2017, 22 (4), pp.11-41. ⟨10.3166/ISI.22.4.11-41⟩
...
hal-02378897v1  Journal articles
Mohammed Riyadh Abdmeziem. Securing IoT-based collaborative applications using a new compressed and distributed MIKEY mode
International Journal of Information and Computer Security, Inderscience, 2019
...
inria-00000511v1  Journal articles
Nizar KerkeniFrédéric AlexandreMohamed Hédi BedouiLaurent BougrainMohamed Dogui. Neuronal Spectral Analysis of EEG and Expert Knowledge Integration for Automatic Classification of Sleep Stages
WSEAS Transactions on Information Science and Applications, World Scientific and Engineering Academy and Society (WSEAS), 2005, 2 (11), pp.1854-1861