A s most of us are aware, recent technological advances offer tremendous promise in bringing the benefits of rich computational capabilities to dynamic, diverse situations in everyday life. However, much of this promise remains unfulfilled. We can’t yet use this enormous computing power to facilitate our day-to-day lives and regularly deliver compelling ubiquitous computing applications. Our si...

The ultimate goal of formal methods is to provide assurances about the quality, performance, security, etc. of systems. While formal tools have advanced greatly over the past two decades, widespread proliferation has not yet occurred, and the full impact of formal methods is still to be realized. This paper presents some ideas on how to catalyze the growth of formal techniques in day-to-day eng...

Health impact assessment (HIA) on a strategic level focuses on the broad determinants of health. However, the evidence with regard to the health impacts is often necessarily 'soft'. The example of a health impact review on national housing policy in the Netherlands shows that HIA can be effective even in the absence of hard data. Strategies used to overcome the problem of not having hard data a...

INTRODUCTION The purpose of this study was to explore a data set of patients with fibromyalgia (FM), rheumatoid arthritis (RA) and systemic lupus erythematosus (SLE) who completed the Revised Fibromyalgia Impact Questionnaire (FIQR) and its variant, the Symptom Impact Questionnaire (SIQR), for discriminating features that could be used to differentiate FM from RA and SLE in clinical surveys. ...