Michael Smith

Opening, Closing Worlds — On Integrity Constraints (2009)

Evren Sirin, Michael Smith, Evan Wallace

Abstract. In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. However, some...

Owlgres: A Scalable OWL Reasoner (2009)

Markus Stocker, Michael Smith

Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking and conjunctive...

New Approach for Timely Development of the 2005 Emissions Inventory Paper # 155 (2009)

Chun Yi Wu, Michael Smith, Todd Biewen, Paul Kim, Nicholas J. Salkowski

Under the Consolidated Emission Reporting Rule, the U.S. Environmental Protection Agency (EPA) requests that state, local and tribal agencies submit their final 2005 emissions data to EPA in 17...

– Note upcoming SystemVerilog 3.1a changes/enhancements (2009)

Jonathan Bromley, Michael Smith, Jonathan Bromley, Michael Smith

– New data types wherever appropriate – Use variables everywhere- no nets! – Interfaces for better abstraction of interconnect – Transaction-driven test fixture, assertion checking •...

Acknowledgement (2008)

Examiner Prof, Dr. Hans-joachim Wunderlich, Supervisor Dr. Rainer Dorsch, Luis Azuara, Pattara Kiatisevi, Christopher Montgomery, ...

An Ogg Vorbis [35] audio decoder based on Xiph’s Vorbis reference library has been designed as System-on-a-Chip using hardware/software co-design techniques. A demonstrator was built on the XESS...

Performance and Capacity Analysis of UWB Networks over 60GHz WPAN Channel (2008)

Wei Li, Jun Wei, Michael Smith

Abstract — In this paper we evaluate the system performance and capacity of single carrier ultra-wideband (UWB) networks over 60GHz wireless personal area network (WPAN) channel. Symbol error rate...

The Design of Distributed Programming Languages (2008)

Peter Sewell, John Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, ...

High-level programming languages For non-distributed, non-concurrent programming, they’re pretty good. We have ML (SML/OCaml), Haskell, Java, C#, with: • type safety • rich concrete types –...

Performance of Benchmarks on the Cell Processor (2008)

Kerry Creeron, Michael Smith, Dan Perron

ktcreeron at wisc dot edu, masmith27 at wisc dot edu, djperron at wisc dot edu The Cell processor represents a $400 million dollar investment on the part of Sony, Toshiba, and IBM, which is poised to...

� Simulation � Small Size � Middle Size � Four legged (2008)

Presenters Ian Myers, Michael Smith, Jasdev Sidhu, Small Size Competition

� Set of robotics competitions designed to promote robotics and A.I. technologies. � Soccer is a worldwide sport! � Challenges for researchers: � Collective game

Internet Exchanges for Used Books: An Empirical Analysis of Product Cannibalization and Welfare Impact (2008)

Ghose, Anindya, Smith, Michael, Telang, Rahul

Information systems and the Internet have facilitated the creation of used-product markets that feature a dramatically wider selection, lower search costs, and lower prices than their...

Counting the Closed Subgroups of Profinite Groups (2008)

Gartside, Paul, Smith, Michael

The sets of closed and closed-normal subgroups of a profinite group carry a natural profinite topology. Through a combination of algebraic and topological methods the size of these subgroup spaces is...

Classifying Spaces of Subgroups of Profinite Groups (2008)

Gartside, Paul, Smith, Michael

The set of all closed subgroups of a profinite carries a natural profinite topology. This space of subgroups can be classified up to homeomorphism in many cases, and tight bounds placed on its...

Modeling Perspectives in Linear Algebra: A Look at Eigen-Thinking (2008)

Christine Larson, Chris Rasmussen, Michelle Zandieh, Michael Smith, Jill Nelipovich

Linear algebra poses a number of significant challenges for students that need to be better understood in order to improve instruction and student understanding. At the time the tenth conference on...

MR Parameter Map Suite: ITK Classes for Calculating Magnetic Resonance T2 and T1 Parameter Maps (2008)

Bigler, Don, Meadowcroft, Mark, Sun, Xiaoyu, Vesek, Jeffrey, Dresner, Alex, Smith, Michael, ...

This document describes a suite of new multi-threaded classes for calculating magnetic resonance (MR) T2 and T1 parameter maps implemented using the Insight Toolkit ITK (www.itk.org). Similar to MR...

Proceedings of the 37th Hawaii International Conference on System Sciences- 2004 Optimal Pricing of Content Delivery Network (CDN) Services (2008)

Kartik Hosanagar, Ramayya Krishnan, Michael Smith, John Chuang

Content Delivery Networks (CDNs) intelligently cache content on behalf of content providers and deliver this content to end users. New services have been rolled out recently by CDNs that enable...

Abstract Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations (2008)

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de facto one of the common...

Design of an Experiment for Quantitative Assessment of Pair Programming Practices (2008)

Giancarlo Succi, Milorad Stefanovic, Michael Smith, Richard Huntrods

