SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks
Laetitia Teodorescu, Katja Hofmann, Pierre-Yves Oudeyer1
Frontiers in Artificial Intelligence | January 2022, Vol 4
Inria Joint Center
Papiers de Collaboration
Publications
Key Publications
Publication Type
-
-
Spatio-Temporal Human Shape Completion With Implicit Function Networks
Federica Bogo, Edmond Boyer, Jean-Sébastien Franco, Boyao Zhou
International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT) | December 2021
A Modern Compiler for the French Tax Code
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
arXiv: Programming Languages | January 2021
PDF PDF PDF Publication Publication Publication Publication Publication Publication
-
Mesh Denoising with Facet Graph Convolutions
Matthieu Armando, Jean-Sebastien Franco, Edmond Boyer
December 2020
HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
ACM Conference on Computer and Communications Security (CCS) | November 2020
From Tree Matching to Sparse Graph Alignment
Luca Ganassali, Laurent Massoulie
COLT 2020 | June 2020
Leveraging Photometric Consistency over Time for Sparsely Supervised Hand-Object Reconstruction
Yana Hasson, Bugra Tekin, Federica Bogo, Ivan Laptev, Marc Pollefeys, Cordelia Schmid
2020 Conference on Computer Vision and Pattern Recognition (CVPR) | May 2020
Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model
Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin
Eurocrypt 2020 | May 2020
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Automatic Curriculum Learning for Deep RL: A Short Survey
Rémy Portelas, Cédric Colas, Lilian Weng, Katja Hofmann, Pierre-Yves Oudeyer
International Joint Conference on Artificial Intelligence | March 2020
Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
MSR-TR-2020-5 | February 2020
Publié par Microsoft Research
-
TLA+ Model Checking Made Symbolic
Igor Konnov, Thanh-Hai Tran
October 2019
Learning Joint Reconstruction of Hands and Manipulated Objects
Yana Hasson, Gul Varol, Dimitrios Tzionas, Igor Kalevatykh, Michael J. Black, Ivan Laptev, Cordelia Schmid
2019 Computer Vision and Pattern Recognition | June 2019
DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication
Formally Verified Cryptographic Web Applications in WebAssembly
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2019 IEEE Symposium on Security and Privacy (SP) | May 2019
-
Optimal Algorithms for Non-Smooth Distributed Optimization in Networks
Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié
NeurIPS 2018 | June 2018
Best Paper Award
-
Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
Medical Image Analysis | January 2017, Vol 36: pp. 79-97
-
Managing Hot Metadata for Scientific Workflows on Multisite Clouds
Luis Pineda-Morales, Ji Liu, Alexandru Costan, Esther Pacitti, Gabriel Antoniu, Patrick Valduriez, Marta Mattoso
International Conference on Big Data | December 2016
-
A Universal Catalyst for First-Order Optimization
Hongzhou Lin, Julien Mairal, Zaid Harchaoui
Neural Information Processing Systems | December 2015
Non-backtracking Spectrum of Random Graphs: Community Detection and Non-regular Ramanujan Graphs
Charles Bordenave, Marc Lelarge, Laurent Massoulie
Foundations of Computer Science | October 2015
DOI Publication Publication Publication Publication Publication Publication Publication
-
Finding Actors and Actions in Movies
P. Bojanowski, F. Bach, I. Laptev, J. Ponce, C. Schmid, J. Sivic
International Conference on Computer Vision | December 2013
DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication Publication
Enhancing the Reproducibility of Group Analysis with Randomized Brain Parcellations
Benoit Da Mota, Virgile Fritsch, Gaël Varoquaux, Vincent Frouin, Jean-Baptiste Poline, Bertrand Thirion
Medical Image Computing and Computer-Assisted Intervention | September 2013
DOI PDF Publication Publication Publication Publication Publication
A Machine-Checked Proof of the Odd Order Theorem
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
Interactive Theorem Proving | July 2013
DOI PDF PDF Publication Publication Publication Publication Publication Publication Publication Publication
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem
Manuel Loth, Michéle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
Learning and Intelligent Optimization | January 2013
-
TLA+ Proofs
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, Vol 7436: pp. 147-154
-
Secure Distributed Programming with Value-dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
-
A Modular Formalisation of Finite Group Theory
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
September 2007
Filtre par zone de recherche
-
SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks
Laetitia Teodorescu, Katja Hofmann, Pierre-Yves Oudeyer1
Frontiers in Artificial Intelligence | January 2022, Vol 4
From Tree Matching to Sparse Graph Alignment
Luca Ganassali, Laurent Massoulie
COLT 2020 | June 2020
Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
MSR-TR-2020-5 | February 2020
Publié par Microsoft Research
A Universal Catalyst for First-Order Optimization
Hongzhou Lin, Julien Mairal, Zaid Harchaoui
Neural Information Processing Systems | December 2015
Finding Actors and Actions in Movies
P. Bojanowski, F. Bach, I. Laptev, J. Ponce, C. Schmid, J. Sivic
International Conference on Computer Vision | December 2013
DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication Publication
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem
Manuel Loth, Michéle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
Learning and Intelligent Optimization | January 2013
-
Spatio-Temporal Human Shape Completion With Implicit Function Networks
Federica Bogo, Edmond Boyer, Jean-Sébastien Franco, Boyao Zhou
International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT) | December 2021
Leveraging Photometric Consistency over Time for Sparsely Supervised Hand-Object Reconstruction
Yana Hasson, Bugra Tekin, Federica Bogo, Ivan Laptev, Marc Pollefeys, Cordelia Schmid
2020 Conference on Computer Vision and Pattern Recognition (CVPR) | May 2020
Learning Joint Reconstruction of Hands and Manipulated Objects
Yana Hasson, Gul Varol, Dimitrios Tzionas, Igor Kalevatykh, Michael J. Black, Ivan Laptev, Cordelia Schmid
2019 Computer Vision and Pattern Recognition | June 2019
DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication
Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
Medical Image Analysis | January 2017, Vol 36: pp. 79-97
Enhancing the Reproducibility of Group Analysis with Randomized Brain Parcellations
Benoit Da Mota, Virgile Fritsch, Gaël Varoquaux, Vincent Frouin, Jean-Baptiste Poline, Bertrand Thirion
Medical Image Computing and Computer-Assisted Intervention | September 2013
DOI PDF Publication Publication Publication Publication Publication
-
A Modern Compiler for the French Tax Code
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
arXiv: Programming Languages | January 2021
PDF PDF PDF Publication Publication Publication Publication Publication Publication
HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
ACM Conference on Computer and Communications Security (CCS) | November 2020
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Secure Distributed Programming with Value-dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
-
Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
MSR-TR-2020-5 | February 2020
Publié par Microsoft Research
Optimal Algorithms for Non-Smooth Distributed Optimization in Networks
Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié
NeurIPS 2018 | June 2018
Best Paper Award
A Universal Catalyst for First-Order Optimization
Hongzhou Lin, Julien Mairal, Zaid Harchaoui
Neural Information Processing Systems | December 2015
TLA+ Proofs
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, Vol 7436: pp. 147-154
-
Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
MSR-TR-2020-5 | February 2020
Publié par Microsoft Research
Non-backtracking Spectrum of Random Graphs: Community Detection and Non-regular Ramanujan Graphs
Charles Bordenave, Marc Lelarge, Laurent Massoulie
Foundations of Computer Science | October 2015
DOI Publication Publication Publication Publication Publication Publication Publication
-
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Managing Hot Metadata for Scientific Workflows on Multisite Clouds
Luis Pineda-Morales, Ji Liu, Alexandru Costan, Esther Pacitti, Gabriel Antoniu, Patrick Valduriez, Marta Mattoso
International Conference on Big Data | December 2016
-
A Machine-Checked Proof of the Odd Order Theorem
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
Interactive Theorem Proving | July 2013
DOI PDF PDF Publication Publication Publication Publication Publication Publication Publication Publication
-
Automatic Curriculum Learning for Deep RL: A Short Survey
Rémy Portelas, Cédric Colas, Lilian Weng, Katja Hofmann, Pierre-Yves Oudeyer
International Joint Conference on Artificial Intelligence | March 2020
A Modular Formalisation of Finite Group Theory
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
September 2007
-
HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
ACM Conference on Computer and Communications Security (CCS) | November 2020
Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model
Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin
Eurocrypt 2020 | May 2020
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
TLA+ Model Checking Made Symbolic
Igor Konnov, Thanh-Hai Tran
October 2019
Formally Verified Cryptographic Web Applications in WebAssembly
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2019 IEEE Symposium on Security and Privacy (SP) | May 2019
-
Mesh Denoising with Facet Graph Convolutions
Matthieu Armando, Jean-Sebastien Franco, Edmond Boyer
December 2020
-
Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
Medical Image Analysis | January 2017, Vol 36: pp. 79-97
Publication Type
-
SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks
Laetitia Teodorescu, Katja Hofmann, Pierre-Yves Oudeyer1
Frontiers in Artificial Intelligence | January 2022, Vol 4
A Modern Compiler for the French Tax Code
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
arXiv: Programming Languages | January 2021
PDF PDF PDF Publication Publication Publication Publication Publication Publication
Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
Medical Image Analysis | January 2017, Vol 36: pp. 79-97
TLA+ Proofs
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, Vol 7436: pp. 147-154
-
Spatio-Temporal Human Shape Completion With Implicit Function Networks
Federica Bogo, Edmond Boyer, Jean-Sébastien Franco, Boyao Zhou
International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT) | December 2021
HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
ACM Conference on Computer and Communications Security (CCS) | November 2020
From Tree Matching to Sparse Graph Alignment
Luca Ganassali, Laurent Massoulie
COLT 2020 | June 2020
Leveraging Photometric Consistency over Time for Sparsely Supervised Hand-Object Reconstruction
Yana Hasson, Bugra Tekin, Federica Bogo, Ivan Laptev, Marc Pollefeys, Cordelia Schmid
2020 Conference on Computer Vision and Pattern Recognition (CVPR) | May 2020
Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model
Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin
Eurocrypt 2020 | May 2020
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
IEEE Symposium on Security and Privacy | May 2020
Automatic Curriculum Learning for Deep RL: A Short Survey
Rémy Portelas, Cédric Colas, Lilian Weng, Katja Hofmann, Pierre-Yves Oudeyer
International Joint Conference on Artificial Intelligence | March 2020
Learning Joint Reconstruction of Hands and Manipulated Objects
Yana Hasson, Gul Varol, Dimitrios Tzionas, Igor Kalevatykh, Michael J. Black, Ivan Laptev, Cordelia Schmid
2019 Computer Vision and Pattern Recognition | June 2019
DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication
Formally Verified Cryptographic Web Applications in WebAssembly
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2019 IEEE Symposium on Security and Privacy (SP) | May 2019
Optimal Algorithms for Non-Smooth Distributed Optimization in Networks
Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié
NeurIPS 2018 | June 2018
Best Paper Award
Managing Hot Metadata for Scientific Workflows on Multisite Clouds
Luis Pineda-Morales, Ji Liu, Alexandru Costan, Esther Pacitti, Gabriel Antoniu, Patrick Valduriez, Marta Mattoso
International Conference on Big Data | December 2016
A Universal Catalyst for First-Order Optimization
Hongzhou Lin, Julien Mairal, Zaid Harchaoui
Neural Information Processing Systems | December 2015
Non-backtracking Spectrum of Random Graphs: Community Detection and Non-regular Ramanujan Graphs
Charles Bordenave, Marc Lelarge, Laurent Massoulie
Foundations of Computer Science | October 2015
DOI Publication Publication Publication Publication Publication Publication Publication
Finding Actors and Actions in Movies
P. Bojanowski, F. Bach, I. Laptev, J. Ponce, C. Schmid, J. Sivic
International Conference on Computer Vision | December 2013
DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication Publication
Enhancing the Reproducibility of Group Analysis with Randomized Brain Parcellations
Benoit Da Mota, Virgile Fritsch, Gaël Varoquaux, Vincent Frouin, Jean-Baptiste Poline, Bertrand Thirion
Medical Image Computing and Computer-Assisted Intervention | September 2013
DOI PDF Publication Publication Publication Publication Publication
A Machine-Checked Proof of the Odd Order Theorem
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
Interactive Theorem Proving | July 2013
DOI PDF PDF Publication Publication Publication Publication Publication Publication Publication Publication
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem
Manuel Loth, Michéle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
Learning and Intelligent Optimization | January 2013
Secure Distributed Programming with Value-dependent Types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
A Modular Formalisation of Finite Group Theory
Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
September 2007
-
Mesh Denoising with Facet Graph Convolutions
Matthieu Armando, Jean-Sebastien Franco, Edmond Boyer
December 2020
TLA+ Model Checking Made Symbolic
Igor Konnov, Thanh-Hai Tran
October 2019
-
Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
MSR-TR-2020-5 | February 2020
Publié par Microsoft Research