Antígenos da forma amastigota de Leishmania chagasi identificados por dupla varredura da biblioteca de cDNA

Control of human visceral leishmaniasis in endemic regions is hampered in part by the lack of knowledge with respect of the role reservoirs and vector. In addition, there is not yet an understanding of how non-symptomatic subclinical infection might influence the maintenance of infection in a particular locality. Of worrisome is the limited accessibility to medical care in places with emerging drug resistance. There is still no available protective vaccine either for humans or other reservoirs. Leishmania species are protozoa that express multiple antigens which are recognized by the vertebrate immune system. Since there is not one immunodominant epitope recognized by most hosts, strategies must be developed to optimize selection of antigens for prevention and immunodiagnosis. For this reason, we generated a cDNA library from the intracellular amastigote form of Leishmania chagasi, the causative agent of South American visceral leishmaniasis. We employed a two-step expression screen of the library to systematically identify T and T-dependent B cell antigens. The first step was aimed at identifying the largest possible number of clones producing an epitope-containing polypeptide with a pool of sera from Brazilians with documented visceral leishmaniasis. After removal of clones encoding heat shock proteins, positive clones underwent a second step screen for their ability to cause proliferation and IFN-γ responses of T cells from immune mice. Six unique clones were selected from the second screen for further analysis. The clones encoded part of the coding sequence of glutamine synthetase, transitional endoplasmic reticulum ATPase, elongation factor 1γ, kinesin K-39, repetitive protein A2, and a hypothetical conserved protein. Humans naturally infected with L. chagasi mounted both cellular and antibody responses to these protein Preparations containing multiple antigens may be optimal for immunodiagnosis and protective vaccines against Leishmania

Construção de uma biblioteca de fragmentos de anticorpos monoclonais de galinhas com cadeia única (scFv) por phage display com reatividade cruzada para estirpes heterólogas do vírus da bronquite infecciosa aviária

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

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Sistema operacional e biblioteca de funções para plataformas MPSOC: um estudo de caso para simuladores de reservatórios

The increasingly request for processing power during last years has pushed integrated circuit industry to look for ways of providing even more processing power with less heat dissipation, power consumption, and chip area. This goal has been achieved increasing the circuit clock, but since there are physical limits of this approach a new solution emerged as the multiprocessor system on chip (MPSoC). This approach demands new tools and basic software infrastructure to take advantage of the inherent parallelism of these architectures. The oil exploration industry has one of its firsts activities the project decision on exploring oil fields, those decisions are aided by reservoir simulations demanding high processing power, the MPSoC may offer greater performance if its parallelism can be well used. This work presents a proposal of a micro-kernel operating system and auxiliary libraries aimed to the STORM MPSoC platform analyzing its influence on the problem of reservoir simulation

Cultura pedagógica e formação de professores: a biblioteca da escola normal de Piracicaba (1911-1920)

Cet article a pour objet la Bibliothèque de l'École Normale de Piracicaba, à l'intérieur de São Paulo, entre les années 1911 et 1920, parce qu'elle représente un lieu de formation d'enseignants et organisation de culture pédagogique. Cette Bibliothèque qui a été constituée au long du cycle de vie de l'École Complémentaire de Piracicaba (1896-1911) et officialisée à partir de 1911 aura le rôle d'organiser et disséminer une certaine culture pédagogique en raison de sélectionner, trier et distribuer un ensemble de connaissances propres à la profession enseignante. Elle symbolise un espace de formation de l'enseignant de l'École Normale et de l'élève-lecteur. L'étude de la culture pédagogique se concentre sur l'analyse de cette bibliothèque.

A Biblioteca Pública do Maranhão como instituição educacional

Neste trabalho, apresenta-se a descrição histórica da Biblioteca Pública do Maranhão. Aborda-se a situação econômica, política e social vivenciada no estado, no século XIX, que contribuiu para a sua criação e expõem-se, ainda, os fatores que condicionaram a sua falência e o seu ressurgimento no início da Primeira República, marcada pela identidade sociocultural progressista. Além disso, pontuam-se os principais aspectos educativos existentes na biblioteca, na gestão de Antônio Lobo. O método empregado se caracteriza como histórico-descritivo, baseando-se, principalmente, na análise e na descrição dos Relatórios Presidenciais do Maranhão, referentes ao século XIX e início do XX. Desta forma, o estudo constatou que a história da biblioteca do Maranhão foi marcada pelas dificuldades relacionadas, especialmente, à falta de interesse dos governantes em proporcionar condições necessárias para a promoção da cultura.

Escritos de Celso Furtado, 1948-1987: bibliografía existente en la Biblioteca CEPAL

Comprende citas de libros, documentos, artículos de publicaciones periódicas, conferencias, comentarios, etc., publicados entre 1948 y 1987

Escritos de don Norberto González, 1958-1987: bibliografía existente en la Biblioteca CEPAL

Contiene artículos, comentarios, documentos, estudios e informes.