Skip to Main content Skip to Navigation

hal-01370430v1  Journal articles
Atte Aalto. Iterative observer-based state and parameter estimation for linear systems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2018, 24 (1), pp.265-288. ⟨10.1051/cocv/2017005⟩
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-02333719v1  Conference papers
Amar AbaneMehammed DaouiPaul MühlethalerHossam Afifi. A down-to-earth integration of Named Data Networking in the real-world IoT
FiCloudW 2018 : 6th International Conference on Future Internet of Things and Cloud Workshops, Aug 2018, Barcelona, Spain. pp.243-249, ⟨10.1109/W-FiCloud.2018.00046⟩
hal-01776283v1  Conference papers
Pietro AbateRoberto Di 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-01673013v1  Conference papers
Abdullah AbbasPierre GenevèsCécile RoisinNabil Layaïda. Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions
ICWE'18 - 18th International Conference on Web Engineering, Jun 2018, Cáceres, Spain. pp.195-209, ⟨10.1007/978-3-319-91662-0_15⟩
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-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-01901218v1  Conference papers
Emanuela AbbateAngelo IolloGabriella Puppo. An All-Speed Relaxation Scheme for the Simulation of Multi-material Flows
SHARK-FV 2018 - 5th experimental Sharing Higher-order Advanced Research Know-how on Finite Volume, May 2018, Minho, Portugal
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-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-01862210v1  Conference papers
Feriel AbboudEmilie ChouzenouxJean-Christophe PesquetHugues Talbot. A Multicore Convex Optimization Algorithm with Applications to Video Restoration
IEEE International Conference on Image Processing, Oct 2018, Athens, Greece
tel-01977804v1  Theses
yacine Abboud. Fouille de motifs : entre accessibilité et robustesse
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0176⟩
hal-01654158v1  Journal articles
Meriem AbdallahMarie BlonskiSophie Wantz-Mézièresyann GaudeauLuc Taillandier et al.  On the relevance of two manual tumor volume estimation methods for diffuse low-grade gliomas
Healthcare Technology Letters, The Institution of Engineering and Technology, 2018, 5 (1), pp.13-17. ⟨10.1049/htl.2017.0013⟩
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-01726493v1  Conference papers
Omar AbdelkafiLhassane IdoumgharJulien LepagnotJean-Louis Paillaud. The determination of new stable zeolite frameworks using a parallel hybrid genetic algorithm
OLA 2018 - International Workshop on Optimization and Learning: Challenges and Applications, Feb 2018, Alicante, Spain. pp.1-2
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-01897570v3  Reports
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisXavier Lorca et al.  A Framework for Edge Infrastructures Monitoring
[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
hal-01591161v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJerome FrancoisAdrien 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
hal-01911619v1  Conference papers
Muhammad Abdul WahabPascal CotretMounir Nasr AllahGuillaume HietArnab Kumar Biswas et al.  A small and adaptive coprocessor for information flow tracking in ARM SoCs
ReConFig 2018 - International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩
hal-01874495v1  Conference papers
Badr AbdullahIrina IllinaDominique Fohr. Dynamic Extension of ASR Lexicon Using Wikipedia Data
IEEE Workshop on Spoken and Language Technology (SLT), Dec 2018, Athènes, Greece
tel-01816069v1  Theses
Marc Abeille. Exploration-Exploitation with Thompson Sampling in Linear Systems
Mathematics [math]. Université de Lille 1, 2017. English
hal-01493564v1  Conference papers
Marc AbeilleAlessandro Lazaric. Thompson Sampling for Linear-Quadratic Control Problems
AISTATS 2017 - 20th International Conference on Artificial Intelligence and Statistics, Apr 2017, Fort Lauderdale, United States
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
hal-01596179v1  Journal articles
Andreas AbelAndrea VezzosiThéo Winterhalter. Normalization by evaluation for sized dependent types
Proceedings of the ACM on Programming Languages, ACM, 2017, 1, pp.33. ⟨10.1145/3110277⟩
hal-01816256v3  Conference papers
Simon AbelardPierrick GaudryPierre-Jean Spaenlehauer. Counting points on genus-3 hyperelliptic curves with explicit real multiplication
ANTS-XIII - Thirteenth Algorithmic Number Theory Symposium, Jul 2018, Madison, United States. pp.1--19
hal-01444075v1  Book sections
Remi AbgrallMario Ricchiuto. High order methods for CFD
Encyclopedia of Computational Mechanics, John Wiley & Sons, Ltd, 2017
hal-01826517v1  Poster communications
Clement Abi NaderNicholas AyacheValeria ManeraPhilippe RobertMarco Lorenzi. Disentangling spatio-temporal patterns of brain changes in large-scale brain imaging databases through Independent Gaussian Process Analysis
12ème Conférence Francophone d'Epidémiologie Clinique (EPICLIN) et 25èmes Journées des statisticiens des Centre de Lutte Contre le Cancer (CLCC), May 2018, Nice, France. Revue d'Épidémiologie et de Santé Publique (66), pp.S159, 2018, ⟨10.1016/j.respe.2018.03.108⟩
hal-01691120v1  Conference papers
Firas Abi-FarrajRiccardo SpicaPaolo Robuffo Giordano. Trajectory-Based Shared Control with Integral Haptic Feedback
2017 IEEE/RSJ IROS Workshop Human in-the-loop robotic manipulation: on the influence of the human role , Sep 2017, Vancouver, Canada