Items for Informatics in 2015

Up a level
Export as [feed] RSS
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | W | Y
Number of items: 116.

A

Alghamdi, Saleh and Beloff, Natalia (2015) Virtual currency concept: its implementation, impacts and legislation. In: Science and Information Conference (SAI), 2015. IEEE, London, pp. 175-183. ISBN 9781479985470

B

Barnett, Lionel and Seth, Anil K (2015) Granger causality for state-space models. Physical Review E (PRE), 91 (4). a040101 1-5. ISSN 1539-3755

Barrett, Adam B (2015) Exploration of synergistic and redundant information sharing in static and dynamical Gaussian systems. Physical Review E, 91 (5). a052802. ISSN 1539-3755

Bashir, Shahnaz, Usoro, Abel and Khan, Imran (2015) Knowledge sharing in virtual communities: a comparison of three different cultures. International Journal of E-Business Development, 5 (1). pp. 12-20. ISSN 2225-7411

Bennett, James E M and Bair, Wyeth (2015) Refinement and Pattern Formation in Neural Circuits by the Interaction of Traveling Waves with Spike-Timing Dependent Plasticity. PLoS Computational Biology, 11 (8). e1004422 1-45. ISSN 1553-7358

Berger, Martin and Tratt, Laurie (2015) Program logics for homogeneous generative run-time meta-programming. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

Berthaut, Florent, Sahoo, Deepak, McIntosh, Jess, Das, Diptesh and Subramanian, Sriram (2015) Dynamir: optical manipulations using dynamic mirror brushes. In: Interactive Tabletops and Surfaces, November 15-18, 2015, Madeira, Portugal.

Bor, Daniel, Rothen, Nicolas, Schwartzman, David J, Clayton, Stephanie and Seth, Anil K (2015) Adults can be trained to acquire synesthetic experiences. Scientific Reports, 4 (1). a7089. ISSN 2045-2322

Bornmann, Peter, Hemsel, Tobias, Sextro, Walter, Memoli, Gianluca, Hodnett, Mark and Zeqiri, Bajram (2015) Kavitationsdetektion mittels self-sensing-ultraschallwandler. Technisches Messen, 82 (2). pp. 73-84. ISSN 0171-8096

Botcharova, Maria, Berthouze, Luc, Brookes, Matthew J, Barnes, Gareth R and Farmer, Simon F (2015) Resting state MEG oscillations show long-range temporal correlations of phase synchrony that break down during finger movement. Frontiers in Physiology, 6. p. 183. ISSN 1664-042X

Brain, Martin, Joshi, Saurabh, Kroening, Daniel and Schrammel, Peter (2015) Safety verification and refutation by k-invariants and k-induction. Static Analysis Symposium, SAS 2015, Saint-Maol, France, 9-11 September 2015. Published in: Blazy, Sandrine and Jensen, Thomas, (eds.) Static Analysis. SAS 2015. 9291 145-161. Springer ISSN 0302-9743 ISBN 9783662482872

Bratieres, Sebastien, Quadrianto, Novi and Ghahramani, Zoubin (2015) GPstruct: Bayesian structured prediction using Gaussian processes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (7). pp. 1514-1520. ISSN 0162-8828

Brunger, Louise, Smith, Adam, Re, Roberta, Wickham, Martin, Philippides, Andy, Watten, Phil and Yeomans, Martin (2015) Validation of an iPad visual analogue rating system for assessing appetite and satiety. Appetite, 84. pp. 259-263. ISSN 0195-6663

C

