Skip to main content

Research Repository

Advanced Search

Outputs (130)

Freshers' group-working activities for fun, learning and prizes (2014)
Presentation / Conference
Green, S., Yang, R., & Plant, N. (2014, July). Freshers' group-working activities for fun, learning and prizes. Presented at 1st National Student Induction Workshop, University of Warwick

The Computer Science and Creative Technologies Department at the University of the West of England has a history of running group social events for multiple awards during induction week. The main aim of these fun events is to help new students to mak... Read More about Freshers' group-working activities for fun, learning and prizes.

Time travel: Time dilation (2014)
Presentation / Conference
Buzzo, D. (2014, July). Time travel: Time dilation

In this paper I discuss the theory and actuality of the effects of Time Dilation, as predicted by Einstein’s Special Relativity. Alongside this the research investigates the visible, experiential effects of most personal form of Time Travel from a pe... Read More about Time travel: Time dilation.

Manhattan: End-user programming for music (2014)
Book Chapter
Nash, C. (2014). Manhattan: End-user programming for music. In B. Caramiaux, K. Tahiroğlu, R. Fiebrink, & A. Tana (Eds.), Proceedings of the International Conference on New Interfaces for Musical Expression (221-226). London, UK: Goldsmiths, University of London

This paper explores the concept of end-user programming languages in music composition, and introduces the Manhattan system, which integrates formulas with a grid-based style of music sequencer. Following the paradigm of spreadsheets, an established... Read More about Manhattan: End-user programming for music.

Controlling physically based virtual musical instruments using the gloves (2014)
Presentation / Conference
Serafin, S., Trento, S., Grani, F., Perner-Wilson, H., Madgwick, S., & Mitchell, T. J. (2014, June). Controlling physically based virtual musical instruments using the gloves. Paper presented at International Conference on New Interfaces for Musical Expression, Goldsmiths, University of London

In this paper we propose an empirical method to develop mapping strategies between a gestural-based interface (the Gloves) and physically based sound synthesis models. An experiment was conducted to investigate which gestures listeners associate with... Read More about Controlling physically based virtual musical instruments using the gloves.

AlphaSphere: From prototype to product (2014)
Presentation / Conference
Place, A., Lacey, L., & Mitchell, T. J. (2014, June). AlphaSphere: From prototype to product. Paper presented at 14th International Conference on New Interfaces for Musical Expression, Goldsmiths, University of London

This paper explores the design process of the AlphaSphere, an experimental new musical instrument that has transitioned into scale production and international distribution. Initially, the design intentions and engineering processes are covered. The... Read More about AlphaSphere: From prototype to product.

A proximity-based framework for mobile services (2014)
Presentation / Conference
Salmon, J., & Yang, R. (2014, June). A proximity-based framework for mobile services. Paper presented at The 2014 IEEE 3rd International Conference on Mobile Services, Alaska

Peer-to-peer proximity-based wireless networking can provide improved spatial and temporal semantics and independence over alternative wireless topologies that rely on static network infrastructure, and can potentially enable new classes of mobile ap... Read More about A proximity-based framework for mobile services.

A Logical Framework for the Representation and Verification of Context-aware Agents (2014)
Journal Article
Rakib, A., & Ul Haque, H. M. (2014). A Logical Framework for the Representation and Verification of Context-aware Agents. Mobile Networks and Applications, 19(5), 585-597. https://doi.org/10.1007/s11036-014-0520-0

© 2014, Springer Science+Business Media New York. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic 𝓛OCRS allows us t... Read More about A Logical Framework for the Representation and Verification of Context-aware Agents.

Interactive ant colony optimization (iACO) for early lifecycle software design (2014)
Journal Article
Simons, C., Smith, J., & White, P. (2014). Interactive ant colony optimization (iACO) for early lifecycle software design. Swarm Intelligence, 8(2), 139-157. https://doi.org/10.1007/s11721-014-0094-2

Finding good designs in the early stages of the software development lifecycle is a demanding multi-objective problem that is crucial to success. Previously, both interactive and non-interactive techniques based on evolutionary algorithms (EAs) have... Read More about Interactive ant colony optimization (iACO) for early lifecycle software design.

Addressing the paradigmatic limitation of conventional business process management concepts by proposing new definitions (2014)
Presentation / Conference
Green, S., Mavaddat, M., & Sa, J. (2014, June). Addressing the paradigmatic limitation of conventional business process management concepts by proposing new definitions. Paper presented at 15th International Conference, BPMDS 2014, Held at CAiSE 2104, Thessaloniki, Greece

Considering the history of the formation of the business process management discipline and its concept definitions, and by looking at organisations as social systems, it can be demonstrated that conventional business process management practices can... Read More about Addressing the paradigmatic limitation of conventional business process management concepts by proposing new definitions.