New tools for ocean exploration, equipping the NOAA Ship Okeanos Explorer | IEEE Conference Publication | IEEE Xplore