Cassell, Jackie A, Dodds, Julie, Estcourt, Claudia, Llewellyn, Carrie, Lanza, Stefania, Richens, John, Smith, Helen, Symonds, Merle, Copas, Andrew, Roberts, Tracy, Walters, Kate, White, Peter, Lowndes, Catherine, Mistry, Hema, Rossello-Roig, Melcior, Smith, Hilary and Rait, Greta (2015) The relative clinical effectiveness and cost-effectiveness of three contrasting approaches to partner notification for curable sexually transmitted infections: a cluster randomised trial in primary care. Health Technology Assessment, 19 (5). pp. 1-115. ISSN 1366-5278

Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter and Kroening, Daniel (2015) Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration. In: Blazy, Sandrine and Jensen, Thomas (eds.) Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Lecture notes in computer science (9291). Springer, pp. 312-331.

Chan, Ho Ka, Yang, Dong-ping and Zhou, Changsong (2015) Neural synaptic properties and conductance kinetics jointly influence how neurons process correlated input. In: 2015 International Symposium on Nonlinear Theory and its Applications.

Chang, Acer Y C, Kanai, Ryota and Seth, Anil K (2015) Cross-modal prediction changes the timing of conscious access during motion-induced blindness. Consciousness and Cognition, 31. pp. 139-147. ISSN 1053-8100

Chen, Xingyuan, Xia, Yunqing, Jin, Peng and Carroll, John (2015) Dataless text classification with descriptive LDA. 29th AAAI Conference on Artificial Intelligence (AAAI-15), Austin, Texas, USA, January 25–30, 2015. Published in: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. 3 2224-2231. Association for the Advancement of Artificial Intelligence Press ISBN 9781577357018

Cheng, Peter C-H (2015) Analyzing chunk pauses to measure mathematical competence: Copying equations using ‘centre-click’ interaction. In: Noelle, D C, Dale, R, Warlaumont, A S, Yoshimi, J and Matlock, J (eds.) Proceedings of the 37th Annual Conference of the Cognitive Science Society. Cognitive Science Society., Austin, TX, pp. 345-350. ISBN 9780991196722

Clarke, Daoud and Keller, Bill (2015) Efficiency in ambiguity: two models of probabilistic semantics for natural language. IWCS 2015: 11th International Conference on Computational Semantics, Queen Mary University, London, April 15 - 17, 2015. Published in: Proceedings of the 11th International Conference on Computational Semantics. 129-139. Association for Computational Linguistics, London, UK. ISBN 978-1-941643-33-4

D

Dezhdar, Tara, Moshourab, Rabih A, Fründ, Ingo, Lewin, Gary R and Schmuker, Michael (2015) A probabilistic model for estimating the depth and threshold temperature of C-fiber nociceptors. Scientific reports, 5. ISSN 2045-2322

Dungey, Sheena, Beloff, Natalia, Williams, Rachael, Williams, Tim, Puri, Shivani and Tate, Rosemary (2015) Characterisation of data quality in electronic healthcare records. In: Briassouli, Alexia, Benois-Pineau, Jenny and Hauptmann, Alexander (eds.) Health monitoring and personalised feedback using multimedia data. Springer International Publishing. ISBN 9783319179629

E

Eldridge, Alice (2015) [Reflection] Inside and outside shape. In: Music and shape. Studies in musical performance as creative practice . Oxford University Press, New York, pp. 165-169. ISBN 9780199351411

Eldridge, Alice (2015) You pretty little flocker: exploring the aesthetic state space of creative ecosystems. Artificial Life, 21 (3). pp. 289-292. ISSN 1064-5462

Eyecioglu, Asli and Keller, Bill (2015) ASOBEK: Twitter paraphrase identification with simple overlap features and SVMs. In: SemEval-2015: The 9th International Workshop on Semantic Evaluation: proceedings of SemEval-2015: June 4-5, 2016, Denver, Colorado, USA. Association for Computational Linguistics (ACL), Stroudsburg, PA, pp. 64-69. ISBN 9781941643402

F

Fatoorechi, M, Parkinson, J, Prance, R, Prance, H, Seth, A K and Schwartzman, D J (2015) A comparative study of electrical potential sensors and Ag/AgCl electrodes for characterising spontaneous and event related electroencephalagram signals. Journal of Neuroscience Methods, 251. pp. 7-16. ISSN 0165-0270

