Análise comparativa das metodologias de hibridização reversa e sequenciamento direto para a genotipagem do vírus da hepatite C

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

Perfil de resistência genótica do HIV-1 em pacientes com falha na terapia antirretroviral atendidos pela Rede Nacional de Genotipagem (RENAGENO) na região de Botucatu, SP-Brasil

Pós-graduação em Pesquisa e Desenvolvimento (Biotecnologia Médica) - FMB

Validação de anticorpo monoclonal anti-CD45 obtido in house para utilização em citometria de fluxo e imuno-histoquímica

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

Coinfecção pelos vírus da hepatite C (VHC) vírus da imunodificência humana (HIV): polimosrfismo dos sistemas HPA -1, -3, 3 e -5

Pós-graduação em Fisiopatologia em Clínica Médica - FMB

Ocorrência e caracterização molecular de Cryptosporidium spp. em bezerros leiteiros da região noroeste do Estado de São Paulo

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

Estudo da prevalência da infecção pelo Papiloma Vírus Humano (HPV) em mulheres portadoras de Lúpus Eritematoso Sistêmico (LES) em um hospital de referência de Belém

Introdução: O câncer de colo uterino representa o terceiro câncer mais comum no mundo e o Papiloma Vírus Humano (HPV) está diretamente implicado, porém doenças auto-imunes, como o Lúpus Eritematoso Sistêmico (LES), podem comportar-se como fator facilitador para esta infecção e o desenvolvimento do câncer. Objetivo: Analisar a prevalência da infecção pelo HPV e fatores de risco associados em pacientes lúpicas atendidas em um centro de referência em Belém-Pará. Método: Estudadas 70 mulheres lúpicas que realizaram exame Preventivo do Câncer de Colo Uterino (PCCU) e foram divididas em dois grupos, mulheres infectadas pelo HPV (n= 16) e não infectadas pelo vírus (n= 54). A detecção e subtipagem viral foram realizadas por Reação em Cadeia de Polimerase (PCR). Aplicados os testes do Qui-quadrado, binominal, Fisher e t de Studentcomnível alfa = 0,05 para rejeição da hipótese nula. Resultados: A prevalência encontrada do HPV nessas pacientes foi de 22,8% e a faixa etária entre 18 a 25 anos foi relacionada com o aumento do risco para infecção pelo HPV (p < 0,001*). Alterações no PCCU e sintomas músculo-esqueléticos obtiveram, também, significância estatística para o aumento desse risco (p = 0,0360*, p = 0,0463* respectivamente). O uso de imunossupressores, não teve associação com a infecção pelo vírus. Os subtipos mais prevalentes nessa população foram o HPV tipo 58 (37,5%) e o 31 (31,3%). Duas pacientes apresentaram infecção múltipla. Conclusão: Nas pacientes lúpicas estudadas o fator idade foi implicado em um maior risco de infecção, a maioria dessas pacientes apresentava de 1 a 5 anos de diagnóstico e todas as pacientes com HPV positivo apresentavam alterações no exame do PCCU.

Análise molecular de estirpes de Escherichia coli enteropatogênica (EPEC) isoladas de animais e humanos

Pós-graduação em Microbiologia Agropecuária - FCAV

Human Platelet Polymorphism can be a genetic marker associated with HIV/HCV coinfection

