Generation of Coherent Signals for the Verification of Signal Processing Algorithms in Radio Astronomy.

Thushara Kanchana Gunaratne

Published in: PACRIM (2019)

Keyphrases

radio frequency
signal processing
generation process
formal verification
spectral analysis
metadata
input signals
signature verification
face verification
wireless communication
information retrieval
scientific data
model checking
non stationary
data management
earth science
acoustic emission