Anecdotal evidence demonstrates success of extreme programming practices in a portion of the software industry. It has also been argued that pair programming, as a part of the extreme programming...

“Whoever called snooker ‘chess with balls ’ was rude, but right” (2008)

Michael Smith, Clive James, Michael Smith, Jonathan Schaeffer, Duane Szafron, Gordon Swaters

of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. The author reserves all other publication and other rights in association with the...

General Terms (2008)

Marc Davis, Michael Smith, John Canny, Nathan Good, Simon King, Rajkumar Janakiraman

In this paper, we focus on the use of context-aware, collaborative filtering, machine-learning techniques that leverage automatically sensed and inferred contextual metadata together with computer...

Abstract Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations (2008)

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de facto one of the common...

Engineering with Logic: HOL Specification and (2008)

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, ...

The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de facto one of the common...

RevMexAA (Serie de Conferencias), 13, 16-20 (2002) (2008)

High Resolution Observations, Antonio Chrysostomou, Chris Davis, Michael Smith

We present high-resolution, ground-based, H 2 observations of four Herbig-Haro ows: HH 7-11, HH 25/26, HH 33/40, and HH 212. H 2 proper motion and kinematic measurements are presented and discussed...

Managing change: An ontology version control system (2008)

Timothy Redmond, Michael Smith, Nick Drummond, Tania Tudorache

Abstract. In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system uses a...

Health effects of disinfection by-products in Australian drinking waters (2007)

Michael Smith

The disinfection of drinking water has greatly diminished the occurrence of diseases known to be caused by water-borne pathogens, but technological advances subsequent to the initial discovery of...

Bayesian Semiparametric Regression: An Exposition and Application to Print Advertising Data (2007)

Michael Smith, Sharat K. Mathur, Robert Kohn

this paper was written by Mike Smith and is currently available at the Statlib repository on the world wide web at http://www.stat.cmu.edu/S/ 1 Introduction.

Beyond Task Analysis: Exploiting Task Models in Application Implementation (2007)

Michael Smith

This paper briefly reports how task models may be exploited in software development beyond early analysis and specifically within application implementation. We describe three ways in which task...

A Bayesian Approach to Bivariate Surface Estimation (2007)

Michael Smith, Robert Kohn

This paper outlines a general Bayesian approach to estimating a bivariate regression function in a nonparametric manner. It models the function using a bivariate regression spline basis with many...

Bayesian Semiparametric Regression: An Exposition and Application to Print Advertising Data (2007)

Michael Smith, Sharat K. Mathur, Robert Kohn

this paper was written by Mike Smith. It has an Splus front end. The package is available on the WWW from http://www.agsm.unsw.edu.au/ mikes/software.html 1 Introduction. A large proportion of...

Bayesian Semiparametric Regression: An Exposition and Application to Print Advertising Data (2007)

Michael Smith, Sharat K. Mathur, Robert Kohn

this paper was written by Mike Smith and is currently available at the Statlib repository on the world wide web at http://www.stat.cmu.edu/S/ 1 Introduction. A large proportion of research in...

Nonparametric Regression: A General Methodology (2007)

Michael Smith

This paper outlines a general approach to nonparametric regression. It provides a discussion of the methdology when applied to the standard normal error univariate nonparametric problem, then...

Bayesian Robust Nonparametric Regression. (2007)

Michael Smith, Robert Kohn

This paper introduces a Bayesian approach to nonparametric regression that is robust to outlying observations in the dependent variable. Such an approach to nonparametric regression was first...

HIGH RESOLUTION H2 OBSERVATIONS OF HERBIG-HARO FLOWS (2007)

Antonio Chrysostomou, Chris Davis, Michael Smith

26, HH 33/40 y HH 212. Presentamos movimientos propios y mediciones cinemáticas de H2 para los primeros tres de estos flujos. Presentamos evidencia que sugiere que las “balas ” que emergen de la...

Evolution and the Social Contract: Symposium on the Tanner Lecture on Human Values, Panel Discussion (2007)

Ostrum, Elinor, Skyrms, Bryan, Smith, Michael, Young, Peyton

Panel discussion on Bryan Skyrms' Tanner Lecture. The Tanner Lectures are a collection of educational and scientific discussions relating to human values. Conducted by leaders in their fields, the...

Evolution and the Social Contract: Symposium on the Tanner Lecture on Human Values (2007)

Ostrum, Elinor, Smith, Michael, Young, Peyton, Skyrms, Bryan

Commentators on Bryan Skyrms' Tanner Lecture. The Tanner Lectures are a collection of educational and scientific discussions relating to human values. Conducted by leaders in their fields, the...

Design of a sixteen channel anterior cardiac receive coil for parallel imaging at 3T (2007)

Smith, Michael

The main objective was to construct a 16-channel anterior cardiac array for 3T MRI capable of ⅓ mm pixel resolution across the right coronary artery, while achieving favourable parallel imaging...

Design of a sixteen channel anterior cardiac receive coil for parallel imaging at 3T (2007)

