A methodology for formally modeling and analyzing software architecture of mobile agent systems

A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^

A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

Learning Data-Driven Models of Non-Verbal Behaviors for Building Rapport Using an Intelligent Virtual Agent

There is a growing societal need to address the increasing prevalence of behavioral health issues, such as obesity, alcohol or drug use, and general lack of treatment adherence for a variety of health problems. The statistics, worldwide and in the USA, are daunting. Excessive alcohol use is the third leading preventable cause of death in the United States (with 79,000 deaths annually), and is responsible for a wide range of health and social problems. On the positive side though, these behavioral health issues (and associated possible diseases) can often be prevented with relatively simple lifestyle changes, such as losing weight with a diet and/or physical exercise, or learning how to reduce alcohol consumption. Medicine has therefore started to move toward finding ways of preventively promoting wellness, rather than solely treating already established illness. Evidence-based patient-centered Brief Motivational Interviewing (BMI) interven- tions have been found particularly effective in helping people find intrinsic motivation to change problem behaviors after short counseling sessions, and to maintain healthy lifestyles over the long-term. Lack of locally available personnel well-trained in BMI, however, often limits access to successful interventions for people in need. To fill this accessibility gap, Computer-Based Interventions (CBIs) have started to emerge. Success of the CBIs, however, critically relies on insuring engagement and retention of CBI users so that they remain motivated to use these systems and come back to use them over the long term as necessary. Because of their text-only interfaces, current CBIs can therefore only express limited empathy and rapport, which are the most important factors of health interventions. Fortunately, in the last decade, computer science research has progressed in the design of simulated human characters with anthropomorphic communicative abilities. Virtual characters interact using humans’ innate communication modalities, such as facial expressions, body language, speech, and natural language understanding. By advancing research in Artificial Intelligence (AI), we can improve the ability of artificial agents to help us solve CBI problems. To facilitate successful communication and social interaction between artificial agents and human partners, it is essential that aspects of human social behavior, especially empathy and rapport, be considered when designing human-computer interfaces. Hence, the goal of the present dissertation is to provide a computational model of rapport to enhance an artificial agent’s social behavior, and to provide an experimental tool for the psychological theories shaping the model. Parts of this thesis were already published in [LYL+12, AYL12, AL13, ALYR13, LAYR13, YALR13, ALY14].

Hydroxylamine-O-sulfonic acid as a new reducing agent for the formation of nearly monodisperse gold nanoparticles in water: synthesis, characterisation and bioconjugation

Gold nanoparticles (Au NPs) with diameters ranging between 15 and 150 nm have been synthesised in water. 15 and 30 nm Au NPs were obtained by the Turkevich and Frens method using sodium citrate as both a reducing and stabilising agent at high temperature (Au NPs-citrate), while 60, 90 and 150 nm Au NPs were formed using hydroxylamine-o-sulfonic acid (HOS) as a reducing agent for HAuCl4 at room temperature. This new method using HOS is an extension of the approaches previously reported for producing Au NPs with mean diameters above 40 nm by direct reduction. Functionalised polyethylene glycol-based thiol polymers were used to stabilise the pre-synthesised Au NPs. The nanoparticles obtained were characterised using uv-visible spectroscopy, dynamic light scattering (DLS) and transmission electron microscopy (TEM). Further bioconjugation on 15, 30 and 90 nm PEGylated Au NPs were performed by grafting Bovine Serum Albumin, Transferrin and Apolipoprotein E (ApoE).

Reversibly Photo-Crosslinkable Polycarbonate-Based Polymersomes for Drug Encapsulation and Delivery

