All Outputs (7)

A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Presentation / Conference Contribution
Papadopoulos, Y., & Walker, M. A hierarchical method for the reduction of temporal expressions in Pandora. Presented at Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10

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)
Presentation / Conference Contribution
Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D., Törngren, M., Servat, D., Abele, A., Stappert, F., Lonn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., & Sandberg, A. (2010, April). Automatic allocation of safety integrity levels. Presented at Proceedings of the 1st Workshop on Critical Automotive applications Robustness & Safety - CARS '10

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)
Presentation / Conference Contribution
Kambhampati, C., Sarangdhar, M., & Poolsawad, N. (2010, October). Dysphonia measures in parkinson's disease and their use in prediction of its progression. Presented at International Conference on Knowledge Engineering and Ontology Development, Valencia, Spain

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)
Presentation / Conference Contribution
Sarangdhar, M., & Kambhampati, C. (2010, June). Stimulus reconstruction from a Hodgkin-Huxley neural response: A numerical solution. Presented at World Congress on Engineering 2010

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)
Presentation / Conference Contribution
Hong, Q., Li, Q., & Tian, J. (2010, June). Local hybrid level-set method for MRA image segmentation. Presented at 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010

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)
Presentation / Conference Contribution
Zainol, Z., & Wang, B. (2010, April). GN-DTD: Graphical notation for describing XML documents. Presented at 2nd International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2010

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)
Presentation / Conference Contribution
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010, June). A translation of state machines to temporal fault trees. Presented at 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W)

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.