Multi-agent systems (MAS) are increasingly used in critical applications. To ensure dependability of MAS, we need powerful development techniques that would allow us to master complexity inherent to MAS and formally verify correctness and safety of collaborative agent activities. In this paper we present a rigorous approach to development and verification of critical MAS in Event-B. We demonstr...

Current business trends, policy markets, production requirements, etc., have created the need for integrating Multi Agent Systems (MAS). In the agent-specialized literature, we have found very little work about MAS methodologies that allow us to build MAS which is made up of two or more MASs. We think that several difficult challenges for automated systems can be tackled by giving full meaning ...

Current business trends, policy markets, production requirements, etc., have created the need for integrating Multi Agent Systems (MAS). In the agent-specialized literature, we have found very little work about MAS methodologies that allow us to build MAS which is made up of two or more MASs. We think that several difficult challenges for automated systems can be tackled by giving full meaning ...

Multi-Agent systems (MAS) consist of multiple intelligent agents that interact to solve problems that may be beyond the capabilities of a single agent or system. For many years, conceptual MAS designs and architectures have been proposed for applications in power systems and power engineering. With the increasing use and modeling of distributed energy resources for microgrid applications, MAS a...

OBJECTIVE To evaluate the relationship between CT dose and the performance of a computer-aided diagnosis (CAD) system, and to determine how best to minimize patient exposure to ionizing radiation while maintaining sufficient image quality for automated lung nodule detection, by the use of lung cancer screening CT. MATERIALS AND METHODS Twenty-five asymptomatic volunteers participated in the s...

Background: COVID-19 runs a severe disease associated with acute respiratory distress syndrome in subset of patients, and hyperinflammatory response developing the second week contributes to worse outcome. Inflammatory features are mostly compatible macrophage activation (MAS) observed other viral infections despite resulting milder changes. Early detection treatment MAS may be better However, ...

Multi-Agent System’s (MAS) are characterized by autonomous and collaborative behaviors. Developing such systems is a complex process. As a result, a methodology for developing MAS is highly necessary. In this paper, a methodology using roles and ontology for such a purpose is presented. The functionality of roles is estimated in the various phases of the MAS development. It is based on an empha...

McCune-Albright syndrome (MAS) is a rare, heterogenous, clinical condition caused by a rare genetic mutation. The disorder is more common in females and is characterized by a triad of cutaneous, bone and endocrine abnormalities.  We describe a girl patient with MAS having precocious puberty and multiple cafe-au-lait macules and deforming polyostotic fibrous dysplasia of bone. Clinical presentat...

Testing is a key software lifecycle activity to assure software quality. Although it is of recognized importance, the work on agent testing has been scarce and has been usually tied to a MAS design methodology. This article presents a methodology agnostic testing procedure along with the description of a testing toolkit for MAS, with a practical application to a real, in production MAS. We also...

Based on common functionality existing among different multi-agent systems (MAS) such as reactivity, deliberation and communication, several tools have been built to develop MAS. Despite these efforts, most of them are targeted to specific application domains or specific types of agents, limiting thus their applicability. This paper describes an approach to develop MAS that aims at providing fl...