Skip to Main content Skip to Navigation

hal-02141622v1  Conference papers
Massinissa AbaAlix Munier-KordonGuillaume Aupy. Scheduling on Two Unbounded Resources with Communication Costs
Euro-Par - European Conference on Parallel Processing, Aug 2019, Gottingen, Germany
hal-02333795v1  Conference papers
Amar AbanePaul MuhlethalerSamia BouzefraneAbdella Battou. Modeling and Improving Named Data Networking over IEEE 802.15.4
IFIP/IEEE PEMWN 2019 : IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Nov 2019, Paris, France
hal-02168775v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Linkex: A Tool for Link Key Discovery Based on Pattern Structures
ICFCA 2019 - workshop on Applications and tools of formal concept analysis, Jun 2019, Frankfurt, Germany. pp.33-38
hal-02335025v1  Conference papers
Amir AbboudLoukas GeorgiadisGiuseppe ItalianoRobert KrauthgamerNikos Parotsidis et al.  Faster Algorithms for All-Pairs Bounded Min-Cuts
ICALP 2019 - 46th International Colloquium on Automata, Languages and Programming, Jul 2019, Patras, Greece. pp.1-15, ⟨10.4230/LIPIcs.ICALP.2019.7⟩
hal-02375594v1  Conference papers
Michel AbdallaFabrice BenhamoudaAlain Passelègue. Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.386-412, ⟨10.1007/978-3-030-34621-8_14⟩
hal-02375577v1  Conference papers
Michel AbdallaFabrice BenhamoudaRomain Gay. From Single-Input to Multi-client Inner-Product Functional Encryption
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.552-582, ⟨10.1007/978-3-030-34618-8_19⟩
hal-02179193v1  Conference papers
Omar AbdelkafiBilel DerbelArnaud Liefooghe. A Parallel Tabu Search for the Large-scale Quadratic Assignment Problem
IEEE CEC 2019 - IEEE Congress on Evolutionary Computation, Jun 2019, Wellington, New Zealand
hal-02122772v1  Conference papers
Lafdal AbdelwedoudAnthony BussonIsabelle Guérin-Lassous. Inférence des poids d'un graphe des conflits modélisant un réseau Wi-Fi
CoRes 2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint-Laurent-de-la-Cabrerisse, France. pp.1-4
hal-02404943v1  Conference papers
Lafdal AbdelwedoudAnthony BussonIsabelle Guérin-LassousMarion Foare. A Passive Method to Infer the Weighted Conflict Graph of an IEEE 802.11 Network
AdHoc-Now 2019 - 18th International Conference on Ad Hoc Networks and Wireless, Oct 2019, Luxembourg, Luxembourg. pp.304-316, ⟨10.1007/978-3-030-31831-4_21⟩
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-02154074v1  Conference papers
Yassine AbidiJulien BouyssierMoncef MahjoubNejib Zemzemi. Maximal conductances ionic parameters estimation in cardiac electrophysiology multiscale modelling
FIMH 2019 - 10th International Conference Functionnal Imaging and Modeling of the Heart, Y. Coudière, V. Ozenne, E. Vigmond and N. Zemzemi, Jun 2019, Bordeaux, France. pp.131-138, ⟨10.1007/978-3-030-21949-9⟩
hal-02140383v1  Conference papers
Pierre AblinThomas MoreauMathurin MassiasAlexandre Gramfort. Learning step sizes for unfolded sparse coding
Advances in Neural Information Processing Systems, 2019, Vancouver, Canada
hal-01936887v1  Conference papers
Pierre AblinJean-François CardosoAlexandre Gramfort. Beyond Pham's algorithm for joint diagonalization
European symposium on artificial neural networks, 2019, Bruges, Belgium
hal-02372092v1  Conference papers
Pierre AblinAlexandre GramfortJean-François CardosoFrancis Bach. Stochastic algorithms with descent guarantees for ICA
AISTATS 2019 - 22nd International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Japan
hal-02346829v2  Conference papers
Pierre AblinDylan FagotHerwig WendtAlexandre GramfortCédric Févotte. A quasi-Newton algorithm on the orthogonal manifold for NMF with transform learning
IEEE-ICASSP 2019 - International Conference on Acoustics, Speech and Signal Processing, May 2019, Brighton, United Kingdom
hal-02179172v1  Conference papers
Zeinab Abou KhalilEleni ConstantinouTom MensLaurence DuchienClément Quinton. A Longitudinal Analysis of Bug Handling Across Eclipse Releases
ICSME 2019 - 35th IEEE International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
hal-03039679v1  Conference papers
Zeinab Abou Khalil. Studying the Impact of Policy Changes on Bug Handling Performance
The International Conference on Software Maintenance and Evolution (ICSME), Sep 2019, cleveland, United States. ⟨10.1109/icsme.2019.00093⟩
hal-01973285v2  Conference papers
Umut 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-02415766v1  Conference papers
Beniamino AccattoliAndrea CondoluciGiulio GuerrieriClaudio Coen. Crumbling Abstract Machines
PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, Oct 2019, Porto, Portugal. ⟨10.1145/3354166.3354169⟩
hal-02415758v1  Conference papers
Beniamino AccattoliGiulio GuerrieriMaico Leberle. Types by Need
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17184-1_15⟩
hal-02415786v1  Conference papers
Beniamino Accattoli. A Fresh Look at the λ-Calculus
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.1⟩
hal-02411556v1  Conference papers
Beniamino AccattoliClaudia FaggianGiulio Guerrieri. Factorization and Normalization, Essentially
APLAS 2019 - 17th Asian Symposium on Programming Languages and Systems, Dec 2019, Bali, Indonesia. ⟨10.1007/978-3-030-34175-6_9⟩
hal-02390426v1  Conference papers
Matteo AcclavioLutz Straßburger. On Combinatorial Proofs for Logics of Relevance and Entailment
WoLLIC 2019 - 26th International Workshop on Logic, Language, Information, and Computation, Jul 2019, Utrecht, Netherlands. pp.1-16, ⟨10.1007/978-3-662-59533-6_1⟩
hal-02390400v1  Conference papers
Matteo AcclavioLutz Straßburger. On Combinatorial Proofs for Modal Logic
TABLEAUX 2019 - 28t International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.223-240, ⟨10.1007/978-3-030-29026-9_13⟩
hal-02342130v1  Conference papers
Mathieu Acher. Learning the Linux Kernel Configuration Space: Results and Challenges
ELC Europe 2019 - Embedded Linux Conference Europe 2019, Oct 2019, Lyon, France. pp.1-49
hal-02337628v1  Conference papers
Federica AdobbatiCarlo FerigatoStefano GandelliAdrián Puerto Aubel. Two Operations for Stable Structures of Elementary Regions
ATAED 2019 - Workshop Algorithms & Theories for the Analysis of Event Data, Wil van der Aalst, Jun 2019, Aachen, Germany. pp.36-53
hal-02151434v1  Conference papers
Rachit AgarwalShaan ChopraVassilis ChristophidesNikolaos GeorgantasValérie Issarny. Detecting Mobile Crowdsensing Context in the Wild
20th IEEE International Conference on Mobile Data Management (MDM) 2019, Jun 2019, Hong Kong, Hong Kong SAR China
hal-02394246v1  Conference papers
Zahra AghazadehDamien ImbsMichel RaynalGadi TaubenfeldPhilipp Woelfel. Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
PODC 2019 - ACM Symposium on Principles of Distributed Computing, Jul 2019, Toronto, Canada. pp.157-166, ⟨10.1145/3293611.3331594⟩
hal-03149218v1  Conference papers
G AgliettiB TaylorS FellowesS AinleyD Tye et al.  RemoveDebris Mission, In Orbit Operations
33rd Annual AIAA/USU Conference on Small Satellites, Aug 2019, Logan, United States
hal-02191331v1  Conference papers
Emmanuel AgulloLuc GiraudStephane LanteriGilles MaraitAnne-Cécile Orgerie et al.  Energy Analysis of a Solver Stack for Frequency-Domain Electromagnetics
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy. pp.385-391, ⟨10.1109/EMPDP.2019.8671555⟩
hal-02304285v1  Conference papers
Arif AhmedGuillaume Pierre. Docker Image Sharing in Distributed Fog Infrastructures
CloudCom 2019 - 11th IEEE International Conference on Cloud Computing Technology and Science, Dec 2019, Sydney, Australia
hal-02108806v1  Conference papers
Farah Ait SalahtFrédéric DesprezAdrien LebreCharles Prud'HommeMohamed Abderrahim. Service Placement in Fog Computing Using Constraint Programming
SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩
hal-02389648v1  Conference papers
Soufiane Ait TilatFrédéric ChampagnatCédric Herzet. A new sparsity based particle image reconstruction approach for particle detection
ISPIV 2019 - 13th International Symposium on Particle Image Velocimetry, Jul 2019, Munich, Germany. pp.1-10
hal-02429482v1  Conference papers
Tassadit Célia Aitkaci. Analyse et Optimisations des Applications HPC à mémoire distribuée et globalement adressable
COMPAS19 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
hal-02440880v1  Conference papers
Narendra AkhadkarVincent AcaryBernard Brogliato. Influence of imperfect joints and geometrical tolerances on a circuit breaker dynamics
IFToMM WC 2019: Advances in Mechanism and Machine Science, Jun 2019, Krakow, Poland. pp.3069-3078, ⟨10.1007/978-3-030-20131-9_302⟩
hal-02436343v1  Conference papers
Marianne AkianJean-Philippe ChancelierBenoît Tran. A Min-plus-SDDP Algorithm for Deterministic Multistage Convex Programming
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France
hal-02350252v1  Conference papers
Sunil AkshayHugo BazilleEric FabreBlaise Genest. Classification among Hidden Markov Models
FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-14, ⟨10.4230/LIPIcs.FSTTCS.2019.29⟩
hal-02354514v1  Conference papers
Xavier Alameda-PinedaSoraya AriasYutong BanGuillaume DelormeLaurent Girin et al.  Audio-Visual Variational Fusion for Multi-Person Tracking with Robots
ACMMM 2019 - 27th ACM International Conference on Multimedia, Oct 2019, Nice, France. pp.1059-1061, ⟨10.1145/3343031.3350590⟩
hal-02422166v1  Conference papers
Sarah Alaoui. Making an interactive dance piece: tensions in integrating technology in art
ACM Designing Interactive Systems, Jun 2019, San Diego, United States. pp.1195-1208, ⟨10.1145/3322276.3322289⟩
hal-02113163v1  Conference papers
Marie-Line Alberi-MorelIllyyne SaffarKamal SinghCésar Viho. Multi-task Deep Learning based Environment and Mobility Detection for User Behavior Modeling
WMLC 2019 - International Workshop on Machine Learning for Communications, Jun 2019, Avignon, France. pp.1-7
hal-02149905v2  Conference papers
Clément AlbertAnne DutfoyStéphane Girard. Etude de l’erreur relative d’extrapolation associée à l’estimateur de Weissman pour les quantiles extrêmes.
JdS 2019 - 51èmes Journées de Statistique, Société Française de Statistique, Jun 2019, Nancy, France. pp.1-6
hal-03106000v1  Conference papers
Christophe Alias. fkcc: the Farkas Calculator
10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536
hal-02070912v1  Conference papers
Abib AlimiSamuel Deslauriers-GauthierRachid Deriche. Towards validation of diffusion MRI tractography: bridging the resolution gap with 3D Polarized Light Imaging
ISMRM 2019 - 27th Annual Meeting of International Society for Magnetic Resonance in Medicine, May 2019, Montréal, Canada
hal-01988262v1  Conference papers
Abib AlimiSamuel Deslauriers-GauthierFelix MatuschkeDaniel SchmitzMarkus Axer et al.  Analytical Fiber ODF Reconstruction in 3D Polarized Light Imaging: Performance Assessment
ISBI 2019 - IEEE International Symposium on Biomedical Imaging, Apr 2019, Venice, Italy
hal-02271825v1  Conference papers
Bizhan AlipourAbdessamad ImineMichaël Rusinowitch. Gender Inference for Facebook Picture Owners
TrustBus 2019 - 16th International Conference on Trust, Privacy and Security in Digital Business, Aug 2019, Linz, Austria. pp.145--160, ⟨10.1007/978-3-030-27813-7_10⟩
hal-02116372v1  Conference papers
Pierre AllainLaurent GuilloChristine Guillemot. Light field denoising using 4D anisotropic diffusion
ICASSP 2019 - IEEE International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom. pp.1692-1696, ⟨10.1109/ICASSP.2019.8682709⟩
hal-02302463v1  Conference papers
Emilie AllartCristian VersariJoachim Niehren. Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints
CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Luca Bortolussi; Guido Sanguinetti, Sep 2019, Trieste, Italy. pp.266-285, ⟨10.1007/978-3-030-31304-3_14⟩