David Murphy

The Carnegie Supernova Project: Analysis of the First Sample of Low-Redshift Type-Ia Supernovae (2009)

Folatelli, Gaston, Phillips, M. M., Burns, Christopher R., Contreras, Carlos, Hamuy, Mario, Freedman, W. L., ...

We present the analysis of the first set of low-redshift Type Ia supernovae (SNe Ia) by the Carnegie Supernova Project. Well-sampled, high-precision optical (ugriBV) and near-infrared (NIR; YJHKs)...

The Carnegie Supernova Project: First Photometry Data Release of Low-Redshift Type Ia Supernovae (2009)

Contreras, Carlos, Hamuy, Mario, Phillips, M. M., Folatelli, Gaston, Suntzeff, Nicholas B., Persson, S. E., ...

The Carnegie Supernova Project (CSP) is a five-year survey being carried out at the Las Campanas Observatory to obtain high-quality light curves of ~100 low-redshift Type Ia supernovae in a...

Black and White in Colour: African history on screen (review) (2009)

David Murphy

Africa: The Journal of the International African Institute - Volume 79, Number 2, 2009

Estimation of the Hubble Constant and Constraint on Descriptions of Dark Energy (2009)

Greenhill, Lincoln, Humphreys, Elizabeth, Hu, Wayne, Macri, Lucas, Murphy, David, Masters, Karen, ...

Joint analysis of Cosmic Microwave Background, Baryon Acoustic Oscillation, and supernova data has enabled precision estimation of cosmological parameters. New programs will push to 1% uncertainty in...

« Paddy fait de la résistance. » Les Irlandais dans la Résistance française et la section F du SOE, 1940-1945 (2008)

David Murphy

En 1941, le Premier ministre irlandais, le Taoiseach, Eamon de Valera, envoya une note au département des Affaires étrangères irlandais pour réclamer une estimation du nombre d’Irlandais qui...

Stephen Bellis (2008)

David Murphy, David Harty, John Barton, Kieran Delaney

The main objective of this paper is to assess the feasibility of an ad-hoc wireless network system for use within a hospital. The proposed system would operate as follows: Every bed within a hospital...

A Note on Processes for Plan-Execution and Powerdomains for Plan-Comparison (2007)

D. J. Pym, L.M. Pryor, Cottons Lane, London Se Qb, David Pym, ...

This paper proposes a representation for plans and actions based on the algebraic theory of processes. It is argued that the requirements of plan-execution are better met by representing actions...

Sn 2005bf: A possible transition event between type Ib/c supernovae and gamma-ray bursts (2006)

Folatelli, Gastón, Contreras, Carlos, Phillips, M. M., Woosley, S. E., Blinnikov, Sergei, Morrell, Nidia, ...

We present u'g'r'i'BV photometry and optical spectroscopy of the Type Ib/Ic SN 2005bf covering the first similar to 100 days following discovery. The u'g'BV light curves displayed an unprecedented...

Progress and Plans for System Demonstration of a Scalable (2004)

D. Murphy, T. Trautt, M. Mceachen, D. Messner, G. Laue, P. Gierow, ...

In 2003 the NASA In-Space Propulsion (ISP) program began sponsoring extensive development and demonstration activities of solar sail system technology. Significant efforts are underway to design,...

Montelukast-associated Churg-Strauss syndrome (2003)

Michael, Atef B., Murphy, David

A 68-year-old asthmatic presented markedly unwell with arthralgia, mononeuritis multiplex, peripheral neuropathy, and eosinophilia. His past medical history included perennial rhinitis, and nasal...

A Scalable Spatial Sound Rendering System (2001)

Murphy, David, Rumsey, Francis

The spatial rendering of sound in Virtual Reality systems can quickly become a computationally expensive process. The author proposes a Spatial Sound rendering system that allows for the graceful...

Processes for Plan-Execution (1995)

Louise Pryor, David Pym, David Murphy

This paper proposes a representation for plans and actions based on the algebraic theory of processes . It is argued that the requirements of plan-execution are better met by representing actions...

Actions as Processes: A Position on Planning (1995)

David Pym, Louise Pryor, David Murphy

this paper with a discussion of reasoning about actions. There are two types of reasoning that we wish to facilitate: firstly, an agent must be able to reason about its own behaviour and that of its...

Two Papers Concerning Categories in Concurrency Theory (1994)

David Murphy

This paper presents a meta-model of observation in concurrency theory; it allows us to unify notions of observation in many different behavioural settings. We treat traces, process trees and event...

Timing and Causality in Process Algebra (1992)

Luca Aceto, David Murphy

. There has been considerable controversy in concurrency theory between the `interleaving' and `true concurrency' schools. The former school advocates associating a transition system with a...

Time, causality, and concurrency. (1989)

Murphy, David.

Thesis (Ph. D.)--University of Surrey, 1989.