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.

Clustering subspecies of Aeromonas salmonicida using IS630 typing.

BACKGROUND The insertion element IS630 found in Aeromonas salmonicida belongs to the IS630-Tc1-mariner superfamily of transposons. It is present in multiple copies and represents approximately half of the IS present in the genome of A. salmonicida subsp. salmonicida A449. RESULTS By using High Copy Number IS630 Restriction Fragment Length Polymorphism (HCN-IS630-RFLP), strains of various subspecies of Aeromonas salmonicida showed conserved or clustering patterns, thus allowing their differentiation from each other. Fingerprints of A. salmonicida subsp. salmonicida showed the highest homogeneity while 'atypical' A. salmonicida strains were more heterogeneous. IS630 typing also differentiated A. salmonicida from other Aeromonas species. The copy number of IS630 in Aeromonas salmonicida ranges from 8 to 35 and is much lower in other Aeromonas species. CONCLUSIONS HCN-IS630-RFLP is a powerful tool for subtyping of A. salmonicida. The high stability of IS630 insertions in A. salmonicida subsp. salmonicida indicates that it might have played a role in pathoadaptation of A. salmonicida which has reached an optimal configuration in the highly virulent and specific fish pathogen A. salmonicida subsp. salmonicida.

Prediction of outcome in patients with low-grade squamous intraepithelial lesions by fluorescence in situ hybridization analysis of human papillomavirus, TERC, and MYC

BACKGROUND Cytology is an excellent method with which to diagnose preinvasive lesions of the uterine cervix, but it suffers from limited specificity for clinically significant lesions. Supplementary methods might predict the natural course of the detected lesions. The objective of the current study was to test whether a multicolor fluorescence in situ hybridization (FISH) assay might help to stratify abnormal results of Papanicolaou tests. METHODS A total of 219 liquid-based cytology specimens of low-grade squamous intraepithelial lesions (LSIL), 49 atypical squamous cells of undetermined significance (ASCUS) specimens, 52 high-grade squamous intraepithelial lesion (HSIL) specimens, and 50 normal samples were assessed by FISH with probes for the human papillomavirus (HPV), MYC, and telomerase RNA component (TERC). Subtyping of HPV by polymerase chain reaction (PCR) was performed in a subset of cases (n=206). RESULTS There was a significant correlation found between HPV detection by FISH and PCR (P<.0001). In patients with LSILs, the presence of HPV detected by FISH was significantly associated with disease progression (P<.0001). An increased MYC and/or TERC gene copy number (>2 signals in>10% of cells) prevailed in 43% of ASCUS specimens and was more frequent in HSIL (85%) than in LSIL (33%) (HSIL vs LSIL: P<.0001). Increased TERC gene copy number was significantly correlated with progression of LSIL (P<.01; odds ratio, 7.44; area under the receiver operating characteristic curve, 0.73; positive predictive value, 0.30; negative predictive value, 0.94) CONCLUSIONS: The detection of HPV by FISH analysis is feasible in liquid-based cytology and is significantly correlated with HPV analysis by PCR. The analysis of TERC gene copy number may be useful for risk stratification in patients with LSIL.

HLA-DPB1 and DPB2 are genetic loci for systemic sclerosis: a genome-wide association study in Koreans with replication in North Americans.

OBJECTIVE: To identify systemic sclerosis (SSc) susceptibility loci via a genome-wide association study. METHODS: A genome-wide association study was performed in 137 patients with SSc and 564 controls from Korea using the Affymetrix Human SNP Array 5.0. After fine-mapping studies, the results were replicated in 1,107 SSc patients and 2,747 controls from a US Caucasian population. RESULTS: The single-nucleotide polymorphisms (SNPs) (rs3128930, rs7763822, rs7764491, rs3117230, and rs3128965) of HLA-DPB1 and DPB2 on chromosome 6 formed a distinctive peak with log P values for association with SSc susceptibility (P=8.16x10(-13)). Subtyping analysis of HLA-DPB1 showed that DPB1*1301 (P=7.61x10(-8)) and DPB1*0901 (P=2.55x10(-5)) were the subtypes most susceptible to SSc in Korean subjects. In US Caucasians, 2 pairs of SNPs, rs7763822/rs7764491 and rs3117230/rs3128965, showed strong association with SSc patients who had either circulating anti-DNA topoisomerase I (P=7.58x10(-17)/4.84x10(-16)) or anticentromere autoantibodies (P=1.12x10(-3)/3.2x10(-5)), respectively. CONCLUSION: The results of our genome-wide association study in Korean subjects indicate that the region of HLA-DPB1 and DPB2 contains the loci most susceptible to SSc in a Korean population. The confirmatory studies in US Caucasians indicate that specific SNPs of HLA-DPB1 and/or DPB2 are strongly associated with US Caucasian patients with SSc who are positive for anti-DNA topoisomerase I or anticentromere autoantibodies.

Outbreak investigation identifies a single Listeria monocytogenes strain in sheep with different clinical manifestations, soil and water.

