Skip to main content

Research Repository

Advanced Search

All Outputs (14)

Humans: The missing link in manufacturing simulation? (2003)
Journal Article
Baines, T., Mason, S., Siebers, P., & Ladbrook, J. (2004). Humans: The missing link in manufacturing simulation?. Simulation Modelling Practice and Theory, 12(7-8), 515-526. https://doi.org/10.1016/S1569-190X%2803%2900094-7

Computer based discrete event simulation (DES) is one of the most commonly used aids for the design of automotive manufacturing systems. However, DES tools represent machines in extensive detail, while only representing workers as simple resources. T... Read More about Humans: The missing link in manufacturing simulation?.

Rippling in PVS (2003)
Conference Proceeding
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.

'On the Application of Hierarchical Coevolutionary Genetic Algorithms: Recombination and Evaluation Partners' (2003)
Journal Article
Aickelin, U., & Bull, L. (2003). 'On the Application of Hierarchical Coevolutionary Genetic Algorithms: Recombination and Evaluation Partners'

This paper examines the use of a hierarchical coevolutionary genetic algorithm under different partnering strategies. Cascading clusters of sub-populations are built from the bottom up, with higher-level sub-populations optimising larger parts of the... Read More about 'On the Application of Hierarchical Coevolutionary Genetic Algorithms: Recombination and Evaluation Partners'.

Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements (2003)
Conference Proceeding
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)
Conference Proceeding
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)
Conference Proceeding
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)
Conference Proceeding
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)
Conference Proceeding
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)
Conference Proceeding
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.

Substituting outline fonts for bitmap fonts in archived PDF files (2003)
Journal Article
Probets, S., & Brailsford, D. F. (2003). Substituting outline fonts for bitmap fonts in archived PDF files

As collections of archived digital documents continue to grow the maintenance of an archive, and the quality of reproduction from the archived format, become important long-term considerations. In particular, Adobe s PDF is now an important final for... Read More about Substituting outline fonts for bitmap fonts in archived PDF files.

Predicting the metabolic energy costs of bipedalism using evolutionary robotics (2003)
Journal Article
Sellers, W. I., Dennis, L. A., & Crompton, R. H. (2003). Predicting the metabolic energy costs of bipedalism using evolutionary robotics

To understand the evolution of bipedalism among the homnoids in an ecological context we need to be able to estimate theenerrgetic cost of locomotion in fossil forms. Ideally such an estimate would be based entirely on morphology since, except for t... Read More about Predicting the metabolic energy costs of bipedalism using evolutionary robotics.

Danger theory: the link between AIS and IDS? (2003)
Book Chapter
Aickelin, U., Bentley, P., Cayzer, S., Kim, J., & McLeod, J. (2003). Danger theory: the link between AIS and IDS?. In J. Timmis, P. Bentley, & E. Hart (Eds.), Artificial immune systems: second international conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003: proceedings. Springer. https://doi.org/10.1007/978-3-540-45192-1_15

We present ideas about creating a next generation Intrusion Detection System (IDS) based on the latest immunological theories. The central challenge with computer security is determining the difference between normal and potentially harmful activity... Read More about Danger theory: the link between AIS and IDS?.