Skip to Main content Skip to Navigation


hal-00698194v1  Conference papers
Marie-France SagotAlain ViariH. Soldano. A Distance-based block searching algorithm
Third International Conference on Intelligent Systems for Molecular Biology (ISMB-95), Jul 2019, Cambridge, United Kingdom. pp.322-331
hal-01331936v1  Journal articles
Arpan ChattopadhyayBartłomiej BłaszczyszynEitan Altman. Two-tier cellular networks for throughput maximization of static and mobile users
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, In press, 18 (2), pp.997-1010. ⟨10.1109/TWC.2018.2887386⟩
hal-01389489v1  Journal articles
Ismaël BailleulArnaud DebusscheMartina Hofmanova. Quasilinear generalized parabolic Anderson model
Stochastics and Partial Differential Equations: Analysis and Computations, Springer US, 2019, 7 (1), pp.40-63. ⟨10.1007/s40072-018-0121-1⟩
hal-01467131v1  Journal articles
Alessandra IacobucciStefano OllaGabriel Stoltz. Convergence rates for nonequilibrium Langevin dynamics
Annales mathématiques du Québec, Springer, 2019, 43 (1), pp.73-98. ⟨10.1007/s40316-017-0091-0⟩
hal-01577874v1  Journal articles
Benjamin JourdainAhmed Kebaier. Non-asymptotic error bounds for The Multilevel Monte Carlo Euler method applied to SDEs with constant diffusion coefficient
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2019, 24 (12), pp.1-34. ⟨10.1214/19-EJP271⟩
hal-01581170v1  Conference papers
Martin WhiteMichele TufanoMatias MartinezMartin MonperrusDenys Poshyvanyk. Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities
SANER 2019 - 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2019, Hangzhou, China
hal-01624049v1  Journal articles
Claude Le BrisFrédéric LegollFrançois Madiot. Multiscale Finite Element methods for advection-dominated problems in perforated domains
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (2), pp.773-825. ⟨10.1137/17M1152048⟩
hal-01660621v1  Journal articles
Haichuan SongJonàs MartínezPierre BedellNoemie VenninSylvain Lefebvre. Colored fused filament fabrication
ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (5), pp.1-11. ⟨10.1145/3183793⟩
hal-01662537v1  Journal articles
Ludovic RiffordAbbas Moameni. Uniquely minimizing costs for the Kantorovitch problem
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc In press
hal-01671748v1  Journal articles
Alex BartelAurel Page. Group representations in the homology of 3-manifolds
Commentarii Mathematici Helvetici, European Mathematical Society, 2019, ⟨10.4171/CMH/455⟩
hal-01671848v1  Journal articles
Horia CorneanDavid GontierAntoine LevittDomenico Monaco. Localised Wannier functions in metallic systems
Annales Henri Poincaré, Springer Verlag, 2019, 20 (4), pp.1367-1391. ⟨10.1007/s00023-019-00767-6⟩
hal-01672800v1  Journal articles
Philippe RobertWen Sun. On the Asymptotic Distribution of Nucleation Times of Polymerization Processes
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2019, 79 (5), pp.27. ⟨10.1137/19M1237508⟩
hal-01674525v1  Journal articles
Valentina FranceschiGiorgio Stefani. Symmetric double bubbles in the Grushin plane
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2019, 25
hal-01675068v1  Book sections
Marianne AkianEric Fodjo. Probabilistic max-plus schemes for solving Hamilton-Jacobi-Bellman equations
M. Falcone; R. Ferretti; L. Grune; W. McEneaney. Numerical Methods for Optimal Control Problems, 29, Springer, pp.183-209, 2019, INDAM Series
hal-01675715v1  Journal articles
Stéphane GaubertMarie Maccaig. Approximating the Volume of Tropical Polytopes is Difficult
International Journal of Algebra and Computation, World Scientific Publishing, 2019, 29 (02), pp.357--389. ⟨10.1142/S0218196718500686⟩
hal-01709265v1  Journal articles
Julien RousselGabriel Stoltz. A perturbative approach to control variates in molecular dynamics
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (1), pp.552-591. ⟨10.1137/18M1171047⟩
hal-01710964v1  Journal articles
Wen SunPhilippe Robert. Analysis of Large Urn Models with Local Mean-Field Interactions
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), In press, 24 (45), pp.33
hal-01774856v1  Journal articles
Frédéric CérouBernard DelyonArnaud GuyaderMathias Rousset. On the Asymptotic Normality of Adaptive Multilevel Splitting
SIAM/ASA Journal on Uncertainty Quantification, ASA, American Statistical Association, 2019, 7 (1), pp.1-30. ⟨10.1137/18M1187477⟩
hal-01817799v1  Journal articles
Denis BelomestnyRoland HildebrandJohn Schoenmakers. Optimal Stopping via Pathwise Dual Empirical Maximisation
Applied Mathematics and Optimization, Springer Verlag (Germany), 2019, 79 (3), pp.715-741. ⟨10.1007/s00245-017-9454-9⟩
hal-01818268v1  Journal articles
Djalil ChafaiGrégoire Ferré. Simulating Coulomb gases and log-gases with hybrid Monte Carlo algorithms
Journal of Statistical Physics, Springer Verlag, 2019, 174 (3), pp.692-714. ⟨10.1007/s10955-018-2195-6⟩
hal-01828443v1  Journal articles
Victor MagronMarcelo ForetsDidier Henrion. Semidefinite Approximations of Invariant Measures for Polynomial Systems
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩
hal-01836402v1  Conference papers
Florent CapelliStefan Mengel. Tractable QBF by Knowledge Compilation
36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Mar 2019, Berlin, Germany
hal-01857758v1  Journal articles
Maxime LussierMonica LavoieSylvain GirouxCharles ConselManon Guay et al.  Early detection of mild cognitive impairment with in-home monitoring technologies using functional measures: A systematic review
IEEE Journal of Biomedical and Health Informatics, Institute of Electrical and Electronics Engineers, 2019, pp.1-11. ⟨10.1109/JBHI.2018.2834317⟩
hal-01861610v1  Journal articles
Syed GillaniAntoine ZimmermannGauthier PicardFrederique Laforest. A query language for semantic complex event processing: Syntax, semantics and implementation
Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2019, 10 (1), pp.53-93. ⟨10.3233/SW-180313⟩
hal-01877002v1  Journal articles
Oumaima BencheikhBenjamin Jourdain. Bias behaviour and antithetic sampling in mean-field particle approximations of SDEs nonlinear in the sense of McKean
ESAIM: Proceedings and Surveys, EDP Sciences, 2019, CEMRACS 2017 - Numerical methods for stochastic models: control, uncertainty quantification, mean-field, 65, pp.219-235. ⟨10.1051/proc/201965219⟩
hal-01883087v1  Conference papers
Olivier GaudoinXiujie ZhaoLaurent Doyen. Optimal inspection and replacement policy based on experimental degradation data with covariates
11th International Conference on Mathematical Methods in Reliability, MMR 2019, Jun 2019, Hong Kong, China
hal-01891024v1  Conference papers
Quentin Le GallBartłomiej BłaszczyszynElie CaliTaoufik En-Najjary. The Influence of Canyon Shadowing on Device-to-Device Connectivity in Urban Scenario
WCNC 2019 - IEEE Wireless Communications and Networking Conference, IEEE, Apr 2019, Marrakech, Morocco
hal-01891811v1  Journal articles
Antoine AmarilliPierre BourhisMikaël MonetPierre Senellart. Evaluating Datalog via Tree Automata and Cycluits
Theory of Computing Systems, Springer Verlag, 2019, 63 (7), pp.1620-1678. ⟨10.1007/s00224-018-9901-2⟩
hal-01893921v1  Conference papers
Raghu BollapragadaDamien ScieurAlexandre d'Aspremont. Nonlinear Acceleration of Momentum and Primal-Dual Algorithms
AISTATS 2019 - 22nd International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Japan
hal-01893922v1  Conference papers
Thomas KerdreuxAlexandre d'AspremontSebastian Pokutta. Restarting Frank-Wolfe
AISTATS 2019 - 22nd International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Japan
hal-01916165v1  Poster communications
Anna VegniValeria LoscrìPietro Manzoni. Analysis of Small-World Features in Vehicular Social Networks
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. 2019
hal-01921923v1  Journal articles
Gergely AcsLuca MelisClaude CastellucciaEmiliano de Cristofaro. Differentially Private Mixture of Generative Neural Networks
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2019, 31 (6), pp.1109-1121. ⟨10.1109/TKDE.2018.2855136⟩
hal-01929224v1  Conference papers
Etienne MauffretDenis JeanneauLuciana ArantesPierre Sens. The Weakest Failure Detector to Solve the Mutual Exclusion Problem in an Unknown Dynamic Environment
20th International Conference on Distributed Computing and Networking (ICDCN 2019), Jan 2019, Bangalore, India. ⟨10.1145/3288599.3288608⟩
hal-01940078v1  Journal articles
Bruno Salvy. Linear Differential Equations as a Data-Structure
Foundations of Computational Mathematics, Springer Verlag, 2019, 19 (5), pp.1071-1112. ⟨10.1007/s10208-018-09411-x⟩
hal-01941461v1  Journal articles
Moitri SenVitaly VolpertVitali Vougalter. Existence of waves for a reaction–diffusion–dispersion system
Nonlinear Analysis: Theory, Methods and Applications, Elsevier, 2019, 180, pp.52-66. ⟨10.1016/j.na.2018.09.011⟩
inserm-01944507v1  Conference papers
Maïa ProisyIsabelle CorougeAntoine LegouhyValérie CharonNadia Mazille et al.  Changes in brain perfusion in successive arterial spin labelling MRI scans in neonates with hypoxic-ischemic encephalopathy
SPR 2019 - Annual Meeting & Postgraduate Course, Apr 2019, San Francisco, California, United States
hal-01946489v1  Conference papers
Hafiz Muhamad AmjadLoïc Besnard. Verilog Code Generation Scheme from Signal Language
IBCAST 2019 - 16th International Bhurban Conference on Applied Sciences and Technology, Jan 2019, Islamabad, Pakistan. pp.457-462, ⟨10.1109/IBCAST.2019.8667266⟩
hal-01946642v1  Journal articles
Ömer Deniz AkyildizEmilie ChouzenouxVíctor ElviraJoaquín Míguez. A probabilistic incremental proximal gradient method
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2019, 26 (8), pp.1257-1261. ⟨10.1109/LSP.2019.2926926⟩
hal-01944513v1  Conference papers
Alex HolcombeCharles LudowiciSteve Haroz. Is there a reproducibility crisis around here? Maybe not, but we still need to change
VSS 2019 - Vision Sciences Society, May 2019, St. Pete Beach, Florida, United States
hal-01954122v1  Conference papers
Paul CoudercYoann Maurel. Location corroboration using passive observations of IEEE 802.11 Access Points
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-7, ⟨10.1109/CCNC.2019.8651873⟩
hal-01956962v1  Conference papers
Grégoire PichonEric DarveMathieu FavergePierre RametJean Roman. Block Low-rank Algebraic Clustering for Sparse Direct Solvers
SIAM Conference on Computational Science and Engineering (CSE19), Feb 2019, Spokane, United States
hal-01956963v1  Conference papers
Mathieu FavergeGrégoire PichonPierre Ramet. Exploiting Parameterized Task-graph in Sparse Direct Solvers
SIAM Conference on Computational Science and Engineering (CSE19), Feb 2019, Spokane, United States
hal-01958924v1  Conference papers
Bartłomiej BłaszczyszynHolger Paul Keeler. Determinantal thinning of point processes with network learning applications
WCNC 2019 - IEEE Wireless Communications and Networking Conference, IEEE, Apr 2019, Marrakech, Morocco. ⟨10.1109/WCNC.2019.8885526⟩
hal-01958939v1  Conference papers
Bartłomiej BłaszczyszynPaul Muhlethaler. Analyzing LoRa long-range, low-power, wide-area networks using stochastic geometry
VALUETOOLS 2019 - 12th EAI International Conference on Performance Evaluation Methodologies and Tools, ACM, Mar 2019, Palma de Mallorca, Spain. ⟨10.1145/3306309.3306327⟩
hal-01959617v1  Conference papers
Alain CouvreurMatthieu LequesneJean-Pierre Tillich. Recovering short secret keys of RLCE encryption scheme in polynomial time
PQCrypto 2019 - International Conference on Post-Quantum Cryptography, May 2019, Chongqing, China. ⟨10.1007/978-3-030-25510-7_8⟩
hal-01960553v1  Journal articles
Matías ToroElizabeth LabradaÉric Tanter. Gradual Parametricity, Revisited
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
hal-01960788v1  Conference papers
Pascal FradetAlain GiraultRuby KrishnaswamyXavier NicollinArash Shafiei. RDF: Reconfigurable Dataflow
DATE 2019 - Design, Automation & Test in Europe Conference & Exhibition, Mar 2019, Florence, Italy. pp.1709-1714, ⟨10.23919/DATE.2019.8714987⟩
hal-01337189v2  Journal articles
Louis RaynalJean-Michel MarinPierre PudloMathieu RibatetChristian Robert et al.  ABC random forests for Bayesian parameter inference
Bioinformatics, Oxford University Press (OUP), 2019, 35 (10), pp.1720-1728. ⟨10.1093/bioinformatics/bty867⟩
hal-01963034v1  Journal articles
Lucas FrérotMarc BonnetJean-François MolinariGuillaume Anciaux. A Fourier-accelerated volume integral method for elastoplastic contact
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2019, 351, pp.951-976. ⟨10.1016/j.cma.2019.04.006⟩
hal-01964541v1  Journal articles
Xavier HinautJohannes Twiefel. Teach Your Robot Your Language! Trainable Neural Parser for Modelling Human Sentence Processing: Examples for 15 Languages
IEEE Transactions on Cognitive and Developmental Systems, Institute of Electrical and Electronics Engineers, Inc, 2019, ⟨10.1109/TCDS.2019.2957006⟩
hal-01966303v1  Journal articles
Agostino Martinelli. Nonlinear Unknown Input Observability: Extension of the Observability Rank Condition
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2019, 64 (1), pp.222 - 237. ⟨10.1109/TAC.2018.2798806⟩
hal-01967575v1  Journal articles
Xavier AllamigeonRicardo David Katz. A Formalization of Convex Polyhedra Based on the Simplex Method
Journal of Automated Reasoning, Springer Verlag, 2019, 63 (2), pp.323-345. ⟨10.1007/s10817-018-9477-1⟩
hal-01968170v1  Journal articles
Carlos Oscar SorzanoA. JiménezJavier MotaJosé Luis VilasDavid Maluenda et al.  Survey of the analysis of continuous conformational variability of biological macromolecules by electron microscopy
Acta crystallographica. Section F, Structural biology communications, John Wiley & Sons Ltd,, 2019, 75 (1), pp.19-32. ⟨10.1107/S2053230X1801510⟩