Skip to main content

Research Repository

Advanced Search

All Outputs (1993)

'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem' (2000)
Journal Article
Aickelin, U., & Dowsland, K. (2000). 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'

There is considerable interest in the use of genetic algorithms to solve problems arising in the areas of scheduling and timetabling. However, the classical genetic algorithm paradigm is not well equipped to handle the conflict between objectives and... Read More about 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'.

Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems (2000)
Journal Article
Burke, E., MacCarthy, B. L., Petrovic, S., & Qu, R. (2000). Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems. Knowledge-Based Systems, 13(2-3),

In this paper, we present a case-based reasoning (CBR) approach solving educational time-tabling problems. Following the basic idea behind CBR, the solutions of previously solved problems are employed to aid finding the solutions for new problems. A... Read More about Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems.

System Description: Embedding Verification into Microsoft Excel (2000)
Presentation / Conference Contribution
Collins, G., & Dennis, L. A. (2000). System Description: Embedding Verification into Microsoft Excel. In D. McAllester (Ed.),

The aim of the PROSPER project is to allow the embedding of existing verification technology into applications in such a way that the theorem proving is hidden, or presented to the end user in a natural way. This paper describes a system built to te... Read More about System Description: Embedding Verification into Microsoft Excel.

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction (2000)
Journal Article
Dennis, L. A., Bundy, A., & Green, I. (2000). The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence, 29(1-4),

Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coi... Read More about The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction.

The PROSPER Toolkit (2000)
Presentation / Conference Contribution
Dennis, L. A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., …Melham, T. (2000). The PROSPER Toolkit. In S. Graf, & M. Schwartzbach (Eds.),

The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporatin... Read More about The PROSPER Toolkit.

The Development of an On-line Submission and Peer Review System (2000)
Presentation / Conference Contribution
Pavey, P., Probets, S., & Brailsford, D. F. (2000). The Development of an On-line Submission and Peer Review System. In P. Linde, J. Smith, & E. Emelianova (Eds.),

Online submission and peer review is emerging as the next step forward for many journal publishers in an ever increasing drive to take advantage of technological improvements in transferring data electronically over the internet. The Electronic Submi... Read More about The Development of an On-line Submission and Peer Review System.

Integrating SVC and HOL with the PROSPER Toolkit (2000)
Presentation / Conference Contribution
Stevenson, A., & Dennis, L. A. (2000). Integrating SVC and HOL with the PROSPER Toolkit.

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL... Read More about Integrating SVC and HOL with the PROSPER Toolkit.

Broadcasting On-Line Social Interaction as Inhabited Television (1999)
Presentation / Conference Contribution
Benford, S., Greenhalgh, C., Craven, M., Walker, G., Regan, T., Morphett, J., …Bowers, J. (1999). Broadcasting On-Line Social Interaction as Inhabited Television. In S. Bødker, M. Kyng, & K. Schmidt (Eds.), ECSCW ’99: Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12–16 September 1999, Copenhagen, Denmark (179-198). https://doi.org/10.1007/978-94-011-4441-4_10

Inhabited TV combines collaborative virtual environments (CVEs) with broadcast TV so that on-line audiences can participate in TV shows within shared virtual worlds. Three early experiments with inhabited TV raised fundamental questions concerning th... Read More about Broadcasting On-Line Social Interaction as Inhabited Television.

Patterns of network and user activity in an inhabited television event (1999)
Presentation / Conference Contribution
Greenhalgh, C., Benford, S., & Craven, M. (1999). Patterns of network and user activity in an inhabited television event. In VRST '99: Proceedings of the ACM symposium on Virtual reality software and technology. https://doi.org/10.1145/323663.323668

Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and around shows or channels. 'Out Of This World' was an experimental inhabited... Read More about Patterns of network and user activity in an inhabited television event.

Three dimensional visualization of the World Wide Web (1999)
Journal Article
Benford, S., Taylor, I., Brailsford, D. F., Koleva, B., Craven, M. P., Fraser, M., …Greenhalgh, C. (1999). Three dimensional visualization of the World Wide Web. ACM Computing Surveys, 31(4es),

Although large-scale public hypermedia structures such as the World Wide Web are popularly referred to as "cyberspace", the extent to which they constitute a space in the everyday sense of the word is questionable. This paper reviews recent work in t... Read More about Three dimensional visualization of the World Wide Web.

Separable Hyperstructure and Delayed Link Binding (1999)
Journal Article
Brailsford, D. F. (1999). Separable Hyperstructure and Delayed Link Binding. ACM Computing Surveys, 31(4es),

As the amount of material on the World Wide Web continues to grow, users are discovering that the Web's embedded, hard-coded, links are difficult to maintain and update. Hyperlinks need a degree of abstraction in the way they are specified together w... Read More about Separable Hyperstructure and Delayed Link Binding.

Genetic algorithms for multiple-choice problems (1999)
Thesis
Aickelin, U. Genetic algorithms for multiple-choice problems. (Thesis). University of Wales Swansea. Retrieved from https://nottingham-repository.worktribe.com/output/1163583

This thesis investigates the use of problem-specific knowledge to enhance a genetic algorithm approach to multiple-choice optimisation problems. It shows that such information can significantly enhance performance, but that the choice of information... Read More about Genetic algorithms for multiple-choice problems.

A Tutorial on the Universality and Expressiveness of Fold (1999)
Journal Article
Hutton, G. (1999). A Tutorial on the Universality and Expressiveness of Fold. Journal of Functional Programming, 9(4),

In functional programming, fold is a standard operator that encapsulates a simple pattern of recursion for processing lists. This article is a tutorial on two key aspects of the fold operator for lists. First of all, we emphasize the use of the uni... Read More about A Tutorial on the Universality and Expressiveness of Fold.

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs (1999)
Presentation / Conference Contribution
Dennis, L. A., Bundy, A., & Green, I. (1999). Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In W. McCune (Ed.),

Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can... Read More about Using a Generalisation Critic to find Bisimulations for Coinductive Proofs.

Proof methods for structured corecursive programs (1999)
Presentation / Conference Contribution
Gibbons, J., & Hutton, G. (1999). Proof methods for structured corecursive programs.

Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixp... Read More about Proof methods for structured corecursive programs.

Linking electronic journals - Lessons from the Open Journal project (1998)
Journal Article
Hitchcock, S., Carr, L., Hall, W., Harris, S., Probets, S., Evans, D., & Brailsford, D. F. (1998). Linking electronic journals - Lessons from the Open Journal project

The Open Journal project has completed its three year period of funding by the UK Electronic Libraries (eLib) programme (Rusbridge 1998). During that time, the number of journals that are available electronically leapt from a few tens to a few thousa... Read More about Linking electronic journals - Lessons from the Open Journal project.

Monadic parsing in Haskell (1998)
Journal Article
Hutton, G., & Meijer, E. (1998). Monadic parsing in Haskell. Journal of Functional Programming, 8(4),

This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping, the paper combines material from three areas into a single source. The three areas are functional parsers, the use of monads to structure... Read More about Monadic parsing in Haskell.

Dynamic Link Inclusion in Online PDF Journals (1998)
Presentation / Conference Contribution
Probets, S., Brailsford, D. F., Carr, L., & Hall, W. (1998). Dynamic Link Inclusion in Online PDF Journals. In J. Andre, H. Brown, & R. Hersch (Eds.),

Two complementary de facto standards for the publication of electronic documents are HTML on theWorldWideWeb and Adobe s PDF (Portable Document Format) language for use with Acrobat viewers. Both these formats provide support for hypertext features t... Read More about Dynamic Link Inclusion in Online PDF Journals.