David Cooper

Publication List Details

Period

1955 - 2009

Number

135

Co-Authors

Formal Aspects of Computing The certification of the Mondex electronic purse to ITSEC Level E6 (2009)

Jim Woodcock, Susan Stepney, David Cooper, John Clark, Jeremy Jacob

Abstract. Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assurance for secure systems. This involved building formal models in the Z notation, linking...

Can one invasion lead to another? Niche space and the future of Southwestern U.S. riparian zones (2009)

Lindsay Reynolds, David Cooper

Background/Question/Methods: Invasive species are increasingly problematic world-wide. Scientists working to understand why invasive species are successful must first understand the processes of...

Praxis Critical Systems (2009)

Samantha Lautieri, David Cooper, David Jackson, Bath England

www.praxis-cs.co.uk www.safsec.com Many systems, particularly in the military domain, must be certified or accredited by both safety and security authorities. Current practice argues safety and...

Abstract Java Implementation Verification Using Reverse Engineering (2008)

David Cooper, Benjamin Khoo, Michael Robey

An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during reverse...

Expert Testimony, Daubert, and the Determination of Damages (2008)

Cooper, David, Tomlin, Jonathan T

The Supreme Court's decision in Daubert v. Merrell Dow Pharmaceuticals placed federal judges in the role of "gatekeepers" empowered to screen out unreliable expert testimony. We address the impact of...

Expert Testimony, Daubert, and the Determination of Damages (2008)

Cooper, David, Tomlin, Jonathan T

The Supreme Court's decision in Daubert v. Merrell Dow Pharmaceuticals placed federal judges in the role of "gatekeepers" empowered to screen out unreliable expert testimony. We address the impact of...

Expert Testimony, Daubert, and the Determination of Damages (2008)

Cooper, David, Tomlin, Jonathan T

The Supreme Court's decision in Daubert v. Merrell Dow Pharmaceuticals placed federal judges in the role of "gatekeepers" empowered to screen out unreliable expert testimony. We address the impact of...

Expert Testimony, Daubert, and the Determination of Damages (2008)

Cooper, David, Tomlin, Jonathan T

The Supreme Court's decision in Daubert v. Merrell Dow Pharmaceuticals placed federal judges in the role of "gatekeepers" empowered to screen out unreliable expert testimony. We address the impact of...

Abstract E-Publishing Portal: A New Approach to Faculty Outreach (2008)

Nedelina Tchangalova, David Cooper

The recent journal price increases and state-wide budget cuts have forced librarians at the University of Maryland (UMD) to make outright cancellations to journals. The implementation of an in-house...

The use of Z (2008)

Rosalind Barden, Susan Stepney, David Cooper, Copyright Logica

During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applications. Many...

Software Engineers and Engineering: A Survey of Undergraduate Preconceptions (2008)

Jim Ivins, David Cooper, Michael Robey

Abstract- Past research has demonstrated that student misconceptions about degree programs can negatively affect enrolment and retention rates. Software engineering is a relatively new discipline...

Preface Globalisation and the coordinating of work in multi-national audits (2008)

Michael Barrett, David Cooper, Karim Jamal, Discussant David Marginson

At a personal level, I am heartened by this excellent piece of research, for it indicates that harmonisation is difficult if not impossible to achieve. The world to me would be a much impoverished...

The Benefit of Information Technology in Managing Outcomes (2008)

Focused Curriculum Development, Allan Loh, Mike Robey, Susan J. Gribble, Jim Ivins, ...

This paper describes an interactive, web-based tool that provides access to an Outcomes Database for managing an Outcomes Focused curriculum plan. The approach provides a rapid way to involve subject...

Checklist based reading's influence on a developer's understanding (2008)

McMeekin, David, Von Konsky, Brian, Chang, Elizabeth, Cooper, David

This paper addresses the influence the Checklist Based Reading inspection technique has on a developer's ability to modify inspected code. Traditionally, inspections have been used to detect defects...

