Article

Ablart, Damien, Velasco, Carlos, Vi, Chi Thanh, Gatti, Elia and Obrist, Marianna (2017) The how and why behind a multisensory art display. Interactions, 24 (6). pp. 38-43. ISSN 1072-5520

Alsowail, Rakan and Mackie, Ian (2017) Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332. pp. 3-20. ISSN 1571-0661

Barnett, L, Brown, J and Bossomaier, T (2017) Anomalous behaviour of mutual information in finite flocks. EPL, 120 (38005). pp. 1-6. ISSN 0295-5075

Barnett, Lionel and Seth, Anil (2017) Detectability of Granger causality for subsampled continuous-time neurophysiological processes. Journal of Neuroscience Methods, 275. pp. 93-121. ISSN 0165-0270

Bola, Michal, Barrett, Adam, Pigorini, Andrea, Nobili, Lino, Seth, Anil and Marchewka, Artur (2017) Loss of consciousness is related to hyper-1 correlated gamma-band activity in anesthetized macaques and sleeping humans. NeuroImage, 167. pp. 130-142. ISSN 1053-8119

Bor, Daniel, Schwartzman, David J, Barrett, Adam B and Seth, Anil K (2017) Theta-burst transcranial magnetic stimulation to the prefrontal or parietal cortex does not impair metacognitive visual awareness. PLoS ONE. ISSN 1932-6203

Buckley, Christopher L, Chang, Sub Kim, McGregor, Simon and Seth, Anil K (2017) The free energy principle for action and perception: A mathematical review. Journal of Mathematical Psychology, 81. pp. 55-79. ISSN 0022-2496

Chang, Acer Y-C, Schwartzman, David, VanRullen, Rufin, Kanai, Ryota and Seth, Anil K (2017) Visual perceptual echo reflects learning of regularities in rapid luminance sequences. Journal of Neuroscience, 37 (35). pp. 8486-8497. ISSN 0270-6474

Chen, Hong-Yi, David, Cristina, Kroening, Daniel, Schrammel, Peter and Wachter, Björn (2017) Bit-precise procedure-modular termination analysis. ACM Transactions on Programming Languages and Systems, 40 (1). pp. 1-38. ISSN 0164-0925

Dewar, Alexander D M, Wystrach, Antoine, Philippides, Andy and Graham, Paul (2017) Neural coding in the visual system of Drosophila melanogaster: how do small neural populations support visually guided behaviours? PLoS Computational Biology, 13 (10). ISSN 1553-7358

Ewing, Donna L, Manassei, Miranda, Gould van Praag, Cassandra, Philippides, Andrew O, Critchley, Hugo D and Garfinkel, Sarah N (2017) Sleep and the heart: interoceptive differences linked to poor experiential sleep quality in anxiety and depression. Biological Psychology, 127. pp. 163-172. ISSN 0301-0511

Fernandes, A Sofia D, Buckley, C L and Niven, Jeremy E. (2017) Visual associative learning in wood ants. The Journal of Experimental Biology, 221 (3). pp. 1-8. ISSN 0022-0949

Good, Judith and Howland, Kate (2017) Programming language, natural language? Supporting the diverse computational activities of novice programmers. Journal of Visual Languages and Programming, 39. pp. 78-92. ISSN 1045-926X

Gould van Praag, Cassandra D, Garfinkel, Sarah N, Sparasci, Oliver, Mees, Alex, Philippides, Andy O, Ware, Mark, Ottaviani, Chrsitina and Critchley, Hugo D (2017) Mind-wandering and alterations to default mode network connectivity when listening to naturalistic versus artificial sounds. Scientific Reports, 7. a45273. ISSN 2045-2322

Graham, Paul and Philippides, Andy (2017) Vision for navigation: what can we learn from ants? Arthropod Structure & Development, 46 (5). pp. 718-722. ISSN 1467-8039

Hayes, Tom and Ali, Falah (2017) Medium access control schemes for flat mobile wireless sensor networks. IET Wireless Sensor Systems, 7 (4). pp. 105-112. ISSN 2043-6386

Huckle, Steve and White, Martin (2017) Fake news: a technological approach to proving the origins of content, using blockchains. Big Data, 5 (4). pp. 356-371. ISSN 2167-6461

