Skip to main content

Research Repository

Advanced Search

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.