This thesis describes the preparation of polymersomes from poly(ethylene glycol)-block-polycarbonate (PEG-PC) copolymers functionalized with pendant coumarin groups. Coumarin groups undergo photo-reversible dimerization when irradiated with specific ultraviolet wavelengths, so they can be used to prepare polymers with photo-responsive properties. In this case, the pendant coumarin groups enable stabilization of the polymersome membrane through photo-crosslinking of the hydrophobic block. Initially, several novel cinnamoyl and coumarin functionalized cyclic carbonate monomers were synthesized using ester, ether, or amide linkages. While the homopolymerization of these functionalized monomers proved challenging due to their high melting points, both cinnamoyl and coumarin functionalized monomers were successfully copolymerized with trimethylene carbonate (TMC) at 100 ℃ using a catalyst-free melt polymerization process where the TMC doubled as a solvent for the higher melting point monomer. Using this system, polycarbonate copolymers with up to 33% incorporation of the functionalized monomers were prepared. In addition, an investigation of some anomalous polymerization results identified previously unreported triethylamine-based catalysts for the melt polymerization of carbonate monomers. These studies also demonstrated that the catalyst-free polymerization of TMC occurs faster and at lower temperatures than previously reported. Subsequently, the photo-crosslinking of cinnamoyl and coumarin functionalized polycarbonates was compared and coumarin was identified as the more effective crosslinking agent when using 300-400 nm UV. An investigation of the photo-reversibility of the coumarin dimerization revealed no discernible change in the properties of crosslinked networks, but rapid photo-reversion in dilute solutions. The photo-crosslinking and photo-reversion kinetics of the coumarin functionalized polycarbonates were determined to be second-order in both cases. Finally, the self-assembly of PEG-PC diblock copolymers functionalized with coumarin was examined and both reverse solvent evaporation and solvent displacement were found to induce self-assembly, with hydrophilic mass fractions (f-factors) of 12-28% resulting in the formation of solid microparticles and nanoparticles and f-factors of 33-43% resulting in the formation of polymersomes. The stabilization of these polymersome membranes through photo-initiator-free photo-crosslinking was demonstrated with the crosslinking allowing polymersomes to withstand centrifugation at 12,000 x g. In addition, the encapsulation of calcein, as a model small molecule drug, in the stabilized polymersomes was successfully demonstrated using confocal microscopy.

The Antibiotic Resistance and Prescribing in European Children Project: A Neonatal and Pediatric Antimicrobial Web-based Point Prevalence Survey in 73 Hospitals Worldwide

