Skip to main content

Research Repository

Advanced Search

All Outputs (694)

Parallel graph component labelling with GPUs and CUDA (2010)
Journal Article
Hawick, K. A., Leist, A., & Playne, D. P. (2010). Parallel graph component labelling with GPUs and CUDA. Parallel Computing, 36(12), 655-678. https://doi.org/10.1016/j.parco.2010.07.002

Graph component labelling, which is a subset of the general graph colouring problem, is a computationally expensive operation that is of importance in many applications and simulations. A number of data-parallel algorithmic variations to the componen... Read More about Parallel graph component labelling with GPUs and CUDA.

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.

Regular lattice and small-world spin model simulations using CUDA and GPUs (2010)
Journal Article
Hawick, K. A., Leist, A., & Playne, D. P. (2011). Regular lattice and small-world spin model simulations using CUDA and GPUs. International Journal of Parallel Programming, 39(2), 183-201. https://doi.org/10.1007/s10766-010-0143-4

Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over evenmulti-coreCPUs for lattice-oriented applications in computational physics. Models such as the Ising and Potts models... Read More about Regular lattice and small-world spin model simulations using CUDA and GPUs.

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.

Cognitive architectures for affect and motivation (2010)
Journal Article
Davis, D. N. (2010). Cognitive architectures for affect and motivation. Cognitive Computation, 2(3), 199-216. https://doi.org/10.1007/s12559-010-9053-4

General frameworks of mind map across tasks and domains. By what means can a general architecture know when it has adapted to a specific task, a particular environment or a specific state of a previously known environment? Our current work on this th... Read More about Cognitive architectures for affect and motivation.

Robo-CAMAL: A BDI Motivational Robot (2010)
Journal Article
Davis, D., & Gwatkin, J. (2010). Robo-CAMAL: A BDI Motivational Robot. Paladyn, 1(2), 116-129. https://doi.org/10.2478/s13230-010-0010-4

Motivation is a central concept in the development of autonomous agents and robots. This paper describes an architecture that uses a psychological BDI model of reasoning, combined with a distributed multi-level model of motivation. The robot controll... Read More about Robo-CAMAL: A BDI Motivational Robot.

Beyond desktop point and click: Immersive walkthrough of aerospace structures (2010)
Presentation / Conference Contribution
Courter, D., Springer, J. P., Neumann, C., Cruz-Neira, C., & Reiners, D. (2010, March). Beyond desktop point and click: Immersive walkthrough of aerospace structures. Presented at 2010 IEEE Aerospace Conference, Big Sky, MT, USA

There are a number of 3D applications that have shown the benefits of using visualization techniques for virtual prototyping and education in aerospace engineering. However,these applications typically run only on desktop computers and user interacti... Read More about Beyond desktop point and click: Immersive walkthrough of aerospace structures.

Generalizable safety annotations for specification of failure patterns (2010)
Journal Article
Papadopoulos, Y., Walker, M., Grunske, L., & Wolforth, I. (2010). Generalizable safety annotations for specification of failure patterns. Software: Practice and Experience, 40(5), 453-483. https://doi.org/10.1002/spe.966

Components in programmable systems often exhibit patterns of failure that are independent of function or system context. In this paper, we show that it is possible to capture, and reuse where appropriate, such patterns for the purposes of system safe... Read More about Generalizable safety annotations for specification of failure patterns.

Reliable decentralized supervisory control of fuzzy discrete event systems (2010)
Journal Article
Wang, F., Feng, Z., & Jiang, P. (2010). Reliable decentralized supervisory control of fuzzy discrete event systems. Fuzzy Sets and Systems, 161(12), 1657-1668. https://doi.org/10.1016/j.fss.2010.02.002

Decentralized supervisory control has been introduced to deal with a class of fuzzy discrete event systems (DES) in which state transitions are uncertain. In this paper, we develop the work on fuzzy DES to consider the reliable decentralized supervis... Read More about Reliable decentralized supervisory control of fuzzy discrete event systems.

 A "Society of Mind" cognitive architecture based on the principles of artificial economics (2010)
Journal Article
Davis, D. N., & Venkatamuni, V. M. (2010).  A "Society of Mind" cognitive architecture based on the principles of artificial economics. International journal of artificial life research, 1(1), 51-71. https://doi.org/10.4018/jalr.2010102104

This research investigates the concept of mind as a control system using the "Society of Agents" metaphor, whereby the whole is described as the collective behavior of simple and intelligent agents. This powerful concept for mind research benefits fr... Read More about  A "Society of Mind" cognitive architecture based on the principles of artificial economics.

A perceptually relevant approach to ringing region detection (2010)
Journal Article
Liu, H., Klomp, N., & Heynderickx, I. (2010). A perceptually relevant approach to ringing region detection. IEEE Transactions on Image Processing, 19(6), 1414-1426. https://doi.org/10.1109/tip.2010.2041406

