Wide-Beam Designs for Terahertz Massive MIMO: SCA-ATP and S-SARV.

Boyu Ning Tiantian Wang Chongwen Huang Yuchen Zhang Zhi Chen

Published in: IEEE Internet Things J. (2023)

Keyphrases

communication systems
theorem prover
wide range
fading channels
automated theorem proving
cross section
multiple input
data analysis
wireless channels
real time
design principles
cdma systems
reinforced concrete
multiple output
massive data sets
wireless systems
computer simulation
logic programs
data sets