David King

Designing and Assessing a Teaching Laboratory for an Integrated Land Use and Transportation Course (2009)

David King, Kevin J. Krizek, David Levinson

The intersection of land use and transportation policy is an important focus for all urban planners. This focus challenges the academic community to design effective courses that teach the concepts...

PHYLOGENETIC CONSERVATION OF CIS-REGULATORY REGIONS USING SEQUENCE ALIGNABILITY AND CLADISTIC MOTIFS (2009)

King, David

A growing body of research shows that conservation of regulatory regions across wide phylogenetic spans (e.g. pan-vertebrate) is the exception rather than the rule. Here we study the conservation of...

Collaborative Editing, Multimedia Indexing and Retrieval (2009)

Matt Bouamrane, David King, Saturnino Luz, Masood Masoodian

From a HCI perspective, elucidating and supporting the context in which collaboration takes place is key to implementing successful collaborative systems. Synchronous collaborative writing usually...

TELL us all about it: establishment of a Technology Enhanced Learning Laboratory (2009)

Reushle, Shirley, Kissell, Brian, Fryer, Maggie, King, David

This paper presents a case study of the design and development of the Technology Enhanced Learning Laboratory (TELL), a physical, multi-purpose, “sandpit” space at the University of Southern...

Explaining variations in spending levels between local authorities: an economic analysis (2008)

King, David (David N.)

This paper puts forward and tests a simple model of how the median voter in a local authority (LA) may determine the level of its expenditure in relation to its needs, to see what lessons may be...

Development of the Knee Quality of Life (KQoL-26) 26-item questionnaire: data quality, reliability, validity and responsiveness (2008)

Garratt, Andrew M, Brealey, Stephen, Robling, Michael, Atwell, Chris, Russell, Ian, Gillespie, William, ...

Abstract Background This article describes the development and validation of a self-reported questionnaire, the KQoL-26, that is based on the views of patients with a suspected ligamentous or...

RECOLED: A GROUP-AWARE COLLABORATIVE TEXT EDITOR FOR CAPTURING DOCUMENT HISTORY (2008)

Masood Masoodian, Saturnino Luz, Matt-mouley Bouamrane, David King

This paper presents a usability analysis of RECOLED, a shared document editor which supports recording of audio communication in remote collaborative writing sessions, and transparent monitoring of...

Abstract Declassification with Cryptographic Functions in a Security-Typed Language (2008)

Boniface Hicks, David King, Patrick Mcdaniel

