MUSE CSP: An Extension to the Constraint Satisfaction Problem

This paper describes an extension to the constraint satisfaction problem (CSP) called MUSE CSP (MUltiply SEgmented Constraint Satisfaction Problem). This extension is especially useful for those problems which segment into multiple sets of partially shared variables. Such problems arise naturally in signal processing applications including computer vision, speech processing, and handwriting recognition. For these applications, it is often difficult to segment the data in only one way given the low-level information utilized by the segmentation algorithms. MUSE CSP can be used to compactly represent several similar instances of the constraint satisfaction problem. If multiple instances of a CSP have some common variables which have the same domains and constraints, then they can be combined into a single instance of a MUSE CSP, reducing the work required to apply the constraints. We introduce the concepts of MUSE node consistency, MUSE arc consistency, and MUSE path consistency. We then demonstrate how MUSE CSP can be used to compactly represent lexically ambiguous sentences and the multiple sentence hypotheses that are often generated by speech recognition algorithms so that grammar constraints can be used to provide parses for all syntactically correct sentences. Algorithms for MUSE arc and path consistency are provided. Finally, we discuss how to create a MUSE CSP from a set of CSPs which are labeled to indicate when the same variable is shared by more than a single CSP.Comment: See http://www.jair.org/ for any accompanying file

Exact Random Walk Distributions using Noncommutative Geometry

Using the results obtained by the non commutative geometry techniques applied to the Harper equation, we derive the areas distribution of random walks of length $N$ on a two-dimensional square lattice for large $N$, taking into account finite size contributions.Comment: Latex, 3 pages, 1 figure, to be published in J. Phys. A : Math. Ge

Comparison of outcome measures for patients with chronic obstructive pulmonary disease (COPD) in an outpatient setting

BACKGROUND: To assist clinicians and researchers in choosing outcome measures for patients with chronic obstructive pulmonary disease attending routine outpatient clinics, a comparative assessment was undertaken of four questionnaires designed to reflect the patients' perception of their physical and emotional health in terms of their feasibility, validity, reliability, and responsiveness to health change. METHODS: Two condition specific questionnaires, the St George's Respiratory Questionnaire (SGRQ) and Guyatt's Chronic Respiratory Questionnaire (CRQ), and two generic questionnaires, the Short Form-36 Health Survey (SF-36) and Euroqol (EQ), were compared for their discriminative and evaluative properties. Spirometric tests and a walking test were also performed. One hundred and fifty six adults who were clinically judged to have COPD and who attended an outpatient chest clinic were assessed at recruitment and six and 12 months later. Patients were also asked whether their health had changed since their last assessment. RESULTS: Completion rates and consistency between items for dimensions of the SGRQ were lower than for dimensions of the other questionnaires. The distributions of responses were skewed for certain dimensions in all questionnaires except the CRQ. Validity was supported for all instruments insofar as patients' scores were associated with differences in disease severity. The generic questionnaires better reflected other health problems. All instruments were reliable over time. The condition specific questionnaires were more responsive between baseline and first follow up visit but this difference did not persist. While certain dimensions of the SF-36 were responsive to patient perceived changes, this did not apply to the derived single index of the EQ. The rating scale of the EQ, however, provided a quick and easy indicator of change. CONCLUSIONS: Evidence from this study supports the CRQ and the SF-36 as comprehensive outcome measures for patients with longstanding COPD

Dependent Types for Pragmatics

This paper proposes the use of dependent types for pragmatic phenomena such as pronoun binding and presupposition resolution as a type-theoretic alternative to formalisms such as Discourse Representation Theory and Dynamic Semantics.Comment: This version updates the paper for publication in LEU

Method of studying the Bogoliubov-de Gennes equations for the superconducting vortex lattice state

In this paper, we present a method to construct the eigenspace of the normal-state electrons moving in a 2D square lattice in presence of a perpendicular uniform magnetic field which imposes (quasi)-periodic boundary conditions for the wave functions in the magnetic unit cell. An exact unitary transformations are put forward to correlate the discrete eigenvectors of the 2D electrons with those of the Harper's equation. The cyclic-tridiagonal matrix associated with the Harper's equation is then tridiagonalized by another unitary transformation. The obtained eigenbasis is utilized to expand the Bogoliubov-de Gennes equations for the superconducting vortex lattice state, which showing the merit of our method in studying the large-sized system. To test our method, we have applied our results to study the vortex lattice state of an s-wave superconductor.Comment: 8 pages; 3 figure

Inductive Reasoning Games as Influenza Vaccination Models: Mean Field Analysis

We define and analyze an inductive reasoning game of voluntary yearly vaccination in order to establish whether or not a population of individuals acting in their own self-interest would be able to prevent influenza epidemics. We find that epidemics are rarely prevented. We also find that severe epidemics may occur without the introduction of pandemic strains. We further address the situation where market incentives are introduced to help ameliorating epidemics. Surprisingly, we find that vaccinating families exacerbates epidemics. However, a public health program requesting prepayment of vaccinations may significantly ameliorate influenza epidemics.Comment: 20 pages, 7 figure

Beyond Search: A Technology Probe Investigation

Purpose — We assert that researchers developing new web interaction tools should consider an array of user motives beyond query-based information retrieval. This chapter reports on two probes used to investigate user activities that go beyond search as traditionally conceived. Design/methodology — This chapter reviews research on user experiences with search engines and general web use. It then describes the design and case study of cards and pebbles, two search engine-based probes developed to help elicit new concepts for web-based experiences. Findings — Participants reflect on their experiences with the probes and offer ideas regarding how to incrementally shift the traditional search paradigm and conceive of the web in new ways. Implications/value — This investigation serves as a starting point by offering criteria that should be considered when designing new ‘beyond search’ tools

Effects of Electron Correlations on Hofstadter Spectrum

By allowing interactions between electrons, a new Harper's equation is derived to examine the effects of electron correlations on the Hofstadter energy spectra. It is shown that the structure of the Hofstadter butterfly ofr the system of correlated electrons is modified only in the band gaps and the band widths, but not in the characteristics of self-similarity and the Cantor set.Comment: 13 pages, 5 Postscript figure

Magnetic Field Effect on the Pseudogap Temperature within Precursor Superconductivity

We determine the magnetic field dependence of the pseudogap closing temperature T* within a precursor superconductivity scenario. Detailed calculations with an anisotropic attractive Hubbard model account for a recently determined experimental relation in BSCCO between the pseudogap closing field and the pseudogap temperature at zero field, as well as for the weak initial dependence of T* at low fields. Our results indicate that the available experimental data are fully compatible with a superconducting origin of the pseudogap in cuprate superconductors.Comment: 4 pages, 3 figure