Skip to main content

Research Repository

Advanced Search

All Outputs (22)

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.

Genomic and proteomic analyses of plant response to radiation in the environment-an abiotic stress context (2009)
Journal Article
Willey, N., Heinekamp, Y. J., & Burridge, A. (2009). Genomic and proteomic analyses of plant response to radiation in the environment-an abiotic stress context. Radioprotection, 44(5), 887-890. https://doi.org/10.1051/radiopro/20095158

Genomic and proteomic techniques provide the opportunity to investigate plant response to ionising radiation in unprecedented detail. Understanding plant molecular responses to ionising radiation might be useful for radioprotection but also for under... Read More about Genomic and proteomic analyses of plant response to radiation in the environment-an abiotic stress context.

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.

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.

Synthetic training data generation for activity monitoring and behavior analysis (2009)
Journal Article
Monekosso, D., & Remagnino, P. (2009). Synthetic training data generation for activity monitoring and behavior analysis. Lecture Notes in Artificial Intelligence, 5859 LNCS, 267-275. https://doi.org/10.1007/978-3-642-05408-2_31

This paper describes a data generator that produces synthetic data to simulate observations from an array of environment monitoring sensors. The overall goal of our work is to monitor the well-being of one occupant in a home. Sensors are embedded in... Read More about Synthetic training data generation for activity monitoring and behavior analysis.

The crisis of "social democratic" unionism: The "opening up" of civil society and the prospects for union renewal in the United Kingdom, France, and Germany (2009)
Journal Article
Upchurch, M., Taylor, G., & Mathers, A. (2009). The crisis of "social democratic" unionism: The "opening up" of civil society and the prospects for union renewal in the United Kingdom, France, and Germany. Labor Studies Journal, 34(4), 519-542. https://doi.org/10.1177/0160449X08324739

This article defines and explores the crisis of social democratic trade unionism in three countries in western Europe. The authors contend that a particularized form of postwar trade union orientation was socially constructed in Britain, Germany, and... Read More about The crisis of "social democratic" unionism: The "opening up" of civil society and the prospects for union renewal in the United Kingdom, France, and Germany.

Facial geometry estimation using photometric stereo and profile views (2009)
Journal Article
Atkinson, G., Smith, M., Smith, L., & Farooq, A. (2009). Facial geometry estimation using photometric stereo and profile views. Lecture Notes in Artificial Intelligence, 5558 LNCS, 1-11. https://doi.org/10.1007/978-3-642-01793-3_1

This paper presents a novel method for estimating the three-dimensional shape of faces, facilitating the possibility of enhanced face recognition. The method involves a combined use of photometric stereo and profile view information. It can be divide... Read More about Facial geometry estimation using photometric stereo and profile views.

Printing 3D dielectric elastomer actuators for soft robotics (2009)
Journal Article
Stoimenovc, B., Rossiter, J., & Walters, P. (2009). Printing 3D dielectric elastomer actuators for soft robotics. Proceedings of SPIE, 7287, https://doi.org/10.1117/12.815746

We present a new approach to the fabrication of soft dielectric elastomer actuators using a 3D printing process. Complete actuators including active membranes and support structures can be 3D printed in one go, resulting in a great improvement in fab... Read More about Printing 3D dielectric elastomer actuators for soft robotics.

Facial reconstruction and alignment using photometric stereo and surface fitting (2009)
Journal Article
Farooq, A. R., Atkinson, G., Smith, M., & Smith, L. (2009). Facial reconstruction and alignment using photometric stereo and surface fitting. Lecture Notes in Artificial Intelligence, 5524 LNCS, 88-95. https://doi.org/10.1007/978-3-642-02172-5_13

This paper presents a novel 3D face shape capture device suitable for practical face recognition applications. A new surface fitting based face alignment algorithm is then presented to normalise the pose in preparation for recognition. The 3D data ca... Read More about Facial reconstruction and alignment using photometric stereo and surface fitting.

On dynamical genetic programming: Random boolean networks in learning classifier systems (2009)
Journal Article
Bull, L., & Preen, R. (2009). On dynamical genetic programming: Random boolean networks in learning classifier systems. Lecture Notes in Artificial Intelligence, 5481 LNCS, 37-48. https://doi.org/10.1007/978-3-642-01181-8_4

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: Random boolean networks in learning classifier systems.

Verifying time, memory and communication bounds in systems of reasoning agents (2009)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2009). Verifying time, memory and communication bounds in systems of reasoning agents. Synthese, 169(2), 385-403. https://doi.org/10.1007/s11229-009-9557-1

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verifying time, memory and communication bounds in systems of reasoning agents.

Verifying time and communication costs of rule-based reasoners (2009)
Journal Article
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). Verifying time and communication costs of rule-based reasoners. Lecture Notes in Artificial Intelligence, 5348 LNAI, 1-14. https://doi.org/10.1007/978-3-642-00431-5_1

We present a framework for the automated verification of time and communication requirements in systems of distributed rule-based reasoning agents which allows us to determine how many rule-firing cycles are required to solve the problem, how many me... Read More about Verifying time and communication costs of rule-based reasoners.

Direct numerical simulation of multiple jets in cross-flow (2009)
Journal Article
Yao, Y. (2009). Direct numerical simulation of multiple jets in cross-flow. Modern Physics Letters B, 23(3), 249-252. https://doi.org/10.1142/S0217984909018126

Direct numerical simulation has been performed to study flow interactions in multiple jets in cross-flow. Configurations considered are twin jets side-by-side and triple jets in tandem. Computations are carried out at the jet to cross-flow velocity r... Read More about Direct numerical simulation of multiple jets in cross-flow.

CFD modelling of water injection for turbine blade cleaning (2009)
Journal Article
Yao, J., Yao, Y., Mason, P., Zhang, T., Heyes, F. J. G., & Roach, P. E. (2009). CFD modelling of water injection for turbine blade cleaning. Modern Physics Letters B, 23(3), 341-344. https://doi.org/10.1142/S0217984909018357

CFD modeling of water injection for turbine blade cleaning has been carried out to predict the water coverage on a stationary blade row, which will enable a better understanding on the interactions between hot-air flow and cold-water droplets. A gene... Read More about CFD modelling of water injection for turbine blade cleaning.

Using urban man-made ponds to reconstruct a 150-year history of air pollution in northwest England (2009)
Journal Article
Power, A. L., & Worsley, A. T. (2009). Using urban man-made ponds to reconstruct a 150-year history of air pollution in northwest England. Environmental Geochemistry and Health, 31(2), 327-338. https://doi.org/10.1007/s10653-008-9215-4

A regional pollution history has been reconstructed for the borough of Halton (northwest England) from four urban ponds in north Cheshire and south Merseyside, using environmental analyses of lake sediment stratigraphies. Mineral magnetism, geochemis... Read More about Using urban man-made ponds to reconstruct a 150-year history of air pollution in northwest England.

Magneto-biomonitoring of intra-urban spatial variations of particulate matter using tree leaves (2009)
Journal Article
Power, A. L., Worsley, A. T., & Booth, C. (2009). Magneto-biomonitoring of intra-urban spatial variations of particulate matter using tree leaves. Environmental Geochemistry and Health, 31(2), 315-325. https://doi.org/10.1007/s10653-008-9217-2

Preliminary mineral magnetic results from a pilot project investigating the suitability of roadside tree leaves as depositories of vehicular pollution are presented. Tree leaf surfaces (Lime: Tilia europaea; Sycamore: Acer pseudoplatanus) at four roa... Read More about Magneto-biomonitoring of intra-urban spatial variations of particulate matter using tree leaves.