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-03066031v1  Directions of work or proceedings
Thierry PoibeauYannick ParmentierEmmanuel Schang. Actes des 2èmes journées scientifiques du Groupement de Recherche Linguistique Informatique Formelle et de Terrain (LIFT).
Poibeau, Thierry and Parmentier, Yannick and Schang, Emmanuel. Dec 2020, Montrouge, France. CNRS, 2020
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-01566136v3  Journal articles
Fabien Lauer. Error Bounds for Piecewise Smooth and Switching Regression
IEEE Transactions on Neural Networks and Learning Systems, IEEE, 2020, 31 (4), pp.1183-1195. ⟨10.1109/TNNLS.2019.2919444⟩
hal-03293341v1  Conference papers
Bart Lamiroy. Formal Performance Evaluation for Document Image Analysis
International Conference on Computer Science and Computational Intelligence (ICCSCI), 2020, online, Indonesia. pp.2, ⟨10.1016/j.procs.2021.01.088⟩
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-03274600v1  Journal articles
Alfredo CuzzocreaEnzo MumoloEdoardo FaddaMarco Tessarotto. A Novel Big Data Analytics Approach for Supporting Cyber Attack Detection via Non-linear Analytic Prediction of IP Addresses
Lecture Notes in Computer Science, Springer, 2020, Computational Science and Its Applications – ICCSA 2020, pp.978 - 991. ⟨10.1007/978-3-030-58799-4_70⟩
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-03106597v1  Reports
Denis Roegel. A reconstruction of Edward Sang's table of logarithmic sines and tangents (K43,1888)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020
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-03106588v1  Reports
Denis Roegel. A reconstruction of Edward Sang's table of logarithms of the second myriad of integers (K6)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020
hal-02573188v1  Journal articles
Daniel LeivantJean-Yves Marion. Primitive recursion in the abstract
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2020, 30 (1), pp.33-43. ⟨10.1017/S0960129519000112⟩
hal-03106619v1  Reports
Denis Roegel. A reconstruction of Edward Sang's table of mean anomalies, volume A (K46,1880)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020
hal-03106593v1  Reports
Denis Roegel. A reconstruction of Edward Sang's canon of sines (K40/1,1876)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020
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⟩