A look at the strength of micro and macro EEG analysis for distinguishing insomnia within an HIV cohort | IEEE Conference Publication | IEEE Xplore