Original paper

This position paper is based on presentations given at the Grand Challenge workshops held at Gresham College in March 2004 and in Newcastle in July 2005. It reports some of our experience from building the SPARK language and its verification tools. We argue that the provision of an unambiguous semantics for a programming language is crucial if the verification framework is to be sound, deep and...

Our goal as education researchers is to make a difference. We want to help students learn better, or perhaps we want them to learn just as well but at lower cost to our institutions. Decades of research tell us that it is difficult to make a significant difference with technology. This is especially true if we are trying to do the same things. The true value of new technology comes when it perm...

The application of the grand canonical ensemble in statistical thermodynamics to the stimulus adsorption on the olfactory receptor sites, assuming some simplifying hypotheses, leads us to an expression of the olfactory response R, which is a function of various physico-chemical parameters involved in the olfaction mechanism, e.g. the stimulus concentration, the saturated vapor pressure, the pow...

We construct some N = 1 supersymmetric three-family SU(5) Grand Unified Models from type IIA orientifolds on T6/(Z2 × Z2) with D6-branes intersecting at general angles. These constructions are supersymmetric only for special choices of untwisted moduli. We show that within the above class of constructions there are no supersymmetric three-family models with 3 copies of 10-plets unless there are...