A parametric framework for reversible pi-calculi

This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality inπ-calculus, which differ in the treatment of parallel extrusions of the same name. Hence, by using a parametric way of bookkeeping the order and the dependencies among extruders it is possible to map different causal semantics into the same framework. Starting from this simple observation, we present a uniform framework forreversibleπ-calculi that is parametric with respect to a data structure that stores information about the extrusion of a name. Different data structures yield different approaches to the parallel extrusion problem. We map three well-known causal semantics into our framework. We prove causal-consistency for the three instances of our framework. Furthermore, we prove a causal correspondence between the appropriate instances of the framework and the Boreale-Sangiorgi semantics and an operational correspondence with the reversibleπ-calculus causal semantics

Insights from Amphioxus into the Evolution of Vertebrate Cartilage

Central to the story of vertebrate evolution is the origin of the vertebrate head, a problem difficult to approach using paleontology and comparative morphology due to a lack of unambiguous intermediate forms. Embryologically, much of the vertebrate head is derived from two ectodermal tissues, the neural crest and cranial placodes. Recent work in protochordates suggests the first chordates possessed migratory neural tube cells with some features of neural crest cells. However, it is unclear how and when these cells acquired the ability to form cellular cartilage, a cell type unique to vertebrates. It has been variously proposed that the neural crest acquired chondrogenic ability by recruiting proto-chondrogenic gene programs deployed in the neural tube, pharynx, and notochord. To test these hypotheses we examined the expression of 11 amphioxus orthologs of genes involved in neural crest chondrogenesis. Consistent with cellular cartilage as a vertebrate novelty, we find that no single amphioxus tissue co-expresses all or most of these genes. However, most are variously co-expressed in mesodermal derivatives. Our results suggest that neural crest-derived cartilage evolved by serial cooption of genes which functioned primitively in mesoderm

Pathological Investigation of Congenital Bicuspid Aortic Valve Stenosis, Compared with Atherosclerotic Tricuspid Aortic Valve Stenosis and Congenital Bicuspid Aortic Valve Regurgitation

Congenital bicuspid aortic valve (CBAV) is the main cause of aortic stenosis (AS) in young adults. However, the histopathological features of AS in patients with CBAV have not been fully investigated.We examined specimens of aortic valve leaflets obtained from patients who had undergone aortic valve re/placement at our institution for severe AS with CBAV (n = 24, CBAV-AS group), severe AS with tricuspid aortic valve (n = 24, TAV-AS group), and severe aortic regurgitation (AR) with CBAV (n = 24, CBAV-AR group). We compared the histopathological features among the three groups. Pathological features were classified using semi-quantitative methods (graded on a scale 0 to 3) by experienced pathologists without knowledge of the patients' backgrounds. The severity of inflammation, neovascularization, and calcium and cholesterol deposition did not differ between the CBAV-AS and TAV-AS groups, and these four parameters were less marked in the CBAV-AR group than in the CBAV-AS (all p<0.01). Meanwhile, the grade of valvular fibrosis was greater in the CBAV-AS group, compared with the TAV-AS and CBAV-AR groups (both p<0.01). In AS patients, thickness of fibrotic lesions was greater on the aortic side than on the ventricular side (both p<0.01). Meanwhile, thickness of fibrotic lesions was comparable between the aortic and ventricular sides in CBAV-AR patients (p = 0.35).Valvular fibrosis, especially on the aortic side, was greater in patients with CBAV-AS than in those without, suggesting a difference in the pathogenesis of AS between CBAV and TAV

The role of ongoing dendritic oscillations in single-neuron dynamics

The dendritic tree contributes significantly to the elementary computations a neuron performs while converting its synaptic inputs into action potential output. Traditionally, these computations have been characterized as temporally local, near-instantaneous mappings from the current input of the cell to its current output, brought about by somatic summation of dendritic contributions that are generated in spatially localized functional compartments. However, recent evidence about the presence of oscillations in dendrites suggests a qualitatively different mode of operation: the instantaneous phase of such oscillations can depend on a long history of inputs, and under appropriate conditions, even dendritic oscillators that are remote may interact through synchronization. Here, we develop a mathematical framework to analyze the interactions of local dendritic oscillations, and the way these interactions influence single cell computations. Combining weakly coupled oscillator methods with cable theoretic arguments, we derive phase-locking states for multiple oscillating dendritic compartments. We characterize how the phase-locking properties depend on key parameters of the oscillating dendrite: the electrotonic properties of the (active) dendritic segment, and the intrinsic properties of the dendritic oscillators. As a direct consequence, we show how input to the dendrites can modulate phase-locking behavior and hence global dendritic coherence. In turn, dendritic coherence is able to gate the integration and propagation of synaptic signals to the soma, ultimately leading to an effective control of somatic spike generation. Our results suggest that dendritic oscillations enable the dendritic tree to operate on more global temporal and spatial scales than previously thought

Selective Pressures to Maintain Attachment Site Specificity of Integrative and Conjugative Elements

