Concept

Real number

Related publications (220)

The Neutron Scattering Structure Factor

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

On Rigorous Numerical Computation as a Scala Library

Viktor Kuncak, Eva Darulova

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

2010

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

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

Spherical lens antenna designs with particle swarm optimization

Juan Ramon Mosig, Anja Skrivervik, Ruzica Golubovic, Benjamin Fuchs

A design procedure for spherical lens antennas is described. A particle swarm optimization (PSO) algorithm is coupled to a mode matching technique based on spherical wave expansion to analyze the lens antennas. The proposed methodology is applied to three ...

Wiley-Blackwell2010

Haptic/VR Assessment Tool for Fine Motor Control

Hannes Bleuler, Roger Gassert, Olivier Lambercy, Evren Samur, Christophe Emery

The Nine Hole Peg Test (NHPT) is routinely used in clinical environments to evaluate a patient’s fine hand control. A physician measures the total time required to insert nine pegs into nine holes and obtains information on the dexterity of the patient. Ev ...

Springer Berlin / Heidelberg2010

Fixed-Order H-infinity Controller Design via Convex Optimization Using an Alternative to Youla Prameterization

Alireza Karimi, Hamid Khatibi

All H-infinity controllers of a SISO LTI system are parameterized thanks to the relation between Bounded Real Lemma and Positive Real Lemma and a new concept of strict positive realness of two transfer functions with the same Lyapunov matrix in the matrix ...

Institute of Electrical and Electronics Engineers2010

Spatial dynamics of confined semiconductor microcavity polaritons

Benoît Marie Joseph Deveaud, François Morier-Genoud, Marcia Portella Oberli, Taofiq Paraïso, Roland Cerna

We report on the dynamics of confined zero-dimensional polaritons. We excite resonantly discrete polariton states optically with a tailored picosecond laser pulse and observe their emission time resolved in the two-dimensional k space or real space. We are ...

2010

Operational macroscopic modeling of complex urban road intersections

Gunnar Flötteröd

This article describes a new approach to the macroscopic first order modeling and simulation of traffic flow in complex urban road intersections. The framework is theoretically sound, operational, and comprises a large body of models presented so far in th ...

2010

Endogenous Completeness of Diffusion Driven Equilibrium Markets

Semyon Malamud, Julien Hugonnier

We study the existence of equilibria with endogenously complete mar- kets in a continuous-time, heterogenous agents economy driven by a multi- dimensional diﬀusion process. Our main results show that if prices are real analytic as functions of time and the ...

2009

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.