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

Influência de tensoativos não iônicos na destilação molecular de petróleo

The molecular distillation is show as an alternative for separation and purification of various kinds of materials. The process is a special case of evaporation at high vacuum, in the order from 0.001 to 0.0001 mmHg and therefore occurs at relatively lower temperatures, preserves the material to be purified. In Brazil, molecular distillation is very applied in the separation of petroleum fractions. However, most studies evaluated the temperature of the evaporator, condenser temperature and flow such variables of the molecular distillation oil. Then, to increase the degree of recovery of the fraction of the distillate obtained in the process of the molecular distillation was evaluated the use nonionic surfactants of the class of nonylphenol ethoxylate, molecules able to interact in the liquid-liquid and liquid-vapor interface various systems. In this context, the aim of this work was to verify the influence of commercial surfactant (Ultranex-18 an Ultranex-18-50) in the molecular distillation of a crude oil. The physicochemical characterization of the oil was realized and the petroleum shown an API gravity of 42°, a light oil. Initially, studied the molecular distillation without surfactant using star design experimental (2H ± ) evaluated two variables (evaporator temperature and condenser temperature) and answer variable was the percentage in distillate obtained in the process (D%). The best experimental condition to molecular distillation oil (38% distillate) was obtained at evaporator and condenser temperatures of 120 °C and 10 ° C, respectively. Subsequently, to determine the range of surfactant concentration to be applied in the process, was determined the critical micellar concentration by the technique of scattering X-ray small angle (SAXS). The surfactants Ultranex-18 an Ultranex-18-50 shown the critical micelle concentration in the range of 10-2 mol/L in the hydrocarbons studied. Then, was applied in the study of distillation a concentration range from 0.01 to 0.15 mol/L of the surfactants (Ultranex- 18 and 50). The use of the nonionic surfactant increased the percentage of hydrocarbons in the range from 5 to 9 carbons in comparison to the process carried out without surfactant, and in some experimental conditions the fraction of light compounds in the distilled was over 700% compared to the conventional process. The study showed that increasing the degree of ethoxylation of Ultranex18 to Ultranex-50, the compounds in the range of C5 to C9 reduced the percentage in the distilled, since the increase of the hydrophilic part of the surfactant reduces its solubility in the oil. Finally, was obtained an increase in the degree of recovery of light hydrocarbons, comparing processes with and without surfactant, obtained an increase of 10% and 4% with Ultranex-18 and Ultranex-50, respectively. Thus, it is concluded that the Ultranex- 18 surfactant showed a higher capacity to distillation compared with Ultranex-50 and the application of surfactant on the molecular distillation from petroleum allowed for a greater recovery of light compounds in distillate

Prevalence of Candida spp. associated with bacteria species on complete dentures

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

Molecular detection of enterotoxins E, G, H and I in Staphylococcus aureus and coagulase-negative staphylococci isolated from clinical samples of newborns in Brazil

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

Enzymatic activity of hypopharyngeal gland extractsfrom workers of Apis mellifera (Hymenoptera, Apidae, Apinae)

This research presents a comparative study of enzymatic activity of the hypopharyngeal gland extracts from workers of Apis mellifera in three physiologic stages: newly emerged, nurse and forager workers, with the objective of contributing to the comprehension of the gland function. In order to determinate the enzymes present in the extracts, the Api Zym kit (Bio Merieux) was used to test the activity of 19 different enzymes. The enzymes found in larger amounts only in the hypopharyngeal glands from certain individuals were the following: in newly emerged workers, the N-acetyl-double down arrow-glucosaminidase that may be digesting the chitin of some food ingested by the bee; in forager workers, the acid phosphatase that is likely acting in authophagic processes, the a-glucosidase, in the processing of nectar into honey, and the double down arrow-glucosidases, in the pollen digestion.

Three-Dimensional Modelling of Honeybee Venom Allergenic Proteases: Relation to Allergenicity

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

Effects of eating disorders on oral fungal diversity

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

Influence of consumption of probiotics on presence of enterobacteria in the oral cavity

Clinical benefits of probiotics have been clearly reported in different gastrointestinal disorders, many of them caused by enterobacteria. The oral cavity is a port of entry and can be an important reservoir of these microorganisms. This work evaluated whether consumption of probiotics was able to influence the presence of enterobacteria in the oral cavity and the specific secretory response against these microorganisms. Saliva samples of healthy individuals were collected and plated in Mac-Conkey agar. Carriers of Gram-negative, rod-shaped microorganisms in the oral cavity were selected and instructed to use the probiotic Yakult LB for 20 days. Saliva was then collected and enterobacteria species were identified using the API 20 E system and by ELISA using anti-enterobacteria IgA. The results showed reduction in the prevalence of enterobacteria, but no significant changes in enterobacterial counts (log CFU/mL; p = 0.3457). The species most frequently isolated were Enterobacter cloacae and Klebsiella oxytoca, both before and after probiotic consumption. No significant changes were observed in anti-enterobacteria IgA levels. In conclusion, probiotic consumption had some influence on enterobacterial presence in the oral cavity, but did not affect enterobacterial counts or the specific immune secretory response against them.

Influence of TNF-alpha blockers on the oral prevalence of opportunistic microorganisms in ankylosing spondylitis patients

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

Enterobacteriaceae and pseudomonadaceae on the dorsum of the human tongue