Smith, Michael

The main objective was to construct a 16-channel anterior cardiac array for 3T MRI capable of ⅓ mm pixel resolution across the right coronary artery, while achieving favourable parallel imaging...

Design of a sixteen channel anterior cardiac receive coil for parallel imaging at 3T (2007)

Smith, Michael

The main objective was to construct a 16-channel anterior cardiac array for 3T MRI capable of ⅓ mm pixel resolution across the right coronary artery, while achieving favourable parallel imaging...

Design of a sixteen channel anterior cardiac receive coil for parallel imaging at 3T (2007)

Smith, Michael

The main objective was to construct a 16-channel anterior cardiac array for 3T MRI capable of ⅓ mm pixel resolution across the right coronary artery, while achieving favourable parallel imaging...

Design of a sixteen channel anterior cardiac receive coil for parallel imaging at 3T (2007)

Smith, Michael

The main objective was to construct a 16-channel anterior cardiac array for 3T MRI capable of ⅓ mm pixel resolution across the right coronary artery, while achieving favourable parallel imaging...

Sol-gel-derived potassium-based di-ureasils for "smart windows" (2007)

Nunes, Sílvia, Bermudez, Verónica, Silva, Manuela, Smith, Michael, Ostrovskii, David, Ferreira, Rute Sá, ...

Sol-gel derived KCF3SO3-doped di-urea cross-linked poly(oxyethylene) (POE)/siloxane (di-ureasil) ormolytes with ∞ > n ≥ 1 (n is the number of oxyethylene units per K+ ion) have been analysed....

Water - vital for our future (2007)

Hargroves, Karlson Charles, Smith, Michael

Australian Innovation: Towards a Sustainable Future will introduce you to leading examples of innovations in sustainability in Australia. It is about the companies, government departments and...

Water - vital for our future (2007)

Hargroves, Karlson Charles, Smith, Michael

Australian Innovation: Towards a Sustainable Future will introduce you to leading examples of innovations in sustainability in Australia. It is about the companies, government departments and...

Performance of Benchmarks on the Cell Processor (2007)

Kerry Creeron, Dan Perron, Michael Smith

The release of the Cell Processor, developed by Sony, Toshiba, and IBM (STI) marks the culmination of a $400 million dollar design investment [1] on the part of the three companies. Banking on the...

David Bustard (2007)

Ross Anderson, James Backhouse, Ewart Carson, Patrik O’brian Holt, Roland Ibbett, Ray Ison, ...

Contact email address: confidential AT nhs.it.info (replace “ AT “ by “@”) Extracted from the online dossier at

Water - vital for our future (2007)

Hargroves, Karlson Charles, Smith, Michael

Australian Innovation: Towards a Sustainable Future will introduce you to leading examples of innovations in sustainability in Australia. It is about the companies, government departments and...

Measurement of optical response of a detuned resonant sideband extraction gravitational wave detector (2006)

Miyakawa, Osamu, Ward, Robert, Adhikari, Rana, Evans, Matthew, Abbott, Benjamin, Bork, Rolf, ...

We report on the optical response of a suspended-mass detuned resonant sideband extraction (RSE) interferometer with power recycling. The purpose of the detuned RSE configuration is to manipulate and...

Lock Acquisition Scheme For The Advanced LIGO Optical configuration (2006)

Miyakawa, Osamu, Ward, Robert, Adhikari, Rana, Abbott, Benjamin, Bork, Rolf, Busby, Daniel, ...

The lock acquisition scheme for the Advanced LIGO optical configuration, which makes use of "resonant sideband extraction", is under investigation in the 40 meter prototype interferometer at Caltech....

Benthic metabolism as an indicator of stream ecosystem health (2006)

Fellows, Christy Susan, Clapcott, Joanne, Udy, James White, Bunn, Stuart, Harch, Bronwyn D., Smith, Michael, ...

We tested direct and indirect measures of benthic metabolism as indicators of stream ecosystem health across a known agricultural land-use disturbance gradient in southeast Queensland, Australia....

Economically Sustainable Cattle Production Practices During Multiple Years of Drought (2006)

Ritten, John, Frasier, W. Marshall, Bastian, Christopher T., Umberger, Wendy Jeanne, Mooney, Siân, Smith, Michael, ...

When facing an extended drought, producers face reduced range and cattle productivity resultingin lower ranching incomes. The mathematical programming using a GAMS model, which is based on previous...

PickPocket : an artificial intelligence for computer billiards / (2006)

Smith, Michael.

"A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Science, Department of Computing Science".

The Brady bill, did it work? / (2006)

Smith, Michael

Honors thesis (B.S.) -- University of New Haven, 2006.

Economically Sustainable Cattle Production Practices During Multiple Years of Drought (2006)

Ritten, John, Frasier, W. Marshall, Bastian, Christopher T., Umberger, Wendy Jeanne, Mooney, Siân, Smith, Michael, ...

