Skip to main content

Research Repository

Advanced Search

All Outputs (2039)

Utilizing gravity in movement-based games and play
Presentation / Conference Contribution
Hämäläinen, P., Marshall, J., Kajastila, R., Byrne, R., & Mueller, F. ‘. (2015). Utilizing gravity in movement-based games and play.

This paper seeks to expand the understanding of gravity as a powerful but underexplored design resource for movement-based games and play. We examine how gravity has been utilized and manipulated in digital, physical, and mixed reality games and spor... Read More about Utilizing gravity in movement-based games and play.

Grand Push Auto: a car based exertion game
Presentation / Conference Contribution
Marshall, J., Loesche, F., Linehan, C., Johnson, D., & Martelli, B. (2015). Grand Push Auto: a car based exertion game.

Grand Push Auto is an exertion game in which players aim to push a full sized car to ever increasing speeds. The re-appropriation of a car as essentially a large weight allows us to create a highly portable and distributable exertion game in which th... Read More about Grand Push Auto: a car based exertion game.

Rural Enterprise as an Agent for Technology Development and Facilitation in the Digital Economy
Presentation / Conference Contribution
Valchovska, S., Chamberlain, A., Crabtree, A., Greenhalgh, C., Davies, M., Glover, K., & Rodden, T. Rural Enterprise as an Agent for Technology Development and Facilitation in the Digital Economy.

This paper outlines recent developments in the Scaling the Rural Enterprise (SRE) research project – an interdisciplinary project that combines the expertise of social scientists, computer scientists and software developers, in order to inform the de... Read More about Rural Enterprise as an Agent for Technology Development and Facilitation in the Digital Economy.

Exploration of the ordering for a sequential airport ground movement algorithm
Book
Ravizza, S., & Atkin, J. A. Exploration of the ordering for a sequential airport ground movement algorithm. School of Computer Science

Guiding aircraft around the airport's surface while ensuring conflict-free routings is an important problem at airports. Sequential routing and scheduling algorithms can be advantageous for providing fast online solutions for decision support systems... Read More about Exploration of the ordering for a sequential airport ground movement algorithm.

Clustering breast cancer data by consensus of different validity indices
Presentation / Conference Contribution
Soria, D., Garibaldi, J. M., Ambrogi, F., Lisboa, P. J., Boracchi, P., & Biganzoli, E. M. Clustering breast cancer data by consensus of different validity indices.

Clustering algorithms will, in general, either partition a given data set into a pre-specified number of clusters or will produce a hierarchy of clusters. In this paper we analyse several different clustering techniques and apply them to a particular... Read More about Clustering breast cancer data by consensus of different validity indices.

Modularity and implementation of mathematical operational semantics
Presentation / Conference Contribution
Jaskelioff, M. J., Ghani, N., & Hutton, G. Modularity and implementation of mathematical operational semantics.

Structural operational semantics is a popular technique for specifying the meaning of programs by means of inductive clauses. One seeks syntactic restrictions on those clauses so that the resulting operational semantics is well-behaved. This approa... Read More about Modularity and implementation of mathematical operational semantics.

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