Concept

Fonction d'ordre supérieur

Publications associées (85)

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020

A critically degenerate elliptic Dirichlet problem, spectral theory and bifurcation

Charles Stuart

In an open, bounded subset Omega of R-N such that 0 is an element of Omega we consider the nonlinear eigenvalue problem -Sigma(N)(i,j,=1) partial derivative(i){A(ij)(x)partial derivative(j)u} + V(x)u + n(x,del u)+ g(x, u) = lambda u in Omega integral(Omega ...

2020

Out-of-equilibrium phase diagram of long-range superconductors

Within the ultimate goal of classifying universality in quantum many-body dynamics, understanding the relation between out-of-equilibrium and equilibrium criticality is a crucial objective. Models with power-law interactions exhibit rich well-understood cr ...

2020

In Situ Analysis Reveals the Role of 2D Perovskite in Preventing Thermal-Induced Degradation in 2D/3D Perovskite Interfaces

Mohammad Khaja Nazeeruddin, Giulia Grancini, Valentin Ianis Emmanuel Queloz, Albertus Adrian Sutanto, Nikita Drigo, Rodrigo Szostak

Engineering 2D/3D perovskite interfaces is a common route to realizing efficient and stable perovskite solar cells. Whereas 2D perovskite’s main function in trap passivation has been identified and is confirmed here, little is known about its 2D/3D interfa ...

2020

First-order Neel to columnar valence bond solid transition in a model square-lattice S=1 antiferromagnet

Jonathan D'Emidio

We study the Neel to fourfold columnar valence bond solid (cVBS) quantum phase transition in a sign-free S = 1 square-lattice model. This is the same kind of transition that for S = 1/2 has been argued to realize the prototypical deconfined critical point. ...

AMER PHYSICAL SOC2020

When Is Amplification Necessary for Composition in Randomized Query Complexity?

Mika Tapani Göös

Suppose we have randomized decision trees for an outer function f and an inner function g. The natural approach for obtaining a randomized decision tree for the composed function (f∘ gⁿ)(x¹,…,xⁿ) = f(g(x¹),…,g(xⁿ)) involves amplifying the success probabili ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2020

To positivity and beyond, where Higgs-Dilaton inflation has never gone before

Inar Timiryasov, Mario Herrero Valea, Anna Tokareva

We study the consequences of (beyond) positivity of scattering amplitudes in the effective field theory description of the Higgs-Dilaton inflationary model. By requiring the EFT to be compatible with a unitary, causal, local and Lorentz invariant UV comple ...

IOP PUBLISHING LTD2019

Method and system for the creation of an h-spline based data structure, data storage, and data representation

Michaël Unser, Zsuzsanna Püspöki, Daniel Andreas Schmitter

A method for generating a data structure to digitally represent a geometrical object based on H-splines, the method being performed on a computer device having a data processor and memory, the method including the steps of creating a first data structure a ...

2019

A local discontinuous Galerkin gradient discretization method for linear and quasilinear elliptic equations

Assyr Abdulle, Giacomo Rosilho De Souza

A local weighted discontinuous Galerkin gradient discretization method for solving elliptic equations is introduced. The local scheme is based on a coarse grid and successively improves the solution solving a sequence of local elliptic problems in high gra ...

EDP SCIENCES S A2019

Efficient geometric integrators for nonadiabatic quantum dynamics. II. The diabatic representation

Jiri Vanicek, Seonghoon Choi, Julien Roulet

Exact nonadiabatic quantum evolution preserves many geometric properties of the molecular Hilbert space. In the first paper of this series ["Paper I," S. Choi and J. Vaníček, J. Chem. Phys. 150, 204112 (2019)], we presented numerical integrators of arbitra ...

2019

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search