Huckle, Steve, White, Martin and Bhattacharya, Rituparna (2017) Towards a post-cash society: an application to convert fiat money into a cryptocurrency. First Monday, 22 (3). ISSN 1396-0466

Jamil, Izdihar, Montero, Calkin Suero, Perry, Mark, O'Hara, Kenton, Karnik, Abhijit, Pihlainen, Kaisa, Marshall, Mark T, Jha, Swathi, Gupta, Sanjay and Subramanian, Sriram (2017) Collaborating around digital tabletops: children's physical strategies from India, the UK and Finland. ACM Transactions on Computer-Human Interaction, 24 (3). a23. ISSN 1073-0516

Klemens, Knoeferle, Jixing, Li, Maggioni, Emanuela and Spence, Charles (2017) What drives sound symbolism? Different acoustic cues underlie sound-size and sound-shape mappings. Scientific Reports (7). ISSN 2045-2322

Klimova, Michaela, Shin’ya, Nishida and Roseboom, Warrick (2017) Grouping by feature of cross-modal flankers in temporal ventriloquism. Scientific Reports, 7 (76151). pp. 1-10. ISSN 2045-2322

Liang, Lihao, Melham, Tom, Kroening, Daniel, Schrammel, Peter and Tautschnig, Michael (2017) Effective verification for low-level software with competing interrupts. ACM Transactions on Embedded Computing Systems, 17 (2). 36:1-36:26. ISSN 1539-9087

Light, Ann, Frauenberger, Christopher, Preece, Jennifer, Strohmeier, Paul and Ferrario, Maria Angela (2017) Taking action in a changing world: [introduction] who are we to make change? Interactions, 25 (1). pp. 34-45. ISSN 1072-5520

Mach-Batlle, Rosa, Parra, Albert, Prat-Camps, Jordi, Laut, Sergi, Navau, Carles and Sanchez, Alvaro (2017) Negative permeability in magnetostatics and its experimental demonstration. Physical Review B, 96 (094422). ISSN 2469-9950

Maurer, P, Prat-Camps, J, Cirac, J I, Hänsch, T W and Romero-Isart, O (2017) Ultrafocused electromagnetic field pulses with a hollow cylindrical waveguide. Physical Review Letters, 119 (043904). ISSN 0031-9007

Memoli, Gianluca, Caleap, Mihai, Asakawa, Michihiro, Sahoo, Deepak R, Drinkwater, Bruce W and Subramanian, Sriram (2017) Metamaterial bricks and quantization of meta-surfaces. Nature Communications, 8. a14608. ISSN 2041-1723

Memoli, Gianluca, Caleap, Mihai, Asakawa, Michihiro, Sahoo, Deepak R, Drinkwater, Bruce W and Subramanian, Sriram (2017) Metamaterial bricks and quantization of meta-surfaces. Nature Communications, 8. p. 14608. ISSN 2041-1723

Memoli, Gianluca, Fury, Christopher R, Baxter, Kate O, Gélat, Pierre N and Jones, Philip H (2017) Acoustic force measurements on polymer-coated microbubbles in a microfluidic device. Journal of the Acoustical Society of America, 141 (5). pp. 3364-3378. ISSN 0001-4966

Navau, Carles, Mach-Batlle, Rosa, Parra, Albert, Prat-Camps, Jordi, Laut, Sergi, Del-Valle, Nuria and Sanchez, Alvaro (2017) Enhancing the sensitivity of magnetic sensors by 3D metamaterial shells. Scientific Reports, 7 (44762). pp. 1-9. ISSN 2045-2322

Obrist, Marianna, Gatti, Elia, Maggioni, Emanuela, Vi, Chi Thanh and Velasco, Carlos (2017) Multisensory experiences in HCI. IEEE MultiMedia, 24 (2). pp. 9-13. ISSN 1070-986X

Otten, Marte, Pinto, Yair, Pfaffen, Chris L E, Seth, Anil K and Kanai, Ryota (2017) The uniformity illusion: central stimuli can determine peripheral perception. Psychological Science, 28 (1). pp. 56-68. ISSN 0956-7976

