Control Dependence for Extended Finite State Machines (2009)
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently...
Abstract Quantitative Analysis of the Leakage of Confidential Data (2009)
David Clark, Pasquale Malacaria
Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is...
Dynamic Display for Visualising Surveillance Coverage in Complex Terrain (2009)
Abstract. Tactical Land battle-space intelligence gathering, surveillance, and reconnaissance requires the integrated use of multiple resources. It is difficult to efficiently task these resources,...
AN AUDIO ENGINEERING SOCIETY PREPRINT (2008)
This preprint has been reproduced from the author’s advance manuscript, without editing, corrections or consideration by the Review Board. The AES takes no responsibility for the contents....
A NOTE ON THE EXISTENCE OF EXOTIC 7-SPHERES (2008)
This note is based on a lecture given by Nitu Kitchloo at UCSD in Winter, 2005. The purpose is to show the existence of a smooth manifold that is homeomorphic, but not diffeomorphic, to S 7. The...
David Clark, Sebastian Hunt, Pasquale Malacaria
static analysis for quantifying information flow
Obesity Among Middle School Children: More Cause for School Leaders' Concern? (2008)
David Clark, Gina C. Viglietti, John Slate
In this study, the authors examined the relationship of 1,128 sixth and seventh grade students’ grades in four subject areas (i.e., math, reading, science, and social studies) and their scores on...
Satthaporn, Sukchai, Aloysius, Mark M, Robins, Richard A, Verma, Chandan, Chuthapisith, Suebwong, Mckechnie, Alasdair J, ...
Abstract Background Dendritic cells (DCs) play a crucial role in initiating effective cell-mediated immune responses, but are dysfunctional and anergic in breast cancer. Reversal of this dysfunction...
QAPL 2004 Preliminary Version Quantified Interference for a While Language Abstract (2008)
David Clark, Pasquale Malacaria
We show how an information theoretic approach can quantify interference in a simple imperative language that includes a looping construct. In this paper we focus on a particular case of this...
Archive Management: The Missing Component (2008)
Howard Diamond, John Bates, David Clark, Robert Mairs, George Sharman
the long-term preservation of the scientific integrity, monitoring and improving the quality, and the extraction of further knowledge from the data. As our data volumes and complexities have...
The Design of A Fast and Flexible Internet Subscription System Using Content Graphs (2008)
Joanna L. Kulik, David Clark, Joanna L. Kulik
C.-- i
15.9 Archive Management: The Missing Component (2008)
Howard J. Diamond, David Clark, Robert Mairs, George Sharman (noaa/nesdis
ABSTRACT FARA: Reorganizing the Addressing Architecture ∗ (2008)
This paper describes FARA, a new organization of network architecture concepts. FARA (Forwarding directive, Association, model with considerable generality and flexibility, based upon the decoupling...
1 Introduction In this paper we present a safe abstraction for a restricted form of term graph rewriting system and show how it can form the basis of a strictness analyser for an untyped core...
Financial management and young Australian workers (2008)
Dowling, Nicki, Hoiles, Lauren, Corney, Tim, Clark, David
In two studies of young Australian workers, participants generally displayed positive attitudes towards financial management practices, however, a substantial proportion failed to display positive...
Financial management and young Australian workers (2008)
Dowling, Nicki, Hoiles, Lauren, Corney, Tim, Clark, David
In two studies of young Australian workers, participants generally displayed positive attitudes towards financial management practices, however, a substantial proportion failed to display positive...
Financial management and young Australian workers (2008)
Dowling, Nicki, Hoiles, Lauren, Corney, Tim, Clark, David
In two studies of young Australian workers, participants generally displayed positive attitudes towards financial management practices, however, a substantial proportion failed to display positive...
Financial management and young Australian workers (2008)
Dowling, Nicki, Hoiles, Lauren, Corney, Tim, Clark, David
In two studies of young Australian workers, participants generally displayed positive attitudes towards financial management practices, however, a substantial proportion failed to display positive...
Financial management and young Australian workers (2008)
Dowling, Nicki, Hoiles, Lauren, Corney, Tim, Clark, David
In two studies of young Australian workers, participants generally displayed positive attitudes towards financial management practices, however, a substantial proportion failed to display positive...
Nguyen, Phuong, Quesenberry, Kenneth, Clark, David
A high level of genetic variability for growth habit types is observed in tetraploid, cultivated coleus (Solenostemon scutellarioides (L.) Codd). Very few cultivars with trailing habit exist, and...
Roger Needham, Roger Needham, Martín Abadi, Ross Anderson, Jean Bacon, Andrew Birrell, ...
comprising in this compilation are copyright of the respective authors. All rights are reserved. This publication may not be copied, reproduced, published or distributed in whole or in part in any...
K. Lano, David Clark, K. Androutsopoulos, P. Kan
Abstract. Statecharts are a very widely used formalism for reactive system development, however there are problems in using them as a fully formal specification notation because of the conflicting...
A Multidimensional Analysis of Adaptation in a Developing Country Context (2007)
Econometric analyses of European datasets suggest that income aspirations increase with current income. This finding is consistent with the adaptation hypothesis - the notion that individual...
A Multidimensional Analysis of Adaptation in a Developing Country Context (2007)
Econometric analyses of European datasets suggest that income aspirations increase with current income. This finding is consistent with the adaptation hypothesis - the notion that individual...
A Multidimensional Analysis of Adaptation in a Developing Country Context (2007)
Econometric analyses of European datasets suggest that income aspirations increase with current income. This finding is consistent with the adaptation hypothesis - the notion that individual...
A Multidimensional Analysis of Adaptation in a Developing Country Context (2007)
Econometric analyses of European datasets suggest that income aspirations increase with current income. This finding is consistent with the adaptation hypothesis - the notion that individual...
Cost-benefit analysis of psychological therapy (2007)
Layard, Richard, Clark, David, Knapp, Martin, Mayraz, Guy
At present six million people are suffering from clinical depression or anxiety disorders, but only a quarter of them are in treatment. NICE Guidelines prescribe the offer of evidence-based...
Cost-benefit analysis of psychological therapy (2007)
Layard, Richard, Clark, David, Knapp, Martin, Mayraz, Guy
At present six million people are suffering from clinical depression or anxiety disorders, but only a quarter of them are in treatment. NICE Guidelines prescribe the offer of evidence-based...
From margins to centre: a review of the history of palliative care in cancer. (2007)
Palliative care and hospices have developed rapidly since the late 1960s. The pioneering work of Cicely Saunders was instrumental in drawing attention to the end-of-life care needs of patients with...
Design of Robust, Reconfigurable Racking (R3) System for Vehicle Assembly (2007)
Bohn, Mickey, Chourdia, Prateek, Clark, David, Harrison, Gabriella
ME450 Capstone Design and Manufacturing Experience: Winter 2007
WebQuest: Using WWW and interactive simulation games in the classroom (2007)
Corrina Perrone, Alexander Repenning, David Clark
The World Wide Web is widely considered a successful new media for communication of ideas, a hotbed for commerce, and, more quietly, a new research media that can bring hundreds of gigabytes of...
Marriage and informal unions (2007)
RONFANI, PAOLA, Paola Ronfani, David Clark
Marriage and informal unions / Paola Ronfani. - In: Encyclopedia of law and society ; [a cura di] David Clark. - Los Angeles : Sage Publications, 2007. - ISBN 9780761923879.
NIRA: A New Inter-Domain Routing Architecture (2007)
Xiaowei Yang, David Clark, Arthur W. Berger
Abstract—In today’s Internet, users can choose their local Internet service providers (ISPs), but once their packets have entered the network, they have little control over the overall routes...
Payne , Sheila, Bailey, Christopher, Wilson, Roger, Addington-Hall, Julia, Lloyd-Williams, Mari, Molassiotis, Alex, ...
To date, there has been only limited research into the supportive and palliative care experienced by people with cancer and other life-limiting illnesses. There is an urgent need to improve our...
Online illness narratives about living with motor neurone disease : a quantitative analysis. (2006)
Background: To date, no published work has sought to investigate internet-based writing about life with motor neurone disease (amyotrophic lateral sclerosis) or to determine who is using this genre...
Developing an evaluation strategy for 'preferred place of care'. (2006)
Clark, David, Storey, Les, Wood, Justin
In addition to our programme of work on the global development of hospice and palliative care, the International Observatory on End of Life Care also retains a strong interest in matters of policy...
Despite benefits, commercialization of transgenic horticultural crops lags (2006)
Clark, David, Klee, Harry, Dandekar, Abhaya
The acreage of agronomic crops (soybean, cotton, corn and canola) developed using recombinant DNA technology has expanded dramatically since their introduction in 1996, while the commercialization of...
St. Joseph's Hospice, Hackney : doumenting a centenary history. (2006)
An important aspect of the work of the International Observatory on End of Life Care is a programme of studies concerned with documenting and analysing the 'living history' of hospice and palliative...
Palliative care in Europe : an emerging approach to comparative analysis. (2006)
At the national level, hospice and palliative care activities have been developing in Europe since the late 1960s. International organisations to support palliative care have been in existence since...
Algebraic Analysis of Vertex-Distinguishing Edge-Colorings (2006)
Vertex-distinguishing edge-colorings (vdec colorings) are a restriction of proper edge-colorings. These special colorings require that the sets of edge colors incident to every vertex be distinct....
Algebraic Analysis of Vertex-Distinguishing Edge-Colorings (2006)
Vertex-distinguishing edge-colorings (vdec colorings) are a restriction of proper edge-colorings. These special colorings require that the sets of edge colors incident to every vertex be distinct....
The development of palliative medicine in the UK and Ireland. (2006)
Clark, David, Bruera, E., Higginson, I., Ripamonti, C., Von Gunten, C.
Internetworking with TCP/IP : Principles, Protocols, and Architecture (2006)
Comer, Douglas E., Clark, David (pról.), Postel, Jon (pról.)
0-13-187671-6
Peer reviewed
Peer reviewed
Algebraic Analysis of Vertex-Distinguishing Edge-Colorings (2006)
Vertex-distinguishing edge-colorings (vdec colorings) are a restriction of proper edge-colorings. These special colorings require that the sets of edge colors incident to every vertex be distinct....
Quantitative Information Flow, Relations and Polymorphic Types (2005)
Clark, David, Hunt, Sebastian, Malacaria, Pasquale
This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to...
Evaluation of a scheme to enhance palliative cancer care in rural Wales. (2004)
Clark, David, Ingleton, C., Hughes, P., Yap, T.
Since the early 1990s, the United Kingdom has seen several initiatives designed to improve the quality of cancer palliative care in the community. We report on the evaluation of a project that took...
Fawcett, Jan, Kravitz, Howard M., McGuire, Marcella, Easton, Michael, Ross, Jeffrey, Pisani, Vicenent, ...
Quantified interference: information theory and information flow (2004)
David Clark, Sebastian Hunt, Pasquale Malacaria
Abstract. The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming...
Using consensus ensembles to identify suspect data (2004)
leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in postgraduate research programmes...
Non-interference for weak observers (2004)
David Clark, Sebastian Hunt, Pasquale Malacaria
We consider transformational programs, i.e. those which transform inputs into outputs, with two levels of confidentiality: high and low. Inspired by Giacobazzi and Mastroeni [GM04], we consider...
Entamoeba histolytica alcohol dehydrogenase 2 (EhADH2) as a target for anti-amoebic agents (2004)
Espinosa, Avelina, Clark, David, Stanley, Samuel L.
Objectives: The current use of metronidazole as an anti-amoebic agent causes significant side-effects. The purpose of this study was to identify alternative compounds with which to treat amoebiasis....
Entamoeba histolytica alcohol dehydrogenase 2 (EhADH2) as a target for anti-amoebic agents (2004)
Espinosa, Avelina, Clark, David, Stanley, Samuel L.
Objectives: The current use of metronidazole as an anti-amoebic agent causes significant side-effects. The purpose of this study was to identify alternative compounds with which to treat amoebiasis....
Challenging technologies of cancer pain relief : themes from the twentieth century. (2003)
Winslow, M., Clark, David, Seymour, Jane, Noble , B., Ten Have , H., Meldrum, M., ...
Corner, Jessica, Halliday, Debbie, Haviland, Jo, Douglas, Hannah-Rose, Bath, Peter, Clark, David, ...
Little information exists about the outcomes from nursing interventions, and few studies report new approaches to evaluating the complex web of effects that may result from specialist nursing care....
Ingleton, Christine, Hughes, Philippa, Noble, Bill, Gray, Hermina M., Clark, David
There is evidence to suggest that GPs experience significant difficulties associated with lack of support from, and communication with, hospital and other specialists in palliative care. The...
Euthanasia and physician-assisted suicide : a view from an EAPC ethics task force. (2003)
Materstvedt, Lars Johan, Clark, David, Ellershaw, John, Førde, Reidun, Boeck Gravgaard, Anne-Marie, Müller-Busch, H. Christof, ...
Clark, David, Gillett, Sharon, Lehr, William, Sirbu, Marvin, Fountain, Jane E.
Access to broadband is widely recognized as a prerequisite for a community's economic welfare and the delivery of government services. In communities where the private sector is perceived as having...
Vengeance and the heroic ideal in Old English and Old Norse literature / (2003)
Thesis (Ph.D.)--University of Oxford, 2003.
The development of palliative care is proceeding rapidly in some areas of the world, but major problems continue to exist in several countries and regions. Comparative research evidence to inform...
Economic evaluation of specialist cancer and palliative nursing : a literature review. (2003)
Douglas, Hannah-Rose, Halliday, Debbie, Normand, Charles, Corner, Jessica, Bath, Peter, Beech, Nicola, ...
Douglas, Hannah-Rose, Halliday, Debbie, Normand, Charles, Corner, Jessica, Bath, Peter, Beech, Nicola, ...
David Clark, Dina Katabi, Dina Katabi
In this dissertation, we propose a new architecture for Internet congestion control that decouples the control of congestion from the bandwidth allocation policy. We show that the new protocol,...
NIRA: A New Internet Routing Architecture (2003)
David Clark, Arthur C. Smith, Xiaowei Yang, Xiaowei Yang
This is a modified version of the submitted thesis. A few typos were corrected and Appendix 5.C is added.
ABSTRACT Quantified Interference for a While Language (2003)
David Clarke, Sebastian Hunt, Pasquale Malicaria, David Clark
"29 November 2003."
A Taxonomy of Internet Telephony Applications (2002)
There are a broad range of objectives and opportunities that can be lumped under the heading of Internet Telephony, or ITel. This paper identifies a number of criteria that can be used to separate...
Clark, David, Douglas, H. R., Seymour, J., Bath, P.
In the UK, the work of Macmillan clinical nurse specialists in palliative care is now well established. There has been little research, however, into the organizational context in which these nurses...
Utjecaj političkih čimbenika na razvoj palijativne skrbi u Velikoj Britaniji (2002)
Clark, David; Academic Palliative Medicine Unit, University Of Sheffield, Seymour, Jane; Academic Palliative Medicine Unit, University Of Sheffield, Wright, Michael; Academic Palliative Medicine Unit, University Of Sheffield
U Velikoj Britaniji postoji mnogo dokaza koji pokazuju kako palijativna skrb zadobiva važno priznavanje unutar političke arene krećući se postupno od marginalne aktivnosti rezervirane uglavnom za...
The Disruptive User - Internet Appliances and the Management of Complexity (2001)
Lehr, William, Wroclawski, John, Clark, David, Gillett, Sharon
Bringing networked computing to new users and new contexts entails a disruptive decrease in the level of user patience for complexity. This paper discusses the tensions involved in making devices as...
UK geriatricians' attitudes to active voluntary euthanasia and physician-assisted death (2001)
Clark, David, Dickinson, George, Lancaster, Carol J., Noble, T. W., Ahmedai, Sam H., Philp, Ian
Aim: to describe the views of British geriatricians on active voluntary euthanasia and physician‐assisted death. Method: postal questionnaire to 742 consultant members of the British...
Internetworking with TCP/IP : Principles, Protocols, and Architecture (2000)
Comer, Douglas E., Clark, David (pról.)
0-13-018380-6
David Clark, Chris Hankin, Rajagopal Nagarajan
Recently there has been considerable interest in analysing programs for the existence of probabilistic covert channels. Sabelfeld and Sands [6] have given a semantic characterisation of probabilistic...
Structuring and Design of Reactive Systems using RSDS and B (2000)
K. Lano, K. Androutsopoulos, Wcr Ls, David Clark
Abstract. With the advent of comprehensive safety standards for software intensive safety related systems, such as IEC 61508 and its specialisations for particular industry sectors (medical,...
Safety of Strictness Analysis via Term Graph Rewriting (2000)
David Clark, Chris Hankin, Sebastian Hunt
. A safe abstraction is presented for a restricted form of term graph rewriting. This abstraction can be seen as a formalisation of the rewrite system employed by the strictness analyser in the...
Possibilistic Information Flow is safe for Probabilistic Non-Interference (2000)
David Clark, Chris Hankin, Sebastian Hunt, Rajagopal Nagarajan
) David Clark 1 , Chris Hankin 1 , Sebastian Hunt 2 , and Rajagopal Nagarajan 1 1 Introduction Recently there has been considerable interest in analysing programs for the existence of probabilistic...
Comparing Huber's M-Estimator Function with the (2000)
Mean Square Error, David Clark
In any data set there some of the data will be bad or noisy. This study identifies two types of noise and investigates the effect of each in the training data of backpropagation neural networks. It...
Provisioning for bursty Internet traffic: implications for industry and Internet structure (1999)
Dr. David Clark, Dr. William Lehr
Abstract 1 Internet traffic, as epitomized by Web browsing behavior, is very bursty, or equivalently, the ratio of the peak to average data rate is quite high. To handle the offered traffic, the...
Dissertation: Statistical Learning for Intelligent Network Architecture (1999)
Karen Sollins, David Clark, Tommi Jaakkola
Broad interest in network architecture, communications, systems engineering, measurement and artificial intelligence. Focus on discovering and exploiting non-utilized information in large complex...
Needs assessment and palliative care: the views of providers (1997)
Clark, David, Malson, Helen, Small, Neil, Trish Daniel,, Mallett, Karen
Background A key element within the programme of reform introduced into the UK National Health Service in the 1990s has been the concept of health needs assessment, which must be undertaken by health...
Urban World, Global City / D. Clark. (1996)
Análisis de la distribución y crecimiento de las ciudades y de las características sociales de la vida urbana, con énfasis en el estudio de las relaciones entre el desarrollo urbano y los...
Techniques for Dealing with Missing Values in Feedforward Networks (1996)
Vamplew, P, Clark, David, Adams, A, Muench, J
Missing or incomplete data, a common reality, causes problems for artificial neural networks. In this paper we investigate several methods for dealing with missing values in feedforward networks....
Techniques for Dealing with Missing Values in Feedforward Networks (1996)
Vamplew, P, Clark, David, Adams, A, Muench, J
Missing or incomplete data, a common reality, causes problems for artificial neural networks. In this paper we investigate several methods for dealing with missing values in feedforward networks....
Strategic directions in networks and telecommunications (1996)
David Clark, Joseph Pasquale, Et Al
The computer/communication revolution has occurred. The Internet is rapidly becoming ubiquitous. Wireless technology is widely used and is supporting
Techniques for Dealing with Missing Values in Feedforward Networks (1996)
Peter Vamplew, David Clark, Anthony Adams, Jason Muench
: Missing or incomplete data, a common reality, causes problems for artificial neural networks. In this paper we investigate several methods for dealing with missing values in feedforward networks....
Techniques for Dealing with Missing Values in Feedforward Networks (1996)
Vamplew, P, Clark, David, Adams, A, Muench, J
Missing or incomplete data, a common reality, causes problems for artificial neural networks. In this paper we investigate several methods for dealing with missing values in feedforward networks....
Las Galápagos : más allá de Darwin / D. Clark, A. Giddings. (1995)
Clark, David, Giddings, Al, Convoy, Martha (guión), Giddings, Al (fotografía), Hanna, Robert (fotografía), Andromidas, Chris (música)
Traducción de: Galapagos beyond Darwin
Terotechnology : its application to the Australian coal mining industry (1995)
Presented to the School of Mechanical and Manufacturing Engineering, Queensland University of Technology. Includes bibliographical references.
Static analysis of valuepassing process calculi (extended abstract (1995)
David Clark, Lindsay Errington, Chris Hankin
ABSTRACT Standard approaches to providing a semantics for value passing process calculi involve an expansion into a basic calculus which only involves pure synchronisation. When the semantics is...
Static analysis of valuepassing process calculi (extended abstract (1995)
David Clark, Lindsay Errington, Chris Hankin
Standard approaches to providing a semantics for value passing process calculi involve an expansion into a basic calculus which only involves pure synchronisation. When the semantics is intended to...
Some Properties of Non-Orthogonal Term Graph Rewriting (1995)
This paper examines left-linear non-orthogonal term graph rewriting systems that allow asymmetric conflicts between redexes. Using a definition of compatibility of sequences based on Boudol's...
Static Analysis of Value-Passing Process Calculi (Extended Abstract) (1995)
David Clark, Lindsay Errington, Chris Hankin
) DAVID CLARK, LINDSAY ERRINGTON and CHRIS HANKIN Department of Computing, Imperial College 180 Queen's Gate, London SW7 2BZ, United Kingdom E-mail: fdjc2, le, clhg@doc.ic.ac.uk ABSTRACT...
Cámaras intrépidas / Prod. de D. Clark. (1990)
Clark, David (prod.), Bangert, Chuck (fotografía), Breashears, Dave (fotografía), Elfstrom, Bob (fotografía), Karns, Fred (música)
Traducción de: Cameramen Who Dared
Constituting the marital world : a study of marriage and remarriage in Aberdeen. (1989)
Thesis (Ph. D.)--University of Aberdeen, 1989.
Part of collection: Buckland collection of railway transport photographs.; Title from inscription on verso.; Inscriptions : titled and signed by photographer on verso.; Also available in an...
Folk religion in a North Yorkshire fishing village / (1978)
Thesis (M.A.)--University of Newcastle upon Tyne. 1978.
Clark, David., Gilbreath, Jack., Gorski, Joan.
Thesis (M.S.W.)--Wayne State University.
Satthaporn, Sukchai, Aloysius, Mark M, Robins, Richard A, Verma, Chandan, Chuthapisith, Suebwong, Mckechnie, Alasdair J, ...
Local Government Stimulation of Broadband: Effectiveness, E-Government, and Economic Development
Clark, David, Gillett, Sharon, Lehr, William, Sirbu, Marvin, Fountain, Jane E.
Access to broadband is widely recognized as a prerequisite for a community's economic welfare and the delivery of local government services. In communities where the private sector is perceived as...
Concepts and Perceptions of Human Well-being: Some Evidence from South Africa
This paper presents the results of two surveys, which explored how ordinary people in a rural village and urban township view human development. These findings are used to evaluate some abstract...
Core Poverty, Vagueness and Adaptation: A New Methodology and Some Results for South Africa
David Clark, Mozaffar Qizilbash
Amartya Sen has argued that poverty is a vague concept. This paper develops a methodology for applying a framework which uses a 'supervaluationist' account of vagueness in the context of poverty....
Measuring Human Well-being: Key Findings and Policy Lessons
Clark, David, McGillivray, Mark
This Policy Brief is an outcome of the UNU-WIDER research project 'Social Development Indicators'. The overall aim of the project was to provide insights into how human well-being might be better...
The idea that people adapt to poverty and deprivation by suppressing their wants, hopes and aspirations has gained a lot of currency in development ethics. While the 'adaptation problem' is often...