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...

Today, the multi-agent systems are the most common systems that have intelligent behavior and able to adapt features based on the environmental changes. On the other side, cloud applications enable the stakeholders to customize their resources and software they need based on the requested domain. These applications face many challenges such as how to handle the changes of the stakeholder requir...

1 This work was supported by MEXT/JSPS Grant-in-Aid for Scientific Research(C) Grant Number (22500071). Abstract Sensor networks consisting of nodes with limited battery power and wireless communications are deployed to collect useful information from the field. Gathering sensed information in an energy efficient manner is critical to operate the sensor network for a long period of time. LEACH ...

The definition of the structure and kinematics of the South-Pyrenean Frontal thrust, to the west of its westernmost outcrop in the External Sierras is the goal of this work. The methodology used is based on the construction and restoration of three balanced cross-sections. In addition to that, paleomagnetic analyses are applied to unravel possible vertical axis rotations linked to thrust kinema...

In this paper we apply multi-armed bandits (MABs) to improve the computational complexity of AdaBoost. AdaBoost constructs a strong classifier in a stepwise fashion by selecting simple base classifiers and using their weighted “vote” to determine the final classification. We model this stepwise base classifier selection as a sequential decision problem, and optimize it with MABs where each arm ...

Quasi-static uniform compression tests and low-velocity concentrated impact tests were conducted to reveal the failure mechanisms and energy absorption capacity of two-layer carbon fiber composite sandwich panels with pyramidal truss cores. Three different volume-fraction cores (i.e., with different relative densities) were fabricated: 1.25%, 1.81%, and 2.27%. Two-layer sandwich panels with ide...

ListMLE is a state-of-the-art listwise learning-torank algorithm, which has been shown to work very well in application. It defines the probability distribution based on Plackett-Luce Model in a top-down style to take into account the position information. However, both empirical contradiction and theoretical results indicate that ListMLE cannot well capture the position importance, which is a ...

multi-echelon inventory systems are one of the most important and attractive areas in modelling supply chain management so that several researches and studies have been done about. in this paper, the total cost function of a two-echelon inventory system with central warehouse and many identical retailers controlled by continuous review inventory policy is estimated. we have assumed the demand i...

This cross-sectional study was performed in 2014 upon a sample consisting of 464 female students in Allame Tabatabaie University were selected based on a Morgan formula and multi-stage cluster random sampling. Then, participants responded to the questionnaires of body image disturbance of Reas and et al. (2002), perfectionism scale of Besharat (2004) and eating attitudes test of Garner and Garf...