Skip to main content

Research Repository

Advanced Search

All Outputs (5)

Quantification of Simultaneous-AND Gates in Temporal Fault Trees (2013)
Journal Article
Edifor, E., Walker, M., & Gordon, N. (2013). Quantification of Simultaneous-AND Gates in Temporal Fault Trees. Advances in Intelligent Systems and Computing, 224, 141-151. https://doi.org/10.1007/978-3-319-00945-2_13

Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA... Read More about Quantification of Simultaneous-AND Gates in Temporal Fault Trees.

Maximising gain for minimal pain: Utilising natural game mechanics (2013)
Journal Article
Gordon, N., Brayshaw, M., & Grey, S. (2013). Maximising gain for minimal pain: Utilising natural game mechanics. Innovation in teaching and learning in information and computer sciences, 12(1), 27-38. https://doi.org/10.11120/ital.2013.00004

This paper considers the application of natural games mechanics within higher education as a vehicle to encourage student engagement and achievement of desired learning outcomes. It concludes with desiderata of features for a learning environment whe... Read More about Maximising gain for minimal pain: Utilising natural game mechanics.

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.

Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support (2013)
Book Chapter
Al-Qora'n, L., Sharvia, S., Papadopoulos, Y., & Gordon, N. (2013). Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support. Global Telemedicine and eHealth Updates: Knowledge Resources (527 - 531). International Society for Telemedicine & eHealth

Home Telehealth systems are used to help in the management of chronic conditions by patients themselves. Effective safety analysis tools are needed to ensure reliability and safety of these high risk systems. We hereby explain how Hierarchically-Perf... Read More about Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support.

Tetrads of lines spanning PG(7,2) (2013)
Journal Article
Shaw, R., Gordon, N., & Havlicek, H. (2013). Tetrads of lines spanning PG(7,2). Bulletin of the Belgian Mathematical Society, Simon Stevin, 20(4), 735-752. https://doi.org/10.36045/bbms/1382448192

Our starting point is a very simple one, namely that of a set L₄ of four mutually skew lines in PG(7,2). Under the natural action of the stabilizer group G(L₄)