Skip to Main content Skip to Navigation


...
hal-03014927v1  Conference papers
Carlos RamischAgata SavaryBruno GuillaumeJakub WaszczukMarie Candito et al.  Edition 1.2 of the PARSEME Shared Task on Semi-supervised Identification of Verbal Multiword Expressions
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LEX 2020), 2020, Barcelona, Spain
...
hal-02965137v1  Book sections
Fabien PierreJf Aujol. Recent Approaches for Image Colorization
Handbook of Mathematical Models and Algorithms in Computer Vision and Imaging, In press
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-03196372v1  Directions of work or proceedings
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Special Issue on WSOM+ 2017
Neural Computing and Applications, 32, 2020, Neural Computing and Applications
...
hal-03034044v1  Book sections
Jessica ColombelDavid DaneyVincent BonnetFrançois Charpillet. Markerless 3D Human Pose Tracking in the Wild with fusion of Multiple Depth Cameras: Comparative Experimental Study with Kinect 2 and 3
M. A. R. Ahad et al. Activity and Behavior Computing, Smart Innovation, Systems and Technologies, Springer, 2020
...
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-01597114v1  Journal articles
Miriam BackensSimon PerdrixQuanlong Wang. Towards a Minimal Stabilizer ZX-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, In press, ⟨10.23638/LMCS-16(4:19)2020⟩
...
hal-02158012v1  Journal articles
Emmanuel JeandelEtienne MoutotPascal Vanier. Slopes of multidimensional subshifts
Theory of Computing Systems, Springer Verlag, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-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-01930573v1  Journal articles
Aude Le GluherPierre-Jean Spaenlehauer. A Fast Randomized Geometric Algorithm for Computing Riemann-Roch Spaces
Mathematics of Computation, American Mathematical Society, 2020, 89, pp.2399-2433. ⟨10.1090/mcom/3517⟩
hal-02879289v1  Conference papers
Xavier GoaocEmo Welzl. Convex Hulls of Random Order Types
SoCG 2020 - 36th International Symposium on Computational Geometry, 2020, Zürich / Virtual, Switzerland. pp.49:1--49:15, ⟨10.4230/LIPIcs.SoCG.2020.49⟩
...
hal-02268400v1  Journal articles
Rémy ChrétienVéronique CortierAntoine DallonStéphanie Delaune. Typing messages for free in security protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 21 (1), ⟨10.1145/3343507⟩
...
hal-02938919v1  Book sections
Mathieu HoyrupJason Rute. Computable Measure Theory and Algorithmic Randomness
Handbook of Computable Analysis, In press
...
hal-02922660v1  Journal articles
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2020, 11 (1), pp.212 - 234. ⟨10.20382/jocg.v11i1a9⟩
...
hal-02151093v4  Journal articles
Nicolas DavidPaul Zimmermann. A New Ranking Function for Polynomial Selection in the Number Field Sieve
Contemporary mathematics, American Mathematical Society, 2020, 75 Years of Mathematics of Computation, 754, pp.315-325. ⟨10.1090/CONM/754/15139⟩
...
hal-02988003v1  Journal articles
Andrew CropperSophie Tourret. Logical reduction of metarules
Machine Learning, Springer Verlag, 2020, 109 (7), pp.1323 - 1369. ⟨10.1007/s10994-019-05834-x⟩
...
hal-02943018v1  Journal articles
Miguel CouceiroLucien HaddadVictor Lagerkvist. A Survey on the Fine-grained Complexity of Constraint Satisfaction Problems Based on Partial Polymorphisms
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press
...
hal-02961617v1  Conference papers
Vincent ChevalSteve KremerItsaka Rakotonirina. The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, United States
hal-02983073v1  Journal articles
Dobrina BoltchevaJustine BasselinClément PoullHerve BarthelemyDmitry Sokolov. Topological-based roof modeling from 3D point clouds
Journal of WSCG, University of West Bohemia, Czech Republic, 2020, 28 (1-2), pp.137-146. ⟨10.24132/JWSCG.2020.28.17⟩
hal-01653572v1  Journal articles
Frédérique BassinoMathilde BouvelValentin FerayLucas GerinMickaël Maazoun et al.  Universal limits of substitution-closed permutation classes
Journal of the European Mathematical Society, European Mathematical Society, 2020, 22 (11), pp.3565-3639. ⟨10.4171/JEMS/993⟩
hal-02998759v1  Journal articles
Jacopo BorgaMathilde BouvelValentin FerayBenedikt Stufler. A decorated tree approach to random permutations in substitution-closed classes
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2020, 25, ⟨10.1214/20-EJP469⟩
...
hal-02961522v1  Conference papers
Benedikt KolbeMyfanwy Evans. Enumerating tilings of triply-periodic minimal surfaces with rotational symmetries
EuroCG 2020- 36th European Workshop on Computational Geometry, 2020, Würzburg, Germany
hal-03173193v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computability, Decidability and Logic
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
...
hal-02266264v2  Conference papers
Pierrick GaudryAlexander Golovnev. Breaking the encryption scheme of the Moscow Internet voting system
Financial Cryptography and Data Security, 2020, Kota Kinabalu, Malaysia. pp.32-49, ⟨10.1007/978-3-030-51280-4_3⟩
...
hal-03031995v1  Reports
Otfried CheongOlivier DevillersMarc GlisseJi-Won Park. Covering families of triangles
[Research Report] RR-9378, INRIA. 2020, pp.31
...
hal-02943567v1  Journal articles
Supratik PaulKonstantinos ChatzilygeroudisKamil CiosekJean-Baptiste MouretMichael Osborne et al.  Robust Reinforcement Learning with Bayesian Optimisation and Quadrature
Journal of Machine Learning Research, Microtome Publishing, 2020, 21, pp.1 - 31
...
hal-02909452v1  Conference papers
Rituraj KaushikTimothée AnneJean-Baptiste Mouret. Fast Online Adaptation in Robotics through Meta-Learning Embeddings of Simulated Priors
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, Las Vegas, United States
...
hal-02446910v1  Journal articles
Kushal BabelVincent ChevalSteve Kremer. On the semantics of communications when verifying equivalence properties
Journal of Computer Security, IOS Press, In press, 28 (1), pp.71-127. ⟨10.3233/JCS-191366⟩
hal-02374194v1  Journal articles
Subhamoy MaitraBimal MandalThor MartinsenDibyendu RoyPantelimon Stanica. Analysis on Boolean function in a restricted (biased) domain
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2020, 66 (2), pp.1219-1231. ⟨10.1109/TIT.2019.2932739⟩
...
hal-02868800v1  Conference papers
Niels JustesenMiguel González-DuqueDaniel CabarcasJean-Baptiste MouretSebastian Risi. Learning a Behavioral Repertoire from Demonstrations
CoG 2020 - IEEE Conference on Games, 2020, Osaka / Virtual, Japan
...
hal-02886493v1  Conference papers
Vincent DespréJean-Marc SchlenkerMonique Teillaud. Flipping Geometric Triangulations on Hyperbolic Surfaces
SoCG 2020 - 36th International Symposium on Computational Geometry, 2020, Zurich, Switzerland. ⟨10.4230/LIPIcs.SoCG.2020.35⟩
...
hal-02301922v2  Journal articles
Pauline MauriceJernej CamernikDasa GorjanBenjamin SchirrmeisterJonas Bornmann et al.  Objective and Subjective Effects of a Passive Exoskeleton on Overhead Work
IEEE Transactions on Neural Systems and Rehabilitation Engineering, Institute of Electrical and Electronics Engineers, 2020, 28 (1), pp.152-164. ⟨10.1109/TNSRE.2019.2945368⟩