All Outputs (50)

A model-driven privacy compliance decision support for medical data sharing in Europe (2011)
Journal Article

Objectives: Clinical practitioners and medical researchers often have to share health data with other colleagues across Europe. Privacy compliance in this context is very important but challenging. Automated privacy guidelines are a practical way of... Read More about A model-driven privacy compliance decision support for medical data sharing in Europe.

Computing with liquid crystal fingers: Models of geometric and logical computation (2011)
Journal Article

When a voltage is applied across a thin layer of cholesteric liquid crystal, fingers of cholesteric alignment can form and propagate in the layer. In computer simulation, based on experimental laboratory results, we demonstrate that these cholesteric... Read More about Computing with liquid crystal fingers: Models of geometric and logical computation.

Influences on the formation and evolution of Physarum polycephalum inspired emergent transport networks (2011)
Journal Article

Logic for coalitions with bounded resources (2011)
Journal Article

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However, there is no natural way of expressing resource requirements in these logics. In this a... Read More about Logic for coalitions with bounded resources.

Translating RAD business process mModels into to BPMN models (2011)
Journal Article

Modelling business processes using BPMN has been emerging as the preferred choice for organisations seeking to enact their business processes in service-oriented environments. However, a number of organisations have their business processes modelled... Read More about Translating RAD business process mModels into to BPMN models.

Hierarchical event selection for video storyboards with a case study on snooker video visualization (2011)
Journal Article

Video storyboard, which is a form of video visualization, summarizes the major events in a video using illustrative visualization. There are three main technical challenges in creating a video storyboard, (a) event classification, (b) event selection... Read More about Hierarchical event selection for video storyboards with a case study on snooker video visualization.

Biology and computing (2011)
Presentation / Conference Contribution

Memristors, the recently discovered 4th fundamental circuit element, have been used as models for biological components, such as neurons. It may be that neurons are memristors, rather than just conveniently modeled by them. This presentation covers r... Read More about Biology and computing.

Verifying requirements for resource-bounded agents (2011)
Thesis

This thesis presents frameworks for the modelling and verification of resource-bounded reasoning agents. The resources considered include the time, memory, and communication bandwidth required by agents to achieve a goal. The scalability and expressi... Read More about Verifying requirements for resource-bounded agents.

A criteria for selecting background knowledge for domain specific semantic matching (2011)
Presentation / Conference Contribution

On computing in fine-grained compartmentalised Belousov-Zhabotinsky medium (2011)
Journal Article

We introduce results of computer experiments on information processing in a hexagonal array of vesicles filled with Belousov-Zhabotinsky (BZ) solution in a sub-excitable mode. We represent values of Boolean variables by excitation wave-fragments and... Read More about On computing in fine-grained compartmentalised Belousov-Zhabotinsky medium.

On breathing and geography: Sonifying the Severn as shared generative art practice (2011)
Presentation / Conference Contribution

The paper investigates environmental data sonification as a method, and examines the compromises between quantifying and qualifying data in order to aid listeners’ interpretation of sounds. Based on this it discusses different kinds of ‘accuracies’... Read More about On breathing and geography: Sonifying the Severn as shared generative art practice.

Things to do in the digital afterlife when you're dead (2011)
Presentation / Conference Contribution

There are currently few procedures or public awareness about what happens to online digital identities after death. This paper discusses what happens with personal electronic information after death and looks to what is argued to be the rapidly appro... Read More about Things to do in the digital afterlife when you're dead.

Problemáticas en las búsquedas de información por internet con fines académicos / Issues searching Internet information for academic purposes (2011)
Presentation / Conference Contribution

En el presente artículo se analizan parte de las problemáticas que existen cuando se realizan búsquedas de fuentes de información en internet con fines escolares y académicos; particularmente, nos enfocamos a las dificultades que presentan los estud... Read More about Problemáticas en las búsquedas de información por internet con fines académicos / Issues searching Internet information for academic purposes.

Student engagement with lecture transcripts (2011)
Presentation / Conference Contribution

This paper first presents a summary of work completed during 2009-2010 developing software for semi- automated transcription of lecture audio recordings. Results of previous trials involving student correction of machine generated draft transcripts a... Read More about Student engagement with lecture transcripts.

Utilizing next generation emerging technologies for enabling collective computational intelligence in disaster management (2011)
Journal Article

Much work is underway within the broad next generation emerging technologies community on issues associated with the development of services to foster synergies and collaboration via the integration of distributed and heterogeneous resources, systems... Read More about Utilizing next generation emerging technologies for enabling collective computational intelligence in disaster management.

APMoodle: Adaptive and personalised e-Learning system (2011)
Presentation / Conference Contribution

Due to the diversity of e-learning usage in different disciplines (practical or theoretical, lifelong learning, formal versus informal education, etc) There are different and multipurpose platforms available in the market and in the educational secto... Read More about APMoodle: Adaptive and personalised e-Learning system.

Genetic ensemble (G-Ensemble) for meteorological prediction enhancement (2011)
Presentation / Conference Contribution

The need for reliable predictions in environmental modelling is long known. Particularly, the predicted weather and meteorological information about the future atmospheric state is crucial and necessary for almost all other areas of environmental mod... Read More about Genetic ensemble (G-Ensemble) for meteorological prediction enhancement.

Vesicle computers: Approximating a Voronoi diagram using Voronoi automata (2011)
Journal Article

Irregular arrangements of vesicles filled with excitable and precipitating chemical systems are imitated by Voronoi automata - finite-state machines defined on a planar Voronoi diagram. Every Voronoi cell takes four states: resting, excited, refracto... Read More about Vesicle computers: Approximating a Voronoi diagram using Voronoi automata.

Aluminium electrodes effect the operation of titanium oxide sol-gel memristors (2011)
Preprint / Working Paper

By a comparison between memristors made with aluminium and gold electrodes, this letter demonstrates that aluminium electrodes are an essential component of the TiO$_2$ sol-gel flexible memristor . Both slow varying `analogue' and sudden switching `d... Read More about Aluminium electrodes effect the operation of titanium oxide sol-gel memristors.

The missing magnetic flux in the HP memristor found (2011)
Preprint / Working Paper

Ever since real-world two terminal memristor devices were created, detractors have derided them as not `true' Chua memristors because there is no magnetic flux in the system. This report shows that the flux is present and equal to the magnetic flux o... Read More about The missing magnetic flux in the HP memristor found.