Platform Dependent Verification: On Engineering Verification Tools for 21st Century

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006

Effect of Alirocumab on Lipoprotein(a) and Cardiovascular Risk After Acute Coronary Syndrome

Background: Lipoprotein(a) concentration is associated with cardiovascular events. Alirocumab, a proprotein convertase subtilisin/kexin type 9 inhibitor, lowers lipoprotein(a) and low-density lipoprotein cholesterol (LDL-C). Objectives: A pre-specified analysis of the placebo-controlled ODYSSEY Outcomes trial in patients with recent acute coronary syndrome (ACS) determined whether alirocumab-induced changes in lipoprotein(a) and LDL-C independently predicted major adverse cardiovascular events (MACE). Methods: One to 12 months after ACS, 18,924 patients on high-intensity statin therapy were randomized to alirocumab or placebo and followed for 2.8 years (median). Lipoprotein(a) was measured at randomization and 4 and 12 months thereafter. The primary MACE outcome was coronary heart disease death, nonfatal myocardial infarction, ischemic stroke, or hospitalization for unstable angina. Results: Baseline lipoprotein(a) levels (median: 21.2 mg/dl; interquartile range [IQR]: 6.7 to 59.6 mg/dl) and LDL-C [corrected for cholesterol content in lipoprotein(a)] predicted MACE. Alirocumab reduced lipoprotein(a) by 5.0 mg/dl (IQR: 0 to 13.5 mg/dl), corrected LDL-C by 51.1 mg/dl (IQR: 33.7 to 67.2 mg/dl), and reduced the risk of MACE (hazard ratio [HR]: 0.85; 95% confidence interval [CI]: 0.78 to 0.93). Alirocumab-induced reductions of lipoprotein(a) and corrected LDL-C independently predicted lower risk of MACE, after adjustment for baseline concentrations of both lipoproteins and demographic and clinical characteristics. A 1-mg/dl reduction in lipoprotein(a) with alirocumab was associated with a HR of 0.994 (95% CI: 0.990 to 0.999; p = 0.0081). Conclusions: Baseline lipoprotein(a) and corrected LDL-C levels and their reductions by alirocumab predicted the risk of MACE after recent ACS. Lipoprotein(a) lowering by alirocumab is an independent contributor to MACE reduction, which suggests that lipoprotein(a) should be an independent treatment target after ACS. (ODYSSEY Outcomes: Evaluation of Cardiovascular Outcomes After an Acute Coronary Syndrome During Treatment With Alirocumab; NCT01663402)

Noncoding deletions reveal a gene that is critical for intestinal function.

Large-scale genome sequencing is poised to provide a substantial increase in the rate of discovery of disease-associated mutations, but the functional interpretation of such mutations remains challenging. Here we show that deletions of a sequence on human chromosome 16 that we term the intestine-critical region (ICR) cause intractable congenital diarrhoea in infants1,2. Reporter assays in transgenic mice show that the ICR contains a regulatory sequence that activates transcription during the development of the gastrointestinal system. Targeted deletion of the ICR in mice caused symptoms that recapitulated the human condition. Transcriptome analysis revealed that an unannotated open reading frame (Percc1) flanks the regulatory sequence, and the expression of this gene was lost in the developing gut of mice that lacked the ICR. Percc1-knockout mice displayed phenotypes similar to those observed upon ICR deletion in mice and patients, whereas an ICR-driven Percc1 transgene was sufficient to rescue the phenotypes found in mice that lacked the ICR. Together, our results identify a gene that is critical for intestinal function and underscore the need for targeted in vivo studies to interpret the growing number of clinical genetic findings that do not affect known protein-coding genes

Complete sequence of the 22q11.2 allele in 1,053 subjects with 22q11.2 deletion syndrome reveals modifiers of conotruncal heart defects

The 22q11.2 deletion syndrome (22q11.2DS) results from non-allelic homologous recombination between low-copy repeats termed LCR22. About 60%-70% of individuals with the typical 3 megabase (Mb) deletion from LCR22A-D have congenital heart disease, mostly of the conotruncal type (CTD), whereas others have normal cardiac anatomy. In this study, we tested whether variants in the hemizygous LCR22A-D region are associated with risk for CTDs on the basis of the sequence of the 22q11.2 region from 1,053 22q11.2DS individuals. We found a significant association (FDR p < 0.05) of the CTD subset with 62 common variants in a single linkage disequilibrium (LD) block in a 350 kb interval harboring CRKL. A total of 45 of the 62 variants were associated with increased risk for CTDs (odds ratio [OR) ranges: 1.64-4.75). Associations of four variants were replicated in a meta-analysis of three genome-wide association studies of CTDs in affected individuals without 22q11.2DS. One of the replicated variants, rs178252, is located in an open chromatin region and resides in the double-elite enhancer, GH22J020947, that is predicted to regulate CRKL (CRK-like proto-oncogene, cytoplasmic adaptor) expression. Approximately 23% of patients with nested LCR22C-D deletions have CTDs, and inactivation of Crkl in mice causes CTDs, thus implicating this gene as a modifier. Rs178252 and rs6004160 are expression quantitative trait loci (eQTLs) of CRKL. Furthermore, set-based tests identified an enhancer that is predicted to target CRKL and is significantly associated with CTD risk (GH22J020946, sequence kernal association test (SKAT) p = 7.21 × 10-5) in the 22q11.2DS cohort. These findings suggest that variance in CTD penetrance in the 22q11.2DS population can be explained in part by variants affecting CRKL expression

