Skip to main content

Research Repository

Advanced Search

All Outputs (42)

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.

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.

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.

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.

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.

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.

Human-machine interaction issues in quality control based on online image classification (2009)
Journal Article
Lughofer, E., Smith, J., Tahir, M. A., Caleb-Solly, P., Eitzinger, C., Sannen, D., & Nuttin, M. (2009). Human-machine interaction issues in quality control based on online image classification. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 39(5), 960-971. https://doi.org/10.1109/TSMCA.2009.2025025

This paper considers on a number of issues that arise when a trainable machine vision system learns directly from humans. We contrast this to the "normal" situation where machine learning (ML) techniques are applied to a "cleaned" data set which is c... Read More about Human-machine interaction issues in quality control based on online image classification.

Human-machine interaction issues in quality control based on on-line image classification (2009)
Journal Article
Lughofer, E., Smith, J., Tahir, M., Caleb-Solly, P., Eitzinger, C., Sannen, D., & Nuttin, M. (2009). Human-machine interaction issues in quality control based on on-line image classification. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 39(5), 960-971. https://doi.org/10.1109/TSMCA.2009.2025025

This paper considers on a number of issues that arise when a trainable machine vision system learns directly from humans. We contrast this to the ldquonormalrdquo situation where machine learning (ML) techniques are applied to a ldquocleanedrdquo dat... Read More about Human-machine interaction issues in quality control based on on-line image classification.

Evolution of cellular automata with memory: The Density Classification Task (2009)
Journal Article
Stone, C., & Bull, L. (2009). Evolution of cellular automata with memory: The Density Classification Task. BioSystems, 97(2), 108-116. https://doi.org/10.1016/j.biosystems.2009.05.001

The Density Classification Task is a well known test problem for two-state discrete dynamical systems. For many years researchers have used a variety of evolutionary computation approaches to evolve solutions to this problem. In this paper, we invest... Read More about Evolution of cellular automata with memory: The Density Classification Task.

Multiuser scheduling in high speed downlink packet access (2009)
Journal Article
Kwan, R., Aydin, M. E., Leung, C., & Zhang, J. (2009). Multiuser scheduling in high speed downlink packet access. IET Communications, 3(8), 1363-1370. https://doi.org/10.1049/iet-com.2008.0340

Multiuser scheduling is an important aspect in the performance optimisation of a wireless network as it allows multiple users to efficiently access a shared channel by exploiting multiuser diversity. For example, the 3GPP cellular standard supports m... Read More about Multiuser scheduling in high speed downlink packet access.

A statistics-based genetic algorithm for quality improvements of power supplies (2009)
Journal Article
Chan, K. Y., Pong, G. T., Aydin, M. E., Fogarty, T. C., & Ling, S. H. (2009). A statistics-based genetic algorithm for quality improvements of power supplies. European Journal of Industrial Engineering, 3(4), 468-492. https://doi.org/10.1504/EJIE.2009.027038

This paper presents a new statistics-based evolutionary algorithm to improve the qualities of power supplies, in which operational costs and the stability of the power supply are optimised to provide a highly smooth but low-cost power supply service... Read More about A statistics-based genetic algorithm for quality improvements of power supplies.

An exploration of the literature on the use of 'swarm intelligence-based techniques' for public service problems (2009)
Journal Article
Gökçen, H., Daş, G. S., Seçkiner, S. U., Dereli, T., & Aydin, M. E. (2009). An exploration of the literature on the use of 'swarm intelligence-based techniques' for public service problems. European Journal of Industrial Engineering, 3(4), 379-423. https://doi.org/10.1504/EJIE.2009.027034

The importance of studying public service systems and finding robust solutions to the problems encountered in public service management has increased considerably over the past decade. One of the main objectives is to find acceptable solutions to Pub... Read More about An exploration of the literature on the use of 'swarm intelligence-based techniques' for public service problems.