All Outputs (104)

A modal logic analysis of a line-following robot (2018)
Presentation / Conference Contribution

© Springer International Publishing AG, part of Springer Nature 2018. The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the... Read More about A modal logic analysis of a line-following robot.

Governing narrative events with tropes as institutional norms (2018)
Presentation / Conference Contribution

© Springer International Publishing AG, part of Springer Nature 2018. A narrative world can be viewed as a form of society in which characters follow a set of social norms whose collective function is to guide the characters through (the creation of)... Read More about Governing narrative events with tropes as institutional norms.

Mechanical sequential counting with liquid marbles (2018)
Presentation / Conference Contribution

© 2018, Springer International Publishing AG, part of Springer Nature. Here we demonstrate the first working example of a liquid marble-operated sequential binary counting device. We have designed a lightweight gate that can be actuated by the low ma... Read More about Mechanical sequential counting with liquid marbles.

Tide and Time (2018)
Other

‘Tide and Time’ for brass band was commissioned in 2017 by Foden’s Band and premiered at the Royal Northern College of Music Brass Band Festival in January 2018 by Foden’s Band, conducted by Michael Fowles. Further performances have taken place by th... Read More about Tide and Time.