Recherche - INRIA Saclay - Ile de France Accéder directement au contenu

Filtrer vos résultats

13 323 résultats
Page :
triés par
Image document

Automata Column: The Complexity of Reachability in Vector Addition Systems

 Sylvain Schmitz
ACM SIGLOG News, 2016, 3 (1), pp.3--21. ⟨10.1145/2893582.2893585⟩
Article dans une revue hal-01275972v1

Accuracy of a Low Mach Number Model for Time-Harmonic Acoustics

 J.-F. Mercier
SIAM Journal on Applied Mathematics, 2018, 78 (4), pp.1891 - 1912. ⟨10.1137/17M113976X⟩
Article dans une revue hal-01897611v1
Image document

Exporting an Arithmetic Library from Dedukti to HOL

 François Thiré
2017
Pré-publication, Document de travail hal-01668250v1
Image document

The Complexity of Coverability in ν-Petri Nets

 Ranko Lazić , Sylvain Schmitz
LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.467--476, ⟨10.1145/2933575.2933593⟩
Communication dans un congrès hal-01265302v2

Broadcast With Network Coding: DRAGONCAST

 Cédric Adjih , Emmanuel Baccelli , Song Yean Cho
2013
Autre publication scientifique hal-00934644v1

Une nouvelle méthode de raffinement de maillage spatio-temporel pour l'équation des ondes

 Jerónimo Rodríguez
Comptes Rendus. Mathématique, 2004, 339 (6), pp.445-450. ⟨10.1016/j.crma.2004.07.002⟩
Article dans une revue hal-00988967v1

Another approach to linearized elasticity and Korn's inequality

 Patrick Ciarlet , Philippe G. Ciarlet
Comptes Rendus. Mathématique, 2004, 339 (4), pp.307-312. ⟨10.1016/j.crma.2004.06.021⟩
Article dans une revue hal-00988265v1
Image document

Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets

 Stefan Haar
IEEE Transactions on Automatic Control, 2010, 55 (10), pp.2310-2320. ⟨10.1016/j.ic.2009.11.009⟩
Article dans une revue inria-00638209v1

TOURS (Testing On Reactive Unfolded Systems).

 Hernan Ponce de Leon , Stefan Schwoon , Konstantinos Athanasiou
2014
Autre publication scientifique hal-01097360v1
Image document

Joint rank and variable selection for parsimonious estimation in high-dimension finite mixture regression model.

 Emilie Devijver
2015
Pré-publication, Document de travail hal-01099296v1
Image document

Delaunay Stability via Perturbations

 Jean-Daniel Boissonnat , Ramsay Dyer , Arijit Ghosh
International Journal of Computational Geometry and Applications, 2014, 24, pp.125 - 152. ⟨10.1142/S021819591450006X⟩
Article dans une revue hal-01097086v1
Image document

Solvability of a Volume Integral Equation Formulation for Anisotropic Elastodynamic Scattering

 Marc Bonnet
Journal of Integral Equations and Applications, 2016, 28, pp.169-203
Article dans une revue hal-01246135v1
Image document

Towards modeling Arabic lexicons compliant LMF in OWL-DL

 Malek Lhioui , Kais Haddar , Laurent Romary
Terminology and Knowledge Engineering 2014, Jun 2014, Berlin, Germany. 10 p
Communication dans un congrès hal-01005854v1
Image document

The Pyramid Quantized Weisfeiler-Lehman Graph Representation

 Katerina Gkirtzou , Matthew Blaschko
Neurocomputing, 2016, 173, pp.1495-1507. ⟨10.1016/j.neucom.2015.09.023⟩
Article dans une revue hal-01205717v1
Image document

Distributed data management with access control : social Networks and Data of the Web

 Alban Galland
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112178⟩
Thèse tel-00640725v1
Image document

Probabilistic methods for the analysis of algorithms on random tessellations

 Ross Hemsley
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4143⟩
Thèse tel-01099165v2

Efficient and Robust Topological Data Analysis on Metric Spaces

 Mickael Buchet , Frederic Chazal , Steve Y. Oudot , Donald R. Sheehy
2013
Pré-publication, Document de travail hal-00831729v1
Image document

Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems

 Sid Touati
