Nine questions for HCI researchers in the making
(2016)
Journal Article
Bødker, S., Hornbaek, K., Oulasvirta, A., & Reeves, S. (2016). Nine questions for HCI researchers in the making. https://doi.org/10.1145/2949686
All Outputs (191)
Harnessing the digital records of everyday things (2016)
Presentation / Conference Contribution
Darzentas, D., Hazzard, A., Brown, M., Flintham, M., & Benford, S. (2016). Harnessing the digital records of everyday things.We address how, framed by the Internet of Things, digitally-enabled physical objects may acquire rich digital records throughout their lifetimes, and how these might enhance their value, meaning and utility. We reflect on emerging findings from two c... Read More about Harnessing the digital records of everyday things.
Normalisation by evaluation for dependent types (2016)
Presentation / Conference Contribution
Altenkirch, T., & Kaposi, A. (2016). Normalisation by evaluation for dependent types.We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated using internal type theory using quotient inductive types. We use a typed presentation hence there are no preterms or realiz... Read More about Normalisation by evaluation for dependent types.
KI67 and DLX2 predict increased risk of metastasis formation in prostate cancer: a targeted molecular approach (2016)
Journal Article
Green, W. J., Ball, G., Hulman, G., Johnson, C., Van Schalwyk, G., Ratan, H. L., …Powe, D. G. (in press). KI67 and DLX2 predict increased risk of metastasis formation in prostate cancer: a targeted molecular approach. British Journal of Cancer, https://doi.org/10.1038/bjc.2016.169Background:There remains a need to identify and validate biomarkers for predicting prostate cancer (CaP) outcomes using robust and routinely available pathology techniques to identify men at most risk of premature death due to prostate cancer. Previo... Read More about KI67 and DLX2 predict increased risk of metastasis formation in prostate cancer: a targeted molecular approach.
How does Parelli measure up? (poster) (2016)
Presentation / Conference Contribution
North, S., Hemingway, A., McLean, A., Laurie, H., & Ellis-Hill, C. (2016). How does Parelli measure up? (poster).Poster presented at 12th International Society for Equitation Science Conference (ISES2016) to accompany:
Steve North, Ann Hemingway, Andrew McLean, Harriet Laurie and Caroline Ellis-Hill. 2016. Evaluating a natural horsemanship program in relation... Read More about How does Parelli measure up? (poster).
Evaluating a natural horsemanship program in relation to the ISES first principles of horse training (2016)
Presentation / Conference Contribution
North, S., Hemingway, A., McLean, A., Harriet, L., & Caroline, E.-H. (2016). Evaluating a natural horsemanship program in relation to the ISES first principles of horse training. In Proceedings of The 12th International Society for Equitation Science Conference (ISES2016. https://doi.org/10.5281/zenodo.54733The ISES training principles provide an excellent starting point for professionals and horse owners. Currently, there does not seem to be an accepted protocol for evaluating horse training programs against the ISES principles. We suggest an approach... Read More about Evaluating a natural horsemanship program in relation to the ISES first principles of horse training.
Verifying systems of resource-bounded agents (2016)
Journal Article
Alechina, N., & Logan, B. (2016). Verifying systems of resource-bounded agents. Lecture Notes in Artificial Intelligence, 9709, 3-12. https://doi.org/10.1007/978-3-319-40189-8_1Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions... Read More about Verifying systems of resource-bounded agents.
kNN-IS: an iterative spark-based design of the k-nearest neighbors classifier for big data (2016)
Journal Article
Maillo, J., Ramirez, S., Triguero, I., & Herrera, F. (2017). kNN-IS: an iterative spark-based design of the k-nearest neighbors classifier for big data. Knowledge-Based Systems, 117, 3-15. https://doi.org/10.1016/j.knosys.2016.06.012The k-Nearest Neighbors classifier is a simple yet effective widely renowned method in data mining. The actual application of this model in the big data domain is not feasible due to time and memory restrictions. Several distributed alternatives base... Read More about kNN-IS: an iterative spark-based design of the k-nearest neighbors classifier for big data.
Affect theory and autoethnography in ordinary information systems (2016)
Presentation / Conference Contribution
Bødker, M., & Chamberlain, A. (2016). Affect theory and autoethnography in ordinary information systems.This paper uses philosophical theories of affect as a lens for exploring autoethnographic renderings of everyday experience with information technology. Affect theories, in the paper, denote a broad trend in post-humanistic philosophy that explores s... Read More about Affect theory and autoethnography in ordinary information systems.
Ghosts! A location-based Bluetooth LE mobile game for museum exploration (2016)
Book Chapter
Nilsson, T., Blackwell, A. F., Hogsden, C., & Scruton, D. (2016). Ghosts! A location-based Bluetooth LE mobile game for museum exploration. In L. Joyce, & B. Quinn (Eds.), Mapping the digital: cultures and territories of play. Inter-Disciplinary PressBLE (Bluetooth Low Energy) is a new wireless communication technology that, thanks to reduced power consumption, promises to facilitate communication between computing devices and help us harness their power in environments and contexts previously un... Read More about Ghosts! A location-based Bluetooth LE mobile game for museum exploration.
Fuzzy integral for rule aggregation in fuzzy inference systems (2016)
Journal Article
Tomlin, L., Anderson, D. T., Wagner, C., Havens, T. C., & Keller, J. M. (in press). Fuzzy integral for rule aggregation in fuzzy inference systems. Communications in Computer and Information Science, 610, https://doi.org/10.1007/978-3-319-40596-4_8The fuzzy inference system (FIS) has been tuned and re-vamped many times over and applied to numerous domains. New and improved techniques have been presented for fuzzification, implication, rule composition and defuzzification, leaving one key compo... Read More about Fuzzy integral for rule aggregation in fuzzy inference systems.
Exploring large-scale interactive public illustrations (2016)
Presentation / Conference Contribution
Thorn, E.-C., Rennick-Egglestone, S., Koleva, B., Preston, W., Benford, S., Quinn, A., & Mortier, R. (2016). Exploring large-scale interactive public illustrations. . https://doi.org/10.1145/2901790.2901826We present a research-through-design exploration of transforming large-scale public illustrations into interactive media. We collaborated with creative practitioners to extend an existing visual marker technology to support spatial and layered inter... Read More about Exploring large-scale interactive public illustrations.
An automatic tool for quantification of nerve fibers in corneal confocal microscopy images (2016)
Journal Article
Chen, X., Graham, J., Dabbah, M., Petropoulos, I. N., Tavakoli, M., & Malik, R. (2016). An automatic tool for quantification of nerve fibers in corneal confocal microscopy images. IEEE Transactions on Biomedical Engineering, 64(4), 786-794. https://doi.org/10.1109/TBME.2016.2573642Objective: We describe and evaluate an automated software tool for nerve-fiber detection and quantification in corneal confocal microscopy (CCM) images, combining sensitive nerve- fiber detection with morphological descriptors. Method: We have evalua... Read More about An automatic tool for quantification of nerve fibers in corneal confocal microscopy images.
Unsupervised labelling of sequential data for location identification in indoor environments (2016)
Journal Article
Pérez López, I., Pinchin, J., Brown, M., Blum, J., & Sharples, S. (in press). Unsupervised labelling of sequential data for location identification in indoor environments. Expert Systems with Applications, https://doi.org/10.1016/j.eswa.2016.06.003In this paper we present indoor positioning within unknown environments as an unsupervised labelling task on sequential data. We explore a probabilistic framework relying on wireless network radio signals and contextual information, which is increasi... Read More about Unsupervised labelling of sequential data for location identification in indoor environments.
Written evidence submitted by Dr Ansgar Koene, Senior Research Fellow, Horizon Digital Economy Research Institute, University of Nottingham (DIG0029) (2016)
Other
Koene, A. (2016). Written evidence submitted by Dr Ansgar Koene, Senior Research Fellow, Horizon Digital Economy Research Institute, University of Nottingham (DIG0029)
Type-2 fuzzy alpha-cuts (2016)
Journal Article
Hamrawi, H., Coupland, S., & John, R. (2017). Type-2 fuzzy alpha-cuts. IEEE Transactions on Fuzzy Systems, 25(3), https://doi.org/10.1109/TFUZZ.2016.2574914Type-2 fuzzy logic systems make use of type-2 fuzzy sets. To be able to deliver useful type-2 fuzzy logic applications we need to be able to perform meaningful operations on these sets. These operations should also be practically tractable. However,... Read More about Type-2 fuzzy alpha-cuts.
The importance of considering pushback time and arrivals when routing departures on the ground at airports (2016)
Presentation / Conference Contribution
Stergianos, C., Atkin, J., Schittekat, P., Nordlander, T. E., Gerada, C., & Morvan, H. (in press). The importance of considering pushback time and arrivals when routing departures on the ground at airports.With the constant increase in air traffic, airports are facing capacity problems. Many airports are increasingly interested in utilising optimisation methods for specific airport processes. However, many such processes do happen in parallel, and maxi... Read More about The importance of considering pushback time and arrivals when routing departures on the ground at airports.
Hybridising local search with Branch-and-Bound for constrained portfolio selection problems (2016)
Presentation / Conference Contribution
He, F., & Qu, R. (2016). Hybridising local search with Branch-and-Bound for constrained portfolio selection problems.In this paper, we investigate a constrained portfolio selection problem with cardinality constraint, minimum size and position constraints, and non-convex transaction cost. A hybrid method named Local Search Branch-and-Bound (LS-B&B) which integrates... Read More about Hybridising local search with Branch-and-Bound for constrained portfolio selection problems.
On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces (2016)
Journal Article
Benford, S., Calder, M., Rodden, T., & Sevegnani, M. (2016). On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces. ACM Transactions on Computer-Human Interaction, 23(2), Article 9. https://doi.org/10.1145/2882784© 2016 ACM. While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual natu... Read More about On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces.
Cognitive privacy for personal clouds (2016)
Journal Article
Radenkovic, M. (2016). Cognitive privacy for personal clouds. Mobile Information Systems, 2016, 1-17. https://doi.org/10.1155/2016/7107103This paper proposes a novel Cognitive Privacy (CogPriv) framework that improves privacy of data sharing between Personal Clouds for different application types and across heterogeneous networks. Depending on the behaviour of neighbouring network node... Read More about Cognitive privacy for personal clouds.