Concept

Lambda calculus

Related publications (24)

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, Surapat Ek-In, Ho Ling Li, Carina Trippl, Mark Tobin, Sara Celani, Serhii Cholak, Niko Neufeld, Ana Bárbara Rodrigues Cavalcante, Matthew Needham, Marc-Olivier Bettler, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Mirco Dorigo, Xiaoxue Han, Liupan An, Thibaud Humair, Hang Yin, Guido Andreassi, Yao Zhou, Tommaso Colombo, Evgenii Shmanin, Simone Meloni, Xiaoqing Zhou, 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, 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, Mark Tobin, Sebastian Schulte, Niko Neufeld, Surapat Ek-In, Matthew Needham, Ana Bárbara Rodrigues Cavalcante, Marc-Olivier Bettler, Brice Emile Maurin, Greig Alan Cowan, Vincenzo Battista, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Mirco Dorigo, Xiaoxue Han, Liupan An, Thibaud Humair, Hang Yin, Guido Andreassi, Maria Vieites Diaz, Tommaso Colombo, Evgenii Shmanin, 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 ...

Springer Nature2020

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, Sara Celani, Serhii Cholak, Niko Neufeld, Ana Bárbara Rodrigues Cavalcante, Matthew Needham, Marc-Olivier Bettler, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Mirco Dorigo, Xiaoxue Han, Liupan An, Thibaud Humair, Maxime Schubiger, Hang Yin, Guido Andreassi, Yao Zhou, Tommaso Colombo, Evgenii Shmanin, Simone Meloni, Xiaoqing Zhou, Marco Guarise, 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

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, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Cédric Potterat, Liang Sun, Mirco Dorigo, Jean Wicht, Xiaoxue Han, Liupan An, Plamen Hristov Hopchev, Thibaud Humair, Hang Yin, Guido Andreassi, Olivier Göran Girard, Axel Kuonen, Preema Rennee Pais, Maria Elena Stramaglia, Tommaso Colombo, Dipanwita Dutta, Yi Wang, Hans Dijkstra, Gerhard Raven, Peter Clarke, Frédéric Teubert, Giovanni Carboni, Victor Coco, Adam Davis, Paolo Durante, Yu Zheng, Anton Petrov, Maxim Borisyak, Feng Jiang, Zhipeng Tang, Luis Alberto Granado Cardoso, Daniel Hugo Cámpora Pérez

Using pp collisions corresponding to 3 fb integrated luminosity, recorded by the LHCb experiment at centre- of- mass energies of 7 and 8TeV, the ratio of branching fractions B (0b ! (2 S) ) =B (0b ! J= ) = 0 : 513 0 : 023 (stat) 0 : 016 (syst) 0 : 011 (B) ...

Springer Nature2019

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, Niko Neufeld, Tommaso Colombo, Matthew Needham, Vladimir Macko, Marc-Olivier Bettler, Guillaume Max Pietrzyk, Ian William Marison, Lino Ferreira Lopes, Maurizio Martinelli, Daniel Gallichan, Mai Tu Xuan, Donal Patrick Hill, Cédric Potterat, Severin Stähly, Marilisa Neri, Liang Sun, Simon Van Mulders, Gang Yu, Jean Wicht, Alexandra Bondarenko, Xiaoxue Han, Michael Thompson McCann, Adriano Pastore, Léonard Yannick Maurice Eymann, Liupan An, Nathalie Sophie Adeline Serra, Matteo Fontana, Plamen Hristov Hopchev, Thibaud Humair, Laia Castilla Amorós, Luc Henry, Hang Yin, Xiao Yuan, Nandita Aggarwal, Sattar Akbari Nakhjavani, Valérie Jeanne Thérèse Renaudin-Schouler, Maria Vieites Diaz, Olivier Göran Girard, Juan Federico Esteban Müller, Axel Kuonen, Brice Emile Maurin, Craig Matthew Smith, Vincenzo Battista, Maria Elena Stramaglia, Evgenii Shmanin, 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, Luis Alberto Granado Cardoso

The first observation of two structures consistent with resonances in the final states Lambda(0)(b)pi(-) and Lambda(0)(b)pi(+) thorn is reported using samples of pp collision data collected by the LHCb experiment at root s = 7 and 8 TeV, corresponding to a ...

2019

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, Niko Neufeld, Vladimir Macko, Matthew Needham, Guillaume Max Pietrzyk, Ian William Marison, Marc-Olivier Bettler, Daniel Gallichan, Mai Tu Xuan, Maurizio Martinelli, Severin Stähly, Cédric Potterat, Marilisa Neri, Liang Sun, Simon Van Mulders, Gang Yu, Alexandra Bondarenko, Jean Wicht, Michael Thompson McCann, Adriano Pastore, Xiaoxue Han, Léonard Yannick Maurice Eymann, Nathalie Sophie Adeline Serra, Liupan An, Matteo Fontana, Plamen Hristov Hopchev, Laia Castilla Amorós, Luc Henry, Thibaud Humair, Xiao Yuan, Kévin Müller, Hang Yin, Nandita Aggarwal, Sattar Akbari Nakhjavani, Valérie Jeanne Thérèse Renaudin-Schouler, Olivier Göran Girard, Axel Kuonen, Brice Emile Maurin, Craig Matthew Smith, Vincenzo Battista, Maria Elena Stramaglia, Evgenii Shmanin, 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

The doubly charmed baryon decay Xi(++)(cc) -> Xi(+)(c)pi(+) is observed for the first time, with a statistical significance of 5.9 sigma, confirming a recent observation of the baryon in the Lambda K-+(c)-pi(+)pi(+) final state. The data sample used corres ...

2018

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, Thibaud Humair, Maxime Schubiger, Hang Yin, Guido Andreassi, Violaine Bellée, Olivier Göran Girard, Axel Kuonen, Preema Rennee Pais, Pavol Stefko, Maria Elena Stramaglia, Tommaso Colombo, Vladimir Macko, Hans Dijkstra, Gerhard Raven, Peter Clarke, Frédéric Teubert, Giovanni Carboni, Adam Davis, Paolo Durante, Yu Zheng, Anton Petrov, Maxim Borisyak, Feng Jiang

A highly significant structure is observed in the Lambda K-+(c)-pi(+)pi(+) mass spectrum, where the Lambda(+)(c) baryon is reconstructed in the decay mode pK(-)pi(+). The structure is consistent with originating from a weakly decaying particle, identified ...

2017