Contents (2007)

David Cooper, Susan Stepney, Jim Woodcock

1.1 Structure of the derivations 2

Management Control, Expectations, Common Knowledge and Culture Shyam Sunder (2007)

Jacob Birnberg, David Cooper, William W. Cooper, J. Harry Evans, Susan Haka, Karim Jamal, ...

Control in organizations can be defined as expectational equilibrium, or correspondence between how the members of an organization behave, and how they are expected to behave by others. Using a...

Java Implementation Verification Using Reverse Engineering (2007)

David Cooper Benjamin, David Cooper, Benjamin Khoo, Michael Robey

An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during reverse...

E-Publishing Portal: A New Approach to Faculty Outreach (2006)

Tchangalova, Nedelina, Cooper, David

Article published in the Proceedings ELPUB2006 Conference on Electronic Publishing – Bansko, Bulgaria – June 2006

E-Publishing Portal: A New Approach to Faculty Outreach (2006)

Tchangalova, Nedelina, Cooper, David

Article published in the Proceedings ELPUB2006 Conference on Electronic Publishing – Bansko, Bulgaria – June 2006

Floating Heavy Oil Recovery: Current State Analysis (2006)

Cooper, David

Spills of heavy oils behave differently than lighter oils which affects recovery operations and costs. The oils are typically viscous and sticky in nature, and may require specialized equipment to...

A randomized, placebo-controlled phase I trial of DNA prime, recombinant fowlpox virus boost prophylactic vaccine for HIV-1. (2006)

Kelleher, Anthony D., Puls, Rebekah L., Bebbington, Mark, Boyle, David, Ffrench, Rosemary, Kent, Stephen J., ...

An HIV-vaccine consisting of a DNA prime, recombinant fowlpox virus (rFPV) boost was evaluated in a double-blind placebo controlled trial. One milligram of pHIS–HIV-B expressing mutated gag, pol,...

A randomized, placebo-controlled phase I trial of DNA prime, recombinant fowlpox virus boost prophylactic vaccine for HIV-1. (2006)

Kelleher, Anthony D., Puls, Rebekah L., Bebbington, Mark, Boyle, David, Ffrench, Rosemary, Kent, Stephen J., ...

An HIV-vaccine consisting of a DNA prime, recombinant fowlpox virus (rFPV) boost was evaluated in a double-blind placebo controlled trial. One milligram of pHIS–HIV-B expressing mutated gag, pol,...

Successful management of lymphangiomatosis and chylothorax in a 7-month-old infant (2006)

Burgess, Scott, Harris, Margaret, Dakin, Carolyn, Borzi, Peter, Ryan, Christopher, Cooper, David

A 7-month old infant presented with an effusion and multiple lesions in his spleen. A diagnosis of lymphangiomatosis was made based on chylous effusion and an MRI demonstrating numerous enhancing...

Nonlinear Tracking by Trajectory Regulation Control using Backstepping Method (2005)

Cooper, David

This thesis presents the development of nonlinear tracking by Trajectory Regulation Control using the Backstepping method. The purpose of this thesis is to perform a feasibility study on the...

Nonlinear Tracking by Trajectory Regulation Control using Backstepping Method (2005)

Cooper, David

This thesis presents the development of nonlinear tracking by Trajectory Regulation Control using the Backstepping method. The purpose of this thesis is to perform a feasibility study on the...

Editor's Notes (2004)

Cooper, David.

Fourth Genre: Explorations in Nonfiction - Volume 6, Number 1, Spring 2004

The shadow in the balance sheet: The spectre of Enron and how accountants use the past as a psychological defence against the future. (2004)

Cooper, David, James, Kim, Kwiatkowski, Richard, Taffler, Richard

Accounting frameworks play a crucial role in enabling us to make sense of business. These frameworks provide a common language for individuals, organizations and broader economic groupings to...

When does learning in games generate convergence to Nash equilibria? The role of supermodularity in an experimental setting (2004)

