It is now more than 60 years since the world’s first business use of a computer, the valuation of bakery output, was rolled-out the LEO I computer at Cadby Hall in London, the headquarters of the food production and catering company J. Lyons and Company. LEO I had been designed and built as a computer to be used for business data processing by a team of engineers recruited by Lyons, with a basi...

LEO-II is a standalone, resolution-based higher-order theorem prover that is designed for fruitful cooperation with specialist provers for first-order and propositional logic. The idea is to combine the strengths of the different systems. On the other hand, LEO-II itself, as an external reasoner, wants to support interactive proof assistants such as Isabelle/HOL, HOL, and OMEGA by efficiently a...

Radio Frequency Identification (RFID) systems, due to recent technological advances, are being deployed in large scale for different applications. However, this requires a dense deployment of readers to cover the working area. Without optimizing reader's distribution and number, many of the readers will be redundant, reducing the efficiency of the whole RFID system. The problem of eliminating r...

The Internet Engineering Task Force is working on extending the traditional TCP/IP model for supporting multimedia and real-time applications on the Internet. Thus, new protocols have been developed such as the Resource Reservation Protocol. With the rapid growth of mobile networks, the IETF is also working on creating and extending the existing protocols to support mobile users. This has led t...

The NASA Exploration Systems Architecture Study (ESAS) produced a transportation architecture for returning humans to the moon affordably and safely while using commercial services for tasks such as cargo delivery to low earth orbit (LEO). Another potential utilization of commercial services is the delivery of cryogenic propellants to LEO for use in lunar exploration activities. With in-space p...

Satellite communication promises potential methods for providing global communication. In particular, by the development of a Low Earth Orbital (LEO) satellite constellation, both global coverage and broadband communication will be accessible. Problems arise in situations where various tra¢ c types in broadband communication require di¤erent levels of quality of service (QoS). Tra¢ c control is...

A monoclonal antibody, Leo Mel 3, raised against a melanoma cell line (LiBr), binds to a carbohydrate determinant of cell surface gangliosides, the simplest of which is GD3. This monoclonal antibody was screened for by its capacity to block the recognition and lysis of the melanoma cells by cytotoxic T-lymphocytes with anomalous killer cell function, illustrating a novel approach for identifyin...

Using SDSS I data, we have analysed the stellar distribution of the Leo II dwarf spheroidal galaxy (distance of 233 kpc) to search for evidence of tidal deformation. The existing SDSS photometric catalogue contains gaps in regions of high stellar crowding, hence we filled the area at the centre of Leo II using the DAOPHOT algorithm applied to the SDSS images. The combined DAOPHOTSDSS dataset co...

Low earth orbit (LEO) satellite systems gained considerable interest in the past decade and were expected to be instrumental in future telecommunications systems. Nevertheless, the first two LEO satellite networks that are currently in operation have not come to fruition on account of the limited spectrum of services that they provide. In this context, future LEO satellite networks will be gear...