When facing an extended drought, producers face reduced range and cattle productivity resultingin lower ranching incomes. The mathematical programming using a GAMS model, which is based on previous...

Benthic metabolism as an indicator of stream ecosystem health (2006)

Fellows, Christy Susan, Clapcott, Joanne, Udy, James White, Bunn, Stuart, Harch, Bronwyn D., Smith, Michael, ...

We tested direct and indirect measures of benthic metabolism as indicators of stream ecosystem health across a known agricultural land-use disturbance gradient in southeast Queensland, Australia....

Using context and similarity for face and location identification (2006)

Marc Davis, Michael Smith, Fred Stentiford, Adetokunbo Bamidele, John Canny, Nathan Good, ...

This paper describes a new approach to the automatic detection of human faces and places depicted in photographs taken on cameraphones. Cameraphones offer a unique opportunity to pursue new...

Benthic metabolism as an indicator of stream ecosystem health (2006)

Fellows, Christy Susan, Clapcott, Joanne, Udy, James White, Bunn, Stuart, Harch, Bronwyn D., Smith, Michael, ...

We tested direct and indirect measures of benthic metabolism as indicators of stream ecosystem health across a known agricultural land-use disturbance gradient in southeast Queensland, Australia....

Web GIS in practice II: interactive SVG maps of diagnoses of sexually transmitted diseases by Primary Care Trust in London, 1997 – 2003 (2005)

Boulos, Maged, Russell, Chris, Smith, Michael

Abstract Background The rates of Sexually transmitted diseases (STDs) in England have been rising steadily since the mid 1990s, making them a major public health concern. In 2003, 672,718 people were...

An Evidence-based Systemic Review of Glucosamine Conducted by the Natural Standard Research Collaboration (2005)

Ulbricht, Catherine, Basch, Ethan, Basch, Samuel, Crichlow, Renn, Ernst, Edzard, Kroll, David, ...

Review Methodology: Systematic Aggregation, Analysis, and Review of the Literature.Search Strategy: To prepare each Natural Standard monograph, electronic searches are conducted in nine databases,...

An Evidence-based Systemic Review of Glucosamine Conducted by the Natural Standard Research Collaboration (2005)

Ulbricht, Catherine, Basch, Ethan, Basch, Samuel, Crichlow, Renn, Ernst, Edzard, Kroll, David, ...

Review Methodology: Systematic Aggregation, Analysis, and Review of the Literature.Search Strategy: To prepare each Natural Standard monograph, electronic searches are conducted in nine databases,...

An Evidence-based Systemic Review of Glucosamine Conducted by the Natural Standard Research Collaboration (2005)

Ulbricht, Catherine, Basch, Ethan, Basch, Samuel, Crichlow, Renn, Ernst, Edzard, Kroll, David, ...

Review Methodology: Systematic Aggregation, Analysis, and Review of the Literature.Search Strategy: To prepare each Natural Standard monograph, electronic searches are conducted in nine databases,...

An Evidence-based Systemic Review of Glucosamine Conducted by the Natural Standard Research Collaboration (2005)

Ulbricht, Catherine, Basch, Ethan, Basch, Samuel, Crichlow, Renn, Ernst, Edzard, Kroll, David, ...

Review Methodology: Systematic Aggregation, Analysis, and Review of the Literature.Search Strategy: To prepare each Natural Standard monograph, electronic searches are conducted in nine databases,...

"Crises and Crisis Management in EU-US Relations: The 'Four Years' Crisis' (2000-2005) in Perspective" (2005)

Smith, Michael.

This paper explores the nature of crises and crisis management in relations between the European integration project and the United States, with special reference to the ‘four years’ crisis’...

Sorghum Genome Sequencing by Methylation Filtration (2005)

Joseph A. Bedell, Muhammad A. Budiman, Andrew Nunberg, Robert W. Citek, Dan Robbins, Joshua Jones, ...

Sorghum bicolor is a close relative of maize and is a staple crop in Africa and much of the developing world because of its superior tolerance of arid growth conditions. We have generated sequence...

Engineering sustainable solutions program : Critical literacies for engineers portfolio (2005)

Desha, Cheryl Julia Kiran, Palousis, Nicholas, Hargroves, Karlson, Smith, Michael

While a number of universities in Australia have embraced concepts such as project/problem-based learning and design of innovative learning environments for engineering education, there has been a...

Engineering sustainable solutions program : Critical literacies for engineers portfolio (2005)

Desha, Cheryl Julia Kiran, Palousis, Nicholas, Hargroves, Karlson, Smith, Michael

While a number of universities in Australia have embraced concepts such as project/problem-based learning and design of innovative learning environments for engineering education, there has been a...

Rigorous Specification and Conformance Testing (2005)

Techniques For Network, Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, ...

Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the...

TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification Volume 1: Overview (2005)

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

We have developed a mathematically rigorous and experimentally-validated post-hoc specification of the behaviour of TCP, UDP, and the Sockets API. It characterises the API and network-interface...

