Skip to main content

Research Repository

Advanced Search

All Outputs (47)

Performance of a TV white space database with different terrain resolutions and propagation models (2017)
Journal Article
Fanan, A., Riley, N., Mehdawi, M., & Alfahad, O. (2017). Performance of a TV white space database with different terrain resolutions and propagation models. Telfor Journal, 9(2), 80-85. https://doi.org/10.5937/telfor1702080f

Cognitive Radio has now become a realistic option for the solution of the spectrum scarcity problem in wireless communication. TV channels (the primary user) can be protected from secondary-user interference by accurate prediction of TV White Spaces... Read More about Performance of a TV white space database with different terrain resolutions and propagation models.

An efficient and intelligent solar charge controller: Design and prototyping (2017)
Journal Article
Akram, I., Awais, M., & Iqbal, J. (2017). An efficient and intelligent solar charge controller: Design and prototyping. University of Wah Journal of Science and Technology, 1(1), 1-7

Demand for alternative energy sources has increased incredibly due to the energy crisis in Pakistan. Photo voltaic system is one of the best solutions to cope with this crisis. Battery is a component of primary... Read More about An efficient and intelligent solar charge controller: Design and prototyping.

Capturing the dynamics of cellular automata, for the generation of synthetic persian music, using conditional restricted Boltzmann machines (2017)
Book Chapter
Davis, D. N., & Arshi, S. (2017). Capturing the dynamics of cellular automata, for the generation of synthetic persian music, using conditional restricted Boltzmann machines. In Artificial Intelligence XXXIV; Lecture Notes in Computer Science (72-86). Cambridge, UK: Springer Verlag. https://doi.org/10.1007/978-3-319-71078-5_6

© Springer International Publishing AG 2017. In this paper the generative and feature extracting powers of the family of Boltzmann Machines are employed in an algorithmic music composition system. Liquid Persian Music (LPM) system is an audio generat... Read More about Capturing the dynamics of cellular automata, for the generation of synthetic persian music, using conditional restricted Boltzmann machines.

Implementation of combined geolocation database and infrastructure sensing in TV bands using different spectrum devices (2017)
Conference Proceeding
Fanan, A., Riley, N. G., Mehdawi, M., & Alfahad, O. (in press). Implementation of combined geolocation database and infrastructure sensing in TV bands using different spectrum devices. In Proceedings of the 25th Telecommunications forum TELFOR 2017

—In the present day, the TV Band has become a realistic option and has attracted much attention due to the potential to exploit underutilized TV white space for other communications, based on time and location. In this paper, we design a flexible sys... Read More about Implementation of combined geolocation database and infrastructure sensing in TV bands using different spectrum devices.

Ultrafast synchrotron X-ray imaging studies of microstructure fragmentation in solidification under ultrasound (2017)
Journal Article
Wang, B., Tan, D., Lee, T. L., Khong, J. C., Wang, F., Eskin, D., …Mi, J. (2018). Ultrafast synchrotron X-ray imaging studies of microstructure fragmentation in solidification under ultrasound. Acta Materialia, 144, 505-515. https://doi.org/10.1016/j.actamat.2017.10.067

Ultrasound processing of metal alloys is an environmental friendly and promising green technology for liquid metal degassing and microstructural refinement. However many fundamental issues in this field are still not fully understood, because of the... Read More about Ultrafast synchrotron X-ray imaging studies of microstructure fragmentation in solidification under ultrasound.

Reasoning with BDI robots: from simulation to physical environment – implementations and limitations (2017)
Journal Article
Davis, D. N., & Ramulu, S. K. (2017). Reasoning with BDI robots: from simulation to physical environment – implementations and limitations. Paladyn journal of behavioural robotics, 8(1), 39-57. https://doi.org/10.1515/pjbr-2017-0003

In this paper an overview of the state of research into cognitive robots is given. This is driven by insights arising from research that has moved from simulation to physical robots over the course of a number of sub-projects. A number of major issue... Read More about Reasoning with BDI robots: from simulation to physical environment – implementations and limitations.

