Skip to Main content Skip to Navigation


...
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-01569856v1  Journal articles
Jérôme LohéacTakéo Takahashi. Controllability of low Reynolds numbers swimmers of ciliate type
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2020, 26, pp.31. ⟨10.1051/cocv/2019010⟩
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-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-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-01982232v1  Journal articles
Kevin DalleauMiguel CouceiroMalika Smaïl-Tabbone. Unsupervised Extra Trees: a stochastic approach to compute similarities in heterogeneous data.
International Journal of Data Science and Analytics, Springer Verlag, 2020, Advances in Intelligent Data Analysis - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Lecture Notes in Computer Science (12080), pp.132-144. ⟨10.1007/s41060-020-00214-4⟩
...
hal-00967742v5  Journal articles
Sorina IonicaEmmanuel Thomé. Isogeny graphs with maximal real multiplication
Journal of Number Theory, Elsevier, 2020, 207, pp.385-422. ⟨10.1016/j.jnt.2019.06.019⟩
...
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-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-02282908v1  Book sections
Igor RyadchikovSemyon SechenevNikita MikhalkovAndrey BiryukAlexander Svidlov et al.  Feedback Control with Equilibrium Revision for CMG-Actuated Inverted Pendulum
Proceedings of 14th International Conference on Electromechanics and Robotics "Zavalishin's Readings", pp.431-440, 2020, ⟨10.1007/978-981-13-9267-2_35⟩
...
hal-02289699v1  Book sections
Damien ChablatGuillaume MorozFabrice RouillierPhilippe Wenger. Using Maple to analyse parallel robots
Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
...
hal-01016299v3  Journal articles
Nabile BoussaidMarco CaponigroThomas Chambrion. Regular propagators of bilinear quantum systems
Journal of Functional Analysis, Elsevier, 2020, 278 (6), pp.108412. ⟨10.1016/j.jfa.2019.108412⟩
...
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-02313600v2  Conference papers
Dmitry SokolovStanislav AranovskiyAlexander GusevIgor Ryadchikov. Experimental comparison of velocity estimators for a control moment gyroscope inverted pendulum
AMC 2020 - 16th IEEE International Workshop on Advanced Motion Control, Sep 2020, Kristiansand / Virtual, Norway
...
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-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-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-02400081v1  Journal articles
Emmanuel JeandelSimon PerdrixRenaud Vilmart. Completeness of the ZX-Calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩
...
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-02435758v1  Conference papers
Melanie Jouaiti. Improving Motor Coordination in HRI with Bio-Inspired Controllers
HRI Pioneers Workshop 2020 - 15th annual Human-Robot Interaction Pioneers Workshop, Mar 2020, Cambridge, United Kingdom. ⟨10.1145/3371382.3377439⟩
...
hal-02298815v3  Conference papers
Antonin CallardMathieu Hoyrup. Descriptive complexity on non-Polish spaces
STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
...
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-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
...
hal-02451368v1  Book sections
Philippe HelluyOlivier HurisseLucie Quibel. Simulation of a liquid-vapour compressible flow by a Lattice Boltzmann Method
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples. FVCA 2020., 2020, 978-3-030-43650-6. ⟨10.1007/978-3-030-43651-3_63⟩
...
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-02457425v1  Conference papers
Raquel LazcanoDaniel MadroñalEduardo JuarezPhilippe Clauss. Runtime Multi-versioning and Specialization inside a Memoized Speculative Loop Optimizer
CC 2020 - 29th International Conference on Compiler Construction, Feb 2020, San Diego, United States. ⟨10.1145/3377555.3377886⟩
...
hal-02396352v2  Conference papers
Aurore Guillevic. A short-list of pairing-friendly curves resistant to Special TNFS at the 128-bit security level
PKC 2020 - IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh, United Kingdom. pp.535-564, ⟨10.1007/978-3-030-45388-6_19⟩
...
hal-02355623v2  Conference papers
Manuel ParienteSamuele CornellAntoine DeleforgeEmmanuel Vincent. Filterbank design for end-to-end speech separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02355573v2  Conference papers
Romain SerizelNicolas TurpaultAnkit ShahJustin Salamon. Sound event detection in synthetic domestic environments
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02355115v2  Conference papers
Brij Mohan Lal SrivastavaNathalie VauquierMd SahidullahAurélien BelletMarc Tommasi et al.  Evaluating Voice Conversion-based Privacy Protection against Informed Attackers
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, IEEE Signal Processing Society, May 2020, Barcelona, Spain. pp.2802-2806
...
hal-02355613v2  Conference papers
Sunit SivasankaranEmmanuel VincentDominique Fohr. SLOGD: Speaker Location Guided Deflation Approach to Speech Separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02479502v1  Conference papers
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
...
hal-02457161v1  Conference papers
Jimmy EtienneSylvain Lefebvre. Procedural band patterns
Symposium on Interactive 3D Graphics and Games, Sep 2020, San Francisco, United States. pp.1 - 7, ⟨10.1145/3384382.3384522⟩
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-02499941v1  Theses
Abdulqawi Saif. Experimental Methods for the Evaluation of Big Data Systems
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0001⟩
hal-02500428v1  Conference papers
Stephane LevelIrina IllinaDominique Fohr. Semantic Context Model for Efficient Speech Recognition
ICCAS 2020 - The first International Conference on Cognitive Aircraft Systems, Mar 2020, Toulouse, France
...
hal-02499149v1  Conference papers
Emmanuel HainryDamiano MazzaRomain Péchoux. Polynomial time over the reals with parsimony
FLOPS 2020 - International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
...
hal-02389159v3  Conference papers
Nicolas FurnonRomain SerizelIrina IllinaSlim Essid. DNN-Based Distributed Multichannel Mask Estimation for Speech Enhancement in Microphone Arrays
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02510046v1  Conference papers
Monique Teillaud. Triangulations in CGAL - To non-Euclidean spaces and beyond!
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
...
hal-02515103v1  Journal articles
Haniel BarbosaJasmin BlanchetteMathias FleuryPascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.485-510. ⟨10.1007/s10817-018-09502-y⟩
...
hal-02448197v2  Conference papers
Ashwin Geet d'SaIrina IllinaDominique Fohr. BERT and fastText Embeddings for Automatic Detection of Toxic Speech
SIIE 2020 - Information Systems and Economic Intelligence; International Multi-Conference on:“Organization of Knowledge and Advanced Technologies”(OCTA), Feb 2020, Tunis, Tunisia
...
hal-02530879v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique Fohr. Towards Non-Toxic Landscapes: Automatic Toxic Comment Detection Using DNN
TRAC-2020, Second Workshop on Trolling, Aggression and Cyberbullying (LREC, 2020), May 2020, Marseille, France
...
hal-02538101v1  Book sections
Andrea MendizabalEleonora TagliabueTristan HoellingerJean-Nicolas BrunetSergei Nikolaev et al.  Data-driven simulation for augmented surgery
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
...
hal-02526724v2  Conference papers
Matthieu NicolasGérald OsterOlivier Perrin. Efficient Renaming in Sequence CRDTs
PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2020, Heraklion / Virtual, Greece
...
hal-02544156v1  Conference papers
Raphaël DuroselleDenis JouvetIrina Illina. Unsupervised regularization of the embedding extractor for robust language identification
Odyssey 2020 - The Speaker and Language Recognition Workshop, Nov 2020, Tokyo, Japan
...
hal-02463336v2  Conference papers
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
...
hal-02547097v1  Conference papers
Ahmad AbboudAbdelkader LahmadiMichaël RusinowitchMiguel CouceiroAdel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193