Skip to main content

Research Repository

Advanced Search

All Outputs (9)

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.

Beyond desktop point and click: Immersive walkthrough of aerospace structures (2010)
Conference Proceeding
Courter, D., Springer, J. P., Neumann, C., Cruz-Neira, C., & Reiners, D. (2010). Beyond desktop point and click: Immersive walkthrough of aerospace structures. In 2010 IEEE Aerospace Conference (42948). https://doi.org/10.1109/AERO.2010.5446793

There are a number of 3D applications that have shown the benefits of using visualization techniques for virtual prototyping and education in aerospace engineering. However,these applications typically run only on desktop computers and user interacti... Read More about Beyond desktop point and click: Immersive walkthrough of aerospace structures.