|
||
---|---|---|
hal-01989726v1
Journal articles
Bindings as Bounded Natural Functors Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩ |
||
hal-01992050v1
Journal articles
Practical device-independent quantum cryptography via entropy accumulation Nature Communications, Nature Publishing Group, 2018, 9 (1), ⟨10.1038/s41467-017-02307-4⟩ ![]() |
||
lirmm-02307824v1
Journal articles
Enhancing functional abilities and cognitive integration of the lower limb prosthesis Science Translational Medicine, American Association for the Advancement of Science, 2019, 11 (512), pp.eaav8939. ⟨10.1126/scitranslmed.aav8939⟩ ![]() |
||
hal-01643157v1
Journal articles
Soundness and Completeness Proofs by Coinductive Methods Journal of Automated Reasoning, Springer Verlag, 2017, 58 (1), pp.149 - 179. ⟨10.1007/s10817-016-9391-3⟩ |
||
inria-00616193v1
Journal articles
Using spatial prior knowledge in the spectral fitting of MRS images NMR in Biomedicine, Wiley, 2012, 25 (1), pp.1-13. ⟨10.1002/nbm.1704⟩ ![]() |
||
inria-00548577v1
Conference papers
Towards multi-view object class detection IEEE Conference on Computer Vision & Pattern Recognition (CPRV '06), Jun 2006, New York, United States. pp.1589, ⟨10.1109/CVPR.2006.311⟩ |
||
hal-01379218v1
Conference papers
Localization of inexpensive robots with low-bandwidth sensors 13th International Symposium on Distributed Autonomous Robotic Systems, Nov 2016, London, United Kingdom |
||
hal-02268822v1
Journal articles
Security Issues in the 5G Standard and How Formal Methods Come to the Rescue ERCIM News, ERCIM, 2019 |
||
hal-02969613v1
Conference papers
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston / Virtual, United States |
||
hal-01474729v1
Journal articles
Programmable Animation Texturing using Motion Stamps Computer Graphics Forum, Wiley, 2016, 35 (7), pp.67-75. ⟨10.1111/cgf.13004⟩ |
||
hal-02879289v1
Conference papers
Convex Hulls of Random Order Types SoCG 2020 - 36th International Symposium on Computational Geometry, 2020, Zürich / Virtual, Switzerland. pp.49:1--49:15, ⟨10.4230/LIPIcs.SoCG.2020.49⟩ ![]() |
||
hal-00748213v1
Conference papers
EphPub: Toward Robust Ephemeral Publishing Network Protocols (ICNP), 2011 19th IEEE International Conference on, Oct 2011, Vancouver, Canada. pp.165--175 |
||
hal-01056600v1
Conference papers
Hierarchical Motion Brushes for Animation Instancing NPAR '14 - Workshop on Non-Photorealistic Animation and Rendering, Aug 2014, Vancouver, Canada. pp.71-79, ⟨10.1145/2630397.2630402⟩ |
||
hal-01108284v1
Journal articles
Eulerian and semi-Lagrangian methods for convection-diffusion for differential forms Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (4), pp.1471--1495. ⟨10.3934/dcds.2011.29.1471⟩ ![]() |
||
hal-01248140v1
Journal articles
Stabilized Galerkin for transient advection of differential forms Discrete and Continuous Dynamical Systems - Series S, American Institute of Mathematical Sciences, 2016, 9 (1), pp.185 - 214. ⟨10.3934/dcdss.2016.9.185⟩ |
||
hal-01108272v1
Journal articles
Stabilized Galerkin methods for magnetic advection ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2013, 47 (6), pp.1713-1732. ⟨10.1051/m2an/2013085⟩ |
||
hal-01108297v1
Book sections
Stabilized Galerkin for Linear Advection of Vector Fields Numerical Mathematics and Advanced Applications - ENUMATH 2013, Springer, 2015, ⟨10.1007/978-3-319-10705-9_3⟩ |
||
hal-01108280v1
Journal articles
Convergence of Lowest Order Semi-Lagrangian Schemes Foundations of Computational Mathematics, Springer Verlag, 2013, 13 (2), pp.187-220. ⟨10.1007/s10208-012-9139-3⟩ ![]() |
||
hal-01108300v1
Journal articles
Upwind 3-D Vector Potential Formulation for Electromagnetic Braking Simulations IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2010, 46 (8), pp.2835-2838. ⟨10.1109/TMAG.2010.2043938⟩ |
||
hal-01889705v2
Preprints, Working Papers, ...
Strong Sard Conjecture and regularity of singular minimizing geodesics for analytic sub-Riemannian structures in dimension 3 2018 |
||
hal-00818482v1
Conference papers
Multi-threaded Active Objects COORDINATION 2013, Jun 2013, Firenze, Italy |
||
hal-00720012v2
Reports
A Language for Multi-threaded Active Objects [Research Report] RR-8021, INRIA. 2012 |
||
inria-00334353v1
Journal articles
Gossiping on MANETs: the Beauty and the Beast Operating Systems Review, Association for Computing Machinery, 2007, 41 (5), pp.67-74 |
||
inria-00196306v1
Conference papers
Optimal Buffer Management Policies for Delay Tolerant Networks SECON, Jun 2008, San Francisco, United States. pp.10 |
||
inria-00359288v1
Reports
Interleaving Delaunay Refinement and Optimization for Practical Isotropic Tetrahedron Mesh Generation [Research Report] RR-6826, INRIA. 2009, pp.27 |
||
hal-01317464v1
Conference papers
CrossZig: Combating Cross-Technology Interference in Low-Power Wireless Networks International Conference on Information Processing in Sensor Networks (ACM/IEEE IPSN 2016), Apr 2016, Vienna, Austria. ⟨10.1109/IPSN.2016.7460663⟩ |
||
hal-01981937v1
Reports
VerifyThis 2018: A Program Verification Competition [Research Report] Université Paris-Saclay. 2019 |
||
hal-00947748v1
Conference papers
Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles WADS 2013, Aug 2013, Canada. pp.73-84 |
||
hal-00789525v1
Conference papers
The COST IC0701 Verification Competition 2011 Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2011, 2011, Torino, Italy |
||
hal-02422138v1
Books
Simulation and Synthesis in Medical Imaging, Third International Workshop, SASHIMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings Springer, Cham, Lecture Notes in Computer Science (11037), 2018, 978-3-030-00535-1. ⟨10.1007/978-3-030-00536-8⟩ |
||
|