Publications associées à Lambda-calcul

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Nirupam Gupta, Rafaël Benjamin Pinot

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Yichen Xu, Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierarchies ...

New York2022

Type-preserving compilation of (most of) FGJ into DOT

Guillaume André Fradji Martres

The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is not e ...

2022

Failure and success of the spectral bias prediction for Laplace Kernel Ridge Regression: the case of low-dimensional data

Matthieu Wyart, Umberto Maria Tomasini, Antonio Sclocchi

Recently, several theories including the replica method made predictions for the generalization error of Kernel Ridge Regression. In some regimes, they predict that the method has a 'spectral bias': decomposing the true function f* on the eigenbasis of the ...

JMLR-JOURNAL MACHINE LEARNING RESEARCH2022

Revisiting the General Identifiability Problem

Negar Kiyavash, Ehsan Mokhtarian, Yaroslav Kivva, Seyed Jalal Etesami

We revisit the problem of general identifiability originally introduced in [Lee et al., 2019] for causal inference and note that it is necessary to add positivity assumption of observational distribution to the original definition of the problem. We show t ...

2022

Type-Level Programming with Match Types

Martin Odersky, Olivier Eric Paul Blanvillain

Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types ...

ASSOC COMPUTING MACHINERY2022

Tuned hybrid nonuniform subdivision surfaces with optimal convergence rates

Xiaodong Wei

