This paper proposes a formalization of JADE agents and multi-agent systems based on transition systems. The first section introduces the aims and scope of the research and it focuses the content of the paper. The second section enumerates the abstractions and the structures used in the formalization. Successively, third section presents the formal semantics of the parts of a JADE-based source c...

In this paper we describe the current state of the development of JADE add-on for Android, a platform module that enables the deployment of JADE agents on Android devices. First, we motivate the research and we describe the rationale of the project. Then, we detail the coarse-grained architecture of the platform module and we discuss the underlying design decisions. The API of the module is als...

This paper investigates a Modified Uniform Triangular Array (MUTA) to support online space-time MIMO-CDMA location based services with full azimuthal coverage via JADE-MUSIC algorithm. A new space-time lifting preprocessing (STLP) scheme is introduced as a decorrelating process of coherent signals through the dense/NLOS multipath MIMO channel before applying the JADE-MUSIC estimator. UniformH-A...

A key component of effective multi-agent systems (MAS) software development is a set of models, technologies and tools that efficiently support flexible and precise specification and implementation of agent-to-agent conversations, standardized conversation protocols, and corresponding agent behaviors. This motivated a substantial extension to the JADE agent behavior model, which we call "HP Sma...

Calypso (thiacloprid), Poncho (clothianidin), Gaucho (imidacloprid), and Jade (imidacloprid) are commercial neonicotinoid insecticides, a new class of agrochemicals in México. However, genotoxic and cytotoxic studies have not been performed. In the present study, human peripheral blood lymphocytes (PBL) were exposed in vitro to different concentrations of the four insecticides. The genotoxic an...

Multi-agent systems (MAS) present an effective approach to the efficient development of modular systems composed of interacting agents. Several frameworks exist that aid the development of MAS, but they are often not very appropriate for some kind of uses, such as for Multi-Agent-based Simulation (MABS). Other frameworks exist for running simulations, sharing little with the former. While open ...

Blind source separation (BSS) is widely used to analyse brain recordings like the magnetoencephalogram (MEG). However, few studies have compared different BSS decompositions of real brain data. Those comparisons were usually limited to specific applications. Therefore, we aimed at studying the consistency (i.e., similarity) of the decompositions estimated for real MEGs from 26 subjects using fi...