Learn More
Leishmania parasites are able to secure their survival and propagation within their host by altering signalling pathways involved in the ability of macrophages to kill pathogens or to engage adaptive immune system. An important step in this immune evasion process is the activation of host protein tyrosine phosphatase SHP-1 by Leishmania. SHP-1 has been(More)
Leishmania parasites have the ability to modify macrophage signaling pathways in order to survive and multiply within its mammalian host. They are also known to invade other cells including neutrophils, fibroblasts and dendritic cells (DCs). DCs have an important role in immunity as the link between innate and adaptive immunity, necessary for the(More)
Of the over 250 Aspergillus species, Aspergillus fumigatus accounts for up to 80% of invasive human infections. A. fumigatus produces galactosaminogalactan (GAG), an exopolysaccharide composed of galactose and N-acetyl-galactosamine (GalNAc) that mediates adherence and is required for full virulence. Less pathogenic Aspergillus species were found to produce(More)
UNLABELLED The mold Aspergillus fumigatus causes invasive infection in immunocompromised patients. Recently, galactosaminogalactan (GAG), an exopolysaccharide composed of galactose and N-acetylgalactosamine (GalNAc), was identified as a virulence factor required for biofilm formation. The molecular mechanisms underlying GAG biosynthesis and GAG-mediated(More)
  • Alessio Guglielmi, Benjamin Ralph, A Guglielmi, T Gundersen, M Parigot
  • 2015
Cut elimination in classical logic is widely regarded as intrinsically non-confluent because of the 'Lafont coun-terexample' 3: eliminating the cut in Π 1 A w A, B Π 2 A w A, ¯ B cut A requires choosing between Π 1 and Π 2. Since there is no natural choice between the two, the only way to obtain canonical cut-free proofs in classical logic is by imposing a(More)
  • 1