Research Repository

See what's under the surface

Browse


Seeing with new eyes: designing for in-the-wild museum gifting (2019)
Conference Proceeding
Spence, J., Bedwell, B., Coleman, M., Benford, S., Koleva, B. N., Adams, M., …Løvlie, A. S. (2019). Seeing with new eyes: designing for in-the-wild museum gifting. In CHI Conference on Human Factors in Computing Systems Proceedings (CHI 2019), May 4–9, 2019, Glasgow, UKdoi:10.1145/3290605.3300235

This paper presents the GIFT smartphone app, an artist-led Research through Design project benefitting from a three-day in-the-wild deployment. The app takes as its premise the generative potential of combining the contexts of gifting and museum visi... Read More

Inalienability: understanding digital gifts (2019)
Conference Proceeding
Spence, J. (2019). Inalienability: understanding digital gifts. In CHI Conference on Human Factors in Computing Systems Proceedings (CHI 2019), May 4–9, 2019, Glasgow, UKdoi:10.1145/3290605. 3300887

This paper takes on one of the rarely articulated yet important questions pertaining to digital media objects: how do HCI and design researchers understand 'gifting' when the object can just as easily be 'shared'? This question has often been implied... Read More

Tracking the Consumption of Home Essentials (2019)
Conference Proceeding
Fuentes, C., Porcheron, M., Fischer, J. E., Costanza, E., Malik, O., & Ramchurn, S. D. (2019). Tracking the Consumption of Home Essentials. doi:10.1145/3290605.3300869

Predictions of people's behaviour increasingly drive interactions with a new generation of IoT services designed to support everyday life in the home, from shopping to heating. Based on the premise that such automation is difficult due to the conting... Read More

Energy storage and energy management in distribution grids, communities and buildings: results from SENSIBLE, a flagship project (2019)
Conference Proceeding
Andre, R., Naghiyev, E., Guerra, F., Leonide, A., Langemayer, S., Dentel, A., …Kilkki, O. (in press). Energy storage and energy management in distribution grids, communities and buildings: results from SENSIBLE, a flagship project

In a time of energy transition, this article summarizes the most relevant conclusions obtained from the SENSIBLE project [3], which aimed to demonstrate that the 2030 EU energy policy targets are achievable, and that distributed energy storage has a... Read More

Experiencing the Future Mundane (2019)
Conference Proceeding
Coulton, P., Lindley, J., Gradinar, A., Colley, J., Sailaja, N., Crabtree, A., …Kerlin, L. (2019). Experiencing the Future Mundane. In Method & Critique : Frictions and Shifts in RTD : RTD 2019 Research Through Design Conference

Through the design, development and implementation of the Living Room of the Future (LRoTF), we build upon existing work to progress two strands of research. The first explores how media broadcasters may utilise Object-Based Media (OBM) to provide mo... Read More

A SiC based 2-level power converter for shape- and-space-restricted aerospace applications (2019)
Conference Proceeding
Nasir, U., Chowdhury, S., La Rocca, A., Chen, Y., Yang, T., Wheeler, P., …Bozhko, S. (in press). A SiC based 2-level power converter for shape- and-space-restricted aerospace applications

Recent advancements in the power electronic device technologies, such as wide-band-gap devices including Silicon-Carbide (SiC) and Galium-Nitride (GaN), are acting as an enabling factor in development of compact power electronic systems. More specifi... Read More

A visual approach to query formulation for systematic search (2019)
Conference Proceeding
Russell-Rose, T., Chamberlain, J., & SHOKRANEH, F. (2019). A visual approach to query formulation for systematic search. doi:10.1145/3295750.3298919

Knowledge workers (such as healthcare information professionals, patent agents and legal researchers) need to create and execute search strategies that are accurate, repeatable and transparent. The traditional solution offered by most database vendor... Read More

"Enslaved to the trapped data " : a cognitive work analysis of medical systematic reviews (2019)
Conference Proceeding
Knight, I. A., Wilson, M. L., Brailsford, D. F., & Milic-Frayling, N. (2019). "Enslaved to the trapped data " : a cognitive work analysis of medical systematic reviews. In Proceedings of 2019 ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR), 203-212. doi:10.1145/3295750.3298937

Systematic reviews are a comprehensive and parameterised form of literature review, found in most disciplines, that involve exhaustive analyses and rigorous interpretation of prior literature. Performing systematic reviews, however, can involve repet... Read More

A study on the interpretability of a fuzzy system to control an inverted pendulum (2019)
Conference Proceeding
Zeren, B., Deveci, M., Coupland, S., John, R., & Ender¨ozcan, E. (in press). A study on the interpretability of a fuzzy system to control an inverted pendulum

Fuzzy systems mimic human reasoning and provide solutions to problems under uncertainty via 'computing with words'. This particular strength of fuzzy systems is often discarded in some real world applications where the fuzzy sets are designed for con... Read More

