Static versus dynamic reversibility in CCS

The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Most computational models are not naturally reversible since computation causes loss of information, and history information must be stored to enable reversibility. In the literature, two approaches to reverse the CCS process calculus exist, differing on how history information is kept. Reversible CCS (RCCS), proposed by Danos and Krivine, exploits dedicated stacks of memories attached to each thread. CCS with Keys (CCSK), proposed by Phillips and Ulidowski, makes CCS operators static so that computation does not cause information loss. In this paper we show that RCCS and CCSK are equivalent in terms of LTS isomorphism

Comparison of inhaled antibiotics for the treatment of chronic Pseudomonas aeruginosa lung infection in patients with cystic fibrosis: systematic literature review and network meta-analysis

PURPOSE: In Europe, 4 inhaled antibiotics (tobramycin, colistimethate sodium, aztreonam, and levofloxacin) are currently approved for the treatment of chronic Pseudomonas aeruginosa lung infection in patients with cystic fibrosis (CF). Levofloxacin inhalation solution (LIS) is the most recently approved inhaled antibiotic for adult patients with CF. A systematic literature review and Bayesian network meta-analysis (NMA) was conducted to compare the relative short-term (4 weeks) and long-term (24 weeks) outcomes of these inhaled antibiotics versus LIS. METHODS: A systematic literature search was conducted on February 16, 2016, using EMBASE and Medline via OvidSP. All randomized controlled trials comparing any of the aforementioned inhaled antibiotics with 4 or 24 weeks of follow-up were evaluated. NMA was performed for the following outcomes: relative and absolute percent changes from baseline in forced expiratory volume in 1 second (FEV1%) predicted, change in P aeruginosa sputum density, respiratory symptoms score from the CF questionnaire-revised, hospitalization, additional antibiotics use, and study withdrawal rates. RESULTS: Of the 685 articles identified, 7 unique studies were included in the 4 weeks' NMA and 9 unique studies were included in the 24 weeks' NMA. Aztreonam was predicted to result in the greatest numerically increase in FEV1% predicted at 4 weeks, whereas LIS were predicted to be numerically greater than colistimethate sodium, tobramycin inhaled solution (TIS), and tobramycin inhaled powder (TIP). However, all of the 95% credibility intervals (CrIs) of these comparisons included zero. At 24 weeks, none of the treatments was significantly more effective than LIS. The estimates for the mean change from baseline to 24 weeks in relative FEV1% versus LIS was -0.55 (95% CrI, -3.91 to 2.80) for TIS, -2.36 (95% CrI, -7.32 to 2.63) for aztreonam, -2.95 (95% CrI, -10.44 to 4.51) for TIP, and -9.66 (95% CrI, -15.01 to -4.33) for placebo. Compared with LIS, the odds ratio for hospitalization at 24 weeks was 1.92 (95% CrI, 1.01-3.30) for TIS, 2.25 (95% CrI, 1.01-4.34) for TIP, and 3.16 (95% CrI, 1.53-5.78) for placebo, all statistically worse than LIS. P aeruginosa sputum density scores, additional use of antipseudomonal antibiotics, and study withdrawal rates were comparable among all inhaled antibiotics at all times. IMPLICATIONS: Based on this NMA, the analyses for many of the outcomes did not provide significant evidence to indicate that the other approved inhaled antibiotics were more effective than LIS for the treatment of chronic P aeruginosa lung infection in patients with CF. Study withdrawal rates seemed to be comparable among these inhaled antibiotics

TOWARDS ASSESSING SANDSTONE SURFACE MOISTURE AND DEGRADATION LEVEL FROM RADIOMETRICALLY CORRECTED TLS INTENSITY DATA

Water is a prevalent deterioration agent for historic masonry works, especially those made of clay-bearing sandstones. To preserve cultural heritage made of sandstone, it is important to monitor, and then detect the regions with water retention or stone deterioration. To that aim, we investigate the prospects of terrestrial laser scanner (TLS) intensities for quantifying moisture in sandstone. Through a series of experiments following the drying processes of sandstone samples, we verify that TLS intensities can serve as moisture proxies for remote-sensing water retention. We identify the theoretically most suitable wavelengths, systematic effects requiring mitigation, and promising mitigation strategies. However, we also observe that the intensities are significantly affected by the type of sandstone and its level of degradation. Our results indicate that it is possible to distinguish different sandstones and levels of artificial degradation by observing and analyzing TLS-intensity time series during the drying process

GT2006-91234 ON NEAR-WALL DYNAMIC COUPLING OF LES WITH RANS TURBULENCE MODELS