Otten, Marte, Seth, Anil K and Pinto, Yair (2017) A social Bayesian brain: how social knowledge can shape visual perception. Brain and Cognition, 112. pp. 69-77. ISSN 0278-2626

Parisis, Georgios Angelos, Sourlas, Vasilis, Katsaros, Konstantinos, Chai, Wei Koong, Pavlou, George and Wakeman, Ian (2017) Efficient content delivery through fountain coding in opportunistic information-centric networks. Computer Communications, 100. pp. 118-128. ISSN 0140-3664

Parsons, Sarah, Yuill, Nicola, Brosnan, Mark and Good, Judith (2017) Interdisciplinary perspectives on designing, understanding and evaluating digital technologies for autism. Journal of Enabling Technologies, 11 (1). pp. 13-18. ISSN 2398-6263

Prat-Camps, Jordi, Teo, C, Rusconi, C C, Wieczorek, W and Romero-Isart, O (2017) Ultrasensitive inertial and force sensors with diamagnetically levitated magnets. Physical Review Applied, 8 (034002). ISSN 2331-7019

Rae, Charlotte, Davies, Geoff, Garfinkel, Sarah, Gabel, Matthew, Dowell, Nicholas, Cercignani, Mara, Seth, Anil, Greenwood, Kathryn E, Medford, Nick and Critchley, Hugo (2017) Deficits in neurite density underlie white matter structure abnormalities in first-episode psychosis. Biological Psychiatry, 82 (10). pp. 716-725. ISSN 0006-3223

Schartner, Michael M, Carhart-Harris, Robin, Barrett, Adam B, Seth, Anil K and Muthukumaraswamy, Suresh D (2017) Increased spontaneous MEG signal diversity for psychoactive doses of ketamine, LSD and psilocybin. Scientific Reports, 7. a46421. ISSN 2045-2322

Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2017) Incremental bounded model checking for embedded software. Formal Aspects of Computing, 29 (5). pp. 911-931. ISSN 0934-5043

Smith, Adrian and Light, Ann (2017) Cultivating sustainable developments with makerspaces. Liinc em revista, 13 (1). pp. 162-174. ISSN 1808-3536

Spence, Charles, Obrist, Marianna, Velasco, Carlos and Ranasinghe, Nimesha (2017) Digitizing the chemical senses: possibilities & pitfalls. International Journal of Human-Computer Studies, 107. pp. 62-74. ISSN 1071-5819

Suzuki, Keisuke, Roseboom, Warrick, Schwartzman, David J and Seth, Anil K (2017) A deep-dream virtual reality platform for studying altered perceptual phenomenology. Scientific Reports, 7. p. 15982. ISSN 2045-2322

Tate, A Rosemary, Dungey, Sheena, Glew, Simon, Beloff, Natalia, Williams, Rachael and Williams, Tim (2017) Quality of recording of diabetes in the UK: how does the GP’s method of coding clinical data affect incidence estimates? Cross-sectional study using the CPRD database. British Medical Journal Open, 7 (1). e012905. ISSN 0959-8138

Tee, Philip, Parisis, George and Wakeman, Ian (2017) Vertex entropy as a critical node measure in network monitoring. IEEE Transactions on Network and Service Management, 14 (3). pp. 646-660. ISSN 1932-4537

Tee, Philip, Wakeman, Ian, Parisis, George, Dawes, Jonathan and Kiss, István Z (2017) Constraints and entropy in a model of network evolution. European Physical Journal B: Condensed Matter and Complex Systems, 90. p. 226. ISSN 1434-6028

Thornton, Chris (2017) Predictive processing simplified: the infotropic machine. Brain and Cognition, 112. pp. 13-24. ISSN 0278-2626

Vi, Chi Thanh, Ablart, Damien, Gatti, Elia, Velasco, Carlos and Obrist, Marianna (2017) Not just seeing, but also feeling art: mid-air haptic experiences integrated in a multisensory art exhibition. International Journal of Human-Computer Studies, 108. pp. 1-14. ISSN 1071-5819

Book Section