Fatoorechi, M, Schwartzman, D, Prance, H, Parkinson, J, Seth, A K and Prance, R J (2015) New directions in EEG measurement: an investigation into the fidelity of electrical potential sensor signals. Sensors & Transducers, 184 (1). pp. 101-107. ISSN 2306-8515

Fernandes, A Sofia D, Philippides, Andrew, Collett, Tom S and Niven, Jeremy E (2015) Acquisition and expression of memories of distance and direction in navigating wood ants. Journal of Experimental Biology, 218 (22). pp. 3580-3588. ISSN 0022-0949

Fodor, Mikael, Mirza-Babaei, Pejman and Good, Judith (2015) Agents and avatars: event based analysis of competitive differences. CHI Play 2015 The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, London, UK, October 3-5, 2015. Published in: Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. 511-516. Association for Computing Machinery ISBN 9781450334662

Frauenberger, Christopher, Good, Judith, Fitzpatrick, Geraldine and Iversen, Ole Sejer (2015) In pursuit of rigour and accountability in participatory design. International Journal of Human Computer Studies, 74. pp. 93-106. ISSN 1071-5819

G

Gaffin, Douglas D, Dewar, Alexander, Graham, Paul and Philippides, Andrew (2015) Insect-inspired navigation algorithm for an aerial agent using satellite imagery. PLoS ONE, 10 (4). e0122077. ISSN 1932-6203

García García, Grecia (2015) Improving and assessing students’ line graph interpretations: the case of the graph-as-picture interpretation. Doctoral thesis (PhD), University of Sussex.

Garfinkel, Sarah N, Seth, Anil K, Barrett, Adam B, Suzuki, Keisuke and Critchley, Hugo D (2015) Knowing your own heart: distinguishing interoceptive accuracy from interoceptive awareness. Biological Psychology, 104. pp. 65-74. ISSN 0301-0511

Gilardi, M, Holroyd, P, Newbury, P and Watten, P L (2015) Adapting the twelve principles of classic animation to lectures. In: Eurographics 2015, 4 - 8 May 2015, Zurich - Switzerland.

Gilardi, Marco (2015) A framework for local terrain deformation based on diffusion theory. Doctoral thesis (PhD), University of Sussex.

Gilardi, Marco, Holroyd, Patrick, Newbury, Paul and Watten, Phil (2015) The effects of video lecture delivery formats on student engagement. In: The Science and Information Conference 2015, 28-30 July 2015, London.

Good, Judith and Howland, Kate (2015) Natural language and programming: designing effective environments for novices. Visual Languages and Human Centric Computing, Atlanta, Georgia, USA, 18-22 Oct 2015. Published in: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). 73-77. Institute of Electrical and Electronics Engineers ISBN 978146737456-9

Grau, R R and Cheng, P C H (2015) Scientific discovery, computational models of. In: Wright, James D (ed.) International encyclopedia of the social & behavioral sciences. Elsevier, Oxford, pp. 291-296. ISBN 9780080970868

Grau, Ron (2015) Models and tools for the computational support of technology impact assessments, applied in the context of mass transportation. In: Gutwirth, Serge, Leenes, Ronald and de Hert, Paul (eds.) Reforming European data protection law. Law, Governance and Technology Series, 20 . Springer. ISBN 9789401793841

H

Harley, Dave, Howland, Kate, Harris, Eric and Redlich, Cara (2015) ‘Nearer to being characters in a book’: how older people make sense of online communities and social networking sites. In: 48th Hawaii International Conference on System Sciences, Kauai, Hawaii.

Hope, David Richard (2015) Graph-based approaches to word sense induction. Doctoral thesis (PhD), University of Sussex.

Howland, Kate and Good, Judith (2015) Learning to communicate computationally with Flip: a bi-modal programming language for game creation. Computers & Education, 80. pp. 224-240. ISSN 0360-1315