On Comparing and Selecting Approaches to Model Interval-Valued Data as Fuzzy Sets (2019)
Conference Proceeding
McCulloch, J., Ellerby, Z., & Wagner, C. (in press). On Comparing and Selecting Approaches to Model Interval-Valued Data as Fuzzy Sets

The capture of interval-valued data is becoming an increasingly common approach in data collection (from survey based research to the collation of sensor data) as an efficient method of obtaining information about uncertainty associated with the data... Read More

A measure of structural complexity of hierarchical fuzzy systems adapted from software engineering (2019)
Conference Proceeding
Razak, T. R., Garibaldi, J. M., & Wagner, C. (in press). A measure of structural complexity of hierarchical fuzzy systems adapted from software engineering

Hierarchical fuzzy systems (HFSs) have been seen as an effective approach to reduce the complexity of fuzzy logic systems (FLSs), largely as a result of reducing the number of rules. However, it is not clear completely how complexity of HFSs can be m... Read More

Aerospace sealing technology for maintenance, repair and overhaul of engines: a review (2019)
Conference Proceeding
Shabbir, S., Garvey, S., & Dakka, S. M. (in press). Aerospace sealing technology for maintenance, repair and overhaul of engines: a review

Given the current rate of growth of gas turbine engines in the aerospace industry, the development of efficient and advanced sealing technology to cater to the harsh operating conditions of the aero-engines is crucial. In addition to developing low-l... Read More

Proceedings of the 17th International Conference on Sustainable Energy Technologies – SET 2018, 21st - 23rd August 201 8 , Wuhan, China : Sustainable Energy Technologies f or Eco Cities and Environment (2019)
Conference Proceeding
(2019). Proceedings of the 17th International Conference on Sustainable Energy Technologies – SET 2018, 21st - 23rd August 201 8 , Wuhan, China : Sustainable Energy Technologies f or Eco Cities and Environment. In S. Riffat, Y. Su, D. Liu, & Y. Zhang (Eds.), Proceedings of the 17th International Conference on Sustainable Energy Technologies – SET 2018, 21st - 23rd August 201 8 , Wuhan, China

Questions for providers of expert opinion on logged GNSS evidence (2019)
Conference Proceeding
Dempster, A. G., Edmond, G., Kealy, A., & Moore, T. (2019). Questions for providers of expert opinion on logged GNSS evidence. doi:10.33012/2019.16726

This is the third in a series of papers with the twin ultimate aims of providing exhaustive guidance for expert witnesses asked for opinion on GNSS data evidence and the development of a standard for GNSS data logging. This paper examines admission o... Read More

Modified H-bridge inverter with reduced number of switching devices (2019)
Conference Proceeding
Hosseinzadeh, M. A., Hadiizadeh, H., Sarbanzadeh, M., Rivera, M., Munoz, J., & Wheeler, P. (2019). Modified H-bridge inverter with reduced number of switching devices

In this paper, a modified topology for developing H-bridge inverter is proposed which the number of components is lower than other inverters as well as the proposed inverter generates a high number of level with low total harmonics distortions. In th... Read More

A framework for optimization of hybrid aircraft (2019)
Conference Proceeding
Zhao, X., Sahoo, S., Kyprianidis, K., Sumsurooah, S., Valente, G., Rashed, M., …Ekstedt, E. (2019). A framework for optimization of hybrid aircraft

To achieve the goals of substantial improvements in efficiency and emissions set by Flightpath 2050, fundamentally different concepts are required. As one of the most promising solutions, electrification of the aircraft primary propulsion is currentl... Read More

Unbounded orchestrations of transdeucers for manufacturing (2019)
Conference Proceeding
Alechina, N., Brázdil, T., De Giacomo, G., Felli, P., Logan, B., & Vardi, M. Y. (2019). Unbounded orchestrations of transdeucers for manufacturing

There has recently been increasing interest in using reactive synthesis techniques to automate the production of manufacturing process plans. Previous work has assumed that the set of manufacturing resources is known and fixed in advance. In this pap... Read More

Strategies for reduced cooling time of asphalt for airfield pavement overlay (2019)
Conference Proceeding
Rahman, T., Thom, N., & Dawson, A. (in press). Strategies for reduced cooling time of asphalt for airfield pavement overlay

Reducing the cooling period of newly laid asphalt overlays could help airport authorities to quickly open remediated pavements to traffic. This paper reviews four strategies for a reduced cooling period, prior to trafficking, of newly-placed asphalt... Read More

Constructing quotient inductive-inductive types (2019)
Conference Proceeding
Kaposi, A., Kovac, A., & Altenkirch, T. (2019). Constructing quotient inductive-inductive types. In Proceedings of the ACM on Programming Languages archive Volume 3 Issue POPL, January 2019doi:10.1145/3290315

Quotient inductive-inductive types (QIITs) generalise inductive types in two ways: a QIIT can have more than one sort and the later sorts can be indexed over the previous ones. In addition, equality constructors are also allowed. We work in a setting... Read More