We present stellar metallicities in Leo I, Leo II, IC 1613, and Phoenix dwarf galaxies derived from medium (F390M) and broad (F555W, F814W) band photometry using the Wide Field Camera 3 instrument on board the Hubble Space Telescope. We measured metallicity distribution functions (MDFs) in two ways, (1) matching stars to isochrones in color–color diagrams and (2) solving for the best linear com...

We present new kinematic results for a sample of 387 stars located in and around the Milky Way satellite dwarf spheroidal galaxy Leo I. These spectra were obtained with the Hectochelle multi-object echelle spectrograph on the MMT, and cover the MgI/Mgb lines at about 5200Å. Based on 297 repeat measurements of 108 stars, we estimate the mean velocity error (1σ) of our sample to be 2.4 km/s, with...

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...