On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

Supernovae from rotating stars

The present paper discusses the main physical effects produced by stellar rotation on presupernovae, as well as observations which confirm these effects and their consequences for presupernova models. Rotation critically influences the mass of the exploding cores, the mass and chemical composition of the envelopes and the types of supernovae, as well as the properties of the remnants and the chemical yields. In the formation of gamma-ray bursts, rotation and the properties of rotating stars appear as the key factor. In binaries, the interaction between axial rotation and tidal effects often leads to interesting and unexpected results. Rotation plays a key role in shaping the evolution and nucleosynthesis in massive stars with very low metallicities (metallicity below about the Small Magellanic Cloud metallicity down to Population III stars). At solar and higher metallicities, the effects of rotation compete with those of stellar winds. In close binaries, the synchronisation process can lock the star at a high rotation rate despite strong mass loss and thus both effects, rotation and stellar winds, have a strong impact. In conclusion, rotation is a key physical ingredient of the stellar models and of presupernova stages, and the evolution both of single stars and close binaries. Moreover, important effects are expected along the whole cosmic history.Comment: 36 pages, 15 figures, published in Handbook of Supernovae, A.W. Alsabti and P. Murdin (eds), Springe

Wide-Scale Analysis of Human Functional Transcription Factor Binding Reveals a Strong Bias towards the Transcription Start Site

We introduce a novel method to screen the promoters of a set of genes with shared biological function, against a precompiled library of motifs, and find those motifs which are statistically over-represented in the gene set. The gene sets were obtained from the functional Gene Ontology (GO) classification; for each set and motif we optimized the sequence similarity score threshold, independently for every location window (measured with respect to the TSS), taking into account the location dependent nucleotide heterogeneity along the promoters of the target genes. We performed a high throughput analysis, searching the promoters (from 200bp downstream to 1000bp upstream the TSS), of more than 8000 human and 23,000 mouse genes, for 134 functional Gene Ontology classes and for 412 known DNA motifs. When combined with binding site and location conservation between human and mouse, the method identifies with high probability functional binding sites that regulate groups of biologically related genes. We found many location-sensitive functional binding events and showed that they clustered close to the TSS. Our method and findings were put to several experimental tests. By allowing a "flexible" threshold and combining our functional class and location specific search method with conservation between human and mouse, we are able to identify reliably functional TF binding sites. This is an essential step towards constructing regulatory networks and elucidating the design principles that govern transcriptional regulation of expression. The promoter region proximal to the TSS appears to be of central importance for regulation of transcription in human and mouse, just as it is in bacteria and yeast.Comment: 31 pages, including Supplementary Information and figure

Resource Sharing via Capability-Based Multiparty Session Types

Multiparty Session Types (MPST) are a type formalism used to model communication protocols among components in distributed systems, by specifying type and direction of data transmitted. It is standard for multiparty session type systems to use access control based on linear or affine types. While useful in offering strong guarantees of communication safety and session fidelity, linearity and affinity run into the well-known problem of inflexible programming, excluding scenarios that make use of shared channels or need to store channels in shared data structures. In this paper, we develop capability-based resource sharing for multiparty session types. In this setting, channels are split into two entities, the channel itself and the capability of using it. This gives rise to a more flexible session type system, which allows channel references to be shared and stored in persistent data structures. We illustrate our type system through a producer-consumer case study. Finally, we prove that the resulting language satisfies type safety

Biphasic investigation of contact mechanics in natural human hips during activities

The aim of this study was to determine the cartilage contact mechanics and the associated fluid pressurisation of the hip joint under eight daily activities, using a three-dimensional finite element hip model with biphasic cartilage layers and generic geometries. Loads with spatial and temporal variations were applied over time and the time-dependent performance of the hip cartilage during walking was also evaluated. It was found that the fluid support ratio was over 90% during the majority of the cycles for all the eight activities. A reduced fluid support ratio was observed for the time at which the contact region slid towards the interior edge of the acetabular cartilage, but these occurred when the absolute level of the peak contact stress was minimal. Over 10 cycles of gait, the peak contact stress and peak fluid pressure remained constant, but a faster process of fluid exudation was observed for the interior edge region of the acetabular cartilage. The results demonstrate the excellent function of the hip cartilage within which the solid matrix is prevented from high levels of stress during activities owing to the load shared by fluid pressurisation. The findings are important in gaining a better understanding of the hip function during daily activities, as well as the pathology of hip degeneration and potential for future interventions. They provide a basis for future subject-specific biphasic investigations of hip performance during activities

The Dark Side of the Electroweak Phase Transition

Recent data from cosmic ray experiments may be explained by a new GeV scale of physics. In addition the fine-tuning of supersymmetric models may be alleviated by new O(GeV) states into which the Higgs boson could decay. The presence of these new, light states can affect early universe cosmology. We explore the consequences of a light (~ GeV) scalar on the electroweak phase transition. We find that trilinear interactions between the light state and the Higgs can allow a first order electroweak phase transition and a Higgs mass consistent with experimental bounds, which may allow electroweak baryogenesis to explain the cosmological baryon asymmetry. We show, within the context of a specific supersymmetric model, how the physics responsible for the first order phase transition may also be responsible for the recent cosmic ray excesses of PAMELA, FERMI etc. We consider the production of gravity waves from this transition and the possible detectability at LISA and BBO

The effect of water immersion on short-latency somatosensory evoked potentials in human

<p>Abstract</p> <p>Background</p> <p>Water immersion therapy is used to treat a variety of cardiovascular, respiratory, and orthopedic conditions. It can also benefit some neurological patients, although little is known about the effects of water immersion on neural activity, including somatosensory processing. To this end, we examined the effect of water immersion on short-latency somatosensory evoked potentials (SEPs) elicited by median nerve stimuli. Short-latency SEP recordings were obtained for ten healthy male volunteers at rest in or out of water at 30°C. Recordings were obtained from nine scalp electrodes according to the 10-20 system. The right median nerve at the wrist was electrically stimulated with the stimulus duration of 0.2 ms at 3 Hz. The intensity of the stimulus was fixed at approximately three times the sensory threshold.</p> <p>Results</p> <p>Water immersion significantly reduced the amplitudes of the short-latency SEP components P25 and P45 measured from electrodes over the parietal region and the P45 measured by central region.</p> <p>Conclusions</p> <p>Water immersion reduced short-latency SEP components known to originate in several cortical areas. Attenuation of short-latency SEPs suggests that water immersion influences the cortical processing of somatosensory inputs. Modulation of cortical processing may contribute to the beneficial effects of aquatic therapy.</p> <p>Trial Registration</p> <p>UMIN-CTR (UMIN000006492)</p

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