All Outputs (73)
A Comparison of two Proof Critics: Power vs. Robustness (2002)
Conference Proceeding
Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through. We consider the proof of the $quot;wh... Read More about A Comparison of two Proof Critics: Power vs. Robustness.
In vivo models of lung neutrophil activation. Comparison of mice and hamsters (2002)
Journal Article
BACKGROUND: Evidence suggests that both the migration and activation of neutrophils into the airway is of importance in pathological conditions such as pulmonary emphysema. In the present study, we describe in vivo models of lung neutrophil infiltrat... Read More about In vivo models of lung neutrophil activation. Comparison of mice and hamsters.
The NumbersWithNames Program (2002)
Conference Proceeding
We present the NumbersWithNames program which performs data-mining on the Encyclopedia of Integer Sequences to find interesting conjectures in number theory. The program forms conjectures by finding empirical relationships between a sequence chosen... Read More about The NumbersWithNames Program.
A Recommender System based on the Immune Network (2002)
Conference Proceeding
Abstract-The immune system is a complex biological system with a highly distributed, adaptive and self-organising nature. This paper presents an artificial immune system (AIS) that exploits some of these characteristics and is applied to the task of... Read More about A Recommender System based on the Immune Network.
'On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems' (2002)
Conference Proceeding
It has previously been shown that a recommender based on immune system idiotypic principles can outperform one based on correlation alone. This paper reports the results of work in progress, where we undertake some investigations into the nature of t... Read More about 'On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems'.
Knowledge discovery in hyper-heuristic using case-based reasoning on course timetabling (2002)
Conference Proceeding
This paper presents a new hyper-heuristic method using Case-Based Reasoning (CBR) for solving course timetabling problems. The term Hyper-heuristics has recently been employed to refer to 'heuristics that choose heuristics' rather than heuristics tha... Read More about Knowledge discovery in hyper-heuristic using case-based reasoning on course timetabling.
Prevalence and abundance of Cryptosporidium parvum and Giardia spp. in wild rural rodents from the Mazury Lake District region of Poland (2002)
Journal Article
Prevalence and abundance of Cryptosporodium parvum and Giardia spp. were studied in 3 species of rodents from forests and abandoned agricultural fields in N.E. Poland (Clethrionomys glareolus n=459; Microtus arvalis n=274; Apodemus flavicollis n=209)... Read More about Prevalence and abundance of Cryptosporidium parvum and Giardia spp. in wild rural rodents from the Mazury Lake District region of Poland.
Non-Symbolic Fragmentation (2002)
Conference Proceeding
This paper reports on the use of non-symbolic fragmentation of data for securing communications. Non-symbolic fragmentation, or NSF, relies on breaking up data into non-symbolic fragments, which are (usually irregularly-sized) chunks whose boundaries... Read More about Non-Symbolic Fragmentation.
'Enhanced Direct and Indirect Genetic Algorithm Approaches for a Mall Layout and Tenant Selection Problem' (2002)
Journal Article
During our earlier research, it was recognised that in order to be successful with an indirect genetic algorithm approach using a decoder, the decoder has to strike a balance between being an optimiser in its own right and finding feasible solutions.... Read More about 'Enhanced Direct and Indirect Genetic Algorithm Approaches for a Mall Layout and Tenant Selection Problem'.
Partnering Strategies for Fitness Evaluation in a Pyramidal Evolutionary Algorithm (2002)
Conference Proceeding
This paper combines the idea of a hierarchical distributed genetic algorithm with different inter-agent partnering strategies. Cascading clusters of sub-populations are built from bottom up, with higher-level sub-populations optimising larger parts o... Read More about Partnering Strategies for Fitness Evaluation in a Pyramidal Evolutionary Algorithm.
An indirect genetic algorithm for set covering problems (2002)
Journal Article
This paper presents a new type of genetic algorithm for the set covering problem. It differs from previous evolutionary approaches first because it is an indirect algorithm, i.e. the actual solutions are found by an external decoder function. The gen... Read More about An indirect genetic algorithm for set covering problems.