Outputs (27)

Distributed on-line safety monitor based on safety assessment model and multi-agent system (2012)
Thesis
Dheedan, A. A. Distributed on-line safety monitor based on safety assessment model and multi-agent system. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4213377

On-line safety monitoring, i.e. the tasks of fault detection and diagnosis, alarm annunciation, and fault controlling, is essential in the operational phase of critical systems. Over the last 30 years, considerable work in this area has resulted in a... Read More about Distributed on-line safety monitor based on safety assessment model and multi-agent system.

Compositional synthesis of temporal fault trees from state machines (2012)
Journal Article
Papadopoulos, Y., Walker, M., & Mahmud, N. (2012). Compositional synthesis of temporal fault trees from state machines. Performance Evaluation Review, 39(4), 79-88. https://doi.org/10.1145/2185395.2185444

Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it is difficult to represent in a single coherent and complete picture how the system and its constituent parts... Read More about Compositional synthesis of temporal fault trees from state machines.

Accurate geometry reconstruction of vascular structures using implicit splines (2012)
Thesis
Hong, Q. Accurate geometry reconstruction of vascular structures using implicit splines. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4213117

3-D visualization of blood vessel from standard medical datasets (e.g. CT or MRI) play an important role in many clinical situations, including the diagnosis of vessel stenosis, virtual angioscopy, vascular surgery planning and computer aided vascula... Read More about Accurate geometry reconstruction of vascular structures using implicit splines.

Alert rules for remote monitoring of cardiovascular patients (2012)
Journal Article
Bohacik, J., & Davis, D. (2012). Alert rules for remote monitoring of cardiovascular patients. Journal of information technologies, 5(1), 16 - 23

Cardiovascular disease is the leading cause of death in most European countries and its prevention requires major life-style changes using limited health-care resources. Remote cardiovascular decision support seems to allow cardiovascular patients to... Read More about Alert rules for remote monitoring of cardiovascular patients.

Multi-objective system optimisation with respect to availability, maintainability and cost (2012)
Thesis
Nggada, S. H. Multi-objective system optimisation with respect to availability, maintainability and cost. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4213593

Safety critical engineering systems are becoming increasingly larger and more complex. One way of ensuring the dependability of such systems is via architectural redundancy and replication of components. Use of redundancy has its limitations though,... Read More about Multi-objective system optimisation with respect to availability, maintainability and cost.

HEXOSYS II - Towards realization of light mass robotics for the hand (2012)
Presentation / Conference Contribution
Iqbal, J., Ahmad, O., & Malik, A. (2011, December). HEXOSYS II - Towards realization of light mass robotics for the hand. Presented at 2011 IEEE 14th International Multitopic Conference (INMIC), Karachi, Pakistan

This research presents a prototype of a direct-driven, optimized and light-mass hand exoskeleton that is designed to fit over the dorsal side of the hand, thus retaining palm free for interaction with real/virtual objects. The link lengths of the pro... Read More about HEXOSYS II - Towards realization of light mass robotics for the hand.

Formal framework of XML document schema design (2012)
Journal Article
Wang, B., & Zainol, Z. (2012). Formal framework of XML document schema design. International Journal of Information Retrieval Research, 2(1), 21-64. https://doi.org/10.4018/ijirr.2012010103

Designing “good” XML documents is a very difficult task for a database designer. Although many theories for XML database design have proposed, none of commercial design tool for XML document design has been developed to assist the XML document design... Read More about Formal framework of XML document schema design.