TCP, UDP, and Sockets: (2005)

Rigorous And Experimentally-Validated, Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, ...

We have developed a mathematically rigorous and experimentally-validated post-hoc specification of the behaviour of TCP, UDP, and the Sockets API. It characterises the API and network-interface...

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets (2005)

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the...

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets (2005)

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the...

Engineering sustainable solutions program : Critical literacies for engineers portfolio (2005)

Desha, Cheryl Julia Kiran, Palousis, Nicholas, Hargroves, Karlson, Smith, Michael

While a number of universities in Australia have embraced concepts such as project/problem-based learning and design of innovative learning environments for engineering education, there has been a...

Prognostic significance of early short-term measurements of heart rate variability following acute myocardial infarction. (2004)

Steeds, Richard, Fletcher, Janine, Smith, Michael, West, John, Channer, Kevin, Townend, Jonathan N.

This study of 164 subjects demonstrates that short-term (5-minute) recordings of heart rate variability, performed within 48 hours of admission, identify those who survive acute myocardial infarction...

Intertester reliability of sonography in patellar tendinopathy (2004)

Black, Jennifer, Cook, Jill, Kiss, Z. Stephen, Smith, Michael

Objective. Intertester reliability is imperative during the sonographic assessment of patellar tendinopathy because hypoechoic areas can change over time, and repeated examination may involve...

Providing a User Customisable Tool for Software Visualisation at Runtime (2004)

Michael Smith, Malcolm Munro

This pap r d scrib s r s arch on d v loping a customisabl tool for visualising obj ct-ori nt d s oftwar at runtim. This aims to highlight both th static and dynamic structur of th softwar and aid...

Dominant effects of CCR2-CCR5 haplotypes in HIV-1 disease progression (2004)

Winkler, Cheryl, Hendel, Houria, Carrington, Mary, Smith, Michael, Nelson, George, O'Brien, Stephen, ...

Three haplotypes for the CCR2-CCR5 region previously have been shown to affect AIDS progression; however, it is not known if the protective and accelerating effects of the haplotypes are relatively...

High-Throughput Gene Discovery in the Rat (2004)

Scheetz, Todd E., Laffin, Jennifer J., Berger, Brian, Holte, Sara, Baumes, Susan A., Brown, Robert, ...

The rat is an important animal model for human diseases and is widely used in physiology. In this article we present a new strategy for gene discovery based on the production of ESTs from serially...

Intertester reliability of sonography in patellar tendinopathy (2004)

Black, Jennifer, Cook, Jill, Kiss, Z. Stephen, Smith, Michael

Objective. Intertester reliability is imperative during the sonographic assessment of patellar tendinopathy because hypoechoic areas can change over time, and repeated examination may involve...

"The United States and the European Union: The politics of 'bi-multilateral' negotiations" (2003)

Smith, Michael

The paper starts from the evident significance but also the problematical nature of bilateral EU-U.S. negotiations within the global political economy. It deals first with some of the issues raised...

Assessing Brain Activity through Spatial Bayesian Variable Selection (2003)

Smith, Michael, Pütz, Benno, Auer, Dorothee P., Fahrmeir, Ludwig

Statistical parametric mapping (SPM), relying on the general linear model and classical hypothesis testing, is a benchmark tool for assessing human brain activity using data from fMRI experiments....

Approximate-min* constraint node updating for LDPC code decoding (2003)

Christopher Jones, Esteban Valles, Michael Smith, John Villasenor

This work inrmduces a technique for updaring messages rhar originare ar rke consrrainr nodes of bi-partite graphs in Low-Density Parity-Check codes. The rechnique computes only WO ourgoing magnitudes...

New Talmudic Readings (review) (2001)

Smith, Michael (Michael A.)

Shofar: An Interdisciplinary Journal of Jewish Studies - Volume 19, Number 3, Spring 2001

Development, hydrology and salinisation of the regolth at Bamganie-Meredith, Victoria, Australia (2001)

Smith, Michael (Michael Shane)

This thesis is submitted in fulfilment of the requirements for the Master of Applied Science degree in Geology, within the School of Science. Includes bibliographical references (leaves 202-222) The...

Understanding Europe's "New" Common Foreign and Security Policy (2000)

Smith, Michael

The European Union (EU) has recently re-launched its ambitions for a Common Foreign and Security Policy (CFSP), which might even lead to a European Security and Defense Identity (ESDI). This paper...

Supporting Dynamic Composition of Components (2000)

Giancarlo Succi Raymond, Raymond Wong, Eric Liu, Michael Smith

The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. This demonstration...

Supporting dynamic composition of components (2000)

Giancarlo Succi, Raymond Wong, Eric Liu, Michael Smith

The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. This demonstration...

“Public Goals and Private Strategies in the Transatlantic Economic Partnership” (1999)

Smith, Michael, Cowles, Maria Green.

