5 results

Investigating the Use of Audio Feedback in Engineering Mathematics Modules.

Conference Proceeding
Durkacz, K. & Mowat, E. (2012)
Investigating the Use of Audio Feedback in Engineering Mathematics Modules. ISBN 978-1-873769-14-0
Assessment and feedback are an important part of student learning, and there is evidence that good feedback leads to improvements in both learning and student engagement. This...

Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison.

Conference Proceeding
Melville, A., Graham, M., & Kennedy, J. (2011)
Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison. In 15th International Conference on Information Visualisation (IV), 2011https://doi.org/10.1109/IV.2011.49
While much work has been done in the area of visualization for analysis of graphs, relatively little research exists into how best to use visualization for comparing graphs. W...

Using ERMIA for the Evaluation of a Theorem Prover Interface

Conference Proceeding
Jackson, M., Benyon, D., & Lowe, H. (2004)
Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers, 104-111
ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship modelling techniques to provide a structural representation of the ...

A symbolic Investigation of pole-zero cancellation for a triple Inverted pendulum

Conference Proceeding
Woodham, C. A., Su, H., & Larcombe, P. (2001)
A symbolic Investigation of pole-zero cancellation for a triple Inverted pendulum
The balancing of an inverted pendulum is a classic control problem of some thirty years or so standing, whichhas been revisited of late in the light of recent developments in ...

Machine independent algorithm for concurrent finite-element problems

Conference Proceeding
Buchanan, W., Buchanan, W. J., & Gupta, N. K. (1996)
Machine independent algorithm for concurrent finite-element problems. In 3rd International IEEE Conference on Computation in Electromagnetics, 1996, 17-20. doi:10.1049/cp:19960150
The finite-element method, initially developed for mechanical and civil engineering applications, is now applied to electromagnetics. This paper describes how parallel process...