 |
 |
 |
|
|
||
|---|---|---|
| hal-01236950v1
Journal articles
Convergence of discrete-time Kalman filter estimate to continuous-time estimate for systems with unbounded observation Mathematics of Control, Signals, and Systems, Springer Verlag, 2018, 30 (3), pp.9. ⟨10.1007/s0049⟩ |
||
| hal-01370430v1
Journal articles
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⟩ |
||
| hal-01245479v3
Journal articles
Stability and Minimax Optimality of Tangential Delaunay Complexes for Manifold Reconstruction Discrete and Computational Geometry, Springer Verlag, 2018 |
||
| tel-01607782v1
Theses
Convergence Rates for Geometric Inference Statistics [math.ST]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS203⟩ |
||
| hal-01636616v1
Journal articles
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-01864541v1
Conference papers
Towards evaluating Named Data Networking for the IoT: A framework for OMNeT++ OMNeT Community Summit 2018, Sep 2018, Pise, Italy |
||
| hal-02333719v1
Conference papers
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
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-01575370v4
Journal articles
Hybrid High-Order methods for finite deformations of hyperelastic materials Computational Mechanics, Springer Verlag, 2018, 62 (4), pp.909-928. ⟨10.1007/s00466-018-1538-0⟩ |
||
| hal-01673013v1
Conference papers
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
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 |
||
| tel-01673074v1
Theses
Static Analysis of Semantic Web Queries with ShEx Schema Constraints Web. Université Grenoble - Alpes, 2017. English |
||
| hal-01414509v2
Conference papers
SPARQL Query Containment with ShEx Constraints ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus |
||
| hal-01808948v5
Conference papers
Best of both worlds: Stochastic & adversarial best-arm identification Conference on Learning Theory, 2018, Stockholm, Sweden |
||
| hal-01562673v1
Journal articles
In silico assessment of the effects of various compounds in MEA/hiPSC-CM assays: Modelling and numerical simulations Journal of Pharmacological and Toxicological Methods, Elsevier, 2018, 89, pp.59-72 |
||
| hal-01921830v1
Journal articles
Co-occurrence among three divergent plant-castrating fungi in the same Silene host species Molecular Ecology, Wiley, 2018, 27 (16), pp.3357 - 3370. ⟨10.1111/mec.14805⟩ |
||
| hal-01586863v1
Journal articles
An all-speed relaxation scheme for gases and compressible materials Journal of Computational Physics, Elsevier, 2017, 351, pp.1-24. ⟨10.1016/j.jcp.2017.08.052⟩ |
||
| hal-01901218v1
Conference papers
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
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
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-01418393v1
Journal articles
Dual Block Coordinate Forward-Backward Algorithm with Application to Deconvolution and Deinterlacing of Video Sequences Journal of Mathematical Imaging and Vision, Springer Verlag, 2017, 59 (3), pp.415-431. ⟨10.1007/s10851-016-0696-y⟩ |
||
| hal-01862210v1
Conference papers
A Multicore Convex Optimization Algorithm with Applications to Video Restoration IEEE International Conference on Image Processing, Oct 2018, Athens, Greece |
||
| tel-01977804v1
Theses
Fouille de motifs : entre accessibilité et robustesse Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0176⟩ |
||
| hal-01654158v1
Journal articles
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
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
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
Hardware Automated Datafow Deployment of CNNs [Technical Report] Institut Pascal, Clermont Ferrand. 2017 |
||
| tel-02049129v1
Theses
Conception d’un système de supervision programmable et reconfigurable pour une infrastructure informatique et réseau répartie Autre [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0119⟩ |
||
| hal-01897570v3
Reports
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
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-01869944v1
Journal articles
Hyperspectral Imaging and Classification for Grading Skin Erythema Frontiers in Physics, Frontiers, 2018, 6, pp.1-10. ⟨10.3389/fphy.2018.00072⟩ |
||
| hal-01589967v1
Journal articles
Lightweighted and energy-aware MIKEY-Ticket for e-health applications in the context of internet of things International Journal of Sensor Networks, Inderscience, 2017, In press, ⟨10.1504/IJSNET.2018.090462⟩ |
||
| hal-01588490v2
Conference papers
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-01911621v1
Conference papers
A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components AsianHOST 2018 - Asian Hardware Oriented Security and Trust Symposium, Dec 2018, Hong Kong, China. pp.1-13, ⟨10.1109/asianhost.2018.8607177⟩ |
||
| hal-01911619v1
Conference papers
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
Dynamic Extension of ASR Lexicon Using Wikipedia Data IEEE Workshop on Spoken and Language Technology (SLT), Dec 2018, Athènes, Greece |
||
| tel-01816069v1
Theses
Exploration-Exploitation with Thompson Sampling in Linear Systems Mathematics [math]. Université de Lille 1, 2017. English |
||
| hal-01493564v1
Conference papers
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
Linear Thompson Sampling Revisited AISTATS 2017 - 20th International Conference on Artificial Intelligence and Statistics, Apr 2017, Fort Lauderdale, United States |
||
| hal-01596179v1
Journal articles
Normalization by evaluation for sized dependent types Proceedings of the ACM on Programming Languages, ACM, 2017, 1, pp.33. ⟨10.1145/3110277⟩ |
||
| tel-01876314v1
Theses
Counting points on hyperelliptic curves in large characteristic : algorithms and complexity Number Theory [math.NT]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0104⟩ |
||
| hal-01816256v3
Conference papers
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-01596573v1
Journal articles
Evolving Instrument Based on Symbiont-Host Metaphor: a Commensal Computation Journal of Creative Music Systems, University of Huddersfield Press, 2017, 2 (1), pp.1-10. ⟨10.5920/JCMS.2017.11⟩ |
||
| hal-01645450v1
Reports
Optimisation aérodynamique du conduit de refroidissement d'un véhicule Formula-E [Rapport de recherche] RR-9126, Inria - Sophia Antipolis. 2017 |
||
| inria-00073675v1
Reports
Big Ray Tracing and Eikonal Solver on Unstructured Grids : Application to the Computation of a Multi-valued Travel-time Field in the Marmousi Model [Research Report] RR-3019, INRIA. 1996 |
||
| hal-01466261v1
Preprints, Working Papers, ...
Construction of a $p$-adaptive continuous Residual Distribution scheme 2017 |
||
| hal-01444075v1
Book sections
High order methods for CFD Encyclopedia of Computational Mechanics, John Wiley & Sons, Ltd, 2017 |
||
| hal-01882450v1
Conference papers
Alzheimer's Disease Modelling and Staging through Independent Gaussian Process Analysis of Spatio-Temporal Brain Changes Machine Learning in Clinical Neuroimaging (MLCN) workshop, Sep 2018, Granada, Spain |
||
| hal-01826517v1
Poster communications
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
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 |
||
|
|
||
