Skip to main content

Research Repository

Advanced Search

All Outputs (3433)

Fuzzy Recognition of Cricket Batting Strokes Based on Sequences of Body and Bat Postures (2003)
Presentation / Conference Contribution
Kelly, M., Curtis, K. M., & Craven, M. (2003). Fuzzy Recognition of Cricket Batting Strokes Based on Sequences of Body and Bat Postures. In Proceedings. IEEE SoutheastCon, 2003 - Bridging the digital divide. https://doi.org/10.1109/SECON.2003.1268444

A mathematical classification of two cricket batting strokes, using fuzzy set theory, is presented. A system is proposed within this paper, to capture the motion of a batsman/batswoman whilst playing a stroke. This is then compared to known strokes,... Read More about Fuzzy Recognition of Cricket Batting Strokes Based on Sequences of Body and Bat Postures.

Rippling in PVS (2003)
Presentation / Conference Contribution
Adams, A. A., & Dennis, L. A. (2003). Rippling in PVS. In M. Archer, B. Di Vito, & C. Munoz (Eds.),

Rippling is a method of controlling rewriting of the terms in an induction step of an inductive proof, to ensure that a position is reached whereby the induction hypothesis can be applied.
Rippling was developed primarily by the Mathematical Reasoni... Read More about Rippling in PVS.

Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements (2003)
Presentation / Conference Contribution
Bagley, S. R., Brailsford, D. F., & Hardy, M. R. B. (2003). Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements. In C. Vanoirbeek, C. Roisin, & E. Munson (Eds.),

Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Although each of the pages in a PDF document is an independent graphic objec... Read More about Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements.

Similarity Measures for Exam Timetabling Problems (2003)
Presentation / Conference Contribution
Burke, E., Eckersley, A., McCollum, B., Petrovic, S., & Qu, R. (2003). Similarity Measures for Exam Timetabling Problems.

A large number of heuristic algorithms have been developed over the years which have been aimed at solving examination timetabling problems. However, many of these algorithms have been developed specifically to solve one particular problem instance o... Read More about Similarity Measures for Exam Timetabling Problems.

'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem' (2003)
Presentation / Conference Contribution
Li, J., & Aickelin, U. (2003). 'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem'.

Abstract- A Bayesian optimization algorithm for the nurse scheduling problem is presented, which involves choosing a suitable scheduling rule from a set for each nurse's assignment. Unlike our previous work that used GAs to implement implicit learnin... Read More about 'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem'.

'Explicit Learning: an Effort towards Human Scheduling Algorithms' (2003)
Presentation / Conference Contribution
Li, J., & Aickelin, U. (2003). 'Explicit Learning: an Effort towards Human Scheduling Algorithms'.

Abstract

Scheduling problems are generally NP-hard combinatorial problems, and a lot of research has been done to solve these problems heuristically. However, most of the previous approaches are problem-specific and research into the development o... Read More about 'Explicit Learning: an Effort towards Human Scheduling Algorithms'.

A Bayesian optimization algorithm for the nurse scheduling problem (2003)
Presentation / Conference Contribution
Li, J., & Aickelin, U. (2003). A Bayesian optimization algorithm for the nurse scheduling problem.

A Bayesian optimization algorithm for the nurse scheduling problem is presented, which involves choosing a suitable scheduling rule from a set for each nurse’s assignment. Unlike our previous work that used GAs to implement implicit learning, the lea... Read More about A Bayesian optimization algorithm for the nurse scheduling problem.

Using SVG as the Rendering Model for Structured and Graphically Complex Web Material (2003)
Presentation / Conference Contribution
Mong, J., & Brailsford, D. F. (2003). Using SVG as the Rendering Model for Structured and Graphically Complex Web Material. In C. Vanoirbeek, C. Roisin, & E. Munson (Eds.),

This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an attempt to create an approach that integrates the structural and display... Read More about Using SVG as the Rendering Model for Structured and Graphically Complex Web Material.

The danger theory and its application to Artificial Immune Systems (2002)
Presentation / Conference Contribution
Aickelin, U., & Cayzer, S. (2002). The danger theory and its application to Artificial Immune Systems. In J. Timmis, & P. J. Bentley (Eds.), ICARIS 2002: 1st International Conference on Artificial Immune Systems (141-148)

Over the last decade, a new idea challenging the classical self-non-self viewpoint has become popular amongst immunologists. It is called the Danger Theory. In this conceptual paper, we look at this theory from the perspective of Artificial Immune Sy... Read More about The danger theory and its application to Artificial Immune Systems.

Inferring the phylogeny of disjunct populations of the azure–winged magpie Cyanopica cyanus from mitochondrial control region sequences (2002)
Presentation / Conference Contribution
Koon Wah, F., Christopher M, W., & David, P. Inferring the phylogeny of disjunct populations of the azure–winged magpie Cyanopica cyanus from mitochondrial control region sequences

