Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal modelling of MAS. We review our research throughout the last decade, by describing the problems we have encountered and the decisions we have made towards resolving them and providing solutions. Much of this work involved membrane computing and classes of P Systems, such as Tissue and Population P Systems, targeted to the modelling of MAS whose dynamic structure is a prominent characteristic. More particularly, social insects (such as colonies of ants, bees, etc.), biology inspired swarms and systems with emergent behaviour are indicative examples for which we developed formal MAS models. Here, we aim to review our work and disseminate our findings to fellow researchers who might face similar challenges and, furthermore, to discuss important issues for advancing research on the application of membrane computing in MAS modelling.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314

Carob Pods (Ceratonia siliqua L.) as a Source of Polyphenolic Antioxidants

The possibility of utilising chopped and deseeded carob pods (kibbles) as a source of polyphenolic antioxidants was examined by performing extractions with various solvent systems, in order to evaluate and optimize the conditions for the recovery of polyphenols. Maximum quantities of polyphenolic components were found in 80 % acetone extracts, as evaluated by measuring total polyphenol and total flavanol content. By contrast, ethyl acetate was inefficient in extracting polyphenols. The assessment of the antioxidant potency of carob pod extracts employing two characteristic in vitro models showed that carobs contain polyphenols with appreciable antiradical and reducing properties. The values obtained were compared to the data on red wines and pure polyphenolic antioxidants

Kinetic modelling for polyphenol extraction from onion (Allium cepa) solid wastes using acidified water/ethanol mixture

Previous reports highlighted the onion solid wastes as abundant, residual material that might contain a significant load of antioxidant polyphenols. Although there have been studies pertaining to polyphenol recovery from onion wastes, the effect of temperature has not been adequately addressed. In this line, this study was undertaken with the aim of establishing a correlation between the extraction yield in total polyphenols and the extraction temperature, using acidified aqueous ethanol as the solvent system. Extraction of polyphenols from onion solid wastes was found to obey 2nd-order kinetics. On such a basis, the yield in total polyphenols at saturation could be very effectively determined and correlated with temperature using non-linear regression. The results indicated that the extraction yield at saturation is highly correlated with temperature, following a quadratic function. The extract obtained at optimal temperature (40 °C) had a total polyphenol yield of 21.10 mg gallic acid equivalents per gram of dry weight, and it was further analysed by liquid chromatography-mass spectroscopy to characterise its major constituents. The polyphenols detected were quercetin glucosides, as well as quercetin oxidation derivatives, including certain degradation products and dimers. The outcome of this study outlined that temperatures above 40 °C are rather not favourable for polyphenol extraction from onion solid wastes, as suggested by the model established through kinetics. The extract obtained under optimal conditions contained peculiar polyphenolic composition, not encountered in any other food processing residue

Testing timed systems modeled by stream X-machines

Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification

What we talk about when we talk about "global mindset": managerial cognition in multinational corporations

Recent developments in the global economy and in multinational corporations have placed significant emphasis on the cognitive orientations of managers, giving rise to a number of concepts such as “global mindset” that are presumed to be associated with the effective management of multinational corporations (MNCs). This paper reviews the literature on global mindset and clarifies some of the conceptual confusion surrounding the construct. We identify common themes across writers, suggesting that the majority of studies fall into one of three research perspectives: cultural, strategic, and multidimensional. We also identify two constructs from the social sciences that underlie the perspectives found in the literature: cosmopolitanism and cognitive complexity and use these two constructs to develop an integrative theoretical framework of global mindset. We then provide a critical assessment of the field of global mindset and suggest directions for future theoretical and empirical research

Regioisomeric and substituent effects upon the outcome of the reaction of 1-borodienes with nitrosoarene compounds

A study of the reactivity of 1-borodienes with nitrosoarene compounds has been carried out showing an outcome that differs according to the hybridization state of the boron moiety. Using an sp2 boron substituent, a one-pot hetero-Diels–Alder/ring contraction cascade occurred to afford N-arylpyrroles with low to good yields depending on the electronic properties of the substituents on the borodiene, whereas an sp3 boron substituent led to the formation of stable boro-oxazines with high regioselectivity in most of the cases, in moderate to good yields. 1H and 11B NMR studies on two boro-oxazine regioisomers showed that selective deprotection can be performed. Formation of either the pyrrole or the furan derivative is pH- and regioisomer-structure-dependent. The results obtained, together with previous B3LYP calculations, support mechanistic proposals which suggest that pyrrole, or furan, formation proceeds via oxazine formation, followed by a boryl rearrangement and an intramolecular addition–elimination sequence