ConCarE: Personalized Clinical Feature Embedding via Capturing the Healthcare Context

Ma, L., Zhang, C., Wang, Y., Ruan, W., Wang, J., Tang, W., Ma, X., Gao, X. & Gao, J., 3/04/2020, The Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020. AAAI, p. 833-840 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 34, no. 1).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles

Wu, M., Louw, T., Lahijanian, M., Ruan, W., Huang, X., Merat, N. & Kwiatkowska, M., 27/01/2020, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 6210-6216 7 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

Ruan, W., Wu, M., Sun, Y., Huang, X., Kroening, D. & Kwiatkowska, M., 31/07/2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), August 10-16, 2019, Macau, China. IJCAI, p. 5944-5952 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Concolic testing for deep neural networks

Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3/09/2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018. New York: Association for Computing Machinery (ACM), p. 109-119 11 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Reachability analysis of deep neural networks with provable guarantees

Ruan, W., Huang, X. & Kwiatkowska, M., 13/07/2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, Vol. 2018. p. 2651-2659 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Related or duplicate: Distinguishing similar CQA questions via convolutional neural networks

Zhang, W. E., Sheng, Q. Z., Tang, Z. & Ruan, W., 27/06/2018, SIGIR '18 The 41st International ACM SIGIR Conference on Research & Development in Information Retrieval. New York: Association for Computing Machinery, Inc, p. 1153-1156 4 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Toward Unified Cloud Service Discovery for Enhanced Service Identification

Alfazi, A., Sheng, Q. Z., Babar, A., Ruan, W. & Qin, Y., 1/04/2018, Service Research and Innovation: 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Revised Selected Papers. Beheshti, A., Zhang, W. E., Dong, H. & Hashmi, M. (eds.). Springer Verlag, p. 149-163 15 p. (Lecture Notes in Business Information Processing; vol. 234).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Interpolating the missing values for multi-dimensional spatial-temporal sensor data: A tensor SVD approach

Xu, P., Ruan, W., Sheng, Q. Z., Gu, T. & Yao, L., 7/11/2017, 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017. Association for Computing Machinery (ACM), p. 442-451 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Recovering missing values from corrupted spatio-temporal sensory data via robust low-rank tensor completion

Ruan, W., Xu, P., Sheng, Q. Z., Falkner, N. J. G., Li, X. & Zhang, W. E., 1/04/2017, Database Systems for Advanced Applications . Candan, S., Chen, L., Pedersen, T., Chang, L. & Hua, W. (eds.). Cham: Springer, p. 607-622 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10177).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review