In this paper we propose a formal modelisation for selforganizing Multi-Agent Systems (MAS) based on stepwise refinement steps, with the Event-B language. This modelisation allows to develop this kind of system in a more structured manner. In addition, it enables to reason, in a rigourous way, about the correctness of the derived models both at the individual level and the global level. Our wor...

Resume La modelisation computationnelle permet de construire des modeles mathematiques simulant les mecanismes perception, prise decision et mise a jour croyances. Ces representent mathematiquement ces processus complexes traitement l’information en combinant une distribution probabilite anterieure, fonction vraisemblance un ensemble parametres d’hyperparametres. Leur utilisation popularise la ...

This submission is aimed to benchmark of Vadis methodology in the context of spam detection. The work that has been done to provide these results can be separated in two different tasks: data preparation and modelisation .

In this paper, we extend to our knowledge, for the first case, some reliability results obtained using homogeneous semi-Markov processes to the case of non-homogenous semi-Markov modelisation. Moreover, we apply some of our preceding results to give the numerical solutions and so the possibility to treat real life problems for which non-homogeneity in time is important.

4th International Workshop on Functional-Structural Plant Models, 7-11 june 2004 –Montpellier, France Edited by C. Godin et al., pp. 330-334 Within-tree diurnal evolution of net photosynthesis and transpiration of fruiting branches in two apple cultivars : influence of branch structure, geometry and orientation a structure-function modelisation approach Catherine Massonnet, Jean-Luc Regnard, Bo...

The nanocrystalline hydroxyfluorapatite (HFA) was synthesized by mechanosynthesis with a planetary ball mill (PM200). disc to jar speed ratio constant (equal 0.5). effect of different milling parameters such as grinding duration, balls number’s, initial powder mass and rotation were studied apprehend their effects on both the process grinding/mechanosynthesis synthesis HFA. Unlike previous stud...