Howland, Kate, Good, Judith, Robertson, Judy and Manches, Andrew (2015) Every child a coder?: research challenges for a 5--18 programming curriculum. IDC'15 14th International Conference on Interaction Design and Children, Boston, MA, USA, June 21-24, 2015. Published in: IDC '15 Proceedings of the 14th International Conference on Interaction Design and Children. 470-473. Association for Computing Machinery ISBN 978-1-4503-3590-4

Howland, Kate, Good, Judith and du Boulay, Benedict (2015) Narrative support for young game designers’ writing. 14th International Conference on Interaction Design and Children, Boston, June 21-24 2015. Published in: IDC '15 Proceedings of the 14th International Conference on Interaction Design and Children. 178-187. Association for Computing Machinery ISBN 9781450335904

Hull, Alison (2015) Motivational and metacognitive feedback in an ITS: linking past states and experiences to current problems. Doctoral thesis (PhD), University of Sussex.

I

Irps, Thomas John Berend and Kanjirakkad, Vasudevan (2015) On the interaction between turbulence grids and boundary layers. In: Experimental fluid mechanics 2015, 17.11.2015 - 20.11.2015, Prague.

J

Jansen, Yvonn, Dragicevic, Pierre, Isenberg, Petra, Alexander, Jason, Karnik, Abhijit, Kildal, Johan, Subramanian, Sriram and Hornbæk, Kasper (2015) Opportunities and challenges for data physicalization. 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea, 18-23 April 2015. Published in: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. 3227-3236. ACM, New York, NY, USA. ISBN 9781450331456

Jeunet, Camille, N'Kaoua, Bernard, Subramanian, Sriram, Hachet, Martin and Lotte, Fabien (2015) Predicting mental imagery based BCI performance from personality, cognitive profile and neurophysiological patterns. PLoS ONE, 10 (12). e0143962. ISSN 1932-6203

Jeunet, Camille, Vi, Chi Thanh, Spelmezan, Daniel, N'Kaoua, Bernard, Lotte, Fabien and Subramanian, Sriram (2015) Continuous tactile feedback for motor-imagery based brain-computer interaction in a multitasking context. In: Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I. Lecture notes in computer science (9296). Springer International Publishing, pp. 488-505. ISBN 9783319227009

Johnson, Chris, Philippides, Andrew and Husbands, Philip (2015) Maze navigation and memory with physical reservoir computers. European Conference on Artificial Life 2015, York, UK, 20-24 July 2015. Published in: Andrews, Paul, Caves, Leo, Doursat, René, Hickinbotham, Simon, Polack, Fiona, Stepney, Susan, Taylor, Tim and Timmis, Joe, (eds.) Late Breaking Proceedings of the European Conference on Artificial Life 2015. 19-22. MIT Press

K

Khaliq, Bilal (2015) Unsupervised learning of Arabic non-concatenative morphology. Doctoral thesis (PhD), University of Sussex.

Khan, Imran, Usoro, Abel and Lal, Sage (2015) The missing element of knowledge management: social computing. Journal of E-Technology, 6 (4). pp. 99-109. ISSN 0976-3503

Kheirkhah, Morteza, Wakeman, Ian and Parisis, George (2015) Short vs. long flows: a battle that both can win. Published in: Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication; London, UK; 17-21 August 2015. 45 (4) 349-350. Association for Computing Machinery ISBN 9781450335423

Kober, Thomas and Weir, David (2015) Optimising agile social media analysis. In: 6th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis (WASSA 2015), 17th September 2015, Lisbon.

Krishna, Renan (2015) Constructing runtime models with bigraphs to address ubiquitous computing service composition volatility. Doctoral thesis (PhD), University of Sussex.

Kroening, Daniel, Liang, Lihao, Melham, Tom, Schrammel, Peter and Tautschnig, Michael (2015) Effective verification of low-level software with nested interrupts. In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition. ACM, pp. 229-234. ISBN 9783981537048

