The questions participants explored for the 2014 Moody Mega Math Challenge revolved around the Healthy, HungerFree Kids act of 2010. The teams were asked to address three tasks: determine caloric needs of an individual, determine the distribution of caloric needs across a large population of people, and determine a way to construct a plan to meet students’ caloric needs. Their submissions were ...

— For a given endomorphism h on a finitely generaled jree monoid there are only flnitely many primitive words w for which h(w) = w for some n^2. Also, one can effectively find ail such w. Using this it is shown that it is decidable whether or not a morphism h defines an ultimately periodic infinité word when iterated on a given word. This latter resuit thus solves the DOL periodicity problem. R...

We show how and why it makes sense to use a relational formalisation instead of the usual functional one in the treatment of term graphs. Special attention is paid to term graphs with bound variables, that have, to our knowledge, never been formalised with such a generality before. Besides the novel treatment of term graphs themselves, we present an innovative relational homomorphism concept th...

We prove that for every regular comma-free code there exists a maximal comma-free code containing it which is still regular and, moreover, we can effectively locate such a completion. In particular, we can decide whether a given regular comma-free code is maximal.

A set of operat ions for construct ing a lgebra ic specif icat ions in an arbi t rary logical system is presented. This builds on the f ramework provided by Goguen and Burstal l 's work on the not ion of an inst i tut ion as a formal isat ion of the concept of a logical system for wri t ing specif icat ions. We show how to introduce free variables into the sentences of an arbi t rary institutio...

An important feature of speech-gesture integration is that speech and gesture content influence each other in interpretation. To analyse this, we sketch an approach based on three assumptions: (i) the interpreter infers by abduction an explanation for why a particular gesture is synchronized with a particular utterance (part), (ii) semantic composition amounts to the identification of free vari...