All Outputs (714)

Model-based dependability analysis : state-of-the-art, challenges and future outlook (2015)
Book Chapter
Sharvia, S., Kabir, S., Walker, M., & Papadopoulos, Y. (2015). Model-based dependability analysis : state-of-the-art, challenges and future outlook. In I. Mistrik, N. Ali, B. Tekinerdogan, R. Soley, & J. Grundy (Eds.), Software Quality Assurance: In Large Scale and Complex Software-intensive Systems (251-278). Elsevier. https://doi.org/10.1016/B978-0-12-802301-3.00012-0

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability technique... Read More about Model-based dependability analysis : state-of-the-art, challenges and future outlook.

Supporting the automated generation of modular product line safety cases (2015)
Book Chapter
de Oliveira, A. L., Braga, R. T., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2015). Supporting the automated generation of modular product line safety cases. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, & J. Kacprzyk (Eds.), . https://doi.org/10.1007/978-3-319-19216-1_30

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires... Read More about Supporting the automated generation of modular product line safety cases.

Model transformation for multi-objective architecture optimisation of dependable systems (2015)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., & Mahmud, N. (2015). Model transformation for multi-objective architecture optimisation of dependable systems. Advances in Intelligent Systems and Computing, 307, 91-110. https://doi.org/10.1007/978-3-319-08964-5_6

The promise of model-based engineering is that by use of an integrated and coherent system model both functional and non-functional requirements may be analysed, implemented and tested in a rigorous and cost-effective manner. An important part of mod... Read More about Model transformation for multi-objective architecture optimisation of dependable systems.

A hybrid humanoid-wheeled mobile robotic educational platform - design and prototyping (2014)
Journal Article
Arif, A. H., Waqas, M., Rahman, U. U., Anwar, S., Malik, A., & Iqbal, J. (2014). A hybrid humanoid-wheeled mobile robotic educational platform - design and prototyping. Indian Journal of Science and Technology, 7(12), 2140-2148. https://doi.org/10.17485/ijst/2014/v7i12.24

This research presents a novel, cost effective and indigenously developed educational framework for grasping hands-on concepts of Robotics and Mechatronics. The novelty of the platform lies in its ability to transform its shape from a humanoid to a w... Read More about A hybrid humanoid-wheeled mobile robotic educational platform - design and prototyping.

A safety analysis approach to clinical workflows : application and evaluation (2014)
Journal Article
Gordon, N., Kabir, S., Sharvia, S., Walker, M., & Al-Qora’n, L. (in press). A safety analysis approach to clinical workflows : application and evaluation. International Journal of Advanced Computer Science and Applications, 4(3), 82-91. https://doi.org/10.14569/SpecialIssue.2014.040310

Clinical workflows are safety critical workflows as they have the potential to cause harm or death to patients. Their safety needs to be considered as early as possible in the development process. Effective safety analysis methods are required to ens... Read More about A safety analysis approach to clinical workflows : application and evaluation.

Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks (2014)
Book Chapter
Kabir, S., Walker, M., & Papadopoulos, Y. (2014). Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In Model-Based Safety and Assessment; Lecture Notes in Computer Science (96-109). Springer Verlag. https://doi.org/10.1007/978-3-319-12214-4_8

Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic s... Read More about Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks.

Investigating heuristic evaluation as a methodology for evaluating pedagogical software: An analysis employing three case studies (2014)
Journal Article
Nganji, J., Brayshaw, M., Gordon, N., Butterfield, A., & Wen, L. (2014). Investigating heuristic evaluation as a methodology for evaluating pedagogical software: An analysis employing three case studies. Lecture notes in computer science, 8523 LNCS(PART 1), 25-35. https://doi.org/10.1007/978-3-319-07482-5_3

This paper looks specifically at how to develop light weight methods of evaluating pedagogically motivated software. Whilst we value traditional usability testing methods this paper will look at how Heuristic Evaluation can be used as both a driving... Read More about Investigating heuristic evaluation as a methodology for evaluating pedagogical software: An analysis employing three case studies.

Partitioning networks into cliques: a randomized heuristic approach (2014)
Journal Article
Chalupa, D. (2014). Partitioning networks into cliques: a randomized heuristic approach. Information Sciences and Technologies Bulletin of the ACM Slovakia, 6(3), 1-8

In the context of community detection in social networks, the term community can be grounded in the strict way that simply everybody should know each other within the community. We consider the corresponding community detection problem. We search for... Read More about Partitioning networks into cliques: a randomized heuristic approach.

A target guided subband filter for acoustic event detection in noisy environments using wavelet packets (2014)
Journal Article
Feng, Z.-R., Zhou, Q., Zhang, J., Jiang, P., & Yang, X.-W. (2015). A target guided subband filter for acoustic event detection in noisy environments using wavelet packets. IEEE/ACM transactions on audio, speech, and language processing, 23(2), 361-372. https://doi.org/10.1109/taslp.2014.2381871

This paper deals with acoustic event detection (AED), such as screams, gunshots, and explosions, in noisy environments. The main aim is to improve the detection performance under adverse conditions with a very low signal-to-noise ratio (SNR). A novel... Read More about A target guided subband filter for acoustic event detection in noisy environments using wavelet packets.

3D vasculature segmentation using localized hybrid level-set method (2014)
Journal Article
Hong, Q., Li, Q., Wang, B., Li, Y., Yao, J., Liu, K., & Wu, Q. (2014). 3D vasculature segmentation using localized hybrid level-set method. BioMedical Engineering OnLine, 13(1), 169. https://doi.org/10.1186/1475-925X-13-169

Background: Intensity inhomogeneity occurs in many medical images, especially in vessel images. Overcoming the difficulty due to image inhomogeneity is crucial for the segmentation of vessel image. Methods: This paper proposes a localized hybrid leve... Read More about 3D vasculature segmentation using localized hybrid level-set method.

