An isolated event flood model is described that is based upon the concept of expanding source areas using an S-curve function to relate the proportion of rainfall that becomes stormflow to the moisture status of the catchment. Some features of the Flood Studies Team IEM4 model (NERC, 1975) are included in the model presented here. The model has been calibrated on a number of observed flood even...

In this paper, we introduce a new approach to mesh an animated implicit surface for rendering purposes. This approach is based on a double triangulation of the surface. In the first triangulation, the vertices are the nodes of a finite element model. The aim of this model is to uniformly and dynamically sample the surface. It is robust, efficient and prevents the inversion of triangles. The sec...

The Discontinuous Galerkin Time Domain (DGTD) methods are now widely used for the solution of wave propagation problems. Able to deal with unstructured meshes past complex geometries, they remain fully explicit with easy parallelization and extension to high orders of accuracy. Still, modal or nodal local basis functions have to be chosen carefully to obtain actual numerical accuracy. Concernin...

We describe the use of the veriication tools xeve and fc2symbmin on the esterel encoding of a Steam Boiler controller proposed by J.R. Abial. xeve is a veriication tool set dedicated to the analysis of synchronous reactive systems in the form of boolean equations, using the symbolic representation of BDDs for implicit state representation. fc2symbmin is a latter addition to this toolset, and al...

Today, the trust has turned into one of the most beneficial solutions to improve recommender systems, especially in the collaborative filtering method. However, trust statements suffer from a number of shortcomings, including the trust statements sparsity, users' inability to express explicit trust for other users in most of the existing applications, etc. Thus to overcome these problems, this ...

In this report, we propose a semi-implicit coupling scheme for the numerical simulation of fluid-structure interaction systems involving a viscous incompressible fluid. The scheme is stable irrespectively of the so-called addedmass effect and allows for conservative time-stepping within the structure. The efficiency of the scheme is based on the explicit splitting of the viscous effects and geo...

In this article we give an explicit solution to the vectorial di¤erential inclusion where we have to …nd a map u : R ! R with u = 0 on @ and Du (x) 2 O (2) ; a.e. x 2 : Titre: Une solution explicite d’un système implicite d’équations différentielles Résumé: Nous construisons une solution explicite d’une inclusion di¤érentielle où on cherche une application u : R ! R avec u = 0 sur @ et Du (x) 2...

We derive the necessary and sufficient condition for the L∞−monotonicity of finite difference θ-scheme for a diffusion equation. We confirm that the discretization ratio ∆t = O(∆x) is necessary for the monotonicity except for the implicit scheme. In case of the heat equation, we get an explicit formula, which is weaker than the classical CFL condition. Key-words: Theta-scheme, monotonicity. ∗ W...

The LIMSI ARISE system provides vocal access by telephone to rail travel information for main French intercity connections, including timetables, simulated fares and reservations, reductions and services. Our goal is to obtain high dialog success rates with a very open interaction, where the user is free to ask any question or to provide any information at any point in time. In order to improve...