Yu Lu
Yu Lu
確認したメール アドレス: research.gla.ac.uk
タイトル
引用先
引用先
Risk Assessment of Railway Transportation Systems using Timed Fault Trees
Z Peng, Y Lu, A Miller, C Johnson, T Zhao
Quality and Reliability Engineering International 32 (1), 181–194, 2016
402016
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification
Y Lu, Z Peng, A Miller, T Zhao, C Johnson
Reliability Engineering & System Safety 144, 95–116, 2015
262015
Efficient Path Planning Algorithms for Unmanned Surface Vehicle
H Niu, Y Lu, A Savvaris, A Tsourdos
10th IFAC Conference on Control Applications in Marine Systems (CAMS 2016), 2016
25*2016
An energy-efficient path planning algorithm for unmanned surface vehicles
H Niu, Y Lu, A Savvaris, A Tsourdos
Ocean Engineering 161, 308-321, 2018
202018
Semi-supervised Aspect-level Sentiment Classification Model based on Variational Autoencoder
X Fu, Y Wei, F Xu, T Wang, Y Lu, J Li, JZ Huang
Knowledge-Based Systems 171, 81-92, 2019
172019
An empirical study on the use of the Generic Security Template for structuring the lessons from information security incidents
Y He, C Johnson, K Renaud, Y Lu, S Jebriel
6th International Conference on Computer Science and Information Technology …, 2014
162014
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System
Z Peng, Y Lu, A Miller, C Johnson, T Zhao
7th European Modelling Symposium (EMS 2013), 611-616, 2013
122013
Efficient Path Following Algorithm for Unmanned Surface Vehicle
H Niu, Y Lu, A Savvaris, A Tsourdos
OCEANS 2016 - Shanghai, 2016
112016
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites
Z Peng, Y Lu, A Miller, T Zhao, C Johnson
Quality and Reliability Engineering International 32 (2), 345–361, 2016
112016
Improving the Information Security Management: An Industrial Study in the Privacy of Electronic Patient Records
Y He, C Johnson, Y Lu, Y Lin
27th IEEE International Symposium on Computer-Based Medical Systems (CBMS …, 2014
92014
Verifying Collision Avoidance Behaviours for Unmanned Surface Vehicles using Probabilistic Model Checking
Y Lu, H Niu, A Savvaris, A Tsourdos
10th IFAC Conference on Control Applications in Marine Systems (CAMS 2016), 2016
72016
Ensemble Machine Learning for Estimating Fetal Weight at Varying Gestational Age
Y Lu, X Zhang, X Fu, F Chen, KKL Wong
33rd AAAI Conference on Artificial Intelligence (AAAI 2019), 9522-9527, 2019
42019
Development of Wearable Pulse Oximeter Based on Internet of Things and Signal Processing Techniques
Y Xie, Y Gao, Y Li, Y Lu, W Li
11th European Modelling Symposium (EMS 2017), 249-254, 2017
42017
Towards the Automated Verification of Weibull Distributions for System Failure Rates
Y Lu, A Miller, R Hoffmann, C Johnson
Joint 21st International Workshop on Formal Methods for Industrial Critical …, 2016
42016
Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata
Z Peng, Y Lu, A Miller
7th IEEE International Conference on Prognostics and Health Management (PHM …, 2016
42016
Prediction of fetal weight at varying gestational age in the absence of ultrasound examination using ensemble learning
Y Lu, X Fu, F Chen, KKL Wong
Artificial Intelligence in Medicine 102, 2020
32020
Computerised Interpretation Systems for Cardiotocography for both Home and Hospital Uses
Y Lu, Y Gao, Y Xie, S He
31st IEEE International Symposium on Computer-Based Medical Systems (CBMS …, 2018
32018
Availability Analysis of Satellite Positioning Systems for Aviation using the PRISM Model Checker
Y Lu, A Miller, C Johnson, Z Peng, T Zhao
17th IEEE International Conference on Computational Science and Engineering …, 2014
32014
Timed Fault Tree Models of the China Yongwen Railway Accident
Y Lu, Z Peng, A Miller, T Zhao, C Johnson
8th Asia Modelling Symposium (AMS 2014), 128-133, 2014
32014
Automatic feature extraction in X-ray image based on deep learning approach for determination of bone age
X Chen, J Li, Y Zhang, Y Lu, S Liu
Future Generation Computer Systems 110, 795-801, 2020
22020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20