Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Positive real numbers

Related publications (17)

Anisotropic Adaptive Finite Elements for a p-Laplacian Problem

Marco Picasso, Paride Passelli

The p-Laplacian problem -del & sdot; ((mu + |del u|(p-2))del u) = f is considered, where mu is a given positive number. An anisotropic a posteriori residual-based error estimator is presented. The error estimator is shown to be equivalent, up to higher ord ...

Walter De Gruyter Gmbh2024

On a Finite-Size Neuronal Population Equation

Tilo Schwalger, Valentin Marc Schmutz

Population equations for infinitely large networks of spiking neurons have a long tradition in theoret-ical neuroscience. In this work, we analyze a recent generalization of these equations to populations of finite size, which takes the form of a nonlinear ...

SIAM PUBLICATIONS2023

Crossing of the Branch Cut: The Topological Origin of a Universal 2 pi-Phase Retardation in Non-Hermitian Metasurfaces

Olivier Martin, Karim Achouri

Full wavefront control by photonic components requires that the spatial phase modulation on an incoming optical beam ranges from 0 to 2 pi. Because of their radiative coupling to the environment, all optical components are intrinsically non-Hermitian syste ...

WILEY-V C H VERLAG GMBH2023

First passage sets of the 2D continuum Gaussian free field

Juhan Aru, Titus Lupu

We introduce the first passage set (FPS) of constant level -a of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path on whi ...

SPRINGER HEIDELBERG2020

Lonely Runner Polyhedra

Matthias Schymura

We study the Lonely Runner Conjecture, conceived by Jörg M. Wills in the 1960's: Given positive integers n_1, n_2, ... , n_k, there exists a positive real number t such that for all 1 \le j \le k the distance of t n_j to the nearest integer is at least 1 / ...

2019

Simultaneous Approximation of Polynomials

János Pach, Andrei Kupavskii

Let P-d denote the family of all polynomials of degree at most d in one variable x, with real coefficients. A sequence of positive numbers x(1)

Springer Int Publishing Ag2016

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

On the eigenvalue decay of solutions to operator Lyapunov equations

Daniel Kressner

This paper is concerned with the eigenvalue decay of the solution to operator Lyapunov equations with right-hand sides of finite rank. We show that the kth (generalized) eigenvalue decays exponentially in root k, provided that the involved operator A gener ...

Elsevier Science Bv2014

Sound Compilation of Reals

Viktor Kuncak, Eva Darulova

Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...

ACM2014

KUL and EPFL cooperation on numerical integration of Sommerfeld integrals

Juan Ramon Mosig, Athanasios Polymeridis, Ruzica Golubovic

This paper reports the result of the cooperation between KUL and EPFL on the numerical integration of Sommerfeld integrals (SI). Each institution is well-known for developing specific techniques suited for the evaluation of SI: double-exponential quadratur ...

2012

Trustworthy Numerical Computation in Scala

Viktor Kuncak, Eva Darulova

Modern computing has adopted the floating point type as a default way to describe computations with real numbers. Thanks to dedicated hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting ...

2011

Modeling and Flatness of Rigid and Flexible Cable Suspended Underactuated Robots

Philippe Müllhaupt, Basile Graf

A modeling framework is proposed for the control of rigid and flexible cable-like systems such as cranes, together with a systematic algorithm for computing flat outputs of mechanical systems for which the flat output is a linear combi- nation of free coor ...

IEEE2010

Modeling and Flatness of Rigid and Flexible Cable Suspended Underactuated Robots

Philippe Müllhaupt, Basile Graf

2010

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Gravity Solitary Waves By Minimization: An Uncountable Family

Boris Buffoni

We improve and simplify the minimization method for solitary waves in two cases: firstly, when the surface tension is weak (that is, the Bond number is < 1/3) and the depth is finite, and secondly, when the depth is infinite. In a previous work on the firs ...

2009

Contribution to the ergodic theory of piecewise monotone continuous maps

Bastien Faller

This thesis is devoted to the ergodic theory of the piecewise monotone continuous maps of the interval. The coding is a classical approach for these maps. Thanks to the coding, we get a symbolic dynamical system which is almost isomorphic to the initial dy ...

EPFL2008

Le carré de la fonction des diviseurs

Let d(n) denote Dirichlet's divisor function for positive integer numbers. This work is primarily concerned with the study of We are interested, in the error term where Ρ3 is a polynomial of degree 3 ; more precisely xΡ3(log x) is the residue of in s = 1. ...

EPFL2007

Related publications (17)

Springer Int Publishing Ag2016