This report introduces a formal description of the operational semantics of multiagent organizations expressed in the AALAADIN generic model. This formalization is based on the -calculus and the Chemical Abstract Machine (CHAM). By mapping an agent to a set of -calculus processes and groups to CHAM solutions, we show that it is possible to associate a precise semantics for the definition and dy...

Crude methanolic extracts and fractions from the aerial parts of seven species of Hypericum (H. caprifoliatum Cham. and Schltdl., H. carinatum Griseb., H. connatum Lam., H. ternum A. St.-Hil., H. myrianthum Cham. and Schltdl., H. piriai Arechav. and H. polyanthemum Klotzsch ex Reichardt) growing in southern Brazil were analyzed for their in vitro antifungal activity against a panel of standardi...

Three new cecidogenous species of Palaeomystella Fletcher (Lepidoptera, Momphidae) from the Brazilian Atlantic Rain Forest are described. Larvae of P. fernandesi Moreira & Becker, sp. n., P. rosaemariae Moreira & Becker, sp. n. and P. tavaresi Becker & Moreira, sp. n. induce galls, respectively, on Tibouchina sellowiana (Cham.) Cogn., T. asperior (Cham.) Cogn. and T. fissinervia (Schrank & Mart...

BACKGROUND Recent analyses show that donor funding for child health is increasing, but little information is available on actual costs to deliver child health care services. Understanding how unit costs scale with service volume in Malawi can help planners allocate budgets as health services expand. METHODS Data on facility level inputs and outputs were collected at 24 health centres in four ...

In previous papers we have addressed the problem of deriving from an architectural description pieces of information useful to drive testing [2, 3]. Our approach is based on the use of the CHAM formalism for architectural descriptions, in the way proposed by [5]. In this paper we provide a new method for the analysis and testing of a software architecture. It consists of modeling a software arc...

BACKGROUND Availability and affordability of medicines are key determinants of universal health coverage, yet achieving them presents a major challenge especially in low-income countries. We here present an analysis of availability and prices of antimalarial and antibiotic medicines in public, faith-based and private health facilities in Malawi. Medicines are provided free of charge in the publ...

PHOENICS-2010 has been applied to the simulation of heat transfer within a solar panel design on behalf of the LE2M Laboratory of ICAM, Nantes, France. The panel is assumed to be horizontal and consists of three layers; glass, collector and backboard, with air spaces between. The aim of the panel is to warm air through solar irradiation. The glass and collector gather heat by the "greenhouse ef...