Skip to main content

Research Repository

Advanced Search

All Outputs (103)

Automatic generation of Temporal Fault Trees from AADL models (2013)
Conference Proceeding
Mahmud, N., & Mian, Z. (2014). Automatic generation of Temporal Fault Trees from AADL models. In R. Steenbergen, P. VanGelder, S. Miraglia, & A. Vrouwenvelder (Eds.), Safety, Reliability and Risk Analysis : Beyond the Horizon (2741-2749). https://doi.org/10.1201/b15938

The Architecture Analysis and Design Language (AADL) is gaining growing acceptance in the aerospace, automobile and avionics industries. These industries are increasingly concerned with systems exhibiting sequence-dependent failures. About dependabil... Read More about Automatic generation of Temporal Fault Trees from AADL models.

The technology supported assessment model: a proposal for FIT in HNUE (2013)
Conference Proceeding
Nguyen, T. C., & Gordon, N. (2013). The technology supported assessment model: a proposal for FIT in HNUE. In D. Graham (Ed.),

The student learning assessment systems used in many Vietnamese universities do not utilise technology enhanced learning. Therefore, assessment systems take up a lot of time, and require manual human intervention. Moreover, the benefits of active lea... Read More about The technology supported assessment model: a proposal for FIT in HNUE.

Robotics for nuclear power plants - Challenges and future perspectives (2013)
Conference Proceeding
Iqbal, J., Tahir, A. M., Ul Islam, R., & Riaz-Un-Nabi. (2013). Robotics for nuclear power plants - Challenges and future perspectives. In 2012 2nd International Conference on Applied Robotics for the Power Industry (CARPI) (151-156). https://doi.org/10.1109/CARPI.2012.6473373

Use of robotics and computerized tools in Nuclear Power Plants (NPPs) has been identified as a highly recommended practice by IAEA. The key rationale of robotics application has always been to avoid human exposure to hazardous environments and tasks... Read More about Robotics for nuclear power plants - Challenges and future perspectives.

An autonomous image-guided robotic system simulating industrial applications (2013)
Conference Proceeding
Islam, R. U., Iqbal, J., Manzoor, S., Khalid, A., & Khan, S. (2013). An autonomous image-guided robotic system simulating industrial applications. In 2012 7th International Conference on System of Systems Engineering (SoSE) (344-349). https://doi.org/10.1109/SYSoSE.2012.6384195

This paper presents a robotic system based on a serial manipulator. The robot is a vertical articulated arm with 5 revolute joints having 6 Degree Of Freedom. Actuated with six precise servo motors, the system offers positional accuracy of ±0.5mm wit... Read More about An autonomous image-guided robotic system simulating industrial applications.

Brain controlled human robot interface (2013)
Conference Proceeding
Naveed, K., Iqbal, J., & Ur Rehman, H. (2013). Brain controlled human robot interface. In 2012 International Conference on Robotics and Artificial Intelligence (ICRAI) (55-60). https://doi.org/10.1109/ICRAI.2012.6413410

This Paper emphasizes on the ever increasing need of better communication medium between a human and a robot in order to control it precisely. Brain Computer Interface (BCI) is the most suitable mean of communication between them, especially for the... Read More about Brain controlled human robot interface.

Control strategies for robotic manipulators (2012)
Conference Proceeding
Khan, M. F., Ul Islam, R., & Iqbal, J. (2012). Control strategies for robotic manipulators. In 2012 International Conference on Robotics and Artificial Intelligence (ICRAI) (26-33). https://doi.org/10.1109/ICRAI.2012.6413422

This survey is aimed at presenting the major robust control strategies for rigid robot manipulators. The techniques discussed are feedback linearization/Computed torque control, Variable structure compensator, Passivity based approach and Disturbance... Read More about Control strategies for robotic manipulators.

Risk estimation of cardiovascular patients using Weka (2012)
Conference Proceeding
Bohacik, J., Davis, D., & Benedikovic, M. (2012). Risk estimation of cardiovascular patients using Weka.

Cardiovascular diseases remain the most prevalent cause of deaths worldwideand their prevention requires major life-style changes using limited health-care resources.Remote decision support for cardiovascular patients seems to allow them to lead a pr... Read More about Risk estimation of cardiovascular patients using Weka.

A comparative study of missing value imputation with multiclass classification for clinical heart failure data (2012)
Conference Proceeding
Zhang, Y., Kambhampati, C., Davis, D. N., Goode, K., & Cleland, J. G. F. (2012). A comparative study of missing value imputation with multiclass classification for clinical heart failure data. In Fuzzy Systems and Knowledge Discovery (FSKD), 2012 9th International Conference on (2840-2844). https://doi.org/10.1109/fskd.2012.6233805

