Skip to main content

Research Repository

Advanced Search

Outputs (747)

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Presentation / Conference Contribution
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. System dependability modelling and analysis using AADL and HiP-HOPS

The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and d... Read More about System dependability modelling and analysis using AADL and HiP-HOPS.

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.

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.

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.

Virtual angioscopy based on implicit vasculatures (2011)
Journal Article
Hong, Q., Li, Q., & Tian, J. (2011). Virtual angioscopy based on implicit vasculatures. Lecture notes in computer science, 6785 LNCS(PART 4), 592-603. https://doi.org/10.1007/978-3-642-21898-9_49

Virtual endoscopy is among the most active areas in medical data visualization, which focuses on the simulated visualizations of specific hollow organs for the purposes of training and diagnosis. In this paper, we present a virtual angioscopy techniq... Read More about Virtual angioscopy based on implicit vasculatures.

A numerical model for Hodgkin-Huxley neural stimulus reconstruction (2011)
Journal Article
Kambhampati, C., & Sarangdhar, M. (2011). A numerical model for Hodgkin-Huxley neural stimulus reconstruction. Iaeng International Journal of Computer Science, 38(1), 89--94

The information about a neural activity is encoded in a neural response and usually the underlying stimulus that triggers the activity is unknown. This paper presents a numerical solution to reconstruct stimuli from Hodgkin-Huxley neural responses wh... Read More about A numerical model for Hodgkin-Huxley neural stimulus reconstruction.

An Integrated Immersive Simulator for the Dismounted Soldier (2011)
Presentation / Conference Contribution
Cruz-Neira, C., Neumann, C., Odom, C., Reiners, D., Kathy, K., & Springer, J. An Integrated Immersive Simulator for the Dismounted Soldier

Immersive military training simulators have been available for over thirty years; but, most of these training simulators have been targeted at training forces on vehicle operations and missions (e.g., flight simulators). These simulators typically us... Read More about An Integrated Immersive Simulator for the Dismounted Soldier.

A multi-DOF robotic exoskeleton interface for hand motion assistance (2011)
Presentation / Conference Contribution
Iqbal, J., Tsagarakis, N. G., & Caldwell, D. G. (2011, August). A multi-DOF robotic exoskeleton interface for hand motion assistance. Presented at 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Boston, MA, USA

This paper outlines the design and development of a robotic exoskeleton based rehabilitation system. A portable direct-driven optimized hand exoskeleton system has been proposed. The optimization procedure primarily based on matching the exoskeleton... Read More about A multi-DOF robotic exoskeleton interface for hand motion assistance.