Huayi Huang

According to our database, Huayi Huang authored at least 10 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Three interior penalty DG methods for stationary incompressible magnetohydrodynamics.

Huayi Huang, Yunqing Huang, Xiaojing Dong

J. Comput. Appl. Math., June, 2023

2021

A Facile Low-Cost Wireless Self-Powered Footwear System for Monitoring Plantar Pressure.

Huayi Huang, Ziya Wang, Wenyu Zhao, Zhihao Zhu, Waner Lin, Zhengchun Peng

Proceedings of the 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2021

2020

On the application of Human Reliability Analysis in healthcare: Opportunities and challenges.

Mark-Alexander Sujan, David Embrey, Huayi Huang

Reliab. Eng. Syst. Saf., 2020

2016

Insert Your Own Body in the Oculus Rift to Improve Proprioception.

Manuela Chessa, Lorenzo Caroggio, Huayi Huang, Fabio Solari

Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2016), 2016

2014

Detection of 3D position of eyes through a consumer RGB-D camera for stereoscopic mixed reality environments.

Manuela Chessa, Matteo Garibotti, Guido Maiello, Lorenzo Caroggio, Huayi Huang, Silvio P. Sabatini, Fabio Solari

Proceedings of the 2014 International Conference on 3D Imaging, 2014

2012

Using PVS to Investigate Incidents through the Lens of Distributed Cognition.

Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison

Proceedings of the NASA Formal Methods, 2012

2011

Capturing the distinction between task and device errors in a formal model of user behaviour.

Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Towards a formal framework for reasoning about the resilience of dynamic interactive systems.

Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar

Proceedings of the 13th European Workshop on Dependable Computing, 2011

Towards Dependable Number Entry for Medical Devices.

Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.

Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby

Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011