Skip to Main content Skip to Navigation
  1. Search


hal-01597114v1  Journal articles
Miriam Backens, Simon Perdrix, Quanlong Wang. Towards a Minimal Stabilizer ZX-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (4), pp.19:1-19:30. ⟨10.23638/LMCS-16(4:19)2020⟩
hal-01930573v1  Journal articles
Aude Le Gluher, Pierre-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 Dalleau, Miguel Couceiro, Malika 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 Ionica, Emmanuel 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 Jeandel, Etienne Moutot, Pascal Vanier. Slopes of multidimensional subshifts
Theory of Computing Systems, Springer Verlag, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩
hal-02162930v1  Journal articles
Tatiana Makhalova, Martin Trnecka. From-Below Boolean Matrix Factorization Algorithm Based on MDL
Advances in Data Analysis and Classification, Springer Verlag, 2020, ⟨10.1007/s11634-019-00383-6⟩
...
hal-02196757v1  Journal articles
Manuel Atencia, Jérôme David, Jérôme Euzenat, Amedeo Napoli, Jérémy Vizzini. Link key candidate extraction with relational concept analysis
Discrete Applied Mathematics, Elsevier, 2020, 273, pp.2-20. ⟨10.1016/j.dam.2019.02.012⟩
...
hal-02268400v1  Journal articles
Rémy Chrétien, Véronique Cortier, Antoine Dallon, Sté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 Ryadchikov, Semyon Sechenev, Nikita Mikhalkov, Andrey Biryuk, Alexander 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 Chablat, Guillaume Moroz, Fabrice Rouillier, Philippe 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-02301922v2  Journal articles
Pauline Maurice, Jernej Camernik, Dasa Gorjan, Benjamin Schirrmeister, Jonas Bornmann et al.  Objective and Subjective Effects of a Passive Exoskeleton on Overhead Work
IEEE Transactions on Neural Systems and Rehabilitation Engineering, IEEE Institute of Electrical and Electronics Engineers, 2020, 28 (1), pp.152-164. ⟨10.1109/TNSRE.2019.2945368⟩
...
hal-01905580v2  Journal articles
Simon Abelard. Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus
Journal of Complexity, Elsevier, 2020, 57, pp.101440. ⟨10.1016/j.jco.2019.101440⟩
...
hal-02327893v1  Journal articles
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon. Computing AES related-key differential characteristics with constraint programming
Artificial Intelligence, Elsevier, 2020, 278, pp.103183. ⟨10.1016/j.artint.2019.103183⟩
...
hal-01925160v2  Journal articles
Axel Modave, Christophe Geuzaine, Xavier Antoine. Corner treatments for high-order local absorbing boundary conditions in high-frequency acoustic scattering
Journal of Computational Physics, Elsevier, 2020, 401, pp.109029. ⟨10.1016/j.jcp.2019.109029⟩
...
hal-02313600v2  Conference papers
Dmitry Sokolov, Stanislav Aranovskiy, Alexander A Gusev, Igor 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-02358878v1  Journal articles
Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse. Verification of Stateful Cryptographic Protocols with Exclusive OR
Journal of Computer Security, IOS Press, 2020, 28 (1), pp.1--34. ⟨10.3233/JCS-191358⟩
...
hal-02266264v2  Conference papers
Pierrick Gaudry, Alexander 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 Maitra, Bimal Mandal, Thor Martinsen, Dibyendu Roy, Pantelimon 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-02393432v1  Journal articles
Konstantinos Chatzilygeroudis, Vassilis Vassiliades, Freek Stulp, Sylvain Calinon, Jean-Baptiste Mouret. A survey on policy search algorithms for learning robot controllers in a handful of trials
IEEE Transactions on Robotics, IEEE, 2020, 36 (2), pp.328-347. ⟨10.1109/TRO.2019.2958211⟩
hal-02393742v1  Journal articles
Manel Zoghlami, Sabeur Aridhi, Mondher Maddouri, Engelbert Mephu Nguifo. Multiple instance learning for sequence data with across bag dependencies
International journal of machine learning and cybernetics, Springer, 2020, 11, pp.629-642. ⟨10.1007/s13042-019-01021-5⟩
hal-02400081v1  Journal articles
Emmanuel Jeandel, Simon Perdrix, Renaud 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-02153506v2  Journal articles
Miguel Couceiro, Erkko Lehtonen, Pierre Mercuriali, Romain Péchoux. On the efficiency of normal form systems for representing Boolean functions
Theoretical Computer Science, Elsevier, 2020, 813, pp.341-361. ⟨10.1016/j.tcs.2020.01.009⟩
...
hal-02401280v1  Journal articles
Jaime Garcia Guevara, Igor Peterlik, Marie-Odile Berger, Stéphane Cotin. Elastic registration based on compliance analysis and biomechanical graph matching
Annals of Biomedical Engineering, Springer Verlag, 2020, 48, pp.447-462. ⟨10.1007/s10439-019-02364-4⟩
...
hal-02425752v1  Conference papers
Benoit Meister, Philippe Clauss. Uniform Random Sampling in Polyhedra
IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Jan 2020, Bologna, Italy
...
hal-02427608v1  Journal articles
Quentin Brabant, Miguel Couceiro, Didier Dubois, Henri Prade, Agnès Rico. Learning rule sets and Sugeno integrals for monotonic classification problems
Fuzzy Sets and Systems, Elsevier, 2020, 401, pp.4-37. ⟨10.1016/j.fss.2020.01.006⟩
...
hal-02430564v1  Reports
Abdulqawi Saif, Lucas Nussbaum, ye-Qiong Song. On the Impact of I/O Access Patterns on SSD Storage
[Research Report] RR-9319, Inria. 2020
...
hal-02433213v1  Journal articles
Mathieu Fontaine, Roland Badeau, Antoine Liutkus. Separation of Alpha-Stable Random Vectors
Signal Processing, Elsevier, 2020, pp.107465. ⟨10.1016/j.sigpro.2020.107465⟩
...
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 Callard, Mathieu 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-02436541v1  Journal articles
Benoît Blaysat, Jan Neggers, Michel Grediac, Frédéric Sur. Towards Criteria Characterizing the Metrological Performance of Full-field Measurement Techniques
Experimental Mechanics, Society for Experimental Mechanics, 2020, 60 (3), pp.393-407. ⟨10.1007/s11340-019-00566-4⟩
...
hal-02436572v1  Journal articles
Michel Grediac, Benoît Blaysat, Frédéric Sur. Comparing several spectral methods used to extract displacement fields from checkerboard images
Optics and Lasers in Engineering, Elsevier, 2020, 127, pp.105984. ⟨10.1016/j.optlaseng.2019.105984⟩
...
hal-02436826v1  Journal articles
Bérenger Bramas, Alain Ketterlin. Improving parallel executions by increasing task granularity in task-based runtime systems using acyclic DAG clustering
PeerJ Computer Science, PeerJ, 2020, ⟨10.7717/peerj-cs.247⟩
...
hal-02446170v1  Reports
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan. A decidable class of security protocols for both reachability and equivalence properties
[Research Report] Loria & Inria Grand Est; Irisa. 2020
...
hal-02446910v1  Journal articles
Kushal Babel, Vincent Cheval, Steve Kremer. On the semantics of communications when verifying equivalence properties
Journal of Computer Security, IOS Press, 2020, 28 (1), pp.71-127. ⟨10.3233/JCS-191366⟩
...
hal-02456521v1  Conference papers
Harenome Razanajato, Cédric Bastoul, Vincent Loechner. Pipelined Multithreading Generation in a Polyhedral Compiler
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
...
hal-02456533v1  Conference papers
Toufik Baroudi, Vincent Loechner, Rachid Seghir. Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
...
hal-02456663v1  Journal articles
Luigi Penco, Enrico Mingo Hoffman, Valerio Modugno, Waldez Gomes, Jean-Baptiste Mouret et al.  Learning Robust Task Priorities and Gains for Control of Redundant Robots
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2626-2633. ⟨10.1109/LRA.2020.2972847⟩
...
hal-02457425v1  Conference papers
Raquel Lazcano, Daniel Madroñal, Eduardo Juarez, Philippe 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-02464180v1  Journal articles
Manel Jerbi, Zaineb Chelly Dagdia, Slim Bechikh, Mohamed Makhlouf, Lamjed Ben Said. On the Use of Artificial Malicious Patterns for Android Malware Detection
Computers and Security, Elsevier, 2020, 92, pp.101743. ⟨10.1016/j.cose.2020.101743⟩
...
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-02469093v1  Journal articles
Raffaella Trivisonne, Erwan Kerrien, Stéphane Cotin. Constrained Stochastic State Estimation of Deformable 1D Objects: Application to Single-view 3D Reconstruction of Catheters with Radio-opaque Markers
Computerized Medical Imaging and Graphics, Elsevier, 2020, 81, ⟨10.1016/j.compmedimag.2020.101702⟩
...
hal-02355623v2  Conference papers
Manuel Pariente, Samuele Cornell, Antoine Deleforge, Emmanuel 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 Serizel, Nicolas Turpault, Ankit Shah, Justin Salamon. Sound event detection in synthetic domestic environments
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02462030v1  Journal articles
Michel Grédiac, Benoît Blaysat, Frédéric Sur. On the Optimal Pattern for Displacement Field Measurement: Random Speckle and DIC, or Checkerboard and LSA?
Experimental Mechanics, Society for Experimental Mechanics, 2020, 60 (4), pp.509--534. ⟨10.1007/s11340-019-00579-z⟩
...
hal-02475589v1  Journal articles
Félix Vanneste, Olivier Goury, Jonas Martinez, Sylvain Lefebvre, Hervé Delingette et al.  Anisotropic soft robots based on 3D printed meso-structured materials: design, modeling by homogenization and simulation
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2380-2386. ⟨10.1109/LRA.2020.2969926⟩
...
hal-02355115v2  Conference papers
Brij Mohan Lal Srivastava, Nathalie Vauquier, Md Sahidullah, Aurélien Bellet, Marc 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-02478696v1  Preprints, Working Papers, ...
Guillaume Bonfante, Miguel Couceiro. On termination of Graph Rewriting Systems through language theory
2020
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/