Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Anaphylaxis

Anaphylaxis is an acute, potentially fatal systemic reaction with varied mechanisms and clinical presentations. Although prompt recognition and treatment of anaphylaxis are imperative, both patients and healthcare professionals often fail to recognize and diagnose early signs and symptoms of the condition. Clinical manifestations vary widely, however, the most common signs are cutaneous symptoms, including angioedema, urticaria, erythema and pruritus. Immediate intramuscular administration of epinephrine into the lateral thigh is first-line therapy, even if the diagnosis is uncertain. The mainstays of long-term management include specialist assessment, avoidance measures, and the provision of an epinephrine auto-injector and an individualized anaphylaxis action plan. This article provides an overview of the causes, clinical features, diagnosis and acute and long-term management of this serious allergic reaction

Isoforms of U1-70k control subunit dynamics in the human spliceosomal U1 snRNP

Most human protein-encoding genes contain multiple exons that are spliced together, frequently in alternative arrangements, by the spliceosome. It is established that U1 snRNP is an essential component of the spliceosome, in human consisting of RNA and ten proteins, several of which are post- translationally modified and exist as multiple isoforms. Unresolved and challenging to investigate are the effects of these post translational modifications on the dynamics, interactions and stability of the particle. Using mass spectrometry we investigate the composition and dynamics of the native human U1 snRNP and compare native and recombinant complexes to isolate the effects of various subunits and isoforms on the overall stability. Our data reveal differential incorporation of four protein isoforms and dynamic interactions of subunits U1-A, U1-C and Sm-B/B’. Results also show that unstructured post- ranslationally modified C-terminal tails are responsible for the dynamics of Sm-B/B’ and U1-C and that their interactions with the Sm core are controlled by binding to different U1-70k isoforms and their phosphorylation status in vivo. These results therefore provide the important functional link between proteomics and structure as well as insight into the dynamic quaternary structure of the native U1 snRNP important for its function.This work was funded by: BBSRC (OVM), BBSRC and EPSRC (HH and NM), EU Prospects (HH), European Science Foundation (NM), the Royal Society (CVR), and fellowship from JSPS and HFSP (YM and DAPK respectively)

Phase behaviour of dehydrated phosphatidylcholines

Dehydrated DLPC, DMPC, DPPC and DSPC have been characterised at temperatures below the diacyl carbon chain-melting transition (Tm), using DSC. For the first time, the existence of pre-Tm transition processes, which are, usually, only observed in the colloidal/liposomal state of saturated phospholipids have been detected for the dehydrated phosphatidylcholines. Temperature modulated differential scanning calorimetry (TMDSC) was used to characterize the several complex, overlapping pre-Tm transition processes. Kinetic studies of the chain-melting (Tm) transition show the activation energy dependence on α (conversion rate) i.e. activation energy decreases as the transition progresses, pointing to the importance of initial cooperative (intra- and inter-molecular) mobility. Furthermore the activation energy increases with increase in diacyl chain length of the phosphatidylcholines which supports the finding that greater molecular interactions of the polymer chain and its head groups in the dehydrated solid state lead to enhanced stability of dehydrated phosphatidylcholines

Neutrophils in cancer: neutral no more

Neutrophils are indispensable antagonists of microbial infection and facilitators of wound healing. In the cancer setting, a newfound appreciation for neutrophils has come into view. The traditionally held belief that neutrophils are inert bystanders is being challenged by the recent literature. Emerging evidence indicates that tumours manipulate neutrophils, sometimes early in their differentiation process, to create diverse phenotypic and functional polarization states able to alter tumour behaviour. In this Review, we discuss the involvement of neutrophils in cancer initiation and progression, and their potential as clinical biomarkers and therapeutic targets

Discovery of Porcine microRNAs and Profiling from Skeletal Muscle Tissues during Development