ABSTRACT In this paper, the RANS/LES coupling formulation proposed i

The Presence of Real Food Usurps Hypothetical Health Value Judgment in Overweight People.

To develop more ecologically valid models of the neurobiology of obesity, it is critical to determine how the neural processes involved in food-related decision-making translate into real-world eating behaviors. We examined the relationship between goal-directed valuations of food images in the MRI scanner and food consumption at a subsequent ad libitum buffet meal. We observed that 23 lean and 40 overweight human participants showed similar patterns of value-based neural responses to health and taste attributes of foods. In both groups, these value-based responses in the ventromedial PFC were predictive of subsequent consumption at the buffet. However, overweight participants consumed a greater proportion of unhealthy foods. This was not predicted by in-scanner choices or neural response. Moreover, in overweight participants alone, impulsivity scores predicted greater consumption of unhealthy foods. Overall, our findings suggest that, while the hypothetical valuation of the health of foods is predictive of eating behavior in both lean and overweight people, it is only the real-world food choices that clearly distinguish them.This study was supported by the Bernard Wolfe Health Neuroscience Fund (HZ, PCF), the Wellcome Trust (NM, HZ, PCF), the Medical Research Council grant U105960389 (ALA, KMD, SAJ) and the Department of Health Policy Research Program (Policy Research Unit in Behaviour and Health [PR-UN-0409-10109]) (TMM, SEF).This is the final version of the article. It first appeared from the Society for Neuroscience via https://doi.org/10.1523/ENEURO.0025-16.201

Mastiha has efficacy in immune-mediated inflammatory diseases through a microRNA-155 Th17 dependent action

Mastiha is a natural nutritional supplement with known anti-inflammatory properties. Non-alcoholic fatty liver disease (NAFLD) and Inflammatory bowel disease (IBD) are immune mediated inflammatory diseases that share common pathophysiological features. Mastiha has shown beneficial effects in both diseases. MicroRNAs have emerged as key regulators of inflammation and their modulation by phytochemicals have been extensively studied over the last years. Therefore, the aim of this study was to investigate whether a common route exists in the anti-inflammatory activity of Mastiha, specifically through the regulation of miRNA levels. Plasma miR-16, miR-21 and miR-155 were measured by Real-Time PCR before and after two double blinded and placebo-controlled randomized clinical trials with Mastiha. In IBD and particularly in ulcerative colitis patients in relapse, miR-155 increased in the placebo group (p = 0.054) whereas this increase was prevented by Mastiha. The mean changes were different in the two groups even after adjusting for age, sex and BMI (p = 0.024 for IBD and p = 0.042). Although the results were not so prominent in NAFLD, miR-155 displayed a downward trend in the placebo group (p = 0.054) whereas the levels did not changed significantly in the Mastiha group in patients with less advanced fibrosis. Our results propose a regulatory role for Mastiha in circulating levels of miR-155, a critical player in T helper-17 (Th17) differentiation and function

Failure of sucrose replacement with the non-nutritive sweetener erythritol to alter GLP-1 or PYY release or test meal size in lean or obese people.

There is considerable interest in the effect of foods containing high intensity sweeteners on satiation. However, less is known about low-calorie bulk sweeteners such as erythritol. In this randomized three-way crossover study, we studied 10 lean and 10 obese volunteers who consumed three test meals on separate occasions: (a) control sucrose meal; (b) isovolumic meal with partial replacement of sucrose by erythritol; (c) isocaloric meal which contained more erythritol but equivalent calories to the control meal. We measured gut hormone levels, hunger and satiety scores, ad libitum food intake, sucrose preference and intake after the manipulations. There was a greater post-prandial excursion in glucose and insulin levels after sucrose than after the erythritol meals. There was no difference in GLP-1/PYY levels or subsequent energy intake and sucrose preference between sucrose control and isovolumic erythritol meals. In lean (but not obese) participants, hunger decreased to a greater extent after the isocaloric erythritol meal compared to the control meal (p = 0.003) reflecting the larger volume of this meal. Replacing sucrose with erythritol leads to comparable hunger and satiety scores, GLP-1 and PYY levels, and subsequent sucrose preference and intake.Wellcome Trust, National Institute for Health Research Cambridge Biomedical Research Centre, Bernard Wolfe Health Neuroscience Fund, Swiss National Science Foundation (Grant IDs: PBLAP3-145870, P3SMP3-155318), NeuroFAST consortium, European Union's Seventh Framework Programme (FP7/ 2007e2013) Grant ID: 245009), Cargill, Sas van Gent, The NetherlandsThis is the final version of the article. It first appeared from Elsevier via http://dx.doi.org/10.1016/j.appet.2016.09.00

