A DFT+U-type corrective functional is derived from first principles to enforce the flat plane condition on localized subspaces, thus dispensing with the need for an ad hoc derivation from the Hubbard model. Small, molecular test systems at the dissociated ...

AMER PHYSICAL SOC2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Elsevier Science Inc2023

Higher Order Asymptotics: Applications to Satellite Conjunction and Boundary Problems

Soumaya Elkantassi

Higher-order asymptotics provide accurate approximations for use in parametric statistical modelling. In this thesis, we investigate using higher-order approximations in two-specific settings, with a particular emphasis on the tangent exponential model. ...

EPFL2023

Outlier-free spline spaces for isogeometric discretizations of biharmonic and polyharmonic eigenvalue problems

Espen Sande

We present outlier-free isogeometric Galerkin discretizations of eigenvalue problems related to the biharmonic and the polyharmonic operator in the univariate setting. These are Galerkin discretizations in certain spline subspaces that provide accurate app ...

Elsevier Science Sa2023

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

In-Memory Hardware and Architectural Extensions for Workloads Acceleration

William Andrew Simon

Utilization of edge devices has exploded in the last decade, with such use cases as wearable devices, autonomous driving, and smart homes. As their ubiquity grows, so do expectations of their capabilities. Simultaneously, their formfactor and use cases lim ...

EPFL2022

The Canopy Pavilion: A lightweight shading structure using a deployable auxetic linkage membrane

Mark Pauly, Dieter Dietz, Florin Isvoranu, Tian Chen, Arthur François Blanc

We present the Canopy Pavilion, a lightweight shading structure for a social gathering space. The shading surface is realized as a tensioned auxetic linkage membrane, composed of two double-curved anticlastic layers separated by a compression pole. The mem ...

2020

Improved Inference On Risk Measures For Univariate Extremes

Anthony Christopher Davison, Léo Raymond-Belzile

We discuss the use of likelihood asymptotics for inference on risk measures in univariate extreme value problems, focusing on estimation of high quantiles and similar summaries of risk for uncertainty quantification. We study whether higher-order approxima ...

INST MATHEMATICAL STATISTICS-IMS2022

The physics of higher-order interactions in complex systems

Enrico Amico

Network representations of complex systems are limited to pairwise interactions, but real-world systems often involve higher-order interactions. This Perspective looks at the new physics emerging from attempts to characterize these interactions. ...

NATURE PORTFOLIO2021

How the first wave of COVID-19 in Switzerland affected residential preferences

Vincent Kaufmann, Claudia Rebeca Binder Signer, Livia Bianca Fritz, Anna Pagani, Ralph Hansmann

During the first wave of COVID-19, residents’ health and well-being were challenged as residential environments suddenly had to accommodate most of the functions of an urban system. Although scholars and practitioners have proposed reconsidering dwelling r ...

2021

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Sandro Stucki, Fengyun Liu, 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

Philipp Johann Uhrich

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 vivo detection of d-amino acid oxidase with hyperpolarized d-[1-C-13]alanine

Rolf Gruetter, Hikari Ananda Infinity Yoshihara, Alice Radaelli

d-amino acid oxidase (DAO) is a peroxisomal enzyme that catalyzes the oxidative deamination of several neutral and basic d-amino acids to their corresponding alpha-keto acids. In most mammalian species studied, high DAO activity is found in the kidney, liv ...

2020

A computational biophysical model of thalamic and reticular nucleus microcircuitry: from neurons to emergent network dynamics

Elisabetta Iavarone

The thalamus, once believed to be a simple relay station between the body periphery and the neocortex, has started to be recognized as a key player in higher-order functions, such as attention. It participates in the transition between brain states, such a ...

EPFL2020

Evaluation and robotic simulation of the glenohumeral joint

Matteo Mancuso

The shoulder is the joint with the largest range of motion in the human body. It is composed of three articulations, the glenohumeral articulation providing about two thirds of its mobility which is, also the most complex and fragile of the three. For this ...

EPFL2020

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

Mohammad Khaja Nazeeruddin, Giulia Grancini, Albertus Adrian Sutanto, Valentin Ianis Emmanuel Queloz, 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 ...

American Chemical Society (ACS)2020

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, Daniel Andreas Schmitter, Zsuzsanna Püspöki

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