Robert Gazzale, Charles Brown, David Cooper, Julie Cullen, Jacob Goeree, ...

This study clarifies the conditions under which learning in games produces convergence to Nash equilibria in practice. We experimentally investigate the role of supermodularity, which is closely...

Editor's Notes (2003)

Cooper, David.

Fourth Genre: Explorations in Nonfiction - Volume 5, Number 1, Spring 2003

Pharmacokinetics and pharmacodynamics of indinavir with or without low-dose ritonavir in HIV-infected Thai patients (2003)

Burger, David, Boyd, Mark, Duncombe, Chris, Felderhof, Mariet, Mahanontharit, Apicha, Ruxrungtham, Kiat, ...

Objectives: To describe the pharmacokinetics and pharmacodynamics of indinavir with or without low-dose ritonavir in human immunodeficiency virus (HIV)-infected Thai patients. Patients and methods:...

Pharmacokinetics and pharmacodynamics of indinavir with or without low-dose ritonavir in HIV-infected Thai patients (2003)

Burger, David, Boyd, Mark, Duncombe, Chris, Felderhof, Mariet, Mahanontharit, Apicha, Ruxrungtham, Kiat, ...

Objectives: To describe the pharmacokinetics and pharmacodynamics of indinavir with or without low-dose ritonavir in human immunodeficiency virus (HIV)-infected Thai patients. Patients and methods:...

Pharmacokinetics and pharmacodynamics of indinavir with or without low-dose ritonavir in HIV-infected Thai patients (2003)

Burger, David, Boyd, Mark, Duncombe, Chris, Felderhof, Mariet, Mahanontharit, Apicha, Ruxrungtham, Kiat, ...

Objectives: To describe the pharmacokinetics and pharmacodynamics of indinavir with or without low-dose ritonavir in human immunodeficiency virus (HIV)-infected Thai patients. Patients and methods:...

Goodbye to Projects? - Review of Livelihoods Approaches and Development Interventions in South Africa (2002)

Cooper, David, Goldman, Ian, Toner, Anna L.

Approaches to projects and development have undergone considerable change in the last decade with significant policy shifts on governance, gender, poverty eradication, and environmental issues. Most...

Goodbye to Projects? - Review of Livelihoods Approaches and Development Interventions in South Africa (2002)

Cooper, David, Goldman, Ian, Toner, Anna

Approaches to projects and development have undergone considerable change in the last decade with significant policy shifts on governance, gender, poverty eradication, and environmental issues. Most...

A linear dual-space approach to 3d surface reconstruction from occluding contours using algebraic surface (2001)

Kongbin Kang, Richard Fishman, David Cooper

We present a linear approach to the 3D reconstruction problem from occluding contours using algebraic surfaces. The problem of noise and missing data in the occluding contours extracted from the...

A linear dual-space approach to 3d surface reconstruction from occluding contours using algebraic surface (2001)

Kongbin Kang, Richard Fishman, David Cooper

We present a linear approach to the 3D reconstruction problem from occluding contours using algebraic surfaces. The problem of noise and missing data in the occluding contours extracted from the...

Acknowledgements This work was carried out under the supervision of (2000)

Steven Michael Pierce, Dr. David Cooper

The candidate confirms that the work submitted is his own and that appropriate credit has been given where reference has been made to the work of others.

v (2000)

Susan Stepney, David Cooper, Jim Woodcock, Susan Stepney, David Cooper, Jim Woodcock, ...

1.2 Overview of model and proof structure 3

A More Efficient Use of Delta-CRLs (2000)

David Cooper

Delta-certificate revocation lists (delta-CRLs) were designed to provide a more efficient way to distribute certificate status information. However, as this paper shows, in some environments the...

Production Engineering Measure for a High Power, Fast Switching Silicon Controlled Rectifier. (1999)

New,Thorndike C., Cooper,David

Test results on the First Article Samples showed that subject device could satisfy the intended purpose well. On the approval of the First Article Samples and authorization of starting the Pilot...

