Jolly, Kate, Taylor, Rod S., Lip, Gregory Y.H., Davies, Mick, Davis, Russell, Mant, Jonathan, ...
Aims Supervised exercise can benefit selected patients with heart failure, however the effectiveness of home-based exercise remains uncertain. We aimed to assess the effectiveness of a home-based...
Cooperating Reasoning Processes: More than just the Sum of their Parts ∗ (2008)
Bernard Silver, Julian Richardson, Alan Smaill, Andrew Stevens, Alan Bundy
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning process can achieve...
Mohammed, Mohammed A., Mant, Jonathan, Bentham, Louise, Stevens, Andrew, Hussain, Shakir
Objectives. To compare the process of care of stroke patients with and without a do not resuscitate (DNR) order. Design. Retrospective case note review with prospective follow up of mortality....
Simpson, Sue, Packer, Claire, Stevens, Andrew, Raftery, James
Objectives: The aim of this study was to develop a framework to predict the impact of new health technologies on average length of hospital stay. Methods: A literature search of EMBASE, MEDLINE, Web...
Mohammed, Mohammed A., Mant, Jonathan, Bentham, Louise, Stevens, Andrew, Hussain, Shakir
Objectives. To compare the process of care of stroke patients with and without a do not resuscitate (DNR) order. Design. Retrospective case note review with prospective follow up of mortality....
Mohammed, Mohammed A., Mant, Jonathan, Bentham, Louise, Stevens, Andrew, Hussain, Shakir
Objectives. To compare the process of care of stroke patients with and without a do not resuscitate (DNR) order. Design. Retrospective case note review with prospective follow up of mortality....
HTA responses and the classic HTA report (2003)
Milne, Ruairidh, Clegg, Andrew, Stevens, Andrew
Reports produced in response to the need for health technology assessment (HTA) vary greatly in the methods they use, depending on the decision‐maker's needs, the technology's characteristics...
Health technology assessment: history and demand (2003)
Stevens, Andrew, Milne, Ruairidh, Burls, Amanda
Health technology assessment (HTA) – the provision to decision makers of information on the value of treatments and tests – has come of age in the last two decades. But it has deep roots in...
Web résumé and list of projects: www.4serendipity.com/resume/ (2002)
Provided in-person, telephone, and Internet-based (email and chat) reference to a diverse University clientele. Instructed library clientele in the effective use of online databases and research...
Identifying 'non-medical' datasets to monitor community health and well-being (2001)
Saunders, Patrick, Mathers, Jonathan, Parry, Jayne, Stevens, Andrew
Background The aim of the study was to identify ‘non‐medical’ datasets holding routinely collected information that might be used to measure and monitor the wider determinants of community...
Health care needs assessment in prisons: a toolkit (2001)
Marshall, Tom, Simpson, Sue, Stevens, Andrew
Background Since 1999, prison health services and health authorities have been jointly responsible for assessing the health care needs of the prison population. To facilitate this process, the...
Estimating the burden of disease in an English region (1997)
Bowie, Cameron, Beck, Sarah, Stevan, Andrew, Bevan, Gwyn, Raftery, James, Silverton, Franscesca, ...
Background Health Authorities seeking to make appropriateinvestments in health care require information about thenature of the burden of disease in their populations. TheWorld Bank instrument called...
Rippling: A Heuristic for Guiding Inductive Proofs (1993)
Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill
We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This tactic significantly reduces the search for a proof of a wide variety of inductive...
A Rational Reconstruction and Extension of Recursion Analysis (1992)
Alan Bundy, Frank Van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
The focus of this paper is the technique of recursion analysis. Recursion analysis is used by the Boyer-Moore Theorem Prover to choose an appropriate induction schema and variable to prove theorems...
An improved method for the mechanisation of inductive proof. (1989)
Thesis (Ph. D.)--University of Edinburgh, 1989.
A rational reconstruction and extension of recursion analysis (1989)
Alan Bundy, Frank Van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
The focus of this paper is the technique of recur8\on analysis. Recursion analysis is used by the Boyer-Moore Theorem Prover to choose an appropriate induction schema and variable to prove theorems...
Mohammed, Mohammed A, Rathbone, Anthony, Myers, Paulette, Patel, Divya, Onions, Helen, Stevens, Andrew
Objective To identify a credible explanation for the excessively high mortality associated with general practitioners who were flagged up by the Shipman inquiry.
Monitoring clinical trials—interim data should be publicly available
Lilford, Richard J, Braunholtz, David, Edwards, Sarah, Stevens, Andrew
Keeping pace with new technologies: systems needed to identify and evaluate them
Stevens, Andrew, Milne, Ruairidh, Lilford, Richard, Gabbay, John
Adjusting for treatment refusal in rationing decisions
Lilford, Richard, Girling, Alan, Stevens, Andrew, Almasri, Abdullah, Mohammed, Mohammed A, Braunholtz, David
Assessments of cost effectiveness are increasingly used to get the most value from limited health resources. Could adjusting for people who wouldn't want the treatment improve the process?
Admissions processes for five year medical courses at English schools: review
Parry, Jayne, Mathers, Jonathan, Stevens, Andrew, Parsons, Amanda, Lilford, Richard, Spurgeon, Peter, ...
Objective To describe the current methods used by English medical schools to identify prospective medical students for admission to the five year degree course.
Mohammed, Mohammed A, Rathbone, Anthony, Myers, Paulette, Patel, Divya, Onions, Helen, Stevens, Andrew
Objective To identify a credible explanation for the excessively high mortality associated with general practitioners who were flagged up by the Shipman inquiry.
Monitoring clinical trials—interim data should be publicly available
Lilford, Richard J, Braunholtz, David, Edwards, Sarah, Stevens, Andrew
Keeping pace with new technologies: systems needed to identify and evaluate them
Stevens, Andrew, Milne, Ruairidh, Lilford, Richard, Gabbay, John
Adjusting for treatment refusal in rationing decisions
Lilford, Richard, Girling, Alan, Stevens, Andrew, Almasri, Abdullah, Mohammed, Mohammed A, Braunholtz, David
Assessments of cost effectiveness are increasingly used to get the most value from limited health resources. Could adjusting for people who wouldn't want the treatment improve the process?
Admissions processes for five year medical courses at English schools: review
Parry, Jayne, Mathers, Jonathan, Stevens, Andrew, Parsons, Amanda, Lilford, Richard, Spurgeon, Peter, ...
Objective To describe the current methods used by English medical schools to identify prospective medical students for admission to the five year degree course.
The value of administrative databases
Mohammed, Mohammed A, Stevens, Andrew
Is improving but their contribution to improving quality of care remains unclear
Arnold, David, Girling, Alan, Stevens, Andrew, Lilford, Richard
Background and objective Utilities (values representing preferences) for healthcare priority setting are typically obtained indirectly by asking patients to fill in a quality of life questionnaire...