Krusteva, Diana, Sahoo, Deepak Ranjan, Marzo, Asier, Subramanian, Sriram and Coyle, David (2015) Marionette: a multi-finger tilt feedback device for curvatures and haptic images perception. In: Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 18-23 April 2015, Seoul, Korea.

L

Light, Ann (2015) Troubling futures: can participatory design research provide a generative anthropology for the 21st century? Interaction Design and Architecture(s), 26. pp. 81-94. ISSN 1826-9745

Light, Ann, Brereton, Margot and Roe, Paul (2015) Some Notes on the Design of “World Machines”. Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction. pp. 289-293.

Light, Ann, Leong, Tuck W and Robertson, Toni (2015) Ageing well with CSCW. ECSCW 2015: Proceedings of the 14th European conference on computer-supported cooperative work. pp. 295-304.

Light, Ann and Miskelly, Clodagh (2015) Sharing economy vs sharing cultures? Designing for social, economic and environmental good. Interaction Design and Architecture(s), 24 (Spring). pp. 49-62. ISSN 1826-9745

Loader, Paul (2015) Marx and enactivism. Intellectica, 63. pp. 65-92. ISSN 0769-4113

M

Maggioni, Emanuela, Risso, Paola, Olivero, Nadia and Gallace, Alberto (2015) The effect of a container's weight on the perception of mineral water. Journal of Sensory Studies, 30 (5). pp. 395-403. ISSN 0887-8250

Mahoney, Colin J, Simpson, Ivor J A, Nicholas, Jennifer M, Fletcher, Phillip D, Downey, Laura E, Golden, Hannah L, Clark, Camilla N, Schmitz, Nicole, Rohrer, Jonathan D, Schott, Jonathan M, Zhang, Hui, Ourselin, Sebastian, Warren, Jason D and Fox, Nick C (2015) Longitudinal diffusion tensor imaging in frontotemporal dementia. Annals of Neurology, 77 (1). pp. 33-46. ISSN 1531-8249

Martin, Eleanor (2015) It's a team game: exploring factors that influence team experience. Doctoral thesis (PhD), University of Sussex.

Martin, Eleanor and Good, Judith (2015) Strategy, team cohesion and team member satisfaction: the effects of gender and group composition. Computers in Human Behavior, 53. pp. 536-543. ISSN 0747-5632

Marzo, Asier, McGeehan, Richard, McIntosh, Jess, Seah, Sue Ann and Subramanian, Sriram (2015) Ghost touch: turning surfaces into interactive tangible canvases with focused ultrasound. In: Interactive Tabletops and Surfaces, November 15-18, 2015, Madeira, Portugal.

Marzo, Asier, Seah, Sue Ann, Drinkwater, Bruce W, Sahoo, Deepak Ranjan, Long, Benjamin and Subramanian, Sriram (2015) Holographic acoustic elements for manipulation of levitated objects. Nature Communications, 6 (8661). pp. 1-7. ISSN 2041-1723

Matthews, Danny (2015) MediateSpace: applying contextual mediation to the tuple space paradigm. Doctoral thesis (PhD), University of Sussex.

Mavromihelaki, Evangelia, Eccles, Jessica, Harrison, Neil, Grice-Jackson, Thomas, Ward, Jamie, Critchley, Hugo and Mania, Katerina (2015) Cyberball3D+: a 3D serious game for fMRI investigating social exclusion and empathy. Valletta, Malta, 9 - 12 September 2014. Published in: Camilleri, Vanessa, Dingli, Alexei and Montebello, Matthew, (eds.) 2014 6th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games). 1-8. Institute of Electrical and Electronic Engineers ISBN 9781479940561

Mousas, Christos (2015) Data-driven techniques for animating virtual characters. Doctoral thesis (PhD), University of Sussex.

