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

ReCePS: Reward Certification for Policy Smoothed Reinforcement Learning

Mu, R., Soriano Marcolino, L., Zhang, T., Zhang, Y., Huang, X. & Ruan, W., 10/12/2023, (Accepted/In press) Conference on Artificial Intelligence (AAAI-24): SRRAI Special Track.

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

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

RF-care: Device-free posture recognition for elderly people using a passive RFID tag array

Yao, L., Sheng, Q. Z., Ruan, W., Gu, T., Li, X., Falkner, N. J. G. & Yang, Z., 1/01/2015, Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), p. 110-119 10 p.

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

Service Recommendation for Mashup Composition with Implicit Correlation Regularization

Yao, L., Wang, X., Sheng, Q. Z., Ruan, W. & Zhang, W., 13/08/2015, Proceedings - 2015 IEEE International Conference on Web Services, ICWS 2015. Zhu, H. & Miller, J. A. (eds.). IEEE, p. 217-224 8 p. 7195572

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

TagTrack: Device-free localization and tracking using passive RFID tags

Ruan, W., Yao, L., Sheng, Q. Z., Falkner, N. J. G. & Li, X., 1/01/2014, MobiQuitous 2014 - 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), p. 80-89 10 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