Clinical data often contains missing values. Imputation is one of the best known schemes to overcome the drawbacks associated with missing values in data mining tasks. In this work, we compared several imputation methods and analyzed their performanc... Read More about A comparative study of missing value imputation with multiclass classification for clinical heart failure data.

HEXOSYS II - Towards realization of light mass robotics for the hand (2012)
Conference Proceeding
Iqbal, J., Ahmad, O., & Malik, A. (2012). HEXOSYS II - Towards realization of light mass robotics for the hand. In 2011 IEEE 14th International Multitopic Conference (INMIC) (115-119). https://doi.org/10.1109/INMIC.2011.6151454

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.

An Integrated Immersive Simulator for the Dismounted Soldier (2011)
Conference Proceeding
Cruz-Neira, C., Neumann, C., Odom, C., Reiners, D., Kathy, K., & Springer, J. (2011). 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)
Conference Proceeding
Iqbal, J., Tsagarakis, N. G., & Caldwell, D. G. (2011). A multi-DOF robotic exoskeleton interface for hand motion assistance. In 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2011) (1575-1578). https://doi.org/10.1109/IEMBS.2011.6090458

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.

A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Conference Proceeding
Papadopoulos, Y., & Walker, M. (2010). A hierarchical method for the reduction of temporal expressions in Pandora. . https://doi.org/10.1145/1772630.1772634

Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of even... Read More about A hierarchical method for the reduction of temporal expressions in Pandora.

Automatic allocation of safety integrity levels (2010)
Conference Proceeding
Papadopoulos, Y., Walker, M., Reiser, M., Weber, M., Chen, D., Törngren, M., …Sandberg, A. (2010). Automatic allocation of safety integrity levels. . https://doi.org/10.1145/1772643.1772646

In this paper, we describe a concept for the automatic allocationof general Safety Integrity Levels (SILs) to subsystems andcomponents of complex hierarchical networked architectures thatdeliver sets of safety critical functions. The concept is gener... Read More about Automatic allocation of safety integrity levels.

Dysphonia measures in parkinson's disease and their use in prediction of its progression (2010)
Conference Proceeding
Kambhampati, C., Sarangdhar, M., & Poolsawad, N. (2010). Dysphonia measures in parkinson's disease and their use in prediction of its progression.

Parkinson's Disease (PD) is a neurodegenerative disorder that impairs the motor skills, speech and general muscle coordination. The progression of PD is assessed using a clinically defined rating scale known as Unified Parkinson's Disease Rating Scal... Read More about Dysphonia measures in parkinson's disease and their use in prediction of its progression.

Stimulus reconstruction from a Hodgkin-Huxley neural response: A numerical solution (2010)
Conference Proceeding
Sarangdhar, M., & Kambhampati, C. (2010). Stimulus reconstruction from a Hodgkin-Huxley neural response: A numerical solution. In Proceedings of the World Congress on Engineering (627 - 632)

Neural responses are the fundamental expressions of any neural activity. Information carried by a neural response is determined by the nature of a neural activity. In majority of cases the underlying stimulus that triggers it remains largely... Read More about Stimulus reconstruction from a Hodgkin-Huxley neural response: A numerical solution.

Local hybrid level-set method for MRA image segmentation (2010)
Conference Proceeding
Hong, Q., Li, Q., & Tian, J. (2010). Local hybrid level-set method for MRA image segmentation. . https://doi.org/10.1109/CIT.2010.250

In this paper, a local hybrid level-set method for medical image segmentation is presented. In proposed method, a locally fitted binary energy function is introduced into the hybrid level-set framework proposed by Zhang et al.. Compared with the glob... Read More about Local hybrid level-set method for MRA image segmentation.

GN-DTD: Graphical notation for describing XML documents (2010)
Conference Proceeding
Zainol, Z., & Wang, B. (2010). GN-DTD: Graphical notation for describing XML documents. . https://doi.org/10.1109/dbkda.2010.29

This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us to capture syntax and semantic of XML documents in a simple way but preci... Read More about GN-DTD: Graphical notation for describing XML documents.

A translation of state machines to temporal fault trees (2010)
Conference Proceeding
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010). A translation of state machines to temporal fault trees. . https://doi.org/10.1109/dsnw.2010.5542620

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or c... Read More about A translation of state machines to temporal fault trees.