Mundy, Andrew, Knight, James, Stewart, Terrence C and Furber, Steve (2015) An efficient SpiNNaker implementation of the Neural Engineering Framework. Published in: Proceedings of the 2015 International Joint Conference on Neural Networks (IJCNN); Killarney, Ireland; 12-17 July 2015. 1-8. Institute of Electrical and Electronics Engineers ISSN 2161-4393 ISBN 9781479919611

N

Nee, Claire, White, Martin, Woolford, Kirk, Pascu, Tudor, Barker, Leon and Wainwright, Lucy (2015) New methods for examining expertise in burglars in natural and simulated environments: preliminary findings. Psychology, Crime & Law, 21 (5). pp. 507-513. ISSN 1068-316X

Nowotny, Thomas, Turner, James and Yavuz, Esin (2015) More flexibility for code generation with GeNN v2.1. In: CNS 2015, 18-23 July 2015, Prague, Czech Republic.

O

Obaidellah, U H and Cheng, P C-H (2015) The role of chunking in drawing Rey complex figure. Perceptual & Motor Skills, 120 (2). pp. 535-555. ISSN 0031-5125

Overbury, Peter and Berthouze, Luc (2015) Using novelty-biased GA to sample diversity in graphs satisfying constraints. 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, 11-15th July 2015. Published in: Gecco Companion 2015. 1445-1446. ACM, New York, NY. ISBN 9781450334884

O’Shea, Michael, Husbands, Phil and Philippides, Andy (2015) Nitric oxide neuromodulation. In: Jaeger, Dieter and Jung, Ranu (eds.) Encyclopedia of Computational Neuroscience. Springer New York, pp. 2087-2100. ISBN 9781461466758

P

Parkinson, Jim and Haggard, Patrick (2015) Choosing to stop: responses evoked by externally triggered and internally generated inhibition identify a neural mechanism of will. Journal of Cognitive Neuroscience, 27 (10). pp. 1948-1956. ISSN 0898-929X

Parpia, Pasha (2015) Neural plasticity and the limits of scientific knowledge. Doctoral thesis (PhD), University of Sussex.

Parsons, Sarah, Yuill, Nicola, Brosnan, Mark and Good, Judith (2015) Innovative technologies for autism: critical reflections on digital bubbles. Journal of Assistive Technologies, 9 (2). pp. 116-121. ISSN 1754-9450

Pascu, Tudor (2015) An inertial motion capture framework for constructing body sensor networks. Doctoral thesis (PhD), University of Sussex.

Phng, Li-Kun, Gebala, Véronique, Bentley, Katie, Philippides, Andrew, Wacker, Andrin, Mathivet, Thomas, Sauteur, Loïc, Stanchi, Fabio, Belting, Heinz-Georg, Affolter, Markus and Gerhardt, Holger (2015) Formin-mediated actin polymerization at endothelial junctions is required for vessel lumen formation and stabilization. Developmental Cell, 32 (1). pp. 123-132. ISSN 1534-5807

Pinto, Yair, van Gaal, Simon, de Lange, Floris P, Lamme, Victor A F and Seth, Anil K (2015) Expectations accelerate entry of visual stimuli into awareness. Journal of Vision, 15 (8). a13. ISSN 1534-7362

Prat-Camps, Jordi, Navau, Carles and Sanchez, Alvaro (2015) A magnetic wormhole. Scientific Reports, 5 (12488). pp. 1-5. ISSN 2045-2322

Prat-Camps, Jordi, Navau, Carles, Sanchez, Alvaro and Chen, Du-Xing (2015) Demagnetizing factors for a hollow sphere. IEEE Magnetics Letters, 7 (130010). pp. 1-4. ISSN 1949-307X

Prokopenko, Mikhail, Barnett, Lionel, Harré, Michael, Lizier, Joseph T., Obst, Oliver and Wang, X. Rosalind (2015) Fisher transfer entropy: quantifying the gain in transient sensitivity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Science, 471 (2184). p. 20150610. ISSN 1364-5021

Q