Clubs and the market (1999)

Bryan Ellickson, Birgit Grodal, Suzanne Scotchmer, William R. Zame, John Conley, David Cooper, ...

and the editor for many comments that improved both the content and the exposition. We thank the UCLA and UC Berkeley Academic Senate Committees on Research, the National Science Foundation and the...

A Model of Certificate Revocation (1999)

David Cooper

This paper presents a model for the distribution of revocation information using certificate revocation lists (CRLs). This model is used to highlight inefficiencies in the "traditional "...

Suppression of T lymphocyte activation in simulated microgravity (1998)

Cooper, David

Immune dysfunction is encountered during spaceflight. Various aspects of spaceflight, including microgravity, cosmic radiation, and both physiological and psychological stress, may perturb immune...

A randomised, double-blind trial of valaciclovir prophylaxis for cytomegalovirus disease in patients with advanced human immunodeficiency virus infection. (1998)

Feinburg, Judith E., Hurwitz, Shelley, Cooper, David, Sattler, Fred R., Macgregor, Rob Roy, Holland, Gary N., ...

Cytomegalovirus (CMV) disease is a common complication of advanced human immunodeficiency virus (HIV) infection. Administration of oral valaciclovir, a valine ester of acyclovir, achieves sufficient...

Metafile for Interactive Documents. Version 2.0. Application Guide and Draft Performance Specification for the Encoding of Interactive Documents. (1997)

Janiszewski, Darlene, Junod, L. J., Anderson, Michael, Cooper, David

The primary purpose of this document is to communicate, to authors and developers of MID documents and applications, the intentions of the design team with respect to implementation of the MID DTD....

The Human Gene Mutation Database (1997)

David Cooper, Edward V. Ball, Michael Krawczak

The HumanGeneMutation Database (HGMD) represents a comprehensive core collection of data on published germline mutations in nuclear genes underlying human inherited disease. By September 1997, the...

Computer application for Zoology 426 /--by David Cooper Ellsworth. (1996)

David Cooper

Thesis (B.S.)--California Polytechnic State University, 1996.

Part-Based Bayesian Recognition Using Implicit Polynomial Invariants (1995)

Kaleem Siddiqi, Jayashree Subrahmonia, David Cooper, Benjamin B. Kimia

We present an approach to recognition that is based on partitioning and invariant recognition in a Bayesian framework. The intended application domain is that of complex articulated objects in...

Computationally Fast Bayesian Recognition of Complex Objects Based on Mutual Algebraic Invariants (1995)

Zhibin Lei, Daniel Keren, David Cooper

An effective approach has appeared in the literature for recognizing 2D curve or 3D surface objects of modest complexity based on representing an object by a single implicit polynomial of 3 rd or 4...

Glued to the sky /--David Cooper. (1992)

Cooper, David.

Thesis (M.A.)--City College of New York, 1992. [Creative Writing]

The boundary lubricated friction and wear of low alloy steel. (1989)

Cooper, David.

Thesis (Ph. D.)--University of Aston in Birmingham, 1989.

Temperature measurement by resonant frequency shift and microcomputer power control in a microwave oven. (1979)

Cooper, David.

Thesis (M.S. in Electrical Engineering)--Graduate School of Arts and Sciences, University of Pennsylvania, 1979.

La gramática de la vida : (1978)

Cooper, David

Traducción de: The Grammar of Living

¿Quiénes son los disidentes? (1978)

Cooper, David

Traducción de: Qui sont les dissidents

La morte della famiglia (1978)

Cooper, David

La morte della famiglia, David Cooper. . - Torino. NALUAF000800, Einaudi. NAEDAF002031, 1978.

Grammatica del vivere (1978)

Cooper, David

Grammatica del vivere, un'analisi di atti politici, David Cooper. . - Milano. NALUAF000464, Feltrinelli. NAEDAF002257, 1978.

LA DIALECTICA DE LA LIBERACION (1974)

Cooper, David