An efficient approach toward a no-reference ringing metric intrinsically exists of two steps: first detecting regions in an image where ringing might occur, and second quantifying the ringing annoyance in these regions. This paper presents a novel ap... Read More about A perceptually relevant approach to ringing region detection.

Modeling the deposition dynamics of a twin-atomizer spray forming system (2010)
Journal Article
Zhang, G., Li, Z., Zhang, Y., Mi, J., & Grant, P. S. (2010). Modeling the deposition dynamics of a twin-atomizer spray forming system. Metallurgical and Materials Transactions B, 41(2), 303-307. https://doi.org/10.1007/s11663-009-9333-0

A numerical study of the deposition dynamics of twin-atomizer spray-forming of large-diameter billets is presented with a focus on the coupled effect of the twinatomizer scan frequency and substrate rotation frequency. The common period of the two fr... Read More about Modeling the deposition dynamics of a twin-atomizer spray forming system.

Cognition, metacognition agents and architectures: society of mind approach to cognition and metacognition in cognitive architectures (2010)
Book
(2010). Cognition, metacognition agents and architectures: society of mind approach to cognition and metacognition in cognitive architectures. Lambert Academic Publishing

From the past course of 50 years of research, Artificial Intelligence has developed a large number of architectures and tools to solve the most difficult problems in Science and Engineering. Artificial Intelligence has developed in a number of direct... Read More about Cognition, metacognition agents and architectures: society of mind approach to cognition and metacognition in cognitive architectures.

Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance (2010)
Book Chapter
Parker, D., & Papadopoulos, Y. (2010). Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance. In M. Sarrafzadeh, & P. Petratos (Eds.), Strategic Advantage of Computing Information Systems in Enterprise Management (231 - 245). ATINER

An effective preventive maintenance (PM) policy for components of an engineering system slows down the rate at which component fatigue accumulates, thereby minimising the occurrence of component failure. The benefit of PM at system level is improveme... Read More about Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance.

Spiking neurons and synaptic stimuli: Neural response comparison using coincidence-factor (2009)
Book Chapter
Sarangdhar, M., & Kambhampati, C. (2009). Spiking neurons and synaptic stimuli: Neural response comparison using coincidence-factor. In S.-I. Ao, & L. Gelman (Eds.), Lecture Notes in Electrical Engineering; Advances in Electrical Engineering and Computational Science (681-692). Springer Verlag. https://doi.org/10.1007/978-90-481-2311-7_58

In this chapter, neural responses are generated by changing the Inter-Spike-Interval (ISI) of the stimulus. These responses are subsequently compared and a coincidence factor is obtained. Coincidence-factor, a measure of similarity, is expected to ge... Read More about Spiking neurons and synaptic stimuli: Neural response comparison using coincidence-factor.

Enabling personalised learning through formative and summative assessment (2009)
Book Chapter
Gordon, N. A. (2009). Enabling personalised learning through formative and summative assessment. In Technology-Supported Environments for Personalized Learning: Methods and Case Studies (268-284). Information Science Publishing. https://doi.org/10.4018/978-1-60566-884-0.ch015

This chapter considers some ways in which personalised learning can potentially be delivered by means of appropriate assessment and the use of associated technologies. Recognising that for many students, learning is driven by summative assessment, th... Read More about Enabling personalised learning through formative and summative assessment.

Generating and verifying risk prediction models using data mining (2009)
Book Chapter
Davis, D. N., & Nguyen, T. T. (2009). Generating and verifying risk prediction models using data mining. In P. Berka, J. Rauch, & D. Abdelkader Zighed (Eds.), Data mining and medical knowledge management: cases and applications (181-205). IGI Global. https://doi.org/10.4018/978-1-60566-218-3.ch009

Risk prediction models are of great interest to clinicians. They offer an explicit and repeatable means to aide the selection, from a general medical population, those patients that require a referral to medical consultants and specialists. In many m... Read More about Generating and verifying risk prediction models using data mining.

Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook (2009)
Journal Article
Papadopoulos, Y., & Walker, M. (2009). Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control engineering practice, 17(10), 1115-1125. https://doi.org/10.1016/j.conengprac.2008.10.003

The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the notation and mathematical foundation of this widely used safety analysis technique. The Handbook recognises that classical combinatorial fault trees... Read More about Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook.

Using program data-state scarcity to guide automatic test data generation (2009)
Journal Article
Alshraideh, M., Bottaci, L., & Mahafzah, B. A. (2010). Using program data-state scarcity to guide automatic test data generation. Software quality journal, 18(1), 109-144. https://doi.org/10.1007/s11219-009-9083-x

Finding test data to cover structural test coverage criteria such as branch coverage is largely a manual and hence expensive activity. A potential low cost alternative is to generate the required test data automatically. Search-based test data genera... Read More about Using program data-state scarcity to guide automatic test data generation.