Wenjie Ruan
Wenjie Ruan
Senior Lecturer at University of Exeter
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Concolic testing for deep neural networks
Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
1412018
Reachability analysis of deep neural networks with provable guarantees
W Ruan, X Huang, M Kwiatkowska
Proceedings of the 27th International Joint Conference on Artificial …, 2018
1242018
A modeling and control approach to magnetic levitation system based on state-dependent ARX model
Y Qin, H Peng, W Ruan, J Wu, J Gao
Journal of Process Control 24 (1), 93-112, 2014
692014
AudioGest: enabling fine-grained hand gesture detection by decoding echo signal
W Ruan, QZ Sheng, L Yang, T Gu, P Xu, L Shangguan
Proceedings of the 2016 ACM International Joint Conference on Pervasive and …, 2016
642016
Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength
L Yao, QZ Sheng, X Li, T Gu, M Tan, X Wang, S Wang, W Ruan
IEEE Transactions on Mobile Computing, 2018
542018
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi
Computer Science Review 37, 100270, 2020
43*2020
A game-based approximate verification of deep neural networks with provable guarantees
M Wu, M Wicker, W Ruan, X Huang, M Kwiatkowska
Theoretical Computer Science 807, 298-329, 2020
432020
TagTrack: Device-Free Localization and Tracking Using Passive RFID Tags
W Ruan, L Yao, QZ Sheng, NJG Falkner, X Li
The 11th International Conference on Mobile and Ubiquitous Systems …, 2014
392014
Rf-care: Device-free posture recognition for elderly people using a passive rfid tag array
L Yao, QZ Sheng, W Ruan, T Gu, X Li, N Falkner, Z Yang
proceedings of the 12th EAI International Conference on Mobile and …, 2015
362015
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
The 28th International Joint Conference on Artificial Intelligence (IJCAI'19), 2019
34*2019
Device-free Indoor Localization and Tracking through Human-Object Interactions
W Ruan, QZ Sheng, L Yao, T Gu, M Ruta, L Shangguan
World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2016 IEEE 17th …, 2016
272016
TagFall: Towards Unobstructive Fine-Grained Fall Detection based on UHF Passive RFID Tags
W Ruan, L Yao, QZ Sheng, N Falkner, X Li, T Gu
proceedings of the 12th EAI International Conference on Mobile and …, 2015
272015
Service recommendation for mashup composition with implicit correlation regularization
L Yao, X Wang, QZ Sheng, W Ruan, W Zhang
2015 IEEE International Conference on Web Services (ICWS), 217-224, 2015
242015
Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach
W Ruan, QZ Sheng, L Yao, X Li, NJG Falkner, L Yang
Journal of Network and Computer Applications 104, 78-96, 2018
202018
Unobtrusive human localization and activity recognition for supporting independent living of the elderly
W Ruan
2016 IEEE International Conference on Pervasive Computing and Communication …, 2016
162016
Exploring tag-free rfid-based passive localization and tracking via learning-based probabilistic approaches
L Yao, W Ruan, QZ Sheng, X Li, NJG Falkner
Proceedings of the 23rd ACM International Conference on Conference on …, 2014
152014
Freedom: Online activity recognition via dictionary-based sparse representation of rfid sensing data
L Yao, QZ Sheng, X Li, S Wang, T Gu, W Ruan, W Zou
2015 IEEE International Conference on Data Mining (ICDM), 1087-1092, 2015
142015
Recovering Missing Values from Corrupted Spatio-Temporal Sensory Data via Robust Low-Rank Tensor Completion
W Ruan, P Xu, QZ Sheng, NJG Falkner, X Li, WE Zhang
International Conference on Database Systems for Advanced Applications, 607-622, 2017
122017
Unobtrusive Posture Recognition via Online Learning of Multi-Dimensional RFID Received Signal Strength
L Yao, QZ Sheng, W Ruan, X Li, S Wang, Z Yang
The 21st IEEE International Conference on Parallel and Distributed Systems …, 2015
122015
Safety verification for deep neural networks with provable guarantees
MZ Kwiatkowska
Leibniz International Proceedings in Informatics, LIPIcs, 2019
92019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20