Skip to main content

Research Repository

Advanced Search

All Outputs (125)

Towards improving numerical weather predictions by evolutionary computing techniques (2012)
Journal Article
Senar, M. A., Cortés, A., & Ihshaish, H. (2012). Towards improving numerical weather predictions by evolutionary computing techniques. Procedia Computer Science, 9, 1056-1063. https://doi.org/10.1016/j.procs.2012.04.114

Weather forecasting is complex and not always accurate, moreover, it is generally defined by its very nature as a process that has to deal with uncertainties. In a previous work, a new weather prediction scheme was presented, which uses evolutionary... Read More about Towards improving numerical weather predictions by evolutionary computing techniques.

Parallel multi-level genetic ensemble for numerical weather prediction enhancement (2012)
Journal Article
Senar, M. A., Ihshaish, H., & Cortés, A. (2012). Parallel multi-level genetic ensemble for numerical weather prediction enhancement. Procedia Computer Science, 9, 276-285. https://doi.org/10.1016/j.procs.2012.04.029

The need for reliable predictions in environmental modelling is well-known. Particularly, the predicted weather and meteorological information about the future atmospheric state is crucial and necessary for almost all other areas of environmental mod... Read More about Parallel multi-level genetic ensemble for numerical weather prediction enhancement.

A genetic algorithm approach for multiuser scheduling on the LTE downlink (2012)
Journal Article
Aydin, M. E., Kwan, R., Ding, W., & Wu, J. (2012). A genetic algorithm approach for multiuser scheduling on the LTE downlink. Lecture Notes in Artificial Intelligence, 2198, 1252-1257

The problem of multi-user radio resource scheduling on the downlink of a Long Term Evolution (LTE) cellular communication system is addressed in this paper. The optimization model used imposed that the radio resources for multiple users are jointly a... Read More about A genetic algorithm approach for multiuser scheduling on the LTE downlink.

"Maybe it becomes a buddy, but do not call it a robot" - Seamless cooperation between companion robotics and smart homes (2011)
Journal Article
Van Den Heuvel, H., Huijnen, C., Badii, A., Heuvel, H., Caleb-Solly, P., & Thiemert, D. (2011). "Maybe it becomes a buddy, but do not call it a robot" - Seamless cooperation between companion robotics and smart homes. Lecture Notes in Artificial Intelligence, 7040 LNCS, 324-329. https://doi.org/10.1007/978-3-642-25167-2_44

This paper describes the findings arising from ongoing qualitative usability evaluation studies on mobile companion robotics in smart home environments from two research projects focused on socio-technical innovation to support independent living (Co... Read More about "Maybe it becomes a buddy, but do not call it a robot" - Seamless cooperation between companion robotics and smart homes.

Semantic annotation for indexing archaeological context: A prototype development and evaluation (2011)
Journal Article
Vlachidis, A., & Tudhope, D. (2011). Semantic annotation for indexing archaeological context: A prototype development and evaluation. Communications in Computer and Information Science, 240 CCIS, 363-374. https://doi.org/10.1007/978-3-642-24731-6_37

The paper discusses the process of developing Semantic Annotations, a form of metadata for assigning conceptual entities to textual instances, in this case archaeological grey literature. The use of Information Extraction (IE), a Natural Language Pro... Read More about Semantic annotation for indexing archaeological context: A prototype development and evaluation.

Cameras as cultural probes in requirements gathering - Exploring their potential in supporting the design of assistive technology (2011)
Journal Article
Caleb-Solly, P., Flind, A., & Vargheese, J. P. (2011). Cameras as cultural probes in requirements gathering - Exploring their potential in supporting the design of assistive technology. https://doi.org/10.1109/CBMS.2011.5999158

A pre-requisite for a human-centred design approach to technology development is gaining an intimate understanding of not only the people for whom the technology is being designed, but also the contexts within which they will be using it. This paper... Read More about Cameras as cultural probes in requirements gathering - Exploring their potential in supporting the design of assistive technology.

Distributed receiver/receiver synchronization in wireless sensor networks: New solution and joint offset/skew estimators for Gaussian delays (2011)
Journal Article
Djenouri, D. (2011). Distributed receiver/receiver synchronization in wireless sensor networks: New solution and joint offset/skew estimators for Gaussian delays. Lecture Notes in Artificial Intelligence, 6843 LNCS, 13-24. https://doi.org/10.1007/978-3-642-23490-3_2

This paper proposes a new synchronization protocol for wireless sensor networks (WSN). The proposed protocols is based on the receive/reieve approach, which was introduced by the Reference Broadcast Synchronization (RBS). This approach has been chose... Read More about Distributed receiver/receiver synchronization in wireless sensor networks: New solution and joint offset/skew estimators for Gaussian delays.

Towards a mapping of modern AIS and LCS (2011)
Journal Article
Bull, L. (2011). Towards a mapping of modern AIS and LCS. Lecture Notes in Artificial Intelligence, 6825 LNCS, 371-382. https://doi.org/10.1007/978-3-642-22371-6_32

For many years correlations between aspects of Artificial Immune Systems (AIS) and Learning Classifier Systems (LCS) have been highlighted. However, neither field appears to have benefitted from such work not least since the differences between the t... Read More about Towards a mapping of modern AIS and LCS.

Automated verification of resource requirements in multi-agent systems using abstraction (2011)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2011). Automated verification of resource requirements in multi-agent systems using abstraction. Lecture Notes in Artificial Intelligence, 6572 LNAI, 69-84. https://doi.org/10.1007/978-3-642-20674-0_5

