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-01810436v1 Journal articles Stanislas Chambon, Mathieu Galtier, Pierrick Arnal, Gilles Wainrib, Alexandre Gramfort. A deep learning architecture for temporal sleep stage classification using multivariate and multimodal time series IEEE Transactions on Neural Systems and Rehabilitation Engineering, Institute of Electrical and Electronics Engineers, 2018, 26 (4), pp.17683810. ⟨10.1109/TNSRE.2018.2813138⟩
	inria-00525684v1 Conference papers Olivier Faugeras, Long Quan, Peter Sturm. Self-calibration of a 1D Projective Camera and its Application to the Self-calibration of a 2D Projective Camera European Conference on Computer Vision (ECCV '98), Jun 1998, Freiburg, Germany. pp.36-52, ⟨10.1007/BFb0055658⟩
	inria-00377394v1 Journal articles Emmanuel Prados, Fabio Camilli, Olivier Faugeras. A viscosity solution method for Shape-From-Shading without image boundary data ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2006, 40 (2), pp.393--412
	inria-00548505v1 Conference papers Jean Ponce, Kenton Mc Henry, Théodore Papadopoulo, Monique Teillaud, Bill Triggs. On the Absolute Quadratic Complex and its Application to Autocalibration IEEE Conference on Computer Vision & Pattern Recognition (CPRV '05), Jun 2005, San Diego, United States. pp.780--787, ⟨10.1109/CVPR.2005.256⟩
	hal-02899464v1 Conference papers Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu. Provenance for the Description Logic ELHr IJCAI-PRICAI-20 - Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, Japan. pp.1862-1869, ⟨10.24963/ijcai.2020/258⟩
	hal-01512286v1 Conference papers Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet et al. A Formally Verified Compiler for Lustre PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
	hal-01403830v1 Conference papers Timothy Bourke, Pierre-Evariste Dagand, Marc Pouzet, Lionel Rieg. Vérification de la génération modulaire du code impératif pour Lustre JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
	inria-00556688v1 Conference papers Pierre-Alain Fouque, Gilles Macario-Rat, Ludovic Perret, Jacques Stern. Total Break of the l-IC Signature Scheme Public Key Cryptography - PKC 2008, 11th International Workshop on Practice and Theory in Public-Key Cryptography, Mar 2008, Barcelona, Spain. pp.1-17, ⟨10.1007/978-3-540-78440-1_1⟩
	hal-00666405v1 Reports Dohy Hong, François Baccelli. On a joint Research Publications and Authors Ranking [Research Report] 2012, pp.9
	hal-01976257v1 Preprints, Working Papers, ... François Baccelli, Mir-Omid Haji-Mirsadeghi, Ali Khezeli. On the Dimension of Unimodular Discrete Spaces, Part II: Relations with Growth Rate 2019
	hal-01976265v1 Preprints, Working Papers, ... François Baccelli, Mir-Omid Haji-Mirsadeghi, Ali Khezeli. On the Dimension of Unimodular Discrete Spaces, Part I: Definitions and Basic Properties 2019
	hal-00906530v1 Preprints, Working Papers, ... Tien Viet Nguyen, François Baccelli. On the Generating Functionals of a Class of Random Packing Point Processes 2013
	hal-01093169v1 Conference papers Louis Mandel, Cédric Pasteur. Reactivity of Cooperative Systems Static Analysis (SAS), Sep 2014, Munich, Germany. pp.17, ⟨10.1007/978-3-319-10936-7_14⟩
	hal-03139755v1 Preprints, Working Papers, ... Ronan Riochet, Josef Sivic, Ivan Laptev, Emmanuel Dupoux. Occlusion resistant learning of intuitive physics from videos 2021
	hal-01439311v1 Reports David Montoya, Thomas Pellissier Tanon, Serge Abiteboul, Pierre Senellart, Fabian Suchanek. Thymeflow, An Open-Source Personal Knowledge Base System [Technical Report] Thymeflow. 2016
	hal-02303526v1 Conference papers Nathan Grosshans, Pierre Mckenzie, Luc Segoufin. The Power of Programs over Monoids in DA 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aug 2017, Aalborg, Denmark. ⟨10.4230/LIPIcs.MFCS.2017.2⟩
	hal-01706665v2 Journal articles Wojciech Kazana, Luc Segoufin. First-order queries on classes of structures with bounded expansion Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1)
	inria-00560054v1 Conference papers Emmanuel Caruyer, Rachid Deriche. Adaptive Design of Sampling Directions in Diffusion Tensor MRI and Validation on Human Brain Images MICCAI Workshop on Diffusion Modelling and the Fiber Cup, Sep 2009, Londres, United Kingdom
	hal-03139764v1 Conference papers Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache et al. Progressive Raising in Multi-level IR CGO 2021 : International Symposium on Code Generation and Optimization, Feb 2021, Seoul / Virtual, South Korea
	inria-00608094v1 Conference papers Pierre Maurel, Renaud Keriven, Olivier Faugeras. Reconciling Landmarks and Level Sets ICPR 2006, 18th International Conference on Pattern Recognition, Aug 2006, Hong-Kong, China. pp.69-72, ⟨10.1109/ICPR.2006.979⟩
	tel-00368350v1 Theses Pierre Maurel. Shape gradients, shape warping and medical application to facial expression analysis Human-Computer Interaction [cs.HC]. Université Paris-Diderot - Paris VII, 2008. English
	inria-00070292v1 Reports Pierre Maurel, Olivier Faugeras, Renaud Keriven. Reconciling landmarks and level sets: geometric shape warping and matching using generalized gradients and correspondence-augmented implicit representations [Research Report] RR-5726, INRIA. 2006, pp.20
	inria-00527971v1 Conference papers Jérôme Feret, Thomas Henzinger, Heinz Koeppl, Tatjana Petrov. Lumpability Abstractions of Rule-based Systems The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Ciobanu, G. and Koutny, M., Aug 2010, Jena, Germany
	hal-01379249v1 Conference papers Dahmun Goudarzi, Matthieu Rivain, Damien Vergnaud. Lattice Attacks against Elliptic-Curve Signatures with Blinded Scalar Multiplication Selected Areas in Cryptography - SAC 2016, Aug 2016, St. John’s, Canada
	hal-01377993v1 Conference papers Houda Ferradi, Rémi Géraud, Diana Maimut, David Naccache, David Pointcheval. Legally Fair Contract Signing Without Keystones ACNS 2016 - 14th International Conference Applied Cryptography and Network Security, Jun 2016, Guildford, United Kingdom. pp.175 - 190, ⟨10.1007/978-3-319-39555-5_10⟩
	hal-01220355v1 Conference papers Romain Gay, Iordanis Kerenidis, Hoeteck Wee. Communication Complexity of Conditional Disclosure of Secrets and Attribute-Based Encryption CRYPTO 2015 - Advances in Cryptology, Aug 2015, Santa Barbara, United States. pp.485-502, ⟨10.1007/978-3-662-48000-7_24⟩
	hal-01375817v1 Conference papers Céline Chevalier, Fabien Laguillaumie, Damien Vergnaud. Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions Computer Security - ESORICS 2016, Sep 2016, Heraklion, Greece. pp.261-278, ⟨10.1007/978-3-319-45744-4_13⟩
	inria-00636850v1 Conference papers Ferdinanda Camporesi, Jérôme Feret. Formal reduction for rule-based models the 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011, May 2011, Pittsburgh, United States. pp.29-59, ⟨10.1016/j.entcs.2011.09.014⟩
	inria-00527536v1 Conference papers Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov. Combining Model Reductions the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. pp.73--96, ⟨10.1016/j.entcs.2010.08.006⟩
	hal-01869971v1 Conference papers Georg Fuchsbauer, Romain Gay. Weakly Secure Equivalence-Class Signatures from Standard Assumptions PKC 2018 - 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2018, Rio de Jaineiro, Brazil. pp.153-183, ⟨10.1007/978-3-319-76581-5_6⟩
	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

Keyword Minimize

Type of deposit Minimize

Year Minimize