Automatic Identification System Signals propagation in troposphere ducting conditions | IEEE Conference Publication | IEEE Xplore