A Review of Controlling Motivational Strategies from a Self-Determination Theory Perspective: Implications for Sports Coaches

The aim of this paper is to present a preliminary taxonomy of six controlling strategies, primarily based on the parental and educational literatures, which we believe are employed by coaches in sport contexts. Research in the sport and physical education literature has primarily focused on coaches’ autonomysupportive behaviours. Surprisingly, there has been very little research on the use of controlling strategies. A brief overview of the research which delineates each proposed strategy is presented, as are examples of the potential manifestation of the behaviours associated with each strategy in the context of sports coaching. In line with self-determination theory (Deci & Ryan, 1985; Ryan & Deci, 2002), we propose that coach behaviours employed to pressure or control athletes have the potential to thwart athletes’ feelings of autonomy, competence,and relatedness, which, in turn, undermine athletes’ self-determined motivation and contribute to the development of controlled motives. When athletes feel pressured to behave in a certain way, a variety of negative consequences are expected to ensue which are to the detriment of the athletes’ well-being. The purpose of this paper is to raise awareness and interest in the darker side of sport participation and to offer suggestions for future research in this area

High Efficiency Centrifugal Compressor for Rotorcraft Applications

The report "High Efficiency Centrifugal Compressor for Rotorcraft Applications" documents the work conducted at UTRC under the NRA Contract NNC08CB03C, with cost share 2/3 NASA, and 1/3 UTRC, that has been extended to 4.5 years. The purpose of this effort was to identify key technical barriers to advancing the state-of-the-art of small centrifugal compressor stages; to delineate the measurements required to provide insight into the flow physics of the technical barriers; to design, fabricate, install, and test a state-of-the-art research compressor that is representative of the rear stage of an axial-centrifugal aero-engine; and to acquire detailed aerodynamic performance and research quality data to clarify flow physics and to establish detailed data sets for future application. The design activity centered on meeting the goal set outlined in the NASA solicitation-the design target was to increase efficiency at higher work factor, while also reducing the maximum diameter of the stage. To fit within the existing Small Engine Components Test Facility at NASA Glenn Research Center (GRC) and to facilitate component re-use, certain key design parameters were fixed by UTRC, including impeller tip diameter, impeller rotational speed, and impeller inlet hub and shroud radii. This report describes the design effort of the High Efficiency Centrifugal Compressor stage (HECC) and delineation of measurements, fabrication of the compressor, and the initial tests that were performed. A new High-Efficiency Centrifugal Compressor stage with a very challenging reduction in radius ratio was successfully designed, fabricated and installed at GRC. The testing was successful, with no mechanical problems and the running clearances were achieved without impeller rubs. Overall, measured pressure ratio of 4.68, work factor of 0.81, and at design exit corrected flow rate of 3 lbm/s met the target requirements. Polytropic efficiency of 85.5 percent and stall margin of 7.5 percent were measured at design flow rate and speed. The measured efficiency and stall margin were lower than pre-test CFD predictions by 2.4 percentage points (pt) and 4.5 pt, respectively. Initial impressions from the experimental data indicated that the loss in the efficiency and stall margin can be attributed to a design shortfall in the impeller. However, detailed investigation of experimental data and post-test CFD simulations of higher fidelity than pre-test CFD, and in particular the unsteady CFD simulations and the assessment with a wider range of turbulence models, have indicated that the loss in efficiency is most likely due to the impact of unfavorable unsteady impeller/diffuser interactions induced by diffuser vanes, an impeller/diffuser corrected flow-rate mismatch (and associated incidence levels), and, potentially, flow separation in the radial-to-axial bend. An experimental program with a vaneless diffuser is recommended to evaluate this observation. A subsequent redesign of the diffuser (and the radial-to-axial bend) is also recommended. The diffuser needs to be redesigned to eliminate the mismatching of the impeller and the diffuser, targeting a slightly higher flow capacity. Furthermore, diffuser vanes need to be adjusted to align the incidence angles, to optimize the splitter vane location (both radially and circumferentially), and to minimize the unsteady interactions with the impeller. The radial-to-axial bend needs to be redesigned to eliminate, or at least minimize, the flow separation at the inner wall, and its impact on the flow in the diffuser upstream. Lessons were also learned in terms of CFD methodology and the importance of unsteady CFD simulations for centrifugal compressors was highlighted. Inconsistencies in the implementation of a widely used two-equation turbulence model were identified and corrections are recommended. It was also observed that unsteady simulations for centrifugal compressors require significantly longer integration times than what is current practice in industry