Skip to main content

Research Repository

Advanced Search

All Outputs (2083)

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
Presentation / Conference Contribution
Vazou, N., Breitner, J., Kunkel, R., Van Horn, D., & Hutton, G. (2018, September). Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). Presented at ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming, St. Louis MO USA

Equational reasoning is one of the key features of pure functional languages such as Haskell. To date, however, such reasoning always took place externally to Haskell, either manually on paper, or mechanised in a theorem prover. This article shows ho... Read More about Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).

Position Paper: The Usefulness of Data-driven, Intelligent Agent-Based Modelling for Transport Infrastructure Management
Presentation / Conference Contribution
Faboya, O., Figueredo, G. P., Ryan, B., & Siebers, P.-O. (2018, November). Position Paper: The Usefulness of Data-driven, Intelligent Agent-Based Modelling for Transport Infrastructure Management. Presented at The 21st IEEE International Conference on Intelligent Transportation Systems, Maui, Hawaii, USA

The uneven utilisation of modes of transport has a big impact on traffic in transport pathway infrastrutures. For motor vehicles for instance, this situation explains rapid road deterioration and the large amounts of money invested in maintenance and... Read More about Position Paper: The Usefulness of Data-driven, Intelligent Agent-Based Modelling for Transport Infrastructure Management.

An AI-based design framework to support musicians' practices
Presentation / Conference Contribution
Martinez-Avila, J., Hazzard, A., Chamberlain, A., Greenhalgh, C., & Benford, S. (2018, September). An AI-based design framework to support musicians' practices. Presented at Audio Mostly 2018: Sound in Immersion and Emotion, Wrexham, UK

The practice of working musicians extends beyond the act of performing musical works at a concert. Rather, a significant degree of individual and collaborative preparation is necessitated prior to the moment of presentation to an audience. Increasing... Read More about An AI-based design framework to support musicians' practices.

More than Liking and Bookmarking? Towards Understanding Twitter Favouriting Behaviour
Presentation / Conference Contribution
Meier, F., Elsweiler, D., & Wilson, M. L. (2014, June). More than Liking and Bookmarking? Towards Understanding Twitter Favouriting Behaviour. Presented at Proceedings of the Eighth International AAAI Conference on Weblogs and Social Media, Ann Arbor, MI, USA

Microblogging services, such as Twitter, offer a variety of interactive features that allow users to engage with contacts in their social network and the content they produce. One such feature is the favourite button on Twitter, an icon in the form o... Read More about More than Liking and Bookmarking? Towards Understanding Twitter Favouriting Behaviour.

Implementation and experimental validation of Dynamic Movement Primitives for object handover
Presentation / Conference Contribution
Prada, M., Koene, A., Remazeilles, A., & Endo, S. Implementation and experimental validation of Dynamic Movement Primitives for object handover. Presented at 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014), Chicago, IL, USA

This article presents the implementation and experimental validation of a control system dedicated to human robot physical interaction during object handovers. Our control law defines the trajectory of the robotic arm towards a previously unknown han... Read More about Implementation and experimental validation of Dynamic Movement Primitives for object handover.

Mixed-Initiative Approaches to Global Editing in Slideware
Presentation / Conference Contribution
Edge, D., Milic-Frayling, N., Gulwani, S., Raza, M., Adhitya Saputra, R., Wang, C., & Yatani, K. (2018, November). Mixed-Initiative Approaches to Global Editing in Slideware. Presented at CHI '15: the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea

© Copyright 2015 ACM. Good alignment and repetition of objects across presentation slides can facilitate visual processing and contribute to audience understanding. However, creating and maintaining such consistency during slide design is difficult.... Read More about Mixed-Initiative Approaches to Global Editing in Slideware.

Programming by Example Using Least General Generalizations
Presentation / Conference Contribution
Raza, M., Gulwani, S., & Milic-Frayling, N. (2014, July). Programming by Example Using Least General Generalizations. Presented at Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), Québec City, Québec, Canada

Recent advances in Programming by Example (PBE) have supported new applications to text editing, but existing approaches are limited to simple text strings. In this paper we address transformations in richly formatted documents, using an approach bas... Read More about Programming by Example Using Least General Generalizations.

Using simulation to assist recruitment in seasonally dependant contact centers
Presentation / Conference Contribution
May, L., & Siebers, P.-O. (2015, December). Using simulation to assist recruitment in seasonally dependant contact centers. Presented at 2015 Winter Simulation Conference (WSC), Huntington Beach, CA, USA

The weather is unpredictable and can have a large impact on the profitability of seasonal businesses, particularly if staffing requirements are highly temperature-dependent. In this paper we describe our efforts in developing a what-if analysis tool... Read More about Using simulation to assist recruitment in seasonally dependant contact centers.

Crowd-sourcing applied to photograph-based automatic habitat classification
Presentation / Conference Contribution
Torres Torres, M., & Qiu, G. (2014, November). Crowd-sourcing applied to photograph-based automatic habitat classification. Presented at MAED 2014 - Proceedings of the 3rd ACM International Regular and Data Challenge Workshop on Multimedia Analysis for Ecological Data, Orlando Florida USA

Habitat classification is a crucial activity for monitoring environmental biodiversity. To date, manual methods, which are laborious, time-consuming and expensive, remain the most successful alternative. Most automatic methods use remote-sensed image... Read More about Crowd-sourcing applied to photograph-based automatic habitat classification.

