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 π

Ripple modulated electronic structure of a 3D topological insulator

3D topological insulators, similar to the Dirac material graphene, host linearly dispersing states with unique properties and a strong potential for applications. A key, missing element in realizing some of the more exotic states in topological insulators is the ability to manipulate local electronic properties. Analogy with graphene suggests a possible avenue via a topographic route by the formation of superlattice structures such as a moir\'e patterns or ripples, which can induce controlled potential variations. However, while the charge and lattice degrees of freedom are intimately coupled in graphene, it is not clear a priori how a physical buckling or ripples might influence the electronic structure of topological insulators. Here we use Fourier transform scanning tunneling spectroscopy to determine the effects of a one-dimensional periodic buckling on the electronic properties of Bi2Te3. By tracking the spatial variations of the scattering vector of the interference patterns as well as features associated with bulk density of states, we show that the buckling creates a periodic potential modulation, which in turn modulates the surface and the bulk states. The strong correlation between the topographic ripples and electronic structure indicates that while doping alone is insufficient to create predetermined potential landscapes, creating ripples provides a path to controlling the potential seen by the Dirac electrons on a local scale. Such rippled features may be engineered by strain in thin films and may find use in future applications of topological insulators.Comment: Nature Communications (accepted

Evolutionary and pulsational properties of white dwarf stars

Abridged. White dwarf stars are the final evolutionary stage of the vast majority of stars, including our Sun. The study of white dwarfs has potential applications to different fields of astrophysics. In particular, they can be used as independent reliable cosmic clocks, and can also provide valuable information about the fundamental parameters of a wide variety of stellar populations, like our Galaxy and open and globular clusters. In addition, the high densities and temperatures characterizing white dwarfs allow to use these stars as cosmic laboratories for studying physical processes under extreme conditions that cannot be achieved in terrestrial laboratories. They can be used to constrain fundamental properties of elementary particles such as axions and neutrinos, and to study problems related to the variation of fundamental constants. In this work, we review the essentials of the physics of white dwarf stars. Special emphasis is placed on the physical processes that lead to the formation of white dwarfs as well as on the different energy sources and processes responsible for chemical abundance changes that occur along their evolution. Moreover, in the course of their lives, white dwarfs cross different pulsational instability strips. The existence of these instability strips provides astronomers with an unique opportunity to peer into their internal structure that would otherwise remain hidden from observers. We will show that this allows to measure with unprecedented precision the stellar masses and to infer their envelope thicknesses, to probe the core chemical stratification, and to detect rotation rates and magnetic fields. Consequently, in this work, we also review the pulsational properties of white dwarfs and the most recent applications of white dwarf asteroseismology.Comment: 85 pages, 28 figures. To be published in The Astronomy and Astrophysics Revie

Does a SLAP lesion affect shoulder muscle recruitment as measured by EMG activity during a rugby tackle?

Background: The study objective was to assess the influence of a SLAP lesion on onset of EMG activity in shoulder muscles during a front on rugby football tackle within professional rugby players. Methods: Mixed cross-sectional study evaluating between and within group differences in EMG onset times. Testing was carried out within the physiotherapy department of a university sports medicine clinic. The test group consisted of 7 players with clinically diagnosed SLAP lesions, later verified on arthroscopy. The reference group consisted of 15 uninjured and full time professional rugby players from within the same playing squad. Controlled tackles were performed against a tackle dummy. Onset of EMG activity was assessed from surface EMG of Pectorialis Major, Biceps Brachii, Latissimus Dorsi, Serratus Anterior and Infraspinatus muscles relative to time of impact. Analysis of differences in activation timing between muscles and limbs (injured versus non-injured side and non injured side versus matched reference group). Results: Serratus Anterior was activated prior to all other muscles in all (P = 0.001-0.03) subjects. In the SLAP injured shoulder Biceps was activated later than in the non-injured side. Onset times of all muscles of the noninjured shoulder in the injured player were consistently earlier compared with the reference group. Whereas, within the injured shoulder, all muscle activation timings were later than in the reference group. Conclusions: This study shows that in shoulders with a SLAP lesion there is a trend towards delay in activation time of Biceps and other muscles with the exception of an associated earlier onset of activation of Serratus anterior, possibly due to a coping strategy to protect glenohumeral stability and thoraco-scapular stability. This trend was not statistically significant in all cases

Mechanics Regulates Fate Decisions of Human Embryonic Stem Cells

Research on human embryonic stem cells (hESCs) has attracted much attention given their great potential for tissue regenerative therapy and fundamental developmental biology studies. Yet, there is still limited understanding of how mechanical signals in the local cellular microenvironment of hESCs regulate their fate decisions. Here, we applied a microfabricated micromechanical platform to investigate the mechanoresponsive behaviors of hESCs. We demonstrated that hESCs are mechanosensitive, and they could increase their cytoskeleton contractility with matrix rigidity. Furthermore, rigid substrates supported maintenance of pluripotency of hESCs. Matrix mechanics-mediated cytoskeleton contractility might be functionally correlated with E-cadherin expressions in cell-cell contacts and thus involved in fate decisions of hESCs. Our results highlighted the important functional link between matrix rigidity, cellular mechanics, and pluripotency of hESCs and provided a novel approach to characterize and understand mechanotransduction and its involvement in hESC function

