School of Electronic Engineering and Computer Science

Recent Submissions

  • Creating Real-Time Aeroacoustic Sound Effects Using Physically Informed Models 

    SELFRIDGE, R; MOFFAT, D; AVITAL, E; REISS, J (Audio Engineering Society, 2018-08)
    Aeroacoustics is a branch of engineering within fluid dynamics. It encompasses sounds generated by disturbances in air, either by an airflow being disturbed by an object or an object moving through air. A number of fundamental ...

  • Model Checking Boot Code from AWS Data Centers 

    Cook, B; Khazem, K; Kroening, D; Tasiran, S; TAUTSCHNIG, M; Tuttle, M; Computer Aided Verification (Springer, 2018-07)
    This paper describes our experience with symbolic model checking in an industrial setting. We have proved that the initial boot code running in data centers at Amazon Web Services is memory safe, an essential step in ...

  • Evaluating an Interface for Cross-modal Information Seeking 

    STOCKMAN, AG; AL-THANI, D (Oxford University Press, 2018-09)
    The objective of the work reported here is to develop an understanding of cross-modal collaborative information-seeking (CCIS) between visually impaired (VI) and sighted users in order to learn how best to support it. In ...

  • Polynomial-time equivalence testing for deterministic fresh-register automata 

    TZEVELEKOS, NP; Murawski, AS; Ramsay, SJ; Mathematical Foundations of Computer Science (Mathematical Foundations of Computer Science, 2018)
    Register automata are one of the most studied automata models over infinite alphabets. The complexity of language equivalence for register automata is quite subtle. In general, the problem is undecidable but, in the ...

  • Action-sound Latency and the Perceived Quality of Digital Musical Instruments: Comparing Professional Percussionists and Amateur Musicians 

    JACK, RH; MEHRABI, A; Stockman, T; MCPHERSON, A (University of California Press, 2018-09)
    Asynchrony between tactile and auditory feedback (action-sound latency) when playing a musical instrument is widely recognised as disruptive to musical performance. In this paper we present a study that assesses the effects ...
Return to top