Exploration of the parameter space in an agent-based model of tuberculosis spread: emergence of drug resistance in developing vs developed countries

In this work we present an agent-based model for the spread of tuberculosis where the individuals can be infected with either drug-susceptible or drug-resistant strains and can also receive a treatment. The dynamics of the model and the role of each one of the parameters are explained. The whole set of parameters is explored to check their importance in the numerical simulation results. The model captures the beneficial impact of the adequate treatment on the prevalence of tuberculosis. Nevertheless, depending on the treatment parameters range, it also captures the emergence of drug resistance. Drug resistance emergence is particularly likely to occur for parameter values corresponding to less efficacious treatment, as usually found in developing countries.

How promising is Lasioseius floridensis as a control agent of Polyphagotarsonemus latus?

The blattisociid mite Lasioseius floridensis Berlese was found associated with the broad mite, Polyphagotarsonemus latus (Banks), on gerbera leaves in Mogi das Cruzes, State of Sao Paulo, Brazil. Blattisociid mites are not common on aerial plant parts, except under high air humidity levels. Some Lasioseius species have been mentioned as effective control agents of rice pest mites, but nothing is known about the biology of L. floridensis. The objective of this study was to evaluate whether the observed co-occurrence of L. floridensis and P. latus was just occasional or whether the latter could be important as food source for the former, assumed by laboratory evaluation of the ability of the predator to maintain itself, reproduce and develop on that prey. Biological parameters of L. floridensis were compared when exposed to P. latus and to other items as food. The study showed that mating is a pre-requisite for L. floridensis to oviposit and that oviposition rate was much higher on the soil nematode Rhabditella axei (Cobbold) (Rhabditidae) than on P. latus. Ovipositon on the acarid mite Tyrophagus putrescentiae (Schrank) was about the same as on P. latus, but it was nearly zero when the predator was fed the fungi Aspergillus flavus Link or Penicillium sp., or cattail (Typha sp.) pollen. Survivorship was higher in the presence of pollen and lower in the presence of A. flavus or Penicillium sp. than in the absence of those types of food. Life table parameters indicated that the predator performed much better on R. axei than on P. latus. To evaluate the potential effect of L. floridensis as predator of P. latus, complementary studies are warranted to determine the frequency of migration of L. floridensis to aerial plant parts, when predation on P. latus could occur.

Neospora caninum as causative agent of bovine encephalitis in Brazil

For supporting the Brazilian bovine encephalitis surveillance program this study examined the differential diagnosis of Neospora caninum in central nervous system (CNS) by histological analysis (HE staining), immunohistochemistry (IHC), and nested-PCR using a set of primers from the Nc5 region of the genomic DNA and ITS1 region of the ribosomal DNA. A sample of 302 cattle presenting neurological syndrome and negative for rabies, aged 0 to 18 years, from herds in 10 Brazilian states was evaluated for N caninum from January 2007 to April 2010. All specimens tested negative with IHC and nested-PCR using primers from the ITS I region of ribosomal DNA, while two positive cases (0.66%) were found using primers from the Nc5 region of genomic DNA: a 20 month-old male and a 72 month-old female, both from Sao Paulo State. Only the male presented severe multifocal necrotizing encephalitis associated with mononuclear cell infiltration, a pathognomonic lesion caused by parasites of the family Sarcocystidae, and only this case was associated with N caninum thus representing 0.33% positivity. Future studies should explore the association of IHC and nested-PCR with real-time PCR, a quantitative method that could be standardized for improving the detection of N. caninum in bovine CNS specimens.

Diametral tensile strength and film thickness of an experimental dental luting agent derived from castor oil

The need to develop new dental luting agents in order to improve the success of treatments has greatly motivated research. Objective: The aim of this study was to evaluate the diametral tensile strength (DTS) and film thickness (FT) of an experimental dental luting agent derived from castor oil (COP) with or without addition of different quantities of filler (calcium carbonate - CaCO3). Material and Methods: Eighty specimens were manufactured (DTS N=40; FT N=40) and divided into 4 groups: Pure COP; COP 10%; COP 50% and zinc phosphate (control). The cements were mixed according to the manufacturers' recommendations and submitted to the tests. The DTS test was performed in the MTS 810 testing machine (10 KN, 0.5 mm/min). For FT test, the cements were sandwiched between two glass plates (2 cm(2)) and a load of 15 kg was applied vertically on the top of the specimen for 10 min. The data were analyzed by means of one-way ANOVA and Tukey's test (alpha=0.05). Results: The values of DTS (MPa) were: Pure COP- 10.94 +/- 1.30; COP 10%- 30.06 +/- 0.64; COP 50%- 29.87 +/- 0.27; zinc phosphate- 4.88 +/- 0.96. The values of FT (pm) were: Pure COP- 31.09 +/- 3.16; COP 10%- 17.05 +/- 4.83; COP 50%- 13.03 +/- 4.83; Zinc Phosphate- 20.00 +/- 0.12. One-way ANOVA showed statistically significant differences among the groups (DTS - p=1.01E-40; FT - p=2.4E-10). Conclusion: The experimental dental luting agent with 50% of filler showed the best diametral tensile strength and film thickness.

