Skip to main content

Research Repository

Advanced Search

All Outputs (46017)

Rippling in PVS (2003)
Presentation / Conference Contribution
Adams, A. A., & Dennis, L. A. (2003). Rippling in PVS. In M. Archer, B. Di Vito, & C. Munoz (Eds.),

Rippling is a method of controlling rewriting of the terms in an induction step of an inductive proof, to ensure that a position is reached whereby the induction hypothesis can be applied.
Rippling was developed primarily by the Mathematical Reasoni... Read More about Rippling in PVS.

Danger theory: the link between AIS and IDS? (2003)
Book Chapter
Aickelin, U., Bentley, P., Cayzer, S., Kim, J., & McLeod, J. (2003). Danger theory: the link between AIS and IDS?. In J. Timmis, P. Bentley, & E. Hart (Eds.), Artificial immune systems: second international conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003: proceedings. Springer. https://doi.org/10.1007/978-3-540-45192-1_15

We present ideas about creating a next generation Intrusion Detection System (IDS) based on the latest immunological theories. The central challenge with computer security is determining the difference between normal and potentially
harmful activity... Read More about Danger theory: the link between AIS and IDS?.

'On the Application of Hierarchical Coevolutionary Genetic Algorithms: Recombination and Evaluation Partners' (2003)
Journal Article
Aickelin, U., & Bull, L. (2003). 'On the Application of Hierarchical Coevolutionary Genetic Algorithms: Recombination and Evaluation Partners'

This paper examines the use of a hierarchical coevolutionary genetic algorithm under different partnering strategies. Cascading clusters of sub-populations are built from the bottom up, with higher-level sub-populations optimising larger parts of the... Read More about 'On the Application of Hierarchical Coevolutionary Genetic Algorithms: Recombination and Evaluation Partners'.

The contribution of community pharmacy to improving the public's health. Report 1, Evidence from the peer-reviewed literature 1990–2001 (2003)
Book
Anderson, C., Blenkinsopp, A., & Armstrong, M. (2003). The contribution of community pharmacy to improving the public's health. Report 1, Evidence from the peer-reviewed literature 1990–2001. PharmacyHealthLink and the Royal Pharmaceutical Society of Great Britain

The modernisation of the NHS has highlighted the
Government's intent to improve the public’s access to
health services, information on preventing ill health and
support for self-care. Community pharmacies are in a
strong position to contribute to... Read More about The contribution of community pharmacy to improving the public's health. Report 1, Evidence from the peer-reviewed literature 1990–2001.

Adaptation of the MacNew quality of life questionnaire after myocardial infarction in an Iranian population (2003)
Journal Article
Asadi-Lari, M., Javadi, H., Melville, M., Oldridge, N., & Gray, D. (2003). Adaptation of the MacNew quality of life questionnaire after myocardial infarction in an Iranian population. Health and Quality of Life Outcomes, 1(1),

BACKGROUND: Health-related quality of life (HRQL) assessment is an important measure of the impact of a wide range of disease process on an individual. To date, no HRQL tool has been evaluated in an Iranian population with cardiovascular disorders, s... Read More about Adaptation of the MacNew quality of life questionnaire after myocardial infarction in an Iranian population.

Is quality of life measurement likely to be a proxy for health needs assessment in patients with coronary artery disease? (2003)
Journal Article
Asadi-Lari, M., Packham, C., & Gray, D. (2003). Is quality of life measurement likely to be a proxy for health needs assessment in patients with coronary artery disease?. Health and Quality of Life Outcomes, 1(1),

BACKGROUND: The identification of patients' health needs is pivotal in optimising the quality of health care, increasing patient satisfaction and directing resource allocation. Health needs are complex and not so easily evaluated as health-related qu... Read More about Is quality of life measurement likely to be a proxy for health needs assessment in patients with coronary artery disease?.

Need for redefining needs (2003)
Journal Article
Asadi-Lari, M., Packham, C., & Gray, D. (2003). Need for redefining needs. Health and Quality of Life Outcomes, 1(1),

Defining needs is difficult due to the inherent complexity of the concept of 'need', so it is not surprising that numerous definitions have been proposed. 'Health' consists of a wide range of characteristics so 'health needs' ought to include persona... Read More about Need for redefining needs.

Patients' satisfaction and quality of life in coronary artery disease (2003)
Journal Article
Asadi-Lari, M., Packham, C., & Gray, D. (2003). Patients' satisfaction and quality of life in coronary artery disease. Health and Quality of Life Outcomes, 1(1),

OBJECTIVES: To assess satisfaction of survivors of coronary artery diseases (CAD) with healthcare services and to determine whether specific components of standard health-related quality of life (HRQL) assessment tools might identify areas of satisfa... Read More about Patients' satisfaction and quality of life in coronary artery disease.

