Midas is an inter-disciplinary approach to supporting state-machine replication for nondeterministic distributed applications. The approach exploits compile-time static analysis to identify both first-hand and second-hand sources of nondeterminism. Subsequent runtime compensation occurs through either the transfer of nondeterministic checkpoints or the reexecution of inserted code, and restores...

This article describes the development and initial psychometric properties of the Milwaukee Inventory for the Dimensions of Adult Skin picking (MIDAS), a measure designed to assess "automatic" and "focused" skin picking. Data were collected from 92 participants who completed an anonymous internet-based survey. Results of an exploratory factor analysis revealed a two-factor solution. Factors 1 (...

In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human-machine systems, there is an increasing need to validly predict how operators allocate their visual attention. This paper describes the information-seeking (attention-guiding) model within the Man-machine Integration...

The MIDAS system is an automated supply chain management system that enables customers, manufacturers, and suppliers to cooperate over the Internet. MIDAS aims to achieve high customer satisfaction by supporting the build-to-order customization model and to reduce inventory carrying costs and logistics administration costs at the manufacturer by supporting the just-in-time manufacturing model. ...

OBJECTIVE To test the hypothesis that GP trainees are worth their weight in gold. DESIGN Data collected from 100 consecutive patients analysed with reference to practice statistics, fees, and allowances. SETTING General practice, Edinburgh. RESULTS In the year April 1992 to April 1993 the trainee saw 3439 patients, who were worth over 18,000 pounds in capitation fees. The training grant i...

This paper is part of an ESRC-funded research project on migration, democracy and security (MIDAS) in the New Security Challenges programme (project ref.

Introduction Music in Dementia Assessment Scales (MiDAS) is an observational, dementia-specific, visual analogue scale, developed to measure musical experiences of patients with dementia (PwD). It was derived from qualitative data focus groups and interviews PwD, carers, care home staff, music therapists. Since its publication, there has been great interest using MiDAS several European countrie...

background: providing a self-care program appropriate for patient needs in a supportive educative nursing system format could reduce migraine-induced disability. this study was designed to determine the effectiveness of orem's self-care program on headache related disability in migraine patients. methods: in this randomized clinical trial, episodic migraine patients with or without aura who sig...