BACKGROUND: The neonatal and pediatric antimicrobial point prevalence survey (PPS) of the Antibiotic Resistance and Prescribing in European Children project (http://www.arpecproject.eu/) aims to standardize a method for surveillance of antimicrobial use in children and neonates admitted to the hospital within Europe. This article describes the audit criteria used and reports overall country-specific proportions of antimicrobial use. An analytical review presents methodologies on antimicrobial use.

METHODS: A 1-day PPS on antimicrobial use in hospitalized children was organized in September 2011, using a previously validated and standardized method. The survey included all inpatient pediatric and neonatal beds and identified all children receiving an antimicrobial treatment on the day of survey. Mandatory data were age, gender, (birth) weight, underlying diagnosis, antimicrobial agent, dose and indication for treatment. Data were entered through a web-based system for data-entry and reporting, based on the WebPPS program developed for the European Surveillance of Antimicrobial Consumption project.

RESULTS: There were 2760 and 1565 pediatric versus 1154 and 589 neonatal inpatients reported among 50 European (n = 14 countries) and 23 non-European hospitals (n = 9 countries), respectively. Overall, antibiotic pediatric and neonatal use was significantly higher in non-European (43.8%; 95% confidence interval [CI]: 41.3-46.3% and 39.4%; 95% CI: 35.5-43.4%) compared with that in European hospitals (35.4; 95% CI: 33.6-37.2% and 21.8%; 95% CI: 19.4-24.2%). Proportions of antibiotic use were highest in hematology/oncology wards (61.3%; 95% CI: 56.2-66.4%) and pediatric intensive care units (55.8%; 95% CI: 50.3-61.3%).

CONCLUSIONS: An Antibiotic Resistance and Prescribing in European Children standardized web-based method for a 1-day PPS was successfully developed and conducted in 73 hospitals worldwide. It offers a simple, feasible and sustainable way of data collection that can be used globally.

A Collaborative Multiagent Framework based on Online Risk-Aware Planning and Decision-Making

Planning is an essential process in teams of multiple agents pursuing a common goal. When the effects of actions undertaken by agents are uncertain, evaluating the potential risk of such actions alongside their utility might lead to more rational decisions upon planning. This challenge has been recently tackled for single agent settings, yet domains with multiple agents that present diverse viewpoints towards risk still necessitate comprehensive decision making mechanisms that balance the utility and risk of actions. In this work, we propose a novel collaborative multi-agent planning framework that integrates (i) a team-level online planner under uncertainty that extends the classical UCT approximate algorithm, and (ii) a preference modeling and multicriteria group decision making approach that allows agents to find accepted and rational solutions for planning problems, predicated on the attitude each agent adopts towards risk. When utilised in risk-pervaded scenarios, the proposed framework can reduce the cost of reaching the common goal sought and increase effectiveness, before making collective decisions by appropriately balancing risk and utility of actions. 

The effectiveness of community-based interventions to improve maternal and infant health in the Northeast of Brazil

EMOND, Alan et al. The effectiveness of community-based interventions to improve maternal and infant health in the Northeast of Brazil. Revista Panamericana de Salud Pública/ Pan American Journal of Public Health , v.12, n.2, p.101-110, 2002

Composites and foams based on polylactic acid (PLA)

Cette étude est destinée à la production et à la caractérisation des composites d’acide polylactique (PLA) et des fibres naturelles (lin, poudre de bois). Le moussage du PLA et ses composites ont également été étudiés afin d’évaluer les effets des conditions de moulage par injection et du renfort sur les propriétés finales de ces matériaux. Dans la première partie, les composites constitués de PLA et des fibres de lin ont été produits par extrusion suivit par un moulage en injection. L’effet de la variation du taux de charge (15, 25 et 40% en poids) sur les caractéristiques morphologique, mécanique, thermique et rhéologique des composites a été évalué. Dans la deuxième étape, la poudre de bois (WF) a été choisie pour renforcer le PLA. La préparation des composites de PLA et WF a été effectuée comme dans la première partie et une série complète de caractérisations morphologique, mécanique, thermique et l’analyse mécanique dynamique ont été effectués afin d’obtenir une évaluation complète de l’effet du taux de charge (15, 25 et 40% en poids) sur les propriétés du PLA. Finalement, la troisième partie de cette étude porte sur les composites de PLA et de renfort naturel afin de produire des composites moussés. Ces mousses ont été réalisées à l’aide d’un agent moussant exothermique (azodicarbonamide) via le moulage par injection, suite à un mélange du PLA et de fibres naturelles. Dans ce cas, la charge d’injection (quantité de matière injectée dans le moule: 31, 33, 36, 38 et 43% de la capacité de la presse à injection) et la concentration en poudre de bois (15, 25 et 40% en poids) ont été variées. La caractérisation des propriétés mécanique et thermique a été effectuée et les résultats ont démontré que les renforts naturels étudiés (lin et poudre de bois) permettaient d’améliorer les propriétés mécaniques des composites, notamment le module de flexion et la résistance au choc du polymère (PLA). En outre, la formation de la mousse était également efficace pour le PLA vierge et ses composites car les masses volumiques ont été significativement réduites.

Systems of exchange values as tools for multi-agent organizations

This paper introduces systems of exchange values as tools for the organization of multi-agent systems. Systems of exchange values are defined on the basis of the theory of social exchanges, developed by Piaget and Homans. A model of social organization is proposed, where social relations are construed as social exchanges and exchange values are put into use in the support of the continuity of the performance of social exchanges. The dynamics of social organizations is formulated in terms of the regulation of exchanges of values, so that social equilibrium is connected to the continuity of the interactions. The concept of supervisor of social equilibrium is introduced as a centralized mechanism for solving the problem of the equilibrium of the organization The equilibrium supervisor solves such problem making use of a qualitative Markov Decision Process that uses numerical intervals for the representation of exchange values.

The effectiveness of community-based interventions to improve maternal and infant health in the Northeast of Brazil

EMOND, Alan et al. The effectiveness of community-based interventions to improve maternal and infant health in the Northeast of Brazil. Revista Panamericana de Salud Pública/ Pan American Journal of Public Health , v.12, n.2, p.101-110, 2002

Fluorine-18-labeled estrogens, progestins and corticosteroids for receptor-based imaging of breast tumors and target areas of the brain

Estrogens can be labeled with the positron-emitting radionuclide fluorine-18 (t$\sb{1/2}$ = 110 min) by fluoride ion (n-Bu$\sb4$N$\sp{18}$F) displacement of a 16$\beta$-trifluoromethanesulfonate (triflate) derivative of the corresponding estrone 3-triflate, and purification by HPLC. That sequence has been used to synthesize the 11$\beta$-methoxy 1 and 11$\beta$-ethyl 2 analogues of the breast tumor imaging agent, 16$\alpha$-($\sp{18}$F) fluoro-17$\beta$-estradiol (FES). Tissue distribution studies of 1 and 2 in immature female rats show high selectivity for target tissue (T, uterus) vs non-target (NT, muscle and lung), with T/NT ratios being 43 and 17 at one hour after injection for 1 and 2, respectively. The parent estrogen FES has previously been shown to display an intermediate value for tissue selectivity.

Using a voxel-based krogh cylinder array to simulate microvascular contrast enhancement

The goal of this study is to better simulate microscopic and voxel-based dynamic contrast enhancement in magnetic resonance imaging. Specifically, errors imposed by the traditional two-compartment model are reduced by introducing a novel Krogh cylinder network. The two-compartment model was developed for macroscopic pharmacokinetic analysis of dynamic contrast enhancement and generalizing it to voxel dimensions, due to the significant decrease in scale, imposes physiologically unrealistic assumptions. In the project, a system of microscopic exchange between plasma and extravascular-extracellular space is built while numerically simulating the local contrast agent flow between and inside image elements. To do this, tissue parameter maps were created, contrast agent was introduced to the tissue via a flow lattice, and various data sets were simulated. The effects of sources, tissue heterogeneity, and the contribution of individual tissue parameters to an image are modeled. Further, the study attempts to demonstrate the effects of a priori flow maps on image contrast, indicating that flow data is as important as permeability data when analyzing tumor contrast enhancement. In addition, the simulations indicate that it may be possible to obtain tumor-type diagnostic information by acquiring both flow and permeability data.

Leader Based Cyclic Pursuit

In this work a system of autonomous agents engaged in cyclic pursuit (under constant bearing (CB) strategy) is considered, for which one informed agent (the leader) also senses and responds to a stationary beacon. Building on the framework proposed in a previous work on beacon-referenced cyclic pursuit, necessary and suffi- cient conditions for the existence of circling equilibria in a system with one informed agent are derived, with discussion of stability and performance. In a physical testbed, the leader (robot) is equipped with a sound sensing apparatus composed of a real time embedded system, estimating direction of arrival of sound by an Interaural Level and Phase Difference Algorithm, using empirically determined phase and level signatures, and breaking front-back ambiguity with appropriate sensor placement. Furthermore a simple framework for implementing and evaluating the performance of control laws with the Robot Operating System (ROS) is proposed, demonstrated, and discussed.

Phenolic profile and antimicrobial activity of dietary supplements based on Cochlospermum angolensis Welw.

Cochlospermum angolensis Welw. (borututu) is a widespread tree in Angola that belongs to the Cochlospermaceae family. Its bark infusion is used in the traditional medicine of Angola for the treatment of jaundice, hepatic diseases and for the prophylaxis of malaria [1]. In the present work, three formulations based on this plant (infusion, pills, and syrup) were characterized by HPLC-DAD-ESI/MS regarding phenolic composition, and evaluated by their in vitro antimicrobial activity against isolates of multiresistant bacteria (Escherichia coli, Escherichia coli spectrum extended producer of β-lactamases (ESBL), Proteus mirabilis, methicillin-resistant Staphylococcus aureus (MRSA) and Pseudomonas aeruginosa). The infusion and pills revealed the highest variety of phenolic compounds, with eleven compounds identified. Protocatechuic acid was only present in infusions, being the most abundant compound, while (epi)gallocatechin-O-gallate and eucaglobulin/globulusin were the main molecules identified in pills and syrup, respectively. Methyl ellagic acids, eucaglobulin/globulusin B (Fig. 1) and (epi)gallocatechin-O-gallate were found in all the formulations. The infusion revealed antimicrobial activity against all the studied bacteria with the exception of P. mirabilis whereas the pills revealed activity in E. coli ESBL and MRSA. No significant antimicrobial activity was detected in the syrup, in agreement with its low concentrations of phenolic compounds. None of the tested formulations inhibited P. mirabilis. Considering the obtained results, C. angolensis infusion can be considered a good source of phenolic compounds as well as a good antimicrobial agent.