Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01989726v1 Journal articles Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu, Dmitriy Traytel. 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 Rotem Arnon-Friedman, Frederic Dupuis, Omar Fawzi, Renato Renner, Thomas Vidick. 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 Francesco Maria Petrini, Giacomo Valle, Marko Bumbasirevic, Federica Barberi, Dario Bortolotti et al. 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 Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel. 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 B. Michael Kelm, Frederik O. Kaster, A. Henning, Marc-André Weber, P. Bachert et al. 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 Alexander Thomas, Vittorio Ferrari, Bastian Leibe, Tinne Tuytelaars, Bernt Schiele et al. 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 Shiling Wang, Francis Colas, Ming Liu, Francesco Mondada, Stéphane Magnenat. 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 Lucca Hirschi, Ralf Sasse, Jannik Dreier. Security Issues in the 5G Standard and How Formal Methods Come to the Rescue ERCIM News, ERCIM, 2019
	hal-02969613v1 Conference papers Véronique Cortier, Joseph Lallemand, Bogdan Warinschi. 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 Antoine Milliez, Martin Guay, Marie-Paule Cani, Markus Gross, Robert Sumner. Programmable Animation Texturing using Motion Stamps Computer Graphics Forum, Wiley, 2016, 35 (7), pp.67-75. ⟨10.1111/cgf.13004⟩
	hal-02879289v1 Conference papers Xavier Goaoc, Emo Welzl. 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 Claude Castelluccia, Emiliano de Cristofaro, Aurélien Francillon, Mohamed Ali Kaafar. 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 Antoine Milliez, Gioacchino Noris, Ilya Baran, Stelian Coros, Marie-Paule Cani et al. 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 Holger Heumann, Ralf Hiptmair. 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 Holger Heumann, Ralf Hiptmair, Cecilia Pagliantini. 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 Holger Heumann, Ralf Hiptmair. 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 Holger Heumann, Ralf Hiptmair. 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 Holger Heumann, Ralf Hiptmair. 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 François Henrotte, Holger Heumann, Enno Lange, Kay Hameyer. 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, ... Andre Belotto da Silva, Alessio Figalli, Adam Parusiński, Ludovic Rifford. Strong Sard Conjecture and regularity of singular minimizing geodesics for analytic sub-Riemannian structures in dimension 3 2018
	hal-00818482v1 Conference papers Ludovic Henrio, Fabrice Huet, Zsolt István. Multi-threaded Active Objects COORDINATION 2013, Jun 2013, Firenze, Italy
	hal-00720012v2 Reports Ludovic Henrio, Fabrice Huet, Zsolt István. A Language for Multi-threaded Active Objects [Research Report] RR-8021, INRIA. 2012
	inria-00334353v1 Journal articles Roy Friedman, Daniela Gavidia, Luis Rodrigues, Aline Carneiro Viana, Spyros Voulgaris. 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 Amir Krifa, Chadi Barakat, Thrasyvoulos Spyropoulos. Optimal Buffer Management Policies for Delay Tolerant Networks SECON, Jun 2008, San Francisco, United States. pp.10
	inria-00359288v1 Reports Jane Tournois, Camille Wormser, Pierre Alliez, Mathieu Desbrun. Interleaving Delaunay Refinement and Optimization for Practical Isotropic Tetrahedron Mesh Generation [Research Report] RR-6826, INRIA. 2009, pp.27
	hal-01317464v1 Conference papers Anwar Hithnawi, Su Li, Hossein Shafagh, James Gross, Simon Duquennoy. 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 Marieke Huisman, Rosemary Monahan, Peter Müller, Andrei Paskevich, Gidon Ernst. VerifyThis 2018: A Program Verification Competition [Research Report] Université Paris-Saclay. 2019
	hal-00947748v1 Conference papers Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Thomas Hackl et al. Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles WADS 2013, Aug 2013, Canada. pp.73-84
	hal-00789525v1 Conference papers Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre et al. 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 Ali Gooya, Orcun Goksel, Ipek Oguz, Ninon Burgos. 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⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize