Concept

Droite réelle achevée

Publications associées (48)

A generalization of the Wiener rational basis functions on infinite intervals: Part I-derivation and properties

We formulate and derive a generalization of an orthogonal rational-function basis for spectral expansions over the infinite or semi-infinite interval. The original functions, first presented by Wiener, are a mapping and weighting of the Fourier basis to th ...

American Mathematical Society2011

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

Expressiveness And Closure Properties For Quantitative Languages

Laurent Doyen

Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In the case of infinite words, the value of a run is naturally computed as the ma ...

2010

Modeling and Flatness of Rigid and Flexible Cable Suspended Underactuated Robots

Philippe Müllhaupt, Basile Graf

2010

Model-Based Estimation of Three-Dimensional Stiffness Parameters in Photonic-Force Microscopy

Michaël Unser, Andrzej Kulik, Philippe Thévenaz, Elena Bertseva, Amardeep Singh

We propose a system to characterize the 3-D diffusion properties of the probing bead trapped by a photonic-force microscope. We follow a model-based approach, where the model of the dynamics of the bead is given by the Langevin equation. Our procedure comb ...

Institute of Electrical and Electronics Engineers2010

Decay Estimates for the One-dimensional Wave Equation with an Inverse Power Potential

Roland Donninger

We study the wave equation on the real line with a potential that falls off like vertical bar x vertical bar(-alpha) for vertical bar x vertical bar -> infinity where 2 < alpha infini ...

Oxford University Press2010

The Neutron Scattering Structure Factor

Jérôme Egger

In the experience of neutron scattering, the structure factor is a value that can be almost directly measured (through the differential inelastic neutron scattering cross section). Thus it can be interesting to have a calculation which could give a theoret ...

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

Quantitative Languages

Laurent Doyen

Quantitative generalizations of classical languages, which assign to each word a real number instead of a Boolean value, have applications in modeling resource-constrained computation. We use weighted automata (finite automata with transition weights) to d ...

2010

ELM filament interaction with the JET main chamber☆

Richard Pitts, Gilles Arnoux

This work constitutes the first extended analysis of the spatial structure of Type-I ELM filament footprints on the JET outer limiters and upper dump plates. The data is obtained using a wide angle infrared diagnostic (with time resolution of 125 Hz) and c ...

Elsevier2009

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