Skip to Main content Skip to Navigation


...
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
43RD IEEE Symposium on Security and Privacy (S&P'22), May 2022, San Francisco, United States
...
hal-03426997v1  Conference papers
Azalea RaadLuc MarangetViktor Vafeiadis. Extending Intel-x86 Consistency and Persistency
POPL 2022 - Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498683⟩
...
hal-03447072v1  Conference papers
Alain DelaëtDenis MerigouxAymeric Fromherz. Turning Catala into a Proof Platform for the Law
POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
...
hal-03431155v2  Conference papers
David CoudertAndré NusserLaurent Viennot. Hyperbolicity Computation through Dominating Sets
Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2022, Jan 2022, Westin Alexandria Old Town, United States
...
hal-03185142v2  Conference papers
Muhammad Umar NiaziAlain KibangouCarlos Canudas de WitDenis NikitinLiudmila Tumash et al.  Effective Testing Policies for Controlling an Epidemic Outbreak
CDC 2021 - 60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03185149v1  Conference papers
Muhammad Umar NiaziCarlos Canudas de WitAlain KibangouPierre-Alexandre Bliman. Optimal Control of Urban Human Mobility for Epidemic Mitigation
CDC 2021 - 60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
...
hal-03328162v1  Conference papers
Gourab GhatakSanket Sanjay KalamkarYash GuptaShubhi Sharma. A Fine-Grained Analysis of Radar Detection in Vehicular Networks
IEEE GLOBECOM 2021 - IEEE Global Communications Conference, Dec 2021, Madrid, Spain
...
hal-03405911v2  Conference papers
Oumayma BounouJean PonceJustin Carpentier. Online Learning and Control of Dynamical Systems from Sensory Input
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems Year, Dec 2021, Sydney / Virtual, Australia
...
hal-03405165v1  Conference papers
Mathieu EvenRaphaël BerthierFrancis BachNicolas FlammarionPierre Gaillard et al.  A Continuized View on Nesterov Acceleration for Stochastic Gradient Descent and Randomized Gossip
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia. pp.1-32
...
hal-03407247v1  Conference papers
Yoan RussacChristina KatsimerouDennis BohleOlivier CappéAurélien Garivier et al.  A/B/n Testing with Control in the Presence of Subpopulations
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
hal-03406072v1  Conference papers
Gaspard BeugnotJulien MairalAlessandro Rudi. Beyond Tikhonov: Faster Learning with Self-Concordant Losses via Iterative Regularization
NeurIPS 2021 – 35th Annual Conference on Neural Information Processing Systems, Dec 2021, Virtual, France. pp.1-37
...
hal-03353663v3  Conference papers
Ilyas ToumliltPierre SutraMarc Shapiro. Highly-Available and Consistent Group Collaboration at the Edge with Colony
Middleware 2021 - 22nd International Middleware Conference, Dec 2021, Québec / Virtual, Canada. ⟨10.1145/3464298.3493405⟩
...
hal-03405984v1  Conference papers
Hugo RichardPierre AblinBertrand ThirionAlexandre GramfortAapo Hyvärinen. Shared Independent Component Analysis for Multi-Subject Neuroimaging
35th Conference on Neural Information Processing Systems NeurIPS 2021, Dec 2021, Sydney (Virtual Conference), Australia
...
hal-03413549v1  Conference papers
Patient NtumbaNikolaos GeorgantasVassilis Christophides. Efficient Scheduling of Streaming Operators for IoT Edge Analytics
FMEC 2021 - Sixth International Conference on Fog and Mobile Edge Computing, Dec 2021, Gandia, Spain
hal-03292031v1  Conference papers
Guillaume Le MoingJean PonceCordelia Schmid. CCVS: Context-aware Controllable Video Synthesis
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
...
hal-03378451v1  Conference papers
Quentin Le LidecIvan LaptevCordelia SchmidJustin Carpentier. Differentiable Rendering with Perturbed Optimizers
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
...
hal-03454809v1  Conference papers
Vivien CabannesLoucas Pillaud-VivienFrancis BachAlessandro Rudi. Overcoming the curse of dimensionality with Laplacian regularization in semi-supervised learning
Proceedings of the thirty-fifth conference on Neural Information Processing Systems (NeurIPS), Dec 2021, Online, Unknown Region
...
hal-03450573v1  Conference papers
Nitika VermaAdnane BoukhaymaEdmond BoyerJakob Verbeek. Dual Mesh Convolutional Networks for Human Shape Correspondence
3DV 2021 - International Conference on 3D Vision, Dec 2021, Surrey, United Kingdom
...
hal-03358563v2  Preprints, Working Papers, ...
Raphaël Alexandre. Closed ray affine manifolds
2021
...
tel-03447718v1  Theses
Giorgi Rukhaia. A FreeForm Optics Application of Entropic Optimal Transport
Mathematics [math]. PSL Université Paris Dauphine; INRIA Paris, 2021. English