In this report, we present parallel solutions of realistic three-dimensional ows obtained on the Intel Paragon, the Cray T3D and the Ibm SP2 MPPs (Massively Parallel Processors). The solver under consideration is a representative subset of an existing industrial code, N3S-MUSCL (a three-dimensional compressible Navier-Stokes solver, see Chargyy3]). It implements a mixed nite element//nite volum...

Exploratory Learning Environments (ELE) are designed to help users acquire knowledge by freely experiencing a target domain. In this setting, it is often hard to identify interaction behaviours that are conducive to learning, vs. behaviours that indicate student confusion, making it hard to provide adaptive support to students who do not learn well with ELEs. In this talk, I will present our wo...

In the last decades fractional di erential equations have become popular among scientists in order to model various stable physical phenom ena with anomalous decay say that are not of exponential type Moreover in discrete time series analysis so called fractional ARMA models have been proposed in the literature in order to model stochastic processes the auto correlation of which also exhibits a...

This paper deals with the description in E-Lotos of the asynchronous Link layer protocol of the Ieee-1394 Standard and its veriication using model-checking. The E-Lotos descriptions are based on both the standard and the Crl description written by Luttik. The veriications are performed using the Cadp (CCsar/Ald ebaran) toolbox. We translate the E-Lotos descriptions in Lotos using the Traian too...

One of the most widely used technique to obtain transient measures is the uni-formization method. However, although uniformization have many advantages, the computational cost required to calculate transient probabilities are very large for stii models. We study eecient solutions that can be applied to an approximate method developed for calculating transient state probabilities of Markov model...

Based on the results of Blum, Shub and Smale 1], Meer 5], Cucker and Matamala 3] and Koiran 7], we develop the study of real computation models restricted to additive operations. More speciically we introduce some complexity classes deened by algebraic circuits and we study their relationships with the real computation model. We show that the languages accepted by nonuniform additive circuits o...