To evaluate the associations of HPA polymorphisms -1, -3, and -5 with HIV/HCV coinfection were included in this study 60 HIV/HCV-coinfected patients from the Sao Paulo State health service centers. Data reported by Verdichio-Moraes et al. (2009: J. Med Virol 81:757-759) were used as the non-infected and HCV monoinfected groups. Human Platelet Polymorphism genotyping was performed in 60 Patients co-infected with HIV/HCV by PCR-SSP or PCR-RFLP. HIV subtyping and HCV genotyping was performed by RT-PCR followed sequencing. The data analyses were performed using the χ2 test or Fisher's Exact Test and the logistic regression model. Patients coinfected with HIV/HCV presented HCV either genotype 1 (78.3%) or non-1 (21.7%) and HIV either subtype B (85.0%) or non-B (15%). The Human Platelet Polymorphism-1a/1b genotype was more frequent (P < 0.05) in HIV/HCV coinfection than in HCV monoinfection and the allelic frequency of Human Platelet Polymorphism-5b in the Patients coinfected with HIV/HCV was higher (P < 0.05) than in HCV monoinfected cases and non-infected individuals. These data suggest that the presence of specific HPA allele on platelets could favor the existence of coinfection. On the other hand, Human Platelet Polymorphism-5a/5b was more frequent (P < 0.05) in HIV/HCV coinfected and HCV monoinfected groups than in the non-infected individuals, suggesting that this platelet genotype is related to HCV infection, regardless of HIV presence. Results suggest that the Human Platelet Polymorphism profile in HIV/HCV coinfected individuals differs from the one of both HCV monoinfected and non-infected population. So, the Human Platelet Polymorphism can be a genetic marker associated with HIV/HCV coinfection.

First genetic identification of Cryptosporidium parvum subtype IIaA14G2R1in beef cattle in Brazil

The presence of Cryptosporidium spp. in a cattle herd registered with an outbreak of diarrhea was investigated and the the molecular subtyping of Cryptosporidium parvum was characterized. Fecal samples from 85 Nellore beef cattle (Bos indicus) were collected and examined with Ziehl-Neelsen modified staining method. Fifty-four cattle (63.52%) had Cryptosporidium spp. oocysts in their feces. Fragments of genes encoding the 18S ribosomal RNA subunit and a 60-kDa glycoprotein (gp60) were amplified by nested PCR accomplished in the 11 most heavily parasitized samples, and the amplicons were sequenced. Eight of the 11 analyzed samples were positive for 18S rRNA sequences and identified monospecific infections with C. parvum. Seven samples were positive for gp60 and identified subtypes IIaA15G2R1 (6/11) and IIaA14G2R1 (1/11). This report is the first for C. parvum subtype IIaA14G2R1 in beef cattle in Brazil.

Caracterização genética e distribuição espacial dos isolados de Mycobacterium leprae em região de baixa prevalência no Brasil

Pós-graduação em Doenças Tropicais - FMB

Clinical, epidemiological and molecular features of the HIV-1 subtype C and recombinant forms that are circulating in the city of Sao Paulo, Brazil

Background: The city of Sao Paulo has the highest AIDS case rate, with nearly 60% in Brazil. Despite, several studies involving molecular epidemiology, lack of data regarding a large cohort study has not been published from this city. Objectives: This study aimed to describe the HIV-1 subtypes, recombinant forms and drug resistance mutations, according to subtype, with emphasis on subtype C and BC recombinants in the city of Sao Paulo, Brazil. Study design: RNA was extracted from the plasma samples of 302 HIV-1-seropositive subjects, of which 211 were drug-naive and 82 were exposed to ART. HIV-1 partial pol region sequences were used in phylogenetic analyses for subtyping and identification of drug resistance mutations. The envelope gene of subtype C and BC samples was also sequenced. Results: From partial pol gene analyses, 239 samples (79.1%) were assigned as subtype B, 23 (7.6%) were F1, 16 (5.3%) were subtype C and 24 (8%) were mosaics (3 CRF28/CRF29-like). The subtype C and BC recombinants were mainly identified in drug-naive patients (72.7%) and the heterosexual risk exposure category (86.3%), whereas for subtype B, these values were 69.9% and 57.3%, respectively (p = 0.97 and p = 0.015, respectively). An increasing trend of subtype C and BC recombinants was observed (p < 0.01). Conclusion: The HIV-1 subtype C and CRFs seem to have emerged over the last few years in the city of Sao Paulo, principally among the heterosexual population. These findings may have an impact on preventive measures and vaccine development in Brazil.

Clinical, epidemiological and molecular features of the HIV-1 subtype C and recombinant forms that are circulating in the city of São Paulo, Brazil

