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 ...

Assoc Computing Machinery2022

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, Aurelio Bay, Yiming Li, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Michel De Cian, Luca Pescatore, Elena Graverini, Veronica Sølund Kirsebom, François Fleuret, Matthieu Philippe Luther Marinangeli, Minh Tâm Tran, Pietro Marino, Renato Quagliani, Federico Leo Redi, Federico Betti, Plamen Hristov Hopchev, Maxime Schubiger, Aravindhan Venkateswaran, Violaine Bellée, Luis Miguel Garcia Martin, Maria Vieites Diaz, Vitalii Lisovskyi, Olivier Göran Girard, Preema Rennee Pais, Elisabeth Maria Niel, Pavol Stefko, Jian Wang, Tara Nanut, Mingkui Wang, Maria Elena Stramaglia, Zhirui Xu, Vladimir Macko, Guillaume Max Pietrzyk, Yi Zhang, Lei Zhang, Sebastian Schulte, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

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

Olivier Schneider, Aurelio Bay, Yiming Li, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Michel De Cian, Luca Pescatore, François Fleuret, Elena Graverini, Chitsanu Khurewathanakul, Veronica Sølund Kirsebom, Matthieu Philippe Luther Marinangeli, Minh Tâm Tran, Renato Quagliani, Liang Sun, Federico Betti, Pietro Marino, Federico Leo Redi, Aravindhan Venkateswaran, Plamen Hristov Hopchev, Luis Miguel Garcia Martin, Maxime Schubiger, Vitalii Lisovskyi, Violaine Bellée, Olivier Göran Girard, Jian Wang, Mingkui Wang, Axel Kuonen, Zhirui Xu, Preema Rennee Pais, Pavol Stefko, Yi Zhang, Lei Zhang, Tara Nanut, Maria Elena Stramaglia, Jessica Prisciandaro, Vladimir Macko, Guillaume Max Pietrzyk, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

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

Lesya Shchutska, Olivier Schneider, Aurelio Bay, Yiming Li, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Michel De Cian, Elena Graverini, Veronica Sølund Kirsebom, François Fleuret, Matthieu Philippe Luther Marinangeli, Minh Tâm Tran, Pietro Marino, Renato Quagliani, Federico Leo Redi, Federico Betti, Plamen Hristov Hopchev, Violaine Bellée, Aravindhan Venkateswaran, Maria Vieites Diaz, Vitalii Lisovskyi, Preema Rennee Pais, Pavol Stefko, Elisabeth Maria Niel, Tara Nanut, Jian Wang, Maria Elena Stramaglia, Mingkui Wang, Vladimir Macko, Guillaume Max Pietrzyk, Zhirui Xu, Yi Zhang, Sebastian Schulte, Lino Ferreira Lopes, Lei Zhang, Surapat Ek-In, Ho Ling Li, Carina Trippl, Mark Tobin, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

Integral Convexity And Parabolic Systems

Bernard Dacorogna

In this work we give optimal, i.e., necessary and sufficient, conditions for integrals of the calculus of variations to guarantee the existence of solutions-both weak and variational solutions-to the associated L-2-gradient flow. The initial values are mer ...

SIAM PUBLICATIONS2020

The epsilon expansion meets semiclassics

Riccardo Rattazzi, Alexander Monin, Gil Badel, Gabriel Francisco Cuomo

We study the scaling dimension Delta(phi n) of the operator phi(n) where phi is the fundamental complex field of the U(1) model at the Wilson-Fisher fixed point in d = 4 - epsilon. Even for a perturbatively small fixed point coupling lambda*, standard pert ...

Springer Nature2019

Measurement of the ratio of branching fractions of the decays0(2S) and arrange Lambda

Olivier Schneider, Aurelio Bay, Yiming Li, Guido Haefeli, Christoph Frei, Frédéric Blanc, Tatsuya Nakada, Michel De Cian, Elena Graverini, Matthieu Philippe Luther Marinangeli, Luca Pescatore, François Fleuret, Pietro Marino, Sebastiana Gianì, Chitsanu Khurewathanakul, Federico Leo Redi, Maxime Schubiger, Renato Quagliani, Violaine Bellée, Federico Betti, Maria Vieites Diaz, Pavol Stefko, Aravindhan Venkateswaran, Vladimir Macko, Luis Miguel Garcia Martin, Guillaume Max Pietrzyk, Vitalii Lisovskyi, Lino Ferreira Lopes, 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, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

