Skip to Main content Skip to Navigation

hal-03538841v1  Journal articles
Mathilde DargnatJacques Jayez. Mais et associés
Lexique, Presses Universitaires du Septentrion, 2021
hal-03538732v1  Journal articles
Robert ReineckeTatjana NazirSarah CarvalloJacques Jayez. Factives at hand: When presupposition mode affects motor response
Journal of Experimental Psychology, American Psychological Association, In press, ⟨10.1037/xge0001167⟩
hal-03537852v1  Journal articles
David DesobryFrançois ProtaisNicolas RayEtienne CormanDmitry Sokolov. Frame Fields for CAD models
International Symposium on Visual Computing, 2022, 13018
hal-03527433v1  Journal articles
Andrii ShachykovJulien FrèrePatrick Henaff. Simulation of spinal muscle control in human gait using OpenSim
IEEE Transactions on Medical Robotics and Bionics, IEEE, In press, pp.1 - 13. ⟨10.1109/tmrb.2022.3143263⟩
hal-03517010v1  Journal articles
Gilles Simon. La machine à perspective de Jan Van Eyck
Interstices, INRIA, 2021
hal-02400051v1  Journal articles
Anurag AnshuPeter HøyerMehdi MhallaSimon Perdrix. Contextuality in multipartite pseudo-telepathy graph games
Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩
hal-03497369v1  Journal articles
Jannik DreierJean-Guillaume DumasPascal LafourcadeLéo Robert. Optimal Threshold Padlock Systems
Journal of Computer Security, IOS Press, In press, pp.1-34. ⟨10.3233/JCS-210065⟩
hal-03485227v1  Journal articles
Alexander BentkampJasmin BlanchetteSimon CruanesUwe Waldmann. Superposition for Lambda-Free Higher-Order Logic
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)2021⟩
hal-03485185v1  Journal articles
Alexander BentkampJasmin BlanchetteSophie TourretPetar VukmirovićUwe Waldmann. Superposition with Lambdas
Journal of Automated Reasoning, Springer Verlag, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩
hal-03483440v1  Journal articles
Étienne AndréDidier LimeMathias RamparisonMariëlle Stoelinga. Parametric Analyses of Attack-fault Trees
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩
hal-03482422v1  Journal articles
Benedikt KolbeMyfanwy Evans. Enumerating Isotopy Classes of Tilings guided by the symmetry of Triply-Periodic Minimal Surfaces
SIAM Journal on Applied Algebra and Geometry, Society for Industrial and Applied Mathematics In press
hal-03480483v1  Journal articles
Florent BalacheffVincent DespréHugo Parlier. Systoles and diameters of hyperbolic surfaces
Kyoto Journal of Mathematics, Duke University Press, 2022
hal-03468848v1  Journal articles
Charlie JacommeSteve Kremer. An Extensive Formal Analysis of Multi-factor Authentication Protocols
ACM Transactions on Privacy and Security, ACM, 2021, 24 (2), pp.1-34. ⟨10.1145/3440712⟩
hal-03468834v1  Journal articles
Gilles BartheCharlie JacommeSteve Kremer. Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
ACM Transactions on Computational Logic, Association for Computing Machinery, 2022, 23 (1), pp.1-42. ⟨10.1145/3487063⟩
hal-03453550v1  Journal articles
Olivier BronchainSebastian FaustVirginie LallemandGregor LeanderLéo Perrin et al.  MOE: Multiplication Operated Encryption with Trojan Resilience
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2021, 2021 (1), pp.78-129. ⟨10.46586/tosc.v2021.i1.78-129⟩
hal-03452182v1  Journal articles
Pierre MonninChedy RaïssiAmedeo NapoliAdrien Coulet. Discovering alignment relations with Graph Convolutional Networks: A biomedical case study
Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2021, pp.1-20. ⟨10.3233/SW-210452⟩
hal-03438164v1  Journal articles
Matthew EnglandWolfram KoepfTimur SadykovWerner SeilerThomas Sturm. Foreword, with a Dedication to Andreas Weber
Mathematics in Computer Science, Springer, 2021, 15 (2), pp.173 - 175. ⟨10.1007/s11786-020-00476-y⟩
hal-01166053v4  Journal articles
Emmanuel JeandelMichaël Rao. An aperiodic set of 11 Wang tiles
Advances in Combinatorics, Alliance of Diamond Open Access Journals, 2021, ⟨10.19086/aic.18614⟩
hal-03438175v1  Journal articles
Matthew EnglandFrançois BoulierTimur SadykovThomas Sturm. Foreword, with a Dedication to Vladimir Gerdt
Mathematics in Computer Science, Springer, 2021, 15 (3), pp.369 - 371. ⟨10.1007/s11786-021-00509-0⟩
hal-03431518v1  Journal articles
Xavier BonnetainSamuel Jaques. Quantum Period Finding against Symmetric Primitives in Practice
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2021, 2022 (1), pp.1-27. ⟨10.46586/tches.v2022.i1.1-27⟩
hal-03394152v1  Journal articles
Xuechen LiuMd SahidullahTomi Kinnunen. Optimizing Multi-Taper Features for Deep Speaker Verification
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/LSP.2021.3122796⟩
hal-03389157v1  Journal articles
Guy Perrier. Étude des dépendances syntaxiques non projectives en français
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2021, 62 (1)
hal-02975012v1  Journal articles
Gilles BartheSandrine BlazyBenjamin GrégoireRémi HutinVincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
hal-03343147v1  Journal articles
Jawher JerrayLaurent FribourgÉtienne André. An Approximation of Minimax Control using Random Sampling and Symbolic Computation
IFAC-PapersOnLine, Elsevier, 2021, Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), 54 (5), pp.265-270. ⟨10.1016/j.ifacol.2021.08.509⟩
hal-03340905v1  Journal articles
Étienne AndréDidier LimeMathias Ramparison. Parametric updates in parametric timed automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩
hal-03127350v2  Journal articles
Vladimir GaranzhaIgor KaporinLiudmila KudryavtsevaFrançois ProtaisNicolas Ray et al.  Foldover-free maps in 50 lines of code
ACM Transactions on Graphics, Association for Computing Machinery, 2021, Volume 40 (issue 4), Article No.102, pp 1-16. ⟨10.1145/3450626.3459847⟩
hal-03332136v1  Journal articles
Nazim Fatès. Le temps passe-t-il pour l’intelligence artificielle ?
The Conversation, The Conversation France, 2021
hal-03331250v1  Journal articles
Cédric FoyAntoine DeleforgeDiego Di Carlo. Mean absorption estimation from room impulse responses using virtually supervised learning
Journal of the Acoustical Society of America, Acoustical Society of America, 2021, 150 (2), pp.1286-1299. ⟨10.1121/10.0005888⟩
hal-02985867v3  Journal articles
Nicolas FurnonRomain SerizelSlim EssidIrina Illina. DNN-based mask estimation for distributed speech enhancement in spatially unconstrained microphone arrays
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2021, 29, pp.2310 - 2323. ⟨10.1109/TASLP.2021.3092838⟩
hal-03081725v1  Journal articles
Julien FrancqLoic BessonPaul HuynhPhilippe GuillotGilles Millérioux et al.  Non-triangular self-synchronizing stream ciphers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2022, 71 (1), pp.134-145. ⟨10.1109/TC.2020.3043714⟩
hal-03287031v1  Journal articles
Gilles Simon. Jan Van Eyck's Perspectival System Elucidated Through Computer Vision
Proceedings of the ACM on Computer Graphics and Interactive Techniques, ACM, 2021, 4 (2), ⟨10.1145/3465623⟩
hal-03262496v1  Journal articles
Daryna PanichevaPierre-Frédéric VillardPeter HammerDouglas PerrinMarie-Odile Berger. Automatic extraction of the mitral valve chordae geometry for biomechanical simulation
International Journal of Computer Assisted Radiology and Surgery, Springer Verlag, 2021, Proceedings of IPCAI 2021, 16 (5), pp.709-720. ⟨10.1007/s11548-021-02368-3⟩
hal-02951011v2  Journal articles
Max AlekseyevJoseph MyersRichard SchroeppelScott ShannonNeil James Alexander Sloane et al.  Three Cousins of Recamán's Sequence
The Fibonacci Quarterly, Dalhousie University, In press
hal-03080314v1  Journal articles
Olivier BuffetJilles DibangoyeAbdallah SaffidineVincent Thomas. Heuristic Search Value Iteration for zero-sum Stochastic Games
IEEE Transactions on Games, Institute of Electrical and Electronics Engineers, 2021, 13 (3), pp.1-10. ⟨10.1109/TG.2020.3005214⟩
hal-03235096v1  Journal articles
Fabien PierreMathieu AmendolaClémence BigeardTimothé RuelPierre-Frédéric Villard. Segmentation with Active Contours
Image Processing On Line, IPOL - Image Processing on Line, 2021, 11, pp.120 - 141. ⟨10.5201/ipol.2021.298⟩
hal-03196390v1  Journal articles
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Editorial of Special Issue on WSOM+ 2017
Neural Computing and Applications, Springer Verlag, 2020, 32, pp.17973-17975. ⟨10.1007/s00521-020-05481-7⟩
hal-00740630v1  Journal articles
Nazim FatèsNikolaos Vlassopoulos. A Robust Scheme for Aggregating Quasi-Blind Robots in an Active Environment
International Journal of Swarm Intelligence Research, IGI Global, 2012, 3 (3), pp.15. ⟨10.4018/jsir.2012070105⟩
hal-03166495v1  Journal articles
Oleksii AvilovSébastien RimbertAnton PopovLaurent Bougrain. Optimizing Motor Intention Detection with Deep Learning: Towards Management of Intraoperative Awareness
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2021, pp.10. ⟨10.1109/TBME.2021.3064794⟩
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-03016721v1  Journal articles
Marie CanditoMathieu ConstantCarlos RamischAgata SavaryBruno Guillaume et al.  A French corpus annotated for multiword expressions and named entities
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩
hal-03152958v1  Journal articles
Xavier GoaocAndreas HolmsenCyril Nicaud. An experimental study of forbidden patterns in geometric permutations by combinatorial lifting
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2021, Special Issue of Selected Papers from SoCG 2019, 11 (2), pp.131-161. ⟨10.20382/jocg.v11i2a6⟩
hal-02263098v2  Journal articles
Aurore GuillevicShashank Singh. On the Alpha Value of Polynomials in the Tower Number Field Sieve Algorithm
Mathematical Cryptology, Florida Online Journals, 2021, 1 (1), pp.1-39
hal-03145431v1  Journal articles
Armin BiereCesare TinelliChristoph Weidenbach. Preface to the Special Issue on Automated Reasoning Systems
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.361-362. ⟨10.1007/s10817-019-09531-1⟩