The aim of this paper is to identify the growing intersection of public goals and private strategies in transatlantic economic relations in the 1990s. In particular, the paper seeks to establish some...

Estimating Long-term Trends in Tropospheric Ozone Levels (1998)

Smith, Michael, Yau, Paul, Shively, Thomas, Kohn, Robert

This paper estimates the long-term trends in the daily maxima of tropospheric ozone at six sites around the state of Texas. The statistical methodology we use controls for the effects of...

Estimating Long-term Trends in Tropospheric Ozone Levels (1998)

Smith, Michael, Yau, Paul, Shively, Thomas, Kohn, Robert

This paper estimates the long-term trends in the daily maxima of tropospheric ozone at six sites around the state of Texas. The statistical methodology we use controls for the effects of...

Additive Nonparametric Regression with Autocorrelated Errors (1998)

Michael Smith, Chi-ming Wong, Robert Kohn

A Bayesian approach is presented for estimating nonparametrically an additive regression model with autocorrelated errors. Each of the potentially nonlinear components is modeled as a regression...

Estimating Long-term Trends in Tropospheric Ozone Levels (1998)

Smith, Michael, Yau, Paul, Shively, Thomas, Kohn, Robert

This paper estimates the long-term trends in the daily maxima of tropospheric ozone at six sites around the state of Texas. The statistical methodology we use controls for the effects of...

Standards for Psychological Services in Long-Term Care Facilities (1998)

Morrow-Howell, Nancy, Lichtenberg, Peter A., Smith, Michael, Frazer, Deborah, Molinari, Victor, Rosowsky, Erlene, ...

Psychologists in Long-Term Care (PLTC), a national network established in 1983, has developed, with input from colleagues and consumers, standards for psychological practice in long-term care...

"Competitive cooperation in the EU’s emergence as a strategic partner for the U.S. in the world political economy" (1997)

Smith, Michael.

This paper attempts in a preliminary way to sketch some of the dimensions of changing EU/US economic relations during the late 1990s, with particular reference to the ability of the EU to forge...

Analytic Small Sample Bias and Standard Error Calculations for Tests of Serial Correlation in Market Returns (1997)

Smith, Michael, Naik, Narayan Y.

This article derives analytic finite sample approximations to the bias and standard error of a class of statistics which test the hypothesis of no serial correlation in market returns. They offer an...

Analytic Small Sample Bias and Standard Error Calculations for Tests of Serial Correlation in Market Returns (1997)

Smith, Michael, Naik, Narayan Y.

This article derives analytic finite sample approximations to the bias and standard error of a class of statistics which test the hypothesis of no serial correlation in market returns. They offer an...

A Bayesian Approach to Nonparametric Bivariate Regression. (1997)

Michael Smith, Robert Kohn

This paper outlines a general Bayesian approach to estimating a bivariate regression function in a nonparametric manner. It models the function using a bivariate regression spline basis with many...

Analytic Small Sample Bias and Standard Error Calculations for Tests of Serial Correlation in Market Returns (1997)

Smith, Michael, Naik, Narayan Y.

This article derives analytic finite sample approximations to the bias and standard error of a class of statistics which test the hypothesis of no serial correlation in market returns. They offer an...

Nonparametric regression using Bayesian variable selection (1996)

Michael Smith

This paper estimates an additive model semiparametrically, while automatically select-ing the significant independent variables and the app~opriatc power transformation of the dependent variable. The...

Nonparametric Regression using Bayesian Variable Selection (1996)

Michael Smith, Robert Kohn

This paper estimates an additive model semiparametrically, while automatically selecting the significant independent variables and the appropriate power transformation of the dependent variable. The...

Additive Nonparametric Regression for Time Series (1996)

Michael Smith, Chi-ming Wong, Robert Kohn

This paper presents a comprehensive Bayesian approach for semiparametrically estimating an additive regression model when the errors are autocorrelated. Each potentially nonlinear component is...

- Sampling and Analysis of Odors (1996)

Jon David Kehoe, James Harcus, Michael Smith, M. Jason Warren, Faculty Advisor, Dr. Alex Gnyp

A comprehensive acquisition, review, and correlation of odor literature was undertaken for the Air and Waste Management Association’s EE-6 Odor Committee. This literature was acquired from various...

"The European Union, the United States and Japan: Structure, Action and Interaction" (1995)

Smith, Michael.

This paper is very much a preliminary stab at the further development of work already undertaken by the author on the external economic policies of the EU and the EU's role as an international actor....

Aristotle: a system for the development of program-analysis-based tools (1995)

Mary Jean Harrold, Loren Larsen, John Lloyd, David Nedved, Gregg Rothermel, Manvinder Singh, ...

Abstract- Aristotle provides program analysis information, and supports the development of software engineering tools. Aristotle's front end consists of parsers that gather control flow, local...

The Impact of Operating System Structure on Personal Computer Performance (1995)

Yasohiro Endo, Michael D. Smith, J. Bradley Chen, David Mazières, J. Bradley Chen, Yasuhiro Endo, ...

