Skip to Main content Skip to Navigation


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-03431518v1  Journal articles
Xavier BonnetainSamuel Jaques. Quantum Period Finding against Symmetric Primitives in Practice
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, In press
...
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, In press, ⟨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, In press, 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, 2020, 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⟩