Publications
- Probabilistic Type Theory and Natural Language Semantics
Cooper R, Dobnik S, Lappin S and Larsson S
Linguistic Issues in Language Technology, University of Colorado At Boulder vol. 10
01-11-2015 - Towards a Formalization of System Requirements for an Integrated Clinical Environment
Cinzia Bernardeschi PM
5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". Editors: Alomainy A, Whittow W, Hao Y, Nikita KS and Parini CG.
01-10-2015 - Robot Comedy Lab: experimenting with the social dynamics of live performance
Katevas K, Healey PGT and Harris MT
Frontiers in Psychology, Frontiers vol. 6
25-08-2015 - Brain MR Image Denoising for Rician Noise Using Intrinsic Geometrical Information
Soyel H, Yurtkan K, Demirel H and McOwan PW
Lecture Notes in Electrical Engineering. vol. 363, 275-284.
04-08-2015 - Shifting Opinions: Experiments on Agreement and Disagreement in Dialogue
Concannon S, Healey P and Purver M
19th SemDial Workshop on the Semantics and Pragmatics of Dialogue (goDIAL) Gothenberg, Sweden 24 Aug 2015 - 26 Aug 2015., 15-23.
01-08-2015 - Taking a Stance: a Corpus Study of Reported Speech
Concannon S, Healey PGT and Purver M
19th SemDial Workshop on the Semantics and Pragmatics of Dialogue (goDIAL) Gothenburg, Sweden 23 Aug 2015 - 25 Aug 2015., 6-14.
01-08-2015 - PVSio-web 2.0: Joining PVS to HCI
Masci P, Oladimeji P, Zhang Y, Jones P, Curzon P and Thimbleby H
Computer Aided Verification: 27th International Conference, CAV2015, Proceedings, Part I. vol. 9206, 470-478.
01-07-2015 - Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments
Masci P, Curzon P, Mallozzi P, Angelis FLD and Serugendo GDM
Proceedings of Verisure2015, Workshop on Verification and Assurance, co-located with CAV2015.
01-07-2015 - Layers, resources and property templates in the specification and analysis of two interactive systems
Campos JC, Curzon P, Harrison MD and Masci P
1st Workshop on Formal Methods in Human Computer Interaction (FoMHCI), co-located with EICS2015.
01-06-2015 - The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
Masci P, Rukšėnas R, Oladimeji P, Cauchi A, Gimblett A, Li Y, Curzon P and Thimbleby H
Innovations in Systems and Software Engineering, Springer-Verlag New York vol. 11 (2), 73-93.
01-06-2015 - Collective Contexts in Conversation: Grounding by Proxy
Eshghi A and Healey PGT
Cognitive Science, Wiley vol. 40 (2), 299-324.
12-05-2015 - Entropy Driven Feature Selection for Facial Expression Recognition Based on 3-D Facial Feature Distances
Yurtkan K, Soyel H and Demîrel H
2015 23nd Signal Processing and Communications Applications Conference (SIU)., 2322-2325.
01-05-2015 - 12 Way Mirror
Theodorou L and Healey PGT
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems., 647-654.
18-04-2015 - Ideas in Dialogue: The Effects of Interaction on Creative Problem Solving
Howes C, Healey PGT, Panzarasa P and Hills T
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015., 938-943.
01-01-2015 - Unsupervised Prediction of Acceptability Judgements
Lau JH, Clark A and Lappin S
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers)., 1618-1628.
01-01-2015 - When words fail: Collaborative gestures during clarification dialogues
Healey PGT, Plant N, Howes C and Lavelle M
AAAI Spring Symposium - Technical Report. vol. SS-15-07, 23-29.
01-01-2015