All Outputs (152)

Using adaptive architecture to support yoga practices: social considerations for design (2014)
Conference Proceeding

The field of Adaptive Architecture aims to design built environments, which truly adapt to their occupants. ExoBuilding is an in-house prototypical example of Adaptive Architecture, which actuates in response to breathing and heart- rate of its occup... Read More about Using adaptive architecture to support yoga practices: social considerations for design.

Norm approximation for imperfect monitors (2014)
Conference Proceeding

In this paper, we consider the runtime monitoring of norms with imperfect monitors. A monitor is imperfect for a norm if it has insufficient observational capabilities to determine if a given execution trace of a multi-agent system complies with or v... Read More about Norm approximation for imperfect monitors.

Verifying heterogeneous multi-agent programs (2014)
Conference Proceeding

We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming... Read More about Verifying heterogeneous multi-agent programs.

Practical limitation on operation of nonlinear parity-time Bragg gratings (2014)
Conference Proceeding

The paper analyses the operation of PT Bragg gratings when the dielectric material is considered to be both dispersive and nonlinear and gain and loss are saturable. The paper demonstrates the application of the nonlinear PT Bragg Grating as an optic... Read More about Practical limitation on operation of nonlinear parity-time Bragg gratings.

Measuring the effect of Think Aloud Protocols on workload using fNIRS (2014)
Conference Proceeding

The Think Aloud Protocol (TAP) is a verbalisation technique widely employed in HCI user studies to give insight into user experience, yet little work has explored the impact that TAPs have on participants during user studies. This paper utilises a br... Read More about Measuring the effect of Think Aloud Protocols on workload using fNIRS.

Doing the laundry with agents: a field trial of a future smart energy system in the home (2014)
Conference Proceeding

Future energy systems that rely on renewable energy may bring about a radical shift in how we use energy in our homes. We developed and prototyped a future scenario with highly variable, real-time electricity prices due to a grid that mainly relies o... Read More about Doing the laundry with agents: a field trial of a future smart energy system in the home.

Human values in curating a human rights media archive (2014)
Conference Proceeding

Cultural institutions, such as museums, often curate politically and ethically sensitive materials. Increasingly, Internet-enabled, digital technology intersects with these curatorial practices offering new opportunities for public and scholarly enga... Read More about Human values in curating a human rights media archive.

Gifting personal interpretations in galleries (2014)
Conference Proceeding

The designers of mobile guides for museums and galleries face three major challenges: fostering rich interpretation, delivering deep personalization, and enabling a coherent social visit. We propose an approach to tackling all three simultaneously by... Read More about Gifting personal interpretations in galleries.

Beating human analysts in nowcasting corporate earnings by using publicly available stock price and correlation features (2014)
Conference Proceeding

Corporate earnings are a crucial indicator for investment and business valuation. Despite their importance and the fact that classic econometric approaches fail to match analyst forecasts by orders of magnitude, the automatic prediction of corporate... Read More about Beating human analysts in nowcasting corporate earnings by using publicly available stock price and correlation features.

Improving students’ understanding of algebra and multiplicative reasoning: did the ICCAMS intervention work? (2014)
Conference Proceeding

In this paper we report on the intervention phase of an ESRC-funded project, Increasing Competence and Confidence in Algebra and Multiplicative Structures (ICCAMS). The intervention was designed to enable teachers to use formative assessment in mathe... Read More about Improving students’ understanding of algebra and multiplicative reasoning: did the ICCAMS intervention work?.

A hybrid inverter solution for medium voltage applications using series capacitor and a CSI Active Power Filter (SC-APF) (2014)
Conference Proceeding

This paper proposes a new hybrid inverter solution for medium/high voltage applications that consists of a slow switching inverter using high voltage or series connected switching devices, fitted with a low kVA rated auxiliary current source inverter... Read More about A hybrid inverter solution for medium voltage applications using series capacitor and a CSI Active Power Filter (SC-APF).

Modelling the effects of asset management decisions on a railway track section (2014)
Conference Proceeding

This paper reports on the development of a Markov model that uses real-world deterioration, inspection and maintenance data to assess railway track asset management. The model allows both asset management personnel and track maintenance engineers to... Read More about Modelling the effects of asset management decisions on a railway track section.

Composite retrieval of heterogeneous web search (2014)
Conference Proceeding

Traditional search systems generally present a ranked list of documents as answers to user queries. In aggregated search systems, results from different and increasingly diverse verticals (image, video, news, etc.) are returned to users. For instance... Read More about Composite retrieval of heterogeneous web search.

An investigation on test driven discrete event simulation (2014)
Conference Proceeding

This paper deals with the application of modern software development tools on simulation development. Recently, Agile Software Development (ASD) methods enjoy an increasing popularity. eXtreme Programming (XP) techniques, one of the techniques which... Read More about An investigation on test driven discrete event simulation.

Listening to the forest and its curators: lessons learnt from a bioacoustic smartphone application deployment (2014)
Conference Proceeding

Our natural environment is complex and sensitive, and is home to a number of species on the verge of extinction. Surveying is one approach to their preservation, and can be supported by technology. This paper presents the deployment of a smartphone-b... Read More about Listening to the forest and its curators: lessons learnt from a bioacoustic smartphone application deployment.

Intelligent impedance based fault-location for zonal power systems (2014)
Conference Proceeding

A laboratory based demonstrator has been constructed to study the Active Impedance Estimation (AIE) technique as a means of locating faults on a power system. The demonstrator has been used to verify results from simulation experimentally. The AIE sy... Read More about Intelligent impedance based fault-location for zonal power systems.

Towards individualised persuasive technology for obesity prevention in teenagers (2014)
Conference Proceeding

Obesity is a major clinical problem for individuals and health care systems worldwide, alarmingly fuelled by body mass excess in the juvenile age. In spite of its multi-factorial origin, unhealthy lifestyles relative to alimentary behaviours and phys... Read More about Towards individualised persuasive technology for obesity prevention in teenagers.

Moral economies and child labour in artisanal gold mining in Ghana (2014)
Conference Proceeding

A refined limit on the predictability of human mobility (2014)
Conference Proceeding

It has been recently claimed that human movement is highly predictable. While an upper bound of 93% predictability was shown, this was based upon human movement trajectories of very high spatiotemporal granularity. Recent studies reduced this spatiot... Read More about A refined limit on the predictability of human mobility.

A non-destructive study of crack development during thermal cycling of Al wire bonds using x-ray computed tomography (2014)
Conference Proceeding

This paper concerns the non-destructive visualisation of the evolution of damage within ultrasonically bonded alumini-um wires using three dimensional x-ray computed tomography. We demonstrate the potential to observe the progressive accumulation of... Read More about A non-destructive study of crack development during thermal cycling of Al wire bonds using x-ray computed tomography.