We present a reformulation of unsteady turbulent flow simulations. The initial condition is relaxed and information is allowed to propagate both forward and backward in time. Simulations of chaotic dynamical systems with this reformulation can be proven to be well-conditioned time domain boundary value problems. The reformulation can enable scalable parallel-in-time simulation of turbulent flows.

This article evaluates the performance of two techniques for query reformulation in a system for information retrieval, namely, the concept based and the pseudo relevance feedback reformulation. The experiments performed on a corpus of Arabic text have allowed us to compare the contribution of these two reformulation techniques in improving the performance of an information retrieval system for...

useful in solving tractable problems; for example, the proof of tractability of 2SAT involved the reformulation of 2-SAT as a graph problem (Papadimitriou 1994). However, not enough is known about how and when to apply reformulation. The workshop organizers invited researchers to address the following questions: What is reformulation? How can it be defined formally? Is reformulation different f...

ion & Reformulation • Original formulation • Reformulated formulation Original problem Reformulated problem Reformulation technique The reformulation may be an approximation • Original query • Reformulated query Original space Reformulated space Φ(S l ti (P )) Solutions(Pr) o u ons o Solutions(Po) Constraint Systems Laboratory 10/1/2007 4 CP 2007 Issue: finding Ken’s house Google Maps Yahoo Maps

This study examined the frequency of query reformulation types in task-driven experiment, and how it is related to task type and individual differences among users. Our results indicated that Specialization and Word Substitution were the two most frequent query reformulation types. In addition, the type of search task had a significant effect on the type of query reformulation.

We discuss three aspects of the intuitionistic reformulation of Mally’s deontic logic that was recently proposed (Journal of Philosophical Logic (2013) 42:635–641). First, this reformulation is more similar to Standard Deontic Logic than appears at first sight: like Standard Deontic Logic, it is Kanger reducible and Anderson reducible to alethic logic and it has a semantical interpretation that...

Reformulation of food products to reduce salt content has been a central strategy for achieving population level salt reduction. In this paper, we reflect on current reformulation strategies and consider how consumer behavior determines the ultimate success of these strategies. We consider the merits of adopting a 'health by stealth', silent approach to reformulation compared to implementing a ...

This study examines the facets and patterns of multiple Web query reformulations with a focus on reformulation sequences. Based on IR interaction models, it was presumed that query reformulation is the product of the interaction between the user and the IR system. Query reformulation also reflects the interplay between the surface and deeper levels of user interaction. Query logs were collected...