Skip to main content

Research Repository

Advanced Search

All Outputs (1993)

IWAVE: Interactive Web-based Algorithm Visualization Environment
Book
Moss, B. IWAVE: Interactive Web-based Algorithm Visualization Environment. Virtual Learning Lab, University of Nottingham, UK. Manuscript submitted for publication

This report discusses one of the challenges faced in the teaching and learning of introductory computer programming. The demographic of students has changed considerably in recent years, and teaching styles must adapt accordingly to suit the change... Read More about IWAVE: Interactive Web-based Algorithm Visualization Environment.

BioHEL: Bioinformatics-oriented Hierarchical Evolutionary Learning
Book
Bacardit, J., & Krasnogor, N. (2006). BioHEL: Bioinformatics-oriented Hierarchical Evolutionary Learning. Computer Science & IT

This technical report briefly describes our recent work in the iterative rule learning approach (IRL) of evolutionary learning/genetics-based machine learning. This approach was initiated by the SIA system. A more recent example is HIDER. Our approac... Read More about BioHEL: Bioinformatics-oriented Hierarchical Evolutionary Learning.

Rule-based and Resource-bounded: A New Look at Epistemic Logic
Presentation / Conference Contribution
Jago, M. (2006). Rule-based and Resource-bounded: A New Look at Epistemic Logic.

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bou... Read More about Rule-based and Resource-bounded: A New Look at Epistemic Logic.

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.

A Note on Collaborating Adversaries in the Srinathan-Kumar-Rangan Transmission Protocol
Book
Moss, B. (2003). A Note on Collaborating Adversaries in the Srinathan-Kumar-Rangan Transmission Protocol. University of Nottingham

We show, by means of brief demonstration, that the underlying transmission protocol in [1] cannot determine dishonest paths when adversaries collaborate. Hence, this method of tolerating mixed adversaries on an asynchronous network is flawed.

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.

A Simulator Program for Evaluating and Improving the Nottingham Muse Architecture.
Book
Barrett, N. K., Brailsford, D. F., & Duckworth, R. J. (1986). A Simulator Program for Evaluating and Improving the Nottingham Muse Architecture. Computer Science

This paper describes the modelling and simulation of the Nottingham MUSE (MUltiple Stream Evaluator) machine. MUSE is a data flow machine capable of supporting structured parallel computation. The simulator described in this paper was designed to ena... Read More about A Simulator Program for Evaluating and Improving the Nottingham Muse Architecture..

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..

The Effects of the Planning Horizon on Heathrow TSAT Allocation
Presentation / Conference Contribution
De Maere, G., Atkin, J., & Burke, E. (2014). The Effects of the Planning Horizon on Heathrow TSAT Allocation. In E. Özcan, E. K. Burke, & B. McCollum (Eds.), PATAT 2014: Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling (446-449)

Developing immersive experience at Caistor Roman Town: Final report on AHRC Next Generation of Immersive Experiences Project (2018)
Report
Bowden, W., Brundell, P., Harlow, N., Martin-Jones, A., & Mullen, A. (2018). Developing immersive experience at Caistor Roman Town: Final report on AHRC Next Generation of Immersive Experiences Project (2018). Nottingham: Arts and Humanities Research Council

This case study documents the approach taken to developing and evaluating a mobile app for the Roman town at Venta Icenorum and includes a qualitative summary of the AR technique and evaluation of its effectiveness, for use by other researchers under... Read More about Developing immersive experience at Caistor Roman Town: Final report on AHRC Next Generation of Immersive Experiences Project (2018).