Regular symmetry patterns

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of "symmetry relations" ranging from weaker notions (e.g. simulation preorders) to the strongest notion (i.e. isomorphisms). Our framework enjoys two algorithmic properties: (1) symmetry verification: given a transducer, we can automatically check whether it is a symmetry pattern of a given system, and (2) symmetry synthesis: we can automatically generate a symmetry pattern for a given system in the form of a transducer. Furthermore, our symbolic language allows additional constraints that the symmetry patterns need to satisfy to be easily incorporated in the verification/synthesis. We show how these properties can help identify symmetry patterns in examples like dining philosopher protocols, self-stabilising protocols, and prioritised resource-allocator protocol. In some cases (e.g. Gries's coffee can problem), our technique automatically synthesises a safety-preserving finite approximant, which can then be verified for safety solely using a finite-state model checker.UPMAR

Genome-wide trans-ancestry meta-analysis provides insight into the genetic architecture of type 2 diabetes susceptibility.

To further understanding of the genetic basis of type 2 diabetes (T2D) susceptibility, we aggregated published meta-analyses of genome-wide association studies (GWAS), including 26,488 cases and 83,964 controls of European, east Asian, south Asian and Mexican and Mexican American ancestry. We observed a significant excess in the directional consistency of T2D risk alleles across ancestry groups, even at SNPs demonstrating only weak evidence of association. By following up the strongest signals of association from the trans-ethnic meta-analysis in an additional 21,491 cases and 55,647 controls of European ancestry, we identified seven new T2D susceptibility loci. Furthermore, we observed considerable improvements in the fine-mapping resolution of common variant association signals at several T2D susceptibility loci. These observations highlight the benefits of trans-ethnic GWAS for the discovery and characterization of complex trait loci and emphasize an exciting opportunity to extend insight into the genetic architecture and pathogenesis of human diseases across populations of diverse ancestry

Linkage Mapping and Comparative Genomics Using Next-Generation RAD Sequencing of a Non-Model Organism

Restriction-site associated DNA (RAD) sequencing is a powerful new method for targeted sequencing across the genomes of many individuals. This approach has broad potential for genetic analysis of non-model organisms including genotype-phenotype association mapping, phylogeography, population genetics and scaffolding genome assemblies through linkage mapping. We constructed a RAD library using genomic DNA from a Plutella xylostella (diamondback moth) backcross that segregated for resistance to the insecticide spinosad. Sequencing of 24 individuals was performed on a single Illumina GAIIx lane (51 base paired-end reads). Taking advantage of the lack of crossing over in homologous chromosomes in female Lepidoptera, 3,177 maternally inherited RAD alleles were assigned to the 31 chromosomes, enabling identification of the spinosad resistance and W/Z sex chromosomes. Paired-end reads for each RAD allele were assembled into contigs and compared to the genome of Bombyx mori (n = 28) using BLAST, revealing 28 homologous matches plus 3 expected fusion/breakage events which account for the difference in chromosome number. A genome-wide linkage map (1292 cM) was inferred with 2,878 segregating RAD alleles inherited from the backcross father, producing chromosome and location specific sequenced RAD markers. Here we have used RAD sequencing to construct a genetic linkage map de novo for an organism that has no previous genome data. Comparative analysis of P. xyloxtella linkage groups with B. mori chromosomes shows for the first time, genetic synteny appears common beyond the Macrolepidoptera. RAD sequencing is a powerful system capable of rapidly generating chromosome specific data for non-model organisms

Chromosome microarray analysis as first-line test in pregnancies with a priori low risk for detection of submicroscopic chromosomal abnormalities

n this study, we aimed to explore the utility of chromosomal microarray analysis (CMA) in groups of pregnancies with a priori low risk for detection of submicroscopic chromosome abnormalities, usually not considered an indication for testing, in order to assess whether CMA improves the detection rate of prenatal chromosomal aberrations. A total of 3000 prenatal samples were processed in parallel using both whole-genome CMA and conventional karyotyping. The indications for prenatal testing included: advanced maternal age, maternal serum screening test abnormality, abnormal ultrasound findings, known abnormal fetal karyotype, parental anxiety, family history of a genetic condition and cell culture failure. The use of CMA resulted in an increased detection rate regardless of the indication for analysis. This was evident in high risk groups (abnormal ultrasound findings and abnormal fetal karyotype), in which the percentage of detection was 5.8% (7/120), and also in low risk groups, such as advanced maternal age (6/1118, 0.5%), and parental anxiety (11/1674, 0.7%). A total of 24 (0.8%) fetal conditions would have remained undiagnosed if only a standard karyotype had been performed. Importantly, 17 (0.6%) of such findings would have otherwise been overlooked if CMA was offered only to high risk pregnancies.The results of this study suggest that more widespread CMA testing of fetuses would result in a higher detection of clinically relevant chromosome abnormalities, even in low risk pregnancies. Our findings provide substantial evidence for the introduction of CMA as a first-line diagnostic test for all pregnant women undergoing invasive prenatal testing, regardless of risk factors

Structural and Functional Characterization of Mature Forms of Metalloprotease E495 from Arctic Sea-Ice Bacterium Pseudoalteromonas sp. SM495

E495 is the most abundant protease secreted by the Arctic sea-ice bacterium Pseudoalteromonas sp. SM495. As a thermolysin family metalloprotease, E495 was found to have multiple active forms in the culture of strain SM495. E495-M (containing only the catalytic domain) and E495-M-C1 (containing the catalytic domain and one PPC domain) were two stable mature forms, and E495-M-C1-C2 (containing the catalytic domain and two PPC domains) might be an intermediate. Compared to E495-M, E495-M-C1 had similar affinity and catalytic efficiency to oligopeptides, but higher affinity and catalytic efficiency to proteins. The PPC domains from E495 were expressed as GST-fused proteins. Both of the recombinant PPC domains were shown to have binding ability to proteins C-phycocyanin and casein, and domain PPC1 had higher affinity to C-phycocyanin than domain PPC2. These results indicated that the domain PPC1 in E495-M-C1 could be helpful in binding protein substrate, and therefore, improving the catalytic efficiency. Site-directed mutagenesis on the PPC domains showed that the conserved polar and aromatic residues, D26, D28, Y30, Y/W65, in the PPC domains played key roles in protein binding. Our study may shed light on the mechanism of organic nitrogen degradation in the Arctic sea ice

Light in the Polar Night

How much light isa vailable for biological processes during Polar Night? This question appears simple enough. But the reality is that conventional light sen- sors for measuring visible light (~350 to ~700 nm) have not been sensitive enough to answer it. Beyond this technical challenge, “light” is a general term that must be qualified in terms of “light climate” before it has meaning for biological systems. In this chapter, we provide an answer to the question posed above and explore aspects of light climate during Polar Night with relevance to biology, specifically, how Polar Night is defined by solar elevation, atmospheric light in Polar Night and its propaga- tion underwater, bioluminescence in Polar Night and the concept of Polar Night as a deep-sea analogue, light pollution, and future perspectives. This chapter focuses on the quantity and quality of light present during Polar Night, while subsequent chapters in this volume focus on specific biological effects of this light for algae (Chap. “Marine Micro- and Macroalgae in the Polar Night”), zooplankton (Chaps.“Zooplankton in the Polar Night” and “Biological Clocks and Rhythms in Polar Organisms”), and fish (Chap. “Fish Ecology in the Polar Night”)

Elastogenic Protein Expression of a Highly Elastic Murine Spinal Ligament: The Ligamentum Flavum

Spinal ligaments, such as the ligamentum flavum (LF), are prone to degeneration and iatrogenic injury that can lead to back pain and nerve dysfunction. Repair and regeneration strategies for these tissues are lacking, perhaps due to limited understanding of spinal ligament formation, the elaboration of its elastic fibers, maturation and homeostasis. Using immunohistochemistry and histology, we investigated murine LF elastogenesis and tissue formation from embryonic to mature postnatal stages. We characterized the spatiotemporal distribution of the key elastogenic proteins tropoelastin, fibrillin-1, fibulin-4 and lysyl oxidase. We found that elastogenesis begins in utero with the microfibril constituent fibrillin-1 staining intensely just before birth. Elastic fibers were first detected histologically at postnatal day (P) 7, the earliest stage at which tropoelastin and fibulin-4 stained intensely. From P7 to P28, elastic fibers grew in diameter and became straighter along the axis. The growth of elastic fibers coincided with intense staining of tropoelastin and fibulin-4 staining, possibly supporting a chaperone role for fibulin-4. These expression patterns correlated with reported skeletal and behavioral changes during murine development. This immunohistochemical characterization of elastogenesis of the LF will be useful for future studies investigating mechanisms for elastogenesis and developing new strategies for treatment or regeneration of spinal ligaments and other highly elastic tissues

Fungal Endophyte Diversity in Sarracenia

Fungal endophytes were isolated from 4 species of the carnivorous pitcher plant genus Sarracenia: S. minor, S. oreophila, S. purpurea, and S. psittacina. Twelve taxa of fungi, 8 within the Ascomycota and 4 within the Basidiomycota, were identified based on PCR amplification and sequencing of the internal transcribed spacer sequences of nuclear ribosomal DNA (ITS rDNA) with taxonomic identity assigned using the NCBI nucleotide megablast search tool. Endophytes are known to produce a large number of metabolites, some of which may contribute to the protection and survival of the host. We speculate that endophyte-infected Sarracenia may benefit from their fungal associates by their influence on nutrient availability from within pitchers and, possibly, by directly influencing the biota within pitchers

GUCY2C Opposes Systemic Genotoxic Tumorigenesis by Regulating AKT-Dependent Intestinal Barrier Integrity

The barrier separating mucosal and systemic compartments comprises epithelial cells, annealed by tight junctions, limiting permeability. GUCY2C recently emerged as an intestinal tumor suppressor coordinating AKT1-dependent crypt-villus homeostasis. Here, the contribution of GUCY2C to barrier integrity opposing colitis and systemic tumorigenesis is defined. Mice deficient in GUCY2C (Gucy2c−/−) exhibited barrier hyperpermeability associated with reduced junctional proteins. Conversely, activation of GUCY2C in mice reduced barrier permeability associated with increased junctional proteins. Further, silencing GUCY2C exacerbated, while activation reduced, chemical barrier disruption and colitis. Moreover, eliminating GUCY2C amplified, while activation reduced, systemic oxidative DNA damage. This genotoxicity was associated with increased spontaneous and carcinogen-induced systemic tumorigenesis in Gucy2c−/− mice. GUCY2C regulated barrier integrity by repressing AKT1, associated with increased junction proteins occludin and claudin 4 in mice and Caco2 cells in vitro. Thus, GUCY2C defends the intestinal barrier, opposing colitis and systemic genotoxicity and tumorigenesis. The therapeutic potential of this observation is underscored by the emerging clinical development of oral GUCY2C ligands, which can be used for chemoprophylaxis in inflammatory bowel disease and cancer

Improving delirium care in the intensive care unit: The design of a pragmatic study

<p>Abstract</p> <p>Background</p> <p>Delirium prevalence in the intensive care unit (ICU) is high. Numerous psychotropic agents are used to manage delirium in the ICU with limited data regarding their efficacy or harms.</p> <p>Methods/Design</p> <p>This is a randomized controlled trial of 428 patients aged 18 and older suffering from delirium and admitted to the ICU of Wishard Memorial Hospital in Indianapolis. Subjects assigned to the intervention group will receive a multicomponent pharmacological management protocol for delirium (PMD) and those assigned to the control group will receive no change in their usual ICU care. The primary outcomes of the trial are (1) delirium severity as measured by the Delirium Rating Scale revised-98 (DRS-R-98) and (2) delirium duration as determined by the Confusion Assessment Method for the ICU (CAM-ICU). The PMD protocol targets the three neurotransmitter systems thought to be compromised in delirious patients: dopamine, acetylcholine, and gamma-aminobutyric acid. The PMD protocol will target the reduction of anticholinergic medications and benzodiazepines, and introduce a low-dose of haloperidol at 0.5-1 mg for 7 days. The protocol will be delivered by a combination of computer (artificial intelligence) and pharmacist (human intelligence) decision support system to increase adherence to the PMD protocol.</p> <p>Discussion</p> <p>The proposed study will evaluate the content and the delivery process of a multicomponent pharmacological management program for delirium in the ICU.</p> <p>Trial Registration</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT00842608">NCT00842608</a></p