An input catalog and target selection for the transiting exoplanet survey satellite | IEEE Conference Publication | IEEE Xplore