Skip to Main content Skip to Navigation

hal-02942710v1  Book sections
Lucian BezneaMadalina DeaconuOana Lupaşcu-Stamate. Scaling property for fragmentation processes related to avalanches
Applications of Mathematics and Informatics in Natural Sciences and Engineering, In press, Springer Proceedings in Mathematics & Statistics
hal-03059893v1  Journal articles
Jian WangStanislav AranovskiyEmilia FridmanDmitry SokolovDenis Efimov et al.  Robust adaptive stabilization by delay under state parametric uncertainty and measurement bias
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3045125⟩
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-02421312v2  Journal articles
Renata BunoiuLucas ChesnelKarim RamdaniMahran Rihani. Homogenization of Maxwell's equations and related scalar problems with sign-changing coefficients
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc In press
hal-02943170v1  Journal articles
Abderrahman IggidrMohamed Oumoun. Simultaneous stabilization of single-input nonlinear systems with bounded controls
International Journal of Dynamics and Control, Springer Berlin Heidelberg, In press, ⟨10.1007/s40435-020-00658-3⟩
hal-02955368v1  Journal articles
Abderrahman IggidrMohamed OumounMax Souza. Continuous simultaneous stabilization of single‐input nonlinear stochastic systems
Asian Journal of Control, Asian Control Association (ACA) and Chinese Automatic Control Society (CACS) In press, ⟨10.1002/asjc.2401⟩
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-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-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-01485685v1  Journal articles
Hermine BierméCéline Lacaux. Fast and exact synthesis of some operator scaling Gaussian random fields
Applied and Computational Harmonic Analysis, Elsevier, 2020, 48 (1), pp.293-320. ⟨10.1016/j.acha.2018.05.004⟩
hal-02861799v1  Journal articles
Axel Hutt. Divergence of the Ensemble Transform Kalman Filter (LETKF) by nonlocal observations
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, ⟨10.3389/fams.2020.00042⟩
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-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-02960539v1  Journal articles
Paul GodardVincent LoechnerCédric Bastoul. Efficient Out-of-core and Out-of-place Rectangular Matrix Transposition and Rotation
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TC.2020.3030592⟩
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-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-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-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-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-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-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-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-02938919v1  Book sections
Mathieu HoyrupJason Rute. Computable Measure Theory and Algorithmic Randomness
Handbook of Computable Analysis, In press
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⟩
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
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-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-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-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-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-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-02995771v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computational Complexity
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, 2020
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-03054936v1  Journal articles
Irina IllinaDominique Fohr. RNN Language Model Estimation for Out-of-Vocabulary Words
Lecture Notes in Artificial Intelligence, Springer, In press, 12598, ⟨10.1007/978-3-030-66527-2_15⟩
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-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-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-02928953v1  Conference papers
Véronique CortierPierrick GaudryQuentin Yang. How to fake zero-knowledge proofs, again
E-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria
hal-02914177v1  Conference papers
Titouan CaretteEmmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
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-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-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-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
hal-02133840v2  Journal articles
François PirotJean-Sébastien SereniRiste Škrekovski. Variations on the Petersen colouring conjecture
The Electronic Journal of Combinatorics, Open Journal Systems, 2020, 27 (1), ⟨10.37236/8515⟩
tel-02499941v1  Theses
Abdulqawi Saif. Experimental Methods for the Evaluation of Big Data Systems
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0001⟩
hal-02425752v1  Conference papers
Benoit MeisterPhilippe Clauss. Uniform Random Sampling in Polyhedra
IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Jan 2020, Bologna, Italy
hal-02456521v1  Conference papers
Harenome RazanajatoCédric BastoulVincent Loechner. Pipelined Multithreading Generation in a Polyhedral Compiler
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
hal-02456533v1  Conference papers
Toufik BaroudiVincent LoechnerRachid Seghir. Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
hal-02498022v1  Journal articles
Étienne AndréDidier LimeNicolas Markey. Language Preservation Problems in Parametric Timed Automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
tel-02963301v1  Theses
Mathias Fleury. Formalization of Logical Calculi in Isabelle/HOL
Logic in Computer Science [cs.LO]. Universität des Saarlandes Saarbrücken, 2020. English
hal-02990598v1  Conference papers
Antoine Defourné. Better Automation for TLA+ Proofs
JFLA 2020 - 31emes Journées Francophones des Langages Applicatifs, Zaynah Dargaye; Yann Regis-Gianas, Jan 2020, Gruissan, France
hal-01942863v3  Journal articles
Bérenger BramasPhilippe HelluyLaura MendozaBruno Weber. Optimization of a discontinuous Galerkin solver with OpenCL and StarPU
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2020, 15 (1), pp.1-19