Skip to Main content Skip to Navigation


...
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-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⟩
...
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-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
...
hal-01183004v1  Journal articles
Miguel CouceiroLucien HaddadKarsten SchölzelTamas Waldhauser. A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2017, 28 (1), pp.47-58
...
edutice-00135470v1  Journal articles
Brigitte de la PassardièreMonique Grandbastien. Présentation de LOM v1.0, standard IEEE
Sciences et Techniques Educatives, Hermes, 2003, Hors série, pp.211-218
...
hal-03023830v1  Journal articles
Miguel CouceiroJimmy DevilletJean-Luc MarichalPierre Mathonet. Reducibility of $n$-ary Semigroups : from Quasitriviality Towards Idempotency
Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, Springer Verlag, 2021, ⟨10.1007/s13366-020-00551-2⟩
...
hal-00561373v1  Journal articles
Yohan BoichutRoméo CourbisPierre-Cyrille HeamOlga Kouchnarenko. Handling Non Left-Linear Rules When Completing Tree Automata
International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.837--849. ⟨10.1142/S0129054109006917⟩
...
hal-01158243v1  Journal articles
Antoine CullyJeff CluneDanesh TaraporeJean-Baptiste Mouret. Robots that can adapt like animals
Nature, Nature Publishing Group, 2015, 521 (7553), pp.503-507. ⟨10.1038/nature14422⟩
...
hal-00847167v1  Journal articles
Jérémie LefebvreAxel Hutt. Additive noise quenches delay-induced oscillations
EPL - Europhysics Letters, European Physical Society/EDP Sciences/Società Italiana di Fisica/IOP Publishing, 2013, ⟨10.1209/0295-5075/102/60003⟩