Ataxin-1 Fusion Partners Alter PolyQ Lethality and Aggregation

Intranuclear inclusion bodies (IBs) are the histopathologic markers of multiple protein folding diseases. IB formation has been extensively studied using fluorescent fusion products of pathogenic polyglutamine (polyQ) expressing proteins. These studies have been informative in determining the cellular targets of expanded polyQ protein as well as the methods by which cells rid themselves of IBs. The experimental thrust has been to intervene in the process of polyQ aggregation in an attempt to alleviate cytotoxicity. However new data argues against the notion that polyQ aggregation and cytotoxicity are inextricably linked processes. We reasoned that changing the protein context of a disease causing polyQ protein could accelerate its precipitation as an IB, potentially reducing its cytotoxicity. Our experimental strategy simply exploited the fact that conjoined proteins influence each others folding and aggregation properties. We fused a full-length pathogenic ataxin-1 construct to fluorescent tags (GFP and DsRed1-E5) that exist at different oligomeric states. The spectral properties of the DsRed1-E5-ataxin-1 transfectants had the additional advantage of allowing us to correlate fluorochrome maturation with cytotoxicity. Each fusion protein expressed a distinct cytotoxicity and IB morphology. Flow cytometric analyses of transfectants expressing the greatest fluorescent signals revealed that the DsRed1-E5-ataxin-1 fusion was more toxic than GFP fused ataxin-1 (31.8±4.5% cell death versus 12.85±3%), although co-transfection with the GFP fusion inhibited maturation of the DsRed1-E5 fluorochrome and diminished the toxicity of the DsRed1-E5-ataxin-1 fusion. These data show that polyQ driven aggregation can be influenced by fusion partners to generate species with different toxic properties and provide new opportunities to study IB aggregation, maturation and lethality

Suppression of zinc finger protein 467 alleviates osteoporosis through promoting differentiation of adipose derived stem cells to osteoblasts

Osteoblast and adipocyte are derived from common mesenchymal progenitor cells. The bone loss of osteoporosis is associated with altered progenitor differentiation from an osteoblastic to an adipocytic lineage. In this study, a comparative analysis of gene expression profiling using cDNA microarray and realtime-PCR indicated that Zinc finger protein 467 (Zfp467) involved in adipocyte and osteoblast differentiation of cultured adipose derived stem cells (ADSCs). Our results showed that RNA interference for Zfp467 in ADSCs inhibited adipocyte formation and stimulated osteoblast commitment. The mRNA levels of osteogenic and adipogenic markers in ADSCs were regulated by si-Zfp467. Zfp467 RNAi in ADSCs could restore bone function and structure in an ovariectomized (OVX)-induced osteoporotic mouse model. Thus Zfp467 play an important role in ADSCs differentiation to adipocyte and osteoblast. This has relevance to therapeutic interventions in osteoporosis, including si-Zfp467-based therapies currently available, and may be of relevance for the use of adipose-derived stem cells for tissue engineering

Azimuthal anisotropy and correlations at large transverse momenta in p+pp+p and Au+Au collisions at sNN\sqrt{s_{_{NN}}}= 200 GeV

Results on high transverse momentum charged particle emission with respect to the reaction plane are presented for Au+Au collisions at $\sqrt{s_{_{NN}}}$= 200 GeV. Two- and four-particle correlations results are presented as well as a comparison of azimuthal correlations in Au+Au collisions to those in $p+p$ at the same energy. Elliptic anisotropy, $v_2$, is found to reach its maximum at $p_t \sim 3$ GeV/c, then decrease slowly and remain significant up to $p_t\approx 7$ -- 10 GeV/c. Stronger suppression is found in the back-to-back high-$p_t$ particle correlations for particles emitted out-of-plane compared to those emitted in-plane. The centrality dependence of $v_2$ at intermediate $p_t$ is compared to simple models based on jet quenching.Comment: 4 figures. Published version as PRL 93, 252301 (2004

Azimuthal anisotropy in Au+Au collisions at sqrtsNN = 200 GeV

The results from the STAR Collaboration on directed flow (v_1), elliptic flow (v_2), and the fourth harmonic (v_4) in the anisotropic azimuthal distribution of particles from Au+Au collisions at sqrtsNN = 200 GeV are summarized and compared with results from other experiments and theoretical models. Results for identified particles are presented and fit with a Blast Wave model. Different anisotropic flow analysis methods are compared and nonflow effects are extracted from the data. For v_2, scaling with the number of constituent quarks and parton coalescence is discussed. For v_4, scaling with v_2^2 and quark coalescence is discussed.Comment: 26 pages. As accepted by Phys. Rev. C. Text rearranged, figures modified, but data the same. However, in Fig. 35 the hydro calculations are corrected in this version. The data tables are available at http://www.star.bnl.gov/central/publications/ by searching for "flow" and then this pape