Message Sequence Charts (MSC) have been traditionally used to depict the execution scenarios in t... more Message Sequence Charts (MSC) have been traditionally used to depict the execution scenarios in the early stages of the design cycle. They describe intuitively inter-process communication in the scenario but leave out intra-process control flow. Transition Systems, on the other hand, models control flow explicitly. Roychoudhury and Thiagarajan have developed an executable formalism called Communicating Transaction Process which uses the high-level transition systems to capture the control flow while using MSCs to describe the non-atomic component interactions. By striking a balance between control flow and component interactions, the CTP model is made flexible, expressive and amenable to formal analysis and synthesis. In this project we aim to extend the model by adding object features to the model, and call it Object Communicating Transaction Processes, or OCTP. The OCTP can be used to model large systems without causing unmanageable complexity. We show how to translate an OCTP mod...
It is widely feared that a novel, highly pathogenic, human transmissible influenza virus may evol... more It is widely feared that a novel, highly pathogenic, human transmissible influenza virus may evolve that could cause the next global pandemic. Mitigating the spread of such an influenza pandemic would require not only the timely administration of antiviral drugs to those infected, but also the implementation of suitable intervention policies for stunting the spread of the virus. Towards this end, mathematical modelling and simulation studies are crucial as they allow us to evaluate the predicted effectiveness of the various intervention policies before enforcing them. Diagnosis plays a vital role in the overall pandemic management framework by detecting and distinguishing the pathogenic strain from the less threatening seasonal strains and other influenza-like illnesses. This allows treatment and intervention to be deployed effectively, given limited antiviral supplies and other resources. However, the time required to design a fast and accurate testkit for novel strains may limit t...
We report the first investigation of translational efficiency on a global scale, also known as tr... more We report the first investigation of translational efficiency on a global scale, also known as translatome, of a Chinese hamster ovary (CHO) DG44 cell line producing monoclonal antibodies (mAb). The translatome data was generated via combined use of high resolution and streamlined polysome profiling technology and proprietary Nimblegen microarrays probing for more than 13K annotated CHO-specific genes. The distribution of ribosome loading during the exponential growth phase revealed the translational activity corresponding to the maximal growth rate, thus allowing us to identify stably and highly translated genes encoding heterogeneous nuclear ribonucleoproteins (Hnrnpc and Hnrnpa2b1), protein regulator of cytokinesis 1 (Prc1), glucose-6-phosphate dehydrogenase (G6pdh), UTP6 small subunit processome (Utp6) and RuvB-like protein 1 (Ruvbl1) as potential key players for cellular growth. Moreover, correlation analysis between transcriptome and translatome data sets showed that transcript level and translation efficiency were uncoupled for 95% of investigated genes, suggesting the implication of translational control mechanisms such as the mTOR pathway. Thus, the current translatome analysis platform offers new insights into gene expression in CHO cell cultures by bridging the gap between transcriptome and proteome data, which will enable researchers of the bioprocessing field to prioritize in high-potential candidate genes and to devise optimal strategies for cell engineering toward improving culture performance.
Background It is important to understand the roles of C-type lectins in the immune system due to ... more Background It is important to understand the roles of C-type lectins in the immune system due to their ubiquity and diverse range of functions in animal cells. It has been observed that currently confirmed C-type lectins share a highly conserved domain known as the C-type carbohydrate recognition domain (CRD). Using the sequence profile of the CRD, an increasing number of putative C-type lectins have been identified. Hence, it is highly needed to develop a systematic framework that enables us to elucidate their carbohydrate (glycan) recognition function, and discover their physiological and pathological roles. Results Presented herein is an integrated workflow for characterizing the sequence and structural features of novel C-type lectins. Our workflow utilizes web-based queries and available software suites to annotate features that can be found on the C-type lectin, given its amino acid sequence. At the same time, it incorporates modeling and analysis of glycans - a major class of...
Message Sequence Charts (MSC) have been traditionally used to depict the execution scenarios in t... more Message Sequence Charts (MSC) have been traditionally used to depict the execution scenarios in the early stages of the design cycle. They describe intuitively inter-process communication in the scenario but leave out intra-process control flow. Transition Systems, on the other hand, models control flow explicitly. Roychoudhury and Thiagarajan have developed an executable formalism called Communicating Transaction Process which uses the high-level transition systems to capture the control flow while using MSCs to describe the non-atomic component interactions. By striking a balance between control flow and component interactions, the CTP model is made flexible, expressive and amenable to formal analysis and synthesis. In this project we aim to extend the model by adding object features to the model, and call it Object Communicating Transaction Processes, or OCTP. The OCTP can be used to model large systems without causing unmanageable complexity. We show how to translate an OCTP mod...
It is widely feared that a novel, highly pathogenic, human transmissible influenza virus may evol... more It is widely feared that a novel, highly pathogenic, human transmissible influenza virus may evolve that could cause the next global pandemic. Mitigating the spread of such an influenza pandemic would require not only the timely administration of antiviral drugs to those infected, but also the implementation of suitable intervention policies for stunting the spread of the virus. Towards this end, mathematical modelling and simulation studies are crucial as they allow us to evaluate the predicted effectiveness of the various intervention policies before enforcing them. Diagnosis plays a vital role in the overall pandemic management framework by detecting and distinguishing the pathogenic strain from the less threatening seasonal strains and other influenza-like illnesses. This allows treatment and intervention to be deployed effectively, given limited antiviral supplies and other resources. However, the time required to design a fast and accurate testkit for novel strains may limit t...
We report the first investigation of translational efficiency on a global scale, also known as tr... more We report the first investigation of translational efficiency on a global scale, also known as translatome, of a Chinese hamster ovary (CHO) DG44 cell line producing monoclonal antibodies (mAb). The translatome data was generated via combined use of high resolution and streamlined polysome profiling technology and proprietary Nimblegen microarrays probing for more than 13K annotated CHO-specific genes. The distribution of ribosome loading during the exponential growth phase revealed the translational activity corresponding to the maximal growth rate, thus allowing us to identify stably and highly translated genes encoding heterogeneous nuclear ribonucleoproteins (Hnrnpc and Hnrnpa2b1), protein regulator of cytokinesis 1 (Prc1), glucose-6-phosphate dehydrogenase (G6pdh), UTP6 small subunit processome (Utp6) and RuvB-like protein 1 (Ruvbl1) as potential key players for cellular growth. Moreover, correlation analysis between transcriptome and translatome data sets showed that transcript level and translation efficiency were uncoupled for 95% of investigated genes, suggesting the implication of translational control mechanisms such as the mTOR pathway. Thus, the current translatome analysis platform offers new insights into gene expression in CHO cell cultures by bridging the gap between transcriptome and proteome data, which will enable researchers of the bioprocessing field to prioritize in high-potential candidate genes and to devise optimal strategies for cell engineering toward improving culture performance.
Background It is important to understand the roles of C-type lectins in the immune system due to ... more Background It is important to understand the roles of C-type lectins in the immune system due to their ubiquity and diverse range of functions in animal cells. It has been observed that currently confirmed C-type lectins share a highly conserved domain known as the C-type carbohydrate recognition domain (CRD). Using the sequence profile of the CRD, an increasing number of putative C-type lectins have been identified. Hence, it is highly needed to develop a systematic framework that enables us to elucidate their carbohydrate (glycan) recognition function, and discover their physiological and pathological roles. Results Presented herein is an integrated workflow for characterizing the sequence and structural features of novel C-type lectins. Our workflow utilizes web-based queries and available software suites to annotate features that can be found on the C-type lectin, given its amino acid sequence. At the same time, it incorporates modeling and analysis of glycans - a major class of...
Uploads