Skip to Main content Skip to Navigation

hal-01377485v1  Journal articles
Tahsin KhajahXavier AntoineStéphane P.A. Bordas. B-spline FEM for time-harmonic acoustic scattering and propagation
Journal of Theoretical and Computational Acoustics, World Scientific, 2019, 27 (3), pp.1850059. ⟨10.1142/S2591728518500597⟩
hal-01404590v1  Journal articles
Miguel CouceiroMiklos MarótiTamas WaldhauserLazlo Zadori. Computing version spaces in the qualitative approach to multicriteria decision aid
International Journal of Foundations of Computer Science, World Scientific Publishing, 2019, 30 (2), pp.333-353. ⟨10.1142/S0129054119500084⟩
hal-01567661v1  Journal articles
Céline GrandmontMatthieu HillairetJulien Lequeurre. Existence of local strong solutions to fluid-beam and fluid-rod interaction systems
Annales de l'Institut Henri Poincaré (C) Non Linear Analysis, Elsevier, 2019, 36 (4), pp.1105-1149. ⟨10.1016/j.anihpc.2018.10.006⟩
hal-01572508v1  Journal articles
Arnab RoyTakéo Takahashi. Local null controllability of a rigid body moving into a Boussinesq flow
Mathematical Control and Related Fields, AIMS, 2019, 9 (4), pp.793-836. ⟨10.3934/mcrf.2019050⟩
hal-01643321v1  Journal articles
Lucie BaudouinEmmanuelle CrépeauJulie Valein. Two approaches for the stabilization of nonlinear KdV equation with boundary time-delay feedback
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2019, 64 (4), pp.1403-1414. ⟨10.1109/TAC.2018.2849564⟩
hal-01108166v4  Journal articles
Svyatoslav CovanovEmmanuel Thomé. Fast integer multiplication using generalized Fermat primes
Mathematics of Computation, American Mathematical Society, 2019, 88 (317), pp.1449-1477. ⟨10.1090/mcom/3367⟩
hal-01791791v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
hal-01792432v1  Journal articles
Pauline TanFabien PierreMila Nikolova. Inertial Alternating Generalized Forward-Backward Splitting for Image Colorization
Journal of Mathematical Imaging and Vision, Springer Verlag, 2019, 61 (5), pp.672-690. ⟨10.1007/s10851-019-00877-0⟩
hal-01613530v2  Journal articles
Simon AbelardPierrick GaudryPierre-Jean Spaenlehauer. Improved Complexity Bounds for Counting Points on Hyperelliptic Curves
Foundations of Computational Mathematics, Springer Verlag, 2019, 19 (3), pp.591-621. ⟨10.1007/s10208-018-9392-1⟩
hal-01835781v1  Journal articles
Agnes LagnouxSabine MercierPierre Vallois. Probability density function of the local score position
Stochastic Processes and their Applications, Elsevier, 2019, 129 (10), pp.3664-3689. ⟨10.1016/⟩
hal-01672659v2  Journal articles
Abderrahman IggidrMax O. O Souza. State estimators for some epidemiological systems
Journal of Mathematical Biology, Springer Verlag (Germany), 2019, 78 (1-2), pp.225-256. ⟨10.1007/s00285-018-1273-3⟩
hal-01862896v2  Conference papers
Pierre GuillonEmmanuel JeandelJarkko KariPascal Vanier. Undecidable word problem in subshift automorphism groups
Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
hal-01341849v3  Journal articles
Aurore Guillevic. Faster individual discrete logarithms in finite fields of composite extension degree
Mathematics of Computation, American Mathematical Society, 2019, 88 (317), pp.1273-1301. ⟨10.1090/mcom/3376⟩
hal-01886947v1  Journal articles
Sylvain LazardWilliam LenhartGiuseppe Liotta. On the Edge-length Ratio of Outerplanar Graphs
Theoretical Computer Science, Elsevier, 2019, 770, pp.88--94. ⟨10.1016/j.tcs.2018.10.002⟩
hal-01905491v1  Journal articles
Miguel CouceiroPierre MercurialiRomain PéchouxAbdallah Saffidine. On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2019, 33 (3), pp.197-218
hal-01826870v4  Journal articles
Miguel CouceiroLucien HaddadKarsten Schölzel. On the lower part of the lattice of partial clones
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2019, 33 (3), pp.177-196
hal-01927105v1  Journal articles
Khensous GhaniaBelhadri MessabihAbdellah ChouarfiaBernard Maigret. Flexible molecular docking: application of hybrid tabu-simplex optimisation
International journal of computational biology and drug design, Inderscience Enterprise, 2019, 12 (1), pp.34. ⟨10.1504/IJCBDD.2019.098178⟩
hal-01925890v1  Journal articles
Frédéric Sur. A non-local dual-domain approach to cartoon and texture decomposition
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, 28 (4), pp.1882-1894. ⟨10.1109/TIP.2018.2881906⟩
hal-01937136v1  Conference papers
Jasmin Christian Blanchette. Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk)
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294087⟩
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩
hal-01941776v1  Book sections
Miguel CouceiroDidier DuboisHélène FargierMichel GrabischHenri Prade et al.  New directions in ordinal evaluation: Sugeno integrals and beyond
M. Doumpos; J.R. Figueira; S. Greco; C. Zopounidis. New Perspectives in Multiple Criteria Decision Making, Springer, Cham, 2019, 978-3-030-11481-7
hal-01942426v1  Journal articles
Benjamin ObandoTakéo Takahashi. Existence of weak solutions for a Bingham fluid-rigid body system
Annales de l'Institut Henri Poincaré (C) Non Linear Analysis, Elsevier, 2019, 36 (5), pp.1281-1309. ⟨10.1016/j.anihpc.2018.12.001⟩
hal-01942528v1  Book sections
Michel ZittAlain LeluMartine CadotGuillaume Cabanac. Bibliometric delineation of scientific fields
Wolfgang Glänzel; Henk F. Moed; Ulrich Schmoch; Mike Thelwall. Handbook of Science and Technology Indicators, Springer International Publishing, pp.25-68, 2019, Handbook of Science and Technology Indicators, 978-3-030-02510-6. ⟨10.1007/978-3-030-02511-3_2⟩
hal-01955424v1  Other publications
Pierre Monnin. Discovering and Comparing Relational Knowledge, the Example of Pharmacogenomics
Proceedings of the EKAW Doctoral Consortium 2018 co-located with the 21st International Conference on Knowledge Engineering and Knowledge Management (EKAW 2018), 2019
hal-01963426v1  Conference papers
Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
hal-01974528v1  Book sections
Md SahidullahHéctor DelgadoMassimiliano TodiscoTomi KinnunenNicholas Evans et al.  Introduction to Voice Presentation Attack Detection and Recent Advances
Sébastien Marcel; Mark S. Nixon; Julian Fierrez; Nicholas Evans. Handbook of Biometric Anti-Spoofing: Presentation Attack Detection, Springer, pp.321-361, 2019, Advances in Computer Vision and Pattern Recognition, 978-3-319-92626-1. ⟨10.1007/978-3-319-92627-8_15⟩
hal-01985178v1  Conference papers
Radu RantaSteven Le CamGundars Bergmanis-KoratsSébastien RimbertLaurent Bougrain. On source space resolution in EEG brain imaging for motor imagery
9th International IEEE EMBS Conference on Neural Engineering, NER 2019, Mar 2019, San Francisco, United States
hal-01987946v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisAdrien Lebre et al.  Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
hal-01989726v1  Journal articles
Jasmin Christian BlanchetteLorenzo GheriAndrei PopescuDmitriy Traytel. Bindings as Bounded Natural Functors
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩
hal-01993308v1  Books
Steve KremerLudovic MéDidier RémyVincent Roca. Cybersecurity
Inria, pp.172, 2019, Inria white book
hal-01973285v2  Conference papers
Umut A AcarVitaly AksenovArthur CharguéraudMike Rainey. Provably and Practically Efficient Granularity Control
PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
hal-01221647v3  Journal articles
Pauline MauriceVincent Padoisyvan MeassonPhilippe Bidaud. Assessing and improving human movements using sensitivity analysis and digital human simulation
International Journal of Computer Integrated Manufacturing, Taylor & Francis, 2019, 32 (6), pp.546-558. ⟨10.1080/0951192X.2019.1599432⟩
hal-02010199v2  Conference papers
Dayana RibasEmmanuel Vincent. An improved uncertainty propagation method for robust i-vector based speaker recognition
ICASSP 2019 - 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
hal-02046105v1  Conference papers
Jens GustedtMaxime Mogé. Memory access classification for vertical task parallelism
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
hal-02046444v1  Reports
Jean-François BastienJens Gustedt. Moving to two's complement sign representation
[Research Report] N2330, ISO JCT1/SC22/WG14. 2019
hal-01839883v2  Journal articles
Lauréline PerotinRomain SerizelEmmanuel VincentAlexandre Guérin. CRNN-based multiple DoA estimation using acoustic intensity features for Ambisonics recordings
IEEE Journal of Selected Topics in Signal Processing, IEEE, 2019, Special Issue on Acoustic Source Localization and Tracking in Dynamic Real-life Scenes, 13 (1), pp.22-33. ⟨10.1109/jstsp.2019.2900164⟩
hal-02050466v1  Journal articles
Jesús A. de LoeraXavier GoaocFrédéric MeunierNabil Mustafa. The discrete yet ubiquitous theorems of Caratheodory, Helly, Sperner, Tucker, and Tverberg
Bulletin of the American Mathematical Society, American Mathematical Society, 2019, 56, pp.415-511. ⟨10.1090/bull/1653⟩
hal-02050505v1  Journal articles
Xavier GoaocPavel PatákZuzana PatákováMartin TancerUli Wagner. Shellability is NP-complete
Journal of the ACM (JACM), Association for Computing Machinery, 2019, 66 (3), pp.1-18. ⟨10.1145/3314024⟩
hal-02050524v1  Journal articles
Boris BukhXavier Goaoc. Shatter functions with polynomial growth rates
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2019, 33 (2), pp.784-794. ⟨10.1137/17M1113680⟩
hal-02050632v1  Reports
Imre BaranyMatthieu FradeliziXavier GoaocAlfredo HubardGünter Rote. Random polytopes and the wet part for arbitrary probability distributions
[Research Report] Rényi Institute of Mathematics; University College London; Université Paris-Est; Université de Lorraine; Freie Universität Berlin. 2019
hal-02050846v1  Conference papers
Daryna PanichevaPierre-Frédéric VillardMarie-Odile Berger. Toward an automatic segmentation of mitral valve chordae
SPIE Medical Imaging, SPIE, Feb 2019, San Diego, United States. pp.1095315-1095323, ⟨10.1117/12.2511943⟩
hal-02051701v1  Conference papers
Tomi KinnunenRosa González HautamäkiVille VestmanMd Sahidullah. Can We Use Speaker Recognition Technology to Attack Itself? Enhancing Mimicry Attacks Using Automatic Target Speaker Selection
ICASSP 2019 – 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
hal-02059558v1  Conference papers
Salwa KobeissiPhilippe Clauss. The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
hal-02050190v1  Conference papers
Bérenger Bramas. SPETABARU: A Task-based Runtime System with Speculative Execution Capability
SIAM CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
hal-02057413v1  Conference papers
Nicola CaccianiElisabeth LarssonIgor TominecPierre-Frédéric Villard. Meshfree Simulation of Human Respiratory Muscles
CSE 19 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
hal-02063304v1  Conference papers
Sofiane LagraaMaxime CailacSean RiveraFrédéric BeckRadu State. Real-time attack detection on robot cameras: A self-driving car application
IEEE IRC 2019 - Third IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy
hal-02063308v2  Conference papers
Thomas ChambrionLaurent Thomann. Obstruction to the bilinear control of the Gross-Pitaevskii equation: an example with an unbounded potential
Joint 8th IFAC Symposium on Mechatronic Systems and 11th IFAC Symposium on Nonlinear Control Systems, Sep 2019, Vienne, Austria. pp.304 - 309, ⟨10.1016/j.ifacol.2019.11.796⟩
hal-02066930v1  Conference papers
Véronique CortierPierrick GaudryStephane Glondu. Belenios: a simple private and verifiable electronic voting system
Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩
hal-02067935v1  Journal articles
Annamaria MesarosAleksandr DimentBenjamin ElizaldeToni HeittolaEmmanuel Vincent et al.  Sound event detection in the DCASE 2017 Challenge
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2019, 27 (6), pp.992-1006. ⟨10.1109/TASLP.2019.2907016⟩
hal-02059820v2  Conference papers
Thomas MouzonFabien PierreMarie-Odile Berger. Joint CNN and Variational Model for Fully-automatic Image Colorization
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany. pp.535-546
hal-02068457v1  Journal articles
Tan NguyenHoang-Long MaiRémi CogranneGuillaume DoyenWissam Mallouli et al.  Reliable Detection of Interest Flooding Attack in Real Deployment of Named Data Networking
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2019, 14 (9), pp.2470-2489. ⟨10.1109/TIFS.2019.2899247⟩
hal-02071515v1  Conference papers
Maria Boritchev. Thé, café et licornes -- Traitement de la structure conversationnelle dans la théorie dynamique des types
EJCIM 2019 - École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, Mar 2019, Marseille, France
hal-02072737v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Automatic adaptive approximation for stencil computations
CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
hal-02078301v1  Conference papers
Abdulqawi SaifAlexandre MerlinOlivier DautricourtMaël HoubreLucas Nussbaum et al.  Emulation of Storage Performance in Testbed Experiments with Distem
CNERT 2019 - IEEE INFOCOM International Workshop on Computer and Networking Experimental Research using Testbeds, Apr 2019, Paris, France. pp.6
tel-02081304v1  Habilitation à diriger des recherches
Sever Adrian Hirstoaga. Design and performant implementation of numerical methods for multiscale problems in plasma physics
Analysis of PDEs [math.AP]. Université de Strasbourg, IRMA UMR 7501, 2019
hal-02084619v1  Conference papers
Eloïse DalinPierre DesreumauxJean-Baptiste Mouret. Learning and adapting quadruped gaits with the "Intelligent Trial & Error" algorithm
IEEE ICRA Workshop on "Learning legged locomotion", 2019, Montreal, Canada
hal-01988419v1  Conference papers
Ajay K. EerallaSerdar ErbaturAndrew M. MarshallChristophe Ringeissen. Rule-Based Unification in Combined Theories and the Finite Variant Property
LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint-Petersbourg, Russia. pp.356--367, ⟨10.1007/978-3-030-13435-8_26⟩