Hardware/Software Codesign, CODES 2001, Apr 2001, Copenhague, Denmark. pp.159 -164, ⟨10.1109/HSC.2001.924668⟩
Communication dans un congrès inria-00637269v1
Image document

Two contributions to geometric data analysis : filamentary structures approximations, and stability properties of functional approaches for shape comparison

 Ruqi Huang
Computational Geometry [cs.CG]. Université Paris-Saclay, 2016. English. ⟨NNT : 2016SACLS559⟩
Thèse tel-01503658v3
Image document

A Bayesian Model for Mobility Prediction in Wireless Sensor Networks

 Fatma Somaa , Cédric Adjih , Inès El Korbi , Leila Azouz Saidane
5th IFIP International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN 2016), Nov 2016, Paris, France
Communication dans un congrès hal-01405277v1
Image document

A Named Data Network Approach to Energy Efficiency in IoT

 Oliver Hahm , Emmanuel Baccelli , Thomas C. Schmidt , Matthias Waehlisch , Cédric Adjih
IEEE GLOBECOM Workshop on Named Data Networking for Challenged Communication Environments, IEEE, Dec 2016, Washington DC, United States
Communication dans un congrès hal-01369698v1
Image document

Analysis of Scalar Fields over Point Cloud Data

 Frédéric Chazal , Leonidas J. Guibas , Steve Y. Oudot , Primoz Skraba
[Research Report] RR-6576, INRIA. 2008
Rapport inria-00294591v3
Image document

Voronoi-Based Curvature and Feature Estimation from Point Clouds

 Quentin Mérigot , Maks Ovsjanikov , Leonidas J. Guibas
IEEE Transactions on Visualization and Computer Graphics, 2011, 17 (6), pp.743 - 756. ⟨10.1109/TVCG.2010.261⟩
Article dans une revue inria-00406575v2
Image document

Geo-Spatiotemporal Features and Shape-Based Prior Knowledge for Fine-grained Imbalanced Data Classification

 Charles A. Kantor , Marta Skreta , Brice Rauby , Léonard Boussioux , Emmanuel Jehanno , et al.
IJCAI 2021 - Workshop on AI for Social Good, Jan 2021, Tokyo, Japan
Communication dans un congrès hal-03150686v1
Image document

Data-Driven Trajectory Smoothing

 Frédéric Chazal , Daniel Chen , Leonidas J. Guibas , Xiaoye Jiang , Christian Sommer
[Research Report] RR-7754, INRIA. 2011
Rapport inria-00629932v1

Diagnosis of asynchronous discrete event systems: datalog to the rescue!

 Serge Abiteboul , Zoe Abrams , Stefan Haar , Tova Milo
Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. pp.358-367, ⟨10.1145/1065167.1065214⟩
Communication dans un congrès inria-00638322v1
Image document

Parameter Estimation and Energy Minimization for Region-based Semantic Segmentation

 M. Pawan Kumar , Haithem Turki , Dan Preston , Daphne Koller
[Technical Report] 2013
Rapport hal-00857918v1
Image document

Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$

 David Bremner , Olivier Devillers , Marc Glisse , Sylvain Lazard , Giuseppe Liotta , et al.
24th International Symposium on Graph Drawing & Network Visualization, Sep 2016, Athens, Greece. ⟨10.1007/978-3-319-50106-2_42⟩
Communication dans un congrès hal-01366148v1
Image document

Lifting AutoEncoders: Unsupervised Learning of a Fully-Disentangled 3D Morphable Model Using Deep Non-Rigid Structure From Motion

 Mihir Sahasrabudhe , Zhixin Shu , Edward Bartrum , Riza Alp Güler , Dimitris Samaras , et al.
ICCV 2019 - IEEE International Conference on Computer Vision - Workshops, Oct 2019, Seoul, South Korea
Communication dans un congrès hal-02422596v1
Image document

Operating Systems for Low-End Devices in the Internet of Things: a Survey

 Oliver Hahm , Emmanuel Baccelli , Hauke Petersen , Nicolas Tsiftes
IEEE Internet of Things Journal, 2016, 3 (5), pp.720-734. ⟨10.1109/JIOT.2015.2505901⟩
Article dans une revue hal-01245551v1
Page :