Player-Compatible Equilibrium (PCE) imposes cross-player restrictions on the magnitudes of players' “trembles” onto different strategies. These capture idea that trembles correspond to deliberate experiments by agents who are unsure prevailing distribution play. PCE selects intuitive equilibria in a number examples where trembling-hand perfect equilibrium (Selten, 1975) and proper (Myerson, 197...

We propose a statistical model for natural language that begins by considering language as a monoid, then representing it in complex matrices with a compatible translation invariant probability measure. We interpret the probability measure as arising via the Born rule from a translation invariant matrix product state.

This paper introduces Elody, a MidiShare compatible music composition environment developed in Java. The heart of Elody is a visual functional language derived from the λ-calculus. The languages expressions are handled through visual constructors and Drag & Drop actions allowing the user to play in realtime with the language.

Projects currently underway at Sheffield may be more appropriately described by the term Language Engineering than the well-established labels of Natural Language Processing or Computational Linguistics. This reflects an increased focus on viable applications of language technology, promoting a view of the software infrastructure as central to the development process. To this end, Sheffield has...

In this project, we extend MIPL, a Prolog-compatible programming language with distributed computational features, to evaluate how adapting a dynamic code modification technique will affect the extended programming language, MIPLex, focusing on the execution performance and the program development convenience of the language. The experiments will shed a light on the possible benefits of dynamic...

An extension to the Go language was developed that introduces parametric polymorphism in the form of generic functions. The changes to the language and the compiler needed to implement the type system extensions are discussed, and alternative implementation strategies are described. The resulting implementation of generic functions is backwards compatible with the existing Go standard and is co...

We propose a method for selecting and ranking translation candidates using as, input disambiguated source language expressions with thesaurus-compatible senses. This procedure provides the means for choosing contextually appropriate translations automatically once the sense of the expression in the source language is known. Results can be stored to create a database where bilingual dictionary e...

The need for a representation language for ontology design patterns has long been recognized. However, the body of literature on the topic is still rather small and does not sufficiently reflect the diverse requirements on such a language. Herein, we propose a simple but useful and extendable approach which is fully compatible with the Web Ontology Language and should be easy to adopt by the co...