TRADUCCION DE: THE DIALECTICS OF LIBERATION

La Muerte de la Familia (1972)

Cooper, David

Traducción de: The Death of the Family

La Muerte de la Familia (1972)

Cooper, David

Traducción de: The Death of the Family

La muerte de la familia (1972)

Cooper, David

Traducción de: The Death of the Family

Psiquiatría y Antipsiquiatría (1971)

Cooper, David

Traducción de: Psichiatry and Antipsychiatri

La Dialéctica de la Liberación (1969)

Cooper, David (ed.)

Traducción de: The Dialectics of Liberation

Characterization of Three nef-Defective Human Immunodeficiency Virus Type 1 Strains Associated with Long-Term Nonprogression

Rhodes, David I., Ashton, Lesley, Solomon, Ajantha, Carr, Andrew, Cooper, David, Kaldor, John, ...

Long-term survivors (LTS) of human immunodeficiency virus type 1 (HIV-1) infection provide an opportunity to investigate both viral and host factors that influence the rate of disease progression. We...

Herpes Simplex Virus Type 2 UL24 Gene Is a Virulence Determinant in Murine and Guinea Pig Disease Models

Blakeney, Susan, Kowalski, Jacek, Tummolo, Donna, DeStefano, Joanne, Cooper, David, Guo, Min, ...

A herpes simplex virus type 2 (HSV-2) UL24 β-glucuronidase (UL24-βgluc) insertion mutant was derived from HSV-2 strain 186 via standard marker transfer techniques. Cell monolayers infected with...

Recombinant Vesicular Stomatitis Virus Vectors Expressing Herpes Simplex Virus Type 2 gD Elicit Robust CD4+ Th1 Immune Responses and Are Protective in Mouse and Guinea Pig Models of Vaginal Challenge

Natuk, Robert J., Cooper, David, Guo, Min, Calderon, Priscilla, Wright, Kevin J., Nasar, Farooq, ...

Recombinant vesicular stomatitis virus (rVSV) vectors offer an attractive approach for the induction of robust cellular and humoral immune responses directed against human pathogen target antigens....

Characterization of Three nef-Defective Human Immunodeficiency Virus Type 1 Strains Associated with Long-Term Nonprogression

Rhodes, David I., Ashton, Lesley, Solomon, Ajantha, Carr, Andrew, Cooper, David, Kaldor, John, ...

Long-term survivors (LTS) of human immunodeficiency virus type 1 (HIV-1) infection provide an opportunity to investigate both viral and host factors that influence the rate of disease progression. We...

Herpes Simplex Virus Type 2 UL24 Gene Is a Virulence Determinant in Murine and Guinea Pig Disease Models

Blakeney, Susan, Kowalski, Jacek, Tummolo, Donna, DeStefano, Joanne, Cooper, David, Guo, Min, ...

A herpes simplex virus type 2 (HSV-2) UL24 β-glucuronidase (UL24-βgluc) insertion mutant was derived from HSV-2 strain 186 via standard marker transfer techniques. Cell monolayers infected with...

Recombinant Vesicular Stomatitis Virus Vectors Expressing Herpes Simplex Virus Type 2 gD Elicit Robust CD4+ Th1 Immune Responses and Are Protective in Mouse and Guinea Pig Models of Vaginal Challenge

Natuk, Robert J., Cooper, David, Guo, Min, Calderon, Priscilla, Wright, Kevin J., Nasar, Farooq, ...

Recombinant vesicular stomatitis virus (rVSV) vectors offer an attractive approach for the induction of robust cellular and humoral immune responses directed against human pathogen target antigens....

Learning to Punish: Experimental Evidence from a Sequential Step-Level Public Goods Game

David Cooper, Carol Stockman

This paper studies how subjects in a three-person sequential step-level public good game learn to punish free riders more over time. Our current work makes several additions to the literature on...

Relative versus Absolute Speed of Adjustment in Strategic Environments: Responder Behavior in Ultimatum Games