We describe a framework for the automated verification of multi-agent systems which do distributed problem solving, e.g. query answering. Each reasoner uses facts, messages and Horn clause rules to derive new information. We show how to verify correc... Read More about Automated verification of resource requirements in multi-agent systems using abstraction.

Groth-Sahai proofs revisited (2010)
Journal Article
Smart, N. P., Ghadafi, E., & Warinschi, B. (2010). Groth-Sahai proofs revisited. Lecture Notes in Artificial Intelligence, 6056 LNCS, 177-192. https://doi.org/10.1007/978-3-642-13013-7_11

Since their introduction in 2008, the non-interactive zero-knowledge (NIZK) and non-interactive witness indistinguishable (NIWI) proofs designed by Groth and Sahai have been used in numerous applications. In this paper, we offer two contributions to... Read More about Groth-Sahai proofs revisited.

Use of a connection-selection scheme in neural XCSF (2010)
Journal Article
Howard, G. D., Bull, L., & Lanzi, P. L. (2010). Use of a connection-selection scheme in neural XCSF. Lecture Notes in Artificial Intelligence, 6471 LNAI, 87-106. https://doi.org/10.1007/978-3-642-17508-4_7

XCSF is a modern form of Learning Classifier System (LCS) that has proven successful in a number of problem domains. In this paper we exploit the modular nature of XCSF to include a number of extensions, namely a neural classifier representation, sel... Read More about Use of a connection-selection scheme in neural XCSF.

Identifying trade entry and exit timing using mathematical technical indicators in XCS (2010)
Journal Article
Preen, R. (2010). Identifying trade entry and exit timing using mathematical technical indicators in XCS. Lecture Notes in Artificial Intelligence, 6471 LNAI, 166-184. https://doi.org/10.1007/978-3-642-17508-4_11

This paper extends current LCS research into financial time series forecasting by analysing the performance of agents utilising mathematical technical indicators for both environment classification and in selecting actions to be executed. It compares... Read More about Identifying trade entry and exit timing using mathematical technical indicators in XCS.

Privacy compliance and enforcement on European healthgrids: An approach through ontology (2010)
Journal Article
Rahmouni, H. B., Solomonides, T., Mont, M. C., & Simon Shiu, S. (2010). Privacy compliance and enforcement on European healthgrids: An approach through ontology. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 368(1926), 4057-4072. https://doi.org/10.1098/rsta.2010.0169

The sharing of medical data between different healthcare organizations in Europe must comply with the legislation of the Member State where the data were originally collected. These legal requirements may differ from one state to another. Privacy req... Read More about Privacy compliance and enforcement on European healthgrids: An approach through ontology.

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.

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.