Skip to Main content Skip to Navigation

hal-02936968v1  Book sections
Arnaud LallouetYves MoinardPascal NicolasIgor Stephan. Logic Programming
A Guided Tour of Artificial Intelligence Research, 2020, ⟨10.1007/978-3-030-06167-8_4⟩
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
hal-02476478v1  Journal articles
Ricardo MarquesChristian BouvilleKadi Bouatouch. Spectral Analysis of Quadrature Rules and Fourier Truncation-based Methods Applied to Shading Integrals
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TVCG.2019.2913418⟩
hal-02437474v1  Journal articles
Sébastien FerréPeggy Cellier. Graph-FCA: An extension of formal concept analysis to knowledge graphs
Discrete Applied Mathematics, Elsevier, 2020, 271, pp.81-102
hal-02864914v1  Journal articles
Stefan KölblElmar TischhauserPatrick DerbezAndrey Bogdanov. Troika: a ternary cryptographic hash function
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (1), pp.91-117. ⟨10.1007/s10623-019-00673-2⟩
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-03089375v1  Book sections
Pascal PoulletPriscilla RamsamyMario Ricchiuto. Residual based method for sediment transport
Recent Advances in Numerical methods for Hyperbolic PDE Systems. Selected talks of Numhyp 2019, In press
hal-01840993v1  Journal articles
Eric CancèsVirginie EhrlacherFrédéric LegollBenjamin StammShuyang Xiang. An embedded corrector problem for homogenization. Part I: Theory
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2020, 18 (3), pp.1179-1209. ⟨10.1137/18M120035X⟩
hal-02375397v1  Journal articles
Jean-Marc Couveignes. Enumerating number fields
Annals of Mathematics, Princeton University, Department of Mathematics, 2020, 192 (2), pp.487-497. ⟨10.4007/annals.2020.192.2.4⟩
hal-03146470v1  Directions of work or proceedings
Ulrich SchwardmannChristian BoehmeDora HerasValeria CardellinEmmanuel Jeannot et al.  Euro-Par 2019: Parallel Processing Workshops
Aug 2019, Göttingen, Germany. 11997, Springer, 2020, Lecture Notes in Computer Science, 978-3-030-48339-5. ⟨10.1007/978-3-030-48340-1⟩
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-03066152v1  Books
Robin GenuerJean-Michel Poggi. Random Forests with R
Springer International Publishing, pp.98, 2020, Use R!, 978-3-030-56485-8. ⟨10.1007/978-3-030-56485-8⟩
hal-02305957v2  Journal articles
Alessio AntoniniMari Carmen Suárez-FigueroaAlessandro AdamouFrancesca BenattiFrançois Vignale et al.  Understanding the phenomenology of reading through modelling
Semantic Web – Interoperability, Usability, Applicability, IOS Press, In press, 12 (2), pp.191-217. ⟨10.3233/SW-200396⟩
hal-03139296v1  Journal articles
Stefania ColonnesePaolo Di LorenzoTiziana CattaiGaetano ScaranoFabrizio de Vico Fallani. A Joint Markov Model for Communities, Connectivity and Signals Defined Over Graphs
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2020, 27, pp.1160-1164. ⟨10.1109/LSP.2020.3005053⟩
hal-02879075v1  Journal articles
Jean-Baptiste BarreauRonan GaugneAnne-Hélène OlivierSylviane LlinaresValérie Gouranton. Reconstitution de la vie à bord d’un navire de la Compagnie des Indes orientales au XVIIIe siècle
In Situ : Revue des patrimoines, Ministère de la Culture et de la Communication, Direction de l'architecture et du patrimoine, [Sous-direction des études, de la documentation et de l'Inventaire], 2020, 42 (42), pp.1-17. ⟨10.4000/insitu.27496⟩
hal-03314915v1  Journal articles
Luis AlmeidaKevin AtsouMarta MarulliDiane PeurichardRémi Tesson. Phase transitions in a two-species model for cell segregation and logistic growth
ESAIM: Proceedings and Surveys, EDP Sciences, 2020, CEMRACS 2018 - Numerical and mathematical modeling for biological and medical applications: deterministic, probabilistic and statistical descriptions, 67, pp.1-15. ⟨10.1051/proc/202067001⟩
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-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-02560816v1  Books
Bruno TuffinPierre l'Écuyer. Monte Carlo and Quasi-Monte Carlo Methods
Springer International Publishing, 324, pp.539, 2020, Springer Proceedings in Mathematics & Statistics, ⟨10.1007/978-3-030-43465-6⟩
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-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-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-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-02559125v1  Conference papers
Radu MateescuWendelin SerweAymane BouzafourMarc Renaudin. Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, 2020, Dublin, Ireland. pp.200-239, ⟨10.4204/EPTCS.316.8⟩
hal-02558779v1  Journal articles
Baptiste CaramiauxJules FrançoiseWanyu LiuTéo SanchezFrédéric Bevilacqua. Machine Learning Approaches For Motor Learning: A Short Review
Frontiers in Computer Science, Lausanne: Frontiers Media SA, In press
hal-02429512v1  Journal articles
Vlad BallyLucia CaramellinoGuillaume Poly. Regularization lemmas and convergence in total variation
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2020, 25, paper no. 74, 20 pp. ⟨10.1214/20-EJP481⟩
hal-03287832v1  Conference papers
Daniele CalandrielloMichał DerezińskiMichal Valko. Sampling from a k-DPP without looking at all items
Neural Information Processing Systems, 2020, Montréal, Canada
hal-03287824v1  Conference papers
Jean TarbouriechEvrard GarcelonMichal ValkoMatteo PirottaAlessandro Lazaric. No-regret exploration in goal-oriented reinforcement learning
PMLR 2020 - 37th International Conference on Machine Learning, 2020, Vienna / Virtual, Austria
hal-03288970v1  Conference papers
Jean TarbouriechMatteo PirottaMichal ValkoAlessandro Lazaric. Reward-free exploration beyond finite-horizon
ICML 2020 Workshop on Theoretical Foundations of Reinforcement Learning, 2020, Vienna, France
hal-02928903v1  Journal articles
Briceyda DelgadoJuliette Leblond. Bounded Extremal Problems in Bergman and Bergman-Vekua spaces
Complex Variables and Elliptic Equations, Taylor & Francis, In press
hal-02476491v1  Journal articles
Ricardo MarquesChristian BouvilleKadi BouatouchJosep Blat. Extensible Spherical Fibonacci Grids
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TVCG.2019.2952131⟩
hal-01779785v1  Journal articles
Laurent BuséCarlos d'AndreaMartín SombraMartin Weimann. The geometry of the flex locus of a hypersurface
Pacific Journal of Mathematics, Mathematical Sciences Publishers, 2020, 304 (2), pp.419--437. ⟨10.2140/pjm.2020.304.419⟩
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-03136790v1  Directions of work or proceedings
Guillaume HietFrédéric TronelJean-Louis Lanet. Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genoa, IEEE, pp.681, 2020, ⟨10.1109/EuroSPW51379.2020.00097⟩
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-02795484v1  Journal articles
Timothée HaudebourgThomas GenetThomas Jensen. Regular Language Type Inference with Term Rewriting - extended version
Proceedings of the ACM on Programming Languages, ACM, 2020, International Conference on Functional Programming (ICFP), 4 (ICFP), pp.1-29. ⟨10.1145/3408994⟩
hal-03054473v1  Book sections
Bruno Cessac. The Retina as a Dynamical System
Recent Trends in Chaotic, Nonlinear and Complex Dynamics., In press
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-02060951v2  Journal articles
Nicolás CarreñoEduardo CerpaEmmanuelle Crépeau. Internal null controllability of the generalized Hirota-Satsuma system
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2020, 26, pp.75:1-22. ⟨10.1051/cocv/2019062⟩
hal-02432325v1  Journal articles
Carlos MartinezFrancis MairetLeslie MeierDavid JeisonAndrés Avila. Modeling and analysis of an Absorption Column Connected to a Microalgae Culture
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, In press
hal-01934913v2  Journal articles
Karine BertinNicolas KlutchnikoffJosé LeónClémentine Prieur. Adaptive density estimation on bounded domains under mixing conditions
Electronic Journal of Statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2020, 14 (1), pp.2198-2237. ⟨10.1214/20-EJS1682⟩
hal-01982781v5  Journal articles
Alexandre RichardEtienne TanréSoledad Torres. Penalisation techniques for one-dimensional reflected rough differential equations
Bernoulli, Bernoulli Society for Mathematical Statistics and Probability, 2020, 26 (4), pp.2949--2986. ⟨10.3150/20-BEJ1212⟩
hal-01967495v1  Journal articles
Marianne AkianStéphane GaubertAntoine Hochart. A game theory approach to the existence and uniqueness of nonlinear Perron-Frobenius eigenvectors
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2020, 40, pp.207--231. ⟨10.3934/dcds.2020009⟩
hal-03027194v1  Journal articles
Tarik Mohammed TouaoulaMohammed Nor FriouiNikolay BessonovVitaly Volpert. Dynamics of solutions of a reaction-diffusion equation with delayed inhibition
Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2020, 13 (9), pp.2425-2442. ⟨10.3934/dcdss.2020193⟩
hal-03027313v1  Journal articles
Malay BanerjeeNayana MukherjeeVitaly Volpert. Prey-predator model with nonlocal and global consumption in the prey dynamics
Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2020, 13 (8), pp.2109-2120. ⟨10.3934/dcdss.2020180⟩
hal-02864255v1  Journal articles
Vincent GuilbertRaphaël AntoineChristophe HeinkeleOlivier MaquaireSandrine Costa et al.  Fusion of thermal and visible point clouds : Application to the Vaches Noires landslide, Normandy, France
ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020, XLIII-B2-2020, pp.227-232. ⟨10.5194/isprs-archives-XLIII-B2-2020-227-2020⟩