Barnard, Rosanna C, Kiss, Istvan Z, Farmer, Simon F and Berthouze, Luc (2017) Clustered arrangement of inhibitory neurons can lead to oscillatory dynamics in a model of activity-dependent structural plasticity. In: van Ooyen, Arjen and Butz-Ostendorf, Markus (eds.) The rewiring brain: a computational approach to structural plasticity in the adult brain. Oxford: Academic Press, pp. 123-154. ISBN 9780128037843

Boden, Maggie A (2017) Artificial intelligence. In: Al-Khalili, Jim (ed.) What's next? Even scientists can't predict the future - or can they? Profile Books, London, pp. 118-128. ISBN 9781781258958

Holland, Owen and Husbands, Phil (2017) Pioneers of cybernetics: Grey Walter’s robot tortoises, and the Ratio Club. In: Robots: the 500-year quest to make machines human. Scala Arts and Heritage Publishers, London, pp. 86-99. ISBN 9781785510687

Husbands, Phil (2017) Evolutionary robotics. In: Sammut, Claude and Webb, Geoffrey I (eds.) Encyclopedia of machine learning and data mining. Springer, Berlin. ISBN 9781489976871

Kiss, Istvàn, Berthouze, Luc, Miller, Joel C and Simon, Péter L (2017) Mapping out emerging network structures in dynamic network models coupled with epidemics. In: Masuda, Naoki and Holme, Petter (eds.) Temporal network epidemiology. Theoretical Biology . Springer, pp. 267-289. ISBN 9789811052866

Sharmanska, Viktoriia and Quadrianto, Novi (2017) In the era of deep convolutional features: are attributes still useful privileged data? In: Feris, Rogerio Schmidt, Lampert, Christoph and Parikh, Devi (eds.) Visual Attributes. Advances in computer vision and pattern recognition . Springer International Publishing, Cham, Switzerland, pp. 31-48. ISBN 9783319500751

Sharmanska, Viktoriia and Quadrianto, Novi (2017) Learning using privileged information. In: Sammut, Claude and Webb, Geoffrey I (eds.) Encyclopedia of machine learning and data mining. Springer US, Boston, MA, pp. 734-737. ISBN 9781489976857

Reports and working papers

Conway, Maura, Khawaja, Moign, Lakhani, Suraj, Reffin, Jeremy, Robertson, Andrew and Weir, David (2017) Disrupting Daesh: measuring takedown of online terrorist material and its impacts. Project Report. The Vox-Pol Network of Excellence.

Conference or Workshop Item

Chatwin, Chris (2017) Hard and soft technologies for global smart cities. In: Smart City, 27/11/2017, University of Basra, Basra, Iraq.

Chatwin, Chris, Young, Rupert and Birch, Philip (2017) High power lasers - systems and weapons. In: SREK - IET Colloquium, 11/4/2017, Burlington Hotel, Folkestone, Kent, UK.

Conference Proceedings

Ablart, Damien, Velasco, Carlos and Obrist, Marianna (2017) Integrating mid-air haptics into movie experiences. Published in: Proceedings of the TVX '17 ACM International Conference on Interactive Experiences for TV and Online Video; Hilversum, The Netherlands; 14-16 June 2017. 77-84. ISBN 978145034529

Baltieri, Manuel and Buckley, Christopher (2017) An active inference implementation of phototaxis. 14th European Conference on Artificial Life 2017, Lyon, France, 4-8th September 2017. Published in: Proceedings of the 14th European Conference on Artificial Life 2017. 14 36-43. MIT Press ISBN 9780262346337

Berger, Martin, Tratt, Laurence and Urban, Christian (2017) Modelling homogeneous generative meta-programming. 31st European Conference on Object-Oriented Programming, Barcelona, Spain, 18 - 23 June 2017. Published in: Proceedings 31st European Conference on Object-Oriented Programming. 74 5:1-5:23. Schloss Dagstuhl ISSN 1868-8969 ISBN 9783959770354

Chan, Ho Ka and Nowotny, Thomas (2017) A biophysical model of the early olfactory system of honeybees. ICONIP: International Conference on Neural Information Processing (2017), Guangzhou, China, 14-18 November 2017. Published in: International Conference on Neural Information Processing. 10637 639-647. Springer Verlag ISSN 0302-9743 ISBN 9783319700922

