The artisan and the artist. Innovation enables transformation

Technologies Excellence Group, for theCurriculum for Excellence Group for SG (commissioned by/for Mike Russell-Cabinet Secy on Education

Collective Reality

‘Collective Reality’ comes alive when you come together As aware of us as we are of it, this digital environment invites us to move and perform as a group to create unique visuals and sounds. Using a convergence of generative technologies, it looks ten years ahead, beyond the current VR headset craze, to real-time collective reality. It uses motion tracking, surround sound, projection mapping and performative inserts technologies to create a living, breathing virtual presence environment that can be experienced by groups in real-time. The installation will be made up of two zones: ‘the experimental zone’ where the audience move through the space and ‘the performative zone’ a round stage where freestyle footballers and dancers will perform and interact with the space every 30 minutes. Come and experience togetherness

BOOSTING

• Research ways to efficiently implement machinelearning algorithms on MIPS/PowerVR • Research possible extensions to MIP

Opportunities for Transmission Power Control Protocols in Wireless Sensor Networks

This study investigates the opportunities for transmission power control (TPC) protocols in resource constrained wireless sensor networks (WSNs). The paper begins by creating a generalised model to describe the relationship between transmission power, communication reliability and energy consumption. Applying this model to the performance of state-of-the art radio hardware, the maximum potential energy savings achievable through the implementation of a TPC protocol are identified. From this, previous assumptions about the limited impact of protocols and mechanisms, such as TPC, which seek to reduce the energy consumed by wireless communication activities through targeting the distance dependent term are disproven. This paper concludes by presenting guidelines on the link conditions which offer the greatest opportunities for a TPC protocol

An ML Editor based on Proofs-as-Programs

. C Y NTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of C Y NTHIA edit programs by applying sequences of high-level editing commands to existing programs. These commands make changes to the proof representation from which a new program is then extracted. The use of proofs is a sound framework for analysing ML programs and giving useful feedback about errors. Amongst the properties analysed within C Y NTHIA at present is termination. C Y NTHIA has been successfully used in the teaching of ML in two courses at Napier University. 1 Introduction Current programming environments for novice functional programming (FP) are inadequate. This paper describes ways of using mechanised theorem proving to improve the situation, in the context of the language ML [9]. ML is a stronglytyped FP language with type inference [4]. ML incorporates extensive use of pattern match..