Publications associées à Opérateur de Fredholm

Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

Springer Berlin Heidelberg2013

On Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

2012

Exponential decay and Fredholm properties in second-order quasilinear elliptic systems

Charles Stuart, Hicham Georges Gebran

We consider second-order quasilinear elliptic systems on un-bounded domains in the setting of Sobolev spaces. We complete our earlier work on the Fredholm and properness properties of the associated differential operators by giving verifiable conditions fo ...

2010

Brief announcement: incremental component-based modeling, verification, and performance evaluation of distributed reset

Joseph Sifakis

In this work, we apply a methodology which consistently integrates modeling, verification, and performance evaluation techniques, based on the BIP (Behavior, Interaction, Priority) component framework developed at Verimag [A. Basu et al., 2006; A. Basu et ...

2009

A 1D Model For A Closed Rigid Filament In Stokes Flow

Philippe Caussignac

We adapt an existing asymptotic method to set up a one-dimensional model for the fall of a closed filament in an in finite fluid in the Stokes regime. Starting from the single-layer integral representation of the fluid velocity around the filament, we get, ...

2009

Automatic Tonal Harmonization For Multi-Spectral Mosaics

Pouya Dehghani Tafti

When producing a mosaic of multiple multi-spectral images one needs to harmonize the colours so that the tone transition is smooth from one image to the other. Given two images Im(a) and Im(b), a transform T is sought to map Im(b) to an image that is harmo ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2008

Automatic Tonal Harmonization for Multi-Spectral Mosaics

Pouya Dehghani Tafti

When producing a mosaic of multiple multi-spectral images one needs to harmonize the colours so that the tone transition is smooth from one image to the other. Given two images

Im ^{ a }

and

Im ^{ b }

, a transform T is sought to map

Im ^{ b }

...

IEEE2008

Complex Wavelet Bases, Steerability, and the Marr-Like Pyramid

Michaël Unser, Dimitri Nestor Alice Van De Ville

Our aim in this paper is to tighten the link between wavelets, some classical image-processing operators, and David Marr's theory of early vision. The cornerstone of our approach is a new complex wavelet basis that behaves like a smoothed version of the Gr ...

Institute of Electrical and Electronics Engineers2008

Global continuation for ODE systems over the half-line and study of von Kármán's swirling flow problem

Gilles Evéquoz

This work is concerned with the global continuation for solutions (λ,u,ξ) ∈ R × C1{0}([0,∞), RN) × Rk of the following system of ordinary differential equations: where F: [0,∞) × RN × U × J → RN and φ: U × J → X1, for some open sets J ⊂ R and U ⊂ Rk, and w ...

EPFL2007

Spectral Properties and Stability of Self-Similar Wave Maps

Roland Donninger

In this thesis the Cauchy problem and in particular the question of singularity formation for co--rotational wave maps from 3+1 Minkowski space to the three--sphere

S^3

is studied. Numerics indicate that self--similar solutions of this model play a cruci ...

University of Vienna2007

Opérateur de Fredholm

Graph Chatbot

Chattez avec Graph Search

Effect Analysis for Programs with Callbacks

On Effect Analysis for Programs with Callbacks

Exponential decay and Fredholm properties in second-order quasilinear elliptic systems

Brief announcement: incremental component-based modeling, verification, and performance evaluation of distributed reset

A 1D Model For A Closed Rigid Filament In Stokes Flow

Automatic Tonal Harmonization For Multi-Spectral Mosaics

Automatic Tonal Harmonization for Multi-Spectral Mosaics

Complex Wavelet Bases, Steerability, and the Marr-Like Pyramid

Global continuation for ODE systems over the half-line and study of von Kármán's swirling flow problem

Spectral Properties and Stability of Self-Similar Wave Maps

Effect Analysis for Programs with Callbacks

Automatic Tonal Harmonization For Multi-Spectral Mosaics

Exponential decay and Fredholm properties in second-order quasilinear elliptic systems

Complex Wavelet Bases, Steerability, and the Marr-Like Pyramid

A 1D Model For A Closed Rigid Filament In Stokes Flow

Spectral Properties and Stability of Self-Similar Wave Maps

Automatic Tonal Harmonization for Multi-Spectral Mosaics

On Effect Analysis for Programs with Callbacks

Global continuation for ODE systems over the half-line and study of von Kármán's swirling flow problem

Brief announcement: incremental component-based modeling, verification, and performance evaluation of distributed reset