All Outputs (166)

Characterization of shape and dimensional accuracy of incrementally formed titanium sheet parts (2015)
Conference Proceeding

Single Point Incremental Forming (SPIF) is a relatively new process that has been recently used to manufacture medical grade titanium sheets for implant devices. However, one limitation of the SPIF process may be characterized by dimensional inaccura... Read More about Characterization of shape and dimensional accuracy of incrementally formed titanium sheet parts.

Parity-time chain of whispering-gallery mode resonators (2015)
Conference Proceeding

The paper analyses the dispersion characteristics of an infinitely long PT chain made of whispering gallery resonators with gain/loss modulation. The results show that the appearance of the threshold breaking point depends not only on both of couplin... Read More about Parity-time chain of whispering-gallery mode resonators.

Human-computer interaction as science (2015)
Conference Proceeding

Human-computer interaction (HCI) has had a long and troublesome relationship to the role of 'science'. HCI's status as an academic object in terms of coherence and adequacy is often in question---leading to desires for establishing a true scientific... Read More about Human-computer interaction as science.

Exploring opportunities to facilitate serendipity in search (2015)
Conference Proceeding

Serendipitously discovering new information can bring many benefits. Although we can design systems to highlight serendipitous information, serendipity cannot be easily orchestrated and is thus hard to study. In this paper, we deployed a working sear... Read More about Exploring opportunities to facilitate serendipity in search.

A study of human-agent collaboration for multi-UAV task allocation in dynamic environments (2015)
Conference Proceeding

We consider a setting where a team of humans oversee the coordination of multiple Unmanned Aerial Vehicles (UAVs) to perform a number of search tasks in dynamic environments that may cause the UAVs to drop out. Hence, we develop a set of multi-UAV su... Read More about A study of human-agent collaboration for multi-UAV task allocation in dynamic environments.

The status of GNSS data processing systems to estimate integrated water vapour for use in numerical weather prediction models (2015)
Conference Proceeding

© Springer International Publishing Switzerland 2015. Modern Numerical Weather Prediction (NWP) models make use of the GNSS-derived Zenith Total Delay (ZTD) or Integrated Water Vapour (IWV) estimates to enhance the quality of their forecasts. Usually... Read More about The status of GNSS data processing systems to estimate integrated water vapour for use in numerical weather prediction models.

Impact of mill type on biomass mill behavior (2015)
Conference Proceeding

With increasing use of biomass in pulverized fuel coal fired power stations, the impact of mill type on biomass size and shape is fundamental in optimizing mill and burner performance. The impact of mill type on the energy consumption, particle size... Read More about Impact of mill type on biomass mill behavior.

Agile Planning for Real-World Disaster Response (2015)
Conference Proceeding

We consider a setting where an agent-based planner instructs teams of human emergency responders to perform tasks in the real world. Due to uncertainty in the environment and the inability of the planner to consider all human preferences and all attr... Read More about Agile Planning for Real-World Disaster Response.

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic (2015)
Conference Proceeding

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model c... Read More about On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

Symbolic model checking for one-resource RB+-ATL (2015)
Conference Proceeding

RB+-ATL is an extension of ATL where it is possible to model consumption and production of several resources by a set of agents. The modelchecking problem for RB+-ATL is known to be decidable. However the only available model checking algorithm for R... Read More about Symbolic model checking for one-resource RB+-ATL.

Ethics considerations for Corpus Linguistic studies using internet resources (2015)
Conference Proceeding

With the rising popularity of public and semi-public communication channels such as Blogs (late 1990s), Wikipedia (launched in 2001), Facebook (launched in 2004), Reddit (from 2005) and Twitter (from 2006), the Internet has become an increasingly fer... Read More about Ethics considerations for Corpus Linguistic studies using internet resources.

Navigating in large hospitals (2015)
Conference Proceeding

Navigating around large hospitals can be a stressful and time-consuming experience for all users of the hospital infrastructure. Navigation difficulties encountered by patients and visitors can result in missed appointments or simply create a poor im... Read More about Navigating in large hospitals.

Fibre architecture design of 3D woven composite with genetic algorithms: a unit cell based optimisation framework and performance assessment (2015)
Conference Proceeding

There are vast possibilities in fibre architecture design of 3D woven reinforcement. This paper considers the application of Genetic Algorithm (GA) in 3D woven composites optimisation. A set of real and integral variables, representing 3D fibre archi... Read More about Fibre architecture design of 3D woven composite with genetic algorithms: a unit cell based optimisation framework and performance assessment.

Scalable real-time parking lot classification: an evaluation of image features and supervised learning algorithms (2015)
Conference Proceeding

The time-consuming search for parking lots could be assisted by efficient routing systems. Still, the needed vacancy detection is either very hardware expensive, lacks detail or does not scale well for industrial application. This paper presents a vi... Read More about Scalable real-time parking lot classification: an evaluation of image features and supervised learning algorithms.

Analysis of objectives relationships in multiobjective problems using trade-off region maps (2015)
Conference Proceeding

Understanding the relationships between objectives in many-objective optimisation problems is desirable in order to develop more effective algorithms. We propose a techniquefor the analysis and visualisation of complex relationships between many (thr... Read More about Analysis of objectives relationships in multiobjective problems using trade-off region maps.

Navigating to and through large hospitals (2015)
Conference Proceeding

Navigating around large hospitals can be a highly stressful and time-pressured/consuming experience for patients, visitors and staff alike, with significant impacts upon operational efficiencies and overall ‘user experience’. The sheer size, complexi... Read More about Navigating to and through large hospitals.

Mid-infrared fiberoptic devices and systems for in vivo medical diagnostics and surgery (2015)
Conference Proceeding

We are establishing a new paradigm in mid-infrared sensing, mapping and imaging to open up the mid-infrared for in vivo medical-diagnostics, for early diagnosis of cancer and mid-infrared endoscopic-monitoring of cancer-margins during surgery.

Evaluating a public display installation with game and video to raise awareness of Attention Deficit Hyperactivity Disorder (2015)
Conference Proceeding

Networked Urban Screens offer new possibilities for public health education and awareness. An information video about Attention Deficit Hyperactivity Disorder (ADHD) was combined with a custom browser-based video game and successfully deployed on an... Read More about Evaluating a public display installation with game and video to raise awareness of Attention Deficit Hyperactivity Disorder.

HABIT: Horse Automated Behaviour Identification Tool: a position paper (2015)
Conference Proceeding

HABIT (Horse Automated Behaviour Identification Tool) is an Animal Computer Interaction (ACI) project, on the interdisciplinary boundary between equitation science and computer science. HABIT will automate the analysis and recognition of horse-to-hor... Read More about HABIT: Horse Automated Behaviour Identification Tool: a position paper.

A tensor analysis improved genetic algorithm for online bin packing (2015)
Conference Proceeding

Mutation in a Genetic Algorithm is the key variation operator adjusting the genetic diversity in a population throughout the evolutionary process. Often, a fixed mutation probability is used to perturb the value of a gene. In this study, we describe... Read More about A tensor analysis improved genetic algorithm for online bin packing.