Obesity-associated gut microbiota is enriched in Lactobacillus reuteri and depleted in Bifidobacterium animalis and Methanobrevibacter smithii

Background: Obesity is associated with increased health risk and has been associated with alterations in bacterial gut microbiota, with mainly a reduction in Bacteroidetes, but few data exist at the genus and species level. It has been reported that the Lactobacillus and Bifidobacterium genus representatives may have a critical role in weight regulation as an anti-obesity effect in experimental models and humans, or as a growth-promoter effect in agriculture depending on the strains. Objectives and methods: To confirm reported gut alterations and test whether Lactobacillus or Bifidobacterium species found in the human gut are associated with obesity or lean status, we analyzed the stools of 68 obese and 47 controls targeting Firmicutes, Bacteroidetes, Methanobrevibacter smithii, Lactococcus lactis, Bifidobacterium animalis and seven species of Lactobacillus by quantitative PCR (qPCR) and culture on a Lactobacillus-selective medium. Findings: In qPCR, B. animalis (odds ratio (OR) 0.63; 95% confidence interval (CI) 0.39-1.01; P = 0.056) and M. smithii (OR = 0.76; 95% CI 0.59-0.97; P = 0.03) were associated with normal weight whereas Lactobacillus reuteri (OR = 1.79; 95% CI 1.03-3.10; P = 0.04) was associated with obesity. Conclusion: The gut microbiota associated with human obesity is depleted in M. smithii. Some Bifidobacterium or Lactobacillus species were associated with normal weight (B. animalis) while others (L. reuteri) were associated with obesity. Therefore, gut microbiota composition at the species level is related to body weight and obesity, which might be of relevance for further studies and the management of obesity. These results must be considered cautiously because it is the first study to date that links specific species of Lactobacillus with obesity in humans. International Journal of Obesity (2012) 36, 817-825; doi:10.1038/ijo.2011.153; published online 9 August 201

SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications

We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts uses a new statechart notation and provides deterministic concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. Specifically, we lift earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive MoC. The key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency. Conversely, Extended SCCharts contain a rich set of advanced features, such as different abort types, signals, history transitions, etc., all of which can be reduced via model-to-model transformations into Core SCCharts. This approach enables a simple yet efficient compilation strategy and aids verification and certification