Skip to main content

Research Repository

Advanced Search

All Outputs (2135)

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. Presented at International Conference on Advances in Medical, Signal and Information Processing (4th)

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. Presented at Second Workshop on Mathematically Structured Functional Programming (MSFP 2008)

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. Rule-based and Resource-bounded: A New Look at Epistemic Logic. Presented at Workshop on Logics for Resource Bounded Agents

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. On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. Presented at 12th Symposium on the Integratoin of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)

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. And now for something completely different: looking ahead to new encryption and secrecy protocols. Presented at Communications Design Conference

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. Development of a Real Time System in Algol 68. Presented at Applications of Algol 68

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

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