Tommy King-Yin Cheung

Learn More
Human tumours typically harbour a remarkable number of somatic mutations. If presented on major histocompatibility complex class I molecules (MHCI), peptides containing these mutations could potentially be immunogenic as they should be recognized as 'non-self' neo-antigens by the adaptive immune system. Recent work has confirmed that mutant peptides can(More)
BACKGROUND Divalent metal transporter 1 (DMT1) is a transmembrane glycoprotein which mediates the proton-coupled transport of a variety of divalent metal ions. Two isoforms, which differ by the presence (DMT1-IRE) or absence (DMT1-nonIRE) of an iron-responsive element (IRE) in their 3' untranslated region, are implicated in apical iron transport and(More)
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware design to allow for a complete design space exploration. Both the specification and the transformation mechanisms are encoded in a functional notation, called form, which(More)
Manganese plays a central role in cellular detoxification of reactive oxygen species (ROS). Therefore, manganese acquisition is considered to be important for bacterial pathogenesis by counteracting the oxidative burst of phagocytic cells during host infection. However, detailed analysis of the interplay between bacterial manganese acquisition and(More)
UNLABELLED The type I signal peptidase of Staphylococcus aureus, SpsB, is an attractive antibacterial target because it is essential for viability and extracellularly accessible. We synthesized compound 103, a novel arylomycin-derived inhibitor of SpsB with significant potency against various clinical S. aureus strains (MIC of ~1 µg/ml). The predominant(More)
ae aeWe present a hardware/software codesign methodology using formal transformations. The goal is to refine a given function specification of a task to an operational structure involving both hardware and software components. The refinement process is separated into two levels, the algorithmic and the structural. Within each level, refinement is(More)
  • 1