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

Negative Regulation of p53 Functions by Daxx and the Involvement of MDM2

n/

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

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 $\sim$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$^{4}$ $\rm M_{\odot}$ 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 $\rm L_{\odot}/M_{\odot}$) of the latter