Observation of Two Resonances in the Lambda(0)(b)pi(+/-) Systems and Precise Measurement of Sigma(+/-)(b) and Sigma(*+/-)(b) Properties

Olivier Schneider, Aurelio Bay, Guido Haefeli, Christoph Frei, Tatsuya Nakada, Frédéric Blanc, Michel De Cian, Luca Pescatore, François Fleuret, Chitsanu Khurewathanakul, Alessio Ferrari, Elena Graverini, Basile Schäli, Matthieu Philippe Luther Marinangeli, Renato Quagliani, Jessica Prisciandaro, Federico Betti, Mark Tobin, Greig Alan Cowan, Aravindhan Venkateswaran, Vladislav Balagura, Luis Miguel Garcia Martin, Pietro Marino, Vitalii Lisovskyi, Mirco Dorigo, Jian Wang, Mingkui Wang, Sebastiana Gianì, Zhirui Xu, Federico Leo Redi, Maxime Schubiger, Yi Zhang, Guido Andreassi, Lei Zhang, Violaine Bellée, Preema Rennee Pais, Pavol Stefko, Minh Tâm Tran, Tara Nanut, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

System Support for Efficient Replication in Distributed Systems

Dragos-Adrian Seredinschi

Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...

EPFL2019

First Observation of the Doubly Charmed Baryon Decay Xi(++)(cc) -> Xi(+)(c)pi(+)

Olivier Schneider, Christoph Frei, Aurelio Bay, Tatsuya Nakada, Frédéric Blanc, Michel De Cian, Luca Pescatore, François Fleuret, Chitsanu Khurewathanakul, Alessio Ferrari, Basile Schäli, Elena Graverini, Matthieu Philippe Luther Marinangeli, Renato Quagliani, Jessica Prisciandaro, Federico Betti, Mark Tobin, Greig Alan Cowan, Aravindhan Venkateswaran, Vladislav Balagura, Luis Miguel Garcia Martin, Pietro Marino, Vitalii Lisovskyi, Mirco Dorigo, Katharina Müller, Sebastiana Gianì, Jian Wang, Mingkui Wang, Federico Leo Redi, Maxime Schubiger, Zhirui Xu, Guido Andreassi, Yi Zhang, Violaine Bellée, Lei Zhang, Preema Rennee Pais, Pavol Stefko, Tara Nanut, Minh Tâm Tran, Tommaso Colombo, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

The theoretical principles of the critical shear crack theory for punching shear failures and derivation of consistent closed-form design expressions

Aurelio Muttoni, Miguel Fernández Ruiz, João Tiago Ramos Bernardo de Santa Rita Simões

The mechanical model of the critical shear crack theory (CSCT) has been used in the past to investigate a number of shear-related problems, such as punching of slab–column connections with and without transverse reinforcement. In this paper, a discussion o ...

Structural concrete2018

Higher-Order Subtyping with Type Intervals

Sandro Stucki

Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...

EPFL2017

Compilation Techniques for Incremental Collection Processing

Daniel Lupei

Many map-reduce frameworks as well as NoSQL systems rely on collection programming as their interface of choice due to its rich semantics along with an easily parallelizable set of primitives. Unfortunately, the potential of collection programming is not ...

EPFL2017

Effect of plasma geometry on divertor heat flux spreading: MONALISA simulations and experimental results from TCV

Holger Reimerdes, Benoît Labit, Christian Gabriel Theiler, Federico Nespoli, Roberto Maurizio

Safe ITER operations will rely on power spreading to keep the peak heat flux within divertor material constraints. A solid understanding and parameterization of heat flux profiles is therefore mandatory. This paper focuses on the impact of plasma geometry ...

Elsevier2017

Observation of the Doubly Charmed Baryon Xi(++)(cc)

Olivier Schneider, Aurelio Bay, Yiming Li, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Michel De Cian, Luca Pescatore, François Fleuret, Elena Graverini, Chitsanu Khurewathanakul, Renato Quagliani, Federico Betti, Aravindhan Venkateswaran, Vitalii Lisovskyi, Katharina Müller, Jian 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, Cédric Potterat, Liang Sun, Pietro Marino, Mirco Dorigo, Jean Wicht, Xiaoxue Han, Sebastiana Gianì, Liupan An, Federico Leo Redi, Ilya Komarov, Plamen Hristov Hopchev, , , , , , , , , , , , , , , , , , , , , , ,