Security-typed languages are powerful tools for provably enforcing noninterference. Real computing systems, however, often intentionally violate noninterference by deliberately releasing (or...

Global Opportunities for Service Learning in Computer Science (2008)

Michael Losavio, David King, Adel Elmaghraby, Kevin Price

Abstract: Service-learning matches knowledge with experience. It offers special benefits for computer science education. Opportunities for community and global engagement exist with direct benefits...

Abstract (2008)

Vinod Ganapathy, David King, Trent Jaeger, Somesh Jha

This paper presents an approach to statically retrofit legacy servers with mechanisms for authorization policy enforcement. The approach is based upon the observation that security-sensitive...

Theory and Practice (2008)

David King, Chris Kimble

Although the gulf between the theory and practice in Information Systems is much lamented, few researchers have offered a way forward except through a number of (failed) attempts to develop a single...

Effect of background radiation on the lower limit of detection for extended dosemeter issue periods (2008)

Romanyukha, Alex, King, David, Benevides, Luis A.

An extension of dosemeter issue period brings significant economic and logistic benefits. Therefore, it is desirable to have an extended period as long as possible without significant loss of the...

Scotland’s social services spending needs: an English view (2007)

King, David (David N.), Pashley, Matthew, Ball, Rob

Scottish citizens enjoy 25% more spending per head on public services than English citizens, but almost nothing is known about the countries’ relative needs and hence about how far this gap is...

Galaxies And Dust At High Redshift (2007)

Richard Hunstead, Max Pettini, David King, Linda J. Smith

Much of our knowledge about the formation and evolution of high-redshift galaxies has come from studying the absorption signatures they impress on the spectra of background QSOs. The damped Lyman ff...

Less than you thought: the fiscal autonomy of sub central governments (2007)

Blöchliger, H. (Hansjörg), King, David (David N.)

One of the most frequently used indicators to assess fiscal power of sub-central governments is the share of sub-central to total tax revenue. But this indicator says nothing about the true...

Should mental health issues be addressed in primary care, and can it be done? Views of rural general practitioners in Queensland (2007)

Sturk, Heidi, Kavanagh, David J., Gallois, Cindy, King, David, Turpin, Merrill, King, Robert, ...

Objective: The aim of this paper was to examine self-efficacy and perceived appropriateness among rural general practitioners (GPs) in regards to screening and intervention for physical, lifestyle...

The environmental spending needs of Scotland’s local authorities (2007)

King, David (David N.), Pashley, Matthew, Ball, Rob

Scottish citizens benefit from 19% more public spending per head than English citizens. The ‘Barnett formula’ is slowly reducing the gap, but very little is known about the countries’ relative...

Challenges faced by general practitioners and allied mental health services in providing mental health services in rural Queensland (2007)

Bambling, Matthew, Kavanagh, David, Lewis, Gisela, King, Robert, King, David, Sturk, Heidi, ...

Objective: To examine the views of rural practitioners concerning issues and challenges in mental health service delivery and possible solutions.----- Design: A qualitative study using individual...

Should mental health issues be addressed in primary care, and can it be done? Views of rural general practitioners in Queensland (2007)

Heidi Sturk, David Kavanagh, Cynthia Gallois, David King, Merrill Turpin, Robert King, ...

Objective: The aim or this paper was to examine self-efficacy and perceived appropriateness among rural general practitioners (GPs) in regards to screening and intervention for physical, lifestyle...

Should mental health issues be addressed in primary care, and can it be done? Views of rural general practitioners in Queensland (2007)

Heidi Sturk, David Kavanagh, Cynthia Gallois, David King, Merrill Turpin, Robert King, ...

Objective: The aim or this paper was to examine self-efficacy and perceived appropriateness among rural general practitioners (GPs) in regards to screening and intervention for physical, lifestyle...

Erlang Comparisons (2007)

Jan Henry Nyström, Phil Trinder, David King

• Aim: Produce scientific evidence that high-level high level distributed languages like Erlang or Glasgow distributed Haskell (GdH ( GdH) ) can improve distributed software robustness and...

Organisations in disaster (2007)

King, David

In the event of a disaster, communities become the targets of specialist organisations and a concentration of activities. The complex unstructured activities and routines of daily life are disrupted...

Challenges faced by general practitioners and allied mental health services in providing mental health services in rural Queensland (2007)

Bambling, Matthew, Kavanagh, David J., Lewis, Gisela, King, Robert, King, David, Sturk, Heidi, ...

Objective: To examine the views of rural practitioners concerning issues and challenges in mental health service delivery and possible solutions. Design: A qualitative study using individual...

Challenges faced by general practitioners and allied mental health services in providing mental health services in rural Queensland (2007)

Bambling, Matthew, Kavanagh, David J., Lewis, Gisela, King, Robert, King, David, Sturk, Heidi, ...

Objective: To examine the views of rural practitioners concerning issues and challenges in mental health service delivery and possible solutions. Design: A qualitative study using individual...

Challenges faced by general practitioners and allied mental health services in providing mental health services in rural Queensland (2007)

Bambling, Matthew, Kavanagh, David J., Lewis, Gisela, King, Robert, King, David, Sturk, Heidi, ...

Objective: To examine the views of rural practitioners concerning issues and challenges in mental health service delivery and possible solutions. Design: A qualitative study using individual...

Disaster viewpoints: adult's and children's experiences of disaster, recovery and lessons for mitigation (2007)

King, David

Post disaster studies ascertain community levels of preparation, warnings, behaviour and experience. The disaster experience of the community informs knowledge that may contribute to the enhancement...

Challenges faced by general practitioners and allied mental health services in providing mental health services in rural Queensland (2007)

Bambling, Matthew, Kavanagh, David J., Lewis, Gisela, King, Robert, King, David, Sturk, Heidi, ...

Objective: To examine the views of rural practitioners concerning issues and challenges in mental health service delivery and possible solutions. Design: A qualitative study using individual...

Planning for more bushfires: implications of urban growth and climate change (2007)

Cottrell, Alison, King, David

Trends in climate change predict that in future decades Australia will experience drier conditions during parts of the year, as well as prolonged droughts. In Queensland the late year dry season is...

Should mental health issues be addressed in primary care, and can it be done? Views of rural general practitioners in Queensland (2007)

Sturk, Heidi, Kavanagh, David J., Gallois, Cindy, King, David, Turpin, Merrill, King, Robert, ...

Objective: The aim of this paper was to examine self-efficacy and perceived appropriateness among rural general practitioners (GPs) in regards to screening and intervention for physical, lifestyle...

Challenges faced by general practitioners and allied mental health services in providing mental health services in rural Queensland (2007)

Bambling, Matthew, Kavanagh, David, Lewis, Gisela, King, Robert, King, David, Sturk, Heidi, ...

Objective: To examine the views of rural practitioners concerning issues and challenges in mental health service delivery and possible solutions.----- Design: A qualitative study using individual...

Cyclone knowledge and household preparation - some insights from Cyclone Larry (2006)

King, David, Goudie, Douglas, Dominey-Howes, Dale

Cyclone Larry crossed the Coral Sea in mid-March 2006, developing into a severe category five as it approached the coast south of Cairns. The eye of Larry crossed the coast between 6.20 and 7.20 am...

Cyclone knowledge and household preparation - some insights from Cyclone Larry (2006)

King, David, Goudie, Douglas, Dominey-Howes, Dale

Cyclone Larry crossed the Coral Sea in mid-March 2006, developing into a severe category five as it approached the coast south of Cairns. The eye of Larry crossed the coast between 6.20 and 7.20 am...

Les pouvoirs budgétaires des administrations infranationales: une autonomie en trompe-l'oeil (2006)

Blochliger, Hansjorg, King, David

L'indicateur couramment utilisé pour évaluer l�autonomie financière des administrations infranationales est le ratio entre leurs recettes fiscales et celles de l'ensemble des administrations...

Planning for hazard resilient communities (2006)

King, David

The United Nations designated the 1990s as the International Decade for Natural Disaster Reduction (IDNDR). This drove a shift towards an emphasis on mitigation-awareness and preparedness. The aim...

Parallel routes to recovery: community priorities and NGO policy in the post civil war reconstruction of Sierra Leone (2005)

David King

Developing countries experience a lack of resources, trained personnel and infrastructure that constrains their ability to cope with and recover from major disasters. Consequently they are reliant on...

Detecting and resolving semantic pathologies in UML sequence diagrams (2005)

Mitchell, Bill, Baker, Paul, King, David, Thomson, Robert, Burton, Simon, Bristow, Paul

Scenario based requirements specifications are the industry norm for defining communicating systems. These scenarios are often captured in the form of UML/MSC sequence diagrams. Errors are often...

Supporting Remote Collaboration through Structured Activity Logging (2005)

Bouamrane, Matt-Mouley, Luz, Saturnino, Masoodian, Masood, King, David

This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exchanges, automatic metadata...

RECOLED: A group-aware collaborative text editor for capturing document history (2005)

Masoodian, Masood, Luz, Saturnino, Bouamrane, Matt-Mouley, King, David

This paper presents a usability analysis of RECOLED, a shared document editor which supports recording of audio communication in remote collaborative writing sessions, and transparent monitoring of...

Supporting Remote Collaboration through Structured Activity Logging (2005)

Bouamrane, Matt-Mouley, Luz, Saturnino, Masoodian, Masood, King, David

This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exchanges, automatic metadata...

RECOLED: A group-aware collaborative text editor for capturing document history (2005)

Masoodian, Masood, Luz, Saturnino, Bouamrane, Matt-Mouley, King, David

This paper presents a usability analysis of RECOLED, a shared document editor which supports recording of audio communication in remote collaborative writing sessions, and transparent monitoring of...

Supporting Remote Collaboration through Structured Activity Logging (2005)

Matt-mouley Bouamrane, Saturnino Luz, Masood Masoodian, David King

Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exchanges, automatic...

Method for Categorising Test Scripts from Weights Derived from a Partial Order (2004)

Mitchell, Bill, Baker, Paul, King, David

Requirements for systems involving communicating processes (e.g. telecommunication systems) are often described with the aid of graphical notations, such as: Unified Modelling Language (UML), Message...

A Framework for collaborative writing with recording and post-meeting retrieval capabilities (2004)

Bouamrane, Matt-Mouley, King, David, Luz, Saturnino, Masoodian, Masood

From a HCI perspective, elucidating and supporting the context in which collaboration takes place is key to implementing successful collaborative systems. Synchronous collaborative writing usually...

A Framework for collaborative writing with recording and post-meeting retrieval capabilities (2004)

Bouamrane, Matt-Mouley, King, David, Luz, Saturnino, Masoodian, Masood

From a HCI perspective, elucidating and supporting the context in which collaboration takes place is key to implementing successful collaborative systems. Synchronous collaborative writing usually...

Parting Software and Program Design (2004)

David King

Previous research has closely linked the management of the software design process with particular design methods. Underpinning these design methods (with the associated tool support and training...

Requirements-Based Test Generation: An Industrial Perspective (2004)

Baker, Paul, Bristow, Paul, King, David, Mitchell, Bill, Thomson, Robert

This paper discusses our experience with the deployment of requirements-based test generation within a large industrial setting. In doing so, we present an overview of our technologies and changes to...

Community recovery and NGO policy in the developing world: case study of post Civil War reconstruction in Sierra Leone (2004)

King, David

Developing countries experience a lack of resources, trained personnel and infrastructure that constrains their ability to cope with and recover from major disasters. Consequently, they are reliant...

The societal, social, and economic impacts of the World Weather Research Programme Sydney 2000 Forecast Demonstration Project (WWRP S2000 FDP) (2004)

Anderson-Berry, Linda, Keenan, Tom, Bally, John, Pielke Jr., Roger, Leigh, Roy, King, David

The Sydney 2000 (S2000) Forecast Demonstration Project (FDP) was initiated by the World Meteorological Organization (WMO) World Weather Research Programme (WWRP) to enable the world meteorological...

Automatic Generation of Conformance Tests from Message Sequence Charts (2003)

Mitchell, Bill, King, David, Bristow, Paul, Baker, Paul, Jervis, Clive

Over the past five years our group has developed a tool that automatically generates conformance test scripts from a combination of Message Sequence Charts (MSCs), specifying dynamic behaviour, and...

The Complete Works of Robert and James Adam / R. Adam, J. Adam ; texto de D. King. (2001)

Adam, Robert, Adam, James, King, David (texto)

Díptico, contenido en un solo volumen, sobre la prolífica obra arquitectónica del escocés Robert Adam (1728-1792) y su hermano James Adam (1732-1794). Desde la primera edición de este compendio,...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Understanding Depression: Beyond the Biomedical Model (1999)

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...

Computational Data Streams in Data-Intensive and Interactive Applications (1999)

Beth Plale, Carsten Isert, Karsten Schwan, Greg Eisenhauer, David King

Data-intensive, interactive applications are an important class of metacomputing or Grid applications. These applications are characterized by large data flows between data providers and active...

Before our very eyes: intersecting images of gender, race and culture in pop media (1997)

Jetnikoff, Anita, King, David

This chapter shows how to deconstruct gender and race constructions in a range of popular media texts, and then how to reconstruct gender and race in positive ways in the classroom.

Legal (w)rites: constructions of race and masculinity in texts with courtroom scenes (1997)

King, David, Jetnikoff, Anita

Constructions of race and masculinity within texts such as the novel, 'To Kill a Mockingbird', and the film, 'A Time to Kill', are forgrounded in this unit. Strategies for encouraging students'...

Before our very eyes: intersecting images of gender, race and culture in pop media (1997)

Jetnikoff, Anita, King, David

This chapter shows how to deconstruct gender and race constructions in a range of popular media texts, and then how to reconstruct gender and race in positive ways in the classroom.

Legal (w)rites: constructions of race and masculinity in texts with courtroom scenes (1997)

King, David, Jetnikoff, Anita

Constructions of race and masculinity within texts such as the novel, 'To Kill a Mockingbird', and the film, 'A Time to Kill', are forgrounded in this unit. Strategies for encouraging students'...

Before our very eyes: intersecting images of gender, race and culture in pop media (1997)

Jetnikoff, Anita, King, David

This chapter shows how to deconstruct gender and race constructions in a range of popular media texts, and then how to reconstruct gender and race in positive ways in the classroom.

Legal (w)rites: constructions of race and masculinity in texts with courtroom scenes (1997)

King, David, Jetnikoff, Anita

Constructions of race and masculinity within texts such as the novel, 'To Kill a Mockingbird', and the film, 'A Time to Kill', are forgrounded in this unit. Strategies for encouraging students'...

Before our very eyes: intersecting images of gender, race and culture in pop media (1997)

Jetnikoff, Anita, King, David

This chapter shows how to deconstruct gender and race constructions in a range of popular media texts, and then how to reconstruct gender and race in positive ways in the classroom.

Legal (w)rites: constructions of race and masculinity in texts with courtroom scenes (1997)

King, David, Jetnikoff, Anita

Constructions of race and masculinity within texts such as the novel, 'To Kill a Mockingbird', and the film, 'A Time to Kill', are forgrounded in this unit. Strategies for encouraging students'...

Before our very eyes: intersecting images of gender, race and culture in pop media (1997)

Jetnikoff, Anita, King, David

This chapter shows how to deconstruct gender and race constructions in a range of popular media texts, and then how to reconstruct gender and race in positive ways in the classroom.

Legal (w)rites: constructions of race and masculinity in texts with courtroom scenes (1997)

King, David, Jetnikoff, Anita

Constructions of race and masculinity within texts such as the novel, 'To Kill a Mockingbird', and the film, 'A Time to Kill', are forgrounded in this unit. Strategies for encouraging students'...

Before our very eyes: intersecting images of gender, race and culture in pop media (1997)

Jetnikoff, Anita, King, David

This chapter shows how to deconstruct gender and race constructions in a range of popular media texts, and then how to reconstruct gender and race in positive ways in the classroom.

Legal (w)rites: constructions of race and masculinity in texts with courtroom scenes (1997)

King, David, Jetnikoff, Anita

Constructions of race and masculinity within texts such as the novel, 'To Kill a Mockingbird', and the film, 'A Time to Kill', are forgrounded in this unit. Strategies for encouraging students'...

Before our very eyes: intersecting images of gender, race and culture in pop media (1997)

Jetnikoff, Anita, King, David

This chapter shows how to deconstruct gender and race constructions in a range of popular media texts, and then how to reconstruct gender and race in positive ways in the classroom.

Legal (w)rites: constructions of race and masculinity in texts with courtroom scenes (1997)

King, David, Jetnikoff, Anita

Constructions of race and masculinity within texts such as the novel, 'To Kill a Mockingbird', and the film, 'A Time to Kill', are forgrounded in this unit. Strategies for encouraging students'...

Structuring Depth-First Search Algorithms in Haskell (1995)

David King, John Launchbury

Depth-first search is the key to a wide variety of graph algorithms. In this paper we express depth-first search in a lazy functional language, obtaining a linear-time implementation. Unlike...

Lazy Depth-First Search and Linear Graph Algorithms in Haskell (1994)

David King, John Launchbury

Depth-first search is the key to a wide variety of graph algorithms. In this paper we explore the implementation of depth first search in a lazy functional language. For the first time in such...

Functional Binomial Queues (1994)

David King

Efficient implementations of priority queues can often be clumsy beasts. We express a functional implementation of binomial queues which is both elegant and efficient. We also quantify some of the...

From Godel to Derrida : undecidability, indeterminacy, and infinity (1992)

King, David.

Thesis submitted to the School of Humanities. Bibliography: leaves [262]-280.

Combining Monads (1992)

David King, Philip Wadler

Monads provide a way of structuring functional programs. Most real applications require a combination of primitive monads. Here we describe how some monads may be combined with others to yield a...

Combining Monads (1992)

David King, Philip Wadler

Monads provide a way of structuring functional programs. Most real applications require a combination of primitive monads. Here we describe how some monads may be combined with others to yield a...

La aplicación del software en la Educación Especial (1990)

King, David

En este artículo revisan las diversas alternativas de utilización de la tecnología informática en educación, con especial referencia a la educación de discapacitados, y se sugieren vías de...

Current Practices in Software Development : A Guide to Successful Systems / D. King. (1984)

King, David

Agrupa las herramientas y las técnicas usadas por organizaciones para desarrollar sistemas DP. Las técnicas generalmente descansan en 2 principales aproximaciones aestructuradas; decomposición...

Moving Voters in the 2000 Presidential Campaign: Local Visits, Local Media

King, David, Morehouse, David

Polling data in Iowa, Wisconsin, and Illinois media markets are examined before and after Vice President Albert Gore's August 2000 campaign trip down the Mississippi River. We advance the argument...

Mobilizing the Party Faithful: Results from a Statewide Turnout Experiment in Michigan

Nickerson, David W., Friedrichs, Ryan D., King, David

Recent large-scale field experiments of get out the vote (GOTV) drives have been non-partisan and may not accurately capture the effectiveness of partisan campaign outreach. In the 2002 Michigan...

The Management Performance of the U.S. States

King, David, Zeckhauser, Richard, Kim, Mark

The Maxwell School's Government Performance Project rated the management successes of the 50 states in several areas, such as capital management, human resources and information technology in 1998...

The political calculus of congestion pricing

King, David, Manville, Michael, Shoup, Donald

The political feasibility of using prices to mitigate congestion depends on who receives the toll revenue. We argue that congestion pricing on freeways will have the greatest chance of political...

The Private Finance Initiative and public sector finance

Rob Ball, Maryanne Heafey, David King

Traditionally, when the public sector wanted more capital assets, it borrowed funds for the purpose. Under the Private Finance Initiative (PFI), private consortia borrow funds to build assets and...

Scotland’s social services spending needs: an English view

David King, Matthew Pashley, Rob Ball

Scottish citizens enjoy 25% more spending per head on public services than English citizens, but almost nothing is known about the countries’ relative needs and hence about how far this gap is...

Explaining variations in spending levels between local authorities: an economic analysis

King, David (David N.)

This paper puts forward and tests a simple model of how the median voter in a local authority (LA) may determine the level of its expenditure in relation to its needs, to see what lessons may be...

Understanding Depression: Beyond the Biomedical Model

King, David

Introduction A literature review of the evidence regarding aetiology, classification, epidemiology and treatment of depressive disorders was conducted. All of the domains that constitute the...