Skip to Main content Skip to Navigation

hal-01513503v1  Directions of work or proceedings
Razvan StanicaMarcelo Dias de Amorim. 1ères Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication
Marcelo Dias de Amorim; Razvan Stanica. 1ères Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2016, Bayonne, France. 2016, CORES2016
cea-01119475v2  Conference papers
Yann LeprinceFabrice PouponThierry DelzescauxDominique HasbounCyril Poupon et al.  Combined Laplacian-equivolumic model for studying cortical lamination with ultra high field MRI (7 T)
2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI), IEEE, Apr 2015, New York, United States. pp.580-583, ⟨10.1109/ISBI.2015.7163940⟩
hal-03183858v1  Conference papers
Boris Teabe DjomgwePeterson YuhalaAlain TchanaFabien HermenierDaniel Hagimont et al.  (No)Compromis: Paging Virtualization Is Not a Fatality
VEE 2021 - 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12
hal-03324500v1  Journal articles
Rachel Bawden. [Book Review] Understanding Dialogue: Language Use and Social Interaction
Computational Linguistics, Massachusetts Institute of Technology Press (MIT Press), In press
hal-01238784v1  Journal articles
Béatrice BérardPierre CourtieuLaure MilletMaria Potop-ButucaruLionel Rieg et al.  [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
International Journal of Informatics Society, Japan Informatics Society, 2015, 7 (3), pp.101-114
hal-00765413v1  Conference papers
Sonja BoschS. ChoiÉric Villemonte de la ClergerieAlex Chengyu FangGertrud Faass et al.  [tiger2] As a standardized serialisation for ISO 24615 - SynAF
TLT11 - 11th international workshop on Treebanks and Linguistic Theories - 2012, Nov 2012, Lisbon, Portugal. pp.37-60
hal-01293789v1  Conference papers
Nicolas PalixJulia L. LawallGaël ThomasGilles Muller. {How Often do Experts Make Mistakes?}
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16
hal-03260622v1  Book sections
Julie Hunter. Now: A Discourse-Based Theory
Aloni, Maria; Roelofsen, Floris; Sassoon, Galit Weidman; Schulz, Katrin; Kimmelman, Vadim. Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers, Springer, pp.371--380, 2012, 978-3642314810
hal-01165187v3  Journal articles
Vít DolejšíAlexandre ErnMartin Vohralík. $hp$-adaptation driven by polynomial-degree-robust a posteriori error estimates for elliptic problems
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2016, 38 (5), pp.A3220-A3246. ⟨10.1137/15M1026687⟩
hal-01652084v1  Journal articles
Anthony Leverrier. $SU(p,q)$ coherent states and a Gaussian de Finetti theorem
Journal of Mathematical Physics, American Institute of Physics (AIP), 2018, 59, pp.042202. ⟨10.1063/1.5007334⟩
hal-01513496v1  Directions of work or proceedings
Lélia BlinFrédéric Giroire. 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. 2015
hal-02814796v1  Conference papers
Daniel BarthélémyNozha BoujemaaDaniel MathieuJean-François MolinoPierre Bonnet et al.  2010. Pl@ntNet, une plateforme libre et collaborative d’information et d’identification des plantes.
La biodiversité dans les arboretums. Savoir la gérer et la valoriser, Apr 2010, Antibes, France
hal-01110262v1  Directions of work or proceedings
Luca BreveglieriSylvain GuilleyIsrael KorenDavid NaccacheJunko Takahashi. 2011 Workshop on Fault Diagnosis and Tolerance in Cryptography
2011 Workshop on Fault Diagnosis and Tolerance in Cryptography - FDTC, Sep 2011, Nara, Japan. IEEE, 2011
hal-01147212v1  Conference papers
Akihiko ToriiRelja ArandjelovicJosef SivicMasatoshi OkutomiTomas Pajdla. 24/7 place recognition by view synthesis
CVPR 2015 - 28th IEEE Conference on Computer Vision and Pattern Recognition, Jun 2015, Boston, United States
hal-01616660v1  Journal articles
Akihiko ToriiRelja ArandjelovicJosef SivicMasatoshi OkutomiTomas Pajdla. 24/7 place recognition by view synthesis
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2017, pp.14. ⟨10.1109/TPAMI.2017.2667665⟩
hal-01829091v1  Conference papers
Zayed AlsayedGuillaume BressonAnne Verroust-BlondetFawzi Nashashibi. 2D SLAM Correction Prediction in Large Scale Urban Environments
ICRA 2018 - International Conference on Robotics and Automation 2018, May 2018, Brisbane, Australia
tel-02921424v1  Theses
Maximilian Jaritz. 2D-3D scene understanding for autonomous driving
Machine Learning [cs.LG]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM007⟩
hal-01357777v1  Conference papers
Alejandro TomsicPierre SensJoao Coelho GarciaLuciana ArantesJulien Sopena. 2W-FD: A Failure Detector Algorithm with QoS
IPDPS 2015 - The 29th IEEE International Parallel and Distributed Processing Symposium, May 2015, Hyderabad, India. pp.885-893, ⟨10.1109/IPDPS.2015.74⟩
inria-00615550v1  Conference papers
Olivier MongaRachid DericheGrégoire MalandainJean-Pierre Cocquerez. 3-D edge detection by recursive filtering and edge tracking
10th International Conference on Pattern Recognition, 1990, Atlantic City, USA, United States
hal-02464616v1  Book sections
Jennifer EdmondLaurent Romary. 3. Academic Publishing
Digital Technology and the Practices of Humanities Research, Open Book Publishers, pp.49-80, 2020, 978-1-78374-841-9. ⟨10.11647/OBP.0192.03⟩
inria-00615563v1  Conference papers
Jean-Marie RocchisaniIsaac CohenF. AissaniJacques BittounNicholas Ayache et al.  3D Analysis of the Anterior Segment of Human eye in vitro from High Resolution Magnetic Resonance Imaging
Conference of the IEEE Engineering in Medicine and Biology Society, 1992, Paris, France
hal-01111533v1  Conference papers
Sébastien BriaisStéphane CaronJean-Michel CioranescoJean-Luc DangerSylvain Guilley et al.  3D Hardware Canaries
CHES 2012 - 14th International Workshop Cryptographic Hardware and Embedded Systems, Sep 2012, Leuven, Belgium. pp.1-22, ⟨10.1007/978-3-642-33027-8_1⟩
hal-01930355v1  Conference papers
Oscar CamaraOlivier ColliotGaspar DelsoIsabelle Bloch. 3D nonlinear PET-CT image registration algorithm with constrained Free-Form Deformations
3rd IASTED International Conference on Visualization, Imaging, and Image Processing (VIIP 2003), 2003, Benalmadena, Spain
hal-03324932v1  Journal articles
Luis RoldãoRaoul de CharetteAnne Verroust-Blondet. 3D Semantic Scene Completion: a Survey
International Journal of Computer Vision (IJCV), In press
hal-02165672v1  Conference papers
Luis RoldãoRaoul de CharetteAnne Verroust-Blondet. 3D Surface Reconstruction from Voxel-based Lidar Data
ITSC 2019 - IEEE Intelligent Transportation Systems Conference, Oct 2019, Auckland, New Zealand
inria-00635911v1  Conference papers
Wafa RekikDominique BéréziatSéverine Dubuisson. 3D+t Reconstruction in the Context of Locally Spheric Shaped Data Observation
CAIP 2007 - 12th International Conference on Computer Analysis of Images and Patterns, Aug 2007, Vienna, Austria. pp.482-489, ⟨10.1007/978-3-540-74272-2_60⟩
hal-01239980v1  Conference papers
Peter Senna TschudinJulia LawallGilles Muller. 3L: Learning Linux Logging
BElgian-NEtherlands software eVOLution seminar (BENEVOL 2015), Dec 2015, Lille, France
hal-01671456v1  Conference papers
Vivien Londe. 4D hyperbolic regular quantum codes
Journées Informatique Quantique 2017, Nov 2017, Bordeaux, France
hal-02061838v1  Journal articles
Yasuyuki TanakaPascale MinetThomas Watteyne. 6LoWPAN Fragment Forwarding
IEEE Communications Standards Magazine, Institute of Electrical and Electronics Engineers, 2019, 3 (1), pp.35-39
inria-00000846v1  Directions of work or proceedings
Marc SchoenauerPierre LiardetPierre ColletEvelyne LuttonCyril Fonlupt. 6th International Conference, Evolution Artificielle, EA 2003
Pierre Liardet and Pierre Collet and Cyril Fonlupt and Evelyne Lutton and Marc Schoenauer. 2936 (2936), SPRINGER, pp.409, 2003, LNCS
hal-01968655v1  Journal articles
Qin WangXavier VilajosanaThomas Watteyne. 6TiSCH Operation Sublayer (6top) Protocol (6P) - RFC8480
Internet Engineering Task Force RFC series, RFC, 2018
hal-02420677v1  Journal articles
Pascal ThubertXavi GuillenThomas Watteyne. 6TiSCH, enabling IPv6 over 802.15.4 TSCH
IEEE Communications Standards Magazine, Institute of Electrical and Electronics Engineers, 2019
hal-02266569v1  Journal articles
Xavier VilajosanaThomas WatteyneMalisa VucinicTengfei ChangKristofer Pister. 6TiSCH: Industrial Performance for IPv6 Internet of Things Networks
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2019, 107 (6), pp.1153 - 1165. ⟨10.1109/JPROC.2019.2906404⟩
hal-00421539v1  Journal articles
Fabrice GuilletBrigitte Trousse. 8th French-speaking conference on Knowledge Discovery and Management (EGC2008): conference report
SIGKDD explorations : newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, Association for Computing Machinery (ACM), 2008, 10 (1), pp.53-54
hal-02464622v1  Book sections
Jennifer EdmondFrank FischerLaurent RomaryToma Tasovac. 9. Springing the Floor for a Different Kind of Dance
Digital Technology and the Practices of Humanities Research, Open Book Publishers, pp.207-234, 2020, 978-1-78374-841-9. ⟨10.11647/OBP.0192.09⟩
hal-01968376v1  Conference papers
Grey BallardJames DemmelLaura GrigoriMathias JacquelinNicholas Knight. A 3D Parallel Algorithm for QR Decomposition
SPAA '18 - 30th ACM Symposium on Parallelism in Algorithms and Architectures, Jul 2018, Vienna, Austria
hal-01096209v1  Journal articles
Saugata BasuMarie-Françoise RoyMohab Safey El DinEric Schost. A Baby Step–Giant Step Roadmap Algorithm for General Algebraic Sets
Foundations of Computational Mathematics, Springer Verlag, 2014, 14 (6), pp.1117 - 1172. ⟨10.1007/s10208-014-9212-1⟩
hal-02284965v1  Conference papers
Luan TeyloLúcia de A. DrummondLuciana ArantesPierre Sens. A Bag-of-Tasks Scheduler Tolerant to Temporal Failures in Clouds
SBAC-PAD 2019 - International Symposium on Computer Architecture and High Performance Computing, Oct 2019, Campo Grande, Brazil
hal-00944092v1  Conference papers
Shuai FuNicolas Bousquet. A Bayesian solution to characterizing uncertainty in inverse problems
Journées des doctorants, GdR MASCOT-NUM, 2011, Villard de Lans, France
hal-00944090v1  Conference papers
Shuai FuNicolas Bousquet. A Bayesian solution to characterizing uncertainty in inverse problems
The 58th ISI Congress, 2011, Dublin, Ireland
hal-00944091v1  Conference papers
Shuai FuNicolas BousquetMathieu Couplet. A Bayesian solution to characterizing uncertainty in inverse problems
The 3rd IMS-China International conference on Statistics and Probability, 2011, Xi an, China
hal-01182773v1  Conference papers
Matias Ezequiel Vara LarsenJulien DeantoniBenoit CombemaleFrédéric Mallet. A Behavioral Coordination Operator Language (BCOoL)
International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
hal-00175627v1  Conference papers
Cyril FurtlehnerJean-Marc LasgouttesArnaud de la Fortelle. A Belief Propagation Approach to Traffic Prediction using Probe Vehicles
10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, United States. pp. 1022-1027
hal-03020099v1  Conference papers
Ugo BoscainDario PrandiLudovic SacchelliGiuseppina Turco. A bio-inspired geometric model for sound reconstruction
IFAC World Conference 2020, Jul 2020, Berlin / Virtual, Germany
hal-02531537v2  Journal articles
Ugo BoscainDario PrandiLudovic SacchelliGiuseppina Turco. A bio-inspired geometric model for sound reconstruction
Journal of Mathematical Neuroscience, BioMed Central, 2021, 11 (1), pp.2. ⟨10.1186/s13408-020-00099-4⟩
hal-01412919v1  Conference papers
François GindraudFabrice RastelloAlbert CohenFrançois Broquedis. A bounded memory allocator for software-defined global address spaces
ISMM 2016 - 2016 ACM SIGPLAN International Symposium on Memory Management, Jun 2016, Santa Barbara, United States
inria-00124270v1  Journal articles
Xiao-Shan GaoQiang LinGui-Fang Zhang. A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
Computer-Aided Design, Elsevier, 2006, Computer-Aided Design, 38 (1), pp.1--13. ⟨10.1016/j.cad.2005.03.002⟩
hal-02557823v2  Conference papers
Hugo HerbelinÉtienne Miquey. A calculus of expandable stores
LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.564-577, ⟨10.1145/3373718.3394792⟩
hal-00917730v1  Conference papers
Philippe FlajoletPaul ZimmermannBernard Van Cutsem. A Calculus of Random Generation
Proceedings of the First European Symposium on Algorithms (ESA'93), 1993, Bad Honnef, Germany. pp.169-180, ⟨10.1007/3-540-57273-2_53⟩
hal-00925837v1  Conference papers
Michael BarnettMehdi BouazizFrancesco LogozzoManuel Fähndrich. A case for static analyzers in the cloud
Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Miguel Gomez-Zamalloa and Germán Puebla, Mar 2013, Rome, Italy
halshs-01392880v1  Conference papers
Anne Baillot. A certification model for digital scholarly editions
Digital Scholarly Editing: Theory, Practice, Methods, Université d'Anvers, Oct 2016, Anvers, Belgium
hal-01159890v1  Reports
Pierre CourtieuLionel RiegSébastien TixeuilXavier Urbain. A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
[Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015