This paper presents a comparative study of the performance of three operating systems that run on the personal computer architecture derived from the IBM-PC. The operating systems, Windows for...

Finite sample performance of robust Bayesian regression (1995)

Michael Smith, Simon Sheather, Robert Kohn

This paper compares the finite sample performance of a particular Bayesian approach to robustly estimating a regression function, either linearly or nonparametrically, with several non-Bayesian...

Hyperexpression of a synthetic gene encoding a high potential iron sulfur protein (1994)

Eltis, Lindsay D., Iwagami, Sakura G., Smith, Michael

A gene encoding high potential iron sulfur protein (HiPIP) iso-1 from Ectothiorhodospira halophila was constructed in one step from long synthetic oligonucleotides. The gene was inserted into a...

"Bringing the state back in? The European Community and the state in Europe" (1993)

Smith, Michael.

[From the Introduction]. The central question with which the paper is concerned is this: What is the relationship between the EC, statehood and European order in a changing (if not transformed)...

Analysis of the invariant Phe82 residue of yeast iso-1-cytochrome c by site-directed mutagenesis using a phagemid yeast shuttle vector (1991)

Inglis, Stephen C., Guillemette, J.Guy, Johnson, Jeanette A., Smith, Michael

A phagemid (pING4) carrying the yeast iso-1-cytochrome c gene was constructed which bears all the elements necessary for replication in yeast and bacteria and may be converted into a single-stranded...

Expression in Escherichia coli of a synthetic gene coding for horse heart myoglobin (1991)

Guillemette, J.Guy, Matsushima-Hibiya, Yuko, Atkinson, Tom, Smith, Michael

A gene for expression of horse heart myoglobin in Escherichia coli has been constructed in one step from long synthetic oligonucleotides. The synthetic gene contains an efficient translation...

A method for introducing random single point deletions in specific DNA target sequences using oligonucleotides (1989)

Ner, Sarbjit S., Atkinson, Tom C., Smith, Michael

We describe a method for the generation of random point deletions in any target DNA sequer using synthetic mixed oligonucleotides. A mixed pool of oligonucleotides, which contain sinj nucleotide...

In vitro generation of specific deletions in DNA cloned In M13 vectors using synthetic oligodeoxyribonucleotides: mutants in the 5'-flanking region of the yeast alcohol dehydrogenase II gene (1984)

Chan, Voon-Loong, Smith, Michael

Deletion mutants are particularly useful in defining the boundaries of noncoding genetic functions. Such mutants can be precisely generated using synthetic oligodeoxyribonucleotides as mutagens. In...

Oligonucleotide-directed mutagenesis using M13-derived vectors: an efficient and general procedure for the production of point mutations in any fragment of DNA (1982)

Zoller, Mark J., Smith, Michael

This paper presents a versatile and efficient procedure for the construction of oligodeoxyribonucleotide directed site-specific mutations in DNA fragments cloned into M13 derived vectors. As an...

Defined transversion mutations at a specific position in DNA using synthetic oligodeoxyribonucleotides as mutagens (1979)

Gillam, Shirley, Jahnke, Patricia, Astell, Caroline, Phillips, Sandra, Hutchison, Clyde A., Smith, Michael

The oligodeoxyribonucleotides, pCCCAGCCTCAA, which is complementary to nucleotides 5274–4284 of bacteriophage øX174 viral DNA, and pCCCAGCCTAAA, which corresponds to the same sequence with a C →...

Enzymatic synthesis of oligodeoxyribonucleotides of defined sequence. Polynucleotide phosphorylase catalysed addition of deoxyribonucleotides to primers which are good or poor acceptors (1978)

Trip, Everard M., Smith, Michael

Analytical high-pressure anion-exchange chromatography on RPC-5 has been used to study the behaviour of a good primer, d(pT-T-A-G), and a poor primer, d(pT-T-T-T-T-T) in the E. coli polynucleotide...

Enzymatic synthesis of oligodeoxyribonucleotides of defined sequence. Polynucleotide phosphorylase catalysed synthesis using pyrimidine analog-containing deoxyribonucleoside 5'-diphosphates (1978)

Trip, Everard M., Smith, Michael

The E. coli polynucleotide phosphorylase-catalysed reaction of the deoxynucleoside 5′-diphosphates of 5-methyldeoxycytidine, N4-hydroxydeoxy-cytidine, deoxyuridine and 5-mercurideoxyuridine with...

Enzymatic synthesis of oligonucleotides of defined sequence. Addition of short blocks of nucleotide residues to oligonucleotide primers (1975)

Gillam, Shirley, Waterman, Kimberley, Smith, Michael

Polynucleotide phosphorylase from Escherichia coli can be used to catalyse the addition of short tracts of deoxyadenylate residues to the 3′-termini of deoxyribooligonucleotides of the type pdAn-dN...

The base-pairing specificity of cellulose-pdT9 (1975)

