Issue Date | Title | Author(s) |
2020-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |
2019-06-08 | An applied quantum hoare logic | Zhou, L; Yu, N; Ying, M; McKinley, KS; Fisher, K |
2019-10-01 | Collaborative networks in gene editing | Huang, Y; Porter, A; Zhang, Y; Barrangou, R |
2018-05-18 | SEREEGA: Simulating Event-Related EEG Activity | Krol, L; Pawlitzki, J; Lotte, F; Gramann, K; Zander, T |
2018-11-01 | SEREEGA: Simulating event-related EEG activity | Krol, LR; Pawlitzki, J; Lotte, F; Gramann, K; Zander, TO |
2016-11-01 | A hybrid similarity measure method for patent portfolio analysis | Zhang, Y; Shang, L; Huang, L; Porter, AL; Zhang, G; Lu, J; Zhu, D |
2018-05-04 | Visual Appearance Modulates Prediction Error in Virtual Reality | Singh, AK; Chen, HT; Cheng, YF; King, JT; Ko, LW; Gramann, K; Lin, CT |
2017-01-01 | Multirobot systems | Ayanian, N; Fitch, R; Franchi, A; Sabattini, L |
2018-01-01 | Design and analysis of a wide angle impedance matching metasurface for wideband antenna arrays | Bah, AO; Ziolkowski, RW; Qin, PY; Jay Guo, Y |
2019-12-01 | Increasing the performance of active noise control systems on ground with two vertical reflecting surfaces with an included angle | Zhong, J; Tao, J; Qiu, X |