Chrisley, Ron and Sloman, Aaron (2017) Architectural requirements for consciousness. EUCognition 2016: Cognitive Robot Architectures, Vienna, Austria, 8-9 December, 2016. Published in: Chrisley, Ron, Müller, Vincent C, Sandamirskaya, Yulia and Vincze, Markus, (eds.) Proceedings of the EUCognition Meeting (European Society for Cognitive Systems) "Cognitive Robot Architectures". 1855 31-36. CEUR Workshop Proceedings ISSN 1613-0073

Cornelio Martinez, Patricia Ivette, De Pirro, Silvana, Vi, Chi Thanh and Subramanian, Sriram (2017) Agency in mid-air interfaces. Published in: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems; Denver, Colorado, USA; 06-11 May 2017. 2426-2439. Association for Computing Machinery, New York. ISBN 9781450346559

Dmitrenko, Dmitrijs, Maggioni, Emanuela and Obrist, Marianna (2017) OSpace: towards a systematic exploration of olfactory interaction spaces. ACM International Conference on Interactive Surfaces and Spaces, Brighton, UK, 17-20 October 2017. Published in: ISS '17: Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces. 171-180. ACM ISBN 9781450346917

Dmitrenko, Dmitrijs, Maggioni, Emanuela, Vi, Chi Thanh and Obrist, Marianna (2017) What did I sniff? Mapping scents onto driving-related messages. International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Oldenburg, Germany, 24-27 September 2017. Published in: AutomotiveUI '17 Proceedings of the 9th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. 154-163. ACM ISBN 9781450351508

Fussey, Peter and Parisis, George (2017) Poster: an in-vehicle software defined network architecture for connected and automated vehicles. Proceedings of the 2nd ACM International Workshop on Smart, Autonomous, and Connected Vehicular Systems and Services, Snowbird, USA, 16-20 October 2017. Published in: An In-Vehicle Software Defined Network Architecture for Connected and Automated Vehicles. 73-74. ACM, New York, NY, USA. ISBN 9781450351461

Galliani, Pietro, Dezfouli, Amir, Bonilla, Edwin and Quadrianto, Novi (2017) Gray-box inference for structured Gaussian process models. Published in: Singh, Aarti and Zhu, Jerry, (eds.) Proceedings of the 20th International Conference on Artificial Intelligence and Statistics (AISTATS); Fort Lauderdale, Florida, USA; 20-22 April 2017. 54 353-361. JMLR ISSN 1938-7228

Gatti, Elia, Pittera, Dario, Berna Moya, Luis and Obrist, Marianna (2017) Haptic rules! augmenting the gaming experience in traditional games: the case of Foosball. IEEE World Haptics, Fürstenfeldbruck (Munich), Germany, June 6 - 9, 2017. Published in: IEEE World Haptics 2017. Institute of Electrical and Electronics Engineers

Jackowski-Ashley, Louis, Memoli, Gianluca, Caleap, Mihai, Slack, Nicolas, Drinkwater, Bruce W and Subramanian, Sriram (2017) Haptics and directional audio using acoustic metasurfaces. 2017 ACM International Conference on Interactive Surfaces and Spaces, Brighton, UK, 17-20 October 2017. Published in: Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces. 429-433. ACM, New York, NY, USA. ISBN 9781450346917

Kober, Thomas, Weeds, Julie, Wilkie, John, Reffin, Jeremy and Weir, David (2017) One representation per word - does it make sense for composition? Published in: Proceedings of the 1st Workshop on Sense, Concept and Entity Representations and their Applications [Valencia, Spain, 3rd-7th April 2017]. 79-90. Association for Computational Linguistics

Kumar, Madhukar, Schrammel, Peter and Mandayam, Srivas (2017) Compositional safety refutation techniques. 15th International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 164-183. Springer ISBN 9783319681665

Light, Ann, Howland, Kate, Hamilton, Tom and Harley, David (2017) The meaning of place in supporting sociality. DIS 2017 Designing Interactive Systems, Edinburgh, UK, 10-14 June 2017. Published in: Designing Interactive Systems. ACM ISBN 978145034922

