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 π

Effects of AR7 Joint Complex on arthralgia for patients with osteoarthritis: Results of a three-month study in Shanghai, China

<p>Abstract</p> <p>Background</p> <p>Osteoarthritis-induced arthralgia is a common cause of morbidity in both men and women worldwide. AR7 Joint Complex is a nutritional supplement containing various ingredients including sternum collagen II and methylsulfonylmethane. The product has been marketed in United States for over a decade, but clinical data measuring the effectiveness of this supplement in relieving arthralgia is lacking. The goal of this study was to determine the effect of AR7 Joint Complex on osteoarthritis.</p> <p>Methods</p> <p>A total of 100 patients over the age of 50 who had osteoarthritis were recruited to the double-blind study and randomly assigned into either treatment or placebo control groups. The patients in the treatment group were given AR7 Joint Complex orally, 1 capsule daily for 12 weeks, while the patients in the control group were given a placebo for the same period of time. Prior to and at the end of the study, data including Quality of Life questionnaires (SF-36), visual analog scales (1 to 100 mm), and X-rays of affected joints were collected.</p> <p>Results</p> <p>A total of 89 patients completed the study: 44 from the treatment group and 45 from the control group. No significant change in X-ray results was found in either group after the study. However, there was a significant decrease in patients complaining of arthralgia and tenderness (P < 0.01) in the treatment group and there was also a significant difference between the treatment and control groups at the end of the study. In addition, for Quality of Life data, the body pain index (BP) in the treatment group was significantly improved (P < 0.05) compared to the control group. No significant toxicity was noted in either group.</p> <p>Conclusion</p> <p>AR7 Joint Complex appears to have short-term effects in relieving pain in patients with osteoarthritis. Whether such an effect is long-lasting remains to be seen.</p

Quantized reduction as a tensor product

Symplectic reduction is reinterpreted as the composition of arrows in the category of integrable Poisson manifolds, whose arrows are isomorphism classes of dual pairs, with symplectic groupoids as units. Morita equivalence of Poisson manifolds amounts to isomorphism of objects in this category. This description paves the way for the quantization of the classical reduction procedure, which is based on the formal analogy between dual pairs of Poisson manifolds and Hilbert bimodules over C*-algebras, as well as with correspondences between von Neumann algebras. Further analogies are drawn with categories of groupoids (of algebraic, measured, Lie, and symplectic type). In all cases, the arrows are isomorphism classes of appropriate bimodules, and their composition may be seen as a tensor product. Hence in suitable categories reduction is simply composition of arrows, and Morita equivalence is isomorphism of objects.Comment: 44 pages, categorical interpretation adde

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

Sleep quality in middle-aged and elderly Chinese: distribution, associated factors and associations with cardio-metabolic risk factors

Background Poor sleep quality has been associated with increased risk of heart disease, diabetes and mortality. However, limited information exists on the distribution and determinants of sleep quality and its associations with cardio-metabolic risk factors in Chinese populations. We aimed to evaluate this in the current study. Methods A cross-sectional survey conducted in 2005 of 1,458 men and 1,831 women aged 50–70 years from urban and rural areas of Beijing and Shanghai. Using a questionnaire, sleep quality was measured in levels of well, common and poor. Comprehensive measures of socio-demographical and health factors and biomarkers of cardio-metabolic disease were recorded. These were evaluated in association with sleep quality using logistic regression models. Results Half of the population reported good sleep quality. After adjusting for potential confounders, women and Beijing residents had almost half the probability to report good sleep quality. Good physical and mental health (good levels of self-rated health (OR 2.48; 95%CI 2.08 to 2.96) and no depression (OR 4.05; 95%CI 3.12 to 5.26)) related to an increased chance of reporting good sleep quality, whereas short sleep duration (<7 hrs OR 0.10; 95%CI 0.07 to 0.14)) decreased it substantially. There were significant associations between levels of sleep quality and concentrations of plasma insulin, total and LDL cholesterol, and index of insulin resistance. Conclusion Levels of good sleep quality in middle-age and elderly Chinese were low. Gender, geographical location, self-rated health, depression and sleep quantity were major factors associated with sleep quality. Prospective studies are required to distil the factors that determine sleep quality and the effects that sleep patterns exert on cardio-metabolic health

Hydroclimatic Contrasts Over Asian Monsoon Areas and Linkages to Tropical Pacific SSTs

Knowledge of spatial and temporal hydroclimatic differences is critical in understanding climatic mechanisms. Here we show striking hydroclimatic contrasts between northern and southern parts of the eastern margin of the Tibetan Plateau (ETP), and those between East Asian summer monsoon (EASM) and Indian summer monsoon (ISM) areas during the past ~2,000 years. During the Medieval Period, and the last 100 to 200 years, the southern ETP (S-ETP) area was generally dry (on average), while the northern ETP (N-ETP) area was wet. During the Little Ice Age (LIA), hydroclimate over S-ETP areas was wet, while that over N-ETP area was dry (on average). Such hydroclimatic contrasts can be broadly extended to ISM and EASM areas. We contend that changes in sea surface temperatures (SSTs) of the tropical Pacific Ocean could have played important roles in producing these hydroclimatic contrasts, by forcing the north-south movement of the Intertropical Convergence Zone (ITCZ) and intensification/slowdown of Walker circulation. The results of sensitivity experiments also support such a proposition

On reducing inconsistency of pairwise comparison matrices below an acceptance threshold

A recent work of the authors on the analysis of pairwise comparison matrices that can be made consistent by the modification of a few elements is continued and extended. Inconsistency indices are defined for indicating the overall quality of a pairwise comparison matrix. It is expected that serious contradictions in the matrix imply high inconsistency and vice versa. However, in the 35-year history of the applications of pairwise comparison matrices, only one of the indices, namely CR proposed by Saaty, has been associated to a general level of acceptance, by the well known ten percent rule. In the paper, we consider a wide class of inconsistency indices, including CR, CM proposed by Koczkodaj and Duszak and CI by Pel\'aez and Lamata. Assume that a threshold of acceptable inconsistency is given (for CR it can be 0.1). The aim is to find the minimal number of matrix elements, the appropriate modification of which makes the matrix acceptable. On the other hand, given the maximal number of modifiable matrix elements, the aim is to find the minimal level of inconsistency that can be achieved. In both cases the solution is derived from a nonlinear mixed-integer optimization problem. Results are applicable in decision support systems that allow real time interaction with the decision maker in order to review pairwise comparison matrices.Comment: 20 page