We argue that the possibility to observe a stable biaxial nematic phase in a binary mixture of prolate and oblate hard particles is seriously limited by the existence of entropydriven demixing. This result follows from a simple Onsager-type density functional theory. An important feature15 the coupling of the demixing mechanism to the orientational order of the system. The strength of this coup...

This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked systems. The key result presented here is a comprehensive semantics of the entire language that addresses various semantics issues that have been uncovered, whilst laying foundations for future extensions, particularly towa...

Reading has been studied for decades, yet no theories exist which completely explain it. In particular, a type of knowledge intensive reading, creative reading, has been practically ignored. Creative reading is the reading of texts which contain novel concepts. Nearly all reading will be creative to some degree; thus, any theory which overlooks this will be incomplete. By combining results from...