T-spline based unifying registration procedure for free-form surface workpieces in intelligent CMM (2017)
Journal Article
Han, Z., Wang, Y., Ma, X., Liu, S., Zhang, X., & Zhang, G. (2017). T-spline based unifying registration procedure for free-form surface workpieces in intelligent CMM. Applied Sciences, 7(10), 1092. https://doi.org/10.3390/app7101092

With the development of the modern manufacturing industry, the free-form surface is widely used in various fields, and the automatic detection of a free-form surface is an important function of future intelligent three-coordinate measuring machines (... Read More about T-spline based unifying registration procedure for free-form surface workpieces in intelligent CMM.

LizBOT design and prototyping of a wireless controlled wall climbing surveillance robot (2017)
Conference Proceeding
Ali, N., Zafar, U., Ahmad, S., Iqbal, J., & Khan, Z. H. (2017). LizBOT design and prototyping of a wireless controlled wall climbing surveillance robot. In International Conference on Communication Technologies (ComTech 2017) (210-215). https://doi.org/10.1109/COMTECH.2017.8065776

LizBOT is an indigenously developed innovative surveillance robot that can climb on a wall and other high rise buildings where the human intervention is either cumbersome or not possible. To keep the robot stuck with the wall, a suction force is requ... Read More about LizBOT design and prototyping of a wireless controlled wall climbing surveillance robot.

Robust anonymous mutual authentication scheme for n-times ubiquitous mobile cloud computing services (2017)
Journal Article
Gope, P., & Das, A. K. (2017). Robust anonymous mutual authentication scheme for n-times ubiquitous mobile cloud computing services. IEEE internet of things journal, 4(5), 1764-1772. https://doi.org/10.1109/jiot.2017.2723915

In recent years, mobile computing has gained a huge popularity among mobile users (MUs). It basically combines the mobile devices with the cloud computing. By the means of on-demand self-service and extendibility, it can offer the infrastructures, pl... Read More about Robust anonymous mutual authentication scheme for n-times ubiquitous mobile cloud computing services.

Magnetic control of MOF crystal orientation and alignment (2017)
Journal Article
Cheng, F., Marshall, E. S., Young, A. J., Robinson, P. J., Bouillard, J. S. G., Adawi, A. M., …Chin, J. M. (2017). Magnetic control of MOF crystal orientation and alignment. Chemistry: a European journal, 23(62), 15578-15582. https://doi.org/10.1002/chem.201703812

Most metal-organic frameworks (MOFs) possess anisotropic properties, the full exploitation of which necessitates a general strategy for the controllable orientation of such MOF crystals. Current methods largely rely upon layer-by-layer MOF epitaxy or... Read More about Magnetic control of MOF crystal orientation and alignment.

An algorithm for fast mining top-rank-k frequent patterns based on node-list data structure (2017)
Journal Article
Wang, Q., Ren, J., N Davis, D., & Cheng, Y. (2018). An algorithm for fast mining top-rank-k frequent patterns based on node-list data structure. Intelligent Automation and Soft Computing, 24(2), 399-404. https://doi.org/10.1080/10798587.2017.1340135

Frequent pattern mining usually requires much run time and memory usage. In some applications, only the patterns with top frequency rank are needed. Because of the limited pattern numbers, quality of the results is even more important than time and m... Read More about An algorithm for fast mining top-rank-k frequent patterns based on node-list data structure.

Design of Cognitive Radio Database using Terrain Maps and Validated Propagation Models (2017)
Journal Article
Fanan, A. M., Riley, N., & Mehdawi, M. (2017). Design of Cognitive Radio Database using Terrain Maps and Validated Propagation Models. Advances in science, technology and engineering systems journal, 2(6), 13-19. https://doi.org/10.25046/aj020602

Cognitive Radio (CR) encompasses a number of technologies which enable adaptive self-programing of systems at different levels to provide more effective use of the increasingly congested radio spectrum. CRs have potential to use spectrum allocated to... Read More about Design of Cognitive Radio Database using Terrain Maps and Validated Propagation Models.

Transparency Of Execution Using Epigenetic Networks (2017)
Conference Proceeding
Dethlefs, N., & Turner, A. (2017). Transparency Of Execution Using Epigenetic Networks. In C. Knibbe, G. Beslon, D. Parsons, D. Misevic, J. Rouzaud-Cornabas, N. Bredeche, …H. Soula (Eds.), Proceedings of the 14th European Conference on Artificial Life, ECAL 2017 (404-411). https://doi.org/10.1162/isal_a_068

This paper describes how the recurrent connectionist architecture epiNet, which is capable of dynamically modifying its topology, is able to provide a form of transparent execution. EpiNet, which is inspired by eukaryotic gene regulation in nature, i... Read More about Transparency Of Execution Using Epigenetic Networks.

DEIS: Dependability Engineering Innovation for Industrial CPS (2017)
Book Chapter
Armengaud, E., Macher, G., Massoner, A., Frager, S., Adler, R., Schneider, D., …Kelly, T. (2018). DEIS: Dependability Engineering Innovation for Industrial CPS. In C. Zachäus, B. Müller, & G. Meyer (Eds.), Advanced Microsystems for Automotive Applications 2017 : Smart Systems Transforming the Automobile (151-163). Cham: Springer. https://doi.org/10.1007/978-3-319-66972-4_13

The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Union’s Hor... Read More about DEIS: Dependability Engineering Innovation for Industrial CPS.

A fuzzy Bayesian network approach for risk analysis in process industries (2017)
Journal Article
Yazdi, M., & Kabir, S. (2017). A fuzzy Bayesian network approach for risk analysis in process industries. Process Safety and Environmental Protection, 111, 507-519. https://doi.org/10.1016/j.psep.2017.08.015

Fault tree analysis is a widely used method of risk assessment in process industries. However, the classical fault tree approach has its own limitations such as the inability to deal with uncertain failure data and to consider statistical dependence... Read More about A fuzzy Bayesian network approach for risk analysis in process industries.

A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)
Journal Article
Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J. I., Lampe, J., & Rüde, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. Lecture notes in computer science, 10437 LNCS, 163-178. https://doi.org/10.1007/978-3-319-64119-5_11

HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement alloc... Read More about A model-based extension to HiP-HOPS for dynamic fault propagation studies.

Exploring the training potential of recent virtual robotic platforms: A comprehensive review (2017)
Journal Article
Ali Ajwad, S., Ul islam, R., & Iqbal, J. (2017). Exploring the training potential of recent virtual robotic platforms: A comprehensive review. Journal of Advancements in Robotics, 4(2), 9-25

In recent years, deployment of robotic manipulators in industries and other fields has increased significantly. This growing trend highlights the need of trained engineers and technicians. Virtual robotic platforms facilitate engineers to acquire kno... Read More about Exploring the training potential of recent virtual robotic platforms: A comprehensive review.

Model-connected safety cases (2017)
Journal Article
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. (2017). Model-connected safety cases. Lecture notes in computer science, 10437 LNCS, 50-63. https://doi.org/10.1007/978-3-319-64119-5_4

© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the ev... Read More about Model-connected safety cases.

Disability-aware adaptive and personalised learning for students with multiple disabilities (2017)
Journal Article
Nganji, J. T., & Brayshaw, M. (2017). Disability-aware adaptive and personalised learning for students with multiple disabilities. International Journal of Information and Learning Technology, 34(4), 307-321. https://doi.org/10.1108/IJILT-08-2016-0027

Purpose The purpose of this paper is to address how virtual learning environments (VLEs) can be designed to include the needs of learners with multiple disabilities. Specifically, it employs AI to show how specific learning materials from a huge repo... Read More about Disability-aware adaptive and personalised learning for students with multiple disabilities.

Using formal game design methods to embed learning outcomes into game mechanics and avoid emergent behaviour (2017)
Journal Article
Grey, S., Grey, D., Gordon, N., & Purdy, J. (2017). Using formal game design methods to embed learning outcomes into game mechanics and avoid emergent behaviour. International Journal of Game-Based Learning, 7(3), 63-73. https://doi.org/10.4018/ijgbl.2017070106

This paper offers an approach to designing game based learning experiences inspired by the Mechanics-Dynamics-Aesthetics (MDA) model (Hunicke et al, 2004) and the elemental tetrad (Schell, 2008) model for game design. A case for game based learning a... Read More about Using formal game design methods to embed learning outcomes into game mechanics and avoid emergent behaviour.