Listeria (L.) monocytogenes causes orally acquired infections and is of major importance in ruminants. Little is known about L. monocytogenes transmission between farm environment and ruminants. In order to determine potential sources of infection, we investigated the distribution of L. monocytogenes genetic subtypes in a sheep farm during a listeriosis outbreak by applying four subtyping methods (MALDI-TOF-MS, MLST, MLVA and PFGE). L. monocytogenes was isolated from a lamb with septicemia and from the brainstem of three sheep with encephalitis. Samples from the farm environment were screened for the presence of L. monocytogenes during the listeriosis outbreak, four weeks and eight months after. L. monocytogenes was found only in soil and water tank swabs during the outbreak. Four weeks later, following thorough cleaning of the barn, as well as eight months later, L. monocytogenes was absent in environmental samples. All environmental and clinical L. monocytogenes isolates were found to be the same strain. Our results show that the outbreak involving two different clinical syndromes was caused by a single L. monocytogenes strain and that soil and water tanks were potential infection sources during this outbreak. However, silage cannot be completely ruled out as the bales fed prior to the outbreak were not available for analysis. Faeces samples were negative, suggesting that sheep did not act as amplification hosts contributing to environmental contamination. In conclusion, farm management appears to be a crucial factor for the limitation of a listeriosis outbreak.

Antibiotic Susceptibility and Sequence Type Distribution of Ureaplasma Species Isolated from Genital Samples in Switzerland.

Antibiotic resistance in Ureaplasma urealyticum/Ureaplasma parvum and Mycoplasma hominis is an issue of increasing importance. However, data regarding the susceptibility and, more importantly, the clonality of these organisms are limited. We analyzed 140 genital samples obtained in Bern, Switzerland, in 2014. Identification and antimicrobial susceptibility tests were performed by using the Mycoplasma IST 2 kit and sequencing of 16S rRNA genes. MICs for ciprofloxacin and azithromycin were obtained in broth microdilution assays. Clonality was analyzed with PCR-based subtyping and multilocus sequence typing (MLST), whereas quinolone resistance and macrolide resistance were studied by sequencing gyrA, gyrB, parC, and parE genes, as well as 23S rRNA genes and genes encoding L4/L22 ribosomal proteins. A total of 103 samples were confirmed as positive for U. urealyticum/U. parvum, whereas 21 were positive for both U. urealyticum/U. parvum and M. hominis. According to the IST 2 kit, the rates of nonsusceptibility were highest for ciprofloxacin (19.4%) and ofloxacin (9.7%), whereas low rates were observed for clarithromycin (4.9%), erythromycin (1.9%), and azithromycin (1%). However, inconsistent results between microdilution and IST 2 kit assays were recorded. Various sequence types (STs) observed previously in China (ST1, ST2, ST4, ST9, ST22, and ST47), as well as eight novel lineages, were detected. Only some quinolone-resistant isolates had amino acid substitutions in ParC (Ser83Leu in U. parvum of serovar 6) and ParE (Val417Thr in U. parvum of serovar 1 and the novel Thr417Val substitution in U. urealyticum). Isolates with mutations in 23S rRNA or substitutions in L4/L22 were not detected. This is the first study analyzing the susceptibility of U. urealyticum/U. parvum isolates in Switzerland and the clonality outside China. Resistance rates were low compared to those in other countries. We hypothesize that some hyperepidemic STs spread worldwide via sexual intercourse. Large combined microbiological and clinical studies should address this important issue.

Methicillin-resistant Staphylococcus aureus genotyping using a small set of polymorphisms

The aim of this study was to identify a set of genetic polymorphisms that efficiently divides methicillin-resistant Staphylococcus aureus (MRSA) strains into groups consistent with the population structure. The rationale was that such polymorphisms could underpin rapid real-time PCR or low-density array-based methods for monitoring MRSA dissemination in a cost-effective manner. Previously, the authors devised a computerized method for identifying sets of single nucleoticle polymorphisms (SNPs) with high resolving power that are defined by multilocus sequence typing (MLST) databases, and also developed a real-time PCR method for interrogating a seven-member SNP set for genotyping S. aureus. Here, it is shown that these seven SNPs efficiently resolve the major MRSA lineages and define 27 genotypes. The SNP-based genotypes are consistent with the MRSA population structure as defined by eBURST analysis. The capacity of binary markers to improve resolution was tested using 107 diverse MRSA isolates of Australian origin that encompass nine SNP-based genotypes. The addition of the virulence-associated genes cna, pvl and bbplsdrE, and the integrated plasmids pT181, p1258 and pUB110, resolved the nine SNP-based genotypes into 21 combinatorial genotypes. Subtyping of the SCCmec locus revealed new SCCmec types and increased the number of combinatorial genotypes to 24. It was concluded that these polymorphisms provide a facile means of assigning MRSA isolates into well-recognized lineages.

Lexical and nonlexical processing in developmental dyslexia: a case for different resources and different impairments

In a group of adult dyslexics word reading and, especially, word spelling are predicted more by what we have called lexical learning (tapped by a paired-associate task with pictures and written nonwords) than by phonological skills. Nonword reading and spelling, instead, are not associated with this task but they are predicted by phonological tasks. Consistently, surface and phonological dyslexics show opposite profiles on lexical learning and phonological tasks. The phonological dyslexics are more impaired on the phonological tasks, while the surface dyslexics are equally or more impaired on the lexical learning tasks. Finally, orthographic lexical learning explains more variation in spelling than in reading, and subtyping based on spelling returns more interpretable results than that based on reading. These results suggest that the quality of lexical representations is crucial to adult literacy skills. This is best measured by spelling and best predicted by a task of lexical learning. We hypothesize that lexical learning taps a uniquely human capacity to form new representations by recombining the units of a restricted set.