231 research outputs found
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
We introduce a notion of real-valued reward testing for probabilistic
processes by extending the traditional nonnegative-reward testing with negative
rewards. In this richer testing framework, the may and must preorders turn out
to be inverses. We show that for convergent processes with finitely many states
and transitions, but not in the presence of divergence, the real-reward
must-testing preorder coincides with the nonnegative-reward must-testing
preorder. To prove this coincidence we characterise the usual resolution-based
testing in terms of the weak transitions of processes, without having to
involve policies, adversaries, schedulers, resolutions, or similar structures
that are external to the process under investigation. This requires
establishing the continuity of our function for calculating testing outcomes.Comment: In Proceedings QAPL 2011, arXiv:1107.074
The effects of daily fasting hours on shaping gut microbiota in mice
BACKGROUND: It has recently been reported that intermittent fasting shapes the gut microbiota to benefit health, but this effect may be influenced to the exact fasting protocols. The purpose of this study was to assess the effects of different daily fasting hours on shaping the gut microbiota in mice. Healthy C57BL/6 J male mice were subjected to 12, 16 or 20 h fasting per day for 1 month, and then fed ad libitum for an extended month. Gut microbiota was analyzed by 16S rRNA gene-based sequencing and food intake was recorded as well. RESULTS: We found that cumulative food intake was not changed in the group with 12 h daily fasting, but significantly decreased in the 16 and 20 h fasting groups. The composition of gut microbiota was altered by all these types of intermittent fasting. At genus level, 16 h fasting led to increased level of Akkermansia and decreased level of Alistipes, but these effects disappeared after the cessation of fasting. No taxonomic differences were identified in the other two groups. CONCLUSIONS: These data indicated that intermittent fasting shapes gut microbiota in healthy mice, and the length of daily fasting interval may influence the outcome of intermittent fasting
Recurrent corneal melting in the paraneoplastic pemphigus associated with Castleman’s disease
Testing Reactive Probabilistic Processes
We define a testing equivalence in the spirit of De Nicola and Hennessy for
reactive probabilistic processes, i.e. for processes where the internal
nondeterminism is due to random behaviour. We characterize the testing
equivalence in terms of ready-traces. From the characterization it follows that
the equivalence is insensitive to the exact moment in time in which an internal
probabilistic choice occurs, which is inherent from the original testing
equivalence of De Nicola and Hennessy. We also show decidability of the testing
equivalence for finite systems for which the complete model may not be known
Barriers and Best Practices for the Circular Economy
Introduction
We’re living in an exciting era. Rather than just another societal transition, we’re going
through a fundamental societal transformation. Ecologist Joanne Macy calls this period ‘The
Great Turning’: a period wherein we change from an industrial growth society into a life
sustaining system’. Macy: “The most remarkable feature of this historical moment on Earth
is not that we are on the way to destroying the world; we've actually been on the way for
quite a while. It is that we are beginning to wake up, as from a millennia-long sleep, to a
whole new relationship to our world, to ourselves and each other.” It is with these eyes that
we have to see the rise of the Circular Economy. The Circular Economy is not just another
trend in business; it’s the start of a completely new economic reality. The Circular Economy
is the starting point for regenerative economics; for a new business-as-usual that - first and
foremost - serves life and is based upon a fundamentally new value-paradigm. The future of
success in business is about doing good for all stakeholders and creating benefit; not just
profit.
The Circular Economy demands next level thinking-and-doing in business, and there is no
one more willing and able than the next generation of young professionals. It is therefore
with great pride and pleasure that I present to you this publication of the SMO Promovendi.
It offers fresh perspectives of a group of promising young scientists. All aspiring
changemakers. It’s made with love and with the best of intentions; to help the Circular
Economy forward
Association of Adiponectin SNP+45 and SNP+276 with Type 2 Diabetes in Han Chinese Populations: A Meta-Analysis of 26 Case-Control Studies
Recently, many studies have reported that the SNP+45(T>G) and SNP+276(G>T) polymorphisms in the adiponectin gene are associated with type 2 diabetes (T2DM) in the Chinese Han population. However, the previous studies yielded many conflicting results. Thus, a meta-analysis of the association of the adiponectin gene with T2DM in the Chinese Han population is required. In the current study, we first determined the distribution of the adiponectin SNP+276 polymorphism in T2DM and nondiabetes (NDM) control groups. Our results suggested that the genotype and allele frequencies for SNP+276 did not differ significantly between the T2DM and NDM groups. Then, a meta-analysis of 23 case-control studies of SNP+45, with a total of 4161 T2DM patients and 3709 controls, and 11 case-control studies of SNP+276, with 2533 T2DM patients and 2212 controls, was performed. All subjects were Han Chinese. The fixed-effects model and random-effects model were applied for dichotomous outcomes to combine the results of the included studies. The results revealed a trend towards an increased risk of T2DM for the SNP+45G allele as compared with the SNP+45T allele (OR = 1.34; 95% CI, 1.11–1.62; P<0.01) in the Chinese Han population. However, there was no association between SNP+276 and T2DM (OR = 0.90; 95% CI, 0.73–1.10; P = 0.31). The results of our association study showed there was no association between the adiponectin SNP+276 polymorphism and T2DM in the Yunnan Han population. The meta-analysis results suggested that the SNP+45G allele might be a susceptibility allele for T2DM in the Chinese Han population. However, we did not observe an association between SNP+276 and T2DM
Cloud structure of three Galactic infrared dark star-forming regions from combining ground and space based bolometric observations
We have modified the iterative procedure introduced by Lin et al. (2016), to systematically combine the submm images taken from ground based (e.g., CSO, JCMT, APEX) and space (e.g., Herschel, Planck) telescopes. We applied the updated procedure to observations of three well studied Infrared Dark Clouds (IRDCs): G11.11-0.12, G14.225-0.506 and G28.34+0.06, and then performed single-component, modified black-body fits to derive 10 resolution dust temperature and column density maps. The derived column density maps show that these three IRDCs exhibit complex filamentary structures embedding with rich clumps/cores. We compared the column density probability distribution functions (N-PDFs) and two-point correlation (2PT) functions of the column density field between these IRDCs with several OB cluster-forming regions. Based on the observed correlation and measurements, and complementary hydrodynamical simulations for a 10 molecular cloud, we hypothesize that cloud evolution can be better characterized by the evolution of the (column) density distribution function and the relative power of dense structures as a function of spatial scales, rather than merely based on the presence of star-forming activity. Based on the small analyzed sample, we propose four evolutionary stages, namely: {\it cloud integration, stellar assembly, cloud pre-dispersal and dispersed-cloud.} The initial {\it cloud integration} stage and the final {\it dispersed cloud} stage may be distinguished from the two intermediate stages by a steeper than 4 power-law index of the N-PDF. The {\it cloud integration} stage and the subsequent {\it stellar assembly} stage are further distinguished from each other by the larger luminosity-to-mass ratio (40 ) of the latter
SoftPanel: a website for grouping diseases and related disorders for generation of customized panels
- …