The azure–winged magpie (AWM), Cyanopica cyanus, is found in Asia and Iberia. This remarkable disjunct distribution has been variously explained by either the sixteenth–century introduction of birds into Iberia from the Far East, or by the loss of in... Read More about Inferring the phylogeny of disjunct populations of the azure–winged magpie Cyanopica cyanus from mitochondrial control region sequences.

The Design of a Real Time VLSI Optical Centroid Processor (2002)
Presentation / Conference Contribution
Pui, B. H., Hayes-Gill, B., Clark, M., Somekh, M., See, C., Morgan, S., & Ng, A. (2002). The Design of a Real Time VLSI Optical Centroid Processor. In IEEE Sensors 2002 : first IEEE International Conference on Sensors. https://doi.org/10.1109/ICSENS.2002.1036977

A real time VLSI optical centroid processor has been developed as part of a larger Shack-Hartmann wavefront sensor system for applications in adaptive optics. The implementation of the optical centroid detection system was demonstrated successfully u... Read More about The Design of a Real Time VLSI Optical Centroid Processor.

Design of an electromechanical pump system for training in beating heart cardiac surgery (2002)
Presentation / Conference Contribution
Craven, M., Ramphal, P., Coore, D., Silvera, B., Fletcher, M., & Newman, S. (2002). Design of an electromechanical pump system for training in beating heart cardiac surgery. In Proceedings IEEE SoutheastCon 2002: April 5 - 7,2002 Embassy Suites Hotel Columbia, South Carolina USA. https://doi.org/10.1109/SECON.2002.995584

Heart surgeons and trainees benefit greatly from continuous practice of bypass surgery and other cardiac operations. This is true of beating heart surgery where, unlike traditional methods, the heart is not arrested during the operation. At the Dept.... Read More about Design of an electromechanical pump system for training in beating heart cardiac surgery.

Applications of temporal links: recording and replaying virtual environments (2002)
Presentation / Conference Contribution
Greenhalgh, C., Flintham, M., Purbrick, J., Benford, S., & Craven, M. (2002). Applications of temporal links: recording and replaying virtual environments. In Proceedings IEEE Virtual Reality 2002 (101-108). https://doi.org/10.1109/VR.2002.996512

Temporal links allow recordings of multi-user sessions to be dynamically inserted into current virtual worlds in a flexible and principled way. We explore key applications of temporal links, showing how they can add new content to virtual worlds, sup... Read More about Applications of temporal links: recording and replaying virtual environments.

Partnering Strategies for Fitness Evaluation in a Pyramidal Evolutionary Algorithm (2002)
Presentation / Conference Contribution
Aickelin, U., & Bull, L. (2002). Partnering Strategies for Fitness Evaluation in a Pyramidal Evolutionary Algorithm.

This paper combines the idea of a hierarchical distributed genetic algorithm with different inter-agent partnering strategies. Cascading clusters of sub-populations are built from bottom up, with higher-level sub-populations optimising larger parts o... Read More about Partnering Strategies for Fitness Evaluation in a Pyramidal Evolutionary Algorithm.

Non-Symbolic Fragmentation (2002)
Presentation / Conference Contribution
Ashman, H., Coupe, H., Smith, P., Neville-Smith, M., & Gilbert, M. (2002). Non-Symbolic Fragmentation.

This paper reports on the use of non-symbolic fragmentation of data for securing communications. Non-symbolic fragmentation, or NSF, relies on breaking up data into non-symbolic fragments, which are (usually irregularly-sized) chunks whose boundaries... Read More about Non-Symbolic Fragmentation.

Knowledge discovery in hyper-heuristic using case-based reasoning on course timetabling (2002)
Presentation / Conference Contribution
Burke, E., MacCarthy, B. L., Petrovic, S., & Qu, R. (2002). Knowledge discovery in hyper-heuristic using case-based reasoning on course timetabling.

This paper presents a new hyper-heuristic method using Case-Based Reasoning (CBR) for solving course timetabling problems. The term Hyper-heuristics has recently been employed to refer to 'heuristics that choose heuristics' rather than heuristics tha... Read More about Knowledge discovery in hyper-heuristic using case-based reasoning on course timetabling.

'On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems' (2002)
Presentation / Conference Contribution
Cayzer, S., & Aickelin, U. (2002). 'On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems'.

It has previously been shown that a recommender based on immune system idiotypic principles can outperform one based on correlation alone. This paper reports the results of work in progress, where we undertake some investigations into the nature of t... Read More about 'On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems'.

The NumbersWithNames Program (2002)
Presentation / Conference Contribution
Colton, S., & Dennis, L. A. (2002). The NumbersWithNames Program.

We present the NumbersWithNames program which performs data-mining on the Encyclopedia of Integer Sequences to find interesting conjectures in number theory. The program forms conjectures by finding empirical relationships between a sequence chosen... Read More about The NumbersWithNames Program.