Integrative and conjugative elements (ICEs) are widespread mobile genetic elements that are usually found integrated in bacterial chromosomes. They are important agents of evolution and contribute to the acquisition of new traits, including antibiotic resistances. ICEs can excise from the chromosome and transfer to recipients by conjugation. Many ICEs are site-specific in that they integrate preferentially into a primary attachment site in the bacterial genome. Site-specific ICEs can also integrate into secondary locations, particularly if the primary site is absent. However, little is known about the consequences of integration of ICEs into alternative attachment sites or what drives the apparent maintenance and prevalence of the many ICEs that use a single attachment site. Using ICEBs1, a site-specific ICE from Bacillus subtilis that integrates into a tRNA gene, we found that integration into secondary sites was detrimental to both ICEBs1 and the host cell. Excision of ICEBs1 from secondary sites was impaired either partially or completely, limiting the spread of ICEBs1. Furthermore, induction of ICEBs1 gene expression caused a substantial drop in proliferation and cell viability within three hours. This drop was dependent on rolling circle replication of ICEBs1 that was unable to excise from the chromosome. Together, these detrimental effects provide selective pressure against the survival and dissemination of ICEs that have integrated into alternative sites and may explain the maintenance of site-specific integration for many ICEs.United States. Public Health Service (Grant GM050895

Prenatal muscle development in a mouse model for the secondary dystroglycanopathies

The defective glycosylation of α-dystroglycan is associated with a group of muscular dystrophies that are collectively referred to as the secondary dystroglycanopathies. Mutations in the gene encoding fukutin-related protein (FKRP) are one of the most common causes of secondary dystroglycanopathy in the UK and are associated with a wide spectrum of disease. Whilst central nervous system involvement has a prenatal onset, no studies have addressed prenatal muscle development in any of the mouse models for this group of diseases. In view of the pivotal role of α-dystroglycan in early basement membrane formation, we sought to determine if the muscle formation was altered in a mouse model of FKRP-related dystrophy

Distinct Mechanisms for Induction and Tolerance Regulate the Immediate Early Genes Encoding Interleukin 1β and Tumor Necrosis Factor α

Interleukin-1β and Tumor Necrosis Factor α play related, but distinct, roles in immunity and disease. Our study revealed major mechanistic distinctions in the Toll-like receptor (TLR) signaling-dependent induction for the rapidly expressed genes (IL1B and TNF) coding for these two cytokines. Prior to induction, TNF exhibited pre-bound TATA Binding Protein (TBP) and paused RNA Polymerase II (Pol II), hallmarks of poised immediate-early (IE) genes. In contrast, unstimulated IL1B displayed very low levels of both TBP and paused Pol II, requiring the lineage-specific Spi-1/PU.1 (Spi1) transcription factor as an anchor for induction-dependent interaction with two TLR-activated transcription factors, C/EBPβ and NF-κB. Activation and DNA binding of these two pre-expressed factors resulted in de novo recruitment of TBP and Pol II to IL1B in concert with a permissive state for elongation mediated by the recruitment of elongation factor P-TEFb. This Spi1-dependent mechanism for IL1B transcription, which is unique for a rapidly-induced/poised IE gene, was more dependent upon P-TEFb than was the case for the TNF gene. Furthermore, the dependence on phosphoinositide 3-kinase for P-TEFb recruitment to IL1B paralleled a greater sensitivity to the metabolic state of the cell and a lower sensitivity to the phenomenon of endotoxin tolerance than was evident for TNF. Such differences in induction mechanisms argue against the prevailing paradigm that all IE genes possess paused Pol II and may further delineate the specific roles played by each of these rapidly expressed immune modulators. © 2013 Adamik et al

The Actin Associated Protein Palladin Is Important for the Early Smooth Muscle Cell Differentiation

Palladin, an actin associated protein, plays a significant role in regulating cell adhesion and cell motility. Palladin is important for development, as knockdown in mice is embryonic lethal, yet its role in the development of the vasculature is unknown. We have shown that palladin is essential for the expression of smooth muscle cells (SMC) marker genes and force development in response to agonist stimulation in palladin deficient SMCs. The goal of the study was to determine the molecular mechanisms underlying palladin's ability to regulate the expression of SMC marker genes. Results showed that palladin expression was rapidly induced in an A404 cell line upon retinoic acid (RA) induced differentiation. Suppression of palladin expression with siRNAs inhibited the expression of RA induced SMC differentiation genes, SM α-actin (SMA) and SM22, whereas over-expression of palladin induced SMC gene expression. Chromatin immunoprecipitation assays provided evidence that palladin bound to SMC genes, whereas co-immunoprecipitation assays also showed binding of palladin to myocardin related transcription factors (MRTFs). Endogenous palladin was imaged in the nucleus, increased with leptomycin treatment and the carboxyl-termini of palladin co-localized with MRTFs in the nucleus. Results support a model wherein palladin contributes to SMC differentiation through regulation of CArG-SRF-MRTF dependent transcription of SMC marker genes and as previously published, also through actin dynamics. Finally, in E11.5 palladin null mouse embryos, the expression of SMA and SM22 mRNA and protein is decreased in the vessel wall. Taken together, our findings suggest that palladin plays a key role in the differentiation of SMCs in the developing vasculature