Complex terrain experiments in the New European Wind Atlas

The New European Wind Atlas project will create a freely accessible wind atlas covering Europe and Turkey, develop the model chain to create the atlas and perform a series of experiments on flow in many different kinds of complex terrain to validate the models. This paper describes the experiments of which some are nearly completed while others are in the planning stage. All experiments focus on the flow properties that are relevant for wind turbines, so the main focus is the mean flow and the turbulence at heights between 40 and 300 m. Also extreme winds, wind shear and veer, and diurnal and seasonal variations of the wind are of interest. Common to all the experiments is the use of Doppler lidar systems to supplement and in some cases replace completely meteorological towers. Many of the lidars will be equipped with scan heads that will allow for arbitrary scan patterns by several synchronized systems. Two pilot experiments, one in Portugal and one in Germany, show the value of using multiple synchronized, scanning lidar, both in terms of the accuracy of the measurements and the atmospheric physical processes that can be studied. The experimental data will be used for validation of atmospheric flow models and will by the end of the project be freely available. This article is part of the themed issue ‘Wind energy in complex terrains’

High-Resolution Copy-Number Variation Map Reflects Human Olfactory Receptor Diversity and Evolution

Olfactory receptors (ORs), which are involved in odorant recognition, form the largest mammalian protein superfamily. The genomic content of OR genes is considerably reduced in humans, as reflected by the relatively small repertoire size and the high fraction (∼55%) of human pseudogenes. Since several recent low-resolution surveys suggested that OR genomic loci are frequently affected by copy-number variants (CNVs), we hypothesized that CNVs may play an important role in the evolution of the human olfactory repertoire. We used high-resolution oligonucleotide tiling microarrays to detect CNVs across 851 OR gene and pseudogene loci. Examining genomic DNA from 25 individuals with ancestry from three populations, we identified 93 OR gene loci and 151 pseudogene loci affected by CNVs, generating a mosaic of OR dosages across persons. Our data suggest that ∼50% of the CNVs involve more than one OR, with the largest CNV spanning 11 loci. In contrast to earlier reports, we observe that CNVs are more frequent among OR pseudogenes than among intact genes, presumably due to both selective constraints and CNV formation biases. Furthermore, our results show an enrichment of CNVs among ORs with a close human paralog or lacking a one-to-one ortholog in chimpanzee. Interestingly, among the latter we observed an enrichment in CNV losses over gains, a finding potentially related to the known diminution of the human OR repertoire. Quantitative PCR experiments performed for 122 sampled ORs agreed well with the microarray results and uncovered 23 additional CNVs. Importantly, these experiments allowed us to uncover nine common deletion alleles that affect 15 OR genes and five pseudogenes. Comparison to the chimpanzee reference genome revealed that all of the deletion alleles are human derived, therefore indicating a profound effect of human-specific deletions on the individual OR gene content. Furthermore, these deletion alleles may be used in future genetic association studies of olfactory inter-individual differences

Enhanced Maternal Origin of the 22q11.2 Deletion in Velocardiofacial and DiGeorge Syndromes

Velocardiofacial and DiGeorge syndromes, also known as 22q11.2 deletion syndrome (22q11DS), are congenital-anomaly disorders caused by a de novo hemizygous 22q11.2 deletion mediated by meiotic nonallelic homologous recombination events between low-copy repeats, also known as segmental duplications. Although previous studies exist, each was of small size, and it remains to be determined whether there are parent-of-origin biases for the de novo 22q11.2 deletion. To address this question, we genotyped a total of 389 DNA samples from 22q11DS-affected families. A total of 219 (56%) individuals with 22q11DS had maternal origin and 170 (44%) had paternal origin of the de novo deletion, which represents a statistically significant bias for maternal origin (p = 0.0151). Combined with many smaller, previous studies, 465 (57%) individuals had maternal origin and 345 (43%) had paternal origin, amounting to a ratio of 1.35 or a 35% increase in maternal compared to paternal origin (p = 0.000028). Among 1,892 probands with the de novo 22q11.2 deletion, the average maternal age at time of conception was 29.5, and this is similar to data for the general population in individual countries. Of interest, the female recombination rate in the 22q11.2 region was about 1.6–1.7 times greater than that for males, suggesting that for this region in the genome, enhanced meiotic recombination rates, as well as other as-of-yet undefined 22q11.2-specific features, could be responsible for the observed excess in maternal origin