MiRNAs (microRNAs) play critical roles in many important biological processes such as growth and development in mammals. In this study, we identified hundreds of porcine miRNA candidates through in silico prediction and analyzed their expression in developing skeletal muscle using microarray. Microarray screening using RNA samples prepared from a 33-day whole embryo and an extra embryo membrane validated 296 of the predicted candidates. Comparative expression profiling across samples of longissimus muscle collected from 33-day and 65-day post-gestation fetuses, as well as adult pigs, identified 140 differentially expressed miRNAs amongst the age groups investigated. The differentially expressed miRNAs showed seven distinctive types of expression patterns, suggesting possible involvement in certain biological processes. Five of the differentially expressed miRNAs were validated using real-time PCR. In silico analysis of the miRNA-mRNA interaction sites suggested that the potential mRNA targets of the differentially expressed miRNAs may play important roles in muscle growth and development

Meta-analysis of genome-wide association studies from the CHARGE consortium identifies common variants associated with carotid intima media thickness and plaque

Carotid intima media thickness (cIMT) and plaque determined by ultrasonography are established measures of subclinical atherosclerosis that each predicts future cardiovascular disease events. We conducted a meta-analysis of genome-wide association data in 31,211 participants of European ancestry from nine large studies in the setting of the Cohorts for Heart and Aging Research in Genomic Epidemiology (CHARGE) Consortium. We then sought additional evidence to support our findings among 11,273 individuals using data from seven additional studies. In the combined meta-analysis, we identified three genomic regions associated with common carotid intima media thickness and two different regions associated with the presence of carotid plaque (P < 5 × 10 -8). The associated SNPs mapped in or near genes related to cellular signaling, lipid metabolism and blood pressure homeostasis, and two of the regions were associated with coronary artery disease (P < 0.006) in the Coronary Artery Disease Genome-Wide Replication and Meta-Analysis (CARDIoGRAM) consortium. Our findings may provide new insight into pathways leading to subclinical atherosclerosis and subsequent cardiovascular events

MicroTar: predicting microRNA targets from RNA duplexes

BACKGROUND: The accurate prediction of a comprehensive set of messenger RNAs (targets) regulated by animal microRNAs (miRNAs) remains an open problem. In particular, the prediction of targets that do not possess evolutionarily conserved complementarity to their miRNA regulators is not adequately addressed by current tools. RESULTS: We have developed MicroTar, an animal miRNA target prediction tool based on miRNA-target complementarity and thermodynamic data. The algorithm uses predicted free energies of unbound mRNA and putative mRNA-miRNA heterodimers, implicitly addressing the accessibility of the mRNA 3' untranslated region. MicroTar does not rely on evolutionary conservation to discern functional targets, and is able to predict both conserved and non-conserved targets. MicroTar source code and predictions are accessible at , where both serial and parallel versions of the program can be downloaded under an open-source licence. CONCLUSION: MicroTar achieves better sensitivity than previously reported predictions when tested on three distinct datasets of experimentally-verified miRNA-target interactions in C. elegans, Drosophila, and mouse

Assessing the Utility of Thermodynamic Features for microRNA Target Prediction under Relaxed Seed and No Conservation Requirements

BACKGROUND: Many computational microRNA target prediction tools are focused on several key features, including complementarity to 5'seed of miRNAs and evolutionary conservation. While these features allow for successful target identification, not all miRNA target sites are conserved and adhere to canonical seed complementarity. Several studies have propagated the use of energy features of mRNA:miRNA duplexes as an alternative feature. However, different independent evaluations reported conflicting results on the reliability of energy-based predictions. Here, we reassess the usefulness of energy features for mammalian target prediction, aiming to relax or eliminate the need for perfect seed matches and conservation requirement. METHODOLOGY/PRINCIPAL FINDINGS: We detect significant differences of energy features at experimentally supported human miRNA target sites and at genome-wide sites of AGO protein interaction. This trend is confirmed on datasets that assay the effect of miRNAs on mRNA and protein expression changes, and a simple linear regression model leads to significant correlation of predicted versus observed expression change. Compared to 6-mer seed matches as baseline, application of our energy-based model leads to ∼3-5-fold enrichment on highly down-regulated targets, and allows for prediction of strictly imperfect targets with enrichment above baseline. CONCLUSIONS/SIGNIFICANCE: In conclusion, our results indicate significant promise for energy-based miRNA target prediction that includes a broader range of targets without having to use conservation or impose stringent seed match rules