Concept

Real number

Related publications (220)

Using re-calibrated design S-N curves for fatigue assessment of road bridges

Fatigue design of road bridges according to Eurocode standards can be based on damage accumulation, provided that information about loading spectrum is available. Characteristic values of fatigue resistance and load effects as well as partial safety factor ...

Wilhelm Ernst & Sohn2017

Femtosecond Charge-Injection Dynamics at Hybrid Perovskite Interfaces

Mohammad Khaja Nazeeruddin, Michael Saliba, Sanghyun Paek, Giulia Grancini, Yonghui Lee, Kyung Taek Cho

With a power conversion efficiency (PCE) exceeding 22%, perovskite solar cells (PSCs) have thrilled photovoltaic research. However, the interface behavior is still not understood and is a hot topic of research: different processes occur over a hierarchy of ...

Wiley-Blackwell2017

Exact Algorithms for $ L ^{ 1 } $ -TV Regularization of Real-Valued or Circle-Valued Signals

Michaël Unser, Martin Kurt Storath

We consider

L ^{ 1 }

-TV regularization of univariate signals with values on the real line or on the unit circle. While the real data space leads to a convex optimization problem, the problem is nonconvex for circle-valued data. In this paper, we deriv ...

SIAM2016

Inhomogeneous minima of mixed signature lattices

Eva Bayer Fluckiger, Martino Borello, Peter Simon Jossen

We establish an explicit upper bound for the Euclidean minimum of a number field which depends, in a precise manner, only on its discriminant and the number of real and complex embeddings. Such bounds were shown to exist by Davenport and Swinnerton-Dyer ([ ...

Academic Press Inc Elsevier Science2016

Embeddings of maximal tori in classical groups over local and global fields

Eva Bayer Fluckiger, Ting-Yu Lee

Embeddings of maximal tori in classical groups over fields of characteristic not 2 are the subject matter of several recent papers. The aim of the present paper is to give necessary and sufficient conditions for such an embedding to exist, when the base fi ...

Turpion Ltd2016

Deductive Synthesis and Repair

Etienne Kneuss

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

EPFL2016

Collision-Free Coordination of Fiber Positioners in Multi-object Spectrographs

Denis Gillet, Jean-Paul Richard Kneib, Laleh Makarem

Many ber-fed spectroscopic survey projects, such as DESI, PFS and MOONS, will use thousands of fiber positioners packed at a focal plane. To maximize observation time, the positioners need to move simultaneously and reach their targets swiftly. We have pre ...

Spie-Int Soc Optical Engineering2016

Nonequilibrium localization and the interplay between disorder and interactions

Eduardo Carlo Mascarenhas Moraes

We study the nonequilibrium interplay between disorder and interactions in a closed quantum system. We base our analysis on the notion of dynamical state-space localization, calculated via the Loschmidt echo. Although real-space and state-space localizatio ...

Iop Publishing Ltd2016

Hardware-in-the-loop Validation of the Grid Explicit Congestion Notification Mechanism for Primary Voltage Control in Active Distribution Networks

Jean-Yves Le Boudec, Mario Paolone, Marco Pignati, Konstantina Christakou, Styliani Sarri, Roman Rudnik

The Grid Explicit Congestion Notification control mechanism (GECN) is a broadcast-based real-time demand- response mechanism designed for primary voltage control in Active Distribution Networks (ADNs) [1,2]. An extensive set of off-line simulations has ind ...

Università degli Studi di Genova, Italy2016

TripleWave: Spreading RDF Streams on the Web

Karl Aberer, Jean Paul Calbimonte Perez

Processing data streams is increasingly gaining momentum, given the need to process these flows of information in real-time and at Web scale. In this context, RDF Stream Processing (RSP) and Stream Reasoning (SR) have emerged as solutions to combine semant ...

Springer Int Publishing Ag2016

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Exact Algorithms for $ L ^{ 1 } $ -TV Regularization of Real-Valued or Circle-Valued Signals

Michaël Unser, Martin Kurt Storath

We consider

L ^{ 1 }

SIAM2016