Gillam, Shirley, Waterman, Kimberley, Smith, Michael

The stability of the interaction of oligoadenylates, containing single nucleotide substitutions, with cellulose-pdT9 has been studied by thermal elution. In the case of oligodeoxyriboadenylates, the...

Enzymatic synthesis of deoxyribo-oligonucleotides of defined sequence. Properties of the enzyme (1974)

Gillam, Shirley, Smith, Michael

A modified purification is described for an enzyme, from Escherichia coli B, which polymerizes deoxyribonucleoside-5′ diphosphates. Under appropriate conditions, the enzyme will add a single...

Enzymatic synthesis of deoxyribo-oiigonucleotides of defined sequence. Deoxyribo-oligonucleotide synthesis (1974)

Gillam, Shirley, Waterman, Kimberley, Doel, Michael, Smith, Michael

An enzyme, which is probably identical with polynucleotide phosphorylase, was prepared from Escherichia coli B. In thepresence of Mn2$ it catalyzes the addition of one (and to aslight extent more)...

The Determinants of Blue CollarWage Rates: An Analysis of a DataSet Incorporating Observed Job Characteristics

Michael Smith, Anthony Masi, Paula Lemay

There is wide agreement that one of the major problems in the estimation of wage equations, and in testing theories of wages, is the quality of the data available. In particular, the data used in...

A Reexamination of the Persistence of Accruals and Cash Flows

JENNIFER FRANCIS, MICHAEL SMITH

We reexamine prior studies' conclusion that accruals are less persistent than cash, focusing on two aspects of persistence that are crucial to determining its properties. The first (time specificity)...

Frictionless Commerce? A Comparison of Internet and Conventional Retailers

Michael Smith, Erik Brynjolfsson

There have been many claims that the Internet represents a new "frictionless market." Our research empirically analyzes the characteristics of the Internet as a channel for two categories of...

Forecasting as a Business Process Diagnostic

Mario Sepulveda-Guzman, Michael Smith, George Mechling

These three authors examine a manufacturing company that had developed sophisticated statistical models but still had not obtained satisfactory results for a key product line. They raise the...

Bayesian Estimation of an Endogenous Bivariate Semiparametric Probit Model for Health Practitioner Utilisation in Australia

Denzil Fiebig, Michael Smith, Remy Cottet

This paper presents Bayesian methodology for the estimation of a bivariate probit model with an endogenous effect and both parametric linear and flexible semiparametric exogenous effects. The model...

Modeling and Short-term Forecasting of New South Wales Electricity System Load.

Smith, Michael

This article employs Bayesian semiparametric regression methodology to model intraday electricity load data and obtain short-term load forecasts. The role of such forecasts in the New South Wales...

Foreign Exchange Intervention by the Bank of Japan: Bayesian Analysis Using a Bivariate Stochastic Volatility Model

Michael Smith, Andrew Pitts

A bivariate stochastic volatility model is employed to measure the effect of intervention by the Bank of Japan (BOJ) on daily returns and volume in the USD/YEN foreign exchange market. Missing...

Evaluation of an Online Relapse Prevention Program for Bipolar Disorder: An Overview of the Aims and Methodology of a Randomized Controlled Trial

Caryl Barnes, Robin Harvey, Philip Mitchell, Michael Smith, Kay Wilhelm

Bipolar disorder is a chronic relapsing remitting illness affecting 1-2% of the general adult population. Awareness of the limitations of pharmacological treatment for this disorder has encouraged...

Bayesian identification, selection and estimation of semiparametric functions in high-dimensional additive models

Panagiotelis, Anastasios, Smith, Michael

In this paper we propose an approach to both estimate and select unknown smooth functions in an additive model with potentially many functions. Each function is written as a linear combination of...

The European Union and a Changing Europe: Establishing the Boundaries of Order

Michael Smith

This article seeks to explore the relationship between the European Union (EU) and the changing European order, with particular respect to the ways in which the EU structures and shapes the...

Bayesian density forecasting of intraday electricity prices using multivariate skew t distributions

Panagiotelis, Anastasios, Smith, Michael

Electricity spot prices exhibit strong time series properties, including substantial periodicity, both inter-day and intraday serial correlation, heavy tails and skewness. In this paper we capture...

The Non-arbitrariness of Reasons: Reply to Lenman

Smith, Michael

James Lenman is critical of my claim that moral requirements are requirements of reason. I argue that his criticisms miss their target. More importantly, I argue that the anti-rationalism that...

Immodest Consequentialism and Character

Smith, Michael

The fact that we place the value that we do on the traits of character constitutive of being a good friend, and the acts that good friends are disposed to perform, creates a considerable problem for...

Working In a Regulated Occupation in Canada: An Immigrant - Native-Born Comparison

Girard, Magali, Smith, Michael

The number of immigrants working in regulated and unregulated occupations is unknown. A major contribution of this study is that we use Statistics Canada data to classify occupations, across...