1,939 research outputs found
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 and Au+Au collisions at = 200 GeV
Results on high transverse momentum charged particle emission with respect to
the reaction plane are presented for Au+Au collisions at =
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 at
the same energy. Elliptic anisotropy, , is found to reach its maximum at
GeV/c, then decrease slowly and remain significant up to
-- 10 GeV/c. Stronger suppression is found in the back-to-back
high- particle correlations for particles emitted out-of-plane compared to
those emitted in-plane. The centrality dependence of at intermediate
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
- …