This article presents an enhanced version of our previous work, hybrid nonuniform subdivision (HNUS) surfaces, to achieve optimal convergence rates in isogeometric analysis (IGA). We introduce a parameter lambda (14

WILEY2021

Measurement of Xi(++)(cc) production in pp collisions at root s=13 TeV

Lesya Shchutska, Olivier Schneider, Yiming Li, Aurelio Bay, Guido Haefeli, Christoph Frei, Frédéric Blanc, Tatsuya Nakada, Michel De Cian, Luca Pescatore, François Fleuret, Elena Graverini, Renato Quagliani, Federico Betti, Aravindhan Venkateswaran, Luis Miguel Garcia Martin, Vitalii Lisovskyi, Veronica Sølund Kirsebom, Elisabeth Maria Niel, Jian Wang, Mingkui Wang, Zhirui Xu, Yi Zhang, Lei Zhang, Ho Ling Li, Mark Tobin, Minh Tâm Tran, Niko Neufeld, Matthew Needham, Marc-Olivier Bettler, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Pietro Marino, Mirco Dorigo, Xiaoxue Han, Liupan An, Federico Leo Redi, Plamen Hristov Hopchev, Thibaud Humair, Maxime Schubiger, Hang Yin, Guido Andreassi, Violaine Bellée, Maria Vieites Diaz, Olivier Göran Girard, Preema Rennee Pais, Pavol Stefko, Tara Nanut, Maria Elena Stramaglia, Yao Zhou, Tommaso Colombo, Vladimir Macko, Guillaume Max Pietrzyk, Evgenii Shmanin, Sebastian Schulte, Simone Meloni, Xiaoqing Zhou, Surapat Ek-In, Carina Trippl, Sara Celani, Serhii Cholak, Dipanwita Dutta, Zheng Wang, Yi Wang, Hans Dijkstra, Gerhard Raven, Peter Clarke, Frédéric Teubert, Giovanni Carboni, Victor Coco, Adam Davis, Paolo Durante, Wenyu Zhang, Yu Zheng, Anton Petrov, Maxim Borisyak, Feng Jiang, Zhipeng Tang, Xuan Li, Alexey Boldyrev, Almagul Kondybayeva, Hossein Afsharnia

The production of Xi(++)(cc) baryons in proton-proton collisions at a centre-of-mass energy of root s = 13 Tev is measured in the transverse-momentum range 4 < p(T) < 15 GeV/c and the rapidity range 2.0 < y < 4.5. The data used in this measurement correspo ...

IOP PUBLISHING LTD2020

Measurement of the Lambda(0)(b) -> J/psi Lambda angular distribution and the Lambda(0)(b) polarisation in pp collisions

Olivier Schneider, Yiming Li, Aurelio Bay, Guido Haefeli, Christoph Frei, Frédéric Blanc, Tatsuya Nakada, Michel De Cian, Luca Pescatore, François Fleuret, Elena Graverini, Chitsanu Khurewathanakul, Renato Quagliani, Federico Betti, Aravindhan Venkateswaran, Luis Miguel Garcia Martin, Vitalii Lisovskyi, Veronica Sølund Kirsebom, Jian Wang, Mingkui Wang, Zhirui Xu, Yi Zhang, Lei Zhang, Jessica Prisciandaro, Mark Tobin, Minh Tâm Tran, Niko Neufeld, Matthew Needham, Marc-Olivier Bettler, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Pietro Marino, Mirco Dorigo, Xiaoxue Han, Liupan An, Federico Leo Redi, Plamen Hristov Hopchev, Thibaud Humair, Maxime Schubiger, Hang Yin, Guido Andreassi, Violaine Bellée, Maria Vieites Diaz, Olivier Göran Girard, Axel Kuonen, Preema Rennee Pais, Pavol Stefko, Tara Nanut, Maria Elena Stramaglia, Tommaso Colombo, Vladimir Macko, Guillaume Max Pietrzyk, Evgenii Shmanin, Sebastian Schulte, Dipanwita Dutta, Zheng Wang, Yi Wang, Hans Dijkstra, Gerhard Raven, Peter Clarke, Frédéric Teubert, Giovanni Carboni, Victor Coco, Adam Davis, Paolo Durante, Wenyu Zhang, Yu Zheng, Anton Petrov, Maxim Borisyak, Feng Jiang, Zhipeng Tang

This paper presents an analysis of the Lambda(0)(b) -> J/psi Lambda angular distribution and the transverse production polarisation of Lambda(0)(b) baryons in proton-proton collisions at centre-of-mass energies of 7, 8 and 13TeV. The measurements are perfo ...

SPRINGER2020

Observation of New Xi(0)(c) Baryons Decaying to Lambda K-+(c)-

Lesya Shchutska, Olivier Schneider, Yiming Li, Aurelio Bay, Guido Haefeli, Christoph Frei, Frédéric Blanc, Tatsuya Nakada, Michel De Cian, François Fleuret, Elena Graverini, Renato Quagliani, Federico Betti, Aravindhan Venkateswaran, Vitalii Lisovskyi, Veronica Sølund Kirsebom, Elisabeth Maria Niel, Jian Wang, Mingkui Wang, Zhirui Xu, Yi Zhang, Lei Zhang, Ho Ling Li, Mark Tobin, Minh Tâm Tran, Niko Neufeld, Matthew Needham, Marc-Olivier Bettler, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Pietro Marino, Mirco Dorigo, Xiaoxue Han, Liupan An, Federico Leo Redi, Plamen Hristov Hopchev, Thibaud Humair, Maxime Schubiger, Hang Yin, Guido Andreassi, Violaine Bellée, Preema Rennee Pais, Pavol Stefko, Tara Nanut, Maria Elena Stramaglia, Yao Zhou, Tommaso Colombo, Vladimir Macko, Guillaume Max Pietrzyk, Evgenii Shmanin, Sebastian Schulte, Simone Meloni, Xiaoqing Zhou, Surapat Ek-In, Carina Trippl, Sara Celani, Marco Guarise, Serhii Cholak, Dipanwita Dutta, Zheng Wang, Yi Wang, Hans Dijkstra, Gerhard Raven, Peter Clarke, Frédéric Teubert, Giovanni Carboni, Victor Coco, Adam Davis, Paolo Durante, Wenyu Zhang, Yu Zheng, Anton Petrov, Maxim Borisyak, Feng Jiang, Zhipeng Tang, Xuan Li, Alexey Boldyrev, Almagul Kondybayeva, Hossein Afsharnia

The Lambda K-+(c)- mass spectrum is studied with a data sample of pp collisions at a center-of-mass energy of 13 TeV corresponding to an integrated luminosity of 5.6 fb(-1) collected by the LHCb experiment. Three Xi(0)(c) states are observed with a large s ...

2020

Lambda-calcul

Robust Collaborative Learning with Linear Gradient Overhead

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

Type-preserving compilation of (most of) FGJ into DOT

Failure and success of the spectral bias prediction for Laplace Kernel Ridge Regression: the case of low-dimensional data

Revisiting the General Identifiability Problem

Type-Level Programming with Match Types

Tuned hybrid nonuniform subdivision surfaces with optimal convergence rates

Measurement of Xi(++)(cc) production in pp collisions at root s=13 TeV

Measurement of the Lambda(0)(b) -> J/psi Lambda angular distribution and the Lambda(0)(b) polarisation in pp collisions

Observation of New Xi(0)(c) Baryons Decaying to Lambda K-+(c)-

Graph Chatbot

Chattez avec Graph Search

Robust Collaborative Learning with Linear Gradient Overhead

Tuned hybrid nonuniform subdivision surfaces with optimal convergence rates

Measurement of the Lambda(0)(b) -> J/psi Lambda angular distribution and the Lambda(0)(b) polarisation in pp collisions

Observation of New Xi(0)(c) Baryons Decaying to Lambda K-+(c)-

Failure and success of the spectral bias prediction for Laplace Kernel Ridge Regression: the case of low-dimensional data

Revisiting the General Identifiability Problem

Measurement of Xi(++)(cc) production in pp collisions at root s=13 TeV