Publication

Type II solutions Type II blow up solutions with optimal stability properties for the critical focussing nonlinear wave equation on $\R^{3+1}$

Publications associées (38)

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

Implementing a State Space Analyzer for Synchronous Java

Claude Petitpierre

In this paper we present a toolset aimed at the analysis of programs written in Java and a new kind of active objects. The toolset detects if the program contains deadlocks and may provide a CCS description along with a labeled transition system of the pro ...

2004

Tracking People in Meetings with Particles

Daniel Gatica-Perez, Jean-Marc Odobez, Guillaume Lathoud, Silèye Oumar Ba, Kevin Smith

Automatic meeting analysis is an emerging research field. In this paper, we present stochastic algorithms for tracking people in multi-sensor meeting rooms, for a number of relevant tasks, including tracking multiple people, tracking head pose towards anal ...

IDIAP2004

Study of nonlinear mode coupling during neoclassical tearing modes using bispectrum analysis

Olivier Sauter, Jonathan Bryan Lister

It is sometimes observed that several neoclassical tearing modes (NTMs) are present at the same time. This can happen both at the mode onset of a new NTM or during the nonlinear saturated phase of a given mode. In order to analyse whether nonlinear mode co ...

2003

A Formal Analysis of Syverson`s Rational Exchange Protocol

Jean-Pierre Hubaux, Levente Buttyan, Srdan Capkun

In this paper, we provide a formal analysis of a rational exchange protocol proposed by Syverson. A rational exchange protocol guarantees that misbehavior cannot generate benefits, and is therefore discouraged. The analysis is performed using our formal mo ...

2002

New anisotropic a priori error estimates

Luca Formaggia

We prove a priori anisotropic estimates for the L2 and H1 interpolation error on linear finite elements. The full information about the mapping from a reference element is employed to separate the contribution to the elemental error c ...

2001

Electromagnetic scattering in polarizable backgrounds

Olivier Martin

We develop a fully vectorial formalism for the investigation of electromagnetic scattering in polarizable backgrounds, i.e., where the scatterers are not in vacuum but situated in a medium with a dielectric permittivity different from unity. Our approach i ...

1998

An Implementation of Logical Analysis of Data

The paper describes a new, logic-based methodology for analyzing observations. The key features of the Logical Analysis of Data (LAD) are the discovery of minimal sets of features necessary for explaining all observations, and the detection of hidden patte ...

IDIAP1996

A Time-Domain Feedback-Analysis of Recursive Identification Schemes

Ali H. Sayed

This paper provides a time-domain feedback analysis of several adaptive schemes with emphasis on stability and robustness issues. It is shown that an intrinsic feedback structure, mapping the noise sequence and the initial weight guess to the apriori estim ...

1995