Skip to Main content Skip to Navigation

hal-01810436v1  Journal articles
Stanislas ChambonMathieu GaltierPierrick ArnalGilles WainribAlexandre 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-00377394v1  Journal articles
Emmanuel PradosFabio CamilliOlivier 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 PonceKenton Mc HenryThéodore PapadopouloMonique TeillaudBill 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 BourgauxAna OzakiRafael PeñalozaLivia 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 BourkeLélio BrunPierre-Evariste DagandXavier LeroyMarc 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 BourkePierre-Evariste DagandMarc PouzetLionel 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 FouqueGilles Macario-RatLudovic PerretJacques 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-01093169v1  Conference papers
Louis MandelCédric Pasteur. Reactivity of Cooperative Systems
Static Analysis (SAS), Sep 2014, Munich, Germany. pp.17, ⟨10.1007/978-3-319-10936-7_14⟩
hal-02303526v1  Conference papers
Nathan GrosshansPierre MckenzieLuc 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 KazanaLuc 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 CaruyerRachid 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-00817961v1  Conference papers
Jose LezamaKarteek AlahariJosef SivicIvan Laptev. Track to the Future: Spatio-temporal Video Segmentation with Long-range Motion Cues
CVPR - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2011, Colorado Springs, United States. pp.3369 - 3376, ⟨10.1109/CVPR.2011.6044588⟩
hal-03139764v1  Conference papers
Lorenzo CheliniAndi DrebesOleksandr ZinenkoAlbert CohenNicolas 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 MaurelRenaud KerivenOlivier 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-00527971v1  Conference papers
Jérôme FeretThomas HenzingerHeinz KoepplTatjana 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 GoudarziMatthieu RivainDamien 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 FerradiRémi GéraudDiana MaimutDavid NaccacheDavid 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 GayIordanis KerenidisHoeteck 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⟩
inria-00636850v1  Conference papers
Ferdinanda CamporesiJé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 CamporesiJérôme FeretHeinz KoepplTatjana 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⟩