J. D. Robson

Learn More
Recent developments in functional language implementations have resulted in the G-machine, a programmed graph-reduction machine. Taking this as a basis, we introduce an optimised method of performing graph reduction, which does not need to build the spine of the expression being reduced. This Spineless G-machine only updates shared expressions, and then(More)
—Small dispersoid particles inhibit recrystallisation and are thus critical in controlling the grain structure of many high strength commercial aluminium alloys. A general, physical model has been developed for the precipitation of Al 3 Zr dispersoids in aluminium alloys. The predictions of the model have been compared with results of an experimental(More)
Continued growth in wireless data demands has driven the need for more spectrum. Both licensed and unlicensed spectrum solutions are being deployed and viewed as complementary in dealing with the wireless traffic explosion. For example, Wi-Fi is being used successfully to assist in offloading the more spectrally constrained licensed band systems. At the(More)
Daughter craft (DC) operate from emergency response and rescue vessels (ERRV) on the UKCS. Since their introduction in the 1990s the craft have seen progressive incremental development in terms of their design and operation. In parallel with this, the regulatory framework under which they operate has also been adapted. Using a datum point of October 2002,(More)
Refinement and characterisation of a thermodynamically stable b-[Ni(Al,Ti)]–b=-[Ni 2 AlTi]–c=-[Ni 3 (Al,Ti)] metal–metal composite The Ni–Al–Ti system contains three intermetallic phases, c=, b, and b= which have complementary properties. The objective of the present investigation was to coextrude these three phases to form a metal–metal composite (MeMeC)(More)
  • 1