Remembering faces with emotional expressions (2014)
Journal Article
Liu, C. H., Chen, W., & Ward, J. (2014). Remembering faces with emotional expressions. Frontiers in Psychology, 5(DEC), Article ARTN 1439. https://doi.org/10.3389/fpsyg.2014.01439

It is known that happy faces create more robust identity recognition memory than faces with some other expressions. However, this advantage was not verified against all basic expressions. Moreover, no research has assessed whether similar differences... Read More about Remembering faces with emotional expressions.

Phenomenal regression to the real object in physical and virtual worlds (2014)
Journal Article
Elner, K. W., & Wright, H. (2015). Phenomenal regression to the real object in physical and virtual worlds. Virtualreality : the journal of the Virtual Reality Society, 19(1), 21-31. https://doi.org/10.1007/s10055-014-0257-x

© 2014, Springer-Verlag London. In this paper, we investigate a new approach to comparing physical and virtual size and depth percepts that captures the involuntary responses of participants to different stimuli in their field of view, rather than re... Read More about Phenomenal regression to the real object in physical and virtual worlds.

State estimation technique for a planetary robotic rover (2014)
Journal Article
Iqbal, J., Rehman-Saad, M., Malik, A., & Mahmood-Tahir, A. (2014). State estimation technique for a planetary robotic rover. Revista Facultad de Ingeniería Universidad de Antioquia, 58-68

Given the long traverse times and severe environmental constraints on a planet like Mars, the only option feasible now is to observe and explore the planet through more sophisticated planetary rovers. To achieve increasingly ambitious mission objecti... Read More about State estimation technique for a planetary robotic rover.

Experimental detection using cyclostationary feature detectors for cognitive radios (2014)
Presentation / Conference Contribution
Zolfaghari, M., Fanan, A., Mehdawi, M., Riley, N. G., & Ammar, M. (2014, November). Experimental detection using cyclostationary feature detectors for cognitive radios. Presented at 2014 22nd Telecommunications Forum, TELFOR 2014 - Proceedings of Papers, Serbia, Belgrade

© 2014 IEEE. Signal detection is widely used in many applications. Some examples include Cognitive Radio (CR) and military intelligence. Without guaranteed signal detection, a CR cannot reliably perform its role. Spectrum sensing is currently one of... Read More about Experimental detection using cyclostationary feature detectors for cognitive radios.

Subdivision surface fitting to a dense mesh using ridges and umbilics (2014)
Journal Article
Ma, X., Keates, S., Jiang, Y., & Kosinka, J. (2015). Subdivision surface fitting to a dense mesh using ridges and umbilics. Computer aided geometric design, 32(January), 5-21. https://doi.org/10.1016/j.cagd.2014.10.001

Fitting a sparse surface to approximate vast dense data is of interest for many applications: reverse engineering, recognition and compression, etc. The present work provides an approach to fit a Loop subdivision surface to a dense triangular mesh of... Read More about Subdivision surface fitting to a dense mesh using ridges and umbilics.

Effects of exposure to facial expression variation in face learning and recognition (2014)
Journal Article
Liu, C. H., Chen, W., & Ward, J. (2015). Effects of exposure to facial expression variation in face learning and recognition. Psychological research, 79(6), 1042-1053. https://doi.org/10.1007/s00426-014-0627-8

Facial expression is a major source of image variation in face images. Linking numerous expressions to the same face can be a huge challenge for face learning and recognition. It remains largely unknown what level of exposure to this image variation... Read More about Effects of exposure to facial expression variation in face learning and recognition.

Integrating model checking with HiP-HOPS in model-based safety analysis (2014)
Journal Article
Sharvia, S., & Papadopoulos, Y. (2015). Integrating model checking with HiP-HOPS in model-based safety analysis. Reliability Engineering and System Safety, 135(March), 64-80. https://doi.org/10.1016/j.ress.2014.10.025

The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by fo... Read More about Integrating model checking with HiP-HOPS in model-based safety analysis.

Recent advances and applications of tethered robotic systems (2014)
Journal Article
Ali Ajwad, S., & Iqbal, J. (2014). Recent advances and applications of tethered robotic systems. Science international (Lahore), 26(5), 2045-2051

With the advancement in technology, the field of robotics has evolved differently in multiple domains. For use in industries huge and autonomous robotic systems are developed. On the other hand, the increased demand of robotics in rescues, space and... Read More about Recent advances and applications of tethered robotic systems.

Technology demonstrator of a novel software defined radio-based aeronautical communications system (2014)
Journal Article
Cheng, Y., Xu, K., Hu, Y. F., Pillai, P., Baddoo, J., Smith, A., Ali, M., & Pillai, A. (2014). Technology demonstrator of a novel software defined radio-based aeronautical communications system. IET science, measurement & technology, 8(6), 370-379. https://doi.org/10.1049/iet-smt.2014.0003

This study presents the architectural design, software implementation, the validation and flight trial results of an aeronautical communications system developed within the Seamless Aeronautical Networking through integration of Data links Radios and... Read More about Technology demonstrator of a novel software defined radio-based aeronautical communications system.

Multi-Agent Modeling Toolkit – MAMT (2014)
Journal Article
Manzoor, U., & Zafar, B. (2014). Multi-Agent Modeling Toolkit – MAMT. Simulation Modelling Practice and Theory, 49, 215-227. https://doi.org/10.1016/j.simpat.2014.09.005

Multi-agent system consists of two or more agents which cooperate/coordinate with each other in order to solve a complex problem which would be difficult or inappropriate if solved by single agent. Multi-agents are modeled using Agent Unified Modelin... Read More about Multi-Agent Modeling Toolkit – MAMT.