Model checking for Coalition Announcement Logic
Presentation / Conference Contribution
Galimullin, R., Alechina, N., & van Ditmarsch, H. (2018, September). Model checking for Coalition Announcement Logic. Presented at KI 2018: Advances in Artificial Intelligence, Berlin, Germany

Coalition Announcement Logic (CAL) studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents. The logic is useful to model imperfect information ga... Read More about Model checking for Coalition Announcement Logic.

Interpretability and Complexity of Design in the Creation of Fuzzy Logic Systems — A User Study
Presentation / Conference Contribution
Rosli Razak, T. R., Garibaldi, J. M., Wagner, C., Pourabdollah, A., & Soria, D. (2018, November). Interpretability and Complexity of Design in the Creation of Fuzzy Logic Systems — A User Study. Presented at 2018 IEEE Symposium Series on Computational Intelligence (SSCI), Bangalore, India

In recent years, researchers have become increasingly more interested in designing an interpretable Fuzzy Logic System (FLS). Many studies have claimed that reducing the complexity of FLSs can lead to improved model interpretability. That is, reducin... Read More about Interpretability and Complexity of Design in the Creation of Fuzzy Logic Systems — A User Study.

Developing GDPR Compliant Apps For The Edge
Presentation / Conference Contribution
Lodge, T., Brown, A., & Crabtree, A. (2018, September). Developing GDPR Compliant Apps For The Edge. Presented at ESORICS International Workshop on Data Privacy Management, Cryptocurrencies and Blockchain Technology, Barcelona, Spain

We present an overview of the Databox application devel- opment environment or SDK as a means of enabling trusted IoT app development at the network edge. The Databox platform is a dedicated domestic platform that stores IoT, mobile and cloud data an... Read More about Developing GDPR Compliant Apps For The Edge.

When size matters: Towards evaluating perceivability of choropleths
Presentation / Conference Contribution
McNabb, L., Laramee, R. S., & Wilson, M. L. (2018, September). When size matters: Towards evaluating perceivability of choropleths. Presented at Computer Graphics and Visual Computing, CGVC 2018, Swansea, UK

Choropleth maps are an invaluable visualization type for mapping geo-spatial data. One advantage to a choropleth map over other geospatial visualizations such as cartograms is the familiarity of a non-distorted landmass. However, this causes challeng... Read More about When size matters: Towards evaluating perceivability of choropleths.

A Preliminary Study of the Feasibility of Global Evolutionary Feature Selection for Big Datasets under Apache Spark
Presentation / Conference Contribution
Galar, M., Triguero, I., Bustince, H., & Herrera, F. (2018, July). A Preliminary Study of the Feasibility of Global Evolutionary Feature Selection for Big Datasets under Apache Spark. Presented at 2018 IEEE Congress on Evolutionary Computation (CEC), Rio de Janeiro, Brazil

Designing efficient learning models capable of dealing with tons of data has become a reality in the era of big data. However, the amount of available data is too much for traditional data mining techniques to be applicable. This issue is even more s... Read More about A Preliminary Study of the Feasibility of Global Evolutionary Feature Selection for Big Datasets under Apache Spark.

A preliminary study on Hybrid Spill-Tree Fuzzy k-Nearest Neighbors for big data classification
Presentation / Conference Contribution
Maillo, J., Luengo, J., Garcia, S., Herrera, F., & Triguero, I. (2018, July). A preliminary study on Hybrid Spill-Tree Fuzzy k-Nearest Neighbors for big data classification. Presented at 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Rio de Janeiro, Brazil

The Fuzzy k Nearest Neighbor (Fuzzy kNN) classifier is well known for its effectiveness in supervised learning problems. kNN classifies by comparing new incoming examples with a similarity function using the samples of the training set. The fuzzy ver... Read More about A preliminary study on Hybrid Spill-Tree Fuzzy k-Nearest Neighbors for big data classification.

Proceedings of the Nottingham Symposium on Connecting HCI and UX
Presentation / Conference Contribution
Reeves, S., Buie, E., Ljungblad, S., Clemmensen, T., Dray, S., Fleck, R., Gray, C. M., Instone, K., Lallemand, C., Lindgaard, G., Resmini, A., Siegel, M., Stumpf, S., Velt, R., & Whitehead, S. (2015, November). Proceedings of the Nottingham Symposium on Connecting HCI and UX. Presented at Nottingham Symposium on Connecting HCI and UX, Nottingham, UK

IoT App Development: Supporting Data Protection by Design and Default
Presentation / Conference Contribution
Lodge, T., Crabtree, A., & Brown, A. (2018, October). IoT App Development: Supporting Data Protection by Design and Default. Presented at UbiComp 2018, Singapore

In the domestic IoT domain, data is often collected by phys- ical sensors and actuators embedded in the household and used to provide contextually relevant services to end users. Given that this data is often personal, the EU’s General Data Protectio... Read More about IoT App Development: Supporting Data Protection by Design and Default.

Supporting Awareness of Visual Impairments and Accessibility Reflections through Video Demos and Design Cards
Presentation / Conference Contribution
Reyes-Cruz, G., Fischer, J., & Reeves, S. (2022, October). Supporting Awareness of Visual Impairments and Accessibility Reflections through Video Demos and Design Cards. Presented at Nordic Human-Computer Interaction Conference (NordiCHI ’22), Aarhus, Denmark

Disabled people's experiences and knowledge are oftentimes not central in design processes. Further, the burden of outreach and sensitising others to these experiences and knowledge is frequently not recognised. This paper offers a workshop approach... Read More about Supporting Awareness of Visual Impairments and Accessibility Reflections through Video Demos and Design Cards.