David Cooper, Nick Feltovich, Alvin Roth, Rami Zwick

Learning models predict that the relative speed at which players in a game adjust their behavior has a critical influence on long term behavior. In an ultimatum game, the prediction is that proposers...

Synergistic Attenuation of Vesicular Stomatitis Virus by Combination of Specific G Gene Truncations and N Gene Translocations▿

Clarke, David K., Nasar, Farooq, Lee, Margaret, Johnson, J. Erik, Wright, Kevin, Calderon, Priscilla, ...

A variety of rational approaches to attenuate growth and virulence of vesicular stomatitis virus (VSV) have been described previously. These include gene shuffling, truncation of the cytoplasmic tail...

Lessons Learned: Generalizing Learning Across Games

David Cooper, John H. Kagel

This paper synthesizes findings from an ongoing research program on learning in signaling games. The present paper focuses on crossgame learning (the ability of subjects to take what has been learned...

Attenuation of Recombinant Vesicular Stomatitis Virus-Human Immunodeficiency Virus Type 1 Vaccine Vectors by Gene Translocations and G Gene Truncation Reduces Neurovirulence and Enhances Immunogenicity in Mice▿

Cooper, David, Wright, Kevin J., Calderon, Priscilla C., Guo, Min, Nasar, Farooq, Johnson, J. Erik, ...

Recombinant vesicular stomatitis virus (rVSV) has shown great potential as a new viral vector for vaccination. However, the prototypic rVSV vector described previously was found to be insufficiently...

Leadership and overcoming coordination failure with asymmetric costs

Jordi Brandts, David Cooper, Enrique Fatas

Experiments, Coordination, Organizational change, Heterogeneous agents, Leadership, C70, C90, D63, D64,

Observability and overcoming coordination failure in organizations: An experimental study

Jordi Brandts, David Cooper

Motivated by problems of coordination failure in organizations, we examine how overcoming coordination failure and maintaining coordination depend on the ability of individuals to observe...

Learning and transfer in signaling games

David Cooper, John Kagel

Learning, Learning transfer, Cross-game learning, Signaling games, Experiment, C72, C92, D82, L12,

Are Experienced Managers Experts at Overcoming Coordination Failure?

David Cooper

This paper studies experiments set in a corporate environment where a manager attempts to overcome a history of coordination failure by employees using either financial incentives or communication. I...

Managed Care and Physician Incentives: The Effects of Competition on the Cost and Quality of Care

David Cooper, James Rebitzer

We analyze the effect that competition between HMOs has on the cost and quality of medical services. Our key result is that increasing competition enhances consumer utility while also moderating the...

Expert Testimony, Daubert, and the Determination of Damages

David Cooper, Jonathan Tomlin

The Supreme Court's decision in Daubert v. Merrell Dow Pharmaceuticals placed federal judges in the role of "gatekeepers" empowered to screen out unreliable expert testimony. We address the impact of...

Social Interaction Effects and Choice Under Uncertainty. An Experimental Study

Cooper, David, Rege, Mari

Extensive field evidence shows individuals’ decisions in settings involving choice under uncertainty (e.g. savings and investment choices) depend on the decisions of their peers. One hypothesized...

Prolonged transcriptional silencing and CpG methylation induced by siRNAs targeted to the HIV-1 promoter region

Suzuki, Kazuo, Shijuuku, Toshiaki, Fukamachi, Toshihiko, Zaunders, John, Guillemin, Gilles, Cooper, David, ...

In addition to the degradation of homologous RNAs through the RNA interference (RNAi) pathway, small interfering RNAs (siRNAs) can in some systems induce cytosine methylation and transcriptional...

Expert Testimony, Daubert, and the Determination of Damages

David Cooper, Jonathan T. Tomlin

The Supreme Court’s decision in Daubert v. Merrell Dow Pharmaceuticals placed federal judges in the role of “gatekeepers” empowered to screen out unreliable expert testimony. We address the...