Skip to Main content Skip to Navigation


...
hal-02487883v1  Journal articles
Gang Zheng. Control of a Silicone soft tripod robot via uncertainty compensation
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2801 - 2807. ⟨10.1109/LRA.2020.2974714⟩
...
hal-02269482v2  Journal articles
Julien BensmailKasper Lyngsie. 1-2-3 Conjecture in Digraphs: More Results and Directions
Discrete Applied Mathematics, Elsevier, 2020, 284, pp.124-137
...
hal-03129901v1  Journal articles
Philippe JacquetDimitris MiliorisWojciech Szpankowski. Joint String Complexity for Markov Sources: Small Data Matters *
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2020
...
hal-03126614v1  Journal articles
Philippe JacquetBernard Mans. Blockchain moderated by empty blocks to reduce the energetic impact of crypto-moneys
International Journal of Computers, Communications and Control, Agora University of Oradea, 2020
...
hal-02611917v1  Book sections
Binbin XuCédric Gil-JardinéFrantz ThiessardÉric TellierMarta Avalos et al.  Pre-Training a Neural Language Model Improves the Sample Efficiency of an Emergency Room Classification Model
Roman Barták, Eric Bell. Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, The AAAI Press, 2020, 978-1-57735-821-3
...
hal-02080706v2  Journal articles
Julien HerrmannGuillaume Aupy. H-Revolve: A Framework for Adjoint Computation on Synchronous Hierarchical Platforms
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2020, ⟨10.1145/3378672⟩
hal-02381877v1  Journal articles
Martin AvanziniUgo Dal LagoAkihisa Yamada. On probabilistic term rewriting
Science of Computer Programming, Elsevier, 2020, 185, pp.102338. ⟨10.1016/j.scico.2019.102338⟩
hal-02935911v1  Journal articles
Maria ChudnovskyMarcin PilipczukMichał PilipczukStéphan Thomassé. On the Maximum Weight Independent Set Problem in Graphs without Induced Cycles of Length at Least Five
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2020, 34 (2), pp.1472-1483. ⟨10.1137/19M1249473⟩
...
hal-02333452v1  Journal articles
Olivier Laurent. Polynomial time in untyped elementary linear logic
Theoretical Computer Science, Elsevier, 2020, 813, pp.117-142. ⟨10.1016/j.tcs.2019.10.002⟩
...
hal-02863835v1  Journal articles
Pierre ClairambaultMarc de Visme. Full abstraction for the quantum lambda-calculus
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-28. ⟨10.1145/3371131⟩
...
hal-02573052v1  Reports
Paul IannettaLaure GonnordLionel Morel. On optimizing scalar self-rebalancing trees
[Research Report] RR-9343, INRIA LIP; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
...
hal-01588713v1  Book sections
Nathalie Revol. Influence of the Condition Number on Interval Computations: Illustration on Some Examples
O. Kosheleva, S.P. Shary, G. Xiang, R. Zaparin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.359--373, 2020, Studies in Computational Intelligence, 978-3-030-31041-7. ⟨10.1007/978-3-030-31041-7_20⟩
...
hal-02100500v3  Journal articles
Claude-Pierre Jeannerod. The relative accuracy of $(x+y)*(x-y)$
Journal of Computational and Applied Mathematics, Elsevier, 2020, pp.1-17. ⟨10.1016/j.cam.2019.112613⟩
...
hal-03029874v1  Journal articles
Anne BenoitValentin Le FèvrePadma RaghavanYves RobertHongyang Sun. Resilient Scheduling Heuristics for Rigid Parallel Jobs
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, In press
...
hal-02351562v1  Journal articles
Paulo de VilhenaFrançois PottierJacques-Henri Jourdan. Spy Game: Verifying a Local Generic Solver in Iris
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), ⟨10.1145/3371101⟩
...
hal-01793578v1  Journal articles
Laurent BuséYairon Cid-RuizCarlos d'Andrea. Degree and birationality of multi-graded rational maps
Proceedings of the London Mathematical Society, London Mathematical Society, 2020, 121 (4), pp.743-787. ⟨10.1112/plms.12336⟩
hal-03070784v1  Directions of work or proceedings
Alban QuadratEva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems
Alban Quadrat, Eva Zerz. 9, Springer, pp.311, 2020, Advances in Delays and Dynamics, 978-3-030-38355-8. ⟨10.1007/978-3-030-38356-5⟩
...
hal-02566930v1  Journal articles
Thomas RicatteRémi GilleronMarc Tommasi. Skill Rating for Multiplayer Games Introducing Hypernode Graphs and their Spectral Theory
Journal of Machine Learning Research, Microtome Publishing, 2020, 21, pp.1 - 18
...
hal-02401223v1  Book sections
Eitan AltmanCorinne TouatiNisha MishraHisao Kameda. Load Balancing Congestion Games and Their Asymptotic Behavior
Advances in Dynamic Games, Birkhäuser, pp.229-251, 2020
...
hal-01915633v2  Journal articles
Julien BensmailBinlong Li. More Aspects of Arbitrarily Partitionable Graphs
Discussiones Mathematicae Graph Theory, University of Zielona Góra, In press, ⟨10.7151/dmgt.2343⟩
...
hal-01919562v3  Journal articles
Hirokazu AnaiFrédéric ChazalMarc GlisseYuichi IkeHiroya Inakoshi et al.  DTM-based Filtrations
Abel Symposia, Springer, 2020, Topological Data Analysis, 15, pp.33-66. ⟨10.1007/978-3-030-43408-3_2⟩