Skip to main content

Research Repository

Advanced Search

All Outputs (48)

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 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.

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.

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.

A target guided subband filter for acoustic event detection in noisy environments using wavelet packets (2014)
Journal Article
Feng, Z., Zhou, Q., Zhang, J., Jiang, P., & Yang, X. (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.

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)
Conference Proceeding
Zolfaghari, M., Fanan, A., Mehdawi, M., Riley, N. G., & Ammar, M. (2014). Experimental detection using cyclostationary feature detectors for cognitive radios. . https://doi.org/10.1109/telfor.2014.7034403

© 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.

Local barycentric coordinates (2014)
Journal Article
Zhang, J., Deng, B., Liu, Z., Patanè, G., Bouaziz, S., Hormann, K., & Liu, L. (2014). Local barycentric coordinates. ACM Transactions on Graphics, 33(6), 1-12. https://doi.org/10.1145/2661229.2661255

Barycentric coordinates yield a powerful and yet simple paradigm to interpolate data values on polyhedral domains. They represent interior points of the domain as an affine combination of a set of control points, defining an interpolation scheme for... Read More about Local barycentric coordinates.

Robotized task time scheduling and optimization based on Genetic Algorithms for non redundant industrial manipulators (2014)
Conference Proceeding
Baizid, K., Meddahi, A., Yousnadj, A., Chellali, R., Khan, H., & Iqbal, J. (2014). Robotized task time scheduling and optimization based on Genetic Algorithms for non redundant industrial manipulators. In 2014 IEEE International Symposium on Robotic and Sensors Environments (ROSE) Proceedings (112-117). https://doi.org/10.1109/ROSE.2014.6953033

Industrial robot manipulators must work as fast as possible in order to increase the productivity. This goal could be achieved by increasing robots speed or/and optimizing the trajectories followed by robots while performing assembly, welding or simi... Read More about Robotized task time scheduling and optimization based on Genetic Algorithms for non redundant industrial manipulators.

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.

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., …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.

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.

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.

Sustainable development as a framework for ethics and skills in higher education computing courses (2014)
Book Chapter
Gordon, N. (2015). Sustainable development as a framework for ethics and skills in higher education computing courses. In W. Leal Filho, L. Brandli, O. Kuznetsova, & A. Maria Finisterra do Paço (Eds.), Integrative Approaches to Sustainable Development at University Level (345-357). Cham, Switzerland: Springer Publishing Company. https://doi.org/10.1007/978-3-319-10690-8_24

The impact of sustainable development on the curriculum remains variable, and in some disciplines the inclusion is considered by some to be inappropriate or not relevant. This paper considers the ways in which sustainable development can be embedded... Read More about Sustainable development as a framework for ethics and skills in higher education computing courses.

An approach to safety analysis of clinical workflows (2014)
Journal Article
Al-Qora'n, L., Gordon, N., Sharvia, S., Walker, M., & Papadopoulos, Y. (2014). An approach to safety analysis of clinical workflows. Athens Journal of Health, 1(3), 201-216. https://doi.org/10.30958/ajh.1-3-4

A clinical workflow considers the information and processes that are involved in providing a clinical service. They are safety critical since even minor faults have the potential to propagate and consequently cause harm to a patient, or even for a pa... Read More about An approach to safety analysis of clinical workflows.

Safety analysis of clinical workflows: The case of the workflow within a radiology department (2014)
Conference Proceeding
Gordon, N., Sharvia, S., Walker, M., & Al-Qora'n, L. (2014). Safety analysis of clinical workflows: The case of the workflow within a radiology department. . https://doi.org/10.1109/sai.2014.6918174

This paper was originally presented at the Science and Information Conference, 2014, 27-29 August, London. Abstract: Radiology Information Systems (RIS) and Picture Archiving and Communication systems (PACS) are used widely to help in the workflow ma... Read More about Safety analysis of clinical workflows: The case of the workflow within a radiology department.