The diameter velocity dispersion relation in B, V, and K for three early type galaxies in the Leo I (M96) group is derived from published photometry and kinematic data. The relations in all three colors have slopes which agree well with those for the Coma cluster. The RMS scatter of the Leo I galaxies in each color is extremely small, consistent with the group’s compactness. These relations yie...

The automated theorem prover Leo was one of the first systems able to prove theorems in higher-order logic. Since the first version of Leo many other systems emerged and outperformed Leo and its successor Leo-II. The Leo-III project’s aim is to develop a new prover reclaiming the lead in the area of higher-order theorem proving. Current competitive theorem provers sequentially manipulate sets o...

We present a detailed study of the color magnitude diagram (CMD) of the dwarf spheroidal galaxy Leo I, based on archival Hubble Space Telescope data. Our photometric analysis, confirming previous results on the brighter portion of the CMD, allow us to obtain an accurate sampling of the stellar populations also at the faint magnitudes corresponding to the Main Sequence. By adopting a homogeneous...

Abstract Positioning, Navigation and Timing (PNT) are services generally provided by Global Satellite Systems (GNSS). GNSS reside in medium to high orbital altitudes from the Earth’s surface, resulting weak signal reception. However, user applications increasingly need of higher power strength or alternative PNT solutions. An influx satellites Low Earth Orbit (LEO) driving such innovation techn...

We derive new effective radii and total magnitudes for 5 E and S0 galaxies in the Leo-I group from wide-field CCD images. These are used in conjunction with recent literature velocity data to construct the fundamental plane (FP) of the Leo-I group. The rms scatter that we find is only 6 % in distance. The zero point of this relation provides a calibration of the FP as a distance indicator and d...

We present elemental abundances for multiple HII regions in Leo A and GR 8 obtained from long slit optical spectroscopy of these two nearby low luminosity dwarf irregular galaxies. As expected from their luminosities, and in agreement with previous observations, the derived oxygen abundances are extremely low in both galaxies. High signal-to-noise ratio observations of a planetary nebula in Leo...