Unmet health needs in patients with coronary heart disease: implications and potential for improvement in caring services (2003)
Journal Article
Asadi-Lari, M., Packham, C., & Gray, D. (2003). Unmet health needs in patients with coronary heart disease: implications and potential for improvement in caring services. Health and Quality of Life Outcomes, 1(1),

BACKGROUND: Improving the quality of health care services requires tailoring facilities to fulfil patients' needs. Satisfying patients' healthcare needs, listening to patients' opinions and building a closer provider-user partnership are central to t... Read More about Unmet health needs in patients with coronary heart disease: implications and potential for improvement in caring services.

Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements (2003)
Presentation / Conference Contribution
Bagley, S. R., Brailsford, D. F., & Hardy, M. R. B. (2003). Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements. In C. Vanoirbeek, C. Roisin, & E. Munson (Eds.),

Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Although each of the pages in a PDF document is an independent graphic objec... Read More about Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements.

Local variation in helminth burdens of Egyptian spiny mice (Acomys cahirinus dimidiatus) from ecologically similar sites: relationships with hormone concentrations and social behaviour (2003)
Journal Article
Barnard, C., Sayed, E., Barnard, L., Behnke, J., Abdel Nabi, I., Sherif, N., …Zalat, S. (2003). Local variation in helminth burdens of Egyptian spiny mice (Acomys cahirinus dimidiatus) from ecologically similar sites: relationships with hormone concentrations and social behaviour. Journal of Helminthology, 77(3), https://doi.org/10.1079/JOH2003189

Populations of Egyptian spiny mice (Acomys cahirinus dimidiatus) in a fragmented montane wadi system in the Sinai showed significant differences in the abundance of gut helminths. Differences in parasite load between populations were positively assoc... Read More about Local variation in helminth burdens of Egyptian spiny mice (Acomys cahirinus dimidiatus) from ecologically similar sites: relationships with hormone concentrations and social behaviour.

Paracrine effects of oocyte secreted factors and stem cell factor on porcine granulosa and theca cells in vitro (2003)
Journal Article
Brankin, V., Mitchell, M., Webb, B., & Hunter, M. (2003). Paracrine effects of oocyte secreted factors and stem cell factor on porcine granulosa and theca cells in vitro. Reproductive Biology and Endocrinology, 1(1),

Oocyte control of granulosa and theca cell function may be mediated by several growth factors via a local feedback loop(s) between these cell types. This study examined both the role of oocyte-secreted factors on granulosa and thecal cells, cultured... Read More about Paracrine effects of oocyte secreted factors and stem cell factor on porcine granulosa and theca cells in vitro.

Similarity Measures for Exam Timetabling Problems (2003)
Presentation / Conference Contribution
Burke, E., Eckersley, A., McCollum, B., Petrovic, S., & Qu, R. (2003). Similarity Measures for Exam Timetabling Problems.

A large number of heuristic algorithms have been developed over the years which have been aimed at solving examination timetabling problems. However, many of these algorithms have been developed specifically to solve one particular problem instance o... Read More about Similarity Measures for Exam Timetabling Problems.

Modern trends in evidence scholarship: is all rosy in the garden? (2003)
Journal Article
Jackson, J. (2003). Modern trends in evidence scholarship: is all rosy in the garden?

This article reviews the state of evidence scholarship in the early 21st century and argues that it has been enriched by drawing upon a range of different disciplines including social psychology,cognitive science, forensic psychology, mathematics, li... Read More about Modern trends in evidence scholarship: is all rosy in the garden?.

'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem' (2003)
Presentation / Conference Contribution
Li, J., & Aickelin, U. (2003). 'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem'.

Abstract- A Bayesian optimization algorithm for the nurse scheduling problem is presented, which involves choosing a suitable scheduling rule from a set for each nurse's assignment. Unlike our previous work that used GAs to implement implicit learnin... Read More about 'A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem'.

'Explicit Learning: an Effort towards Human Scheduling Algorithms' (2003)
Presentation / Conference Contribution
Li, J., & Aickelin, U. (2003). 'Explicit Learning: an Effort towards Human Scheduling Algorithms'.

Abstract

Scheduling problems are generally NP-hard combinatorial problems, and a lot of research has been done to solve these problems heuristically. However, most of the previous approaches are problem-specific and research into the development o... Read More about 'Explicit Learning: an Effort towards Human Scheduling Algorithms'.

A Bayesian optimization algorithm for the nurse scheduling problem (2003)
Presentation / Conference Contribution
Li, J., & Aickelin, U. (2003). A Bayesian optimization algorithm for the nurse scheduling problem.

A Bayesian optimization algorithm for the nurse scheduling problem is presented, which involves choosing a suitable scheduling rule from a set for each nurse’s assignment. Unlike our previous work that used GAs to implement implicit learning, the lea... Read More about A Bayesian optimization algorithm for the nurse scheduling problem.