Publications associées à Lambda-calcul

Robust Collaborative Learning with Linear Gradient Overhead

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

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

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

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, Antonio Sclocchi, Umberto Maria Tomasini

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, Seyed Jalal Etesami, Ehsan Mokhtarian, Yaroslav Kivva

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

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Yi Wang, Aurelio Bay, Ho Ling Li, Guido Haefeli, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Lesya Shchutska, François Fleuret, Mirco Dorigo, Liupan An, Renato Quagliani, Hang Yin, Guido Andreassi, Aravindhan Venkateswaran, Elena Graverini, Michel De Cian, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Sebastian Schulte, Tommaso Colombo, Vitalii Lisovskyi, Tara Nanut, Minh Tâm Tran, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Maria Vieites Diaz, Matthieu Philippe Luther Marinangeli, Serhii Cholak, Veronica Sølund Kirsebom, Maria Elena Stramaglia, Surapat Ek-In, Ana Bárbara Rodrigues Cavalcante, Luca Pescatore, Sara Celani, Preema Rennee Pais, Maxime Schubiger, Plamen Hristov Hopchev, Carina Trippl, Thi Dung Nguyen, Alison Maria Tully, Olivier Göran Girard, Mâu Chung Nguyên, Simone Meloni, Xiaoqing Zhou, Elisabeth Maria Niel, Alexandre Brea Rodriguez

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

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Yi Wang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Mirco Dorigo, Liupan An, Renato Quagliani, Hang Yin, Guido Andreassi, Maria Vieites Diaz, Aravindhan Venkateswaran, Elena Graverini, Michel De Cian, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Sebastian Schulte, Tommaso Colombo, Vitalii Lisovskyi, Tara Nanut, Minh Tâm Tran, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Matthieu Philippe Luther Marinangeli, François Fleuret, Veronica Sølund Kirsebom, Maria Elena Stramaglia, Surapat Ek-In, Ana Bárbara Rodrigues Cavalcante, Luca Pescatore, Preema Rennee Pais, Maxime Schubiger, Plamen Hristov Hopchev, Chitsanu Khurewathanakul, Thi Dung Nguyen, Olivier Göran Girard, Mâu Chung Nguyên, Axel Kuonen, Vincenzo Battista, Liang Sun, Conor Thomas Fitzpatrick, Brice Emile Maurin

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

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Yi Wang, Aurelio Bay, Ho Ling Li, Guido Haefeli, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Lesya Shchutska, François Fleuret, Mirco Dorigo, Liupan An, Renato Quagliani, Maxime Schubiger, Hang Yin, Guido Andreassi, Aravindhan Venkateswaran, Elena Graverini, Michel De Cian, Vladimir Macko, Federico Leo Redi, Sebastian Schulte, Tommaso Colombo, Vitalii Lisovskyi, Tara Nanut, Minh Tâm Tran, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Maria Vieites Diaz, Lino Ferreira Lopes, Matthieu Philippe Luther Marinangeli, Serhii Cholak, Veronica Sølund Kirsebom, Maria Elena Stramaglia, Surapat Ek-In, Ana Bárbara Rodrigues Cavalcante, Sara Celani, Preema Rennee Pais, Plamen Hristov Hopchev, Carina Trippl, Thi Dung Nguyen, Alison Maria Tully, Simone Meloni, Xiaoqing Zhou, Elisabeth Maria Niel, Alexandre Brea Rodriguez, Marco Guarise

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, Gabriel Francisco Cuomo, Gil Badel

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

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Yi Wang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Mark Tobin, Frédéric Blanc, Minh Tâm Tran, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Luca Pescatore, François Fleuret, Mirco Dorigo, Jean Wicht, Liupan An, Chitsanu Khurewathanakul, Plamen Hristov Hopchev, Renato Quagliani, Hang Yin, Guido Andreassi, Olivier Göran Girard, Axel Kuonen, Preema Rennee Pais, Aravindhan Venkateswaran, Elena Graverini, Michel De Cian, Maria Elena Stramaglia, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Tommaso Colombo, Vitalii Lisovskyi, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Maria Vieites Diaz, Lino Ferreira Lopes, Matthieu Philippe Luther Marinangeli, Maxime Schubiger, Christoph Frei, Sebastiana Gianì

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

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yi Zhang, Lei Zhang, Aurelio Bay, Yi Wang, Guido Haefeli, Tatsuya Nakada, Frédéric Blanc, Minh Tâm Tran, Maurizio Martinelli, Donal Patrick Hill, Liang Sun, Jean Wicht, Liupan An, Elena Graverini, Plamen Hristov Hopchev, Renato Quagliani, Hang Yin, Maria Vieites Diaz, Olivier Göran Girard, Axel Kuonen, Aravindhan Venkateswaran, Michel De Cian, Maria Elena Stramaglia, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Vitalii Lisovskyi, Tara Nanut, Alessio Ferrari, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Lino Ferreira Lopes, Matthieu Philippe Luther Marinangeli, François Fleuret, Vladislav Balagura, Guido Andreassi, Luca Pescatore, Preema Rennee Pais, Maxime Schubiger, Christoph Frei, Chitsanu Khurewathanakul, Greig Alan Cowan, Mark Tobin, Jessica Prisciandaro, Mirco Dorigo, Sebastiana Gianì, Vincenzo Battista, Conor Thomas Fitzpatrick, Tommaso Colombo, Brice Emile Maurin, Ian William Marison, Arnaud Merlin Gauthey, Daniel Gallichan, Marilisa Neri, Michael Thompson McCann, Mai Tu Xuan, Matteo Fontana, Simon Van Mulders, Valérie Jeanne Thérèse Renaudin-Schouler, Severin Stähly, Craig Matthew Smith, Alexandra Bondarenko, Léonard Yannick Maurice Eymann, Adriano Pastore, Nathalie Sophie Adeline Serra, Xiao Yuan, Laia Castilla Amorós, Luc Henry, Juan Federico Esteban Müller, Giovanni Veneziano, Basile Schäli, Nandita Aggarwal, Benedikt Sebastian Braun, Sattar Akbari Nakhjavani, Gang Yu

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(+)

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yi Zhang, Lei Zhang, Aurelio Bay, Yi Wang, Tatsuya Nakada, Frédéric Blanc, Minh Tâm Tran, Maurizio Martinelli, Liang Sun, Jean Wicht, Liupan An, Elena Graverini, Plamen Hristov Hopchev, Renato Quagliani, Hang Yin, Olivier Göran Girard, Axel Kuonen, Aravindhan Venkateswaran, Michel De Cian, Maria Elena Stramaglia, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Vitalii Lisovskyi, Tara Nanut, Alessio Ferrari, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Matthieu Philippe Luther Marinangeli, François Fleuret, Vladislav Balagura, Guido Andreassi, Luca Pescatore, Preema Rennee Pais, Maxime Schubiger, Katharina Müller, Christoph Frei, Chitsanu Khurewathanakul, Greig Alan Cowan, Mark Tobin, Jessica Prisciandaro, Mirco Dorigo, Sebastiana Gianì, Vincenzo Battista, Conor Thomas Fitzpatrick, Tommaso Colombo, Brice Emile Maurin, Ian William Marison, Arnaud Merlin Gauthey, Daniel Gallichan, Marilisa Neri, Michael Thompson McCann, Mai Tu Xuan, Matteo Fontana, Simon Van Mulders, Valérie Jeanne Thérèse Renaudin-Schouler, Severin Stähly, Craig Matthew Smith, Alexandra Bondarenko, Léonard Yannick Maurice Eymann, Adriano Pastore, Nathalie Sophie Adeline Serra, Xiao Yuan, Laia Castilla Amorós, Luc Henry, Giovanni Veneziano, Basile Schäli, Nandita Aggarwal, Benedikt Sebastian Braun, Sattar Akbari Nakhjavani, Gang Yu, Kévin Müller, Jordy Daniel Müller

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)

Jian Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Minh Tâm Tran, Michel De Cian, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Liang Sun, Pietro Marino, Luca Pescatore, François Fleuret, Mirco Dorigo, Jean Wicht, Sebastiana Gianì, Liupan An, Elena Graverini, Federico Leo Redi, Chitsanu Khurewathanakul, Ilya Komarov, Plamen Hristov Hopchev, Renato Quagliani, Maxime Schubiger, Hang Yin, Guido Andreassi, Violaine Bellée, Olivier Göran Girard, Axel Kuonen, Preema Rennee Pais, Aravindhan Venkateswaran, Pavol Stefko, Maria Elena Stramaglia, Tommaso Colombo, Vladimir Macko, Vitalii Lisovskyi, Katharina Müller

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