Mackie, Ian (2017) A geometry of interaction machine for Gödel's System T. Published in: Kennedy, Juliette and de Queiroz, Ruy J G B, (eds.) Proceedings of the 24th International Workshop on Logic, Language, Information, and Computation; London, UK; 18-21 July 2017. 10388 229-241. Springer Verlag ISSN 9783662553855 ISBN 0302-9743

Maggioni, Emanuela, Agostinelli, Erika and Obrist, Marianna (2017) Measuring the added value of haptic feedback. Published in: Proceedings of the International Conference on Quality of Multimedia Experience; Erfurt, Germany; 31 May – 2 June 2017. Institute of Electrical and Electronics Engineers ISSN 2472-7814 ISBN 9781538640241

Montano Murillo, Roberto A, Subramanian, Sriram and Martinez Plasencia, Diego (2017) Erg-O: ergonomic optimization of immersive virtual environments. ACM UIST, Quebec City, QC, Canada., October 2017. Published in: Proceedings of the 30th Annual Symposium on User Interface Software and Technology. 759-771. ACM, Quebec City, QC, Canada. ISBN 9781450349819

Montano Murillo, Roberto Antonio, Gatti, Elia, Oliver Segovia, Miguel, Obrist, Marianna, Molina Masso, Jose P and Martinez Plasenia, Diego (2017) NaviFields: relevance fields for adaptive VR navigation. 30th Annual ACM Symposium on User Interface Software and Technology, Quebec, Canada, 22-25 October 2017. Published in: Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology. 747-758. ACM ISBN 9781450349819

Mukherjee, Rajdeep, Schrammel, Peter, Haller, Leopold, Kroening, Daniel and Melham, Tom (2017) Lifting CDCL to template-based abstract domains for program verification. International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 307-326. Springer ISBN 9783319681665

Nguyen, Truc L, Schrammel, Peter, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Parallel bug-finding in concurrent programs via reduced interleaving instances. The 32nd IEEE/ACM International Conference on Automated Software Engineering, University of Illinois, 30th October - 3rd November. Published in: Automated Software Engineering. 753-764. Association for Computing Machinery ISSN 0928-8910 ISBN 9781538626849

Ni, Xiuyan, Quadrianto, Novi, Wang, Yusu and Chen, Chao (2017) Composing tree graphical models with persistent homology features for clustering mixed-type data. International Conference on Machine Learning (ICML), Sydney, Australia, 6 August 2017 - 11 August 2017. Published in: Proceedings of the 34th International Conference on Machine Learning. 70 2622-2631. PMLR ISSN 1938-7228

Pearson, Jennifer, Robinson, Simon, Jones, Matt, Joshi, Anirudha, Ahire, Shashank, Sahoo, Deepak and Subramanian, Sriram (2017) Chameleon devices: investigating more secure and discreet mobile interactions via active camouflaging. ACM CHI Conference on Human Factors in Computing Systems (CHI 2017), Colorado Convention Center, Denver, CO, USA, May 6-11, 2017. Published in: CHI '17 Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. 5184-5196. Association for Computing Machinery ISBN 9781450346559

Peebles, David and Cheng, Peter (2017) Multiple representations in cognitive architectures. AAAI 2017 fall symposium series, Arlington, Virginia, 9-11 November 2017. Published in: AAAI 2017 fall symposium series. 425-430. AAAI Press, Palo Alto, CA. ISBN 9781577357940

Pittera, Dario, Obrist, Marianna and Israr, Ali (2017) Hand-to-hand: an intermanual illusion of movement. 19th ACM International Conference on Multimodal Interaction, Glasgow, 13-17 November 2017. Published in: ICMI 2017 Proceedings of the 19th ACM International Conference on Multimodal Interaction. 73-81. ACM ISBN 9781450355438

Prabhu, Sumanth, Schrammel, Peter, Mandayam, Srivas, Tautschnig, Michael and Anand, Yeolekar (2017) Concurrent program verification with invariant-guided underapproximation. Fifteenth International Symposium on Automated Technology for Verification and Analysis, Pune, India, 3-6 October 2017. Published in: Automated Technology for Verification and Analysis. 241-248. Springer ISBN 9783319681665

