Skip to main content

Research Repository

Advanced Search

All Outputs (2801)

How to design Internet of Things to encourage office workers to take more regular micro-breaks (2016)
Conference Proceeding
Huang, Y. (2016). How to design Internet of Things to encourage office workers to take more regular micro-breaks.

Prolonged sitting at work has become a new health hazard for office workers. The current PhD is thus dedicated to exploring the potential of Internet of Things (IoT) for supporting healthier office work and break routines. An "enchanted object" appro... Read More about How to design Internet of Things to encourage office workers to take more regular micro-breaks.

A comparative study on deflection-hardening behavior of ductile alkali-activated composite (2016)
Conference Proceeding
Zhang, S., Nedeljković, M., Ghiassi, B., & Ye, G. (2016). A comparative study on deflection-hardening behavior of ductile alkali-activated composite. In V. Mechtcherine, V. Slowik, & P. Kabele (Eds.), Strain-hardening cement-based composites (123-130). https://doi.org/10.1007/978-94-024-1194-2_14

Alkali-activation technology as an environmental friendly approach to produce construction materials can lead to a great CO2 emission reduction and provide high potential for waste reutilization. Alkali activated materials (AAMs) generally exhibit be... Read More about A comparative study on deflection-hardening behavior of ductile alkali-activated composite.

Thermal management of a high speed permanent magnet machine for an aeroengine (2016)
Conference Proceeding
La Rocca, A., Xu, Z., Arumugam, P., Pickering, S., Eastwick, C., Gerada, C., & Bozhko, S. (2016). Thermal management of a high speed permanent magnet machine for an aeroengine.

The paper describes the mechanical and thermal design of a high speed, high power density synchronous permanent magnet machine for an aero engine starter generator system with a power rating of 150 kW and maximum speed of 32,000 rpm. As both mechanic... Read More about Thermal management of a high speed permanent magnet machine for an aeroengine.

An ethnographic exploration of studio production practice (2016)
Conference Proceeding
McGrath, S., Hazzard, A., Chamberlain, A., & Benford, S. (2016). An ethnographic exploration of studio production practice.

Tools for music production range from full scale digital production workstations to context-driven plugins. There are a number of inherent challenges to address in supporting users at different stages of work and at different levels of technical skil... Read More about An ethnographic exploration of studio production practice.

Technologies, feasibility, and management strategies for on-board multi-source energy networks (2016)
Conference Proceeding
Ahmed, S., Castellazzi, A., & Williams, A. (in press). Technologies, feasibility, and management strategies for on-board multi-source energy networks.

The paper discusses the feasibility of installing renewable energy generation technologies on sea-going transport, taking into account the additional weight and power consumption. This study in based on the power management of a 26,198 tonne commerci... Read More about Technologies, feasibility, and management strategies for on-board multi-source energy networks.

Evaluation of inulin and aloe vera as green corrosion inhibitors for mild steel in 15% HCl (2016)
Conference Proceeding
Ajayi, O., Everitt, N., & Voisey, K. (2016). Evaluation of inulin and aloe vera as green corrosion inhibitors for mild steel in 15% HCl.

REACH legislation and PARCOM recommendations are driving research in environmental friendly alternatives to the highly toxic compounds currently used as corrosion inhibitors. Here two candidate plant extract green corrosion inhibitors are evaluated b... Read More about Evaluation of inulin and aloe vera as green corrosion inhibitors for mild steel in 15% HCl.

Self-adaptation of mutation rates in non-elitist populations (2016)
Conference Proceeding
Lehre, P. K., & Dang, D. (2016). Self-adaptation of mutation rates in non-elitist populations. In Parallel problem solving from nature – PPSN XIV: 14th International Conference, Edinburgh, UK, September 17-21, 2016, proceedings. https://doi.org/10.1007/978-3-319-45823-6_75

The runtime of evolutionary algorithms (EAs) depends critically on their parameter settings, which are often problem-specific. Automated schemes for parameter tuning have been developed to alleviate the high costs of manual parameter tuning. Experime... Read More about Self-adaptation of mutation rates in non-elitist populations.

Contractive Functions on Infinite Data Structures (2016)
Conference Proceeding
Capretta, V., Hutton, G., & Jaskelioff, M. (2016). Contractive Functions on Infinite Data Structures. In IFL 2016: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages (1-13). https://doi.org/10.1145/3064899.3064900

Coinductive data structures, such as streams or infinite trees, have many applications in functional programming and type theory, and are naturally defined using recursive equations. But how do we ensure that such equations make sense, i.e. that they... Read More about Contractive Functions on Infinite Data Structures.

Extending Homotopy Type Theory with Strict Equality (2016)
Conference Proceeding
Altenkirch, T., Capriotti, P., & Kraus, N. (2016). Extending Homotopy Type Theory with Strict Equality. In 25th EACSL Annual Conference on Computer Science Logic (21:1-21:17). https://doi.org/10.4230/LIPIcs.CSL.2016.21

In homotopy type theory (HoTT), all constructions are necessarily stable under homotopy equivalence. This has shortcomings: for example, it is believed that it is impossible to define a type of semi-simplicial types. More generally, it is difficult a... Read More about Extending Homotopy Type Theory with Strict Equality.

Adaptive discontinuous Galerkin methods on polytopic meshes (2016)
Conference Proceeding
Collis, J., & Houston, P. (2016). Adaptive discontinuous Galerkin methods on polytopic meshes.