Biological Characteristics and Thermal Requirements of the Biological Control Agent Telenomus remus (Hymenoptera: Platygastridae) Reared on Eggs of Different Species of the Genus Spodoptera (Lepidoptera: Noctuidae)

The biological characteristics of Telenomus remus Nixon, 1937 (Hymenoptera: Platygastridae) on eggs of Spodoptera albula (Walker, 1857); S. cosmioides Walker 1858, S. eridania (Cramer, 1782); and S. frugiperda (Smith, 1797) (Lepidoptera: Noctuidae) were evaluated under different temperatures (19, 22, 25, 28, 31, and 34 degrees C +/- 1 degrees C). The duration of the T remus egg-to-adult period on eggs of all four Spodoptera species and the longevity of adults of T. remus were both inversely proportional to the increase in temperature. Parasitoid emergence was higher than 80% at temperatures from 19 to 28 degrees C when the parasitoid was reared on eggs of S. eridania and S. frugiperda. Differently, when the parasitoid was reared on eggs of S. albula and S. cosmioides, T. remus emergence at rates of 80% or higher just occurred from 22 to 25 degrees C and at 22 degrees C, respectively. At 34 degrees C, this parameter was lower than 30% for T reams reared in all hosts. The sex ratio was 64-86% females, except for T. remus in S. cosmioides eggs at 34 C, in which temperature it was 39%. The estimated thermal requirements of T. remus, for the thermal constant (K) and the base temperature (T(base)), were: 125.39 DD and 15.139 degrees C; 125.56 DD and 14.912 degrees C; 142.98 DD and 14.197 degrees C; and 149.16 DD and 13.846 degrees C, for S. cosmioides, S. frugiperda, S. albula, and S. eridania, respectively. In general, T. remus showed good parasitism potential on all the hosts, although eggs of S. frugiperda, S. eridania, and S. albula proved to be the most suitable for mass rearing of T reams in the laboratory. Eggs of S. cosmioides are less suitable because of the lower parasitoid emergence observed at most of the temperatures with exception of 22 degrees C.

Argumentation and artifacts for intelligent multi-agent systems

Reasoning under uncertainty is a human capacity that in software system is necessary and often hidden. Argumentation theory and logic make explicit non-monotonic information in order to enable automatic forms of reasoning under uncertainty. In human organization Distributed Cognition and Activity Theory explain how artifacts are fundamental in all cognitive process. Then, in this thesis we search to understand the use of cognitive artifacts in an new argumentation framework for an agent-based artificial society.

Meta-models, environment and layers: agent-oriented engineering of complex systems

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.

Sviluppo di metodi innovativi per la sintesi di nanoparticelle di interesse industriale

Among various nanoparticles, noble metal nanoparticles have attracted considerable attention due to their optical, catalytic and conducting properties. This work has been focused on the development of an innovative method of synthesis for the preparation of metal nanosuspensions of Au, Ag, Cu, in order to achieve stable sols, showing suitable features to allow an industrial scale up of the processes. The research was developed in collaboration with a company interested in the large scale production of the studied nanosuspensions. In order to develop a commercial process, high solid concentration, long time colloidal stability and particle size control, are required. Two synthesis routes, differing by the used solvents, have been implemented: polyol based and water based synthesis. In order to achieve a process intensification the microwave heating has been applied. As a result, colloidal nanosuspensions with suitable dimensions, good optical properties, very high solid content and good stability, have been synthesized by simple and environmental friendly methods. Particularly, due to some interesting results an optimized synthesis process has been patented. Both water and polyol based synthesis, developed in the presence of a reducing agent and of a chelating polymer, allowed to obtain particle size-control and colloidal stability by tuning the different parameters. Furthermore, it has been verified that microwave device, due to its rapid and homogeneous heating, provides some advantages over conventional method. In order to optimize the final suspensions properties, for each synthesis it has been studied the effect of different parameters (temperature, time, precursors concentrations, etc) and throughout a specific optimization action a right control on nucleation and growth processes has been achieved. The achieved nanoparticles were confirmed by XRD analysis to be the desired metal phases, even at the lowest synthesis temperatures. The particles showed a diameter, measured by STEM and dynamic light scattering technique (DLS), ranging from 10 to 60 nm. Surface plasmon resonance (SPR) was monitored by UV-VIS spectroscopy confirming its dependence by nanoparticles size and shape. Moreover the reaction yield has been assessed by ICP analysis performed on the unreacted metal cations. Finally, thermal conductivity and antibacterial activity characterizations of copper and silver sols respectively are now ongoing in order to check their application as nanofluid in heat transfer processes and as antibacterial agent.

Engineering Concurrent and Event-driven Web Apps: An Agent-Oriented Approach based on the simpAL Language

