Learn More
<i>Numerous researchers have reported success in reasoning about properties of small programs using finite-state verification techniques. We believe, as do most researchers in this area, that in order to scale those initial successes to realistic programs, aggressive abstraction of program data will be necessary. Furthermore, we believe that to make(More)
  • Riccardo E Marioni, Sonia Shah, Allan F McRae, Brian H Chen, Elena Colicino, Sarah E Harris +25 others
  • 2015
DNA methylation levels change with age. Recent studies have identified biomarkers of chronological age based on DNA methylation levels. It is not yet known whether DNA methylation age captures aspects of biological age. Here we test whether differences between people’s chronological ages and estimated ages, DNA methylation age, predict all-cause mortality(More)
Genome-wide association studies (GWAS) have uncovered numerous genetic variants (SNPs) that are associated with blood pressure (BP). Genetic variants may lead to BP changes by acting on intermediate molecular phenotypes such as coded protein sequence or gene expression, which in turn affect BP variability. Therefore, characterizing genes whose expression is(More)
Identification of microRNA expression quantitative trait loci (miR-eQTL) can yield insights into regulatory mechanisms of microRNA transcription, and can help elucidate the role of microRNA as mediators of complex traits. Here we present a miR-eQTL mapping study of whole blood from 5,239 individuals, and identify 5,269 cis-miR-eQTLs for 76 mature microRNAs.(More)
Genome-wide expressio n quantitative trait locus (eQTL) mapping may reveal common genetic variants regulating gene expression. In addition to mapping eQTLs, we systematically evaluated the heritability of the whole blood transcriptome in 5,626 participants from the Framingham Heart Study. Of all gene expression measurements, about 40 % exhibit evidence of(More)
Failure of the human heart to maintain sufficient output of blood for the demands of the body, heart failure, is a common condition with high mortality even with modern therapeutic alternatives. To identify molecular determinants of mortality in patients with new-onset heart failure, we performed a meta-analysis of genome-wide association studies and(More)
Genome-wide association studies (GWAS) have identified numerous loci associated with blood pressure (BP). The molecular mechanisms underlying BP regulation, however, remain unclear. We investigated BP-associated molecular mechanisms by integrating BP GWAS with whole blood mRNA expression profiles in 3,679 individuals, using network approaches. BP(More)
Disease incidences increase with age, but the molecular characteristics of ageing that lead to increased disease susceptibility remain inadequately understood. Here we perform a whole-blood gene expression meta-analysis in 14,983 individuals of European ancestry (including replication) and identify 1,497 genes that are differentially expressed with(More)
BACKGROUND Atrial fibrillation (AF) involves substantial electrophysiological, structural and contractile remodeling. We hypothesize that characterizing gene expression might uncover important pathways related to AF. METHODS AND RESULTS We performed genome-wide whole blood transcriptomic profiling (Affymetrix Human Exon 1.0 ST Array) of 2446 participants(More)