TensorRight: Automated Verification of Tensor Graph Rewrites.

The Design of a Circularly Polarized Antenna Array with Flat-Top Beam for an Electronic Toll Collection System.

A Printed Dipole Array with Bidirectional Endfire Radiation for Tunnel Communication.

An Object Tuple Model for Understanding Pointer and Array in C Language.

Novel cross LSTM for predicting the changes of complementary pelvic angles between standing and sitting.