Acceptability with general orderings

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but we apply these orderings directly to the logic program and not to the term-rewrite system obtained through some transformation. We define some variants of acceptability, based on general orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants. The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple orderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together. {\bf Keywords:} termination analysis, acceptability, orderings.Comment: To appear in "Computational Logic: From Logic Programming into the Future

The Effects of an Acute Bout of Self-Myofascial Release on the Physiological Parameters of Running

Please refer to the pdf version of the abstract located adjacent to the title

Pasta consumption and connected dietary habits: Associations with glucose control, adiposity measures, and cardiovascular risk factors in people with type 2 diabetes—TOSCA.IT study

Background: Pasta is a refined carbohydrate with a low glycemic index. Whether pasta shares the metabolic advantages of other low glycemic index foods has not really been investigated. The aim of this study is to document, in people with type-2 diabetes, the consumption of pasta, the connected dietary habits, and the association with glucose control, measures of adiposity, and major cardiovascular risk factors. Methods: We studied 2562 participants. The dietary habits were assessed with the European Prospective Investigation into Cancer and Nutrition (EPIC) questionnaire. Sex-specific quartiles of pasta consumption were created in order to explore the study aims. Results: A higher pasta consumption was associated with a lower intake of proteins, total and saturated fat, cholesterol, added sugar, and fiber. Glucose control, body mass index, prevalence of obesity, and visceral obesity were not significantly different across the quartiles of pasta intake. No relation was found with LDL cholesterol and triglycerides, but there was an inverse relation with HDL-cholesterol. Systolic blood pressure increased with pasta consumption; but this relation was not confirmed after correction for confounders. Conclusions: In people with type-2 diabetes, the consumption of pasta, within the limits recommended for total carbohydrates intake, is not associated with worsening of glucose control, measures of adiposity, and major cardiovascular risk factors

A new limit on the CP violating decay KS -> 3pi0 with the KLOE experiment

We have carried out a new direct search for the CP violating decay KS -> 3pi0 with 1.7 fb^-1 of e+e- collisions collected by the KLOE detector at the phi-factory DAFNE. We have searched for this decay in a sample of about 5.9 x 10^8 KS KL events tagging the KS by means of the KL interaction in the calorimeter and requiring six prompt photons. With respect to our previous search, the analysis has been improved by increasing of a factor four the tagged sample and by a more effective background rejection of fake KS tags and spurious clusters. We find no candidates in data and simulated background samples, while we expect 0.12 standard model events. Normalizing to the number of KS -> 2pi0 events in the same sample, we set the upper limit on BR(KS -> 3pi0 < 2.6 x 10^-8 at 90% C.L., five times lower than the previous limit. We also set the upper limit on the eta_000 parameter, |eta_000 | < 0.0088 at 90% C.L., improving by a factor two the latest direct measurement.Comment: Accepted for publication in Physics Letters B (15 pages, 13 figures

A self-organized model for cell-differentiation based on variations of molecular decay rates

Systemic properties of living cells are the result of molecular dynamics governed by so-called genetic regulatory networks (GRN). These networks capture all possible features of cells and are responsible for the immense levels of adaptation characteristic to living systems. At any point in time only small subsets of these networks are active. Any active subset of the GRN leads to the expression of particular sets of molecules (expression modes). The subsets of active networks change over time, leading to the observed complex dynamics of expression patterns. Understanding of this dynamics becomes increasingly important in systems biology and medicine. While the importance of transcription rates and catalytic interactions has been widely recognized in modeling genetic regulatory systems, the understanding of the role of degradation of biochemical agents (mRNA, protein) in regulatory dynamics remains limited. Recent experimental data suggests that there exists a functional relation between mRNA and protein decay rates and expression modes. In this paper we propose a model for the dynamics of successions of sequences of active subnetworks of the GRN. The model is able to reproduce key characteristics of molecular dynamics, including homeostasis, multi-stability, periodic dynamics, alternating activity, differentiability, and self-organized critical dynamics. Moreover the model allows to naturally understand the mechanism behind the relation between decay rates and expression modes. The model explains recent experimental observations that decay-rates (or turnovers) vary between differentiated tissue-classes at a general systemic level and highlights the role of intracellular decay rate control mechanisms in cell differentiation.Comment: 16 pages, 5 figure

Precision measurement of the η→π+π−π0\eta\to\pi^+\pi^-\pi^0 Dalitz plot distribution with the KLOE detector

Using $1.6$ fb$^{-1}$ of $e^+ e^-\to\phi\to\eta\gamma$ data collected with the KLOE detector at DA$\Phi$NE, the Dalitz plot distribution for the $\eta \to \pi^+ \pi^- \pi^0$ decay is studied with the world's largest sample of $\sim 4.7 \cdot 10^6$ events. The Dalitz plot density is parametrized as a polynomial expansion up to cubic terms in the normalized dimensionless variables $X$ and $Y$. The experiment is sensitive to all charge conjugation conserving terms of the expansion, including a $gX^2Y$ term. The statistical uncertainty of all parameters is improved by a factor two with respect to earlier measurements.Comment: 11 pages, 9 figures, supplement: an ascii tabl

Low-Energy Signals from Kinetic Mixing with a Warped Abelian Hidden Sector

We investigate the detailed phenomenology of a light Abelian hidden sector in the Randall-Sundrum framework. Relative to other works with light hidden sectors, the main new feature is a tower of hidden Kaluza-Klein vectors that kinetically mix with the Standard Model photon and Z. We investigate the decay properties of the hidden sector fields in some detail, and develop an approach for calculating processes initiated on the ultraviolet brane of a warped space with large injection momentum relative to the infrared scale. Using these results, we determine the detailed bounds on the light warped hidden sector from precision electroweak measurements and low-energy experiments. We find viable regions of parameter space that lead to significant production rates for several of the hidden Kaluza-Klein vectors in meson factories and fixed-target experiments. This offers the possibility of exploring the structure of an extra spacetime dimension with lower-energy probes.Comment: (1+32) Pages, 13 Figures. v2: JHEP version (minor modifications, results unchanged