Skip to Main content Skip to Navigation

tel-01607782v1  Theses
Eddie Aamari. Convergence Rates for Geometric Inference
Statistics [math.ST]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS203⟩
hal-01636616v1  Journal articles
Martín AbadiBruno BlanchetCédric Fournet. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 65 (1), pp.1 - 103. ⟨10.1145/3127586⟩
hal-01776283v1  Conference papers
Pietro AbateRoberto Cosmo. Adoption of Academic Tools in Open Source Communities: The Debian Case Study
13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.139-150, ⟨10.1007/978-3-319-57735-7_14⟩
hal-01662076v1  Directions of work or proceedings
Alessandro AbateSylvie Boldo. 10th International Workshop on Numerical Software Verification
10th International Workshop on Numerical Software Verification, France. Springer, 2017
hal-01414509v2  Conference papers
Abdullah AbbasPierre GenevèsCécile RoisinNabil Layaïda. SPARQL Query Containment with ShEx Constraints
ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus
hal-01673067v1  Conference papers
Abdullah AbbasPierre GenevèsCécile RoisinNabil Layaïda. Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints
BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nov 2017, Nancy, France. pp.1-12
hal-01666248v1  Conference papers
Emanuela AbbateAngelo IolloGabriella Puppo. A relaxation scheme for the simulation of low Mach number flows
FVCA 2017 - International Conference on Finite Volumes for Complex Applications 8, Jun 2017, Lille, France. pp.227-235, ⟨10.1007/978-3-319-57394-6_25⟩
hal-01666500v1  Conference papers
Emanuela AbbateAngelo IolloGabriella Puppo. An all speed relaxation scheme for compressible materials
NUMHYP 2017 - Numerical methods for hyperbolic problems, May 2017, Monte Verità, Switzerland
hal-02388968v1  Conference papers
Ahmad AbboudAli JaberJean-Pierre CancesVahid Meghdadi. CSI map for indoor massive MIMO
2017 Computing Conference, Jul 2017, London, France. pp.1305-1311, ⟨10.1109/SAI.2017.8252259⟩
hal-01569008v1  Conference papers
Yacine AbboudAnne BoyerArmelle Brun. CCPM: A Scalable and Noise-Resistant Closed Contiguous Sequential Patterns Mining Algorithm
13th International Conference on Machine Learning and Data Mining MLDM 2017, Jul 2017, New York, United States. pp.15, ⟨10.1016/j.knosys.2015.06.014⟩
hal-01667150v1  Reports
Michel AbdallaFabrice BenhamoudaDavid Pointcheval. On the Tightness of Forward-Secure Signature Reductions
[Research Report] Report 2017/746, IACR Cryptology ePrint Archive. 2017
hal-01524105v1  Conference papers
Michel AbdallaRomain GayMariana RaykovaHoeteck Wee. Multi-Input Inner-Product Functional Encryption from Pairings
EUROCRYPT 2017 - Advances in Cryptology, Apr 2017, Paris, France. pp.601-626, ⟨10.1007/978-3-319-56620-7_21⟩
hal-01471896v1  Conference papers
Michel AbdallaFabrice BenhamoudaDavid Pointcheval. Removing Erasures with Explainable Hash Proof Systems
Public-Key Cryptography - PKC 2017 - 20th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.151-174, ⟨10.1007/978-3-662-54365-8_7⟩
hal-01583159v1  Conference papers
Yasmina AbdeddaïmMaxim Dorin. Probabilistic Schedulability Analysis for Fixed Priority Mixed Criticality Real-Time Systems
Design, Automation and Test in Europe - DATE 2017, Mar 2017, Lausanne, Switzerland
hal-01672040v1  Conference papers
Omar AbdelkafiLhassane IdoumgharJulien Lepagnot. Distance Cooperation between Hybrid Iterative Tabu Search
Artificial Evolution EA 2017, Oct 2017, Paris, France
hal-01519524v2  Reports
Kamel AbdelouahabMaxime PelcatJocelyn SérotFrançois BerryCédric Bourrasset et al.  Hardware Automated Datafow Deployment of CNNs
[Technical Report] Institut Pascal, Clermont Ferrand. 2017
hal-01967273v1  Conference papers
Kamel AbdelouahabMaxime PelcatJocelyn SérotFrançois BerryJean-Charles Quinton. Direct Hardware Mapping of CNNs on FPGA-Based Smart Cameras
Workshop on Architecture of Smart Cameras, Jun 2017, Cordoba, Spain
hal-01591161v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisAdrien Lebre. A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight Study
The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), Aug 2017, Prague, Czech Republic. pp.337-344, ⟨10.1109/FiCloud.2017.30⟩
hal-01588490v2  Conference papers
Mohammed Riyadh AbdmeziemFrançois Charoy. Fault-tolerant and Scalable Key Management Protocol for IoT-based Collaborative Groups
SecureComm 2017 : 13th EAI International Conference on Security and Privacy in Communication Networks, Oct 2017, Niagara falls, Canada. pp.1-20
tel-01816069v1  Theses
Marc Abeille. Exploration-Exploitation with Thompson Sampling in Linear Systems
Mathematics [math]. Université de Lille 1, 2017. English
hal-01493561v1  Conference papers
Marc AbeilleAlessandro Lazaric. Linear Thompson Sampling Revisited
AISTATS 2017 - 20th International Conference on Artificial Intelligence and Statistics, Apr 2017, Fort Lauderdale, United States