Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It extends the expressiveness of Event-B allowing us to prove properties of systems that could not be formalised in Event-B before. We demonstrate this by means of a small example, part of a larger Event-B development that could not ...

Vowel Spaces within and across Language Communities Andrew R. Plummer, Lucie Ménard , Benjamin Munson, Mary E. Beckman Dept. of Linguistics, The Ohio State University, Columbus, OH, USA département de linguistique, Université du Québec à Montréal, Montréal, Canada Dept. of Speech-Language-Hearing Sciences, University of Minnesota, Minneapolis, MN, USA {plummer,mbeckman}@ling.ohio-state.edu, men...

We discuss statistical and computational aspects of inverse or parameter estimation problems based on Ordinary Least Squares and Generalized Least Squares with appropriate corresponding data noise assumptions of constant variance and nonconstant variance (relative error), respectively. Among the topics included here are mathematical model, statistical model and data assumptions, and some techni...