Home > Research > Researchers > Dr Wenjie Ruan > Publications

Research

Dr Wenjie Ruan

Lecturer

11 - 20 out of 43Page size: 10
RSS feed of this list
  1. Published

    Quantifying safety risks of deep neural networks

    Xu, P., Ruan, W. & Huang, X., 31/08/2023, In: Complex & Intelligent Systems. 9, 4, p. 3801-3818 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Published

    A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

    Wu, M., Wicker, M., Ruan, W., Huang, X. & Kwiatkowska, M., 6/02/2020, In: Theoretical Computer Science. 807, p. 298-329 32 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    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

  4. Published

    RBF-ARX model·based optimal control method for moisture content in output dried cut tobacco

    Wang, X., Peng, X., Yang, Y., Peng, H. & Ruan, W., 1/01/2014, In: Tobacco Science and Technology. 2014, 1, p. 26-30 5 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    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

  6. Published

    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

  7. Published

    Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection

    Ruan, W., Sheng, Q. Z., Xu, P., Yang, L., Gu, T. & Shangguan, L., 1/09/2018, In: IEEE Transactions on Mobile Computing. 17, 9, p. 2087-2100 14 p., 8067452.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach

    Ruan, W., Sheng, Q. Z., Yao, L., Li, X., Falkner, N. J. G. & Yang, L., 15/02/2018, In: Journal of Network and Computer Applications. 104, p. 78-96 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Recognizing daily living activity using embedded sensors in smartphones: A data-driven approach

    Ruan, W., Chea, L., Sheng, Q. Z. & Yao, L., 15/12/2016, Advanced Data Mining and Applications - 12th International Conference, ADMA 2016, Proceedings. Li, J., Li, X., Wang, S., Li, J. & Sheng, Q. Z. (eds.). Springer Verlag, p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10086 LNAI).

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

  10. Published

    Forecasting seasonal time series using weighted gradient RBF network based autoregressive model

    Ruan, W., Sheng, Q. Z., Xu, P., Tran, N. K., Falkner, N. J. G., Li, X. & Zhang, W. E., 24/10/2016, CIKM 2016 - Proceedings of the 2016 ACM Conference on Information and Knowledge Management. Association for Computing Machinery (ACM), p. 2021-2024 4 p.

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

Previous 1 2 3 4 5 Next

Back to top