-
Identifiablility of parameters in an epidemiologic model modeling the transmi...
In the last years, several epidemics have been reported in particular the chikungunya epidemic on the R eunion Island. For predicting its possible evolution, new... -
Pintatu (Etxepare 1545): 'edan'?
The first known book published in Basque language (Etchepare 1545) may yet harbour a few surprises. As a matter of fact the verb pintatu in the following excerpt: Nyri... -
Theory of the Modern
International audience -
An overview of CADP 2001
CADP is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It offers a wide range of... -
Material flows and local economic structure: port-region linkages in Europe, ...
The main goal of this paper is to identify mutual influences between the specialization of traffics passing through seaports and the socio-economic characteristics of... -
Toll Like Receptor 2 and 4 stimulation elicits an enhanced inflammatory respo...
International audience -
Leveraging Resistance to Change and the Skunk Works Model of Innovation
International audience -
MEDIT : An interactive Mesh visualization Software
This technical report describes the main features of MEDIT (This software wa registered with the APP under n° IDDN.FR.001.410023.00.R.P. 2001.000.10800 on january 25,... -
Fault detection and isolation of PEM fuel cell system based on nonlinear anal...
International audience -
Early development, recruitment and life history trajectory in long-lived birds
International audience -
Hahn-Banach theorems for convex functions
International audience -
Réduction du cas multivoque au cas univoque dans les problèmes de coïncidence
International audience -
Constraint solving on modular integers
International audience -
Fault Localization in Constraint Programs
International audience -
On Testing Constraint Programs
International audience -
Représentation des spécifications CIM dans un serveur d'annuaire LDAP
Ce rapport présente une étude sur le stockage des modèles de l'information CIM (Common Information Model) dans un serveur d'annuaire LDAP. Il propose un schéma... -
Contributions to Constraint-Based Testing
These last years have seen the development of several constraint solving techniques dedicated to the testing of software systems, in an area called ''Constraint-Based... -
Medit : outil interactif de visualisation de maillages. (version 2.0, nov. 2000)
Ce rapport technique décrit les principales fonctionnalités du logiciel Medit. Ce programme a été développé à l'INRIA pour permettre la visualisation interactive de... -
Manuel d'utilisation de COSI 0.1
COSI (Caiman Object Solver Interface) est à la fois un environnement de programmation C++/fortran et une interface graphique d'utilisation, conçu pour fournir aux...
