2024
Journal articles
- auteur
- Brice Minaud
- titre
- Quel est le prix à payer pour la sécurité de nos données ? [podcast]
- article
- Interstices, 2024
- Accès au bibtex
-
- auteur
- Quentin Le Lidec, Wilson Jallet, Louis Montaut, Ivan Laptev, Cordelia Schmid, Justin Carpentier
- titre
- Contact Models in Robotics: a Comparative Analysis
- article
- IEEE Transactions on Robotics, 2024, 40, pp.3716 - 3733. ⟨10.1109/TRO.2024.3434208⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ke Yu, Yang Su, Philippe Ciais, Ronny Lauerwald, Eric Ceschia, David Makowski, Yidi Xu, Ezzeddine Abbessi, Hassan Bazzi, Tiphaine Tallec, Aurore Brut, Bernard Heinesch, Christian Brümmer, Marius Schmidt, Manuel Acosta, Pauline Buysse, Thomas Grünwald, Daniel Goll
- titre
- Quantifying albedo impact and radiative forcing of management practices in European wheat cropping systems
- article
- Environmental Research Letters, 2024, 19 (7), pp.074042. ⟨10.1088/1748-9326/ad5859⟩
- Accès au texte intégral et bibtex
-
- auteur
- Juliette Achddou, Olivier Cappe, Aurélien Garivier
- titre
- Stochastic Direct Search Method for Blind Resource Allocation
- article
- Transactions on Machine Learning Research Journal, 2024
- Accès au texte intégral et bibtex
-
- auteur
- Louis Montaut, Quentin Le Lidec, Vladimír Petrík, Josef Sivic, Justin Carpentier
- titre
- GJK++: Leveraging Acceleration Methods for Faster Collision Detection
- article
- IEEE Transactions on Robotics, In press
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Le Lidec, Fabian Schramm, Louis Montaut, Cordelia Schmid, Ivan Laptev, Justin Carpentier
- titre
- Leveraging Randomized Smoothing for Optimal Control of Nonsmooth Dynamical Systems
- article
- Nonlinear Analysis: Hybrid Systems, 2024, 52, pp.101468. ⟨10.1016/j.nahs.2024.101468⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pratik Karmakar, Mikaël Monet, Pierre Senellart, Stéphane Bressan
- titre
- Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases
- article
- Proceedings of the ACM on Management of Data, 2024, 2 (2 (PODS)), ⟨10.1145/3651593⟩
- Accès au texte intégral et bibtex
-
- auteur
- Adrien Séguret, Thomas Le Corre, Nadia Oudjane
- titre
- A decentralized algorithm for a Mean Field Control problem of Piecewise Deterministic Markov Processes
- article
- ESAIM: Probability and Statistics, 2024, 28, pp.22-45. ⟨10.1051/ps/2023021⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
- titre
- Monotonicity and the Precision of Program Analysis
- article
- Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩
- Accès au texte intégral et bibtex
-
- auteur
- Miki Mori, Esméralda Longépée, Gaëlle Lefer-Sauvage, Arnaud Banos, Nicolas Becu, Philippe Charpentier, Thomas Claverie, Matthieu Jeanson, Matthieu Le Duff, Damienne Provitolo, Georgeta Stoica
- titre
- Climate change by any other name: Social representations and language practices of coastal inhabitants on Mayotte Island in the Indian Ocean
- article
- Public Understanding of Science, 2024, ⟨10.1177/09636625241235375⟩
- Accès au texte intégral et bibtex
-
- auteur
- Matthieu Bouguéon, Vincent Legagneux, Octave Hazard, Jeremy Bomo, Anne Siegel, Jerome Feret, Nathalie Theret
- titre
- A rule-based multiscale model of hepatic stellate cell plasticity: Critical role of the inactivation loop in fibrosis progression
- article
- PLoS Computational Biology, 2024, 20 (7), pp.e1011858. ⟨10.1371/journal.pcbi.1011858⟩
- Accès au bibtex
-
- auteur
- Boris Muzellec, Adrien Vacher, Francis Bach, François-Xavier Vialard, Alessandro Rudi
- titre
- Near-optimal estimation of smooth transport maps with kernel sums-of-squares
- article
- SIAM Journal on Mathematics of Data Science, In press
- Accès au texte intégral et bibtex
-
- auteur
- Silvère Bonnabel, Marc Lambert, Francis Bach
- titre
- Low-rank plus diagonal approximations for Riccati-like matrix differential equations
- article
- SIAM Journal on Matrix Analysis and Applications, In press
- Accès au texte intégral et bibtex
-
- auteur
- Ingkarat Rak‐amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
- titre
- Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints
- article
- Software: Practice and Experience, 2024, 54 (3), pp.363-393. ⟨10.1002/spe.3279⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Oumayma Bounou, Jean Ponce, Justin Carpentier
- titre
- Learning System Dynamics from Sensory Input under Optimal Control Principles
- article
- CDC 2024 Conference on Decision and Control, Dec 2024, Milan, Italy
- Accès au texte intégral et bibtex
-
- auteur
- Denis Mazzucato, Marco Campion, Caterina Urban
- titre
- Quantitative Static Timing Analysis
- article
- 31st Static Analysis Symposium (SAS 2024), Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasadena, CA, United States
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Gauquier
- titre
- Towards Efficient Construction of a Traceable, Multimodal, and Heterogeneous Data Warehouse
- article
- VLDB 2024 PhD Workshop - The 50th International Conference on Very Large Data Bases, Aug 2024, Guangzhou, China
- Accès au texte intégral et bibtex
-
- auteur
- Shrey Mishra, Yacine Brihmouche, Theo Delemazure, Antoine Gauquier, Pierre Senellart
- titre
- First Steps in Building a Knowledge Base of Mathematical Results
- article
- SDP Fourth Workshop on Scholarly Document Processing at ACL 2024, Aug 2024, Bangkok, Thailand
- Accès au texte intégral et bibtex
-
- auteur
- Filip Drobnjaković, Pavle Subotic, Caterina Urban
- titre
- An Abstract Interpretation-Based Data Leakage Static Analysis
- article
- 18th International Symposium on Theoretical Aspects of Software Engineering, Jul 2024, Guiyang, China
- Accès au texte intégral et bibtex
-
- auteur
- David Coudert, Mónika Csikós, Guillaume Ducoffe, Laurent Viennot
- titre
- Practical Computation of Graph VC-Dimension
- article
- SEA 2024 - Symposium on Experimental Algorithms, Jul 2024, Vienne, Austria. pp.20, ⟨10.4230/LIPIcs.SEA.2024.8⟩
- Accès au texte intégral et bibtex
-
- auteur
- Batiste Le Bars, Aurélien Bellet, Marc Tommasi, Kevin Scaman, Giovanni Neglia
- titre
- Improved Stability and Generalization Guarantees of the Decentralized SGD Algorithm
- article
- ICML 2024 - The Forty-first International Conference on Machine Learning, Jul 2024, Vienne, Austria
- Accès au texte intégral et bibtex
-
- auteur
- Bruce Wingo, Ajay Sathya, Stéphane Caron, Seth Hutchinson, Justin Carpentier
- titre
- Linear-time Differential Inverse Kinematics: an Augmented Lagrangian Perspective
- article
- RSS 2024 - Robotics: Science and Systems, RSS Foundation, Jul 2024, Delft, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Justin Carpentier, Quentin Le Lidec, Louis Montaut
- titre
- From Compliant to Rigid Contact Simulation: a Unified and Efficient Approach
- article
- 20th edition of the “Robotics: Science and Systems” (RSS) Conference, Jul 2024, Delft, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Wilson Jallet, Ewen Dantec, Etienne Arlaud, Nicolas Mansard, Justin Carpentier
- titre
- Parallel and Proximal Constrained Linear-Quadratic Methods for Real-Time Nonlinear MPC
- article
- Robotics: Science and Systems, Jul 2024, Delft, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Camille Bourgaux
- titre
- Querying Inconsistent Prioritized Data
- article
- DL 2024 - 37th International Workshop on Description Logics, Jun 2024, Bergen, Norway
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Le Moing, Jean Ponce, Cordelia Schmid
- titre
- Dense Optical Tracking: Connecting the Dots
- article
- IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2024, Seattle, United States
- Accès au bibtex
-
- auteur
- Nathaniel Robinson, Raj Dabre, Ammon Shurtz, Rasul Dent, Onenamiyi Onesi, Claire Bizon Monroc, Loïc Grobol, Hasan Muhammad, Ashi Garg, Naome Etori, Vijay Murari Tiyyala, Olanrewaju Samuel, Matthew Dean Stutzman, Bismarck Bamfo Odoom, Sanjeev Khudanpur, Stephen Richardson, Kenton Murray
- titre
- Kreyòl-MT: Building MT for Latin American, Caribbean and Colonial African Creole Languages
- article
- 2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Association for Computational Linguistics, Jun 2024, Mexico City, Mexico. pp.3083-3110
- Accès au texte intégral et bibtex
-
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Jean-Michel Muller
- titre
- Useful applications of correctly-rounded operators of the form ab + cd + e
- article
- 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain
- Accès au texte intégral et bibtex
-
- auteur
- Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
- titre
- A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join
- article
- PODS'24 - ACM Conference on Principle of Database Systems, Jun 2024, Santiago, Chile. pp.1-15, ⟨10.1145/3651137⟩
- Accès au bibtex
-
- auteur
- Denis Mazzucato, Marco Campion, Caterina Urban
- titre
- Quantitative Input Usage Static Analysis
- article
- NASA Formal Methods 2024, Jun 2024, Moffett Field (CA), United States. pp.79-98, ⟨10.1007/978-3-031-60698-4_5⟩
- Accès au texte intégral et bibtex
-
- auteur
- Paul Boniol, John Paparrizos, Themis Palpanas
- titre
- An Interactive Dive into Time-Series Anomaly Detection
- article
- ICDE 2024 - 40th International Conference on Data Engineering, May 2024, Utrecht, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Paul Boniol, Emmanouil Sylligardos, John Paparrizos, Panos Trahanias, Themis Palpanas
- titre
- ADecimo: Model Selection for Time Series Anomaly Detection
- article
- ICDE 2024 - IEEE 40th International Conference on Data Engineering, May 2024, Utrecht, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Sylvain W Combettes, Paul Boniol, Charles Truong, Laurent Oudre
- titre
- d_symb playground: an interactive tool to explore large multivariate time series datasets
- article
- ICDE 2024 IEEE 40th International Conference on Data Engineering, May 2024, Utrecht, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Armand Jordana, Sébastien Kleff, Justin Carpentier, Nicolas Mansard, Ludovic Righetti
- titre
- Force Feedback Model-Predictive Control via Online Estimation
- article
- IEEE International Conference on Robotics and Automation (ICRA 2024), May 2024, Yokohama, Japan. ⟨10.1109/ICRA57147.2024.10611156⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marien Renaud, Jiaming Liu, Valentin de Bortoli, Andrés Almansa, Ulugbek Kamilov
- titre
- Plug-and-Play Posterior Sampling under Mismatched Measurement and Prior Models
- article
- (ICLR 2024) The Twelfth International Conference on Learning Representations, May 2024, Wien, Austria
- Accès au bibtex
-
- auteur
- Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M Pawan Kumar, Robert Stanforth, Alessio Lomuscio
- titre
- Expressive Losses for Verified Robustness via Convex Combinations
- article
- ICLR 2024 - International Conference on Learning Representations, May 2024, Vienna, Austria
- Accès au texte intégral et bibtex
-
- auteur
- Matthieu Blanke, Marc Lelarge
- titre
- Interpretable Meta-Learning of Physical Systems
- article
- ICLR 2024 - The Twelfth International Conference on Learning Representations, May 2024, Vienne, Austria
- Accès au texte intégral et bibtex
-
- auteur
- Eugene Berta, Francis Bach, Michael I Jordan
- titre
- Classifier Calibration with ROC-Regularized Isotonic Regression
- article
- 27th International Conference on Artificial Intelligence and Statistics (AISTATS), May 2024, Valence, Spain. pp.1972-1980
- Accès au texte intégral et bibtex
-
- auteur
- Jakob Maier, Laurent Massoulié
- titre
- Asymmetric tree correlation testing for graph alignment
- article
- 2023 IEEE Information Theory Workshop (ITW), Apr 2024, Saint-Malo, France. pp.503-508, ⟨10.1109/ITW55543.2023.10161653⟩
- Accès au texte intégral et bibtex
-
- auteur
- Etienne Ménager, Alexandre Bilger, Wilson Jallet, Justin Carpentier, Christian Duriez
- titre
- Condensed semi-implicit dynamics for trajectory optimization in soft robotics
- article
- IEEE International Conference on Soft Robotics (RoboSoft), IEEE, Apr 2024, San Diego (CA), United States. ⟨10.1109/RoboSoft60065.2024.10521997⟩
- Accès au texte intégral et bibtex
-
- auteur
- Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
- titre
- Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)
- article
- Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩
- Accès au texte intégral et bibtex
-
- auteur
- Stéphane Bessy, Stéphan Thomassé, Laurent Viennot
- titre
- Temporalizing Digraphs via Linear-Size Balanced Bi-Trees
- article
- STACS 2024 - 41st International Symposium on Theoretical Aspects of Computer Science, Mar 2024, Clermont-Ferrand, France. pp.13:1-13:12, ⟨10.4230/LIPIcs.STACS.2024.13⟩
- Accès au texte intégral et bibtex
-
- auteur
- Romain Cosson, Laurent Massoulié
- titre
- Collective Tree Exploration via Potential Function Method
- article
- ITCS 2024 - 15th Innovations in Theoretical Computer Science Conference, Jan 2024, Berkeley, CA, United States. ⟨10.4230/LIPIcs.ITCS.2024.35⟩
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Christine Tasson
- titre
- Programmation réactive probabiliste
- article
- 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
- Accès au texte intégral et bibtex
-
- auteur
- Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
- titre
- Abstract Interpretation-Based Feature Importance for Support Vector Machines
- article
- 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.27-49, ⟨10.1007/978-3-031-50524-9_2⟩
- Accès au texte intégral et bibtex
-
- auteur
- Romain Cosson
- titre
- Breaking the k/ log k Barrier in Collective Tree Exploration via Tree-Mining
- article
- SODA 2024 - ACM-SIAM Symposium on Discrete Algorithms, Jan 2024, Alexandria, VA, United States. pp.4264-4282, ⟨10.1137/1.9781611977912.148⟩
- Accès au texte intégral et bibtex
-
- auteur
- Romain Loiseau, Elliot Vincent, Mathieu Aubry, Loic Landrieu
- titre
- Learnable Earth Parser: Discovering 3D Prototypes in Aerial Scans
- article
- CVPR, 2024, Seattle (USA), United States
- Accès au bibtex
-
Book sections
- auteur
- Pierre Senellart
- titre
- On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System
- article
- Antoine Amarilli; Alin Deutsch. The Provenance of Elegance in Computation — Essays Dedicated to Val Tannen, Schloss Dagstuhl, 2024, OpenAccess Series in Informatics, ⟨10.4230/OASIcs.Tannen.2024.12⟩
- Accès au texte intégral et bibtex
-
Other publications
- auteur
- Gabriel Bathie, Panagiotis Charalampopoulos, Tatiana Starikovskaya
- titre
- Internal Pattern Matching in Small Space and Applications
- article
- 2024
- Accès au texte intégral et bibtex
-
Books
- auteur
- François Baccelli, Bartłomiej Błaszczyszyn, Mohamed Karray
- titre
- Random Measures, Point Processes, and Stochastic Geometry
- article
- Inria, 2024
- Accès au texte intégral et bibtex
-
Proceedings
- auteur
- Nathan Doumèche, Francis Bach, Gérard Biau, Claire Boyer
- titre
- Physics-informed machine learning as a kernel method
- article
- Proceedings of Thirty Seventh Conference on Learning Theory, Proceedings of Machine Learning Research, 247, pp.1399-1450, 2024
- Accès au texte intégral et bibtex
-
Reports
- auteur
- Asmaa Maaini
- titre
- Infrastructures de la santé au Maroc
- article
- Banque africaine de développement. 2024
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Sébastien Candel, Guy Perrin, Jean-Loup Puget
- titre
- Grandes Constellations de Satellites : Enjeux et Impacts
- article
- Académie des sciences. 2024
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Sébastien Candel, Guy Perrin, Jean-Loup Puget
- titre
- Large Satellite Constellations: Challenges and Impact
- article
- Académie des sciences. 2024
- Accès au texte intégral et bibtex
-
Theses
- auteur
- Shrey Mishra
- titre
- Multimodal Extraction of Proofs and Theorems from the Scientific Literature
- article
- Information Retrieval [cs.IR]. Université Paris Sciences & Lettres, 2024. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- auteur
- Elliot Vincent, Mehraïl Saroufim, Jonathan Chemla, Yves Ubelmann, Philippe Marquis, Jean Ponce, Mathieu Aubry
- titre
- Detecting Looted Archaeological Sites from Satellite Image Time Series
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Elliot Vincent, Jean Ponce, Mathieu Aubry
- titre
- Satellite Image Time Series Semantic Change Detection: Novel Architecture and Analysis of Domain Shift
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Le Lidec, Louis Montaut, Yann de Mont-Marin, Justin Carpentier
- titre
- End-to-End and Highly-Efficient Differentiable Simulation for Robotics
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Céline Moucer, Adrien Taylor, Francis Bach
- titre
- Constructive approaches to concentration inequalities with independent random variables
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Bertille Follain, Francis Bach
- titre
- Nonparametric Linear Feature Learning in Regression Through Regularisation
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Bertille Follain, Francis Bach
- titre
- Enhanced Feature Learning via Regularisation: Integrating Neural Networks and Kernel Methods
- article
- 2024
- Accès au bibtex
-
- auteur
- Xunyi Zhao, Lionel Eyraud-Dubois, Théotime Le Hellard, Julia Gusak, Olivier Beaumont
- titre
- OFFMATE: full fine-tuning of LLMs on a single GPU by re-materialization and offloading
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Bušić Ana, Cadas Arnaud, Josu Doncel, Fourneau Jean-Michel
- titre
- Performance Paradox of Dynamic Matching Models under Greedy Policies
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Ewen Louis Dantec, Wilson Jallet, Justin Carpentier
- titre
- From centroidal to whole-body models for legged locomotion: a comparative analysis
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- David Holzmüller, Léo Grinsztajn, Ingo Steinwart
- titre
- Better by Default: Strong Pre-Tuned MLPs and Boosted Trees on Tabular Data
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Humbert, Batiste Le Bars, Aurélien Bellet, Sylvain Arlot
- titre
- Marginal and training-conditional guarantees in one-shot federated conformal prediction
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Sylvain Gay, Achour Mostefaoui, Matthieu Perrin
- titre
- No Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems (Extended Version)
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Claire Bizon Monroc, Ana Bušić, Donatien Dubuc, Jiamin Zhu
- titre
- Multi-agent reinforcement learning for partially observable cooperative systems with acyclic dependence structure
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Marc Lambert, Francis Bach, Silvère Bonnabel
- titre
- Variational Dynamic Programming for Stochastic Optimal Control
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Lech Duraj, Ross J. Kang, Hoang La, Jonathan Narboni, Filip Pokrývka, Clément Rambaud, Amadeus Reinald
- titre
- The $\chi$-binding function of $d$-directional segment graphs
- article
- 2024
- Accès au bibtex
-
- auteur
- Nicolas Chahine, Sira Ferradans, Jean Ponce
- titre
- PICNIQ: Pairwise Comparisons for Natural Image Quality Assessment
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Bharath Roy Choudhury
- titre
- Genealogies Of Records Of Stochastic Processes With Stationary Increments As Unimodular Trees
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Corbinian Schlosser, Matteo Tacchi
- titre
- Specialized effective Positivstellensätze for improved convergence rates of the moment-SOS hierarchy
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Céline Moucer, Adrien B Taylor, Francis Bach
- titre
- Geometry-dependent matching pursuit: a transition phase for convergence on linear regression and LASSO
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Louis Mandel, Christine Tasson
- titre
- Density-Based Semantics for Reactive Probabilistic Programming
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin
- titre
- Verifying Performance Properties of Probabilistic Inference
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Yann de Mont-Marin, Martial Hebert, Jean Ponce
- titre
- Geodesic turnpikes for robot motion planning
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Nicolas Fabre, Ulysse Chabaud
- titre
- Photonic quantum information processing using the frequency continuous-variable of single photons
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Théophile Cantelobre, Carlo Ciliberto, Benjamin Guedj, Alessandro Rudi
- titre
- Closed-form Filtering for Non-linear Systems
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Nicolas Chahine, Sira Ferradans, Javier Vazquez-Corral, Jean Ponce
- titre
- Generalized Portrait Quality Assessment
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Paul Viallard, Maxime Haddouche, Umut Şimşekli, Benjamin Guedj
- titre
- Tighter Generalisation Bounds via Interpolation
- article
- 2024
- Accès au bibtex
-
- auteur
- Maxime Haddouche, Paul Viallard, Umut Şimşekli, Benjamin Guedj
- titre
- A PAC-Bayesian Link Between Generalisation and Flat Minima
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann, Laurence Rideau, Laurent Théry
- titre
- Towards a correctly-rounded and fast power function in binary64 arithmetic
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Christian Hirsch, Benedikt Jahnel, Sanjoy Kumar Jhawar, Péter Juhász
- titre
- Poisson approximation of fixed-degree nodes in weighted random connection models
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Le Lidec, Justin Carpentier
- titre
- Reconciling RaiSim with the Maximum Dissipation Principle
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Christine Fricker, Hanene Mohamed, Alessia Rigonat, Martin Trépanier
- titre
- A new stochastic model for carsharing suited to free-floating
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Scheid, Daniil Tiapkin, Etienne Boursier, Aymeric Capitaine, El Mahdi, Éric Moulines, Michael I Jordan, Alain Durmus
- titre
- Incentivized Learning in Principal-Agent Bandit Games
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Corbinian Schlosser, Matteo Tacchi, Alexey Lazarev
- titre
- Convergence rates for the moment-SoS hierarchy
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Ajay Sathya, Justin Carpentier
- titre
- Constrained Articulated Body Dynamics Algorithms
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Didier Henrion, Alessandro Rudi
- titre
- Solving moment and polynomial optimization problems on Sobolev spaces
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Shuvomoy Das Gupta, Robert Freund, Xu Andy Sun, Adrien Taylor
- titre
- Nonlinear conjugate gradient methods: worst-case convergence rates via computer-assisted analyses
- article
- 2024
- Accès au bibtex
-
- auteur
- Manu Upadhyaya, Sebastian Banert, Adrien Taylor, Pontus Giselsson
- titre
- Automated tight Lyapunov analysis for first-order methods
- article
- 2024
- Accès au bibtex
-
- auteur
- Baptiste Goujaud, Adrien Taylor, Aymeric Dieuleveut
- titre
- Provable non-accelerations of the heavy-ball method
- article
- 2024
- Accès au bibtex
-
- auteur
- Riccardo Bonalli, Alessandro Rudi
- titre
- Non-Parametric Learning of Stochastic Differential Equations with Fast Rates of Convergence
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Boudart, Alessandro Rudi, Pierre Gaillard
- titre
- Structured Prediction in Online Learning
- article
- 2024
- Accès au texte intégral et bibtex
-
- auteur
- Matthieu Futeral, Armel Zebaze, Pedro Ortiz Suarez, Julien Abadji, Rémi Lacroix, Cordelia Schmid, Rachel Bawden, Benoît Sagot
- titre
- mOSCAR: A Large-scale Multilingual and Multimodal Document-level Corpus
- article
- 2024
- Accès au bibtex
-
- auteur
- Benjamin Dupuis, Paul Viallard, George Deligiannidis, Umut Şimşekli
- titre
- Uniform Generalization Bounds on Data-Dependent Hypothesis Sets via PAC-Bayesian Theory on Random Sets
- article
- 2024
- Accès au bibtex
-
- auteur
- Gabriel Mastrilli, Bartlomiej Blaszczyszyn, Frédéric Lavancier
- titre
- Estimating the hyperuniformity exponent of point processes
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Journal articles
- auteur
- Simon Neves, Verena Yacoub, Ulysse Chabaud, Mathieu Bozzio, Iordanis Kerenidis, Eleni Diamanti
- titre
- Experimental cheat-sensitive quantum weak coin flipping
- article
- Nature Communications, 2023, 14 (1), pp.1855. ⟨10.1038/s41467-023-37566-x⟩
- Accès au bibtex
-
- auteur
- Tanguy Marchand, Misaki Ozawa, Giulio Biroli, Stéphane Mallat
- titre
- Multiscale Data-Driven Energy Estimation and Generation
- article
- Physical Review X, 2023, 13 (4), pp.041038. ⟨10.1103/PhysRevX.13.041038⟩
- Accès au texte intégral et bibtex
-
- auteur
- Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
- titre
- Programming microcontrollers through high-level abstractions: The OMicroB project
- article
- Journal of Computer Languages, 2023, 77, pp.101228. ⟨10.1016/j.cola.2023.101228⟩
- Accès au texte intégral et bibtex
-
- auteur
- Benedikt Jahnel, Sanjoy Kumar Jhawar, Anh Duc Vu
- titre
- Continuum percolation in a nonstabilizing environment
- article
- Electronic Journal of Probability, 2023, 28, pp.1-38. ⟨10.1214/23-ejp1029⟩
- Accès au texte intégral et bibtex
-
- auteur
- Mathieu Even, Scott Pesme, Suriya Gunasekar, Nicolas Flammarion
- titre
- (S)GD over Diagonal Linear Networks: Implicit Regularisation, Large Stepsizes and Edge of Stability
- article
- Advances in Neural Information Processing Systems, 2023, ⟨10.48550/arXiv.2302.08982⟩
- Accès au texte intégral et bibtex
-
- auteur
- Neil Cammardella, Ana Bušić, Sean Meyn
- titre
- Kullback–Leibler-Quadratic Optimal Control
- article
- SIAM Journal on Control and Optimization, 2023, 61 (5), pp.3234-3258. ⟨10.1137/21M1433654⟩
- Accès au bibtex
-
- auteur
- Ke Feng, François Baccelli
- titre
- Spatial Network Calculus and Performance Guarantees in Wireless Networks
- article
- IEEE Transactions on Wireless Communications, 2023, 23 (5), pp.5033-5047. ⟨10.1109/TWC.2023.3324069⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, Marc Pouzet
- titre
- A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5s), pp.Article 152: 1-26. ⟨10.1145/3609131⟩
- Accès au texte intégral et bibtex
-
- auteur
- Andrea Canidio, Vincent Danos
- titre
- Commitment Against Front-Running Attacks
- article
- Management Science, 2023, ⟨10.1287/mnsc.2023.01239⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marc Lambert, Silvère Bonnabel, Francis Bach
- titre
- Variational Gaussian approximation of the Kushner optimal filter
- article
- Lecture Notes in Computer Science, 2023, ⟨10.1007/978-3-031-38271-0_39⟩
- Accès au texte intégral et bibtex
-
- auteur
- Céline Moucer, Adrien Taylor, Francis Bach
- titre
- A systematic approach to Lyapunov analyses of continuous-time models in convex optimization
- article
- SIAM Journal on Optimization, 2023, 33 (3), pp.1558-1586. ⟨10.1137/22M1498486⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ali Siahkoohi, Rudy Morel, Maarten V. de Hoop, Erwan Allys, Grégory Sainton, Taichi Kawamura
- titre
- Unearthing InSights into Mars: Unsupervised Source Separation with Limited Data
- article
- Proceedings of the 40th International Conference on Machine Learning, 2023, Proceedings of the 40 th International Conference on Machine Learning, Honolulu, 202, pp.31754-31772
- Accès au texte intégral et bibtex
-
- auteur
- Joel Mathias, Ana Bušić, Sean Meyn
- titre
- Load-Level Control Design for Demand Dispatch With Heterogeneous Flexible Loads
- article
- IEEE Transactions on Control Systems Technology, 2023, 31 (4), pp.1830-1843. ⟨10.1109/TCST.2023.3245287⟩
- Accès au bibtex
-
- auteur
- Guillaume Bagan, Quentin Deschamps, Eric Duchêne, Bastien Durain, Brice Effantin, Valentin Gledel, Nacim Oijid, Aline Parreau
- titre
- Incidence, a Scoring Positional Game on Graphs
- article
- Discrete Mathematics, In press, pp.113570. ⟨10.1016/j.disc.2023.113570⟩
- Accès au texte intégral et bibtex
-
- auteur
- Georges-Axel Jaloyan
- titre
- Hacker éthique: une espèce en voie d'extinction ? 1
- article
- Les Notes du CREOGN, 2023, 89
- Accès au texte intégral et bibtex
-
- auteur
- Austin Coffman, Ana Bušić, Prabir Barooah
- titre
- A unified framework for coordination of thermostatically controlled loads
- article
- Automatica, 2023, 152, pp.111002. ⟨10.1016/j.automatica.2023.111002⟩
- Accès au bibtex
-
- auteur
- Chang-Sik Choi, François Baccelli
- titre
- LOS Coverage Area in Vehicular Networks with Cox-Distributed Roadside Units and Relays
- article
- IEEE Transactions on Vehicular Technology, 2023, 72 (6), pp.7772-7782. ⟨10.1109/TVT.2023.3238730⟩
- Accès au bibtex
-
- auteur
- Georges-Axel Jaloyan
- titre
- Ethical Hacker: An Endangered Species? 1
- article
- Les Notes du CREOGN, In press, les notes du Creogn, 89
- Accès au texte intégral et bibtex
-
- auteur
- Olivier Flasseur, Théo Bodrito, Julien Mairal, Jean Ponce, Maud Langlois, Anne-Marie Lagrange
- titre
- deep PACO: Combining statistical models with deep learning for exoplanet detection and characterization in direct imaging at high contrast
- article
- Monthly Notices of the Royal Astronomical Society, 2023, 527 (1), pp.1534-1562. ⟨10.1093/mnras/stad3143⟩
- Accès au texte intégral et bibtex
-
- auteur
- Adrien Taylor, Yoel Drori
- titre
- An optimal gradient method for smooth convex minimization
- article
- Mathematical Programming, Series A, 2023, 199 (1-2), pp.557-594. ⟨10.1007/s10107-022-01839-y⟩
- Accès au bibtex
-
- auteur
- Sizhuo Li, Martin Brandt, Rasmus Fensholt, Ankit Kariryaa, Christian Igel, Fabian Gieseke, Thomas Nord-Larsen, Stefan Oehmcke, Ask Holm Carlsen, Samuli Junttila, Xiaoye Tong, Alexandre D’aspremont, Philippe Ciais
- titre
- Deep learning enables image-based tree counting, crown segmentation, and height prediction at national scale
- article
- PNAS Nexus, 2023, 2 (4), ⟨10.1093/pnasnexus/pgad076⟩
- Accès au texte intégral et bibtex
-
- auteur
- Nofar Carmeli, Nikolaos Tziavelis, Wolfgang Gatterbauer, Benny Kimelfeld, Mirek Riedewald
- titre
- Tractable Orders for Direct Access to Ranked Answers of Conjunctive Queries
- article
- ACM Transactions on Database Systems, 2023, 48 (1), pp.1-45. ⟨10.1145/3578517⟩
- Accès au texte intégral et bibtex
-
- auteur
- Céline Pieters, Emmanuelle Danblon, Philippe Souères, Jean-Paul Laumond
- titre
- Talking about moving machines
- article
- Interaction Studies, 2023, Interaction Studies, 23 (2), pp.322-340. ⟨10.1075/is.22005.pie⟩
- Accès au texte intégral et bibtex
-
- auteur
- Brice Minaud, Charalampos Papamanthou
- titre
- Generalized cuckoo hashing with a stash, revisited
- article
- Information Processing Letters, 2023, 181, ⟨10.1016/j.ipl.2022.106356⟩
- Accès au texte intégral et bibtex
-
- auteur
- Shufan Jiang, Stéphane Cormier, Rafael Angarita, Francis Rousseaux
- titre
- Improving text mining in plant health domain with GAN and/or pre-trained language model
- article
- Frontiers in Artificial Intelligence, 2023, 6, pp.1072329. ⟨10.3389/frai.2023.1072329⟩
- Accès au texte intégral et bibtex
-
- auteur
- Wonyeol Lee, Xavier Rival, Hongseok Yang
- titre
- Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
- article
- Proceedings of the ACM on Programming Languages, 2023, 7, pp.335 - 366. ⟨10.1145/3571205⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Aboulker, Édouard Bonnet, Eun Jung Kim, Florian Sikora
- titre
- Grundy Coloring and Friends, Half-Graphs, Bicliques
- article
- Algorithmica, 2023, 85 (1), pp.1-28. ⟨10.1007/s00453-022-01001-2⟩
- Accès au bibtex
-
- auteur
- Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
- titre
- Synchronization modulo P in dynamic networks
- article
- Theoretical Computer Science, 2023, 942, pp.200-212. ⟨10.1016/J.TCS.2022.11.033⟩
- Accès au texte intégral et bibtex
-
- auteur
- Mert Gürbüzbalaban, Yuanhan Hu, Umut Şimşekli, Lingjiong Zhu
- titre
- Cyclic and Randomized Stepsizes Invoke Heavier Tails in SGD than Constant Stepsize
- article
- Transactions on Machine Learning Research Journal, 2023
- Accès au bibtex
-
- auteur
- Paul Viallard, Pascal Germain, Amaury Habrard, Emilie Morvant
- titre
- A General Framework for the Practical Disintegration of PAC-Bayesian Bounds
- article
- Machine Learning, 2023, 113 (2), pp.519-604. ⟨10.1007/s10994-023-06391-0⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marc Lambert, Silvère Bonnabel, Francis Bach
- titre
- The limited-memory recursive variational Gaussian approximation (L-RVGA)
- article
- Statistics and Computing, 2023, 33 (70), ⟨10.1007/s11222-023-10239-x⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Roulet, Juliette Tricot, Morgan Sweeney
- titre
- Application du droit de l'Union européenne par la Cour de cassation
- article
- Europe. Revue littéraire mensuelle, 2023, 12
- Accès au bibtex
-
- auteur
- Baptiste Goujaud, Aymeric Dieuleveut, Adrien Taylor
- titre
- Counter-Examples in First-Order Optimization: A Constructive Approach
- article
- IEEE Control Systems Letters, 2023, 7, pp.2485-2490. ⟨10.1109/LCSYS.2023.3286277⟩
- Accès au bibtex
-
- auteur
- Francis Bach, Alessandro Rudi
- titre
- Exponential convergence of sum-of-squares hierarchies for trigonometric polynomials
- article
- SIAM Journal on Optimization, In press, ⟨10.1137/22m1540818⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ulysse Chabaud, Mattia Walschaers
- titre
- Resources for bosonic quantum computational advantage
- article
- Physical Review Letters, 2023, 130 (9), pp.090602. ⟨10.1103/PhysRevLett.130.090602⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bartlomiej Blaszczyszyn, Philippe Jacquet, Bernard Mans, Dalia Popescu
- titre
- Energy and Delay Trade-Offs of End-to-End Vehicular Communications using a Hyperfractal Urban Modelling
- article
- Annals of Telecommunications - annales des télécommunications, 2023, special issue on 5+G Network Energy Consumption, Energy Efficiency and Environmental Impact, ⟨10.1007/s12243-022-00939-2⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jianwei Li, Michael Walter
- titre
- Improving Convergence and Practicality of Slide-type Reductions
- article
- Information and Computation, In press, ⟨10.1016/j.ic.2023.105012⟩
- Accès au texte intégral et bibtex
-
- auteur
- Waïss Azizian, Franck Iutzeler, Jérôme Malick
- titre
- Regularization for Wasserstein Distributionally Robust Optimization
- article
- ESAIM: Control, Optimisation and Calculus of Variations, 2023, 33, pp.31. ⟨10.1051/cocv/2023019⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Paul Viallard, Maxime Haddouche, Umut Şimşekli, Benjamin Guedj
- titre
- Learning via Wasserstein-Based High Probability Generalisation Bounds
- article
- NeurIPS 2023 Workshop on Optimal Transport and Machine Learning (OTML'23), Dec 2023, New Orleans, United States. ⟨10.48550/arXiv.2306.04375⟩
- Accès au texte intégral et bibtex
-
- auteur
- Benjamin Dupuis, Paul Viallard
- titre
- From Mutual Information to Expected Dynamics: New Generalization Bounds for Heavy-Tailed SGD
- article
- NeurIPS 2023 Workshop Heavy Tails in Machine Learning, Dec 2023, New Orleans, United States
- Accès au bibtex
-
- auteur
- Baptiste Goujaud, Aymeric Dieuleveut, Adrien Taylor
- titre
- On Fundamental Proof Structures in First-Order Optimization
- article
- Conference on Decision and Control, Tutorial sessions, Dec 2023, Marina Bay Sands, Singapore. ⟨10.48550/arXiv.2310.02015⟩
- Accès au texte intégral et bibtex
-
- auteur
- Lucas Weber, Ana Bušić, Jiamin Zhu
- titre
- Reinforcement learning based demand charge minimization using energy storage
- article
- 62nd IEEE Conference on Decision and Control (CDC), IEEE, Dec 2023, Singapore, Singapore. pp.4351-4357, ⟨10.1109/CDC49753.2023.10383414⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ana Bušić, Sean Meyn, Neil Cammardella
- titre
- Learning Optimal Policies in Mean Field Models with Kullback-Leibler Regularization
- article
- 2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.38-45, ⟨10.1109/CDC49753.2023.10383868⟩
- Accès au bibtex
-
- auteur
- Oumayma Bounou, Jean Ponce, Justin Carpentier
- titre
- Leveraging Proximal Optimization for Differentiating Optimal Control Solvers
- article
- IEEE 62nd Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore
- Accès au texte intégral et bibtex
-
- auteur
- Krunoslav Lehman Pavasovic, Alain Durmus, Umut Simsekli
- titre
- Approximate Heavy Tails in Offline (Multi-Pass) Stochastic Gradient Descent
- article
- Neural Information Processing Systems (NeurIPS), Spotlight Presentation, 2023, Dec 2023, New Orleans (LA), United States
- Accès au bibtex
-
- auteur
- Lawrence Stewart, Francis S Bach, Felipe Llinares López, Quentin Berthet
- titre
- Differentiable Clustering with Perturbed Spanning Forests
- article
- 37th Conference on Neural Information Processing Systems, Dec 2023, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Anant Raj, Umut Şimşekli, Alessandro Rudi
- titre
- Efficient Sampling of Stochastic Differential Equations with Positive Semi-Definite Models
- article
- NeurIPS 2023 - Thirty-seventh Annual Conference on Neural Information Processing Systems, Dec 2023, New Orleans, United States
- Accès au bibtex
-
- auteur
- Lingjiong Zhu, Mert Gurbuzbalaban, Anant Raj, Umut Şimşekli
- titre
- Uniform-in-Time Wasserstein Stability Bounds for (Noisy) Stochastic Gradient Descent
- article
- NeurIPS 2023 - Thirty-seventh Annual Conference on Neural Information Processing Systems,, Dec 2023, New orleans, United States
- Accès au bibtex
-
- auteur
- Yijun Wan, Melih Barsbey, Umut Şimşekli, Abdellatif Zaidi
- titre
- Implicit Compressibility of Overparametrized Neural Networks Trained with Heavy-Tailed SGD
- article
- The Thirty-Seventh Annual Conference on Neural Information Processing Systems (NeurIPS), Dec 2023, New Orleans, United States
- Accès au bibtex
-
- auteur
- Gaspard Beugnot, Julien Mairal, Alessandro Rudi
- titre
- GloptiNets: Scalable Non-Convex Optimization with Certificates
- article
- NeurIPS 2023 - 37th Conference on Neural Information Processing Systems, Dec 2023, New Orleans, United States. pp.1-21
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Yang, Arsha Nagrani, Ivan Laptev, Josef Sivic, Cordelia Schmid
- titre
- VidChapters-7M: Video Chapters at Scale
- article
- NeurIPS 2023 - Conference on Neural Information Processing Systems - Track on Datasets and Benchmarks, Dec 2023, New Orleans (LA), United States
- Accès au texte intégral et bibtex
-
- auteur
- Duy Nguyen, Duong Hieu Phan, David Pointcheval
- titre
- Verifiable Decentralized Multi-Client Functional Encryption for Inner Product
- article
- Advances in Cryptology - ASIACRYPT 2023, Dec 2023, Guanzhou, China
- Accès au texte intégral et bibtex
-
- auteur
- Dario Fiore, Dimitris Kolonelos, Paola de Perthuis
- titre
- Cuckoo Commitments: Registration-Based Encryption and Key-Value Map Commitments for Large Spaces
- article
- Asiacrypt 2023 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2023, Canton, China
- Accès au texte intégral et bibtex
-
- auteur
- Brice Minaud, Michael Reichle
- titre
- Hermes: I/O-Efficient Forward-Secure Searchable Symmetric Encryption
- article
- Asiacrypt 2023 - International Conference on the Theory and Application of Cryptology and Information Security, IACR, Dec 2023, Guangzhou, China
- Accès au texte intégral et bibtex
-
- auteur
- Céline Chevalier, Paul Hermouet, Quoc-Huy Vu
- titre
- Semi-Quantum Copy-Protection and More
- article
- TCC 2023, Nov 2023, Taipei, Taiwan
- Accès au texte intégral et bibtex
-
- auteur
- Shizhe Chen, Ricardo Garcia, Cordelia Schmid, Ivan Laptev
- titre
- PolarNet: 3D Point Clouds for Language-Guided Robotic Manipulation
- article
- 7th Conference on Robot Learning (CoRL 2023), Nov 2023, Atlanta, GA, United States
- Accès au texte intégral et bibtex
-
- auteur
- Shufan Jiang, Pierre Senellart
- titre
- Extracting Definienda in Mathematical Scholarly Articles with Transformers
- article
- The 2nd Workshop on Information Extraction from Scientific Publications at IJCNLP-AACL 2023, Nov 2023, Online, Indonesia
- Accès au texte intégral et bibtex
-
- auteur
- Ilia Shilov, Hélène Le Cadre, Ana Bušić, Anibal Sanjab, Pierre Pinson
- titre
- Towards Forecast Markets For Enhanced Peer-to-Peer Electricity Trading
- article
- IEEE SmartGridComm, IEEE, Oct 2023, Glasgow, United Kingdom. ⟨10.1109/smartgridcomm57358.2023.10333930⟩
- Accès au texte intégral et bibtex
-
- auteur
- Etienne Moullet, François Bailly, Justin Carpentier, Christine Azevedo Coste
- titre
- Vision-based interface for grasping intention detection and grip selection : towards intuitive upper-limb assistive devices
- article
- Congrès annuel de la Société de Biomécanique, Oct 2023, Grenoble, France
- Accès au texte intégral et bibtex
-
- auteur
- David Carral, Lucas Larroque, Michaël Thomazo, Marie-Laure Mugnier
- titre
- Normalisations of Existential Rules: Not so Innocuous!
- article
- BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
- Accès au bibtex
-
- auteur
- Jérôme Boillot, Jérôme Feret
- titre
- Symbolic transformation of expressions in modular arithmetic
- article
- Static Analysis: 30th International Symposium, SAS 2023, Oct 2023, Cascais, Portugal. pp.84-113, ⟨10.1007/978-3-031-44245-2_6⟩
- Accès au texte intégral et bibtex
-
- auteur
- Josselin Giet, Félix Ridoux, Xavier Rival
- titre
- A Product of Shape and Sequence Abstractions
- article
- Static Analysis: 30th International Symposium, SAS 2023, Oct 2023, Cascais, Portugal
- Accès au texte intégral et bibtex
-
- auteur
- Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
- titre
- A Formal Framework to Measure the Incompleteness of Abstract Interpretations
- article
- 30th International Static Analysis Symposium (SAS 2023), Oct 2023, Cascais, Portugal
- Accès au texte intégral et bibtex
-
- auteur
- Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet
- titre
- Formal Verification of a Post-Quantum Signal Protocol with Tamarin
- article
- VECOS 2023 - 16th International Conference on Verification and Evaluation of Computer and Communication Systems, Oct 2023, Marrakech, Morocco. pp.105-121, ⟨10.1007/978-3-031-49737-7_8⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bernadette Charron-Bost, Louis Penet de Monterno
- titre
- Self-Stabilizing Clock Synchronization in Probabilistic Networks
- article
- DISC 2023 - 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italie, Italy. pp.12:1--12:18, ⟨10.4230/LIPICS.DISC.2023.12⟩
- Accès au texte intégral et bibtex
-
- auteur
- Romain Cosson, Laurent Massoulié, Laurent Viennot
- titre
- Efficient Collaborative Tree Exploration with Breadth-First Depth-Next
- article
- International Symposium on Distributed Computing (DISC 2023), Oct 2023, L'aquila, Italy. ⟨10.4230/LIPIcs.DISC.2023.14⟩
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Le Moing, Jean Ponce, Cordelia Schmid
- titre
- WALDO: Future Video Synthesis using Object Layer Decomposition and Parametric Flow Prediction
- article
- IEEE/CVF International Conference on Computer Vision (ICCV), Oct 2023, Paris, France
- Accès au bibtex
-
- auteur
- David Pointcheval
- titre
- Linearly-Homomorphic Signatures for Short Randomizable Proofs of Subset Membership
- article
- Eighth International Joint Conference on Electronic Voting (E-Vote-ID '23), Oct 2023, Luxembourg, Luxembourg
- Accès au texte intégral et bibtex
-
- auteur
- Shizhe Chen, Thomas Chabal, Ivan Laptev, Cordelia Schmid
- titre
- Object Goal Navigation with Recursive Implicit Maps
- article
- The 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2023), Oct 2023, Detroit (Michigan), United States
- Accès au texte intégral et bibtex
-
- auteur
- Ricardo Garcia, Robin Strudel, Shizhe Chen, Etienne Arlaud, Ivan Laptev, Cordelia Schmid
- titre
- Robust Visual Sim-to-Real Transfer for Robotic Manipulation
- article
- IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2023, Detroit, United States
- Accès au texte intégral et bibtex
-
- auteur
- Caio Lauand, Ana Bušić, Sean Meyn
- titre
- Inverse Free Zap Stochastic Approximation Extended Abstract
- article
- 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton), Sep 2023, Monticello, United States. pp.1-4, ⟨10.1109/Allerton58177.2023.10313420⟩
- Accès au bibtex
-
- auteur
- Théophile Brézot, Paola de Perthuis, David Pointcheval
- titre
- Covercrypt: an Efficient Early-Abort KEM for Hidden Access Policies with Traceability from the DDH and LWE
- article
- ESORICS 2023 - 28th European Symposium on Research in Computer Security, Sep 2023, La Haye, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Timothy Bourke, Basile Pesin, Marc Pouzet
- titre
- Verified Compilation of Synchronous Dataflow with State Machines
- article
- EMSOFT 2023: 23rd International Conference on Embedded Software, Sep 2023, Hamburg, Germany. pp.137:1-137:26, ⟨10.1145/3608102⟩
- Accès au texte intégral et bibtex
-
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann
- titre
- Towards a correctly-rounded and fast power function in binary64 arithmetic
- article
- 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH 2023), Sep 2023, Portland, Oregon (USA), United States
- Accès au texte intégral et bibtex
-
- auteur
- Aurélie Kong Win Chang, Jerome Feret, Gregor Gössler
- titre
- A Semantics of Core Erlang with Handling of Signals
- article
- Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩
- Accès au texte intégral et bibtex
-
- auteur
- Olivier Flasseur, Théo Bodrito, Julien Mairal, Jean Ponce, Maud Langlois, Anne-Marie Lagrangev
- titre
- Combining multi-spectral data with statistical and deep-learning models for improved exoplanet detection in direct imaging at high contrast
- article
- EUSIPCO 2023 - European Signal Processing Conference, Sep 2023, Helsinki, Finland. pp.1-5, ⟨10.23919/EUSIPCO58844.2023.10289870⟩
- Accès au texte intégral et bibtex
-
- auteur
- Meghyn Bienvenu, Camille Bourgaux
- titre
- Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
- article
- 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Sep 2023, Rhodes, Greece. pp.97-106, ⟨10.24963/kr.2023/10⟩
- Accès au texte intégral et bibtex
-
- auteur
- Olivier Blazy, Céline Chevalier, Guillaume Renaut, Thomas Ricosset, Éric Sageloli, Hugo Senet
- titre
- Efficient Implementation of a Post-Quantum Anonymous Credential Protocol
- article
- ARES 2023: The 18th International Conference on Availability, Reliability and Security, Aug 2023, Benevento, Italy. pp.1-11, ⟨10.1145/3600160.3600188⟩
- Accès au bibtex
-
- auteur
- Angelo Saadeh, Pierre Senellart, Stéphane Bressan
- titre
- Confidential Truth Finding with Multi-Party Computation
- article
- DEXA 2023 - 34th International Conference on Database and Expert Systems Applications, Aug 2023, Penang, Malaysia
- Accès au texte intégral et bibtex
-
- auteur
- Julien Duron, Frédéric Havet, Florian Hörsch, Clément Rambaud
- titre
- On the minimum number of inversions to make a digraph k-(arc-)strong
- article
- EUROCOMB 2023 - European Conference on Combinatorics, Graph Theory and Applications, Aug 2023, Prague, Czech Republic. pp.386-392, ⟨10.5817/CZ.MUNI.EUROCOMB23-054⟩
- Accès au texte intégral et bibtex
-
- auteur
- Holger Paul Keeler, Bartlomiej Blaszczyszyn, Elie Cali
- titre
- Connectivity and interference in device-to-device networks in Poisson-Voronoi cities
- article
- WiOpt 2023 - 21st International Symposium on Modeling and Optimization in Mobile, Ad hoc, and Wireless Networks, IEEE, Aug 2023, Singapore, Singapore
- Accès au bibtex
-
- auteur
- Antoine Gauquier, Pierre Senellart
- titre
- Automatically Inferring the Document Class of a Scientific Article
- article
- DocEng 2023 - 23rd ACM Symposium on Document Engineering, Aug 2023, Limerick, Ireland. ⟨10.1145/3573128.3604894⟩
- Accès au texte intégral et bibtex
-
- auteur
- Waïss Azizian, Guillaume Baudart, Marc Lelarge
- titre
- Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation
- article
- SPIGM@ICML 2023 - Structured Probabilistic Inference and Generative Modeling Workshop, Jul 2023, Honolulu, United States
- Accès au texte intégral et bibtex
-
- auteur
- Xunyi Zhao, Théotime Le Hellard, Lionel Eyraud-Dubois, Julia Gusak, Olivier Beaumont
- titre
- Rockmate: an Efficient, Fast, Automatic and Generic Tool for Re-materialization in PyTorch
- article
- ICML 2023 - 40 th International Conference on Machine Learning, Jul 2023, Honolulu (HI), United States
- Accès au texte intégral et bibtex
-
- auteur
- Anant Raj, Lingjiong Zhu, Mert Gürbüzbalaban, Umut Şimşekli
- titre
- Algorithmic Stability of Heavy-Tailed SGD with General Loss Functions
- article
- ICML 2023 - International Conference on Machine Learning, Jul 2023, Honolulu, United States
- Accès au bibtex
-
- auteur
- Matthieu Blanke, Marc Lelarge
- titre
- FLEX: an Adaptive Exploration Algorithm for Nonlinear Systems
- article
- ICML 2023 - International Conference on Machine Learning, Jul 2023, Honololu, Hawaii, United States. pp.2577-2591
- Accès au texte intégral et bibtex
-
- auteur
- Benjamin Dupuis, George Deligiannidis, Umut Şimşekli
- titre
- Generalization Bounds using Data-Dependent Fractal Dimensions
- article
- International Conference on Machine Learning (ICML 2023), Jul 2023, Honolulu, United States
- Accès au texte intégral et bibtex
-
- auteur
- Eduard Gorbunov, Adrien Taylor, Samuel Horváth, Gauthier Gidel
- titre
- Convergence of Proximal Point and Extragradient-Based Methods Beyond Monotonicity: the Case of Negative Comonotonicity
- article
- ICML 2023 - 40th International Conference on Machine Learning, Jul 2023, Honolulu, Hawai, United States. ⟨10.48550/arXiv.2210.13831⟩
- Accès au bibtex
-
- auteur
- Timothy Bourke, Vincent Bregeon, Marc Pouzet
- titre
- Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
- article
- 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienna, Austria. pp.1:1--1:22, ⟨10.4230/LIPIcs.ECRTS.2023.1⟩
- Accès au texte intégral et bibtex
-
- auteur
- Nicolas François, Thomas Laure, Jean Lieber
- titre
- Une logique pour représenter des variations propositionnelles
- article
- Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.11
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Giraud, Guillaume Bouffard
- titre
- Faulting original McEliece's implementations is possible
- article
- Workshop on the Security of Software/Hardware Interfaces, Guillaume Hiet; Jan Tobias Mühlberg, Jul 2023, Delft, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Matthieu Futeral, Cordelia Schmid, Ivan Laptev, Benoît Sagot, Rachel Bawden
- titre
- Tackling Ambiguity with Images: Improved Multimodal Machine Translation and Contrastive Evaluation
- article
- Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Jul 2023, Toronto, Canada. pp.5394-5413, ⟨10.18653/v1/2023.acl-long.295⟩
- Accès au texte intégral et bibtex
-
- auteur
- Paul Viallard
- titre
- Bornes de généralisation : quand l'information mutuelle rencontre les bornes PAC-Bayésiennes et désintégrées
- article
- CAp 2023 - Conférence sur l’Apprentissage Automatique, Jul 2023, Strasbourg, France
- Accès au bibtex
-
- auteur
- Frédéric Havet, Lucas Picasarri-Arrieta, Clément Rambaud
- titre
- On the Minimum Number of Arcs in 4-Dicritical Oriented Graphs
- article
- WG 2023 - International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2023, Fribourg, Switzerland. pp.376-387, ⟨10.1007/978-3-031-43380-1_27⟩
- Accès au texte intégral et bibtex
-
- auteur
- Paweł Gawrychowski, Garance Gourdel, Tatiana Starikovskaya, Teresa Anna Steiner
- titre
- Compressed Indexing for Consecutive Occurrences
- article
- CPM 2023 - 34th Annual Symposium on Combinatorial Pattern Matching, Jun 2023, Paris, France. ⟨10.4230/LIPIcs.CPM.2023.12⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ana Bušić, Jean-Michel Fourneau
- titre
- Stochastic Matching Model with Returning Items
- article
- ASMTA/EPEW: The 27th International Conference on Analytical & Stochastic Modelling Techniques & Applications / 19th European Performance Engineering Workshop, Jun 2023, Florence, Italy. pp.186-200, ⟨10.1007/978-3-031-43185-2_13⟩
- Accès au bibtex
-
- auteur
- Shin-Ya Katsumata, Xavier Rival, Jérémy Dubut
- titre
- A Categorical Framework for Program Semantics and Semantic Abstraction
- article
- MFPS 2023 - Mathematical Foundations of Program Semantics, Jun 2023, Bloomington, United States
- Accès au texte intégral et bibtex
-
- auteur
- Ky Nguyen, Duong Hieu Phan, David Pointcheval
- titre
- Optimal Security Notion for Decentralized Multi-Client Functional Encryption
- article
- Applied Cryptography and Network Security. ACNS 2023, Jun 2023, Kyoto, Japan. pp.336-365, ⟨10.1007/978-3-031-33491-7_13⟩
- Accès au texte intégral et bibtex
-
- auteur
- Éric Sageloli, Pierre Pébereau, Pierrick Méaux, Céline Chevalier
- titre
- Shorter and Faster Identity-Based Signatures with Tight Security in the (Q)ROM from Lattices
- article
- 21st International Conference on Applied Cryptography and Network Security, Jun 2023, Kyoto, Japan. pp.634--663, ⟨10.1007/978-3-031-33488-7_24⟩
- Accès au texte intégral et bibtex
-
- auteur
- Romain Cosson, Laurent Massoulie, Laurent Viennot
- titre
- Brief Announcement: Efficient Collaborative Tree Exploration with Breadth-First Depth-Next
- article
- PODC '23: 2023 ACM Symposium on Principles of Distributed Computing, Jun 2023, Orlando FL, United States. pp.24-27, ⟨10.1145/3583668.3594568⟩
- Accès au texte intégral et bibtex
-
- auteur
- Hugo Beguinet, Céline Chevalier, David Pointcheval, Thomas Ricosset, Mélissa Rossi
- titre
- GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges
- article
- Conference on Applied Cryptography and Network Security (ACNS '23), Jun 2023, Kyoto, Japan. pp.516-538, ⟨10.1007/978-3-031-33491-7_19⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marco Console, Leonid Libkin, Liat Peterfreund
- titre
- Querying Incomplete Numerical Data: Between Certain and Possibile Answers
- article
- SIGMOD/PODS '23: International Conference on Management of Data, Jun 2023, Seattle WA, United States. pp.349-358, ⟨10.1145/3584372.3588660⟩
- Accès au bibtex
-
- auteur
- Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet
- titre
- Polymorphic Types with Polynomial Sizes
- article
- 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2023), Jun 2023, Orlando, United States. pp.36-49, ⟨10.1145/3589246.3595372⟩
- Accès au texte intégral et bibtex
-
- auteur
- Zerui Chen, Shizhe Chen, Cordelia Schmid, Ivan Laptev
- titre
- gSDF: Geometry-Driven Signed Distance Functions for 3D Hand-Object Reconstruction
- article
- CVPR 2023 - IEEE/CVF Conference on Computer Vision and Pattern Recognition 2023, Jun 2023, Vancouver (Canada), Canada
- Accès au texte intégral et bibtex
-
- auteur
- Leonid Libkin, Liat Peterfreund
- titre
- SQL Nulls and Two-Valued Logic
- article
- SIGMOD/PODS '23: International Conference on Management of Data, Jun 2023, Seattle WA, United States. pp.11-20, ⟨10.1145/3584372.3588661⟩
- Accès au bibtex
-
- auteur
- Antoine Yang, Arsha Nagrani, Paul Hongsuck Seo, Antoine Miech, Jordi Pont-Tuset, Ivan Laptev, Josef Sivic, Cordelia Schmid
- titre
- Vid2Seq: Large-Scale Pretraining of a Visual Language Model for Dense Video Captioning
- article
- CVPR 2023 - IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2023, Vancouver, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Nicolas Chahine, Ana-Stefania Calarasanu, Davide Garcia-Civiero, Theo Cayla, Sira Ferradans, Jean Ponce
- titre
- An Image Quality Assessment Dataset for Portraits
- article
- CVPR 2023 - Conference on Computer Vision and Pattern Recognition 2023, IEEE/CVF, Jun 2023, Vancouver, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Nofar Carmeli, Luc Segoufin
- titre
- Conjunctive Queries With Self-Joins, Towards a Fine-Grained Complexity Analysis
- article
- PODS'23, Jun 2023, Seattle, United States
- Accès au bibtex
-
- auteur
- Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoč
- titre
- GPC: A Pattern Calculus for Property Graphs
- article
- Symposium on Principles of Database Systems (PODS), Jun 2023, Seattle WA USA, France. pp.241-250, ⟨10.1145/3584372.3588662⟩
- Accès au bibtex
-
- auteur
- Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoč, Mingxi Wu, Dusan Zivkovic
- titre
- PG-Schema: schemas for property graphs
- article
- ACM SIGMOD International Conference on Management of Data (SIGMOD), Jun 2023, Seattle, WA, United States. pp.1-25, ⟨10.1145/3589778⟩
- Accès au bibtex
-
- auteur
- Luca Negrini, Guruprerana Shabadi, Caterina Urban
- titre
- Static Analysis of Data Transformations in Jupyter Notebooks
- article
- 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023), Jun 2023, Orlando FL, United States. pp.8-13, ⟨10.1145/3589250.3596145⟩
- Accès au texte intégral et bibtex
-
- auteur
- Claire Bizon Monroc, Ana Bušić, Donatien Dubuc, Jiamin Zhu
- titre
- Actor Critic Agents for Wind Farm Control
- article
- 2023 American Control Conference (ACC), May 2023, San Diego, United States. pp.177-183, ⟨10.23919/ACC55779.2023.10156453⟩
- Accès au texte intégral et bibtex
-
- auteur
- Shufan Jiang, Rafael Angarita, Stéphane Cormier, Julien Orensanz, Francis Rousseaux
- titre
- ChouBERT : Pré-entraînement d'un modèle de langue française pour le Crowdsensing avec des Tweets dans un contexte phytosanitaire
- article
- INFORSID 2023 - INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2023, La Rochelle, France
- Accès au texte intégral et bibtex
-
- auteur
- Kateryna Zorina, David Kovar, Florent Lamiraux, Nicolas Mansard, Justin Carpentier, Josef Sivic, Vladimir Petrik
- titre
- Multi-Contact Task and Motion Planning Guided by Video Demonstration
- article
- ICRA 2023 - International Conference on Robotics and Automation, IEEE, May 2023, Londres, United Kingdom
- Accès au texte intégral et bibtex
-
- auteur
- Minttu Alakuijala, Gabriel Dulac-Arnold, Julien Mairal, Jean Ponce, Cordelia Schmid
- titre
- Learning Reward Functions for Robotic Manipulation by Observing Humans
- article
- ICRA 2023 - IEEE International Conference on Robotics and Automation, May 2023, London, United Kingdom. pp.1-11
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Le Lidec, Wilson Jallet, Ivan Laptev, Cordelia Schmid, Justin Carpentier
- titre
- Enforcing the consensus between Trajectory Optimization and Policy Learning for precise robot control
- article
- ICRA 2023 - IEEE International Conference on Robotics and Automation, May 2023, London, United Kingdom
- Accès au texte intégral et bibtex
-
- auteur
- Elliot Chane-Sane, Cordelia Schmid, Ivan Laptev
- titre
- Learning Video-Conditioned Policies for Unseen Manipulation Tasks
- article
- 2023 IEEE International Conference on Robotics and Automation (ICRA), May 2023, London, United Kingdom. pp.909-916, ⟨10.1109/ICRA48891.2023.10161336⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yann de Mont-Marin, Jean Ponce, Jean-Paul Laumond
- titre
- A minimum swept-volume metric structure for configuration space
- article
- ICRA 2023 - IEEE International Conference on Robotics and Automation, May 2023, Londres, United Kingdom. pp.3686-3692, ⟨10.48550/arXiv.2211.11811⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chang-Sik Choi, François Baccelli
- titre
- Extending the LOS Coverage of Vehicular Networks Based on Roadside Units and Vehicle Relays
- article
- ICC 2023 - IEEE International Conference on Communications, May 2023, Rome, Italy. pp.3977-3982, ⟨10.1109/ICC45041.2023.10279796⟩
- Accès au texte intégral et bibtex
-
- auteur
- Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
- titre
- Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations
- article
- 15th International Symposium on NASA Formal Methods (NFM 2023), May 2023, Houston (TX), United States. pp.37-61, ⟨10.1007/978-3-031-33170-1_3⟩
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Lepers, Josselin Giet, Julia Lawall, Willy Zwaenepoel
- titre
- OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel
- article
- EuroSys 2023 : Eighteenth European Conference on Computer Systems, May 2023, Rome, Italy. pp.33-45, ⟨10.1145/3552326.3567504⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chloé Hébant, David Pointcheval, Robert Schädlich
- titre
- Tracing a Linear Subspace: Application to Linearly-Homomorphic Group Signatures
- article
- PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, May 2023, Atlanta (GA), United States. pp.312-341, ⟨10.1007/978-3-031-31368-4_12⟩
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Clément Ducros
- titre
- Pseudorandom Correlation Functions from Variable-Density LPN, Revisited
- article
- IACR 2023 - 26th International Conference on Practice and Theory of Public-Key Cryptography, May 2023, Atlanta, United States. pp.221-250, ⟨10.1007/978-3-031-31371-4_8⟩
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Garrido, Yubei Chen, Adrien Bardes, Laurent Najman, Yann Lecun
- titre
- On the duality between contrastive and non-contrastive self-supervised learning
- article
- ICLR 2023 - Eleventh International Conference on Learning Representations, May 2023, Kigali, Rwanda. ⟨10.48550/arXiv.2206.02574⟩
- Accès au texte intégral et bibtex
-
- auteur
- Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
- titre
- Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside
- article
- FC2023 - Twenty-Seventh Financial Cryptography and Data Security Conference, International Financial Cryptography Association, May 2023, Bol, Brač, Croatia
- Accès au texte intégral et bibtex
-
- auteur
- Zahra Kadkhodaie, Florentin Guth, Stéphane Mallat, Eero P Simoncelli
- titre
- Learning multi-scale local conditional probability models of images
- article
- International Conference on Learning Representations, May 2023, Kigali, Rwanda
- Accès au texte intégral et bibtex
-
- auteur
- Lawrence Stewart, Francis Bach, Quentin Berthet, Jean-Philippe Vert
- titre
- Regression as Classification: Influence of Task Formulation on Neural Network Features
- article
- AISTATS 2023 - 26th International Conference on Artificial Intelligence and Statistics, Apr 2023, Valence, Spain
- Accès au texte intégral et bibtex
-
- auteur
- Léonard Assouline, Brice Minaud
- titre
- Weighted Oblivious RAM, with Applications to Searchable Symmetric Encryption
- article
- EUROCRYPT 2023 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2023, Lyon, France. pp.426-455, ⟨10.1007/978-3-031-30545-0_15⟩
- Accès au texte intégral et bibtex
-
- auteur
- Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
- titre
- A Simple Algorithm for Consistent Query Answering under Primary Keys
- article
- ICDT 2023 - International Conference on Database Theory, Mar 2023, Ioannina, Greece
- Accès au bibtex
-
- auteur
- Nadime Francis, Amelie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoč
- titre
- A Researcher's Digest of GQL
- article
- 26th International Conference on Database Theory (ICDT 2023), Mar 2023, Ioannina, Greece. ⟨10.4230/LIPIcs.ICDT.2023.1⟩
- Accès au texte intégral et bibtex
-
- auteur
- Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
- titre
- Energy Büchi Problems
- article
- FM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany. pp.222-239, ⟨10.1007/978-3-031-27481-7_14⟩
- Accès au texte intégral et bibtex
-
- auteur
- Anant Raj, Melih Barsbey, Mert Gürbüzbalaban, Lingjiong Zhu, Umut Şimşekli
- titre
- Algorithmic Stability of Heavy-Tailed Stochastic Gradient Descent on Least Squares
- article
- ALT 2023 - 34th International Conference on Algorithmic Learning Theory, Feb 2023, Singapore, Singapore
- Accès au bibtex
-
- auteur
- Jean Abou-Samra, Yannick Zakowski, Martin Bodin
- titre
- Effectful Programming across Heterogeneous Computations -Work in Progress
- article
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23
- Accès au texte intégral et bibtex
-
- auteur
- Timothy Bourke, Basile Pesin, Marc Pouzet
- titre
- Analyse de dépendance vérifiée pour un langage synchrone à flot de données
- article
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.101-120
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Grégoire Bussone, Louis Mandel, Christine Tasson
- titre
- Filtrer sans s'appauvrir : inférer les paramètres constants des modèles réactifs probabilistes
- article
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.24-42
- Accès au texte intégral et bibtex
-
- auteur
- Jonas Ellert, Paweł Gawrychowski, Garance Gourdel
- titre
- Optimal Square Detection Over General Alphabets
- article
- SODA - 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2023, Florence, Italy. pp.5220-5242, ⟨10.1137/1.9781611977554.ch189⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
- titre
- Sound Symbolic Execution via Abstract Interpretation and its Application to Security
- article
- VMCAI 2023 - 24th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2023, Boston, MA, United States. pp.267-295, ⟨10.1007/978-3-031-24950-1_13⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jérôme Feret, Albin Salazar
- titre
- A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation
- article
- VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States
- Accès au texte intégral et bibtex
-
- auteur
- Maxence Noble, Valentin de Bortoli, Alain Durmus
- titre
- Unbiased constrained sampling with Self-Concordant Barrier Hamiltonian Monte Carlo
- article
- 37th Conference on Neural Information Processing Systems, 2023, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Maxence Noble, Valentin de Bortoli, Arnaud Doucet, Alain Durmus
- titre
- Tree-Based Diffusion Schrödinger Bridge with Applications to Wasserstein Barycenters
- article
- 37th Conference on Neural Information Processing Systems, 2023, New Orleans (LA), United States
- Accès au texte intégral et bibtex
-
- auteur
- Sarah Sachs, Tim van Erven, Liam Hodgkinson, Rajiv Khanna, Umut Şimşekli
- titre
- Generalization Guarantees via Algorithm-dependent Rademacher Complexity
- article
- COLT 2023 - 36th Annual Conference on Learning Theory, 2023, Bangalore (Virtual event), India
- Accès au bibtex
-
Book sections
- auteur
- Caterina Urban
- titre
- Static Analysis for Data Scientists
- article
- Challenges of Software Verification, 238, Springer Nature Singapore, pp.77-91, 2023, Intelligent Systems Reference Library, ⟨10.1007/978-981-19-9601-6_5⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jérôme Feret
- titre
- Analyse statique et réduction de modèles de voies de signalisation intracellulaire
- article
- Informatique Mathématique Une photographie en 2023, CNRS, pp.67, 2023
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- auteur
- Jérôme Feret
- titre
- Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites
- article
- Informatique [cs]. ENS-PSL, 2023
- Accès au texte intégral et bibtex
-
- auteur
- Michaël Thomazo
- titre
- Ontology-Based Query Answering: Expressivity and Extensions
- article
- Information Retrieval [cs.IR]. Ecole Normale Supérieure de Paris, 2023
- Accès au texte intégral et bibtex
-
Master thesis
- auteur
- Lucas Larroque
- titre
- Ontology-Based Query Answering Over Datalog-Expressible Rule Sets Is Undecidable
- article
- Computer Science [cs]. 2023
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Gauquier
- titre
- Impact of the document class in the automatic extraction of mathematical environments in the scientific literature
- article
- Computer Science [cs]. 2023
- Accès au texte intégral et bibtex
-
- auteur
- Belkis Djeffal
- titre
- Étendre un système de gestion de provenance : ProvSQL
- article
- Informatique [cs]. 2023
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Gauquier
- titre
- Automatically inferring the document class used in a scientific article
- article
- Computer Science [cs]. 2023
- Accès au texte intégral et bibtex
-
Proceedings
- auteur
- Timothy Bourke, Delphine Demange
- titre
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs
- article
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, pp.1-308, 2023, Journées Francophones des Langages Applicatifs
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Danos, Weijia Wang
- titre
- Consistency of Automated Market Makers
- article
- Volume 110, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 4:1-4:12, 2023, ⟨10.4230/OASIcs.Tokenomics.2022.4⟩
- Accès au bibtex
-
- auteur
- Andrea Canidio, Vincent Danos
- titre
- Commit-Reveal Schemes Against Front-Running Attacks (Extended Abstract)
- article
- Volume 110, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 7:1-7:5, 2023, ⟨10.4230/OASIcs.Tokenomics.2022.7⟩
- Accès au bibtex
-
Reports
- auteur
- Antoine Bambade, Fabian Schramm, Sarah El Kazdadi, Stéphane Caron, Adrien Taylor, Justin Carpentier
- titre
- Companion Report of PROXQP: an Efficient and Versatile Quadratic Programming Solver for Real-Time Robotics Applications and Beyond
- article
- INRIA. 2023
- Accès au texte intégral et bibtex
-
- auteur
- Anne Canteaut, Manuel Serrano, Céline Grandmont, Guillaume Pallez, Vincent Perrier, Xavier Rival, Emmanuel Thomé
- titre
- Bilan de la mandature 2019-2023 de la Commission d'Évaluation Inria
- article
- Inria. 2023
- Accès au texte intégral et bibtex
-
- auteur
- Frédéric Blanqui, Anne Canteaut, Hidde De Jong, Sébastien Imperiale, Nathalie Mitton, Guillaume Pallez, Xavier Pennec, Xavier Rival, Bertrand Thirion
- titre
- Recommendations on "Grey-Zone Publishers
- article
- Inria. 2023, pp.1-3
- Accès au texte intégral et bibtex
-
- auteur
- Frédéric Blanqui, Anne Canteaut, Hidde de Jong, Sébastien Imperiale, Nathalie Mitton, Guillaume Pallez, Xavier Pennec, Xavier Rival, Bertrand Thirion
- titre
- Recommandations sur les « éditeurs de la zone grise »
- article
- Inria. 2023, pp.1-3
- Accès au texte intégral et bibtex
-
Theses
- auteur
- Matthieu Bouguéon
- titre
- Modélisation en langage Kappa de la dynamique des cellules étoilées hépatiques durant le développement et la réversion de la fibrose
- article
- Médecine humaine et pathologie. Université de Rennes, 2023. Français. ⟨NNT : 2023URENB073⟩
- Accès au texte intégral et bibtex
-
- auteur
- Léonard Assouline
- titre
- Computing with private information: Techniques from Cryptology
- article
- Cryptography and Security [cs.CR]. PSL University; Ecole normale supérieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Yang
- titre
- Learning Visual Language Models for Video Understanding
- article
- Computer Vision and Pattern Recognition [cs.CV]. Ecole Normale Superieure de Paris - ENS Paris, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bruno Lecouat
- titre
- Image Reconstruction from Multiple Shots with Trainable Algorithms
- article
- Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure (ENS), 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Albin Salazar
- titre
- Faithful model reduction of discrete biological systems
- article
- Computer Science [cs]. ENS Paris, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Garance Gourdel
- titre
- Sketch-based approaches to process massive string data
- article
- Bioinformatics [q-bio.QM]. Université de Rennes, 2023. English. ⟨NNT : 2023URENS049⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bastien Dubail
- titre
- Mixing times of Markov chains: acceleration and cutoff in random environment
- article
- Probability [math.PR]. Ecole Normale Superieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Michael Reichle
- titre
- Constructions of Advanced Cryptographic Primitives
- article
- Computer Science [cs]. Ecole normale supérieure - ENS PARIS, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Sayeh Khaniha
- titre
- Unimodularity in Random Networks: Applications to the Null recurrent Doeblin Graph and Hierarchical Clustering
- article
- Mathematics [math]. Ecole normale superieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Michel Davydov
- titre
- Point-process-based Markovian dynamics and their applications
- article
- Probability [math.PR]. Ecole normale supérieure PSL, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Hugo Senet
- titre
- Protocoles cryptographiques post-quantiques de préservation de l’anonymat et du secret des communications
- article
- Cryptographie et sécurité [cs.CR]. École normale supérieure, 2023. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ilia Shilov
- titre
- Game-Theoretic Approaches for Peer-to-Peer Energy Trading
- article
- Computer Science [cs]. École Normale Supérieure, PSL University, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bharath Roy Choudhury
- titre
- Records of stationary processes and unimodular graphs
- article
- Probability [math.PR]. Ecole normale supérieure PSL, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Elliot Chane-Sane
- titre
- Learning Multi-Task Policies for Robotics
- article
- Machine Learning [cs.LG]. Inria Paris; Ecole Normale Superieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Alaaeldin Mohamed Elnouby Abdallah Ali
- titre
- Contributions to the Design and Training of Transformers in Computer Vision
- article
- Computer Science [cs]. INRIA Paris; ENS Paris - Ecole Normale Supérieure de Paris; PSL University, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Popineau
- titre
- Study of the dynamics of spatial point processes in wireless communication networks
- article
- Probability [math.PR]. Université Paris sciences et lettres, 2023. English. ⟨NNT : 2023UPSLE004⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yann Labbé
- titre
- Pose estimation of rigid objects and robots
- article
- Computer Science [cs]. Ecole Normale Supérieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Hugo Cisneros
- titre
- Unsupervised Learning in Complex Systems
- article
- Artificial Intelligence [cs.AI]. École normale supérieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Lénaïck Gouriou
- titre
- Delegation and Tracing for Attribute-Based Cryptography
- article
- Cryptography and Security [cs.CR]. ENS Ulm, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre-Louis Guhur
- titre
- Language-guided navigation and manipulation in robotics using transformers.
- article
- Computer Science [cs]. Inria; Ecole Normale Supérieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Zongmian Li
- titre
- Estimating 3D Motion and Forces from Monocular Videos
- article
- Computer Science [cs]. INRIA Paris; École Normale Supérieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Robin Strudel
- titre
- Learning representations for visually-guided robotics
- article
- Computer Science [cs]. INRIA Paris; Ecole Normale Superieure, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Quoc-Huy Vu
- titre
- Facing and Exploiting the Quantum Wave in Computing: New Security Definitions and Cryptographic Constructions
- article
- Computer Science [cs]. Université Paris - Panthéon - Assas, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Didier
- titre
- Studying hardware prefetchers using cache side channels
- article
- Operating Systems [cs.OS]. École normale supérieure - PSL, 2023. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Cottier
- titre
- Contribution à la cryptographie interactive
- article
- Cryptographie et sécurité [cs.CR]. Ecole Normale Superieure de Paris - ENS Paris, 2023. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- auteur
- Flavien Léger, Pierre-Cyril Aubin-Frankowski
- titre
- Gradient descent with a general cost
- article
- 2023
- Accès au bibtex
-
- auteur
- Bruno Lecouat, Yann Dubois de Mont-Marin, Théo Bodrito, Julien Mairal, Jean Ponce
- titre
- Fine Dense Alignment of Image Bursts through Camera Pose and Depth Estimation
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Bernadette Charron-Bost, Patrick Lambein-Monette
- titre
- Know your audience: Communication model and computability in anonymous networks
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Wilson Jallet, Antoine Bambade, Etienne Arlaud, Sarah El-Kazdadi, Nicolas Mansard, Justin Carpentier
- titre
- PROXDDP: Proximal Constrained Trajectory Optimization
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Armand Jordana, Sébastien Kleff, Avadesh Meduri, Justin Carpentier, Nicolas Mansard, Ludovic Righetti
- titre
- Stagewise Implementations of Sequential Quadratic Programming for Model-Predictive Control
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Lucas Ventura, Antoine Yang, Cordelia Schmid, Gül Varol
- titre
- CoVR: Learning Composed Video Retrieval from Web Video Captions
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Bianca Marin Moreno, Christine Fricker, Hanene Mohamed, Amaury Philippe, Martin Trépanier
- titre
- An incentive algorithm for a closed stochastic network: data and mean-field analysis
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Lucie Galland, Catherine Pelachaud, Florian Pecune
- titre
- Seeing and hearing what has not been said; A multimodal client behavior classifier in Motivational Interviewing with interpretable fusion
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Christine Fricker, Hanene Mohamed
- titre
- Mean field analysis of stochastic networks with reservation
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Sebastien Labbé, Andrea del Prete
- titre
- GIBO: Global Integral-Based Optimization
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Simon Martin, Francis Bach, Giulio Biroli
- titre
- On the Impact of Overparameterization on the Training of a Shallow Neural Network in High Dimensions
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Paweł Gawrychowski, Garance Gourdel, Tatiana Starikovskaya, Teresa Anna Steiner
- titre
- Compressed Consecutive Pattern Matching
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Ibrahim Fayad, Philippe Ciais, Martin Schwartz, Jean-Pierre Wigneron, Nicolas Baghdadi, Aurélien de Truchis, Alexandre d'Aspremont, Frederic Frappart, Sassan Saatchi, Agnes Pellissier-Tanon, Hassan Bazzi
- titre
- Vision Transformers, a new approach for high-resolution and large-scale mapping of canopy heights
- article
- 2023
- Accès au bibtex
-
- auteur
- Clément Lezane, Cristóbal Guzmán, Alexandre d'Aspremont
- titre
- An Oblivious Stochastic Composite Optimization Algorithm for Eigenvalue Optimization Problems
- article
- 2023
- Accès au bibtex
-
- auteur
- Francis Bach
- titre
- Sum-of-Squares Relaxations for Information Theory and Variational Inference
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Bambade, Fabian Schramm, Sarah El Kazdadi, Stéphane Caron, Adrien Taylor, Justin Carpentier
- titre
- PROXQP: an Efficient and Versatile Quadratic Programming Solver for Real-Time Robotics Applications and Beyond
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Rudy Morel, Gaspar Rochette, Roberto Leonarduzzi, Jean-Philippe Bouchaud, Stéphane Mallat
- titre
- Scale Dependencies and Self-Similar Models with Wavelet Scattering Spectra
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Ali Siahkoohi, Rudy Morel, Randall Balestriero, Erwan Allys, Grégory Sainton, Taichi Kawamura, Maarten V. de Hoop
- titre
- Martian time-series unraveled: A multi-scale nested approach with factorial variational autoencoders
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Rudy Morel, Stéphane Mallat, Jean-Philippe Bouchaud
- titre
- Path Shadowing Monte-Carlo
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Gabriele Fadini, Shivesh Kumar, Rohit Kumar, Thomas Flayols, Andrea Del Prete, Justin Carpentier, Philippe Souères
- titre
- Co-designing versatile quadruped robots for dynamic and energy-efficient motions
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Céline Comte, Fabien Mathieu, Ana Bušić
- titre
- Stochastic dynamic matching: A mixed graph-theory and linear-algebra approach
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Francis Bach
- titre
- Sum-of-squares relaxations for polynomial min-max problems over simple sets
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Angelo Saadeh, Pierre Senellart, Stéphane Bressan
- titre
- Confidential Truth Finding with Multi-Party Computation (Extended Version)
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Elliot Vincent, Jean Ponce, Mathieu Aubry
- titre
- Pixel-wise Agricultural Image Time Series Classification: Comparisons and a Deformable Prototype-based Approach
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Bambade, Fabian Schramm, Adrien Taylor, Justin Carpentier
- titre
- QPLayer: efficient differentiation of convex quadratic optimization
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Ziad Kobeissi, Francis Bach
- titre
- Temporal Difference Learning with Continuous Time and State in the Stochastic Setting
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- David Naccache, Ofer Yifrach-Stav
- titre
- The Balkans Continued Fraction
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Pascal Moyal, Ana Bušić, Jean Mairesse
- titre
- On the sub-additivity of stochastic matching
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Armand Jordana, Avadesh Meduri, Etienne Arlaud, Justin Carpentier, Ludovic Righetti
- titre
- Risk-Sensitive Extended Kalman Filter
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Julia Gusak, Xunyi Zhao, Théotime Le Hellard, Zhe Li, Lionel Eyraud-Dubois, Olivier Beaumont
- titre
- HiRemate: Hierarchical Approach for Efficient Re-materialization of Large Neural Networks
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Louis Montaut, Quentin Le Lidec, Antoine Bambade, Vladimír Petrík, Josef Sivic, Justin Carpentier
- titre
- Differentiable Collision Detection: a Randomized Smoothing Approach
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Francis Bach
- titre
- High-dimensional analysis of double descent for linear regression with random projections
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- David Holzmüller, Francis Bach
- titre
- Convergence Rates for Non-Log-Concave Sampling and Log-Partition Estimation
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Lucas Clarté, Bruno Loureiro, Florent Krzakala, Lenka Zdeborová
- titre
- Expectation consistency for calibration of neural networks
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Federica Gerace, Florent Krzakala, Bruno Loureiro, Ludovic Stephan, Lenka Zdeborová
- titre
- Gaussian Universality of Perceptrons with Random Labels
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Francis Bach
- titre
- On the relationship between multivariate splines and infinitely-wide neural networks
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Yatin Dandi, Ludovic Stephan, Florent Krzakala, Bruno Loureiro, Lenka Zdeborová
- titre
- Universality laws for Gaussian mixtures in generalized linear models
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Luca Pesce, Florent Krzakala, Bruno Loureiro, Ludovic Stephan
- titre
- Are Gaussian data all you need? Extents and limits of universality in high-dimensional generalized linear estimation
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Aboulker, Guillaume Aubian, Pierre Charbit, Stéphan Thomassé
- titre
- ( #» P 6 , triangle)-free digraphs have bounded dichromatic number
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Dominik Schröder, Hugo Cui, Daniil Dmitriev, Bruno Loureiro
- titre
- Deterministic equivalent and error universality of deep random features learning
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Blake Woodworth, Konstantin Mishchenko, Francis Bach
- titre
- Two Losses Are Better Than One: Faster Optimization Using a Cheaper Proxy
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Andrew Campbell, Joe Benton, Valentin de Bortoli, Tom Rainforth, George Deligiannidis, Arnaud Doucet
- titre
- A Continuous Time Framework for Discrete Denoising Models
- article
- 2023
- Accès au bibtex
-
- auteur
- Yuyang Shi, Valentin de Bortoli, George Deligiannidis, Arnaud Doucet
- titre
- Conditional Simulation Using Diffusion Schr\"odinger Bridges
- article
- 2023
- Accès au bibtex
-
- auteur
- Valentin de Bortoli, Agnès Desolneux
- titre
- On quantitative Laplace-type convergence results for some exponential probability measures, with two applications
- article
- 2023
- Accès au bibtex
-
- auteur
- Angus Phillips, Thomas Seror, Michael Hutchinson, Valentin de Bortoli, Arnaud Doucet, Emile Mathieu
- titre
- Spectral Diffusion Processes
- article
- 2023
- Accès au bibtex
-
- auteur
- George Deligiannidis, Valentin de Bortoli, Arnaud Doucet
- titre
- Quantitative Uniform Stability of the Iterative Proportional Fitting Procedure
- article
- 2023
- Accès au bibtex
-
- auteur
- Xavier Fontaine, Valentin de Bortoli, Alain Durmus
- titre
- Convergence rates and approximation results for SGD and its continuous-time counterpart
- article
- 2023
- Accès au bibtex
-
- auteur
- Valentin de Bortoli
- titre
- Convergence of denoising diffusion models under the manifold hypothesis
- article
- 2023
- Accès au bibtex
-
- auteur
- Valentin de Bortoli, Emile Mathieu, Michael Hutchinson, James Thornton, Yee Whye Teh, Arnaud Doucet
- titre
- Riemannian Score-Based Generative Modelling
- article
- 2023
- Accès au bibtex
-
- auteur
- Valentin de Bortoli, Alain Durmus, Ana F. Vidal, Marcelo Pereyra
- titre
- Maximum likelihood estimation of regularisation parameters in high-dimensional inverse problems: an empirical Bayesian approach. Part II: Theoretical Analysis
- article
- 2023
- Accès au bibtex
-
- auteur
- Florentin Guth, Simon Coste, Valentin de Bortoli, Stephane Mallat
- titre
- Wavelet Score-Based Generative Modeling
- article
- 2023
- Accès au bibtex
-
- auteur
- Francesca R. Crucinio, Valentin de Bortoli, Arnaud Doucet, Adam M. Johansen
- titre
- Solving Fredholm Integral Equations of the First Kind via Wasserstein Gradient Flows
- article
- 2023
- Accès au bibtex
-
- auteur
- James Thornton, Michael Hutchinson, Emile Mathieu, Valentin de Bortoli, Yee Whye Teh, Arnaud Doucet
- titre
- Riemannian Diffusion Schr\"odinger Bridge
- article
- 2023
- Accès au bibtex
-
- auteur
- Joe Benton, Yuyang Shi, Valentin de Bortoli, George Deligiannidis, Arnaud Doucet
- titre
- From Denoising Diffusions to Denoising Markov Models
- article
- 2023
- Accès au bibtex
-
- auteur
- Valentin de Bortoli, Alain Durmus
- titre
- Convergence of diffusions and their discretizations: from continuous to discrete processes and back
- article
- 2023
- Accès au bibtex
-
- auteur
- Valentin de Bortoli, James Thornton, Jeremy Heng, Arnaud Doucet
- titre
- Diffusion Schr\"odinger Bridge with Applications to Score-Based Generative Modeling
- article
- 2023
- Accès au bibtex
-
- auteur
- Jeremy Heng, Valentin de Bortoli, Arnaud Doucet, James Thornton
- titre
- Simulating Diffusion Bridges with Score Matching
- article
- 2023
- Accès au bibtex
-
- auteur
- Ana F. Vidal, Valentin de Bortoli, Marcelo Pereyra, Alain Durmus
- titre
- Maximum likelihood estimation of regularisation parameters in high-dimensional inverse problems: an empirical Bayesian approach. Part I: Methodology and Experiments
- article
- 2023
- Accès au bibtex
-
- auteur
- Ilia Shilov, Hélène Le Cadre, Ana Bušić, Gonçalo de Almeida Terça
- titre
- A Stackelberg Game Analysis of Risk-Hedging Strategies in Decentralized Electricity Markets
- article
- 2023
- Accès au texte intégral et bibtex
-
- auteur
- Luca Ganassali, Laurent Massoulié, Guilhem Semerjian
- titre
- Statistical limits of correlation detection in trees
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Journal articles
- auteur
- Thomas Ehrhard, Solal Attias, Evripidis Bampis, Vincent Cohen-Addad, Bruno Escoffier, Claire Mathieu, Fanny Pascual, Adèle Pass-Lanneau, David Saulpic
- titre
- Découpage électoral des circonscriptions législatives en France: déséquilibres démographiques et contraintes territoriales
- article
- Revue Française de Science Politique, 2022, Vol. 72 (3), pp.333-364. ⟨10.3917/rfsp.723.0333⟩
- Accès au bibtex
-
- auteur
- Bastien Dubail, Laurent Massoulié
- titre
- Accelerating abelian random walks with hyperbolic dynamics
- article
- Probability Theory and Related Fields, 2022, 184 (3-4), pp.939-968. ⟨10.1007/s00440-022-01128-x⟩
- Accès au bibtex
-
- auteur
- Alexandre d'Aspremont, Cristóbal Guzmán, Clément Lezane
- titre
- Optimal Algorithms for Stochastic Complementary Composite Minimization
- article
- SIAM Journal on Optimization, In press
- Accès au bibtex
-
- auteur
- Ali Khezeli
- titre
- Counter examples to invariant circle packing
- article
- Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, 2022, 58 (4), ⟨10.1214/21-AIHP1234⟩
- Accès au bibtex
-
- auteur
- Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
- titre
- Semi-symbolic inference for efficient streaming probabilistic programming
- article
- Proceedings of the ACM on Programming Languages, 2022, 6, pp.1668 - 1696. ⟨10.1145/3563347⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chang-Sik Choi, François Baccelli
- titre
- A Stochastic Geometry Model for Spatially Correlated Blockage in Vehicular Networks
- article
- IEEE Internet of Things Journal, 2022, 9 (20), pp.19881-19889. ⟨10.1109/JIOT.2022.3168587⟩
- Accès au bibtex
-
- auteur
- William Waites, Matteo Cavaliere, Vincent Danos, Ruchira Datta, Rosalind M. Eggo, Timothy B. Hallett, David Manheim, Jasmina Panovska-Griffiths, Timothy W. Russell, Veronika I. Zarnitsyna
- titre
- Compositional modelling of immune response and virus transmission dynamics
- article
- Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2022, 380 (2233), ⟨10.1098/rsta.2021.0307⟩
- Accès au texte intégral et bibtex
-
- auteur
- W. Waites, M. Cavaliere, V. Danos, R. Datta, R. Eggo, T. Hallett, D. Manheim, J. Panovska-Griffiths, T. Russell, V. Zarnitsyna
- titre
- Compositional modelling of immune response and virus transmission dynamics
- article
- Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2022, 380 (2233), ⟨10.1098/rsta.2021.0307⟩
- Accès au bibtex
-
- auteur
- Nathan Grosshans, Pierre Mckenzie, Luc Segoufin
- titre
- Tameness and the power of programs over monoids in DA
- article
- Logical Methods in Computer Science, 2022, 18 (3), pp.14:1-14:34. ⟨10.46298/lmcs-18(3:14)2022⟩
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Kerdreux, Igor Colin, Alexandre d'Aspremont
- titre
- Stable Bounds on the Duality Gap of Separable Nonconvex Optimization Problems
- article
- Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1291⟩
- Accès au bibtex
-
- auteur
- Mathieu Barré, Adrien Taylor, Alexandre d'Aspremont
- titre
- Convergence of a Constrained Vector Extrapolation Scheme
- article
- SIAM Journal on Mathematics of Data Science, 2022, ⟨10.1137/21M1428030⟩
- Accès au bibtex
-
- auteur
- Radu-Alexandru Dragomir, Adrien Taylor, Alexandre d'Aspremont, Jérôme Bolte
- titre
- Optimal Complexity and Certification of Bregman First-Order Methods
- article
- Mathematical Programming, 2022, 194 (1), pp.41-83. ⟨10.1007/s10107-021-01618-1⟩
- Accès au bibtex
-
- auteur
- Etienne Toussaint, Paolo Guagliardo, Leonid Libkin, Juan Sequeda
- titre
- Troubles with nulls, views from the users
- article
- Proceedings of the VLDB Endowment (PVLDB), 2022, 15 (11), pp.2613-2625. ⟨10.14778/3551793.3551818⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bruno Lecouat, Thomas Eboli, Jean Ponce, Julien Mairal
- titre
- High Dynamic Range and Super-Resolution from Raw Image Bursts
- article
- ACM Transactions on Graphics, 2022, 41 (4), pp.1 - 21. ⟨10.1145/3528223.3530180⟩
- Accès au texte intégral et bibtex
-
- auteur
- Nicole Schweikardt, Luc Segoufin, Alexandre Vigny
- titre
- Enumeration for FO Queries over Nowhere Dense Graphs
- article
- Journal of the ACM (JACM), 2022, 69 (3), pp.1-37. ⟨10.1145/3517035⟩
- Accès au texte intégral et bibtex
-
- auteur
- Armand Jordana, Bilal Hammoud, Justin Carpentier, Ludovic Righetti
- titre
- Stagewise Newton Method for Dynamic Game Control with Imperfect State Observation
- article
- IEEE Control Systems Letters, 2022, ⟨10.1109/LCSYS.2022.3184657⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Brochard, Bartlomiej Blaszczyszyn, Sixin Zhang, Stéphane Mallat
- titre
- Particle gradient descent model for point process generation
- article
- Statistics and Computing, 2022, 32 (3), ⟨10.1007/s11222-022-10099-x⟩
- Accès au texte intégral et bibtex
-
- auteur
- Armin Askari, Alexandre d'Aspremont, Laurent El Ghaoui
- titre
- Approximation Bounds for Sparse Programs
- article
- SIAM Journal on Mathematics of Data Science, 2022, 4 (2), pp.514-530. ⟨10.1137/21M1398677⟩
- Accès au bibtex
-
- auteur
- Venkat Anantharam, François Baccelli
- titre
- Nash equilibrium structure of Cox process Hotelling games
- article
- Advances in Applied Probability, 2022, 54 (2), pp.570-598. ⟨10.1017/apr.2021.45⟩
- Accès au bibtex
-
- auteur
- Julia Stoyanovich, Bill Howe, Hosagrahar Visvesvaraya Jagadish, Sebastian Schelter, Serge Abiteboul
- titre
- Responsible data management
- article
- Communications of the ACM, 2022, 65 (6), pp.64-74. ⟨10.1145/3488717⟩
- Accès au bibtex
-
- auteur
- Elise Dumas, Lucie Laot, Florence Coussy, Beatriz Grandal Rejo, Eric Daoud, Enora Laas, Amyn Kassara, Alena Majdling, Rayan Kabirian, Floriane Jochum, Paul Gougis, Sophie Michel, Sophie Houzard, Christine Le Bihan-Benjamin, Philippe-Jean Bousquet, Judicaël Hotton, Chloé-Agathe Azencott, Fabien Reyal, Anne-Sophie Hamy
- titre
- The French Early Breast Cancer Cohort (FRESH): A Resource for Breast Cancer Research and Evaluations of Oncology Practices Based on the French National Healthcare System Database (SNDS)
- article
- Cancers, 2022, 14 (11), pp.2671. ⟨10.3390/cancers14112671⟩
- Accès au texte intégral et bibtex
-
- auteur
- Simon Roburin, Yann de Mont-Marin, Andrei Bursuc, Renaud Marlet, Patrick Pérez, Mathieu Aubry
- titre
- Spherical Perspective on Learning with Normalization Layers
- article
- Neurocomputing, 2022, 487, pp.66-74. ⟨10.1016/j.neucom.2022.02.021⟩
- Accès au texte intégral et bibtex
-
- auteur
- Luka Music, Céline Chevalier, Elham Kashefi
- titre
- Correction to: Dispelling myths on superposition attacks: formal security model and attack analyses
- article
- Designs, Codes and Cryptography, 2022, 90 (6), pp.1535--1535. ⟨10.1007/s10623-022-01042-2⟩
- Accès au bibtex
-
- auteur
- Arnaud Durand, Nicole Schweikardt, Luc Segoufin
- titre
- Enumerating Answers to First-Order Queries over Databases of Low Degree
- article
- Logical Methods in Computer Science, 2022, 18 (2), pp.23. ⟨10.46298/lmcs-18(2:7)2022⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bernadette Charron-Bost
- titre
- Geometric bounds for convergence rates of averaging algorithms
- article
- Information and Computation, 2022, 285, pp.104909. ⟨10.1016/j.ic.2022.104909⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Aboulker, Nicolas Bousquet, Rémi de Verclos
- titre
- Chordal Directed Graphs Are Not $\chi$-Bounded
- article
- The Electronic Journal of Combinatorics, 2022, 29 (2), ⟨10.37236/11050⟩
- Accès au bibtex
-
- auteur
- François Baccelli
- titre
- Stationary queues in space and time
- article
- Queueing Systems, 2022, 100 (3-4), pp.501-503. ⟨10.1007/s11134-022-09799-y⟩
- Accès au bibtex
-
- auteur
- Luka Music, Céline Chevalier, Elham Kashefi
- titre
- Dispelling myths on superposition attacks: formal security model and attack analyses
- article
- Designs, Codes and Cryptography, 2022, 90 (4), pp.881-920. ⟨10.1007/s10623-022-01017-3⟩
- Accès au bibtex
-
- auteur
- Arnaud Cadas, Josu Doncel, Ana Bušić
- titre
- Analysis of an optimal policy in dynamic bipartite matching models
- article
- Performance Evaluation, 2022, 154, pp.102286. ⟨10.1016/j.peva.2022.102286⟩
- Accès au bibtex
-
- auteur
- Xi Shen, Robin Champenois, Shiry Ginosar, Ilaria Pastrolin, Morgane Rousselot, Oumayma Bounou, Tom Monnier, Spyros Gidaris, François Bougard, Pierre-Guillaume Raverdy, Marie-Françoise Limon, Olivier Poncet, K Bender, Béatrice Joyeux-Prunel, Elizabeth Honig, Alexei Efros, Mathieu Aubry, Marc H. Smith, Christine Bénévent
- titre
- Spatially-consistent Feature Matching and Learning for Heritage Image Analysis
- article
- International Journal of Computer Vision, 2022, ⟨10.1007/s11263-022-01576-x⟩
- Accès au texte intégral et bibtex
-
- auteur
- Giulia Bernardini, Alessio Conte, Garance Gourdel, Roberto Grossi, Grigorios Loukides, Nadia Pisanti, Solon Pissis, Giulia Punzi, Leen Stougie, Michelle Sweering
- titre
- Hide and Mine in Strings: Hardness, Algorithms, and Experiments
- article
- IEEE Transactions on Knowledge and Data Engineering, 2022, pp.1-6. ⟨10.1109/TKDE.2022.3158063⟩
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta
- titre
- Restarting Frank-Wolfe
- article
- Journal of Optimization Theory and Applications, 2022, 192 (3), pp.799-829
- Accès au bibtex
-
- auteur
- Luca Ganassali, Marc Lelarge, Laurent Massoulié
- titre
- Spectral alignment of correlated Gaussian random matrices
- article
- Advances in Applied Probability, 2022, 54, Issue 1, 54 (Issue 1), pp.279 - 310
- Accès au texte intégral et bibtex
-
- auteur
- Arnaud Cadas, Josu Doncel, Jean-Michel Fourneau, Ana Bušić
- titre
- Flexibility can hurt dynamic matching system performance
- article
- ACM SIGMETRICS Performance Evaluation Review, 2022, 49 (3), ⟨10.1145/3529113.3529126⟩
- Accès au bibtex
-
- auteur
- François Baccelli, Michel Davydov, Thibaud Taillefumier
- titre
- Replica-Mean-Field Limits of Fragmentation-Interaction-Aggregation Processes
- article
- Journal of Applied Probability, 2022, 59 (1), pp.38-59. ⟨10.1017/jpr.2021.31⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marco Console, Paolo Guagliardo, Leonid Libkin
- titre
- Fragments of bag relational algebra: Expressiveness and certain answers
- article
- Information Systems, 2022, 105, pp.101604. ⟨10.1016/j.is.2020.101604⟩
- Accès au texte intégral et bibtex
-
- auteur
- Serge Abiteboul, Patrick Lagrange
- titre
- 5G : amélioration ou aggravation du bilan carbone ?
- article
- Polytechnique Insights, 2022
- Accès au texte intégral et bibtex
-
- auteur
- Raghu Bollapragada, Damien Scieur, Alexandre d'Aspremont
- titre
- Nonlinear Acceleration of Momentum and Primal-Dual Algorithms
- article
- Mathematical Programming, Series A, 2022, pp.1-38. ⟨10.1007/s10107-022-01775-x⟩
- Accès au bibtex
-
- auteur
- Thomas Lauvaux, Clément Giron, Matthieu Mazzolini, Alexandre d'Aspremont, Riley Duren, Daniel Cusworth, Drew Shindell, Philippe Ciais
- titre
- Global assessment of oil and gas methane ultra-emitters
- article
- Science, 2022, 375 (6580), pp.557-561. ⟨10.1126/science.abj4351⟩
- Accès au texte intégral et bibtex
-
- auteur
- Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
- titre
- Secure protocols for cumulative reward maximization in stochastic multi-armed bandits
- article
- Journal of Computer Security, 2022, pp.1-27. ⟨10.3233/JCS-210051⟩
- Accès au bibtex
-
- auteur
- Yoel Drori, Adrien Taylor
- titre
- On the oracle complexity of smooth strongly convex minimization
- article
- Journal of Complexity, 2022, ⟨10.1016/j.jco.2021.101590⟩
- Accès au bibtex
-
- auteur
- Zongmian Li, Jiri Sedlar, Justin Carpentier, Ivan Laptev, Nicolas Mansard, Josef Sivic
- titre
- Estimating 3D Motion and Forces of Human-Object Interactions from Internet Videos
- article
- International Journal of Computer Vision, 2022, 130 (2), pp.363-383. ⟨10.1007/s11263-021-01540-1⟩
- Accès au bibtex
-
- auteur
- Harold Ollivier
- titre
- Emergence of Objectivity for Quantum Many-Body Systems
- article
- Entropy, 2022, 24 (2), pp.277. ⟨10.3390/e24020277⟩
- Accès au bibtex
-
- auteur
- Pierre Aboulker, Frédéric Havet, Kolja Knauer, Clément Rambaud
- titre
- On the dichromatic number of surfaces
- article
- The Electronic Journal of Combinatorics, 2022, 29 (1), ⟨10.37236/abcd⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Aboulker, Laurent Beaudou, Martín Matamala, José Zamora
- titre
- Graphs with no induced house nor induced hole have the de Bruijn–Erdös property
- article
- Journal of Graph Theory, 2022, ⟨10.1002/jgt.22799⟩
- Accès au bibtex
-
- auteur
- Georgina Hall, Laurent Massoulié
- titre
- Partial Recovery in the Graph Alignment Problem
- article
- Operations Research, 2022, ⟨10.1287/opre.2022.2355⟩
- Accès au texte intégral et bibtex
-
- auteur
- Mathieu Barré, Adrien Taylor, Francis Bach
- titre
- A note on approximate accelerated forward-backward methods with absolute and relative errors, and possibly strongly convex objectives
- article
- Open Journal of Mathematical Optimization, 2022, ⟨10.5802/ojmo.12⟩
- Accès au bibtex
-
- auteur
- Justine Boutry, Juliette Mistral, Laurent Berlioz, Alexander Klimovich, Jácint Tökölyi, Laura Fontenille, Beata Ujvari, Antoine M Dujon, Mathieu Giraudeau, Frédéric Thomas
- titre
- Tumors (re)shape biotic interactions within ecosystems: Experimental evidence from the freshwater cnidarian Hydra
- article
- Science of the Total Environment, 2022, 803, pp.149923. ⟨10.1016/j.scitotenv.2021.149923⟩
- Accès au texte intégral et bibtex
-
- auteur
- Kateryna Zorina, Justin Carpentier, Josef Sivic, Vladimír Petrík
- titre
- Learning to Manipulate Tools by Aligning Simulation to Video Demonstration
- article
- IEEE Robotics and Automation Letters, In press, ⟨10.48550/arXiv.2111.03088⟩
- Accès au texte intégral et bibtex
-
- auteur
- David Naccache, Hadrien Barral, Georges-Axel Jaloyan, Fabien Thomas-Brans, Matthieu Regnery, Rémi Géraud-Stewart, Thibaut Heckmann, Thomas Souvignet
- titre
- A forensic analysis of the Google Home: repairing compressed data without error correction
- article
- Digital Investigation, 2022, 42 (00), pp.00
- Accès au bibtex
-
- auteur
- Jean-Max Dutertre, Amir-Pasha Mirbaha, David Naccache, Assia Tria
- titre
- Photonic power firewalls
- article
- Journal of Cryptographic Engineering, 2022, 12, pp.245-254
- Accès au bibtex
-
- auteur
- Marco Console, Paolo Guagliardo, Leonid Libkin
- titre
- Propositional and predicate logics of incomplete information
- article
- Artificial Intelligence, 2022, 302, pp.103603. ⟨10.1016/j.artint.2021.103603⟩
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Nithin Ramesan
- titre
- A computational framework for evaluating the role of mobility on the propagation of epidemics on point processes
- article
- Journal of Mathematical Biology, 2022, 84 (1-2), pp.4. ⟨10.1007/s00285-021-01692-1⟩
- Accès au bibtex
-
- auteur
- Margaux Brégère, Malo Huard
- titre
- Online hierarchical forecasting for power consumption data
- article
- International Journal of Forecasting, 2022, 38 (1), pp.339-351. ⟨10.1016/j.ijforecast.2021.05.011⟩
- Accès au texte intégral et bibtex
-
- auteur
- Alireza Fallah, Mert Gurbuzbalaban, Asuman Ozdaglar, Umut Şimşekli, Lingjiong Zhu
- titre
- Robust Distributed Accelerated Stochastic Gradient Methods for Multi-Agent Networks
- article
- Journal of Machine Learning Research, 2022
- Accès au bibtex
-
- auteur
- Md Umar Hashmi, Deepjyoti Deka, Ana Bušić, Dirk van Hertem
- titre
- Can locational disparity of prosumer energy optimization due to inverter rules be limited?
- article
- IEEE Transactions on Power Systems, 2022, pp.1-15. ⟨10.1109/TPWRS.2022.3223842⟩
- Accès au bibtex
-
- auteur
- Charles Bordenave, Bastien Dubail
- titre
- Markovian linearization of random walks on groups
- article
- International Mathematics Research Notices, In press, ⟨10.1093/imrn/rnac045⟩
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Bin Liu, Laurent Decreusefond, Rongfang Song
- titre
- A User Centric Blockage Model for Wireless Networks
- article
- IEEE Transactions on Wireless Communications, 2022, 21 (10), 10 p. ⟨10.1109/TWC.2022.3166211⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre-Cyril Aubin-Frankowski, Alain Bensoussan
- titre
- The reproducing kernel Hilbert spaces underlying linear SDE Estimation, Kalman filtering and their relation to optimal control
- article
- Pure and Applied Functional Analysis, In press
- Accès au bibtex
-
- auteur
- Lucie Galland, Catherine Pelachaud, Florian Pecune
- titre
- Adapting conversational strategies in information-giving human-agent interaction
- article
- Frontiers in Artificial Intelligence, 2022, 5, pp.1029340. ⟨10.3389/frai.2022.1029340⟩
- Accès au texte intégral et bibtex
-
- auteur
- Charles Bordenave, Simon Coste, Raj Rao Nadakuditi
- titre
- Detection thresholds in very sparse matrix completion
- article
- Foundations of Computational Mathematics, In press
- Accès au bibtex
-
- auteur
- Antoine Yang, Antoine Miech, Josef Sivic, Ivan Laptev, Cordelia Schmid
- titre
- Learning to Answer Visual Questions from Web Videos
- article
- IEEE Transactions on Pattern Analysis and Machine Intelligence, 2022, ⟨10.1109/tpami.2022.3173208⟩
- Accès au texte intégral et bibtex
-
- auteur
- Luc Brogat-Motte, Alessandro Rudi, Celine Brouard, Juho Rousu, Florence d'Alché-Buc
- titre
- Vector-Valued Least-Squares Regression under Output Regularity Assumptions
- article
- Journal of Machine Learning Research, 2022
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Pierre-Louis Guhur, Shizhe Chen, Ricardo Garcia, Makarand Tapaswi, Ivan Laptev, Cordelia Schmid
- titre
- Instruction-driven history-aware policies for robotic manipulations
- article
- CoRL 2022 - Conference on Robot Learning, Dec 2022, Aukland, New Zealand
- Accès au texte intégral et bibtex
-
- auteur
- Yann Labbé, Lucas Manuelli, Arsalan Mousavian, Stephen Tyree, Stan Birchfield, Jonathan Tremblay, Justin Carpentier, Mathieu Aubry, Dieter Fox, Josef Sivic
- titre
- MegaPose: 6D Pose Estimation of Novel Objects via Render & Compare
- article
- CoRL 2022 - Conference on Robot Learning, Dec 2022, Auckland, New Zealand
- Accès au texte intégral et bibtex
-
- auteur
- Bernadette Charron-Bost, Louis Penet de Monterno
- titre
- Self-Stabilizing Clock Synchronization in Dynamic Networks
- article
- OPODIS 2022 - 26th International Conference on Principles of Distributed Systems, Etienne Rivière, Dec 2022, Brussels, Belgium. pp.28:1-28:17, ⟨10.4230/LIPICS.OPODIS.2022.28⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bernadette Charron-Bost, Louis Penet de Monterno
- titre
- Self-Stabilizing Clock Synchronization in Dynamic Networks
- article
- 26th International Conference on Principles of Distributed Systems OPODIS2022, Dec 2022, Brussels (Belgium), Belgium. ⟨10.4230/LIPIcs.OPODIS.2022.28⟩
- Accès au texte intégral et bibtex
-
- auteur
- Aisling Ac Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
- titre
- Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric
- article
- INDOCRYPT : International Conference on Cryptology in India, Dec 2022, Kolkata, India
- Accès au texte intégral et bibtex
-
- auteur
- Slim Bettaieb, Loïc Bidoux, Olivier Blazy, Baptiste Cottier, David Pointcheval
- titre
- Post-Quantum and UC-secure Oblivious Transfer from SPHF with Grey Zone
- article
- 15th International Symposium on Foundations & Practice of Security (FPS – 2022)., Dec 2022, Ottawa, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Cottier, David Pointcheval
- titre
- Security Analysis of Improved EDHOC Protocol
- article
- 15th International Symposium on Foundations & Practice of Security (FPS – 2022)., Dec 2022, Ottawa, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Céline Chevalier, Ehsan Ebrahimi, Quoc-Huy Vu
- titre
- On Security Notions for Encryption in a Quantum World
- article
- INDOCRYPT 2022 - 23rd International Conference on Cryptology in India, Dec 2022, Kolkata, India. pp.592-613, ⟨10.1007/978-3-031-22912-1_26⟩
- Accès au bibtex
-
- auteur
- Alexis Groshenry, Clement Giron, Thomas Lauvaux, Alexandre d'Aspremont, Thibaud Ehret
- titre
- Detecting Methane Plumes using PRISMA: Deep Learning Model and Data Augmentation
- article
- NeurIPS 2022 Workshop on Tackling Climate Change with Machine Learning., Dec 2022, Vancouver (BC), Canada
- Accès au bibtex
-
- auteur
- Eloïse Berthier, Justin Carpentier, Alessandro Rudi, Francis Bach
- titre
- Infinite-Dimensional Sums-of-Squares for Optimal Control
- article
- 61st IEEE Conference on Decision and Control, IEEE, Dec 2022, Cancun, Mexico
- Accès au texte intégral et bibtex
-
- auteur
- Pierre-Cyril Aubin-Frankowski, Alain Bensoussan
- titre
- Operator-valued Kernels and Control of Infinite dimensional Dynamic Systems
- article
- CDC 2022 - 61st IEEE Conference on Decision and Control, Dec 2022, Cancun, Mexico
- Accès au bibtex
-
- auteur
- Claire Bizon Monroc, Eva Bouba, Ana Bušić, Donatien Dubuc, Jiamin Zhu
- titre
- Delay-Aware Decentralized Q-learning for Wind Farm Control
- article
- CDC 2022 - IEEE 61st Conference on Decision and Control, Dec 2022, Cancun, Mexico. pp.807-813, ⟨10.1109/CDC51059.2022.9992646⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marc Lambert, Silvère Bonnabel, Francis Bach
- titre
- The continuous-discrete variational Kalman filter (CD-VKF)
- article
- 61st IEEE Conference on Decision and Control, Dec 2022, Cancun, Mexico
- Accès au texte intégral et bibtex
-
- auteur
- Matthieu Blanke, Marc Lelarge
- titre
- Online greedy identification of linear dynamical systems
- article
- CDC 2022 - 61st Conference on Decision and Control, IEEE, Dec 2022, Cancun, Mexico. pp.5363-5368, ⟨10.1109/CDC51059.2022.9993030⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ky Nguyen, Duong Hieu Phan, David Pointcheval
- titre
- Multi-Client Functional Encryption with Fine-Grained Access Control
- article
- Asiacrypt 2022 - 28th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan. ⟨10.1007/978-3-031-22963-3_4⟩
- Accès au texte intégral et bibtex
-
- auteur
- Romain Loiseau, Baptiste Bouvier, Yann Teytaut, Elliot Vincent, Mathieu Aubry, Loic Landrieu
- titre
- A Model You Can Hear: Audio Identification with Playable Prototypes
- article
- ISMIR 2022 - 23rd International Society for Music Information Retrieval Conference, Dec 2022, Bengaluru, India
- Accès au bibtex
-
- auteur
- David Robin, Kevin Scaman, Marc Lelarge
- titre
- Periodic Signal Recovery with Regularized Sine Neural Networks
- article
- NeurIPS 2022 Workshop on Symmetry and Geometry in Neural Representations, Dec 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Grégoire Sergeant-Perthuis, Jakob Maier, Joan Bruna, Edouard Oyallon
- titre
- On Non-Linear operators for Geometric Deep Learning
- article
- Conference on Neural Information Processing Systems (Neurips), Dec 2022, New Orleans, United States. ⟨10.48550/arXiv.2207.03485⟩
- Accès au texte intégral et bibtex
-
- auteur
- Sébastien Kleff, Justin Carpentier, Nicolas Mansard, Ludovic Righetti
- titre
- On the Derivation of the Contact Dynamics in Arbitrary Frames: Application to Polishing with Talos
- article
- Humanoids 2022 - IEEE-RAS International Conference on Humanoid Robots, Nov 2022, Ginowan, Japan. ⟨10.1109/Humanoids53995.2022.10000208⟩
- Accès au texte intégral et bibtex
-
- auteur
- Sejun Park, Umut Şimşekli, Murat A. Erdogdu
- titre
- Generalization Bounds for Stochastic Gradient Descent via Localized $\varepsilon$-Covers
- article
- NeurIPS 2022 - Thirty-sixth Conference on Neural Information Processing Systems, Nov 2022, Baltimore, United States
- Accès au bibtex
-
- auteur
- Konstantin Mishchenko, Francis Bach, Mathieu Even, Blake Woodworth
- titre
- Asynchronous SGD Beats Minibatch SGD Under Arbitrary Delays
- article
- NeurIPS 2022 - Thirty-sixth Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au bibtex
-
- auteur
- Florentin Guth, Simon Coste, Valentin de Bortoli, Stéphane Mallat
- titre
- Wavelet Score-Based Generative Modeling
- article
- 36th Conference on Neural Information Processing Systems (NeurIPS 2022)., Nov 2022, New Orleans (Louisiana), United States
- Accès au texte intégral et bibtex
-
- auteur
- Marc Lambert, Sinho Chewi, Francis S Bach, Silvère Bonnabel, Philippe Rigollet
- titre
- Variational inference via Wasserstein gradient flows
- article
- NeurIPS 2022 - Thirty-sixth Conference on Neural Information Processing Systems, Nov 2022, Nouvelle Orléans (Louisiane), United States. ⟨10.48550/arXiv.2205.15902⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Yang, Antoine Miech, Josef Sivic, Ivan Laptev, Cordelia Schmid
- titre
- Zero-Shot Video Question Answering via Frozen Bidirectional Language Models
- article
- NeurIPS 2022 - 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Pierre-Cyril Aubin-Frankowski, Anna Korba, Flavien Léger
- titre
- Mirror Descent with Relative Smoothness in Measure Spaces, with application to Sinkhorn and EM
- article
- NeurIPS 2022 - Thirty-sixth Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au bibtex
-
- auteur
- Edwige Cyffers, Mathieu Even, Aurélien Bellet, Laurent Massoulié
- titre
- Muffliato: Peer-to-Peer Privacy Amplification for Decentralized Optimization and Averaging
- article
- NeurIPS 2022 - 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au bibtex
-
- auteur
- David Robin, Kevin Scaman, Marc Lelarge
- titre
- Convergence beyond the over-parameterized regime using Rayleigh quotients
- article
- NeurIPS 2022 - 36th Conference on Neural Information Processing System, Nov 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Eduard Gorbunov, Adrien Taylor, Gauthier Gidel
- titre
- Last-Iterate Convergence of Optimistic Gradient Method for Monotone Variational Inequalities
- article
- NeurIPS 2022 - Thirty-sixth Conference on Neural Information Processing Systems, Nov 2022, New orleans, United States
- Accès au bibtex
-
- auteur
- Mathieu Even, Laurent Massoulié, Kevin Scaman
- titre
- On Sample Optimality in Personalized Collaborative and Federated Learning
- article
- NeurIPS 2022 - 36th Conference on Neural Information Processing System, Nov 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Adrien Bardes, Jean Ponce, Yann Lecun
- titre
- VICRegL: Self-Supervised Learning of Local Visual Features
- article
- 36th Conference on Neural Information Processing Systems (NeurIPS 2022), Nov 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Etienne Boursier, Loucas Pillaud-Vivien, Nicolas Flammarion
- titre
- Gradient flow dynamics of shallow ReLU networks for square loss and orthogonal inputs
- article
- NeurIPS 2022 - 36th International Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Vivien Cabannes, Francis S Bach, Vianney Perchet, Alessandro Rudi
- titre
- Active Labeling: Streaming Stochastic Gradients
- article
- NeurIPS 2022 - 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Shizhe Chen, Pierre-Louis Guhur, Makarand Tapaswi, Cordelia Schmid, Ivan Laptev
- titre
- Language Conditioned Spatial Relation Reasoning for 3D Object Grounding
- article
- NeurIPS 2022 - 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Eloïse Berthier, Ziad Kobeissi, Francis Bach
- titre
- A Non-asymptotic Analysis of Non-parametric Temporal-Difference Learning
- article
- NeurIPS 2022 - Neural Information Processing Systems, Nov 2022, New Orleans (LA), United States
- Accès au texte intégral et bibtex
-
- auteur
- Soon Hoe Lim, Yijun Wan, Umut Şimşekli
- titre
- Chaotic Regularization and Heavy-Tailed Limits for Deterministic Gradient Descent
- article
- NeurIPS 2022 - Thirty-sixth Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
- Accès au bibtex
-
- auteur
- Yann Planque, Cécile Vincent, Florence Caurant, Jérôme Spitz, Matthieu Authier
- titre
- Écologie trophique des phoques veaux-marins et des phoques gris en Manche Nord-Est
- article
- XXIVème Séminaire du Réseau National Echouages (RNE), Nov 2022, Saint-Valery-sur-Somme, France
- Accès au bibtex
-
- auteur
- Garance Gourdel, Anne Driemel, Pierre Peterlongo, Tatiana Starikovskaya
- titre
- Pattern matching under DTW distance
- article
- SPIRE 2022 - 29th International Symposium on String Processing and Information Retrieval, Nov 2022, Concepción, Chile. pp.315--330
- Accès au texte intégral et bibtex
-
- auteur
- Paola de Perthuis, David Pointcheval
- titre
- Two-Client Inner-Product Functional Encryption with an Application to Money-Laundering Detection
- article
- ACM CCS- Computer and Communications Security 2022, Nov 2022, Los Angeles, United States
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Dahmun Goudarzi, Michael Klooß, Michael Reichle
- titre
- Sharp: Short Relaxed Range Proofs
- article
- CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles CA USA, United States. pp.609-622, ⟨10.1145/3548606.3560628⟩
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Didier, Clémentine Maurice, Antoine Geimer, Walid J Ghandour
- titre
- Characterizing Prefetchers using CacheObserver
- article
- IEEE 34th International Symposium on Computer Architecture and High Performance Computing, Nov 2022, Bordeaux, France
- Accès au texte intégral et bibtex
-
- auteur
- Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
- titre
- Parallelisable Existential Rules: a Story of Pieces
- article
- BDA 2022 - 38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France
- Accès au texte intégral et bibtex
-
- auteur
- Zerui Chen, Yana Hasson, Cordelia Schmid, Ivan Laptev
- titre
- AlignSDF: Pose-Aligned Signed Distance Fields for Hand-Object Reconstruction
- article
- ECCV 2022 - European Conference on Computer Vision, Oct 2022, Tel Aviv-Jaffa, Israel
- Accès au texte intégral et bibtex
-
- auteur
- Shizhe Chen, Pierre-Louis Guhur, Makarand Tapaswi, Cordelia Schmid, Ivan Laptev
- titre
- Learning from Unlabeled 3D Environments for Vision-and-Language Navigation
- article
- ECCV 2022 - European Conference on Computer Vision, Oct 2022, Tel Aviv-Jaffa, Israel
- Accès au texte intégral et bibtex
-
- auteur
- Wilson Jallet, Antoine Bambade, Nicolas Mansard, Justin Carpentier
- titre
- Constrained Differential Dynamic Programming: A primal-dual augmented Lagrangian approach
- article
- 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2022, Kyoto, Japan. ⟨10.1109/IROS47612.2022.9981586⟩
- Accès au texte intégral et bibtex
-
- auteur
- Huy V Vo, Oriane Siméoni, Spyros Gidaris, Andrei Bursuc, Patrick Pérez, Jean Ponce
- titre
- Active Learning Strategies for Weakly-Supervised Object Detection
- article
- European Conference on Computer Vision (ECCV), Oct 2022, Tel Aviv, Israel
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Chabal, Robin Strudel, Etienne Arlaud, Jean Ponce, Cordelia Schmid
- titre
- Assembly Planning from Observations under Physical Constraints
- article
- 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2022, Kyoto, Japan
- Accès au texte intégral et bibtex
-
- auteur
- Ana Bušić, Arnaud Cadas, Josu Doncel, Jean-Michel Fourneau
- titre
- Product form solution for the steady-state distribution of a Markov chain associated with a general matching model with self-loops
- article
- EPEW 2022: 18th European Performance Engineering Workshop, Sep 2022, Santa Pola, Alicante, Spain
- Accès au texte intégral et bibtex
-
- auteur
- Rahil Parikh, Gaspar Rochette, Carol Espy-Wilson, Shihab Shamma
- titre
- An Empirical Analysis on the Vulnerabilities of End-to-End Speech Segregation Models
- article
- Interspeech 2022, Sep 2022, Incheon, South Korea. pp.5408-5412, ⟨10.21437/Interspeech.2022-11222⟩
- Accès au bibtex
-
- auteur
- Chloé Hébant, David Pointcheval
- titre
- Traceable Constant-Size Multi-authority Credentials
- article
- SCN 2022 - 13th conference on security and cryptography for networks, Sep 2022, Amalfi, Italy. pp.411-434, ⟨10.1007/978-3-031-14791-3_18⟩
- Accès au bibtex
-
- auteur
- Cécile Delerablée, Lénaïck Gouriou, David Pointcheval
- titre
- Key-Policy ABE With Switchable Attributes
- article
- SCN 2022 - Security and Cryptography for Networks: 13th International Conference, Sep 2022, Amalfi, Italy. ⟨10.1007/978-3-031-14791-3_7⟩
- Accès au texte intégral et bibtex
-
- auteur
- Malika Izabachène, Anca Nitulescu, Paola de Perthuis, David Pointcheval
- titre
- MyOPE: Malicious SecuritY for Oblivious Polynomial Evaluation
- article
- SCN 2022 - 13th Conference on Cryptography and Security for Networks, Sep 2022, Amalfi, Italy. pp.663-686, ⟨10.1007/978-3-031-14791-3_29⟩
- Accès au texte intégral et bibtex
-
- auteur
- Benoît Libert, Ky Nguyen, Alain Passelègue
- titre
- Cumulatively All-Lossy-But-One Trapdoor Functions from Standard Assumptions
- article
- SCN 2022 - Proceedings of the 13th Conference on Security in Communication Networks, Sep 2022, Amalfi, Italy
- Accès au texte intégral et bibtex
-
- auteur
- Lucie Galland, Catherine Pelachaud, Florian Pecune
- titre
- Adapting conversational strategies to co-optimize agent's task performance and user's engagement
- article
- ACM International Conference on Intelligent Virtual Agents (IVA ’22), ACM, Sep 2022, Faro, Portugal. pp.1-3, ⟨10.1145/3514197.3549674⟩
- Accès au texte intégral et bibtex
-
- auteur
- Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
- titre
- Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting
- article
- 4th International Workshop on the Resurgence of Datalog in Academia and Industry, Sep 2022, Genoa, Italy
- Accès au bibtex
-
- auteur
- Hugo Cisneros, Josef Sivic, Tomas Mikolov
- titre
- Benchmarking Learning Efficiency in Deep Reservoir Computing
- article
- CoLLAs 2022 - Conference on Lifelong Learning Agents, Aug 2022, Montreal, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Mo Liu, Anantha Padmanabha, R Ramanujam, Yanjing Wang
- titre
- Generalized Bundled Fragments for First-Order Modal Logic
- article
- 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Aug 2022, Vienna, Austria. pp.70:1--70:14, ⟨10.4230/LIPIcs.MFCS.2022.70⟩
- Accès au texte intégral et bibtex
-
- auteur
- Brice Minaud, Michael Reichle
- titre
- Dynamic Local Searchable Symmetric Encryption
- article
- Crypto 2022 - 42nd Annual International Cryptology Conference, Aug 2022, Santa Barbara, United States. ⟨10.1007/978-3-031-15985-5_4⟩
- Accès au texte intégral et bibtex
-
- auteur
- Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
- titre
- Complexity Landscape for Counting Queries
- article
- 35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
- Accès au texte intégral et bibtex
-
- auteur
- Meghyn Bienvenu, Camille Bourgaux
- titre
- Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)
- article
- DL 2022 - 35th International Workshop on Description Logics, Aug 2022, Haifa, Israel
- Accès au texte intégral et bibtex
-
- auteur
- Meghyn Bienvenu, Camille Bourgaux
- titre
- Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
- article
- KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel
- Accès au texte intégral et bibtex
-
- auteur
- Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
- titre
- Counting Queries over ELHI⊥ Ontologies
- article
- KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.53-62, ⟨10.24963/kr.2022/6⟩
- Accès au texte intégral et bibtex
-
- auteur
- Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo
- titre
- Revisiting Semiring Provenance for Datalog
- article
- KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.91-101, ⟨10.24963/kr.2022/10⟩
- Accès au texte intégral et bibtex
-
- auteur
- David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
- titre
- Normalisations of Existential Rules: Not so Innocuous!
- article
- KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
- Accès au texte intégral et bibtex
-
- auteur
- Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
- titre
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
- article
- IJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence - 25th European Conference on Artificial Intelligence, Jul 2022, Vienna, Austria. pp.5269-5273, ⟨10.24963/ijcai.2022/733⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ingkarat Rak-Amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
- titre
- The raise of machine learning hyperparameter constraints in Python code
- article
- ISSTA 2022 - 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2022, Virtual, South Korea. ⟨10.1145/3533767.3534400⟩
- Accès au texte intégral et bibtex
-
- auteur
- Liam Hodgkinson, Umut Şimşekli, Rajiv Khanna, Michael W. Mahoney
- titre
- Generalization Bounds using Lower Tail Exponents in Stochastic Optimizers
- article
- ICML 2022 - 39th International Conference on Machine Learning, Jul 2022, Baltimore, United States
- Accès au bibtex
-
- auteur
- Cédric Malherbe, Kevin Scaman
- titre
- Robustness in Multi-Objective Submodular Optimization: a Quantile Approach
- article
- ICML 2022 - 39th International Conference on Machine Learning, Jul 2022, Baltimore, United States
- Accès au texte intégral et bibtex
-
- auteur
- Kevin Scaman, Cédric Malherbe, Ludovic dos Santos
- titre
- Convergence Rates of Non-Convex Stochastic Gradient Descent Under a Generic Łojasiewicz Condition and Local Smoothness
- article
- ICML 2022 - 39th International Conference on Machine Learning, Jul 2022, Baltimore, United States
- Accès au texte intégral et bibtex
-
- auteur
- Olivier Flasseur, Théo Bodrito, Julien Mairal, Jean Ponce, Maud Langlois, Anne-Marie Lagrange
- titre
- Exoplanet detection in angular differential imaging: combining a statistics-based learning with a deep-based learning for improved detections
- article
- SPIE Astronomical Telescopes + Instrumentation, Jul 2022, Montréal, Canada. pp.139, ⟨10.1117/12.2629849⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Chatalic, Nicolas Schreuder, Alessandro Rudi, Lorenzo Rosasco
- titre
- Nyström Kernel Mean Embeddings
- article
- ICML 2022 - 39th International Conference on Machine Learning, Jul 2022, Baltimore, United States
- Accès au bibtex
-
- auteur
- Antonio Orvieto, Hans Kersting, Frank Proske, Francis Bach, Aurelien Lucchi
- titre
- Anticorrelated Noise Injection for Improved Generalization
- article
- ICML 2022 - 39th International Conference on Machine Learning, Jul 2022, Baltimore, United States
- Accès au texte intégral et bibtex
-
- auteur
- Francis Bach, Lénaïc Chizat
- titre
- Gradient Descent on Infinitely Wide Neural Networks: Global Convergence and Generalization
- article
- International Congress of Mathematicians, Jul 2022, Saint-Petersbourg, Russia
- Accès au texte intégral et bibtex
-
- auteur
- Parinya Chalermsook, Chien-Chung Huang, Danupon Nanongkai, Thatchaphol Saranurak, Pattara Sukprasert, Sorrachai Yingchareonthawornchai
- titre
- Approximating k-Edge-Connected Spanning Subgraphs via a Near-Linear Time LP Solver
- article
- 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.37⟩
- Accès au texte intégral et bibtex
-
- auteur
- Gaspard Beugnot, Alessandro Rudi, Julien Mairal
- titre
- On the Benefits of Large Learning Rates for Kernel Methods
- article
- COLT 2022 - 35th Annual Conference on Learning Theory, Jul 2022, London, United Kingdom. pp.254--282
- Accès au texte intégral et bibtex
-
- auteur
- Boris Muzellec, Kanji Sato, Mathurin Massias, Taiji Suzuki
- titre
- Dimension-free convergence rates for gradient Langevin dynamics in RKHS
- article
- COLT 2022 - 35th Annual Conference on Learning Theory, Jul 2022, London, United Kingdom
- Accès au texte intégral et bibtex
-
- auteur
- Milad Sefidgaran, Amin Gohari, Gael Richard, Umut Şimşekli
- titre
- Rate-Distortion Theoretic Generalization Bounds for Stochastic Learning Algorithms
- article
- COLT 2022 - 35th Annual Conference on Learning Theory, Jul 2022, London, United Kingdom
- Accès au texte intégral et bibtex
-
- auteur
- Blake Woodworth, Francis Bach, Alessandro Rudi
- titre
- Non-Convex Optimization with Certificates and Fast Rates Through Kernel Sums of Squares
- article
- Conference on Learning Theory 2022, Jul 2022, London, United Kingdom. pp.4620-4642, ⟨10.48550/arXiv.2204.04970⟩
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Louis Mandel, Marc Pouzet, Reyyan Tekin
- titre
- Inférence parallèle pour un langage réactif probabiliste
- article
- 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
- Accès au texte intégral et bibtex
-
- auteur
- Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet
- titre
- Inférer et vérifier les tailles de tableaux avec des types polymorphes
- article
- 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.140-164
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Le Lidec, Louis Montaut, Cordelia Schmid, Ivan Laptev, Justin Carpentier
- titre
- Augmenting differentiable physics with randomized smoothing
- article
- RSS 2022 - Robotics Science and Systems, Workshop on Differentiable Simulation For Robotics, Jun 2022, New York, United States
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Bambade, Sarah El-Kazdadi, Adrien Taylor, Justin Carpentier
- titre
- PROX-QP: Yet another Quadratic Programming Solver for Robotics and beyond
- article
- RSS 2022 - Robotics: Science and Systems, Jun 2022, New York, United States
- Accès au texte intégral et bibtex
-
- auteur
- Louis Montaut, Quentin Le Lidec, Vladimir Petrik, Josef Sivic, Justin Carpentier
- titre
- Collision Detection Accelerated: An Optimization Perspective
- article
- RSS 2022 - Robotics: Science and Systems, Jun 2022, New York, United States
- Accès au texte intégral et bibtex
-
- auteur
- Bianca Marin Moreno, Christine Fricker, Hanene Mohamed, Amaury Philippe, Martin Trepanier
- titre
- Mean field analysis of an incentive algorithm for a closed stochastic network
- article
- AofA 2022 - 33rd International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2022, Philadelphia, PA, United States. pp.13:1--13:17
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Iooss, Albert Cohen, Dumitru Potop-Butucaru, Marc Pouzet, Vincent Bregeon, Jean Souyris, Philippe Baufreton
- titre
- Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems
- article
- IMPACT 2022 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12
- Accès au texte intégral et bibtex
-
- auteur
- Shizhe Chen, Pierre-Louis Guhur, Makarand Tapaswi, Cordelia Schmid, Ivan Laptev
- titre
- Think Global, Act Local: Dual-scale Graph Transformer for Vision-and-Language Navigation
- article
- CVPR 2022 - IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Yang, Antoine Miech, Josef Sivic, Ivan Laptev, Cordelia Schmid
- titre
- TubeDETR: Spatio-Temporal Video Grounding with Transformers
- article
- CVPR 2022 - IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Georgy Ponimatkin, Yann Labbé, Bryan Russell, Mathieu Aubry, Josef Sivic
- titre
- Focal Length and Object Pose Estimation via Render and Compare
- article
- CVPR 2022 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2022, New Orleans, United States
- Accès au bibtex
-
- auteur
- Tomáš Souček, Jean-Baptiste Alayrac, Antoine Miech, Ivan Laptev, Josef Sivic
- titre
- Look for the Change: Learning Object States and State-Modifying Actions from Untrimmed Web Videos
- article
- CVPR 2022 - IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2022, New Orleans, United States
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Louis Mandel, Reyyan Tekin
- titre
- JAX based parallel inference for reactive probabilistic programming
- article
- LCTES'22 - 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2022, San Diego CA, United States. ⟨10.1145/3519941.3535066⟩
- Accès au texte intégral et bibtex
-
- auteur
- Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Hannes Voigt, Oskar van Rest, Domagoj Vrgoč, Mingxi Wu, Fred Zemke
- titre
- Graph Pattern Matching in GQL and SQL/PGQ
- article
- SIGMOD '22: International Conference on Management of Data, Jun 2022, Philadelphia, United States. ⟨10.1145/3514221.3526057⟩
- Accès au bibtex
-
- auteur
- Karl Bringmann, Nofar Carmeli, Stefan Mengel
- titre
- Tight Fine-Grained Bounds for Direct Access on Join Queries
- article
- SIGMOD/PODS '22: International Conference on Management of Data, Jun 2022, Philadelphia PA, United States. pp.427-436, ⟨10.1145/3517804.3526234⟩
- Accès au bibtex
-
- auteur
- Yann Ramusat, Silviu Maniu, Pierre Senellart
- titre
- Efficient Provenance-Aware Querying of Graph Databases with Datalog
- article
- GRADES-NDA 2022 - Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Jun 2022, Philadelphia, United States
- Accès au texte intégral et bibtex
-
- auteur
- Céline Comte, Fabien Mathieu, Ana Bušić
- titre
- Appariements, polytopes et dons d'organes
- article
- AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
- Accès au texte intégral et bibtex
-
- auteur
- Daniel Rausch, Ralf Küsters, Céline Chevalier
- titre
- Embedding the UC Model into the IITM Model
- article
- EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2022, Trondheim, Norway. pp.242-272, ⟨10.1007/978-3-031-07085-3_9⟩
- Accès au bibtex
-
- auteur
- Wilson Jallet, Antoine Bambade, Nicolas Mansard, Justin Carpentier
- titre
- ProxNLP: a primal-dual augmented Lagrangian solver for nonlinear programming in Robotics and beyond
- article
- 6th Legged Robots Workshop, May 2022, Philadelphia, Pennsylvania, United States
- Accès au texte intégral et bibtex
-
- auteur
- Soheil Kolouri, Kimia Nadjahi, Shahin Shahrampour, Umut Simsekli
- titre
- Generalized Sliced Probability Metrics
- article
- ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore. pp.4513-4517, ⟨10.1109/ICASSP43922.2022.9746016⟩
- Accès au bibtex
-
- auteur
- Wilson Jallet, Nicolas Mansard, Justin Carpentier
- titre
- Implicit Differential Dynamic Programming
- article
- International Conference on Robotics and Automation (ICRA 2022), IEEE Robotics and Automation Society, May 2022, Philadelphia, United States. ⟨10.1109/ICRA46639.2022.9811647⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Brochard, Sixin Zhang, Stéphane Mallat
- titre
- Generalized Rectifier Wavelet Covariance Models For Texture Synthesis
- article
- ICLR 2022 - 10th International Conference on Learning Representations, Apr 2022, Virtual, France. ⟨10.48550/arXiv.2203.07902⟩
- Accès au bibtex
-
- auteur
- Florentin Guth, John Zarka, Stephane Mallat
- titre
- Phase Collapse in Neural Networks
- article
- International Conference on Learning Representations, 2022, Apr 2022, Online, France
- Accès au texte intégral et bibtex
-
- auteur
- Adrien Bardes, Jean Ponce, Yann Lecun
- titre
- VICReg: Variance-Invariance-Covariance Regularization For Self-Supervised Learning
- article
- ICLR 2022 - International Conference on Learning Representations, Apr 2022, Online, United States
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Goujaud, Damien Scieur, Aymeric Dieuleveut, Adrien Taylor, Fabian Pedregosa
- titre
- Super-Acceleration with Cyclical Step-sizes
- article
- International Conference on Artificial Intelligence and Statistics, Mar 2022, Virtual conference, France
- Accès au bibtex
-
- auteur
- Bernadette Charron-Bost, Patrick Lambein-Monette
- titre
- Computing Outside the Box: Average Consensus over Dynamic Networks
- article
- 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, Mar 2022, Roma, Italy. ⟨10.4230/LIPIcs.SAND.2022.10⟩
- Accès au texte intégral et bibtex
-
- auteur
- Alex Nowak-Vila, Alessandro Rudi, Francis Bach
- titre
- On the Consistency of Max-Margin Losses
- article
- AISTATS 2022 - 25th International Conference on Artificial Intelligence and Statistics, Mar 2022, València, Spain
- Accès au texte intégral et bibtex
-
- auteur
- Dorian Baudry, Yoan Russac, Emilie Kaufmann
- titre
- Efficient Algorithms for Extreme Bandits
- article
- International conference on Artificial Intelligence and Statistics (AISTATS), Mar 2022, Virtual Conference, Spain
- Accès au texte intégral et bibtex
-
- auteur
- Ulysse Marteau-Ferey, Francis Bach, Alessandro Rudi
- titre
- Sampling from Arbitrary Functions via PSD Models
- article
- AISTATS 2022 - 25th International Conference on Artificial Intelligence and Statistics, Mar 2022, Valencia (virtual), Spain
- Accès au texte intégral et bibtex
-
- auteur
- Samuel Vivien
- titre
- Parallel integer multiplication
- article
- PDP 2022 - 30th Euromicron International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2022, Valladoid, Spain. ⟨10.1109/PDP55904.2022.00024⟩
- Accès au texte intégral et bibtex
-
- auteur
- Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner
- titre
- Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes
- article
- International Conference on Practice and Theory in Public Key Cryptography, Mar 2022, Tokyo, Japan
- Accès au texte intégral et bibtex
-
- auteur
- Ilia Shilov, Hélène Le Cadre, Ana Bušić
- titre
- A Generalized Nash Equilibrium analysis of the interaction between a peer-to-peer financial market and the distribution grid
- article
- ROADEF 2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
- Accès au texte intégral et bibtex
-
- auteur
- Luca Ganassali, Laurent Massoulié, Marc Lelarge
- titre
- Correlation detection in trees for planted graph alignment
- article
- ITCS 2022 - 13th Innovations in Theoretical Computer Science Conference, Jan 2022, Berkeley, United States
- Accès au bibtex
-
- auteur
- Olivier Nicole, Matthieu Lemerre, Xavier Rival
- titre
- Lightweight Shape Analysis based on Physical Types
- article
- VMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2022, Philadelphia, United States
- Accès au texte intégral et bibtex
-
- auteur
- Adnan Ben Mansour, Gaia Carenini, Alexandre Duplessis, David Naccache
- titre
- FedControl: When Control Theory Meets Federated Learning
- article
- New in ML workshop at ICML 2022, Jan 2022, Baltimore, United States
- Accès au bibtex
-
- auteur
- Gergei Bana, Marco Biroli, Megi Dervishi, Fatima-Ezzahra El Orche, Rémi Géraud-Stewart, David Naccache, Peter B. Rønne, Peter y A Ryan, Hugo Waltsburger
- titre
- Time, Privacy, Robustness, Accuracy: Trade Offs for the Open Vote Network Protocol
- article
- E-Vote-ID 2022, Jan 2022, Bregenz, Austria
- Accès au bibtex
-
- auteur
- David Naccache, Ofer Yifrach-Stav
- titre
- Invisible Formula Attacks
- article
- BlackHat 2022, Jan 2022, Las Vegas (USA), United States
- Accès au bibtex
-
- auteur
- Adnan Ben Mansour, Gaia Carenini, Alexandre Duplessis, David Naccache
- titre
- Federated Learning Aggregation: New Robust Algorithms with Guarantees
- article
- IEEE ICMLA 2022, Jan 2022, Bahamas, Bahamas
- Accès au bibtex
-
- auteur
- Georges-Axel Jaloyan, Konstantinos Markantonakis, Raja Naeem Akram, David Robin, Keith Mayes, David Naccache
- titre
- Return-Oriented Programming on RISC-V
- article
- AsiaCCS 2020, Jan 2022, Taipei, Taiwan
- Accès au bibtex
-
- auteur
- Dvir Fried, Shay Golan, Tomasz Kociumaka, Tsvi Kopelowitz, Ely Porat, Tatiana Starikovskaya
- titre
- An Improved Algorithm for The k-Dyck Edit Distance Problem
- article
- 33rd SODA 2022, 2022, Alexandria ( Virtual Conference), United States
- Accès au texte intégral et bibtex
-
Book sections
- auteur
- Matthieu Bouguéon, Pierre Boutillier, Jérôme Feret, Octave Hazard, Nathalie Théret
- titre
- The rule-based model approach. A Kappa model for hepatic stellate cells activation by TGFB1
- article
- Elisabetta De Maria. Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, pp.1-76, 2022, 978-1-119-71653-2
- Accès au texte intégral et bibtex
-
- auteur
- Jérôme Feret
- titre
- Analyses des motifs accessibles dans les modèles Kappa
- article
- Cédric Lhoussaine et Élisabeth Remy. Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, ISTE, 2022, 9781789480290
- Accès au texte intégral et bibtex
-
- auteur
- Daria Pchelina, Nicolas Schabanel, Shinnosuke Seki, Guillaume Theyssier
- titre
- Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly Model (ATAM)
- article
- Berenbrink, Petra and Monmege, Benjamin. 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), 219, 2022, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-222-8. ⟨10.4230/LIPIcs.STACS.2022.51⟩
- Accès au bibtex
-
- auteur
- Jocelyne Troccaz, Jean-Paul Laumond
- titre
- La place des robots dans les processus de soin
- article
- Bernard Nordlinger, Cédric Villani et Olivier de Fresnoye. Médecine et Intelligence Artificielle, CNRS Editions, pp.243-252, 2022, 978-2-271-14151-4
- Accès au texte intégral et bibtex
-
- auteur
- Bartłomiej Dudek, Paweł Gawrychowski, Garance Gourdel, Tatiana Starikovskaya
- titre
- Streaming Regular Expression Membership and Pattern Matching
- article
- Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Society for Industrial and Applied Mathematics, pp.670-694, 2022, ⟨10.1137/1.9781611977073.30⟩
- Accès au texte intégral et bibtex
-
Master thesis
- auteur
- Yacine Brihmouche
- titre
- TheoremKB : une base de connaissance des résultats mathématiques
- article
- Informatique [cs]. 2022
- Accès au texte intégral et bibtex
-
- auteur
- Siméon Gheorghin
- titre
- Etude de données Twitter en lien avec l'élection présidentielle française d'avril 2022
- article
- Informatique [cs]. 2022
- Accès au texte intégral et bibtex
-
Books
- auteur
- Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, Stefania Dumbrava, Diane Gallois-Wong, Adrien Guatto, David Janin, Marie Kerjean, Luc Pellissier, Mário Pereira, Alix Trieu, Yannick Zakowski
- titre
- 33èmes journées francophones des langages applicatifs
- article
- Chantal Keller; Timothy Bourke. , pp.1-292, 2022
- Accès au texte intégral et bibtex
-
- auteur
- Michel Beaudouin-Lafon, Céline Chevalier, Gilles Grimaud, Benoit Groz, Philippe Marquet, Mathieu Nancel, Cristel Pelsser, Xavier Redon, Thomas Vantroys, Emmanuel Waller
- titre
- Numérique et Sciences Informatiques, Terminale spécialité
- article
- Hachette Education, pp.352, 2022, 978-2-01-786634-3
- Accès au bibtex
-
- auteur
- Serge Abiteboul, Jean Cattan
- titre
- Nous sommes les réseaux sociaux
- article
- Odile Jacob, 2022
- Accès au bibtex
-
- auteur
- Gagandeep Singh, Caterina Urban
- titre
- Proceedings of the 29th International Symposium (SAS 2022)
- article
- Springer Nature Switzerland, 13790, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22308-2⟩
- Accès au texte intégral et bibtex
-
Poster communications
- auteur
- Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
- titre
- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
- article
- 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, [Virtual], Japan
- Accès au texte intégral et bibtex
-
- auteur
- Serge Durand, Augustin Lemesle, Zakaria Chihani, Caterina Urban, François Terrier
- titre
- ReCIPH: Relational Coefficients for Input Partitioning Heuristic
- article
- 1st Workshop on Formal Verification of Machine Learning (WFVML 2022), Jul 2022, Baltimore, United States
- Accès au texte intégral et bibtex
-
Proceedings
- auteur
- Antoine Salmona, Valentin de Bortoli, Julie Delon, Agnès Desolneux
- titre
- Can Push-forward Generative Models Fit Multimodal Distributions?
- article
- NeurIPS 2022, The Thirty-sixth Annual Conference on Neural Information Processing Systems, 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022)
- Accès au texte intégral et bibtex
-
Reports
- auteur
- Filip Drobnjaković, Pavle Subotić, Caterina Urban
- titre
- An Abstract Interpretation-Based Data Leakage Static Analysis
- article
- Microsoft Research; Inria Paris; École Normale Supérieure. 2022
- Accès au texte intégral et bibtex
-
- auteur
- Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
- titre
- Abstract Interpretation-Based Feature Importance for SVMs
- article
- IIIT Kalyani; University of Padova; Inria Paris; École Normale Supérieure. 2022
- Accès au texte intégral et bibtex
-
- auteur
- Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
- titre
- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
- article
- Fujitsu; Inria Paris; École Normale Supérieure. 2022
- Accès au texte intégral et bibtex
-
Theses
- auteur
- Minttu Alakuijala
- titre
- Self-taught Robots: Autonomous and Weakly-Supervised Learning for Robotic Manipulation
- article
- Computer Science [cs]. ENS Paris - Ecole Normale Supérieure de Paris, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Eric Daoud
- titre
- Geographic and socio-demographic disparities in oncology care pathways
- article
- Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASL085⟩
- Accès au texte intégral et bibtex
-
- auteur
- Huy V. Vo
- titre
- Annotation-efficient learning for object discovery and detection
- article
- Artificial Intelligence [cs.AI]. Ecole normale supérieure - ENS PARIS, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Eloïse Berthier
- titre
- Efficient Algorithms for Control and Reinforcement Learning
- article
- Machine Learning [cs.LG]. Université PSL (Paris Sciences & Lettres), 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Octavio Pérez Kempner
- titre
- Malleable cryptography : advances and applications to privacy-enhancing technologies
- article
- Computer Science [cs]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE056⟩
- Accès au texte intégral et bibtex
-
- auteur
- Luca Ganassali
- titre
- The graph alignment problem: fundamental limits and efficient algorithms
- article
- Probability [math.PR]. PSL Research University; Ecole normale supérieure, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Basile Clément
- titre
- Translation Validation of Tensor Compilers
- article
- Computer Science [cs]. École Normale Supérieure (Paris), 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ulysse Marteau-Ferey
- titre
- Modelling functions with kernels: from logistic regression to global optimisation
- article
- Mathematics [math]. PSL, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vivien Cabannes
- titre
- From weakly supervised learning to active labeling
- article
- Machine Learning [stat.ML]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE046⟩
- Accès au texte intégral et bibtex
-
- auteur
- Théo Ryffel
- titre
- Cryptography for Privacy-Preserving Machine Learning
- article
- Computer Science [cs]. ENS Paris - Ecole Normale Supérieure de Paris, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yann Ramusat
- titre
- The semiring-based provenance framework for graph databases
- article
- Databases [cs.DB]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE022⟩
- Accès au texte intégral et bibtex
-
- auteur
- Olivier Nicole
- titre
- Automated verification of systems code using type-based memory abstractions
- article
- Data Structures and Algorithms [cs.DS]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE021⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Brochard
- titre
- Wavelet-based representations of point processes for modelling and statistical learning
- article
- Probability [math.PR]. Ecole Normale Supérieure (Paris), 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Gaëlle Candel
- titre
- Connecting graphs to machine learning
- article
- Machine Learning [cs.LG]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE018⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yoan Russac
- titre
- Sequential decision problems in non-stationary environments
- article
- Machine Learning [cs.LG]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE014⟩
- Accès au texte intégral et bibtex
-
- auteur
- Grégoire Mialon
- titre
- On Inductive Biases for Machine Learning in Data Constrained Settings
- article
- Computer Science [cs]. Ecole Normale Supérieure (ENS), Paris, FRA., 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Grégoire Mialon
- titre
- On inductive biases for machine learning in data constrained settings
- article
- Machine Learning [cs.LG]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE011⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marina Polubelova
- titre
- Building a formally verified high-performance multi-platform cryptographic library in F
- article
- Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE008⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- auteur
- Luca Pesce, Bruno Loureiro, Florent Krzakala, Lenka Zdeborová
- titre
- Subspace clustering in high-dimensions: Phase transitions & Statistical-to-Computational gap
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Michel Davydov
- titre
- Propagation of chaos and Poisson Hypothesis for replica mean-field models of intensity-based neural networks
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Lucas Clarté, Bruno Loureiro, Florent Krzakala, Lenka Zdeborová
- titre
- A study of uncertainty quantification in overparametrized high-dimensional models
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Alexandre Défossez, Charlotte Caucheteux, Jeremy Rapin, Ori Kabeli, Jean-Rémi King
- titre
- Decoding speech from non-invasive brain recordings
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Cezara Drăgoi, Patricio Inzaghi Pronesti
- titre
- A Sequentialization Procedure for Fault-Tolerant Protocols
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Rémi Jézéquel, Dmitrii M. Ostrovskii, Pierre Gaillard
- titre
- Efficient and Near-Optimal Online Portfolio Selection
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Baptiste Goujaud, Adrien Taylor, Aymeric Dieuleveut
- titre
- Optimal first-order methods for convex functions with a quadratic upper bound
- article
- 2022
- Accès au bibtex
-
- auteur
- Baptiste Goujaud, Céline Moucer, François Glineur, Julien Hendrickx, Adrien Taylor, Aymeric Dieuleveut
- titre
- PEPit: computer-assisted worst-case analyses of first-order optimization methods in Python
- article
- 2022
- Accès au bibtex
-
- auteur
- Benjamin Dubois-Taine, Francis Bach, Quentin Berthet, Adrien Taylor
- titre
- Fast Stochastic Composite Minimization and an Accelerated Frank-Wolfe Algorithm under Parallelization
- article
- 2022
- Accès au bibtex
-
- auteur
- Céline Pieters, Emmanuelle Damblon, Philippe Souères, Jean-Paul Laumond
- titre
- Talking about moving machines: an argumentative perspective
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Francis Bach
- titre
- Information Theory with Kernel Methods
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Robin Strudel, Ivan Laptev, Cordelia Schmid
- titre
- Weakly-supervised segmentation of referring expressions
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Karl Bringmann, Nofar Carmeli, Stefan Mengel
- titre
- Tight Fine-Grained Bounds for Direct Access on Join Queries
- article
- 2022
- Accès au bibtex
-
- auteur
- Michael Eickenberg, Erwan Allys, Azadeh Moradinezhad Dizgah, Pablo Lemos, Elena Massara, Muntazir Abidi, Changhoon Hahn, Sultan Hassan, Bruno Régaldo-Saint Blancard, Shirley Ho, Stéphane Mallat, Joakim Andén, Francisco Villaescusa-Navarro
- titre
- Wavelet Moments for Cosmological Parameter Estimation
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Chang-Sik Choi, François Baccelli
- titre
- Modeling and Analysis of 2-Tier Heterogeneous Vehicular Networks Leveraging Roadside Units and Vehicle Relays
- article
- 2022
- Accès au bibtex
-
- auteur
- César Debeunne, Médéric Fourmy, Yann Labbé, Pierre-Alexandre Léziart, Guilhem Saurel, Joan Solà, Nicolas Mansard
- titre
- CosySlam: investigating object-level SLAM for detecting locomotion surfaces
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Pia Bideau, Erik Learned-Miller, Cordelia Schmid, Karteek Alahari
- titre
- The Right Spin: Learning Object Motion from Rotation-Compensated Flow Fields
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Chien-Chung Huang, François Sellier
- titre
- Semi-Streaming Algorithms for Submodular Function Maximization Under b-Matching, Matroid, and Matchoid Constraints
- article
- 2022
- Accès au bibtex
-
- auteur
- Théophile Cantelobre, Carlo Ciliberto, Benjamin Guedj, Alessandro Rudi
- titre
- Measuring dissimilarity with diffeomorphism invariance
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Raphaël Berthier, Mufan Bill Li
- titre
- Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Alaaeldin El-Nouby, Natalia Neverova, Ivan Laptev, Hervé Jégou
- titre
- Training Vision Transformers for Image Retrieval
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Alaaeldin El-Nouby, Gautier Izacard, Hugo Touvron, Ivan Laptev, Hervé Jégou, Edouard Grave
- titre
- Are Large-scale Datasets Necessary for Self-Supervised Pre-training?
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Théo Ryffel, Francis Bach, David Pointcheval
- titre
- Differential Privacy Guarantees for Stochastic Gradient Langevin Dynamics
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Rodrigo Veiga, Ludovic Stephan, Bruno Loureiro, Florent Krzakala, Lenka Zdeborová
- titre
- Phase diagram of Stochastic Gradient Descent in high-dimensional two-layer neural networks
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Mathieu Even, Laurent Massoulié, Kévin Scaman
- titre
- Sample Optimality and All-for-all Strategies in Personalized Federated and Collaborative Learning
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Mir-Omid Haji-Mirsadeghi, Sayeh Khaniha
- titre
- Coupling from the Past for the Null Recurrent Markov Chain
- article
- 2022
- Accès au bibtex
-
- auteur
- Eric Daoud, Anne-Sophie Hamy-Petit, Elise Dumas, Lidia Delrieu, Beatriz Grandal Rejo, Christine Le Bihan-Benjamin, Sophie Houzard, Philippe-Jean Bousquet, Judicaël Hotton, Aude-Marie Savoye, Christelle Jouannaud, Chloé-Agathe Azencott, Marc Lelarge, Fabien Reyal
- titre
- Disparities in accessibility to oncology care centers in France
- article
- 2022
- Accès au bibtex
-
- auteur
- Ali Khezeli
- titre
- A Unified Framework for Generalizing the Gromov-Hausdorff Metric
- article
- 2022
- Accès au bibtex
-
- auteur
- François Baccelli, Sergey Foss, S. Shneer
- titre
- Migration-Contagion Processes
- article
- 2022
- Accès au bibtex
-
- auteur
- Ali Khezeli
- titre
- An Improved Lower Bound on the Largest Common Subtree of Random Leaf-Labeled Binary Trees
- article
- 2022
- Accès au bibtex
-
- auteur
- Kimia Nadjahi, Valentin de Bortoli, Alain Durmus, Roland Badeau, Umut Şimşekli
- titre
- Approximate Bayesian computation with the sliced-Wasserstein distance
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Le Corre, Ana Bušić, Sean Meyn
- titre
- Feature Projection for Optimal Transport
- article
- 2022
- Accès au bibtex
-
Videos
- auteur
- Phong Q. Nguyen, Fanny Bastien
- titre
- Phong NGUYEN - Recent progress on lattices's computations 2
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Phong Q. Nguyen, Fanny Bastien
- titre
- Phong NGUYEN - Recent progress on lattices's computations 1
- article
- 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- auteur
- Carlton Shepherd, Konstantinos Markantonakis, Nico van Heijningen, Driss Aboulkassimi, Clément Gaine, Thibaut Heckmann, David Naccache
- titre
- Physical fault injection and side-channel attacks on mobile devices: A comprehensive analysis
- article
- Computers & Security, 2021, 111, pp.102471. ⟨10.1016/j.cose.2021.102471⟩
- Accès au bibtex
-
- auteur
- François Baccelli, Sanket Kalamkar
- titre
- On point processes defined by angular conditions on Delaunay neighbors in the Poisson–Voronoi Tessellation
- article
- Journal of Applied Probability, 2021, 58 (4), pp.952-965. ⟨10.1017/jpr.2021.26⟩
- Accès au bibtex
-
- auteur
- Nithin Ramesan, François Baccelli
- titre
- How Wireless Queues Benefit from Motion: An Analysis of the Continuum Between Zero and Infinite Mobility
- article
- IEEE Transactions on Wireless Communications, 2021, 20 (12), pp.8149-8162. ⟨10.1109/TWC.2021.3090762⟩
- Accès au bibtex
-
- auteur
- Sébastien Samain, Josu Doncel, Ana Bušić, Jean-Michel Fourneau
- titre
- Multiclass Energy Packet Networks with finite capacity energy queues
- article
- Performance Evaluation, 2021, 152, pp.102228. ⟨10.1016/j.peva.2021.102228⟩
- Accès au texte intégral et bibtex
-
- auteur
- W. Waites, M. Cavaliere, D. Manheim, J. Panovska-Griffiths, V. Danos
- titre
- Rule-based epidemic models
- article
- Journal of Theoretical Biology, 2021, 530, pp.110851. ⟨10.1016/j.jtbi.2021.110851⟩
- Accès au bibtex
-
- auteur
- Hyoseung Kim, Youngkyung Lee, Michel Abdalla, Jong Hwan Park
- titre
- Practical dynamic group signature with efficient concurrent joins and batch verifications
- article
- Journal of information security and applications, 2021, 63, pp.103003. ⟨10.1016/j.jisa.2021.103003⟩
- Accès au bibtex
-
- auteur
- Olivier Blazy, Laura Brouilhet, Celine Chevalier, Patrick Towa, Ida Tucker, Damien Vergnaud
- titre
- Hardware security without secure hardware: How to decrypt with a password and a server
- article
- Theoretical Computer Science, 2021, 895, pp.178-211. ⟨10.1016/j.tcs.2021.09.042⟩
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Trouchkine, Sébanjila Kevin K Bukasa, Mathieu Escouteloup, Ronan Lashermes, Guillaume Bouffard
- titre
- Electromagnetic fault injection against a complex CPU, toward new micro-architectural fault models
- article
- Journal of Cryptographic Engineering, 2021, 11 (4), pp.353--367. ⟨10.1007/s13389-021-00259-6⟩
- Accès au texte intégral et bibtex
-
- auteur
- Giovanna Girardi, Laura Gabriela Fernandez, Marion Leboyer, Alice Latimier, Sylvie Chokron, Tiziana Zalla
- titre
- Temporal preparation in adults with autistic spectrum disorder: The variable foreperiod effect
- article
- Autism Research, 2021, 14 (11), pp.2393-2404. ⟨10.1002/aur.2573⟩
- Accès au bibtex
-
- auteur
- Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
- titre
- Statically bounded-memory delayed sampling for probabilistic streams
- article
- Proceedings of the ACM on Programming Languages, 2021, 5 (OOPSLA), pp.1-28. ⟨10.1145/3485492⟩
- Accès au texte intégral et bibtex
-
- auteur
- Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
- titre
- Verified Lustre Normalization with Node Subsampling
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩
- Accès au texte intégral et bibtex
-
- auteur
- Nitin Singha, Sanket Kalamkar, Yatindra Nath Singh
- titre
- Maximum Utility-Aware Capacity Partitioning in Cooperative Computing
- article
- IEEE Communications Letters, 2021, 25 (10), pp.3360-3364. ⟨10.1109/LCOMM.2021.3097045⟩
- Accès au bibtex
-
- auteur
- Sanket Kalamkar, François Baccelli, Fuad Abinader, Andrea Fani, Luis Garcia
- titre
- Beam Management in 5G: A Stochastic Geometry Analysis
- article
- IEEE Transactions on Wireless Communications, 2021, 21 (4), pp.2275-2290. ⟨10.1109/TWC.2021.3110785⟩
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Sriram Vishwanath, Jae Oh Woo
- titre
- On the steady state of continuous-time stochastic opinion dynamics with power-law confidence
- article
- Journal of Applied Probability, 2021, 58 (3), pp.746-772. ⟨10.1017/jpr.2020.113⟩
- Accès au bibtex
-
- auteur
- Ilia Shilov, Hélène Le Cadre, Ana Bušić
- titre
- Privacy Impact on Generalized Nash Equilibrium in Peer-to-Peer Electricity Market
- article
- Operations Research Letters, 2021, 49, pp.759-766. ⟨10.1016/j.orl.2021.08.001⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bartłomiej Błaszczyszyn, Christian Hirsch
- titre
- Optimal stationary markings
- article
- Stochastic Processes and their Applications, 2021, 138, pp.153--185. ⟨10.1016/j.spa.2021.04.003⟩
- Accès au bibtex
-
- auteur
- Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
- titre
- Catala: A Programming Language for the Law
- article
- Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.77:1-29. ⟨10.1145/3473582⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chang-Sik Choi, François Baccelli
- titre
- Modeling and Analysis of Vehicle Safety Message Broadcast in Cellular Networks
- article
- IEEE Transactions on Wireless Communications, 2021, 20 (7), pp.4087-4099. ⟨10.1109/TWC.2021.3055837⟩
- Accès au bibtex
-
- auteur
- Quentin Le Gall, Bartłomiej Błaszczyszyn, Elie Cali, Taoufik En-Najjary
- titre
- Continuum Line-of-Sight Percolation on Poisson-Voronoi Tessellations
- article
- Advances in Applied Probability, 2021, 53 (2), pp.510--536. ⟨10.1017/apr.2020.69⟩
- Accès au bibtex
-
- auteur
- Pascal Moyal, Ana Bušić, Jean Mairesse
- titre
- A product form for the general stochastic matching model
- article
- Journal of Applied Probability, 2021, 58 (2), pp.449-468. ⟨10.1017/jpr.2020.100⟩
- Accès au bibtex
-
- auteur
- Pierre Aboulker, Pierre Charbit, Reza Naserasr
- titre
- Extension of Gyárfás-Sumner conjecture to digraphs
- article
- The Electronic Journal of Combinatorics, 2021, ⟨10.37236/9906⟩
- Accès au texte intégral et bibtex
-
- auteur
- Simon Coste, Justin Salez
- titre
- Emergence of extended states at zero in the spectrum of sparse random graphs
- article
- Annals of Probability, 2021, 49 (4), ⟨10.1214/20-AOP1499⟩
- Accès au bibtex
-
- auteur
- Hugo Illous, Matthieu Lemerre, Xavier Rival
- titre
- A relational shape abstract domain
- article
- Formal Methods in System Design, 2021, ⟨10.1007/s10703-021-00366-4⟩
- Accès au texte intégral et bibtex
-
- auteur
- Gül Varol, Ivan Laptev, Cordelia Schmid, Andrew Zisserman
- titre
- Synthetic Humans for Action Recognition from Unseen Viewpoints
- article
- International Journal of Computer Vision, 2021, 129, pp.2264-2287. ⟨10.1007/s11263-021-01467-7⟩
- Accès au bibtex
-
- auteur
- Quentin Le Lidec, Igor Kalevatykh, Ivan Laptev, Cordelia Schmid, Justin Carpentier
- titre
- Differentiable simulation for physical system identification
- article
- IEEE Robotics and Automation Letters, 2021, 6 (2), pp.3413-3420. ⟨10.1109/LRA.2021.3062323⟩
- Accès au texte intégral et bibtex
-
- auteur
- Th Heckmann, Th Souvignet, D. Sauveron, D. Naccache
- titre
- Medical Equipment Used for Forensic Data Extraction: A low-cost solution for forensic laboratories not provided with expensive diagnostic or advanced repair equipment
- article
- Forensic Science International: Digital Investigation, 2021, 36, pp.301092. ⟨10.1016/j.fsidi.2020.301092⟩
- Accès au bibtex
-
- auteur
- Marc Joye, Oleksandra Lapiha, Ky Nguyen, David Naccache
- titre
- Medical Equipment Used for Forensic Data Extraction: A low-cost solution for forensic laboratories not provided with expensive diagnostic or advanced repair equipment
- article
- Forensic Science International: Digital Investigation, 2021, 36 (1), pp.301092. ⟨10.1016/j.fsidi.2020.301092⟩
- Accès au bibtex
-
- auteur
- Serge Abiteboul
- titre
- Qualité, équité, transparence, vérification et explicabilité des décisions algorithmiques
- article
- Annales des Mines - Enjeux Numériques, 2021
- Accès au texte intégral et bibtex
-
- auteur
- Louis Filstroff, Olivier Gouvert, Cédric Févotte, Olivier Cappé
- titre
- A Comparative Study of Gamma Markov Chains for Temporal Non-Negative Factorization
- article
- IEEE Transactions on Signal Processing, 2021, ⟨10.1109/TSP.2021.3060000⟩
- Accès au texte intégral et bibtex
-
- auteur
- Alexandre d'Aspremont, Mihai Cucuringu, Hemant Tyagi
- titre
- Ranking and synchronization from pairwise measurements via SVD
- article
- Journal of Machine Learning Research, 2021, 22 (19), pp.1-63. ⟨10.48550/arXiv.1906.02746⟩
- Accès au texte intégral et bibtex
-
- auteur
- Celine Chevalier, Fabien Laguillaumie, Damien Vergnaud
- titre
- Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions
- article
- Algorithmica, 2021, 83 (1), pp.72-115. ⟨10.1007/s00453-020-00750-2⟩
- Accès au texte intégral et bibtex
-
- auteur
- Weiran Liu, Jianwei Liu, Qianhong Wu, Bo Qin, David Naccache, Houda Ferradi
- titre
- Compact CCA2-secure Hierarchical Identity-Based Broadcast Encryption for Fuzzy-Entity Data Sharing
- article
- Soft Comput. , 2021, 22 (23)
- Accès au bibtex
-
- auteur
- Gaelle Candel, David Naccache
- titre
- Index t-SNE: Tracking Dynamics of High-Dimensional Datasets with Coherent Embeddings
- article
- International Journal of Computer, Information, and Systems Science, and Engineering, 2021, 15 (8), pp.500 - 512
- Accès au bibtex
-
- auteur
- François Baccelli, Mir-Omid Haji-Mirsadeghi, Ali Khezeli
- titre
- Unimodular Hausdorff and Minkowski dimensions
- article
- Electronic Journal of Probability, 2021, 26 (none), ⟨10.1214/21-EJP692⟩
- Accès au bibtex
-
- auteur
- François Baccelli, Thibaud Taillefumier
- titre
- The Pair-Replica-Mean-Field Limit for Intensity-based Neural Networks
- article
- SIAM Journal on Applied Dynamical Systems, 2021, 20 (1), pp.165-207. ⟨10.1137/20M1331664⟩
- Accès au bibtex
-
- auteur
- Ashish Dandekar, Debabrota Basu, Stéphane Bressan
- titre
- Differential Privacy at Risk: Bridging Randomness and Privacy Budget
- article
- Proceedings on Privacy Enhancing Technologies, 2021, 2021 (1), pp.64-84. ⟨10.2478/popets-2021-0005⟩
- Accès au texte intégral et bibtex
-
- auteur
- Justin Carpentier, Pierre-Brice Wieber
- titre
- Recent Progress in Legged Robots Locomotion Control
- article
- Current Robotics Reports, 2021, 2, pp.231-238. ⟨10.1007/s43154-021-00059-0⟩
- Accès au texte intégral et bibtex
-
- auteur
- Francis Bach
- titre
- On the Effectiveness of Richardson Extrapolation in Data Science
- article
- SIAM Journal on Mathematics of Data Science, 2021, 3 (4), pp.1251-1277. ⟨10.1137/21M1397349⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chien-Chung Huang, Mathieu Mari, Claire Mathieu, Kevin Schewior, Jens Vygen
- titre
- An Approximation Algorithm for Fully Planar Edge-Disjoint Paths
- article
- SIAM Journal on Discrete Mathematics, 2021, 35 (2), pp.752-769. ⟨10.1137/20M1319401⟩
- Accès au texte intégral et bibtex
-
- auteur
- Serge Abiteboul
- titre
- Dans la jungle des identifiants numériques
- article
- Acteurs Publics, 2021
- Accès au texte intégral et bibtex
-
- auteur
- Marc Lambert, Silvere Bonnabel, Francis Bach
- titre
- The recursive variational Gaussian approximation (R-VGA)
- article
- Statistics and Computing, In press, ⟨10.1007/s11222-021-10068-w⟩
- Accès au texte intégral et bibtex
-
- auteur
- Fanny Thibon, Lucas Weppe, Maryline Montanes, Philippe Telouk, Nathalie Vigier
- titre
- Lithium isotopic composition of reference materials of biological origin TORT-2, DORM-2, TORT-3, DORM-4, SRM-1400 and ERM-CE278k
- article
- Journal of Analytical Atomic Spectrometry, 2021, ⟨10.1039/D1JA00045D⟩
- Accès au bibtex
-
- auteur
- Jana Bielčíková, Raghav Kunnawalkam Elayavalli, Georgy Ponimatkin, Jörn H. Putschke, Josef Šivic
- titre
- Identifying Heavy-Flavor Jets Using Vectors of Locally Aggregated Descriptors
- article
- Journal of Instrumentation, 2021, 16 (03), pp.P03017. ⟨10.1088/1748-0221/16/03/P03017⟩
- Accès au bibtex
-
- auteur
- Chien-Chung Huang, Naonori Kakimura
- titre
- Improved Streaming Algorithms for Maximizing Monotone Submodular Functions under a Knapsack Constraint
- article
- Algorithmica, 2021, 83 (3), pp.879-902. ⟨10.1007/s00453-020-00786-4⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Neil Cammardella, Ana Bušić, Sean Meyn
- titre
- Kullback-Leibler-Quadratic Optimal Control in a Stochastic Environment
- article
- CDC 2021 - 60th IEEE conference on Decision and Control, Dec 2021, Austin (online), United States
- Accès au texte intégral et bibtex
-
- auteur
- Gourab Ghatak, Sanket Sanjay Kalamkar, Yash Gupta, Shubhi Sharma
- titre
- A Fine-Grained Analysis of Radar Detection in Vehicular Networks
- article
- IEEE GLOBECOM 2021 - IEEE Global Communications Conference, Dec 2021, Madrid, Spain
- Accès au texte intégral et bibtex
-
- auteur
- Alaaeldin El-Nouby, Hugo Touvron, Mathilde Caron, Piotr Bojanowski, Matthijs Douze, Armand Joulin, Ivan Laptev, Natalia Neverova, Gabriel Synnaeve, Jakob Verbeek, Hervé Jégou
- titre
- XCiT: Cross-Covariance Image Transformers
- article
- NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Sydney, Australia. pp.1-21
- Accès au texte intégral et bibtex
-
- auteur
- Yoan Russac, Christina Katsimerou, Dennis Bohle, Olivier Cappé, Aurélien Garivier, Wouter M Koolen
- titre
- A/B/n Testing with Control in the Presence of Subpopulations
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France. ⟨10.48550/arXiv.2110.15573⟩
- Accès au texte intégral et bibtex
-
- auteur
- Huy V. Vo, Elena Sizikova, Cordelia Schmid, Patrick Pérez, Jean Ponce
- titre
- Large-Scale Unsupervised Object Discovery
- article
- NeurIPS - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, Canada
- Accès au bibtex
-
- auteur
- Rémi Jézéquel, Pierre Gaillard, Alessandro Rudi
- titre
- Mixability made efficient: Fast online multiclass logistic regression
- article
- NeurIPS 2021. Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Online, France. ⟨10.48550/arXiv.2110.03960⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vivien Cabannes, Loucas Pillaud-Vivien, Francis Bach, Alessandro Rudi
- titre
- Overcoming the curse of dimensionality with Laplacian regularization in semi-supervised learning
- article
- NeurIPS 2021 - Thirty-fifth conference on Neural Information Processing Systems (NeurIPS), Dec 2021, Online, Unknown Region
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Le Moing, Jean Ponce, Cordelia Schmid
- titre
- CCVS: Context-aware Controllable Video Synthesis
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
- Accès au bibtex
-
- auteur
- Gaspard Beugnot, Julien Mairal, Alessandro Rudi
- titre
- Beyond Tikhonov: Faster Learning with Self-Concordant Losses via Iterative Regularization
- article
- NeurIPS 2021 – 35th Annual Conference on Neural Information Processing Systems, Dec 2021, Virtual, France. pp.1-37, ⟨10.48550/arXiv.2106.08855⟩
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
- titre
- Pipeline Combinators for Gradual AutoML
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Hadi Daneshmand, Amir Joudaki, Francis Bach
- titre
- Batch Normalization Orthogonalizes Representations in Deep Random Networks
- article
- NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Helger Lipmaa, Roberto Parisella, Arne Tobias Ødegaard
- titre
- Efficient NIZKs for Algebraic Sets
- article
- ASIACRYPT 2021 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Online, Singapore
- Accès au texte intégral et bibtex
-
- auteur
- Mathieu Even, Raphaël Berthier, Francis Bach, Nicolas Flammarion, Pierre Gaillard, Hadrien Hendrikx, Laurent Massoulié, Adrien Taylor
- titre
- A Continuized View on Nesterov Acceleration for Stochastic Gradient Descent and Randomized Gossip
- article
- NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Sydney (virtual), Australia. pp.1-32, ⟨10.48550/arXiv.2106.07644⟩
- Accès au texte intégral et bibtex
-
- auteur
- Oumayma Bounou, Jean Ponce, Justin Carpentier
- titre
- Online Learning and Control of Dynamical Systems from Sensory Input
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems Year, Dec 2021, Sydney / Virtual, Australia
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Le Lidec, Ivan Laptev, Cordelia Schmid, Justin Carpentier
- titre
- Differentiable Rendering with Perturbed Optimizers
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
- Accès au texte intégral et bibtex
-
- auteur
- Kimia Nadjahi, Alain Durmus, Pierre E. Jacob, Roland Badeau, Umut Şimşekli
- titre
- Fast Approximation of the Sliced-Wasserstein Distance Using Concentration of Random Projections
- article
- 35th Conference on Neural Information Processing Systems (NeurIPS 2021), Dec 2021, En ligne, France. ⟨10.5555/3540261.3541211⟩
- Accès au texte intégral et bibtex
-
- auteur
- Shizhe Chen, Pierre-Louis Guhur, Cordelia Schmid, Ivan Laptev
- titre
- History Aware Multimodal Transformer for Vision-and-Language Navigation
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
- Accès au texte intégral et bibtex
-
- auteur
- Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu
- titre
- Algebraic Adversaries in the Universal Composability Framework
- article
- ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapour, Singapore. pp.311-341, ⟨10.1007/978-3-030-92078-4_11⟩
- Accès au bibtex
-
- auteur
- Michel Abdalla, Björn Haase, Julia Hesse
- titre
- Security Analysis of CPace
- article
- ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapour, Singapore. pp.711-741, ⟨10.1007/978-3-030-92068-5_24⟩
- Accès au bibtex
-
- auteur
- Alexander Camuto, George Deligiannidis, Murat A. Erdogdu, Mert Gürbüzbalaban, Umut Şimşekli, Lingjiong Zhu
- titre
- Fractal Structure and Generalization Properties of Stochastic Optimization Algorithms
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
- Accès au bibtex
-
- auteur
- Hongjian Wang, Mert Gürbüzbalaban, Lingjiong Zhu, Umut Şimşekli, Murat A. Erdogdu
- titre
- Convergence Rates of Stochastic Gradient Descent under Infinite Noise Variance
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
- Accès au bibtex
-
- auteur
- Tolga Birdal, Aaron Lou, Leonidas Guibas, Umut Şimşekli
- titre
- Intrinsic Dimension, Persistent Homology and Generalization in Neural Networks
- article
- NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
- Accès au bibtex
-
- auteur
- Yana Hasson, Gül Varol, Cordelia Schmid, Ivan Laptev
- titre
- Towards unconstrained joint hand-object reconstruction from RGB videos
- article
- 3DV 2021 - International Conference on 3D Vision, Dec 2021, London, United Kingdom
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Bill Roscoe, Peter Ryan
- titre
- Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer
- article
- ACISP 2021 - The 26th Australasian Conference on Information Security and Privacy, Dec 2021, Perth, Australia
- Accès au texte intégral et bibtex
-
- auteur
- Oriane Siméoni, Gilles Puy, Huy V. Vo, Simon Roburin, Spyros Gidaris, Andrei Bursuc, Patrick Pérez, Renaud Marlet, Jean Ponce
- titre
- Localizing Objects with Self-Supervised Transformers and no Labels
- article
- BMVC 2021 - 32nd British Machine Vision Conference, Nov 2021, Virtual, United Kingdom
- Accès au bibtex
-
- auteur
- Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
- titre
- Synchronization Modulo k in Dynamic Networks
- article
- SSS 2021 - International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2021, Virtual Event, France. pp.425-439, ⟨10.1007/978-3-030-91081-5_28⟩
- Accès au texte intégral et bibtex
-
- auteur
- Juliette Achddou, Olivier Cappé, Aurélien Garivier
- titre
- Fast Rate Learning in Stochastic First Price Bidding
- article
- ACML 2021 - Proceedings of Machine Learning Research 157, 2021, Nov 2021, SIngapore, Singapore. ⟨10.48550/arXiv.2107.01835⟩
- Accès au texte intégral et bibtex
-
- auteur
- Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim A Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern
- titre
- Learning GraphQL Query Cost
- article
- ASE 2021 - IEEE/ACM International Conference on Automated Software Engineering -- Industry Showcase, Nov 2021, Melbourne / Virtuel, Australia
- Accès au texte intégral et bibtex
-
- auteur
- Léonard Assouline, Tianren Liu
- titre
- Multi-party PSM, Revisited: Improved Communication and Unbalanced Communication
- article
- TCC 2021: Theory of Cryptography, Nov 2021, Raleigh, United States. pp.194-223, ⟨10.1007/978-3-030-90453-1_7⟩
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Shuichi Katsumata, Elahe Sadeghi, Bogdan Ursu
- titre
- Statistical ZAPs from Group-Based Assumptions
- article
- TCC 2021 - Theory of Cryptography Conference, Nov 2021, Raleigh, United States
- Accès au texte intégral et bibtex
-
- auteur
- Jean Dubreuil, Guillaume Bouffard
- titre
- PhiAttack
- article
- CARDIS 2021 - 20th International Conference on Smart Card Research and Advanced Applications, Nov 2021, Lübeck, Germany. pp.275-288, ⟨10.1007/978-3-030-97348-3_15⟩
- Accès au texte intégral et bibtex
-
- auteur
- Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
- titre
- Parallelisable Existential Rules: a Story of Pieces
- article
- KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
- Accès au texte intégral et bibtex
-
- auteur
- Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
- titre
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules
- article
- KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.141-150, ⟨10.24963/kr.2021/14⟩
- Accès au texte intégral et bibtex
-
- auteur
- Peiyuan Zhang, Antonio Orvieto, Hadi Daneshmand
- titre
- Rethinking the Variational Interpretation of Accelerated Optimization Methods
- article
- NeurrIPS 2021, Nov 2021, Virtual, Unknown Region
- Accès au texte intégral et bibtex
-
- auteur
- Francesco Ranzato, Caterina Urban, Marco Zanella
- titre
- Fairness-Aware Training of Decision Trees by Abstract Interpretation
- article
- CIKM 2021 - 30th ACM International Conference on Information and Knowledge Management, Nov 2021, Queensland / Virtual, Australia. pp.1508-1517, ⟨10.1145/3459637.3482342⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ilia Shilov, Hélène Le Cadre, Ana Bušić
- titre
- A Generalized Nash Equilibrium analysis of the interaction between a peer-to-peer financial market and the distribution grid
- article
- IEEE Smart Grid Comm 2021 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Oct 2021, Aachen, Germany
- Accès au texte intégral et bibtex
-
- auteur
- Alejandro Astudillo, Justin Carpentier, Joris Gillis, Goele Pipeleers, Jan Swevers
- titre
- Mixed Use of Analytical Derivatives and Algorithmic Differentiation for NMPC of Robot Manipulators
- article
- MECC 2021 - 1st IFAC Modeling, Estimation and Control Conference, Oct 2021, Austin, United States
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Louis Mandel
- titre
- Automatic Guide Generation for Stan via NumPyro
- article
- PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States
- Accès au texte intégral et bibtex
-
- auteur
- Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
- titre
- Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams
- article
- PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States
- Accès au texte intégral et bibtex
-
- auteur
- Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
- titre
- Testing consensus implementations using communication closure
- article
- SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩
- Accès au texte intégral et bibtex
-
- auteur
- Denis Mazzucato, Caterina Urban
- titre
- Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
- article
- 28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, United States
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Michael Klooss, Huang Lin, Michael Reichle
- titre
- Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments
- article
- EUROCRYPT 2021 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.247-277, ⟨10.1007/978-3-030-77883-5_9⟩
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Pierre Meyer
- titre
- Breaking the Circuit Size Barrier for Secure Computation Under Quasi-Polynomial LPN
- article
- EUROCRYPT 2021 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.842-870, ⟨10.1007/978-3-030-77886-6_29⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre-Louis Guhur, Makarand Tapaswi, Shizhe Chen, Ivan Laptev, Cordelia Schmid
- titre
- Airbert: In-domain Pretraining for Vision-and-Language Navigation
- article
- ICCV 2021 - International Conference on Computer Vision, Oct 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Bruno Lecouat, Jean Ponce, Julien Mairal
- titre
- Lucas-Kanade Reloaded: End-to-End Super-Resolution from Raw Image Bursts
- article
- ICCV 2021 - International Conference on Computer Vision, Oct 2021, Virtual, France. pp.1-16, ⟨10.1109/ICCV48922.2021.00237⟩
- Accès au texte intégral et bibtex
-
- auteur
- Tom Monnier, Elliot Vincent, Jean Ponce, Mathieu Aubry
- titre
- Unsupervised Layered Image Decomposition into Object Prototypes
- article
- Proceedings of the IEEE/CVF International Conference on Computer Vision. 2021, Oct 2021, Montreal, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Alexander Pashevich, Cordelia Schmid, Chen Sun
- titre
- Episodic Transformer for Vision-and-Language Navigation
- article
- ICCV 2021 - International Conference on Computer Vision, Oct 2021, Virtual, United States. pp.1-18, ⟨10.1109/ICCV48922.2021.01564⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Yang, Antoine Miech, Josef Sivic, Ivan Laptev, Cordelia Schmid
- titre
- Just Ask: Learning to Answer Questions from Millions of Narrated Videos
- article
- ICCV 2021 - IEEE International Conference on Computer Vision, Oct 2021, Montréal, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Robin Strudel, Ricardo Garcia, Ivan Laptev, Cordelia Schmid
- titre
- Segmenter: Transformer for Semantic Segmentation
- article
- ICCV 2021 - International Conference on Computer Vision, Oct 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Camille Bourgaux, Ana Ozaki, Jeff Z Pan
- titre
- Geometric Models for (Temporally) Attributed Description Logics
- article
- DL 2021 - 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Trouchkine, Guillaume Bouffard, Jessy Clediere
- titre
- EM Fault Model Characterization on SoCs: From Different Architectures to the Same Fault Model
- article
- Workshop on Fault Detection and Tolerance in Cryptography (FDTC), Sep 2021, Milan, Italy. pp.31-38, ⟨10.1109/FDTC53659.2021.00014⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vikrant Malik, Sanket Kalamkar, Abhishek Gupta, Gourab Ghatak
- titre
- Where to Deploy Reconfigurable Intelligent Surfaces in the Presence of Blockages?
- article
- PIMRC 2021 - IEEE 32nd Annual International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2021, Helsinki, Finland. pp.1419-1424, ⟨10.1109/PIMRC50174.2021.9569657⟩
- Accès au bibtex
-
- auteur
- Shrey Mishra, Lucas Pluvinage, Pierre Senellart
- titre
- Towards Extraction of Theorems and Proofs in Scholarly Articles
- article
- DocEng '21 - 21st ACM Symposium on Document Engineering, Aug 2021, Limerick, Ireland
- Accès au texte intégral et bibtex
-
- auteur
- Elette Boyle, Geoffroy Couteau, Niv Gilboa, Yuval Ishai, Lisa Kohl, Peter Scholl
- titre
- Low-Complexity Weak Pseudorandom Functions in $$\mathtt {AC}0[\mathtt {MOD}2]$$
- article
- CRYPTO 2021 - Annual International Cryptology Conference, Aug 2021, Santa Barbara, United States. pp.487-516, ⟨10.1007/978-3-030-84259-8_17⟩
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Peter Rindal, Srinivasan Raghuraman
- titre
- Silver: Silent VOLE and Oblivious Transfer from Hardness of Decoding Structured LDPC Codes
- article
- CRYPTO 2021 - Annual International Cryptology Conference, Aug 2021, Santa Barbara, United States. pp.502-534, ⟨10.1007/978-3-030-84252-9_17⟩
- Accès au texte intégral et bibtex
-
- auteur
- Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
- titre
- Cardinality Queries over DL-Lite Ontologies
- article
- IJCAI 2021 - 30th International Joint Conference on Artificial Intelligence, Aug 2021, Montreal, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Slim Bettaieb, Loic Bidoux, Olivier Blazy, Baptiste Cottier, David Pointcheval
- titre
- Secure Decision Forest Evaluation
- article
- ARES 2021 - 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna, Austria. pp.1-12, ⟨10.1145/3465481.3465763⟩
- Accès au texte intégral et bibtex
-
- auteur
- Leon Machler, David Naccache
- titre
- Explaining the Entombed Algorithm
- article
- 2021 IEEE Conference on Games (CoG), Aug 2021, Copenhagen, Denmark. pp.1-4, ⟨10.1109/CoG52621.2021.9619150⟩
- Accès au bibtex
-
- auteur
- Angèle Bossuat, Raphael Bost, Pierre-Alain Fouque, Brice Minaud, Michael Reichle
- titre
- SSE and SSD: Page-Efficient Searchable Symmetric Encryption
- article
- Crypto 2021 - Annual International Cryptology Conference, Aug 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Luca Ganassali
- titre
- Sharp threshold for alignment of graph databases with Gaussian weights
- article
- MSML21 (Mathematical and Scientific Machine Learning), Aug 2021, Lausanne, Switzerland
- Accès au texte intégral et bibtex
-
- auteur
- Vivien Cabannes, Francis Bach, Alessandro Rudi
- titre
- Fast Rates for Structured Prediction
- article
- COLT 2021 - 34th Annual Conference on Learning Theory, Aug 2021, Boulder, Colorado, United States
- Accès au texte intégral et bibtex
-
- auteur
- Waïss Azizian, Franck Iutzeler, Jérôme Malick, Panayotis Mertikopoulos
- titre
- The last-iterate convergence rate of optimistic mirror descent in stochastic variational inequalities
- article
- COLT 2021 - 34th Annual Conference on Learning Theory, Aug 2021, Boulder, United States. pp.1-32, ⟨10.48550/arXiv.2107.01906⟩
- Accès au texte intégral et bibtex
-
- auteur
- Luca Ganassali, Marc Lelarge, Laurent Massoulié
- titre
- Impossibility of Partial Recovery in the Graph Alignment Problem
- article
- COLT 2021 - 34th Annual Conference on Learning Theory, Aug 2021, Boulder / Virtual, United States
- Accès au texte intégral et bibtex
-
- auteur
- Adrien Vacher, Boris Muzellec, Alessandro Rudi, Francis Bach, François-Xavier Vialard
- titre
- A Dimension-free Computational Upper-bound for Smooth Optimal Transport Estimation
- article
- COLT 2021 - 34th Annual Conference on Learning Theory, Aug 2021, Boulder, United States. ⟨10.48550/arXiv.2101.05380⟩
- Accès au texte intégral et bibtex
-
- auteur
- Mathieu Even, Laurent Massoulié
- titre
- Concentration of Non-Isotropic Random Tensors with Applications to Learning and Empirical Risk Minimization
- article
- Conference on Learning Theory, 2021, Aug 2021, Boulder, United States. ⟨10.48550/arXiv.2102.04259⟩
- Accès au texte intégral et bibtex
-
- auteur
- Radu-Alexandru Dragomir, Hadrien Hendrikx, Mathieu Even
- titre
- Fast Stochastic Bregman Gradient Methods: Sharp Analysis and Variance Reduction
- article
- ICML 2021- 38th International Conference on Machine Learning, Jul 2021, virtual, United States. pp.2815-2825
- Accès au bibtex
-
- auteur
- Elliot Chane-Sane, Cordelia Schmid, Ivan Laptev
- titre
- Goal-Conditioned Reinforcement Learning with Imagined Subgoals
- article
- ICML 2021 - Thirty-eighth International Conference on Machine Learning, Jul 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Liutkus, Ondřej Cífka, Shih-Lun Wu, Umut Şimşekli, Yi-Hsuan Yang, Gael Richard
- titre
- Relative Positional Encoding for Transformers with Linear Complexity
- article
- ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Virtual Only, United States. pp.7067-7079
- Accès au texte intégral et bibtex
-
- auteur
- Dorian Baudry, Yoan Russac, Olivier Cappé
- titre
- On Limited-Memory Subsampling Strategies for Bandits
- article
- ICML 2021- International Conference on Machine Learning, Jul 2021, Vienna / Virtual, Austria
- Accès au texte intégral et bibtex
-
- auteur
- Vivien Cabannes, Alessandro Rudi, Francis Bach
- titre
- Disambiguation of Weak Supervision leading to Exponential Convergence rates
- article
- ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Virtual, France. pp.1147-1157
- Accès au texte intégral et bibtex
-
- auteur
- Mert Gurbuzbalaban, Umut Şimşekli, Lingjiong Zhu
- titre
- The Heavy-Tail Phenomenon in SGD
- article
- ICML2021 - Thirty-eighth annual conference on International Conference on Machine Learning, Jul 2021, Virtual, France
- Accès au bibtex
-
- auteur
- Alexander Camuto, Xiaoyu Wang, Lingjiong Zhu, Chris Holmes, Mert Gürbüzbalaban, Umut Şimşekli
- titre
- Asymmetric Heavy Tails and Implicit Bias in Gaussian Noise Injections
- article
- ICML 2021 - Thirty-eighth annual conference International Conference on Machine Learning, Jul 2021, Virtual, France
- Accès au bibtex
-
- auteur
- Guillaume Didier, Clémentine Maurice
- titre
- Calibration Done Right: Noiseless Flush+Flush Attacks
- article
- DIMVA 2021 - The 18th Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Jul 2021, Lisboa / Virtual, Portugal
- Accès au texte intégral et bibtex
-
- auteur
- Justin Carpentier, Rohan Budhiraja, Nicolas Mansard
- titre
- Proximal and Sparse Resolution of Constrained Dynamic Equations
- article
- Robotics: Science and Systems 2021, Jul 2021, Austin / Virtual, United States
- Accès au texte intégral et bibtex
-
- auteur
- Tianshu Chu, Xinmeng Li, Huy V. Vo, Ronald M Summers, Elena Sizikova
- titre
- Improving Weakly Supervised Lesion Segmentation using Multi-Task Learning
- article
- MIDL 2021 - Medical Imaging with Deep Learning, Jul 2021, Lubeck, Germany
- Accès au texte intégral et bibtex
-
- auteur
- Sébastien Légaré, Jean Krivine, Jérôme Feret
- titre
- Distinguishing Context Dependent Events in Quotients of Causal Stories
- article
- JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61
- Accès au texte intégral et bibtex
-
- auteur
- Eloïse Berthier, Justin Carpentier, Francis Bach
- titre
- Fast and Robust Stability Region Estimation for Nonlinear Dynamical Systems
- article
- European Control Conference (ECC) 2021, Jun 2021, Rotterdam, Netherlands
- Accès au texte intégral et bibtex
-
- auteur
- Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
- titre
- Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming
- article
- PLDI '21 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021, Virtual, Canada. pp.497-510, ⟨10.1145/3453483.3454058⟩
- Accès au texte intégral et bibtex
-
- auteur
- Victor Vianu
- titre
- Datalog Unchained
- article
- SIGMOD/PODS '21- International Conference on Management of Data, Jun 2021, Xi'an, Shaanxi / Virtual Event China, China. pp.57-69, ⟨10.1145/3452021.3458815⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yann Labbé, Justin Carpentier, Mathieu Aubry, Josef Sivic
- titre
- Single-view robot pose and joint angle estimation via render & compare
- article
- CVPR 2021 - Conference on Computer Vision and Pattern Recognition, Jun 2021, Virtual, France
- Accès au bibtex
-
- auteur
- Antoine Miech, Jean-Baptiste Alayrac, Ivan Laptev, Josef Sivic, Andrew Zisserman
- titre
- Thinking Fast and Slow: Efficient Text-to-Visual Retrieval with Transformers
- article
- CVPR 2021 - Conference on Computer Vision and Pattern Recognition, Jun 2021, Nashville, United States
- Accès au bibtex
-
- auteur
- Julien Ancel, Christine Fricker, Hanene Mohamed
- titre
- Mean field analysis for bike and e-bike sharing systems
- article
- MAMA - ACM SIGMETRICS 2021 Workshop on MAthematical performance Modeling and Analysis, Jun 2021, Beijing, China. pp.12-14, ⟨10.1145/3512798.3512804⟩
- Accès au bibtex
-
- auteur
- Ondřej Cífka, Alexey Ozerov, Umut Şimşekli, Gael Richard
- titre
- Self-Supervised VQ-VAE for One-Shot Music Style Transfer
- article
- ICASSP 2021 - IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto / Virtual, Canada. ⟨10.1109/ICASSP39728.2021.9414235⟩
- Accès au texte intégral et bibtex
-
- auteur
- Théo Delemazure, François Durand, Fabien Mathieu
- titre
- Démocratie à géométrie variable (à l'usage des algorithmes)
- article
- ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France
- Accès au texte intégral et bibtex
-
- auteur
- François Bailly, Justin Carpentier, Philippe Souères
- titre
- Optimal Estimation of the Centroidal Dynamics of Legged Robots
- article
- IEEE International Conference on Robotics and Automation (ICRA 2021), May 2021, Xi’an, China. ⟨10.1109/ICRA48506.2021.9561993⟩
- Accès au texte intégral et bibtex
-
- auteur
- Thibault Noël, Thomas Flayols, Joseph Mirabel, Justin Carpentier, Nicolas Mansard
- titre
- A hybrid collision model for safety collision control
- article
- IEEE International Conference on Robotics and Automation (ICRA 2021), May 2021, Xi'an, China. ⟨10.1109/ICRA48506.2021.9561730⟩
- Accès au texte intégral et bibtex
-
- auteur
- Sarah El Kazdadi, Justin Carpentier, Jean Ponce
- titre
- Equality Constrained Differential Dynamic Programming
- article
- ICRA 2021 - IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China
- Accès au texte intégral et bibtex
-
- auteur
- Austin R. Coffman, Ana Bušić, Prabir Barooah
- titre
- Control oriented modeling of TCLs
- article
- 2021 American Control Conference (ACC), May 2021, New Orleans, United States
- Accès au bibtex
-
- auteur
- Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
- titre
- No crash, no exploit: Automated verification of embedded Kernels
- article
- RTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium, May 2021, Nashville, United States
- Accès au texte intégral et bibtex
-
- auteur
- Ingkarat Rak-Amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
- titre
- Extracting Hyperparameter Constraints from Code
- article
- ICLR Workshop on Security and Safety in Machine Learning Systems, May 2021, Virtual, United States
- Accès au texte intégral et bibtex
-
- auteur
- Grégoire Mialon, Dexiong Chen, Alexandre d'Aspremont, Julien Mairal
- titre
- A Trainable Optimal Transport Embedding for Feature Aggregation and its Relationship to Attention
- article
- ICLR 2021 - The Ninth International Conference on Learning Representations, May 2021, Virtual, France. ⟨10.48550/arXiv.2006.12065⟩
- Accès au texte intégral et bibtex
-
- auteur
- Gautier Izacard, Edouard Grave
- titre
- Distilling Knowledge from Reader to Retriever for Question Answering
- article
- ICLR 2021 - 9th International Conference on Learning Representations, May 2021, Vienna, Austria
- Accès au texte intégral et bibtex
-
- auteur
- Waïss Azizian, Marc Lelarge
- titre
- Expressive Power of Invariant and Equivariant Graph Neural Networks
- article
- ICLR 2021 - International Conference on Learning Representations, May 2021, Virtual, Unknown Region
- Accès au bibtex
-
- auteur
- John Zarka, Florentin Guth, Stéphane Mallat
- titre
- Separation and Concentration in Deep Networks
- article
- ICLR 2021 - 9th International Conference on Learning Representations, May 2021, Vienna / Virtual, Austria
- Accès au texte intégral et bibtex
-
- auteur
- Alberto Bietti, Francis Bach
- titre
- Deep Equals Shallow for ReLU Networks in Kernel Regimes
- article
- ICLR 2021 - International Conference on Learning Representations, May 2021, Virtual, Austria. pp.1-22, ⟨10.48550/arXiv.2009.14397⟩
- Accès au texte intégral et bibtex
-
- auteur
- Farid Arthaud, Rachel Bawden, Alexandra Birch
- titre
- Few-shot learning through contextual data augmentation
- article
- EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Apr 2021, Kiev / Virtual, Ukraine
- Accès au texte intégral et bibtex
-
- auteur
- Gautier Izacard, Edouard Grave
- titre
- Leveraging Passage Retrieval with Generative Models for Open Domain Question Answering
- article
- EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Apr 2021, Kiev, Ukraine. pp.874-880, ⟨10.18653/v1/2021.eacl-main.74⟩
- Accès au texte intégral et bibtex
-
- auteur
- Peiyuan Zhang, Antonio Orvieto, Hadi Daneshmand, Thomas Hofmann, Roy Smith
- titre
- Revisiting the Role of Euler Numerical Integration on Acceleration and Stability in Convex Optimization
- article
- AISTATS 2021 - 24th International Conference on Artifi-cial Intelligence and Statistics, Apr 2021, Virtual, Unknown Region
- Accès au texte intégral et bibtex
-
- auteur
- Yoan Russac, Louis Faury, Olivier Cappé, Aurélien Garivier
- titre
- Self-Concordant Analysis of Generalized Linear Bandits with Forgetting
- article
- AISTATS 2021 - International Conference on Artificial Intelligence and Statistics, Apr 2021, San Diego / Virtual, United States. ⟨10.48550/arXiv.2011.00819⟩
- Accès au texte intégral et bibtex
-
- auteur
- Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
- titre
- Normalisation vérifiée du langage Lustre
- article
- JFLA 2021 - 32ème Journées Francophones des Langages Applicatifs, Yann Régis-Gianas et Chantal Keller, Apr 2021, En ligne, France. pp.117-133
- Accès au texte intégral et bibtex
-
- auteur
- Yann Ramusat, Silviu Maniu, Pierre Senellart
- titre
- Provenance-Based Algorithms for Rich Queries over Graph Databases
- article
- EDBT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia / Virtual, Cyprus
- Accès au texte intégral et bibtex
-
- auteur
- Liat Peterfreund
- titre
- Grammars for Document Spanners
- article
- ICDT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia / Virtual, Cyprus
- Accès au texte intégral et bibtex
-
- auteur
- Juliette Achddou, Olivier Cappé, Aurélien Garivier
- titre
- Efficient Algorithms for Stochastic Repeated Second-price Auctions
- article
- ALT 2021 - 32nd International Conference on Algorithmic Learning Theory, Mar 2021, Paris, France. ⟨10.48550/arXiv.2011.05072⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Danos, Hamza El Khalloufi, Julien Prat
- titre
- Global Order Routing on Exchange Networks
- article
- FC 2021: Financial Cryptography and Data Security. FC 2021 International Workshops, Mar 2021, Virtual Event, France. pp.207-226, ⟨10.1007/978-3-662-63958-0_19⟩
- Accès au texte intégral et bibtex
-
- auteur
- Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser, Henk Corporaal
- titre
- Progressive Raising in Multi-level IR
- article
- CGO 2021 : International Symposium on Code Generation and Optimization, Feb 2021, Seoul / Virtual, South Korea
- Accès au texte intégral et bibtex
-
- auteur
- Geoffroy Couteau, Pooya Farshim, Mohammad Mahmoody
- titre
- Black-Box Uselessness: Composing Separations in Cryptography
- article
- ITCS 2021 - 12th Innovations in Theoretical Computer Science Conference, Feb 2021, Online, United States
- Accès au texte intégral et bibtex
-
- auteur
- Spyros Angelopoulos, Malachi Voss
- titre
- Online Search with Maximum Clearance
- article
- 35th AAAI Conference on Artificial Intelligence (AAAI), Feb 2021, Online Conference, United States. pp.3642-3650
- Accès au texte intégral et bibtex
-
- auteur
- Maroua Bahri, Albert Bifet, Silviu Maniu, Heitor Murilo Gomes
- titre
- Survey on Feature Transformation Techniques for Data Streams
- article
- IJCAI-PRICAI 2020 - 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, Jan 2021, Yokohama / Virtual, Japan. pp.4796-4802, ⟨10.24963/ijcai.2020/668⟩
- Accès au bibtex
-
- auteur
- Gaëlle Candel, David Naccache
- titre
- Co-Embedding: Discovering Communities on Bipartite Graphs through Projection
- article
- FICC 2022, Jan 2021, San Francisco, United States
- Accès au bibtex
-
- auteur
- Gaëlle Candel, David Naccache
- titre
- Noise-Resilient Ensemble Learning using Evidence Accumulation Clustering
- article
- International Conference on Advanced Network Technologies and Intelligent Computing, Jan 2021, Varanasi, India
- Accès au bibtex
-
- auteur
- Théodore Conrad-Frenkiel, Rémi Géraud-Stewart, David Naccache
- titre
- On Unpadded NTRU Quantum (In)Security
- article
- 46th Wireless World Research Forum, Jan 2021, Abu Dhabi, United Arab Emirates
- Accès au bibtex
-
- auteur
- Gaëlle Candel, David Naccache
- titre
- Tagged Documents Co-Clustering
- article
- World Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE'21) - track ICAI21, Jan 2021, Las Vegas (USA), United States
- Accès au bibtex
-
- auteur
- Gaëlle Candel, David Naccache
- titre
- Generating Local Maps of Science using Deep Bibliographic Coupling
- article
- 18th International Conference of the International Society for Scientometrics and Informetrics, Jan 2021, Leuven, Belgium
- Accès au bibtex
-
- auteur
- Louis Thiry, Michael Arbel, Eugene Belilovsky, Edouard Oyallon
- titre
- The Unreasonable Effectiveness of Patches in Deep Convolutional Kernels Methods
- article
- International Conference on Learning Representation (ICLR 2021), 2021, Vienna (online), Austria
- Accès au texte intégral et bibtex
-
- auteur
- Gabriel Bathie, Tatiana Starikovskaya
- titre
- Property testing of regular languages with applications to streaming property testing of visibly pushdown languages
- article
- ICALP 2021, 2021, GLASGOW (virtual conference), United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.115⟩
- Accès au texte intégral et bibtex
-
Book sections
- auteur
- Pierre Aboulker, Frédéric Havet, Kolja Knauer, Clément Rambaud
- titre
- On the dichromatic number of surfaces
- article
- Extended Abstracts EuroComb 2021, 14, Springer International Publishing, pp.181-187, 2021, Trends in Mathematics, ⟨10.1007/978-3-030-83823-2_29⟩
- Accès au texte intégral et bibtex
-
- auteur
- Adithya Devraj, Ana Bušić, Sean Meyn
- titre
- Fundamental Design Principles for Reinforcement Learning Algorithms
- article
- Kyriakos G. Vamvoudakis; Yan Wan; Frank L. Lewis; Derya Cansever. Handbook of Reinforcement Learning and Control, 325, Springer International Publishing, pp.75-137, 2021, Studies in Systems, Decision and Control, ⟨10.1007/978-3-030-60990-0_4⟩
- Accès au bibtex
-
- auteur
- Andrea Canidio, Vincent Danos, Stefania Marcassa, Julien Prat
- titre
- Tokens and ICOs: A Review of the Economic Literature
- article
- Antonio Fernández Anta; Chryssis Georgiou; Maurice Herlihy; Maria Potop-Butucaru. Principles of Blockchain Systems, Springer, 2021
- Accès au texte intégral et bibtex
-
- auteur
- Anastasios Giovanidis, Bartłomiej Błaszczyszyn
- titre
- Randomised Geographic Caching and its Applications in Wireless Networks
- article
- H. Vincent Poor; Wei Chen. Edge Caching for Mobile Networks, The Institution of Engineering and Technology, pp.371--404, 2021, 978-1-83953-122-4
- Accès au texte intégral et bibtex
-
Lectures
- auteur
- Bernadette Charron-Bost, Jean-Marc Notin
- titre
- Distributed computing
- article
- Master. France. 2021
- Accès au texte intégral et bibtex
-
Master thesis
- auteur
- Riccardo Corona
- titre
- Gender Discrimination in Data Analysis: a Socio-Technical Approach
- article
- Databases [cs.DB]. 2021
- Accès au texte intégral et bibtex
-
Other publications
- auteur
- Matthieu Bouguéon, Pierre Boutillier, Jerome Feret, Octave Hazard, Nathalie Theret
- titre
- Modelling hepatic stellate cells activation by TGFB1 using Kappa language
- article
- 2021, pp.1-23
- Accès au texte intégral et bibtex
-
Books
- auteur
- Alexandre d'Aspremont, Damien Scieur, Adrien Taylor
- titre
- Acceleration Methods
- article
- 5 (1-2), pp.1-245, 2021, Foundations and Trends® in Optimization
- Accès au bibtex
-
- auteur
- Lisa Nguyen Quang Do, Caterina Urban
- titre
- Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
- article
- ACM, 2021, ⟨10.1145/3460946⟩
- Accès au texte intégral et bibtex
-
- auteur
- Cédric Lhoussaine, Jérôme Feret
- titre
- Special issue "Formal Method for Biological Systems Modelling
- article
- Cedric Lhoussaine; Jérôme Feret. MDPI, 9, 2021, Section Computational Biology, 2079-3197
- Accès au bibtex
-
Poster communications
- auteur
- Matthieu Bouguéon, Pierre Boutillier, Jerome Feret, Octave Hazard, Nathalie Theret
- titre
- A Kappa model for hepatic stellate cells activation by TGFB1
- article
- CompSysBio 2021 - Advanced Lecture Course on Computational Systems Biology, Nov 2021, Aussois, France. pp.1-1
- Accès au texte intégral et bibtex
-
- auteur
- Matthieu Bouguéon, Pierre Boutillier, Jerome Feret, Octave Hazard, Nathalie Theret
- titre
- A Kappa model for hepatic stellate cells activation by TGFB1
- article
- CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux / Virtual, France. pp.1-6
- Accès au texte intégral et bibtex
-
- auteur
- Sébastien Légaré, Jean Krivine, Russ Harmer, Jérôme Feret
- titre
- Modelling Systems Biology Wide and Deep
- article
- CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
- Accès au texte intégral et bibtex
-
Proceedings
- auteur
- Vincent Danos, Jean Krivine, Julien Prat
- titre
- Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper)
- article
- 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Open Access Series in Informatics, No. 10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 10:1-10:5, 2021, ⟨10.4230/OASIcs.Tokenomics.2020.10⟩
- Accès au bibtex
-
Reports
- auteur
- Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu
- titre
- Algebraic Adversaries in the Universal Composability Framework
- article
- [Research Report] IACR Cryptology ePrint Archive. 2021
- Accès au texte intégral et bibtex
-
- auteur
- François Bailly, Justin Carpentier, Philippe Souères
- titre
- Computational details for : "Optimal Estimation of the Centroidal Dynamics of Legged Robots
- article
- [Research Report] Rapport LAAS n° 21072, LAAS-CNRS; Université de Montréal. 2021
- Accès au texte intégral et bibtex
-
- auteur
- Hyoseung Kim, Olivier Sanders, Michel Abdalla, Jong Hwan Park
- titre
- Practical Dynamic Group Signatures Without Knowledge Extractors
- article
- [Research Report] Report 2021/351, IACR Cryptology ePrint Archive. 2021
- Accès au texte intégral et bibtex
-
- auteur
- Christine Fricker, Hanene Mohamed, Teodora Popescu, Martin Trépanier
- titre
- Stochastic Modelling of Free-Floating Car-Sharing Systems
- article
- [Research Report] CIRRELT. 2021
- Accès au texte intégral et bibtex
-
- auteur
- Michel Abdalla, Björn Haase, Julia Hesse
- titre
- Security Analysis of CPace
- article
- [Research Report] Report 2021/114, IACR Cryptology ePrint Archive. 2021
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Aboulker, Frédéric Havet, Kolja Knauer, Clément Rambaud
- titre
- On the dichromatic number of surfaces
- article
- [Research Report] Inria; CNRS; I3S; Université Côte D'Azur. 2021
- Accès au bibtex
-
Theses
- auteur
- Dimitri Zhukov
- titre
- Learning to localize goal-oriented actions with weak supervision
- article
- Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE105⟩
- Accès au texte intégral et bibtex
-
- auteur
- Dimitri Zhukov
- titre
- Learning to localize goal-oriented actions with weak supervision
- article
- Computer Vision and Pattern Recognition [cs.CV]. PSL University, 2021. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Denis Merigoux
- titre
- Proof-oriented domain-specific language design for high-assurance software
- article
- Programming Languages [cs.PL]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE006⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Plouviez
- titre
- The security of the one-more discrete-logarithm assumption and blind Schnorr signatures
- article
- Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE083⟩
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Plouviez
- titre
- The security of the One-More Discrete-Logarithm assumption and Blind Schnorr Signatures
- article
- Cryptography and Security [cs.CR]. ENS Paris, 2021. English. ⟨NNT : ⟩
- Accès au bibtex
-
- auteur
- Ludovic Stephan
- titre
- Inference problems in large random graphs
- article
- General Mathematics [math.GM]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS497⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yana Hasson
- titre
- Reconstructing hands and manipulated objects from images and videos
- article
- Computer Vision and Pattern Recognition [cs.CV]. Inria, 2021. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Mathieu Barré
- titre
- Worst-case analysis of efficient first-order methods
- article
- Optimization and Control [math.OC]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE064⟩
- Accès au texte intégral et bibtex
-
- auteur
- Mirko Koscina
- titre
- Security and optimization of blockchains and associated algorithms
- article
- Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE063⟩
- Accès au texte intégral et bibtex
-
- auteur
- Alex Nowak Vila
- titre
- Structured prediction with theoretical guarantees
- article
- Machine Learning [cs.LG]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE059⟩
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Eboli
- titre
- Hybrid Non-blind Image Deblurring for Real Scenarios
- article
- Image Processing [eess.IV]. Université PSL, 2021. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Hadrien Hendrikx
- titre
- Accelerated methods for distributed optimization
- article
- Optimization and Control [math.OC]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE052⟩
- Accès au texte intégral et bibtex
-
- auteur
- Petra Šala
- titre
- Attacks and security proofs of authenticated key-exchange protocols
- article
- Computer Science [cs]. Université Paris sciences et lettres; Université du Luxembourg, 2021. English. ⟨NNT : 2021UPSLE051⟩
- Accès au texte intégral et bibtex
-
- auteur
- Georges-Axel Jaloyan
- titre
- A semantic approach to machine-level software security
- article
- Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE062⟩
- Accès au texte intégral et bibtex
-
- auteur
- Radu-Alexandru Dragomir
- titre
- Bregman Gradient Methods for Relatively-Smooth Optimization
- article
- Optimization and Control [math.OC]. UT1 Capitole, 2021. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Marius Lombard-Platet
- titre
- Security of cryptographic protocols and data structures : design and optimisation
- article
- Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE045⟩
- Accès au texte intégral et bibtex
-
- auteur
- Louis Thiry
- titre
- Efficacité des méthodes locales pour la classification d'images et la regression d'énergie en physique
- article
- Apprentissage [cs.LG]. Sorbonne Université, 2021. Français. ⟨NNT : 2021SORUS459⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ronan Riochet
- titre
- Unsupervised Learning of Intuitive Physics from Videos
- article
- Artificial Intelligence [cs.AI]. Ecole Normale Superieure de Paris - ENS Paris, 2021. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chloé Hébant
- titre
- Homomorphic Cryptography and Privacy
- article
- Cryptography and Security [cs.CR]. Université PSL, 2021. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- auteur
- Chloé Hébant
- titre
- Homomorphic cryptography and privacy
- article
- Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE027⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- auteur
- Yann Ramusat, Silviu Maniu, Pierre Senellart
- titre
- A Practical Dynamic Programming Approach to Datalog Provenance Computation
- article
- 2021
- Accès au bibtex
-
- auteur
- Sharan Vaswani, Benjamin Dubois-Taine, Reza Babanezhad
- titre
- Towards Noise-adaptive, Problem-adaptive Stochastic Gradient Descent
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- William Waites, Matteo Cavaliere, Vincent Danos, Ruchira Datta, Rosalind M. Eggo, Timothy B. Hallett, David Manheim, Jasmina Panovska-Griffiths, Timothy W. Russell, Veronika I. Zarnitsyna
- titre
- Compositional modelling of immune response and virus transmission dynamics
- article
- 2021
- Accès au bibtex
-
- auteur
- Patric M. Fulop, Vincent Danos
- titre
- Efficient estimates of optimal transport via low-dimensional embeddings
- article
- 2021
- Accès au bibtex
-
- auteur
- Boris Muzellec, Francis Bach, Alessandro Rudi
- titre
- Learning PSD-valued functions using kernel sums-of-squares
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Cédric Gerbelot, Raphaël Berthier
- titre
- Graph-based Approximate Message Passing Iterations
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Kerdreux, Christophe Roux, Alexandre d'Aspremont, Sebastian Pokutta
- titre
- Linear Bandits on Uniformly Convex Sets
- article
- 2021
- Accès au bibtex
-
- auteur
- Dimitri Zhukov, Ignacio Rocco, Ivan Laptev, Josef Sivic, Johannes L Schönberger, Bugra Tekin, Marc Pollefeys
- titre
- Reconstructing and grounding narrated instructional videos in 3D
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Popineau, Sanket S Kalamkar, François Baccelli
- titre
- On Velocity-based Association Policies for Multi-tier 5G Wireless Networks
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Houssam Zenati, Alberto Bietti, Matthieu Martin, Eustache Diemert, Julien Mairal
- titre
- Counterfactual Learning of Stochastic Policies with Continuous Actions: from Models to Offline Evaluation
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Giuseppe Longo, Pierre-Emmanuel Tendero
- titre
- DNA, differential methods and the Böhm-out technique (written in 2008)
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Luc Brogat-Motte, Alessandro Rudi, Celine Brouard, Juho Rousu, Florence d'Alché-Buc
- titre
- Learning Output Embeddings in Structured Prediction
- article
- 2021
- Accès au bibtex
-
- auteur
- Boris Muzellec, Francis Bach, Alessandro Rudi
- titre
- A Note on Optimizing Distributions using Kernel Mean Embeddings
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Minttu Alakuijala, Gabriel Dulac-Arnold, Julien Mairal, Jean Ponce, Cordelia Schmid
- titre
- Residual Reinforcement Learning from Demonstrations
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Grégoire Mialon, Dexiong Chen, Margot Selosse, Julien Mairal
- titre
- GraphiT: Encoding Graph Structure in Transformers
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Tomasz Kociumaka, Ely Porat, Tatiana Starikovskaya
- titre
- Small space and streaming pattern matching with $k$ edits
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Simon Coste
- titre
- Sparse matrices: convergence of the characteristic polynomial seen from infinity
- article
- 2021
- Accès au bibtex
-
- auteur
- Alexandre Défossez, Nicolas Usunier, Léon Bottou, Francis Bach
- titre
- Music Source Separation in the Waveform Domain
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Eboli, Jian Sun, Jean Ponce
- titre
- Learning to Jointly Deblur, Demosaick and Denoise Raw Images
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Caterina Urban, Antoine Miné
- titre
- A Review of Formal Methods applied to Machine Learning
- article
- 2021
- Accès au bibtex
-
- auteur
- Mathieu Barré, Clément Giron, Matthieu Mazzolini, Alexandre d'Aspremont
- titre
- Averaging Atmospheric Gas Concentration Data using Wasserstein Barycenters
- article
- 2021
- Accès au bibtex
-
- auteur
- Manon Romain, Alexandre d'Aspremont
- titre
- A Bregman Method for Structure Learning on Sparse Directed Acyclic Graphs
- article
- 2021
- Accès au bibtex
-
- auteur
- Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta
- titre
- Local and Global Uniform Convexity Conditions
- article
- 2021
- Accès au bibtex
-
- auteur
- Ludovic Stephan, Laurent Massoulié
- titre
- Non-backtracking spectra of weighted inhomogeneous random graphs
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Ronan Riochet, Josef Sivic, Ivan Laptev, Emmanuel Dupoux
- titre
- Occlusion resistant learning of intuitive physics from videos
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Raphaël Berthier, Francis Bach, Nicolas Flammarion, Pierre Gaillard, Adrien Taylor
- titre
- A Continuized View on Nesterov Acceleration
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Simon Coste, Ludovic Stephan
- titre
- A simpler spectral approach for clustering in directed networks
- article
- 2021
- Accès au bibtex
-
- auteur
- Hadrien Hendrikx, Laurent Massoulié, Mathieu Even
- titre
- Asynchrony and Acceleration in Gossip Algorithms
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- François Baccelli, Sanket S. Kalamkar
- titre
- On Point Processes Defined by Angular Conditions on Delaunay Neighbors in the Poisson-Voronoi Tessellation
- article
- 2021
- Accès au bibtex
-
- auteur
- Dominik D Freydenberger, Liat Peterfreund
- titre
- The theory of concatenation over finite models
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Leonid Libkin, Liat Peterfreund
- titre
- Handling SQL Nulls with Two-Valued Logic
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Chien-Chung Huang, Naonori Kakimura, Simon Mauras, Yuichi Yoshida
- titre
- Approximability of Monotone Submodular Function Maximization under Cardinality and Matroid Constraints in the Streaming Model
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Chien-Chung Huang, Mathieu Mari, Claire Mathieu, Jens Vygen
- titre
- Approximating maximum integral multiflows on bounded genus graphs
- article
- 2021
- Accès au texte intégral et bibtex
-
- auteur
- Julien Prat, Vincent Danos, Stefania Marcassa
- titre
- Fundamental Pricing of Utility Tokens
- article
- 2021
- Accès au texte intégral et bibtex
-
2020
Journal articles
- auteur
- Senjuti Basu Roy, Lei Chen, Atsuyuki Morishima, James Abello Monedero, Pierre Bourhis, François Charoy, Marina Danilevsky, Gautam Das, Gianluca Demartini, Abishek Dubey, Shady Elbassuoni, David Gross-Amblard, Emilie Hoareau, Munenari Inoguchi, Jared Kenworthy, Itaru Kitahara, Dongwon Lee, Yunyao Li, Ria Mae Borromeo, Paolo Papotti, Raghav Rao, Sudeepa Roy, Pierre Senellart, Keishi Tajima, Saravanan Thirumuruganathan, Marion Tommasi, Kazutoshi Umemoto, Andrea Wiggins, Koichiro Yoshida, Sihem Amer-Yahia
- titre
- Making AI Machines Work for Humans in FoW
- article
- SIGMOD record, 2020, 49 (2), pp.30-35. ⟨10.1145/3442322.3442327⟩
- Accès au texte intégral et bibtex
-
- auteur
- Jean-Rémy Huguet, Isabelle Brenon, Thibault Coulombier, Vincent Hamani
- titre
- Dynamics and management of siltation in a macro-tidal marina: The case of La rochelle marina, France
- article
- Ocean and Coastal Management, 2020, 198, pp.105371. ⟨10.1016/j.ocecoaman.2020.105371⟩
- Accès au bibtex
-
- auteur
- Stéphane Gaubert, Marianne Akian, Xavier Allamigeon, Marin Boyet, Baptiste Colin, Théotime Grohens, Laurent Massoulié, David P. Parsons, Frederic Adnet, Érick Chanzy, Laurent Goix, Frédéric Lapostolle, Éric Lecarpentier, Christophe Leroy, Thomas Loeb, Jean-Sébastien Marx, Caroline Télion, Laurent Treluyer, Pierre Carli
- titre
- Understanding and monitoring the evolution of the Covid-19 epidemic from medical emergency calls: the example of the Paris area
- article
- Comptes Rendus. Mathématique, 2020, 358 (7), pp.843-875. ⟨10.5802/crmath.99⟩
- Accès au texte intégral et bibtex
-
- auteur
- Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
- titre
- Perfectly Parallel Fairness Certification of Neural Networks
- article
- Proceedings of the ACM on Programming Languages, 2020, 4 (OOPSLA), pp.1-30. ⟨10.1145/3428253⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vincent Roulet, Alexandre d'Aspremont
- titre
- Sharpness, Restart and Acceleration
- article
- SIAM Journal on Optimization, 2020, 30 (1), pp.262-289. ⟨10.1137/18M1224568⟩
- Accès au texte intégral et bibtex
-
- auteur
- Beomjun Kim, Jean Ponce, Bumsub Ham
- titre
- Deformable Kernel Networks for Joint Image Filtering
- article
- International Journal of Computer Vision, 2020, ⟨10.1007/s11263-020-01386-z⟩
- Accès au texte intégral et bibtex
-
- auteur
- Robert M Gower, Mark Schmidt, Francis Bach, Peter Richtárik
- titre
- Variance-Reduced Methods for Machine Learning
- article
- Proceedings of the IEEE, 2020, 108 (11), ⟨10.1109/JPROC.2020.3028013⟩
- Accès au texte intégral et bibtex
-
- auteur
- Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
- titre
- Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof
- article
- Bulletin- European Association for Theoretical Computer Science, 2020, 132
- Accès au texte intégral et bibtex
-
- auteur
- Virag Shah, Lennart Gulikers, Laurent Massoulié, Milan Vojnović
- titre
- Adaptive Matching for Expert Systems with Uncertain Task Types
- article
- Operations Research, 2020, 68 (5), pp.1403-1424. ⟨10.1287/opre.2019.1954⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ignacio Rocco, Mircea Cimpoi, Relja Arandjelovic, Akihiko Torii, Tomas Pajdla, Josef Sivic
- titre
- NCNet: Neighbourhood Consensus Networks for Estimating Image Correspondences
- article
- IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020, pp.14. ⟨10.1109/TPAMI.2020.3016711⟩
- Accès au texte intégral et bibtex
-
- auteur
- Junghyup Lee, Dohyung Kim, Wonkyung Lee, Jean Ponce, Bumsub Ham
- titre
- Learning Semantic Correspondence Exploiting an Object-level Prior
- article
- IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020
- Accès au texte intégral et bibtex
-
- auteur
- Antoine Amarilli, Florent Capelli, Mikaël Monet, Pierre Senellart
- titre
- Connecting Knowledge Compilation Classes and Width Parameters
- article
- Theory of Computing Systems, 2020, ⟨10.1007/s00224-019-09930-2⟩
- Accès au bibtex
-
- auteur
- Éric Brier, Houda Ferradi, Marc Joye, David Naccache
- titre
- New number-theoretic cryptographic primitives
- article
- Journal of Mathematical Cryptology, 2020, 14 (1), pp.224-235. ⟨10.1515/jmc-2019-0035⟩
- Accès au bibtex
-
- auteur
- Francesca Angileri, Sébastien Legare, Antonella Marino Gammazza, Everly Conway de Macario, Alberto Jl Macario, Francesco Cappello
- titre
- Molecular mimicry may explain multi-organ damage in COVID-19
- article
- Autoimmunity Reviews, 2020, 19 (8), ⟨10.1016/j.autrev.2020.102591⟩
- Accès au bibtex
-
- auteur
- Oumayma Bounou, Tom Monnier, Ilaria Pastrolin, Xi Shen, Marie-Françoise Limon-Bonnet, François Bougard, Mathieu Aubry, Marc H. Smith, Olivier Poncet, Pierre-Guillaume Raverdy, Christine Bénévent
- titre
- A Web Application for Watermark Recognition
- article
- Journal of Data Mining and Digital Humanities, 2020, Atelier Digit_Hum (45), pp.33. ⟨10.46298/jdmdh.6220⟩
- Accès au texte intégral et bibtex
-
- auteur
- Nicolas Behr, Vincent Danos, Ilias Garnier
- titre
- Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
- article
- Logical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(3:3)2020⟩
- Accès au texte intégral et bibtex
-
- auteur
- Brian Coyle, Daniel Mills, Vincent Danos, Elham Kashefi
- titre
- The Born supremacy: quantum advantage and training of an Ising Born machine
- article
- npj Quantum Information, 2020, 6 (1), pp.60. ⟨10.1038/s41534-020-00288-9⟩
- Accès au texte intégral et bibtex
-
- auteur
- Eloïse Berthier, Francis Bach
- titre
- Max-Plus Linear Approximations for Deterministic Continuous-State Markov Decision Processes
- article
- IEEE Control Systems Letters, 2020, 4 (3), pp.767-772. ⟨10.1109/LCSYS.2020.2973199⟩
- Accès au texte intégral et bibtex
-
- auteur
- Houda Ferradi, Rémi Géraud, Sylvain Guilley, David Naccache, Mehdi Tibouchi
- titre
- Recovering Secrets From Prefix-Dependent Leakage
- article
- Journal of Mathematical Cryptology, 2020, 14 (1), pp.15-24. ⟨10.1515/jmc-2015-0048⟩
- Accès au texte intégral et bibtex
-
- auteur
- Aymeric Dieuleveut, Alain Durmus, Francis Bach
- titre
- Bridging the Gap between Constant Step Size Stochastic Gradient Descent and Markov Chains
- article
- The Annals of Statistics, 2020, 48 (3), ⟨10.1214/19-AOS1850⟩
- Accès au texte intégral et bibtex
-
- auteur
- Pierre Fernbach, Steve Tonneau, Olivier Stasse, Justin Carpentier, Michel Taïx
- titre
- C-CROC: Continuous and Convex Resolution of Centroidal dynamic trajectories for legged robots in multi-contact scenarios
- article
- IEEE Transactions on Robotics, 2020, 36 (3), pp.676-691. ⟨10.1109/TRO.2020.2964787⟩
- Accès au texte intégral et bibtex
-
- auteur
- Raphaël Cw Phan, Masayuki Abe, Lynn Batten, Jung Hee Cheon, Ed Dawson, Steven Galbraith, Jian Guo, Lucas Hui, Kwangjo Kim, Xuejia Lai, Dong Hoon Lee, Mitsuru Matsui, Tsutomu Matsumoto, Shiho Moriai, Phong Nguyen, Dingyi Pei, Duong Hieu Phan, Josef Pieprzyk, Huaxiong Wang, Hank Wolfe, Duncan Wong, Tzong-Chen Wu, Bo-Yin Yang, Siu-Ming Yiu, Yu Yu, Jianying Zhou
- titre
- Advances in security research in the Asiacrypt region
- article
- Communications of the ACM, 2020, 63 (4), pp.76-81. ⟨10.1145/3378428⟩
- Accès au bibtex
-
- auteur
- Yann Labbé, Sergey Zagoruyko, Igor Kalevatykh, Ivan Laptev, Justin Carpentier, Mathieu Aubry, Josef Sivic
- titre
- Monte-Carlo Tree Search for Efficient Visually Guided Rearrangement Planning
- article
- IEEE Robotics and Automation Letters, 2020, 5 (2), pp.3715-3722. ⟨10.1109/LRA.2020.2980984⟩
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Souvignet, Thibaut Heckmann, Timothy Bolle
- titre
- From Lucky Luke to Lock Bits
- article
- IEEE Security and Privacy Magazine, 2020, 18 (2), pp.61-66. ⟨10.1109/MSEC.2019.2944385⟩
- Accès au bibtex
-
- auteur
- Mehdi Benallegue, Jean-Paul Laumond, Alain Berthoz
- titre
- On the mechanical contribution of head stabilization to passive dynamics of anthropometric walkers
- article
- The International Journal of Robotics Research, 2020, 39 (4), pp.461-475. ⟨10.1177/0278364919894387⟩
- Accès au texte intégral et bibtex
-
- auteur
- Timothy Bourke, Lélio Brun, Marc Pouzet
- titre
- Mechanized semantics and verified compilation for a dataflow synchronous language with reset
- article
- Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩
- Accès au texte intégral et bibtex
-
- auteur
- Albert Cohen, Jie Zhao
- titre
- Flextended Tiles: a Flexible Extension of Overlapped Tiles for Polyhedral Compilation
- article
- ACM Transactions on Architecture and Code Optimization, 2020, ⟨10.1145/3369382⟩
- Accès au texte intégral et bibtex
-
- auteur
- Ernest Ryu, Adrien Taylor, Carolina Bergeling, Pontus Giselsson
- titre
- Operator Splitting Performance Estimation: Tight Contraction Factors and Optimal Parameter Selection
- article
- SIAM Journal on Optimization, 2020, 30 (3), pp.2251-2271. ⟨10.1137/19M1304854⟩
- Accès au texte intégral et bibtex
-
- auteur
- Etienne de Klerk, François Glineur, Adrien Taylor
- titre
- Worst-Case Convergence Analysis of Inexact Gradient and Newton Methods Through Semidefinite Programming Performance Estimation
- article
- SIAM Journal on Optimization, 2020, 30 (3), pp.2053-2082. ⟨10.1137/19M1281368⟩
- Accès au texte intégral et bibtex
-
- auteur
- Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
- titre
- Towards Verified Stochastic Variational Inference for Probabilistic Programs
- article
- Proceedings of the ACM on Programming Languages, In press, 16, ⟨10.1145/3371084⟩
- Accès au texte intégral et bibtex
-
- auteur
- Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
- titre
- Shape Analysis
- article
- Foundations and Trends in Programming Languages, 2020, 6 (1–2), pp.1-158. ⟨10.1561/2500000037⟩
- Accès au bibtex
-
- auteur
- Yoel Drori, Adrien Taylor
- titre
- Efficient First-order Methods for Convex Minimization: a Constructive Approach
- article
- Mathematical Programming, Series A, 2020, 184, pp.183-220. ⟨10.1007/s10107-019-01410-2⟩
- Accès au bibtex
-
- auteur
- Carl Toft, Will Maddern, Akihiko Torii, Lars Hammarstrand, Erik Stenborg, Daniel Safari, Masatoshi Okutomi, Marc Pollefeys, Josef Sivic, Tomas Pajdla, Fredrik Kahl, Torsten Sattler
- titre
- Long-Term Visual Localization Revisited
- article
- IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020, pp.14. ⟨10.1109/TPAMI.2020.3032010⟩
- Accès au texte intégral et bibtex
-
- auteur
- Francisco Villaescusa-Navarro, Changhoon Hahn, Elena Massara, Arka Banerjee, Ana Maria Delgado, Doogesh Kodi Ramanah, Tom Charnock, Elena Giusarma, Yin Li, Erwan Allys, Antoine Brochard, Cora Uhlemann, Chi-Ting Chiang, Siyu He, Alice Pisani, Andrej Obuljen, Yu Feng, Emanuele Castorina, Gabriella Contardo, Christina D. Kreisch, Andrina Nicola, Justin Alsing, Roman Scoccimarro, Licia Verde, Matteo Viel, Shirley Ho, Stephane Mallat, Benjamin Wandelt, David N. Spergel
- titre
- The Quijote simulations
- article
- The Astrophysical Journal Supplement Series, 2020, 250 (1), pp.2. ⟨10.3847/1538-4365/ab9d82⟩
- Accès au bibtex
-
- auteur
- Serge Abiteboul, Florence Hachez-Leroy
- titre
- Quel patrimoine pour l’informatique ? Introduction au numéro
- article
- Patrimoine industriel, 2020, Patrimoine industriel informatique, 73
- Accès au texte intégral et bibtex
-
- auteur
- Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart
- titre
- Monadic Datalog, Tree Validity, and Limited Access Containment
- article
- ACM Transactions on Computational Logic, 2020, 21 (1), pp.6:1-6:45. ⟨10.1145/3344514⟩
- Accès au texte intégral et bibtex
-
- auteur
- Margaux Bregere, Ricardo J Bessa
- titre
- Simulating Tariff Impact in Electrical Energy Consumption Profiles With Conditional Variational Autoencoders
- article
- IEEE Access, 2020, 8, pp.131949-131966. ⟨10.1109/ACCESS.2020.3009060⟩
- Accès au bibtex
-
- auteur
- Wojciech Kazana, Luc Segoufin
- titre
- First-order queries on classes of structures with bounded expansion
- article
- Logical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16(1:25)2020⟩
- Accès au texte intégral et bibtex
-
- auteur
- Erwan Allys, T. Marchand, J.-F. Cardoso, F. Villaescusa-Navarro, S. Ho, S. Mallat
- titre
- New Interpretable Statistics for Large Scale Structure Analysis and Generation
- article
- Physical Review D, 2020, 102 (10), pp.103506. ⟨10.1103/PhysRevD.102.103506⟩
- Accès au texte intégral et bibtex
-
- auteur
- Md Umar Hashmi, Deepjyoti Deka, Ana Bušić, Lucas Pereira, Scott Backhaus
- titre
- Arbitrage with Power Factor Correction using Energy Storage
- article
- IEEE Transactions on Power Systems, 2020, 35 (4), pp.2693 - 2703. ⟨10.1109/TPWRS.2020.2969978⟩
- Accès au bibtex
-
- auteur
- Serge Abiteboul, Claire Mathieu
- titre
- Images de la transformation numérique
- article
- Patrimoine industriel, 2020
- Accès au bibtex
-
- auteur
- Mathieu Andreux, Tomás Angles, Georgios Exarchakis, Roberto Leonarduzzi, Gaspar Rochette, Louis Thiry, John Zarka, Stéphane Mallat, Joakim Andén, Eugene Belilovsky, Joan Bruna, Vincent Lostanlen, Matthew J. Hirn, Edouard Oyallon, Sixin Zhang, Carmine Cella, Michael Eickenberg
- titre
- Kymatio: Scattering Transforms in Python
- article
- Journal of Machine Learning Research, 2020, 21 (60), pp.1-6
- Accès au bibtex
-
- auteur
- Wei Cheng, Sylvain Guilley, Claude Carlet, Sihem Mesnager, Jean-Luc Danger
- titre
- Optimizing Inner Product Masking Scheme by A Coding Theory Approach
- article
- IEEE Transactions on Information Forensics and Security, 2020, 16, pp.220-235. ⟨10.1109/TIFS.2020.3009609⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
- titre
- Secure Outsourcing of Multi-Armed Bandits
- article
- 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020), Dec 2020, Conférence online, China. pp.202-209
- Accès au bibtex
-
- auteur
- Diego Kiedanski, Ana Bušić, Daniel Kofman, Ariel Orda
- titre
- Efficient distributed solutions for sharing energy resources at local level: a cooperative game approach
- article
- CDC 2020 - 59th IEEE Conference on Decision and Control, Dec 2020, Jeju Island / Virtual, South Korea
- Accès au texte intégral et bibtex
-
- auteur
- Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michał Skrzypczak
- titre
- On the Succinctness of Alternating Parity Good-for-Games Automata
- article
- FSTTCS 2020, Dec 2020, Goa, India. pp.41:1--41:13
- Accès au texte intégral et bibtex
-
- auteur
- Pooya Farshim, Georg Fuchsbauer, Alain Passelègue
- titre
- Alternative Constructions of Asymmetric Primitives from Obfuscation: Hierarchical IBE, Predicate Encryption, and More
- article
- Indocrypt 2020 - 21st International Conference on Cryptology, Dec 2020, Virtual conference, India
- Accès au texte intégral et bibtex
-
- auteur
- Alexander Ziller, Jonathan Passerat-Palmbach, Théo Ryffel, Dmitrii Usynin, Andrew Trask, Ionésio da Lima, Jason Mancuso, Marcus Makowski, Daniel Rueckert, Rickmer Braren, Georgios Kaissis
- titre
- Privacy-preserving medical image analysis
- article
- MED-NEURIPS 2020 : Medical Imaging meets NeurIPS, Dec 2020, Online, France
- Accès au texte intégral et bibtex
-
- auteur
- Thomas Agrikola, Geoffroy Couteau, Yuval Ishai, Stanisław Jarecki, Amit Sahai
- titre
- On Pseudorandom Encodings
- article
- TCC 2020 - Theory of Cryptography Conference, Dec 2020, Durham, United States. pp.639-669, ⟨10.1007/978-3-030-64381-2_23⟩
- Accès au texte intégral et bibtex
-
- auteur
- Michel Abdalla, Dario Catalano, Romain Gay, Bogdan Ursu
- titre
- Inner-Product Functional Encryption with Fine-Grained Access Control
- article
- Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security - 26th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, South Korea. pp.467-497, ⟨10.1007/978-3-030-64840-4_16⟩
- Accès au texte intégral et bibtex
-
- auteur
- Patrick Towa, Damien Vergnaud
- titre
- Succinct Diophantine-Satisfiability Arguments
- article
- Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea. pp.774-804, ⟨10.1007/978-3-030-64840-4_26⟩
- Accès au bibtex
-
- auteur
- Olivier Blazy, Patrick Towa, Damien Vergnaud
- titre
- Public-Key Generation with Verifiable Randomness
- article
- Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea. pp.97-127, ⟨10.1007/978-3-030-64837-4_4⟩
- Accès au bibtex
-
- auteur
- Sanket S. Kalamkar, François Baccelli, Fuad M. Abinader Jr., Andrea S. Marcano Fani, Luis G. Uzeda Garcia
- titre
- Beam Management in 5G: A Stochastic Geometry Analysis
- article
- IEEE Globecom, Dec 2020, Taipei, Taiwan
- Accès au bibtex
-
- auteur
- Nicolas Keriven, Alberto Bietti, Samuel Vaiter
- titre
- Convergence and Stability of Graph Convolutional Networks on Large Random Graphs
- article
- NeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver (virtual), Canada
- Accès au bibtex
-
- auteur
- Hadi Daneshmand, Jonas Kohler, Francis Bach, Thomas Hofmann, Aurelien Lucchi
- titre
- Batch Normalization Provably Avoids Rank Collapse for Randomly Initialised Deep Networks
- article
- NeurIPS 2020 - Thirty-fourth Conference on Neural Information Processing Systems, Dec 2020, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Raphaël Berthier, Francis Bach, Pierre Gaillard
- titre
- Tight Nonparametric Convergence Rates for Stochastic Gradient Descent under the Noiseless Linear Model
- article
- NeurIPS '20 - 34th International Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada. pp.2576--2586
- Accès au texte intégral et bibtex
-
- auteur
- Shuhang Chen, Adithya M. Devraj, Fan Lu, Ana Bušić, Sean P. Meyn
- titre
- Zap Q-Learning With Nonlinear Function Approximation
- article
- NeurIPS 2020: Thirty-fourth Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
- Accès au bibtex
-
- auteur
- Bruno Lecouat, Jean Ponce, Julien Mairal
- titre
- A Flexible Framework for Designing Trainable Priors with Adaptive Smoothing and Game Encoding
- article
- NeurIPS '20 - 34th International Conference on Neural Information Processing Systems, Dec 2020, Vancouver, France. pp.15664-15675
- Accès au texte intégral et bibtex
-
- auteur
- Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
- titre
- On Correctness of Automatic Differentiation for Non-Differentiable Functions
- article
- NeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Hadrien Hendrikx, Francis Bach, Laurent Massoulié
- titre
- Dual-Free Stochastic Decentralized Optimization with Variance Reduction
- article
- NeurIPS 2020 - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
- Accès au texte intégral et bibtex
-
- auteur
- Luka Music, Elham Kashefi, Céline Chevalier
- titre
- Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses
- article
- ProvSec 2020 - 14th International Conference on Provable and Practical Security, Nov 2020, Singapour / Virtual, Singapore. pp.318-337, ⟨10.1007/978-3-030-62576-4_16⟩
- Accès au bibtex
-
- auteur
- Hugo Illous, Matthieu Lemerre, Xavier Rival
- titre
- Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
- article
- SAS 2020 - 27th Static Analysis Symposium, Nov 2020, Chicago / Virtual, United States
- Accès au texte intégral et bibtex
-
- auteur
- Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
- titre
- Programming microcontrollers through high-level abstractions
- article
- VMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages, Nov 2020, Chicago / Virtual, United States. pp.5-14, ⟨10.1145/3427765.3428495⟩
- Accès au bibtex
-
- auteur
- Robin Strudel, Ricardo Garcia, Justin Carpentier, Jean-Paul Laumond, Ivan Laptev, Cordelia Schmid
- titre
- Learning Obstacle Representations for Neural Motion Planning
- article
- CoRL 2020 - Conference on Robot Learning, Nov 2020, Cambridge MA / Virtual, United States. pp.355-364
- Accès au texte intégral et bibtex
-
- auteur
- Elette Boyle, Geoffroy Couteau, Niv Gilboa, Yuval Ishai, Lisa Kohl, Peter Scholl
- titre
- Correlated Pseudorandom Functions from Variable-Density LPN
- article
- FOCS 2020 - Annual IEEE Symposium on Foundations of Computer Science, Nov 2020, Durham, United States
- Accès au texte intégral et bibtex
-
- auteur
- Vladimír Petrík, Makarand Tapaswi, Ivan Laptev, Josef Sivic
- titre
- Learning Object Manipulation Skills via Approximate State Estimation from Real Videos
- article
- CoRL 2020 - Conference on Robot Learning, Nov 2020, Virtual, United States
- Accès au texte intégral et bibtex
-
- auteur
- Gaspar Rochette, Andre Manoel, Eric W. Tramel
- titre
- Efficient Per-Example Gradient Computations in Convolutional Neural Networks
- article
- Workshop on Theory and Practice of Differential Privacy (TPDP), Nov 2020, Virtual, France
- Accès au texte intégral et bibtex
-
- auteur
- Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim A. Laredo
- titre
- A Principled Approach to GraphQL Query Cost Analysis
- article
- ESEC/FSE 2020 - 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Nov 2020, Sacramento / Virtual, United States. ⟨10.1145/3368089.3409670⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yann Ramusat, Silviu Maniu, Pierre Senellart
- titre
- Algorithmes à base de provenance pour des requêtes enrichies sur les bases de données graphes
- article
- BDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtuel, France
- Accès au texte intégral et bibtex
-
- auteur
- Ashish Dandekar, Debabrota Basu, Pierre Senellart, Stéphane Bressan
- titre
- Confidentialité différentielle à risque : Relier les sources d’aléa et un budget de confidentialité
- article
- BDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtuel, France
- Accès au texte intégral et bibtex
-
- auteur
- Alexander Pashevich, Igor Kalevatykh, Ivan Laptev, Cordelia Schmid
- titre
- Learning visual policies for building 3D shape categories
- article
- IROS 2020 - International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas, United States
- Accès au bibtex
-
- auteur
- Cezara Dragoi, Josef Widder, Damien Zufferey
- titre
- Programming at the edge of synchrony
- article
- SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩
- Accès au texte intégral et bibtex
-
- auteur
- Aurélien Bellet, Rachid Guerraoui, Hadrien Hendrikx
- titre
- Who started this rumor? Quantifying the natural differential privacy guarantees of gossip protocols
- article
- DISC 2020 - 34th International Symposium on Distributed Computing, Oct 2020, Freiburg / Virtual, Germany
- Accès au texte intégral et bibtex
-
- auteur
- Georges-Axel Jaloyan, Kon