Skip to Main content Skip to Navigation


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-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-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-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-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-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-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-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-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-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⟩
hal-01968558v1  Conference papers
Adithya M. DevrajAna BušićSean Meyn. On Matrix Momentum Stochastic Approximation and Applications to Q-learning
57th Annual Allerton Conference on Communication, Control, and Computing (Allerton), Sep 2019, Monticello, IL, United States. ⟨10.1109/ALLERTON.2019.8919828⟩
hal-01970758v1  Journal articles
Sebastián BarbieriMathieu Sablik. A generalization of the simulation theorem for semidirect products
Ergodic Theory and Dynamical Systems, Cambridge University Press (CUP), In press, pp.1-22. ⟨10.1017/etds.2018.21⟩
hal-01975760v1  Conference papers
Julia PeyreIvan LaptevCordelia SchmidJosef Sivic. Detecting unseen visual relations using analogies
ICCV 2019 - International Conference on Computer Vision, Oct 2019, Seoul, South Korea. pp.1981-1990, ⟨10.1109/ICCV.2019.00207⟩