This issue of the Journal of Symbolic Computation collects selected papers on work presented at, or related to, the meeting MEGA 2005, held in Porto Conte, Alghero, Sardinia (Italy), May 27 June 1, 2005. MEGA is the acronym for “Effective Methods in Algebraic Geometry” (and its equivalent in Italian, French, Spanish, German, Russian, etc.), a series of (roughly) biennial conferences on computin...

background: finding new tolerable methods in weight loss has largely been an issue of interest for specialists. present study compared a novel method of calorie shifting diet (csd) with classic calorie restriction (cr) on weight loss in overweight and obese subjects. methods: seventy‑four subjects (body mass index ≥25; 37) were randomized to 4 weeks control diet, 6 weeks csd or cr diets, and 4 ...

Obesity results from an imbalance between calorie intake and calorie output. Although an excessive calorie intake is the most obvious and usual explanation for the development of obesity, a variety of factors influencing calorie expenditure may also be involved. Some of these factors may even be inborn. Recent work on controls of energy utilization, and on the relation between obesity and chang...

There is a low but uncertain probability that climate change could trigger “mega-catastrophes,” severe and at least partly irreversible adverse effects across broad regions. This paper first discusses the state of current knowledge and the defining characteristics of potential climate change mega-catastrophes. While some of these characteristics present difficulties for using standard rational ...

In changing climatic conditions, heat stress caused by high temperature poses a serious threat to rice cultivation. A multiple organizational analysis at physiological, biochemical, and molecular levels is required to fully understand the impact of elevated temperature in rice. This study was aimed at deciphering the elevated temperature response in 11 popular and mega rice cultivars widely gro...

We report on the integration of Tps as an external reasoning component into the mathematical assistant system mega. Thereby Tps can be used both as an automatic theorem prover for higher order logic as well as interactively employed from within the mega environment. Tps proofs can be directly incorporated into mega on a tactic level enabling their visualization and verbalization. Using an examp...

BACKGROUND Current guidelines for nutritional rehabilitation in hospitalized restrictive eating disorder patients recommend a cautious approach to refeeding. Several studies suggest that higher calorie diets may be safe and effective, but have traditionally excluded severely malnourished patients. The goal of this study was to evaluate the safety of a higher calorie nutritional rehabilitation p...