Skip to main content

Research Repository

Advanced Search

All Outputs (3397)

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
Presentation / Conference Contribution
Dennis, L. A., Jamnik, M., & Pollet, M. (2005). On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. In J. Carette, & W. Farmer (Eds.),

We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We us... Read More about On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner.

Introducting Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection
Presentation / Conference Contribution
Greensmith, J., Aickelin, U., & Cayzer, S. Introducting Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection.

Dendritic cells are antigen presenting cells that provide a vital link between the innate and adaptive immune system. Research into this family of cells has revealed that they perform the role of coordinating T-cell based immune responses, both reac... Read More about Introducting Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection.

Re-tracing the past: mixing realities in museum settings
Presentation / Conference Contribution
Fraser, M., Bowers, J., Brundell, P., O'Malley, C., Reeves, S., Benford, S., …Hellström, S. O. Re-tracing the past: mixing realities in museum settings.

Interactive exhibits are now commonplace in museum settings, providing ‘edutainment’ for visitors. However, many technologies co-exist uneasily with more traditional methods of display. In this paper we describe a design strategy for mixing realities... Read More about Re-tracing the past: mixing realities in museum settings.

A New Paradigm for Heuristic Decision Making, Invited Keynote Talk
Presentation / Conference Contribution
Aickelin, U. A New Paradigm for Heuristic Decision Making, Invited Keynote Talk.

Over the last few years, more and more heuristic decision making techniques have been inspired by nature, e.g. evolutionary algorithms, ant colony optimisation and simulated annealing. More recently, a novel computational intelligence technique inspi... Read More about A New Paradigm for Heuristic Decision Making, Invited Keynote Talk.

How does the healthcare industry involve users in medical device development? Pointers for UbiHealth
Presentation / Conference Contribution
Craven, M. P., & Martin, J. L. How does the healthcare industry involve users in medical device development? Pointers for UbiHealth.

This paper introduces the Multidisciplinary Assessment of Technology Centre for Healthcare (MATCH) and outlines the problem of integrating a user-centred approach for development of medical devices together with the information and communication tech... Read More about How does the healthcare industry involve users in medical device development? Pointers for UbiHealth.

A Hybrid Genetic Algorithm to Solve a Logt-Sizing and Scheduling Problem
Presentation / Conference Contribution
Staggemeier, A., Clark, A., Aickelin, U., & Smith, J. A Hybrid Genetic Algorithm to Solve a Logt-Sizing and Scheduling Problem.

Abstract: This paper reports a lot-sizing and scheduling problem, which minimizes inventory and backlog costs on m parallel machines with sequence-dependent set-up times over t periods. Problem solutions are represented as product subsets ordered and... Read More about A Hybrid Genetic Algorithm to Solve a Logt-Sizing and Scheduling Problem.

And now for something completely different: looking ahead to new encryption and secrecy protocols
Presentation / Conference Contribution
Ashman, H., & Gilbert, M. (2001). And now for something completely different: looking ahead to new encryption and secrecy protocols.

Transmitting sensitive data over non-secret channels has always required encryption technologies to ensure that the data arrives without exposure to eavesdroppers. The Internet has made it possible to transmit vast volumes of data more rapidly and ch... Read More about And now for something completely different: looking ahead to new encryption and secrecy protocols.

Leisure, family and work in the lifestyles of dual-earner families
Presentation / Conference Contribution
Such, E. (2001). Leisure, family and work in the lifestyles of dual-earner families.

This paper examines the role of leisure in the lifestyles of dual-earner families. It explores leisure as a dimension of lifestyle that has been relatively under-researched, despite a burgeoning interest in the dual-earner family in both academic res... Read More about Leisure, family and work in the lifestyles of dual-earner families.

A hybrid neural network/rule-based technique for on-line gesture and hand-written character recognition
Presentation / Conference Contribution
Craven, M. P., Curtis, K. M., Hayes-Gill, B. H., & Thursfield, C. A hybrid neural network/rule-based technique for on-line gesture and hand-written character recognition.

A technique is presented which combines rule-based and neural network pattern recognition methods in an integrated system in order to perform learning and recognition of hand-written characters and gestures in realtime. The GesRec system is introd... Read More about A hybrid neural network/rule-based technique for on-line gesture and hand-written character recognition.

Multiple channel crosstalk removal using limited connectivity neural networks
Presentation / Conference Contribution
Craven, M. P., Curtis, K. M., & Hayes-Gill, B. R. Multiple channel crosstalk removal using limited connectivity neural networks.

Limited connectivity neural network architectures are investigated for the removal of crosstalk in systems using mutually overlapping sub-channels for the communication of multiple signals, either analogue or digital. The crosstalk error is modelled... Read More about Multiple channel crosstalk removal using limited connectivity neural networks.

Development of a Real Time System in Algol 68.
Presentation / Conference Contribution
Mander, K. C., & Brailsford, D. F. (1975). Development of a Real Time System in Algol 68. In C. C. Charlton, & P. H. Leng (Eds.),

For various reasons, many Algol 68 compilers do not directly implement the parallel processing operations defined in the Revised Algol 68 Report. It is still possible however, to perform parallel processing, multitasking and simulation provided that... Read More about Development of a Real Time System in Algol 68..