Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões

The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

High frequency of Paracoccidioides brasiliensis infection in armadillos (Dasypus novemcinctus): an ecological study

The fungus Paracoccidioides brasiliensis has been isolated from nine-banded armadillos (Dasypus novemcinctus) in different regions where paracoccidiodomycosis (PCM) is endemic. The link between PCM and these animals has provided the first valuable clue in the effort to elucidate the ecological niche of P. brasiliensis. The present study was aimed at correlating P. brasiliensis infection in armadillos with local ecological features and, if possible, the presence of the fungus in the soil in the Botucatu hyperendemic area of PCM. In this region the mean temperature ranges from 14.8 to 25.8degreesC and the annual average precipitation is 1520 mm. The sites where 10 infected animals (positive group) were collected were studied and compared with the sites where five uninfected animals were found. The occurrence of the fungus in soil samples collected from the positive armadillos' burrows and foraging sites was investigated by the indirect method of animal inoculation. Environmental data from the sites of animal capture, such as temperature, rainfall, altitude, vegetation, soil composition, presence of water and proximity of urban areas, were recorded. All 37 soil samples collected from the sites had negative fungal cultures. Positive animals were found much more frequently in sites with disturbed vegetation, such as riparian forests and artificial Eucalyptus Or Pinus forests, in altitudes below 800 m, near water sources. The soil type of the sites of positive animals was mainly sandy, with medium to low concentrations of organic matter. The pH was mainly acidic at all the sites, although the concentrations of aluminum cations (H+Al) were lower at the sites where positive animals were found. Positive armadillos were also captured in sites very close to urban areas. Our data and previous studies indicate that P. brasiliensis occurs preferentially in humid and shady disturbed forests in a strong association with armadillos.

Avaliação da resposta imune humoral em cães jovens imunizados contra a cinomose com vacina de vírus atenuado

Este estudo foi realizado com o objetivo de se investigar a cinética da resposta imune em cães jovens vacinados contra cinomose, com vírus atenuado, por meio do teste de soroneutralização. Onze cães sadios da raça Beagle, observados do nascimento até 30 meses de idade, isolados de outros cães, receberam vacina monovalente viva atenuada de cinomose canina aos 75, 105 e 135 dias de idade e doze meses após a terceira dose vacinal. O desenvolvimento de anticorpos foi mensurado pela reação de soroneutralização imediatamente antes da vacinação, trinta dias após a administração da primeira e terceira doses, noventa dias após a administração da terceira dose, nove e doze meses após a administração da terceira dose, trinta dias, seis e doze meses após a dose anual. Não havia títulos detectáveis de anticorpos contra cinomose canina antes da primovacinação. O título de anticorpos variou de 4,047 a 4,880 (em logaritmos na base 10), trinta dias após a administração da primeira dose e 6 meses após a dose anual, respectivamente. Todos os cães apresentaram uma resposta similar, embora com variações, com a produção de anticorpos com títulos maiores do que 2, considerado o título mínimo protetor. Doze meses após a dose anual, a maioria dos cães apresentou alto título de anticorpos, sugerindo que a revacinação anual poderia ser desnecessária.

(1-x)PMN-xPT ceramics prepared by conventional and modified columbite route: Effect on electrical properties

This study aims to demonstrate how the chemical homogeneity of B cations affects the microstructure and electrical responses of (1-x) PMN-xPT ceramics. Two methodologies were employed to synthesize three different compositions, with x assuming the values 0.10, 0.28, and 0.35. If compared to conventional method, the Ti-modified columbite route, which is characterized by higher B cation homogeneity, leads to PMN-PT powders and ceramics with lower content of PNT pyrochlore phase and, for 0.65PMN-0.35PT composition, minor amount of tetragonal phase is found. Conclusively, PMN-PT ceramics obtained by modified route favors B cations homogeneity, enhancing the dielectric, ferroelectric and piezoelectric properties.

Cell-associated acid beta-xylosidase production by Penicillium sclerotiorum

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Purification and properties of an acid beta-xylosidase from Penicillium sclerotiorum

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Study of the mechanism of action of anoplin, a helical antimicrobial decapeptide with ion channel-like activity, and the role of the amidated C-terminus

Anoplin, an antimicrobial, helical decapeptide from wasp venom, looses its biological activities by mere deamidation of its C-terminus. Secondary structure determination, by circular dichroism spectroscopy in amphipathic environments, and lytic activity in zwitterionic and anionic vesicles showed quite similar results for the amidated and the carboxylated forms of the peptide. The deamidation of the C-terminus introduced a negative charge at an all-positive charged peptide, causing a loss of amphipathicity, as indicated by molecular dynamics simulations in TFE/water mixtures and this subtle modification in a peptide's primary structure disturbed the interaction with bilayers and biological membranes. Although being poorly lytic, the amidated form, but not the carboxylated, presented ion channel-like activity on anionic bilayers with a well-defined conductance step; at approximately the same concentration it showed antimicrobial activity. The pores remain open at trans-negative potentials, preferentially conducting cations, and this situation is equivalent to the interaction of the peptide with bacterial membranes that also maintain a high negative potential inside. Copyright (C) 2007 European Peptide Society and John Wiley & Sons, Ltd.

Synthesis, Infrared Spectroscopy and Crystal Structure Determination of a New Decavanadate

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Composição química das águas pluviais e deposição atmosférica anual na bacia do Alto Sorocaba (SP)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Amino acid, Antioxidant and Ion Profiles of Carpolobia lutea Leaf (Polygalaceae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

X-ray diffraction and mossbauer spectra of nickel ferrite prepared by combustion reaction

Nickel ferrite powders with a nominal NiFe2O4 composition were synthesized by combustion reaction using urea as fuel. The powder was obtained using a vitreous silica basin heated directly on a hot plate at 480 degrees C until self-ignition occurred. After combustion, the powder was calcined at 700 degrees C for 2 h. The formation of the spinel phase and the distribution of cations in the tetrahedral and octahedral sites of the crystal structure were investigated by the Rietveld method, using synchrotron X-ray diffraction data and Mossbauer spectroscopy. The material presented a crystallite size of 120 nm and magnetic properties. The resulting stoichiometry after the Rietveld refinement was (Fe-0.989(2) Ni-0.011(2)) [Fe-1.012(2) Ni-0.989(2)] O-4.

Synthesis and Study of the Photophysical Properties of a New Eu3+ Complex with 3-Hydroxypicolinamide

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)