Skip to main content

Research Repository

Advanced Search

All Outputs (72)

Practical zero-knowledge proofs for circuit evaluation (2009)
Journal Article
Ghadafi, E., Smart, N. P., & Warinschi, B. (2009). Practical zero-knowledge proofs for circuit evaluation. Lecture Notes in Artificial Intelligence, 5921 LNCS, 469-494. https://doi.org/10.1007/978-3-642-10868-6_28

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
Odeh, M. (2009, December). Towards a universal requirements engineering process. Paper presented at The International Arab Conference on Information Technology, Yemen

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)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2009). Reasoning about other agents' beliefs under bounded resources. Lecture Notes in Artificial Intelligence, 5605 LNAI, 1-15. https://doi.org/10.1007/978-3-642-05301-6_1

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)
Conference Proceeding
Kossmann, M., Odeh, M., Gillies, A., & Watts, S. (2009). Ontology-driven requirements engineering with reference to the aerospace industry. In P. Pichappan, & E. El-Qawasmeh (Eds.), Second International Conference on the Applications of Digital Information and Web Technologies, 2009. ICADIWT '09 (95-103). https://doi.org/10.1109/ICADIWT.2009.5273953

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)
Journal Article
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). Expressing properties of coalitional ability under resource bounds. Lecture Notes in Artificial Intelligence, 5834 LNAI, 1-14. https://doi.org/10.1007/978-3-642-04893-7_1

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)
Journal Article
Morgan, J. E., Rosin, P. L., Legg, P., & Marshall, D. (2009). A robust solution to multi-modal image registration by combining mutual information with multi-scale derivatives. Lecture Notes in Artificial Intelligence, 5761 LNCS(PART 1), 616-623. https://doi.org/10.1007/978-3-642-04268-3_76

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
Spenger, C., Barkhof, F., Redolfi, A., McClatchey, R., Anjum, A., Zijdenbos, A., …Frisoni, G. B. (2009). Grid infrastructures for computational neuroscience: The neuGRID example. Future Neurology, 4(6), 703-722. https://doi.org/10.2217/fnl.09.53

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)
Conference Proceeding
Djenouri, D., & Balasingham, I. (2009). New QoS and geographical routing in wireless biomedical sensor networks. https://doi.org/10.4108/icst.broadnets2009.7188

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)
Conference Proceeding
Munir, K., Odeh, M., & McClatchey, R. (2009). Managing the mappings between domain ontologies and database schemas when formulating relational queries. . https://doi.org/10.1145/1620432.1620446

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.

On dynamical genetic programming: Simple Boolean networks in learning classifier systems (2009)
Journal Article
Bull, L. (2009). On dynamical genetic programming: Simple Boolean networks in learning classifier systems. International Journal of Parallel, Emergent and Distributed Systems, 24(5), 421-442. https://doi.org/10.1080/17445760802660387

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
Sapin, E., Bull, L., & Adamatzky, A. (2009). Genetic approaches to search for computing patterns in cellular automata. IEEE Computational Intelligence Magazine, 4(3), 20-28. https://doi.org/10.1109/MCI.2009.933097

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
Boussi Rahmouni, H., Solomonides, T., Casassa Mont, M., & Shiu, S. (2009). Privacy compliance in European healthgrid domains: an ontology-based approach

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
Miranda, E. R., Bull, L., Gueguen, F., & Uroukov, I. S. (2009). Computer music meets unconventional computing: Towards sound synthesis with in vitro neuronal networks. Computer Music Journal, 33(1), 9-18. https://doi.org/10.1162/comj.2009.33.1.9

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)
Conference Proceeding
Djenouri, D., & Balasingham, I. (2009). LOCALMOR: Localized multi-objective routing for wireless sensor networks. https://doi.org/10.1109/pimrc.2009.5449740

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
Lansdale, T., Bloodsworth, P., Anjum, A., Habib, I., Mehmood, Y., & McClatchey, R. (2009). Rule-based querying of distributed, heterogeneous data. IETE Technical Review, 26(5), 363-368. https://doi.org/10.4103/0256-4602.55274

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.

Modelling and enforcing privacy for medical data disclosure across Europe (2009)
Presentation / Conference
Boussi Rrahmouni, H., Solomonides, T., Casassa Mont, M., & Shiu, S. (2009, August). Modelling and enforcing privacy for medical data disclosure across Europe. Paper presented at MIE 2009, Sarajevo, Bosnia and Herzegovina

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
Toth, R., Stone, C., Adamatzky, A., de Lacy Costello, B., & Bull, L. (2009). Experimental validation of binary collisions between wave fragments in the photosensitive Belousov–Zhabotinsky reaction. Chaos, Solitons and Fractals, 41(4), 1605-1615. https://doi.org/10.1016/j.chaos.2008.07.001

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.

Experimental validation of binary collisions between wave fragments in the photosensitive Belousov-Zhabotinsky reaction (2009)
Journal Article
Toth, R., Stone, C., Adamatzky, A., de Lacy Costello, B., & Bull, L. (2009). Experimental validation of binary collisions between wave fragments in the photosensitive Belousov-Zhabotinsky reaction. Chaos, Solitons and Fractals, 41(4), 1605-1615. https://doi.org/10.1016/j.chaos.2008.07.001

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.