Web is constantly evolving, thanks to the 2.0 transition, HTML5 new features and the coming of cloud-computing, the gap between Web and traditional desktop applications is tailing off. Web-apps are more and more widespread and bring several benefits compared to traditional ones. On the other hand reference technologies, JavaScript primarly, are not keeping pace, so a paradim shift is taking place in Web programming, and so many new languages and technologies are coming out. First objective of this thesis is to survey the reference and state-of-art technologies for client-side Web programming focusing in particular on what concerns concurrency and asynchronous programming. Taking into account the problems that affect existing technologies, we finally design simpAL-web, an innovative approach to tackle Web-apps development, based on the Agent-oriented programming abstraction and the simpAL language. == Versione in italiano: Il Web è in continua evoluzione, grazie alla transizione verso il 2.0, alle nuove funzionalità introdotte con HTML5 ed all’avvento del cloud-computing, il divario tra le applicazioni Web e quelle desktop tradizionali va assottigliandosi. Le Web-apps sono sempre più diffuse e presentano diversi vantaggi rispetto a quelle tradizionali. D’altra parte le tecnologie di riferimento, JavaScript in primis, non stanno tenendo il passo, motivo per cui la programmazione Web sta andando incontro ad un cambio di paradigma e nuovi linguaggi e tecnologie stanno spuntando sempre più numerosi. Primo obiettivo di questa tesi è di passare al vaglio le tecnologie di riferimento ed allo stato dell’arte per quel che riguarda la programmmazione Web client-side, porgendo particolare attenzione agli aspetti inerenti la concorrenza e la programmazione asincrona. Considerando i principali problemi di cui soffrono le attuali tecnologie passeremo infine alla progettazione di simpAL-web, un approccio innovativo con cui affrontare lo sviluppo di Web-apps basato sulla programmazione orientata agli Agenti e sul linguaggio simpAL.

Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and Webots Platforms

La crescente disponibilità di dispositivi meccanici e -soprattutto - elettronici le cui performance aumentano mentre il loro costo diminuisce, ha permesso al campo della robotica di compiere notevoli progressi. Tali progressi non sono stati fatti unicamente per ciò che riguarda la robotica per uso industriale, nelle catene di montaggio per esempio, ma anche per quella branca della robotica che comprende i robot autonomi domestici. Questi sistemi autonomi stanno diventando, per i suddetti motivi, sempre più pervasivi, ovvero sono immersi nello stesso ambiente nel quale vivono gli essere umani, e interagiscono con questi in maniera proattiva. Essi stanno compiendo quindi lo stesso percorso che hanno attraversato i personal computer all'incirca 30 anni fa, passando dall'essere costosi ed ingombranti mainframe a disposizione unicamente di enti di ricerca ed università, ad essere presenti all'interno di ogni abitazione, per un utilizzo non solo professionale ma anche di assistenza alle attività quotidiane o anche di intrattenimento. Per questi motivi la robotica è un campo dell'Information Technology che interessa sempre più tutti i tipi di programmatori software. Questa tesi analizza per prima cosa gli aspetti salienti della programmazione di controllori per robot autonomi (ovvero senza essere guidati da un utente), quindi, come l'approccio basato su agenti sia appropriato per la programmazione di questi sistemi. In particolare si mostrerà come un approccio ad agenti, utilizzando il linguaggio di programmazione Jason e quindi l'architettura BDI, sia una scelta significativa, dal momento che il modello sottostante a questo tipo di linguaggio è basato sul ragionamento pratico degli esseri umani (Human Practical Reasoning) e quindi è adatto alla implementazione di sistemi che agiscono in maniera autonoma. Dato che le possibilità di utilizzare un vero e proprio sistema autonomo per poter testare i controllori sono ridotte, per motivi pratici, economici e temporali, mostreremo come è facile e performante arrivare in maniera rapida ad un primo prototipo del robot tramite l'utilizzo del simulatore commerciale Webots. Il contributo portato da questa tesi include la possibilità di poter programmare un robot in maniera modulare e rapida per mezzo di poche linee di codice, in modo tale che l'aumento delle funzionalità di questo risulti un collo di bottiglia, come si verifica nella programmazione di questi sistemi tramite i classici linguaggi di programmazione imperativi. L'organizzazione di questa tesi prevede un capitolo di background nel quale vengono riportare le basi della robotica, della sua programmazione e degli strumenti atti allo scopo, un capitolo che riporta le nozioni di programmazione ad agenti, tramite il linguaggio Jason -quindi l'architettura BDI - e perché tale approccio è adatto alla programmazione di sistemi di controllo per la robotica. Successivamente viene presentata quella che è la struttura completa del nostro ambiente di lavoro software che comprende l'ambiente ad agenti e il simulatore, quindi nel successivo capitolo vengono mostrate quelle che sono le esplorazioni effettuate utilizzando Jason e un approccio classico (per mezzo di linguaggi classici), attraverso diversi casi di studio di crescente complessità; dopodiché, verrà effettuata una valutazione tra i due approcci analizzando i problemi e i vantaggi che comportano questi. Infine, la tesi terminerà con un capitolo di conclusioni e di riflessioni sulle possibili estensioni e lavori futuri.