Julian Richardson

Learn More
Program synthesis automatically derives programs from specifications of their behavior. At a lower level, compilation automatically derives machine code from source code (i.e. from a specification of its behavior). An advantage of program synthesis/compilation, as opposed to manual coding, is that there is a direct link between the specification and the(More)
Purified viral preparations of influenza A virus were examined for the presence of NS2 protein hitherto considered as a viral nonstructural protein that is present only in infected cells. Analysis of purified virus by radioimmunoprecipitation with monospecific antisera to NS2 revealed its presence in the virus particle suggesting that it is a viral(More)
In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof planner. We use an unambiguous higher-order formulation of lists which is amenable to formal proofs without using induction, and to display using the familiar ... notation.
Determining the intended sense of words in text – word sense disambiguation (WSD) – is a longstanding problem in natural language processing. Recently, researchers have shown promising results using word vectors extracted from a neural network language model as features in WSD algorithms. However, a simple average or concatenation of word vectors for each(More)
We have previously described a strategy for integrating selectable marker genes into yeast artificial chromosomes (YACs) to facilitate their transfer into embryonic stem (ES) cells. Here we apply this technology to create mice carrying the core region of the human immunoglobulin (Ig) kappa light chain locus. A YAC was isolated which contains a 300 kb insert(More)
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping inefficient constructs to more efficient ones. One challenging aspect of the technique is that of proving that the schemata are correct. This paper addresses the issue of correctness. We(More)