Quadrianto, Novi and Ghahramani, Zoubin (2015) A very simple safe-Bayesian random forest. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (6). pp. 1297-1303. ISSN 0162-8828

R

Rendon-Morales, Elizabeth, Prance, Robert, Prance, Helen and Aviles-Espinosa, Rodrigo (2015) Non-invasive electrocardiogram detection of in vivo zebrafish embryos using electric potential sensors. Applied Physics Letters, 107 (19). a193701 1-4. ISSN 0003-6951

Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Reveley, Colin, Seth, Anil K, Pierpaoli, Carlo, Silva, Afonso C, Yu, David, Saunders, Richard C, Leopold, David and Ye, Frank Q (2015) Superficial white matter fiber systems impede detection of long-range cortical connections in diffusion MR tractography. Proceedings of the National Academy of Sciences of the United States of America PNAS, 112 (21). E2820-E2828. ISSN 1091-6490

Risso, Paola, Maggioni, Emanuela, Olivero, Nadia and Gallace, Alberto (2015) The association between the colour of a container and the liquid inside: an experimental study on consumers’ perception, expectations and choices regarding mineral water. Food Quality and Preference, 44. 17 - 25. ISSN 0950-3293

Roberts, Terri, Staras, Kevin, Husbands, Philip and Philippides, Andrew (2015) Entraining and copying of temporal correlations in dissociated cultured neurons. Published in: Biomimetic and Biohybrid Systems. Living Machines 2015. 9222 223-226. Springer, Cham ISSN 0302-9743 ISBN 9783319229782

Roseboom, Warrick, Linares, Daniel and Nishida, Shin'ya (2015) Sensory adaptation for timing perception. Proceedings of the Royal Society B: Biological Sciences, 282 (1805). p. 20142833. ISSN 0962-8452

S

Sahoo, Deepak Ranjan, Martinez Plasencia, Diego and Subramanian, Sriram (2015) Control of non-solid diffusers by electrostatic charging. CHI 2015 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Korea, April 18-23, 2015. Published in: CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. 11-14. Association for Computing Machinery ISBN 9781450331456

Sato, Shinya (2015) Design and implementation of a low-level language for interaction nets. Doctoral thesis (PhD), University of Sussex.

Schartner, Michael, Seth, Anil, Noirhomme, Quentin, Boly, Melanie, Bruno, Marie-Aurelie, Laureys, Steven and Barrett, Adam (2015) Complexity of multi-dimensional spontaneous EEG decreases during propofol induced general anaesthesia. PLoS ONE, 10 (8). e0133532 1-21. ISSN 1932-6203

Schrammel, Peter (2015) Unbounded-time reachability analysis of hybrid systems by abstract acceleration. In: Proceedings of the 12th International Conference on Embedded Software. IEEE, Piscataway, NJ, pp. 51-54. ISBN 9781467380799

Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2015) Successful use of incremental BMC in the automotive industry. In: Núñez, Manuel and Güdemann, Matthias (eds.) Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Lecture notes in computer science (9128). Springer, pp. 62-77.

Seah, Sue Ann, Obrist, Marianna, Roudant, Anne and Subramanian, Sriram (2015) Need for touch in human space exploration: towards the design of a morphing haptic glove – ExoSkin. In: INTERACT 2015, IFIP TC 13 International Conference, September 14-18, 2015, Bamberg, Germany.

Seth, Anil K (2015) Neural coding: rate and time codes work together. Current Biology, 25 (3). pp. 357-363. ISSN 0960-9822

Seth, Anil K (2015) Presence, objecthood, and the phenomenology of predictive perception. Cognitive neuroscience, 6 (2-3). pp. 111-117. ISSN 1758-8928

Seth, Anil K (2015) The cybernetic Bayesian brain: from interoceptive inference to sensorimotor contingencies. In: Metzinger, Thomas K and Windt, Jennifer M (eds.) Open MIND. MIND Group, Frankfurt am Main, pp. 1-24. ISBN 9783958571020

