Proceedings 15th International Refinement Workshop

Proceedings of the 15th international workshop on high-level parallel programming models and supportive environments

The 12th HIPS workshop is a full-day meeting held at the IPDPS 2007 focusing on highlevel programming of chip multi-processors (multi-core PCs), computing clusters, and massively-parallel machines. Like its predecessors, the workshop seeks cross-fertilizing research in areas of parallel applications, language design, compilers, run-time systems, and programming tools. It provides a timely and l...

Proceedings of the 15th International Conference on Parsing Technologies

Ambiguities arising from alternations of scope in interpretations for multiply quantified sentences appear to require grammatical operations that compromise the strong assumptions of syntactic/semantic transparency and monotonicity underlying the Frege-Montague approach to the theory of grammar. Examples that have been proposed include covert movement at the level of logical form, abstraction o...

15th International Workshop on Campylobacter, Helicobacter and Related Organisms.

The purpose of this communication is to update the veterinary public health community as to what poultry-related interventions were presented at the recent biennial International Workshop on Campylobacter, Helicobacter and Related Organisms (CHRO), which was held in Niigata, Japan, September 2-5, 2009. More than 30 years have passed since the publication of Martin Skirrow's seminal paper in the...

International Refinement Workshop & Formal Methods Pacific '98

Proceedings of the second “ international Traveling Workshop

We consider the problem of audio source localization in a medium with unknown characteristics, particularly the speed of sound within the medium. We propose an algorithm to retrieve both the speed of sound and the localized signals under reasonable assumptions such as smoothness of medium structure. We present initial simulation results for stationary sinusoidal sources both for the case of uni...