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

Concept

Banach fixed-point theorem

Related publications (28)

Odd linking and bifurcation in gaps: the weakly indefinite case

In this paper, we consider nonlinear Schrodinger equations of the following type: -Delta u(x) + V (x) u(x) -q(x)|u(x)|sigma u(x) =lambda u(x), x is an element of R-N, u is an element of H-1(R-N) \ {0}, where N >= 2 and sigma > 0. We concentrate on situatio ...

Royal Society of Edinburgh Scotland Foundation, Cambridge2013

Synthesis of Fixed-Point Programs

Viktor Kuncak, Eva Darulova

Several problems in the implementations of control systems, signal-processing systems, and scientific computing systems reduce to compiling a polynomial expression over the reals into an imperative program using fixed-point arithmetic. Fixed-point arithmet ...

2013

On the Asymptotic Validity of the Decoupling Assumption for Analyzing 802.11 MAC Protocol

Jean-Yves Le Boudec

Performance evaluation of the 802.11 MAC protocol is classically based on the decoupling assumption, which hypothesizes that the backoff processes at different nodes are independent. This decoupling assumption results from mean field convergence and is gen ...

Institute of Electrical and Electronics Engineers2012

Investigating the midline effect for visual focus of attention recognition

Jean-Marc Odobez, Samira Sheikhi

This paper addresses the recognition of people’s visual focus of attention (VFOA), the discrete version of gaze indicating who is looking at whom or what. In absence of high def- inition images, we rely on people’s head pose to recognize the VFOA. To the c ...

ACM2012

Demosaicking by Alternating Projections: Theory and Fast One-Step Implementation

Martin Vetterli, Yue Lu

Color image demosaicking is a key process in the digital imaging pipeline. In this paper, we study a well-known and influential demosaicking algorithm based on alternating projections (AP), proposed by Gunturk, Altunbasak and Mersereau in 2002. Since its p ...

Institute of Electrical and Electronics Engineers2010

On the Validity of the Fixed Point Equation and Decoupling Assumption for Analyzing the 802.11 MAC Protocol

Jean-Yves Le Boudec

Performance evaluation of the 802.11 MAC protocol is classically based on the decoupling assumption, which hypothesizes that the backoff processes at different nodes are independent. A necessary condition for the validity of this approach is the existence ...

2010

On the validity of the fixed point equation and decoupling assumption for analyzing the 802.11 MAC protocol

Jean-Yves Le Boudec

Performance evaluation of the 802.11 MAC protocol is classically based on the decoupling assumption, which hypothesizes that the backoff processes at different nodes are independent. A necessary condition for the validity of this approach is the existence ...

2010

Modélisation, analyse mathématique et simulation numérique de la dynamique des glaciers

Guillaume Jouvet

We address the free boundary problem that consists in finding the shape of a three dimensional glacier over a given period and under given climatic conditions. Glacier surface moves by sliding, internal shear and external exchange of mass. Ice is modelled ...

EPFL2010