Skip to Main content Skip to Navigation


hal-01359312v1  Journal articles
Cochoy JérémySteve Y. Oudot. Decomposition of exact pfd persistence bimodules
Discrete and Computational Geometry, Springer Verlag, 2020, ⟨10.1007/s00454-019-00165-z⟩
hal-01379473v1  Journal articles
Henri CohenFrank Thorne. On $D_\ell$ extensions of odd prime degree $\ell$
Proceedings of the London Mathematical Society, London Mathematical Society, 2020, 121 (5), pp.1171-1206. ⟨10.1112/plms.12339⟩
...
hal-01367138v2  Book sections
François BoulierFrançois LemaireMarkus RosenkranzRosane UshirobiraNathalie Verdière. On Symbolic Approaches to Integro-Differential Equations
Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, ⟨10.1007/978-3-030-38356-5_6⟩
hal-01422639v1  Journal articles
Xavier AllamigeonStéphane GaubertMateusz Skomra. Tropical spectrahedra
Discrete and Computational Geometry, Springer Verlag, 2020, 63, pp.507-548. ⟨10.1007/s00454-020-00176-1⟩
...
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-01487186v1  Journal articles
Bruno DesprésEmmanuel Trélat. Two-sided space-time $L^1$ approximation and optimal control of polynomial systems
Applied Mathematics and Optimization, Springer Verlag (Germany), 2020, 82 (1), pp.307--352. ⟨10.1007/s00245-018-9501-1⟩
...
hal-01409753v2  Book sections
François Fages. Artificial Intelligence in Biological Modelling
A Guided Tour of Artificial Intelligence Research, 2020, Volume III: Interfaces and Applications of Artificial Intelligence, 978-3-030-06170-8_8. ⟨10.1007/978-3-030-06170-8_8⟩
...
halshs-01562486v1  Book sections
Anne Baillot. Zahlenwahn oder Textliebe? Digitale Philologie als Disziplin und als Weltanschauung
Johannes Dahm; Ruth Lambertz-Pollan; Maïwenn Roudaut; Bénédicte Terrisse. Machines/Maschinen. Les machines dans l'espace germanique: de l'automate de Kempelen à Kraftwerk, Presses Universitaires de Rennes, 2020, 978-2-7535-8002-2
...
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-01569540v2  Conference papers
Antoine MiechJean-Baptiste AlayracPiotr BojanowskiIvan LaptevJosef Sivic. End-to-End Learning of Visual Representations from Uncurated Instructional Videos
CVPR 2020 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2020, Seattle / Virtual, United States
...
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-01589581v1  Journal articles
Aurélien AlfonsiJacopo CorbettaBenjamin Jourdain. Sampling of probability measures in the convex order by Wasserstein projection
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2020, 56 (3), pp.1706-1729. ⟨10.1214/19-AIHP1014⟩
...
hal-01591133v1  Journal articles
Athmane BakhtaVirginie EhrlacherDavid Gontier. Numerical reconstruction of the first band(s) in an inverse Hill's problem
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2020, ⟨10.1051/cocv/2019031⟩
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-01593830v1  Journal articles
Adrian BishopPierre del MoralAngèle Niclas. A perturbation analysis of stochastic matrix Riccati diffusions
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2020, ⟨10.1214/19-AIHP987⟩
...
hal-01617321v1  Book sections
Rosane UshirobiraAnja KorporalWilfrid Perruquetti. Algebraic estimation in partial derivatives systems: parameters and differentiation problems
Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, 9, Springer, pp.183-200, 2020, Advances in Delays and Dynamics
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-01546570v2  Journal articles
Manaf AhmedVéronique Maume-DeschampsPierre RibereauCéline Vial. Spatial Risk Measure for Max-Stable and Max-Mixture Processes
Stochastics: An International Journal of Probability and Stochastic Processes, Taylor & Francis: STM, Behavioural Science and Public Health Titles, In press, 92 (7), pp.1005-1020. ⟨10.1080/17442508.2019.1687703⟩
...
hal-01673777v2  Journal articles
Cormac Walsh. Order antimorphisms of finite-dimensional cones
Selecta Mathematica (New Series), Springer Verlag (Germany), 2020, 26 (4), paper number 53
...
hal-01683954v1  Journal articles
Manon CostaCarl GrahamLaurence MarsalleViet-Chi Tran. Renewal in Hawkes processes with self-excitation and inhibition
Advances in Applied Probability, Applied Probability Trust, 2020, 52 (3), pp.879-915. ⟨10.1017/apr.2020.19⟩
...
hal-01687224v1  Journal articles
Patrick BaillotAlexis Ghyselen. Combining Linear Logic and Size Types for Implicit Complexity
Theoretical Computer Science, Elsevier, 2020, 813, pp.70-99
...
lirmm-01674319v2  Journal articles
Bastien CazauxEric Rivals. Hierarchical Overlap Graph
Information Processing Letters, Elsevier, 2020, 155, pp.#105862. ⟨10.1016/j.ipl.2019.105862⟩
hal-01710772v1  Journal articles
Thomas HudsonFrédéric LegollTony Lelièvre. Stochastic homogenization of a scalar viscoelastic model exhibiting stress-strain hysteresis
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2020, 54 (3), pp.879-928. ⟨10.1051/m2an/2019081⟩
...
hal-01690400v3  Journal articles
Alexandre VieiraBernard BrogliatoChristophe Prieur. Quadratic Optimal Control of Linear Complementarity Systems: First order necessary conditions and numerical analysis
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, 65 (6), pp.2743-2750. ⟨10.1109/TAC.2019.2945878⟩
...
hal-01575576v2  Journal articles
Yacine ChitourGuilherme MazantiMario Sigalotti. Approximate and exact controllability of linear difference equations
Journal de l'École polytechnique — Mathématiques, École polytechnique, 2020, 7, pp.93--142. ⟨10.5802/jep.112⟩
...
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-01802706v1  Journal articles
Alin BostanMireille Bousquet-MélouStephen Melczer. Counting walks with large steps in an orthant
Journal of the European Mathematical Society, European Mathematical Society, In press
...
hal-01803571v1  Journal articles
Bernard MourrainAlessandro Oneto. On minimal decompositions of low rank symmetric tensors
Linear Algebra and its Applications, Elsevier, 2020, 607, pp.347-377. ⟨10.1016/j.laa.2020.06.029⟩
...
hal-01807720v1  Journal articles
Romeo OrtegaAnton PyrkinAlexey BobtsovDenis EfimovStanislav Aranovskiy. A Globally Convergent Adaptive Indirect Field-Oriented Torque Controller for Induction Motors
Asian Journal of Control, Asian Control Association (ACA) and Chinese Automatic Control Society (CACS) 2020, 22 (1), pp.11-24. ⟨10.1002/asjc.1904⟩
hal-01828230v1  Journal articles
Laurent DoyenRemy DrouilhetLéa Brenière. A generic framework for generalized virtual age models
IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2020, 69 (2), pp.816-832. ⟨10.1109/TR.2019.2906732⟩
...
hal-01332481v3  Journal articles
Jan BlechtaJosef MálekMartin Vohralík. Localization of the $W^{-1,q}$ norm for local a posteriori efficiency
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2020, 40 (2), pp.914-950. ⟨10.1093/imanum/drz002⟩
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-01855672v1  Journal articles
Jaemin JoJinwook SeoJean-Daniel Fekete. PANENE: A Progressive Algorithm for Indexing and Querying Approximate k-Nearest Neighbors
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2020, 26 (2), pp.1347-1360. ⟨10.1109/TVCG.2018.2869149⟩
...
hal-01866199v1  Journal articles
Frédéric ChapotonAlin Bostan. A note on gamma triangles and local gamma vectors
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc 2020, Série 6, Tome 29, pp.907-925
...
hal-01802463v1  Journal articles
Marie TahonGwénolé LecorvéDamien Lolive. Can we Generate Emotional Pronunciations for Expressive Speech Synthesis?
IEEE Transactions on Affective Computing, Institute of Electrical and Electronics Engineers, 2020, 11 (4), pp.684-695. ⟨10.1109/TAFFC.2018.2828429⟩
...
hal-01108678v2  Journal articles
Erwan BrugalléPierre-Vincent KoseleffDaniel Pecker. The lexicographic degree of the first two-bridge knots
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc 2020, 29 (4), pp.761-793. ⟨10.5802/afst.1645⟩
hal-01875946v1  Journal articles
Rémi LamOlivier ZahmYoussef MarzoukKaren Willcox. Multifidelity Dimension Reduction via Active Subspaces
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2020, 42 (2), pp.A929-A956. ⟨10.1137/18M1214123⟩
hal-01876809v1  Journal articles
Benjamin JourdainWilliam Margheriti. A new family of one dimensional martingale couplings
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2020, 25 (136), pp.1-50. ⟨10.1214/20-EJP543⟩
...
hal-01878973v1  Journal articles
Guillaume JamesKirill VorotnikovBernard Brogliato. Kuwabara-Kono numerical dissipation: a new method to simulate granular matter
IMA Journal of Applied Mathematics, Oxford University Press (OUP), 2020, 85 (1), pp.27-66. ⟨10.1093/imamat/hxz034⟩
...
hal-01882936v1  Journal articles
Boris Haspot. Strong solution for Korteweg system in $\mbox{bmo}^{-1}(\mathbb R^N)$ with initial density in $L^\infty$
Proceedings of the London Mathematical Society, London Mathematical Society, 2020, 21 (6), ⟨10.1112/plms.12370⟩
...
hal-01883237v1  Journal articles
Nicolas CrouseillesShi JinMohammed LemouFlorian Méhats. A micro-macro method for a kinetic graphene model in one-space dimension
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2020, 18 (1), pp.444-474. ⟨10.1137/18M1173770⟩
...
hal-01868738v2  Journal articles
Evanthia DimaraSteven FranconeriCatherine PlaisantAnastasia BezerianosPierre Dragicevic. A Task-based Taxonomy of Cognitive Biases for Information Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, 26 (2), pp.1413 - 1432. ⟨10.1109/TVCG.2018.2872577⟩
...
hal-01887269v1  Journal articles
Théophile Chaumont-FreletSerge NicaiseJérôme Tomezyk. Uniform a priori estimates for elliptic problems with impedance boundary conditions
Communications on Pure and Applied Analysis, AIMS American Institute of Mathematical Sciences, 2020, ⟨10.3934/cpaa.2020107⟩
...
hal-01892118v1  Journal articles
Raphaël CerfSana Louhichi. Dynamical coupling between Ising and FK percolation
ALEA : Latin American Journal of Probability and Mathematical Statistics, Instituto Nacional de Matemática Pura e Aplicada, 2020, 17 (1), pp.23-49. ⟨10.30757/ALEA.v17-02⟩
...
hal-01893036v1  Journal articles
Alan AyalaXavier ClaeysLaura Grigori. Linear-time CUR approximation of BEM matrices
Journal of Computational and Applied Mathematics, Elsevier, 2020, 368 (112528), ⟨10.1016/j.cam.2019.112528⟩
hal-01895619v1  Journal articles
Emma HortonAndreas Eou KyprianouDenis Villemonais. Stochastic methods for the neutron transport equation I: Linear semigroup asymptotics
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2020, 30 (6), ⟨10.1214/20-AAP1567⟩
hal-01911620v1  Journal articles
Grégoire FerréMathias RoussetGabriel Stoltz. More on the long time stability of Feynman-Kac semigroups
Stochastics and Partial Differential Equations: Analysis and Computations, Springer US, 2020, 9 (3), pp.630-673. ⟨10.1007/s40072-020-00178-3⟩
hal-01920171v1  Journal articles
Davit MartirosyanPhilippe Robert. The Equilibrium States of Large Networks of Erlang Queues
Advances in Applied Probability, Applied Probability Trust, In press, 52 (2), ⟨10.1017/apr.2020⟩
hal-01923036v1  Journal articles
Guillaume LecuéMatthieu Lerasle. Robust machine learning by median-of-means : theory and practice
Annals of Statistics, Institute of Mathematical Statistics, 2020, ⟨10.1214/19-AOS1828⟩
...
hal-01907554v1  Journal articles
Guanyu XingYanli LiuHaibin LingXavier GranierYanci Zhang. Automatic Spatially Varying Illumination Recovery of Indoor Scenes Based on a Single RGB-D Image
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2020, 26 (4), pp.1672 - 1685. ⟨10.1109/TVCG.2018.2876541⟩
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-01931728v1  Journal articles
Sundararaman AkshayLoïc HélouëtRamchandra Phawade. Combining Free choice and Time in Petri Nets
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, pp.1-36. ⟨10.1016/j.jlamp.2018.11.006⟩
...
hal-01938939v1  Conference papers
Patrick MailléBruno Tuffin. A Network Reliability Game
17th International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON),, Sep 2020, Izola, Slovenia
...
hal-01939097v1  Journal articles
Diane Gallois-WongSylvie BoldoPascal Cuoq. Optimal Inverse Projection of Floating-Point Addition
Numerical Algorithms, Springer Verlag, In press, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
hal-01939804v1  Journal articles
Patrick Héas. Adapting Reduced Models in the Cross-Entropy Method
SIAM/ASA Journal on Uncertainty Quantification, ASA, American Statistical Association, 2020, 8 (2), pp.511-538. ⟨10.1137/18M1192500⟩
...
hal-01947938v1  Journal articles
Augusto FerranteAlexander LanzonBernard Brogliato. A direct proof of the equivalence of side conditions for strictly positive real matrix transfer functions
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, 65 (1), pp.450-452. ⟨10.1109/TAC.2019.2918123⟩
...
hal-01950791v1  Journal articles
Jean-Dominique FavreauFlorent LafargeAdrien BousseauAlex Auvolat. Extracting Geometric Structures in Images with Delaunay Point Processes
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020, 42 (4), ⟨10.1109/TPAMI.2018.2890586⟩