Objective: The aim of this study was to correlate the presence of Enterobacteriaceae, Pseudomonadaceae, Moraxellaceae and Xanthomonadaceae on the posterior dorsum of the human tongue with the presence of tongue coating, gender, age, smoking habit and denture use. Material and Methods: Bacteria were isolated from the posterior tongue dorsum of 100 individuals in MacConkey agar medium and were identified by the API 20E system (Biolab-Merieux). Results: 43% of the individuals, presented the target microorganisms on the tongue dorsum, with greater prevalence among individuals between 40 and 50 years of age (p=0.001) and non-smokers (p=0.0485). Conclusions: A higher prevalence of Enterobacteriaceae and Pseudomonadaceae was observed on the tongue dorsum of the individuals evaluated. There was no correlation between these species and the presence and thickness of tongue coating, gender and presence of dentures.

Opportunistic microorganisms in patients undergoing antibiotic therapy for pulmonary tuberculosis

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

Staphylococcus spp., Enterobacteriaceae and Pseudomonadaceae oral isolates from Brazilian HIV-positive patients. Correlation with CD4 cell counts and viral load

The aim was to evaluate the presence of Staphylococcus spp., Enterobacteriaceae and Pseudomonadaceae in the oral cavities of HIV-positive patients. Forty-five individuals diagnosed as HIV-positive by ELISA and Western-blot, and under anti-retroviral therapy for at least 1 year, were included in the study. The control group constituted 45 systemically healthy individuals matched to the HIV patients to gender, age and oral conditions. Oral rinses were collected and isolates were identified by API system. Counts of microorganisms from HIV and control groups were compared statistically by a Mann-Whitney test (alpha = 5%). The percentages of individuals positive for staphylococci were similar between the groups (p = 0.764), whereas for Gram-negative rods, a higher percentage was observed amongst HIV-positive (p = 0.001).There was no difference in Staphylococcus counts between HIV and control groups (p = 0.1008). Counts were lower in the oral cavities of patients with low viral load (p = 0.021), and no difference was observed in relation to CD4 counts (p = 0.929). Staphylococcus aureus was the most frequently isolated species in HIV group, and Staphylococcus epidermidis was the prevalent species in the control group. Significantly higher numbers of enteric bacteria and pseudomonas were detected in the oral cavities of the HIV group than in the control (p = 0.0001). Enterobacter cloacae was the most frequently isolated species in both groups. Counts of enteric bacteria and pseudomonas were significantly lower in patients with low CD4 counts (p = 0.011); however, there was no difference relating to viral load. It may be concluded that HIV group showed greater species diversity and a higher prevalence of Enterobacteriaceae/Pseudomonadaceae. (C) 2011 Elsevier Ltd. All rights reserved.

X-ray diffraction data of tibolone Delta(4) isomer (isotibolone)

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

Demonstration of the cellular viability and safety of Enterococcus faecium CRL 183 in long-term experiments

Enterococcus faecium CRL 183, a strain isolated from NSLAB cheese starter, has been the focus of much research on its potential probiotic capacity, although its survival through the gastrointestinal tract has not been demonstrated so far. In order to determine the capacity of E. faecium CRL 183 to survive such conditions, this strain was administered daily to rats for 30 weeks. The experimental animals were divided into Group I: those that did not receive E. faecium, Group II: those that received a pure culture of E. faecium CRL 183 and Group III: animals that received E. faecium CRL 183 in the form of a fermented soy-based product. Faecal samples were collected at the beginning and at the 50%, 75% and 100% stages of the experimental period. Isolation and counts of Enterococcus were carried out on KF selective media. To distinguish the various Enterococcus species in the faeces, biochemical (API Strep 20) and molecular (PCR) tests were performed. Initially, E. faecium was absent from the intestinal flora of the rats; however, after 15 weeks of administration, E. faecium could be recovered from the faeces of Groups II and III, demonstrating that E. faecium CRL 183 was able to survive gastrointestinal transit under the study conditions. This is further evidence of the probiotic qualities of this strain. The safety of the strain was also investigated with regard to body weight and serum biochemical analysis.

Phenotypical characterization of Candida spp. isolated from crop of parrots (Amazona spp.)

Renata G. Vieira R.G. & Acqua Coutinho S.D. 2009. Phenotypical characterization of Candida spp. isolated from crop of parrots (Amazona spp.). Pesquisa Veterinaria Brasileira 29(6):452-456. Curso de Pos-Graduagdo em Imunopatologia Veterinaria, Universidade Paulista, Rua Agariba 48, São Paulo, SP 05053010, Brazil. E-mail: selene@uol.com.brThe purpose of this study was to characterize Candida isolates from crop of parrots. Forty baby parrots of genus Amazona, species aestiva and amazonica that were apprehended from wild animal traffic were used: 18 presented ingluvitis and 22 other alterations, but showing general debilitation. Samples were seeded on Sabouraud dextrose agar with chloramphenicol after be obtained by the introduction of urethral probe through the esophagus. Based on morphology and biochemical reactions (API 20C) Candida was confirmed; it was still searched the production of proteinase and phospholipase, virulence factors for Candida species. Candida spp. were isolated from 57.5% parrots, being 72.2% from birds with ingluvitis and 45.5% from without ones. Twenty-five strains of Candida were isolated, 60% and 40%, respectively from parrots with and without ingluvitis, and were speciated: 28% C. humicola, 24% C. parapsilosis, 20% C. guilliermondii, 20% C. famata, and 8% C. albicans. These results demonstrate that C. albicans is not the most frequent species isolated, and it is the first report that shows C. guilliermondii, C. famata, and C. humicola causing infection in parrots. Many isolates presented filamentation (76%), 100% produced proteinase and 68% phospholipase. The observation of Candida spp. producing virulence factors reinforce the pathogenic role of these yeasts in the cases studied.