Seth, Anil K, Barrett, Adam B and Barnett, Lionel (2015) Granger causality analysis in neuroscience and neuroimaging. Journal of Neuroscience, 35 (8). pp. 3293-3297. ISSN 0270-6474

Sherman, M T, Seth, A K, Barrett, A B and Kanai, R (2015) Prior expectations facilitate metacognition for perceptual decision. Consciousness and Cognition, 35. pp. 53-65. ISSN 1053-8100

Sherman, Maxine, Barrett, Adam and Kanai, Ryota (2015) Inferences about consciousness using subjective reports of confidence. In: Overgaard, Morten (ed.) Behavioral Methods in Consciousness Research. Oxford University Press, Oxford, UK. ISBN 9780199688890

Shim, Yoonsik and Husbands, Phil (2015) Incremental embodied chaotic exploration of self-organized motor behaviors with proprioceptor adaptation. Frontiers in Robotics and AI, 2 (a7). pp. 1-20. ISSN 2296-9144

Simpson, I J A, Cardoso, M J, Modat, M, Cash, D M, Woolrich, M W, Andersson, J L R, Schnabel, J A and Ourselin, S (2015) Probabilistic non-linear registration with spatially adaptive regularisation. Medical Image Analysis, 26 (1). pp. 203-216. ISSN 1361-8415

T

Templeton, Anne, Drury, John and Philippides, Andrew (2015) From mindless masses to small groups: Conceptualizing collective behavior in crowd modeling. Review of General Psychology, 19 (3). pp. 215-229. ISSN 1089-2680

Thorniley, James (2015) Information transfer and causality in the sensorimotor loop. Doctoral thesis (PhD), University of Sussex.

Torrance, Steve and Chrisley, Ron (2015) Modelling consciousness-dependent expertise in machine medical moral agents. In: Machine medical ethics. Intelligent systems, control and automation: science and engineering (74). Springer International Publishing, pp. 291-316. ISBN 9783319081076

Turner, James P and Nowotny, Thomas (2015) Estimating numerical error in neural network simulations on Graphics Processing Units. In: CNS 2015, 18-23 July 2015, Prague, Czech Republic.

W

Wang, Lian, Memoli, Gianluca, Hodnett, Mark, Butterworth, Ian, Sarno, Dan and Zeqiri, Bajram (2015) Towards a reference cavitating vessel Part III: design and acoustic pressure characterization of a multi-frequency sonoreactor. Metrologia, 52 (4). p. 575. ISSN 0026-1394

Wang, Lian, Memoli, Gianluca, Hodnett, Mark and Zeqiri, Bajram (2015) Dynamic behaviour of laser nucleated bubbles in a focused ultrasound field. 2015 IEEE International Ultrasonics Symposium, Taipei, Taiwan, 21-24 October 2015. Published in: 2015 IEEE International Ultrasonics Symposium (IUS). 1-4. Institute of Electrical and Electronics Engineers

Watten, Phil, Gilardi, Marco, Holroyd, Patrick and Newbury, Paul (2015) MAVIS: Mobile Acquisition and VISualization - a professional tool for video recording on a mobile platform. SIGGRAPH Asia 2015, Kobe, Japan, 2-5 November 2015. Published in: ACM Transactions on Graphics: Proceedings of ACM SIGGRAPH Asia 2015. 34 (6) Association for Computing Machinery (ACM), New York, NY. ISSN 0730-0301

Y

Yavuz, Esin, Maul, Pascale and Nowotny, Thomas (2015) Spiking neural network model of reinforcement learning in the honeybee implemented on the GPU. In: CNS 2015, 18-23 July 2015, Prague, Czech Republic.

Yavuz, Esin, Turner, James and Nowotny, Thomas (2015) GeNN: a code generation framework for accelerated brain simulations. Scientific Reports, 6. p. 18854. ISSN 2045-2322

This list was generated on Sun Jun 20 01:48:00 2021 BST.