Abstract Background The city of Sao Paulo has the highest AIDS case rate, with nearly 60% in Brazil. Despite, several studies involving molecular epidemiology, lack of data regarding a large cohort study has not been published from this city. Objectives This study aimed to describe the HIV-1 subtypes, recombinant forms and drug resistance mutations, according to subtype, with emphasis on subtype C and BC recombinants in the city of São Paulo, Brazil. Study design RNA was extracted from the plasma samples of 302 HIV-1-seropositive subjects, of which 211 were drug-naive and 82 were exposed to ART. HIV-1 partial pol region sequences were used in phylogenetic analyses for subtyping and identification of drug resistance mutations. The envelope gene of subtype C and BC samples was also sequenced. Results From partial pol gene analyses, 239 samples (79.1%) were assigned as subtype B, 23 (7.6%) were F1, 16 (5.3%) were subtype C and 24 (8%) were mosaics (3 CRF28/CRF29-like). The subtype C and BC recombinants were mainly identified in drug-naïve patients (72.7%) and the heterosexual risk exposure category (86.3%), whereas for subtype B, these values were 69.9% and 57.3%, respectively (p = 0.97 and p = 0.015, respectively). An increasing trend of subtype C and BC recombinants was observed (p < 0.01). Conclusion The HIV-1 subtype C and CRFs seem to have emerged over the last few years in the city of São Paulo, principally among the heterosexual population. These findings may have an impact on preventive measures and vaccine development in Brazil.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Genotyping of human and porcine Yersinia enterocolitica, Yersinia intermedia, and Yersinia bercovieri strains from Switzerland by amplified fragment length polymorphism analysis

In this study, 231 strains of Yersinia enterocolitica, 25 strains of Y. intermedia, and 10 strains of Y. bercovieri from human and porcine sources (including reference strains) were analyzed using amplified fragment length polymorphism (AFLP), a whole-genome fingerprinting method for subtyping bacterial isolates. AFLP typing distinguished the different Yersinia species examined. Representatives of Y. enterocolitica biotypes 1A, 1B, 2, 3, and 4 belonged to biotype-related AFLP clusters and were clearly distinguished from each other. Y. enterocolitica biotypes 2, 3, and 4 appeared to be more closely related to each other (83% similarity) than to biotypes 1A (11%) and 1B (47%). Biotype 1A strains exhibited the greatest genetic heterogeneity of the biotypes studied. The biotype 1A genotypes were distributed among four major clusters, each containing strains from both human and porcine sources, confirming the zoonotic potential of this organism. The AFLP technique is a valuable genotypic method for identification and typing of Y. enterocolitica and other Yersinia spp.

Mastitis-related subtypes of bovine Staphylococcus aureus are characterized by different clinical properties

Based on a former study from our group, one subtype of Staphylococcus aureus was associated with high within-herd prevalence of mastitis, whereas the other subtypes were associated with a low prevalence (sporadic intramammary infection). To confirm this hypothesis, a prospective study was done in 29 Swiss dairy herds. In particular, milk samples were collected from 10 herds with Staph. aureus herd problems (cases) and compared with samples from 19 herds with only sporadic cases of with Staph. aureus intramammary infection (controls). The isolates were tested for their virulence gene pattern and genotyped by PCR amplification of the 16S-23S rRNA intergenic spacer. The patterns and genotypes were then associated and compared with epidemiological and clinical data. Confirming the hypothesis, one particular subtype (genotype B) was associated with high within-herd and within-cow prevalence of intramammary infection, whereas the other subtypes were associated with low within-herd prevalence and infected single quarters. The gene patterns and genotypes were highly related, demonstrating the genetic diversity of the genotypes. The somatic cell counts were clearly increased in herds with a genotype B problem compared with herds with infections of other genotypes. Based on the different clinical properties and treatment consequences associated with these different genotypes found in Switzerland, we recommend subtyping Staph. aureus in other countries to determine if this finding is universally applicable.