Sahoo, Deepak Ranjan, Neate, Timothy, Tokuda, Yutaka, Pearson, Jennifer, Robinson, Simon, Subramanian, Sriram and Jones, Matt (2017) JDLED: towards visio-tactile displays based on electrochemical locomotion of liquid-metal Janus droplets. 30th Annual ACM Symposium on User Interface Software and Technology, Québec City, Canada, 22-25 October 2017. Published in: UIST '17 The 30th Annual ACM Symposium on User Interface Software and Technology. 67-69. ACM, New York, NY, USA. ISBN 9781450354196

Spelmezan, Daniel, Sahoo, Deepak and Subramanian, Sriram (2017) Sparkle: hover feedback with touchable electric arcs. Published in: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems (CHI 2017); Denver, CO, USA; 6-11 May 2016. 3705-3717. Association for Computing Machinery ISBN 9781450346559

Spiel, Katharina, Malinverni, Laura, Good, Judith and Frauenberger, Christopher (2017) Participatory evaluation with autistic children. CHI 2017 Conference on Human Factors in Computing Systems, Denver, Colorado, USA, May 06 - 11, 2017. Published in: CHI '17 Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. 5755-5766. Association for Computing Machinery ISBN 9781450346559

Tokuda, Yutaka, Berna Moya, Jose Luis, Memoli, Gianluca, Neate, Timothy, Ranjan Sahoo, Deepak, Robinson, Simon, Pearson, Jennifer, Jones, Matt and Subramanian, Sriram (2017) Programmable liquid matter: 2D shape deformation of highly conductive liquid metals in a dynamic electric field. ACM ISS' 17, Brighton, UK, Oct.17-20. Published in: Proceedings of the 2017 ACM on Interactive Surfaces and Spaces. 142-150. Association for Computing Machinery, New York. ISBN 9781450346917

Tokuda, Yutaka, Berna Moya, Jose Luis, Memoli, Gianluca, Neate, Timothy, Sahoo, Deepak Ranjan, Robinson, Simon, Pearson, Jennifer, Jones, Matt and Subramanian, Sriram (2017) Programmable liquid matter: 2D shape deformation of highly conductive liquid metals in a dynamic electric field. 2017 ACM International Conference on Interactive Surfaces and Spaces, Brighton, United Kingdom, 17-20 October 2017. Published in: Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces. 142-150. ACM, New York, NY, USA. ISBN 9781450346917

Tokuda, Yutaka, Berna Moya, Jose Luis, Memoli, Gianluca, Neate, Timothy, Sahoo, Deepak Ranjan, Robinson, Simon, Pearson, Jennifer, Jones, Matt and Subramanian, Sriram (2017) Programmable liquid matter: 2D shape drawing of liquid metals by dynamic electric field. 2017 ACM International Conference on Interactive Surfaces and Spaces, Brighton, United Kingdom, 17-20 October 2017. Published in: Proceedings of the 2017 ACM International Conference on Interactive Surfaces and Spaces. 454-457. ACM, New York, NY, USA. ISBN 9781450346917

Tokuda, Yutaka, Norasikin, Mohd Adili, Subramanian, Sriram and Martinez Plasencia, Diego (2017) MistForm: adaptive shape changing fog screens. Published in: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems; Denver, Colorado; 6-11 May 2017. 4383-4395. Association for Computing Machinery, New York. ISBN 978145034655

Vi, Chi Thanh, Ablart, Damien, Arthur, Daniel and Obrist, Marianna (2017) Gustatory interface: the challenges of ‘how’ to stimulate the sense of taste. The 2nd workshop on Multisensory approaches to human-food interaction, Glasgow, UK, 13-17 November 2017. Published in: Proceedings of 2nd ACM SIGCHI International Workshop on Multisensory Approaches to Human-Food Interaction (MHFI’17). 29-33. ACM ISBN 978145035556

