All Outputs (72)

Practical zero-knowledge proofs for circuit evaluation (2009)
Presentation / Conference Contribution

Showing that a circuit is satisfiable without revealing information is a key problem in modern cryptography. The related (and more general) problem of showing that a circuit evaluates to a particular value if executed on the input contained in a publ... Read More about Practical zero-knowledge proofs for circuit evaluation.

Towards a universal requirements engineering process (2009)
Presentation / Conference Contribution

This paper introduces new a vision for a universal requirements engineering process, namely the TUREP process model with emphasis on the engineering dimension, but as well being business process driven, architecture centric, role driven, and relating... Read More about Towards a universal requirements engineering process.

Reasoning about other agents' beliefs under bounded resources (2009)
Presentation / Conference Contribution

There exists a considerable body of work on epistemic logics for bounded reasoners where the bound can be time, memory, or the amount of information the reasoners can exchange. In much of this work the epistemic logic is used as a meta-logic to reaso... Read More about Reasoning about other agents' beliefs under bounded resources.

Ontology-driven requirements engineering with reference to the aerospace industry (2009)
Presentation / Conference Contribution

This paper provides an overview regarding the application of an ontology-driven requirements engineering methodology, namely OntoREM, in the aerospace industry with the objective to assess the extent to which this approach has the potential to develo... Read More about Ontology-driven requirements engineering with reference to the aerospace industry.

Expressing properties of coalitional ability under resource bounds (2009)
Presentation / Conference Contribution

We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource bounds on strategies. We show how to express interesting properties of... Read More about Expressing properties of coalitional ability under resource bounds.

A robust solution to multi-modal image registration by combining mutual information with multi-scale derivatives (2009)
Presentation / Conference Contribution

In this paper we present a novel method for performing image registration of different modalities. Mutual Information (MI) is an established method for performing such registration. However, it is recognised that standard MI is not without some probl... Read More about A robust solution to multi-modal image registration by combining mutual information with multi-scale derivatives.

Grid infrastructures for computational neuroscience: The neuGRID example (2009)
Journal Article

Neuroscience is increasingly making use of statistical and mathematical tools to extract information from images of biological tissues. Computational neuroimaging tools require substantial computational resources and the increasing availability of la... Read More about Grid infrastructures for computational neuroscience: The neuGRID example.

New QoS and geographical routing in wireless biomedical sensor networks (2009)
Presentation / Conference Contribution

In this paper we deal with biomedical applications of wireless sensor networks, and propose a new quality of service (QoS) routing protocol. The protocol design relies on traffic diversity of these applications and ensures a differentiation routing u... Read More about New QoS and geographical routing in wireless biomedical sensor networks.

Managing the mappings between domain ontologies and database schemas when formulating relational queries (2009)
Presentation / Conference Contribution

In recent years, the tremendous increase in the use of medical knowledge-discovery and decision-support applications has often required clinical researchers to write complex database queries. The users of these data analysis systems are normally unaw... Read More about Managing the mappings between domain ontologies and database schemas when formulating relational queries.

Information in organisations: rethinking the autopoietic account (2009)
Book Chapter

On dynamical genetic programming: Simple Boolean networks in learning classifier systems (2009)
Journal Article

Many representations have been presented to enable the effective evolution of computer programs. Turing was perhaps the first to present a general scheme by which to achieve this end. Significantly, Turing proposed a form of discrete dynamical system... Read More about On dynamical genetic programming: Simple Boolean networks in learning classifier systems.

Genetic approaches to search for computing patterns in cellular automata (2009)
Journal Article

The emergence of collision based computing in complex systems with local interactions is discussed. Simulations of logic gates have been inspired by the simulation of an AND gate by the Game of Life. The evolutionary algorithm is also used to modify... Read More about Genetic approaches to search for computing patterns in cellular automata.

Privacy compliance in European healthgrid domains: an ontology-based approach (2009)
Journal Article

The integration of different European medical systems by means of grid technologies will continue to be challenging if technology does not intervene to enhance interoperability between national regulatory frameworks on data protection. Achieving comp... Read More about Privacy compliance in European healthgrid domains: an ontology-based approach.

Computer music meets unconventional computing: Towards sound synthesis with in vitro neuronal networks (2009)
Journal Article

The feasibility of synthesizing sounds with hybrid wetware-silicon devices has been explored with the use of in vitro neuronal networks. The basics of culturing brain cells has been introduced while the procedures that has been established to stimula... Read More about Computer music meets unconventional computing: Towards sound synthesis with in vitro neuronal networks.

LOCALMOR: Localized multi-objective routing for wireless sensor networks (2009)
Presentation / Conference Contribution

This paper proposes a multi-objective quality of service (QoS) routing protocol for wireless sensor networks (WSN). The protocol takes into account the traffic diversity typical for many applications and provides a differentiation in routing using Qo... Read More about LOCALMOR: Localized multi-objective routing for wireless sensor networks.

Rule-based querying of distributed, heterogeneous data (2009)
Journal Article

When searching for data, users tend to think in terms of the information they need to retrieve and not where and how it is stored. This is especially true in the highly complex domain of neurological research. The -generic medical querying service de... Read More about Rule-based querying of distributed, heterogeneous data.

Experimental validation of binary collisions between wave fragments in the photosensitive Belousov-Zhabotinsky reaction (2009)
Journal Article

We present experimental verification of wave fragment collisions in the sub-excitable Belousov-Zhabotinsky medium observed previously in simulation [Adamatzky A, De Lacy Costello B. Binary collisions between wave fragments in a sub-excitable Belousov... Read More about Experimental validation of binary collisions between wave fragments in the photosensitive Belousov-Zhabotinsky reaction.

Modelling and enforcing privacy for medical data disclosure across Europe (2009)
Presentation / Conference Contribution

The harmonization of data protection legislation in Europe has been theoretically achieved by means of the EU directive on data protection. In practice the harmonization is not absolute and conflicts and inconsistencies continue to exist in the way M... Read More about Modelling and enforcing privacy for medical data disclosure across Europe.

Experimental validation of binary collisions between wave fragments in the photosensitive Belousov–Zhabotinsky reaction (2009)
Journal Article

Using the examples of an excitable chemical system (the Belousov–Zhabotinsky medium) and plasmodium of Physarum polycephalum we show that universal computation in a geometrically unconstrained medium is only possible when resources (excitability or c... Read More about Experimental validation of binary collisions between wave fragments in the photosensitive Belousov–Zhabotinsky reaction.

Automated transcription of spoken-word lecture materials: supporting hyperlinked communies of co-learners (2009)
Presentation / Conference Contribution

Poster outline of work carried out, supported by Faculty of Environment & Technology Diversity Fund 2008-2009