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