Conservatoire national des arts et métiers

About: Conservatoire national des arts et métiers is a education organization based out in Paris, France. It is known for research contribution in the topics: Population & Orthogonal frequency-division multiplexing. The organization has 3573 authors who have published 7127 publications receiving 141430 citations. The organization is also known as: CNAM & Conservatoire des arts et métiers.

Beneficial metabolic effects of selected probiotics on diet-induced obesity and insulin resistance in mice are associated with improvement of dysbiotic gut microbiota

Abstract: Alterations in gut microbiota composition and diversity were suggested to play a role in the development of obesity, a chronic subclinical inflammatory condition. We here evaluated the impact of oral consumption of a monostrain or multi-strain probiotic preparation in high-fat diet-induced obese mice. We observed a strain-specific effect and reported dissociation between the capacity of probiotics to dampen adipose tissue inflammation and to limit body weight gain. A multi-strain mixture was able to improve adiposity, insulin resistance and dyslipidemia through adipose tissue immune cell-remodelling, mainly affecting macrophages. At the gut level, the mixture modified the uptake of fatty acids and restored the expression level of the short-chain fatty acid receptor GPR43. These beneficial effects were associated with changes in the microbiota composition, such as the restoration of the abundance of Akkermansia muciniphila and Rikenellaceae and the decrease of other taxa like Lactobacillaceae. Using an in vitro gut model, we further showed that the probiotic mixture favours the production of butyrate and propionate. Our findings provide crucial clues for the design and use of more efficient probiotic preparations in obesity management and may bring new insights into the mechanisms by which host-microbe interactions govern such protective effects.

Review article: gut flora and inflammatory bowel disease.

Abstract: The pathogenesis of inflammatory bowel disease involves interactions between the host susceptibility, mucosal immunity and intestinal microflora. There is therefore great interest in the changes in the endogenous flora in inflammatory bowel disease patients and in the establishment of potential genetic variations in host responses to endogenous bacteria. In this review, we summarize the modifications in the various regional ecosystems in the gastrointestinal tract during inflammatory bowel disease (luminal bacteria in faeces or inside the gastrointestinal tract, bacteria in mucus and bacteria directly attached to the mucosa). Results were obtained following a 'candidate microorganism strategy' and, as is occurring increasingly frequently, following a 'full description strategy', which has progressed largely due to the development of culture-independent techniques. The possibility of modifying the ecosystem using prebiotics or probiotics offers hope for new treatment developments, particularly in the prevention of relapse.

Zenon: an extensible automated theorem prover producing checkable proofs

Abstract: We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover of the Focal environment, an objectoriented algebraic specification and proof system, which is able to produce OCaml code for execution and Coq code for certification. Zenon can directly generate Coq proofs (proof scripts or proof terms), which can be reinserted in the Coq specifications produced by Focal. Zenon can also be extended, which makes specific (and possibly local) automation possible in Focal.