Reformulation in planning

Reformulation of a problem is intended to make the problem more amenable to efficient solution. This is equally true in the special case of reformulating a planning problem. This paper considers various ways in which reformulation can be exploited in planning

Same query - different results? A study of repeat queries in search sessions

Typically, three main query reformulation types in sessions are considered: generalization, specication, and drift. We show that given the full context of user interactions, repeat queries represent an important reformulation type which should also be addressed in session retrieval evaluation. We investigate dierent query reformulation patterns in logs from The European Library. Using an automatic classification for query reformulations, we found that the most frequent (and presumably the most important) reformulation pattern corresponds to repeat queries. We aim to nd possible explanations for repeat queries in sessions and try to uncover implications for session retrieval evaluation

Potential for improvement of population diet through reformulation of commonly eaten foods

Food reformulation: Reformulation of foods is considered one of the key options to achieve population nutrient goals. The compositions of many foods are modified to assist the consumer bring his or her daily diet more in line with dietary recommendations. Initiatives on food reformulation: Over the past few years the number of reformulated foods introduced on the European market has increased enormously and it is expected that this trend will continue for the coming years. Limits to food reformulation: Limitations to food reformulation in terms of choice of foods appropriate for reformulation and level of feasible reformulation relate mainly to consumer acceptance, safety aspects, technological challenges and food legislation. Impact on key nutrient intake and health: The potential impact of reformulated foods on key nutrient intake and health is obvious. Evaluation of the actual impact requires not only regular food consumption surveys, but also regular updates of the food composition table including the compositions of newly launched reformulated foods

The Max Noether Fundamental Theorem is Combinatorial

In the present paper we give a reformulation of the Noether Fundamental Theorem for the special case where the three curves involved have the same degree. In this reformulation, the local Noether's Conditions are weakened. To do so we introduce the concept of Abstract Curve Combinatorics (ACC) which will be, in the context of plane curves, the analogue of matroids for hyperplane arrangements

The quaternionic Gauss-Lucas Theorem

The classic Gauss-Lucas Theorem for complex polynomials of degree $d\ge2$ has a natural reformulation over quaternions, obtained via rotation around the real axis. We prove that such a reformulation is true only for $d=2$. We present a new quaternionic version of the Gauss-Lucas Theorem valid for all $d\geq2$, together with some consequences.Comment: 7 pages, 1 figure. Remarks added in section 3. Proposition 14 added with complete proo