Vi, Chi Thanh, Hornbaek, Kasper and Subramanian, Sriram (2017) Neuroanatomical correlates of perceived usability. ACM UIST, Québec City, QC, Canada., October 2017. Published in: Proceedings of the 30th Annual Symposium on User Interface Software and Technology (UIST '17). 519-532. ACM ISBN 9781450349819

Vi, Chi Thanh, Marzo, Asier, Ablart, Damien, Memoli, Gianluca, Subramanian, Sriram, Drinkwater, Bruce and Obrist, Marianna (2017) TastyFloats: a contactless food delivery system. Interactive Spaces and Surfaces, Brighton, 17 - 20, October 2017. Published in: ACM Interactive Surfaces and Spaces. 161-170. ACM, Brighton, UK. ISBN 97814503469

Walker, Christopher, Graham, Paul and Philippides, Andrew (2017) Using deep autoencoders to investigate image matching in visual navigation. Conference on Biomimetic and Biohybrid Systems. Published in: Biomimetic and Biohybrid Systems. Living Machines 2017. 10384 465-474. Springer, Cham ISSN 0302-9743 ISBN 9783319635378

Weeds, Julie, Kober, Thomas, Reffin, Jeremy and Weir, David (2017) When a red herring is not a red herring: using compositional methods to detect non-compositional phrases. Published in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics [Valencia, Spain, April 3-7, 2017]: Volume 2, Short Papers. 529-534. ISBN 9781945626357

Wilkie, John and Good, Judith (2017) Tica: an environment for exploring tangible vs. screen-based programming. 28th Annual Workshop of the Psychology of Programming Interest Group - PPIG 2017, Delft, The Netherlands, July 1 - 3, 2017. Published in: Church, Luke and Hermans, Felienne, (eds.) 28th Annual Workshop of the Psychology of Programming Interest Group - PPIG 2017 : Proceedings. 65-75. Psychology of Programming Interest Group

Yamakata, Yoko, Carroll, John and Mori, Shinsuke (2017) A comparison of cooking recipe named entities between Japanese and English. Published in: Proceedings of the 9th Workshop on Multimedia for Cooking and Eating Activities (CEA2017); Melbourne, Australia; 20 August 2017. 7-12. Association for Computing Machinery ISBN 9781450352673

Edited Book

Chrisley, Ron, Müller, Vincent C, Sandamirskaya, Yulia and Vincze, Markus, eds. (2017) Cognitive robot architectures: proceedings of EUCognition 2016. CEUR Workshop Proceedings, 1855 . CEUR-WS, Hamburg.

Edited Special Journal Issue

Obrist, Marianna, Ranasinghe, Nimesha and Spence, Charles, eds. (2017) [Editorial] Special issue: multisensory human-computer interaction. International Journal of Human-Computer Studies. ISSN 1071-5819

Thesis

Alghamdi, Saleh Abdulqader (2017) Key factors influencing the adoption and utilisation of E-Government systems and services in Saudi Arabia. Doctoral thesis (PhD), University of Sussex.

Calcraft, Paul Richard Thomas (2017) The evolution of group traits: modelling natural selection on trait prevalence within and between groups. Doctoral thesis (PhD), University of Sussex.

Chang, Acer Yu-Chan (2017) The role of predictive processing in conscious access and regularity learning across sensory domains. Doctoral thesis (PhD), University of Sussex.

Freed, Samuel (2017) A role for introspection in AI research. Doctoral thesis (PhD), University of Sussex.

Reveley, Colin (2017) Local structure and global connectivity in the cerebral cortex: neuroinformatics, histology and ultra high resolution diffusion MRI in the rhesus and marmoset monkey brain. Doctoral thesis (PhD), University of Sussex.

Savkov, Aleksandar Dimitrov (2017) Deciphering clinical text: concept recognition in primary care text notes. Doctoral thesis (PhD), University of Sussex.

Schartner, Michael Manfred (2017) On the relation between complex brain activity and consciousness. Doctoral thesis (PhD), University of Sussex.

Tee, Philip (2017) The role of graph entropy in fault localization and network evolution. Doctoral thesis (PhD), University of Sussex.

Yildirim, Merve (2017) Security and usability in password authentication. Doctoral thesis (PhD), University of Sussex.

Teaching Resource

Chatwin, Chris (2017) Aircraft, automotive & other products using polymer-matrix-reinforced plastics. [Teaching Resource]

Chatwin, Chris (2017) Design & manufacture of gas turbines for aircraft. [Teaching Resource]