In this article we consider the application of discontinuous Galerkin finite element methods, defined on agglomerated meshes consisting of general polytopic elements, to the numerical approximation of partial differential equation problems posed on c... Read More about Adaptive discontinuous Galerkin methods on polytopic meshes.

Demonstrating a novel configuration of FPSE prototype working at medium temperature range (2016)
Conference Proceeding
Ghozzi, S., & Boukhanouf, R. (2016). Demonstrating a novel configuration of FPSE prototype working at medium temperature range.

Numerous FPSE designs have been demonstrated, tested and maybe commercially produced for different applications since Beale had invented the first design of the FPSE. The proposed design of FPSE is intended to operate at atmosphere pressure and low h... Read More about Demonstrating a novel configuration of FPSE prototype working at medium temperature range.

Real-world uptake of a tailored, text message pregnancy smoking cessation programme (MiQuit) when offered online (2016)
Conference Proceeding
Emery, J., Coleman, T., Sutton, S., Cooper, S., Leonardi-Bee, J., Jones, M., & Naughton, F. (2016). Real-world uptake of a tailored, text message pregnancy smoking cessation programme (MiQuit) when offered online.

Background: Prenatal smoking is a major public health concern and uptake of NHS cessation support is low in this group. Text message-based self-help is a promising intervention for this population but little is known about its likely real-world uptak... Read More about Real-world uptake of a tailored, text message pregnancy smoking cessation programme (MiQuit) when offered online.

Multicentre, randomised controlled trial of a low-cost smoking cessation text message intervention for pregnant smokers (MiQuit) (2016)
Conference Proceeding
Naughton, F., Foster, K., Emery, J., Cooper, S., Sutton, S., Leonardi-Bee, J., …Coleman, T. (2016). Multicentre, randomised controlled trial of a low-cost smoking cessation text message intervention for pregnant smokers (MiQuit).

Background: Text message cessation programmes have potential to change smoking behaviour during pregnancy but their effectiveness is unknown. This study aimed to estimate key parameters, including effectiveness and cost-effectiveness, for delivering... Read More about Multicentre, randomised controlled trial of a low-cost smoking cessation text message intervention for pregnant smokers (MiQuit).

Ice as a granular material (2016)
Conference Proceeding
Turnbull, B., Swift, M., & Hill, R. (2016). Ice as a granular material.

Ice is a unique material, fundamental to vital processes on earth, in the atmosphere [1] and as planets and comets form [2]. In this work, we introduce two experiments investigating ice as a granular material, to provide snippets of insight into thos... Read More about Ice as a granular material.

Transfer operator approach for cavities with apertures (2016)
Conference Proceeding
Gradoni, G., Creagh, S. C., & Tanner, G. (2016). Transfer operator approach for cavities with apertures. In 2016 URSI International Symposium on Electromagnetic Theory (EMTS) (682-685). https://doi.org/10.1109/URSI-EMTS.2016.7571490

We describe a representation of the boundary integral equations for wave propagation in enclosures which leads to a direct description of transport and dynamical characteristics of the problem. The formalism is extended to account for arbitrary and p... Read More about Transfer operator approach for cavities with apertures.

Status of TIGA activities at the British Isles continuous GNSS Facility and the University of Luxembourg (2016)
Conference Proceeding
Hunegnaw, A., Teferle, F., Bingley, R., & Hansen, D. (2016). Status of TIGA activities at the British Isles continuous GNSS Facility and the University of Luxembourg. In IAG 150 Years: Proceedings of the 2013 IAG Scientific Assembly, Potsdam, Germany, 1–6 September, 2013 (617–623). https://doi.org/10.1007/1345_2015_77

In 2013 the International GNSS Service (IGS) Ti-de Gauge Benchmark Monitoring (TIGA) Working Group started their reprocessing campaign which proposes to re-analyse all relevant GPS observations from 1995 to the end of 2012 in order to provide high qu... Read More about Status of TIGA activities at the British Isles continuous GNSS Facility and the University of Luxembourg.

Complex functional surface design for additive manufacturing (2016)
Conference Proceeding
Morris, S., Dudman, J., Körner, L., Melo, P., Newton, L., & Clare, A. T. (2016). Complex functional surface design for additive manufacturing.

This paper presents a new methodology for the creation of advanced surfaces which can be produced by Additive Manufacturing (AM) methods. Since there is no cost for enhanced complexity, AM allows for new capabilities in surface design. Micro-scale su... Read More about Complex functional surface design for additive manufacturing.

Particle filter for context sensitive indoor pedestrian navigation (2016)
Conference Proceeding
Peltola, P., Hill, C., & Moore, T. (2016). Particle filter for context sensitive indoor pedestrian navigation. In Proceedings of 2016 International Conference on Localization and GNSS (ICL-GNSS). https://doi.org/10.1109/ICL-GNSS.2016.7533865

Novel particle filter design combines foot mounted inertial (IMU), bluetooth low energy (BLE) and ultra-wideband (UWB) technologies along with map matching into a seamless integrated navigation system for indoors. The system was evaluated by 10 test... Read More about Particle filter for context sensitive indoor pedestrian navigation.

“We don’t sell blocks” exploring Minecraft’s commissioning market (2016)
Conference Proceeding
Koutsouras, P., Martindale, S., & Crabtree, A. (2016). “We don’t sell blocks” exploring Minecraft’s commissioning market.

In recent years, we have experienced the proliferation of videogames that have, as their main mode of play, the creation of in-game content. Even though existing literature has looked into various characteristics of these games, one of their aspects... Read More about “We don’t sell blocks” exploring Minecraft’s commissioning market.