Colloidal models are frequently used to model the thermodynamics of bacterial attachment to surfaces. The most commonly used of such models is that proposed by van Oss, Chaudhury and Good, which includes both non-polar and polar (including hydrogen bonding) interactions between the attaching bacterium, the attachment substratum and the aqueous environment. We use this model to calculate the fre...

Serial electrocardiographs (ECG) and vectorcardiographs (VCG) have been performed on 10 patients admitted to hospital in status asthmaticus on 12 separate occasions. The VCG was more efficient than the ECG in the detection of right atrial and ventricular enlargement. Both investigations were equally reliable in recording changes in frontal plane P wave axis. The mean frontal plane P wave axis f...

DESPITE several studies, no definitive criteria for the vectorcardiographic diagnosis of left ventricular hypertrophy (LVH) have been proposed. Some reports have been limited to the analysis of cases of the systolic overload type of LVH' while others have failed to define specific criteria for the diagnosis or have emphasized the wide overlap of the findings in LVH with those of the normal popu...

The Generalized Second Price (GSP) auction has appealing properties when ads are simple (text based and identical in size), but does not generalize to richer ad settings, whereas truthful mechanisms such as VCG do. However, a straight switch from GSP to VCG incurs significant revenue loss for the search engine. We introduce a transitional mechanism which encourages advertisers to update their b...

Three lexical decision experiments tested the claim by M. Taft (Journal of Verbal Learning and Verbal Behavior 1979, 18, 21-39) that lexical access is based on a word's Basic Orthographic Syllabic Structure (BOSS). Experiment 1 failed to replicate Taft's finding that lexical decisions were faster to monomorphemic words split at their BOSS boundary than those split at their Vocalic Center Group ...

In 44 consecutive patients undergoing elective open heart surgery (OHS), serial electrocardiograms (ECG), vectorcardiograms (VCG), serum CPK, cardiac isoenzymes (CPKMB), and myocardial images using Tc-99m pyrophosphate were obtained, before and after the operation, for the detection of acute myocardial infarction (AMI). Twenty-nine patients developed one or more positive tests postoperatively. ...

We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and exceptions. Bytecode annotated in a first order expression language can be certified not to produce arithmetic overflows. For this purpose we use a generic verification condition generator, which we have proven correct and rela...

We consider the problem of implementing a system-optimal decision policy in the context of self-interested agents with private state in an uncertain world. Unique to our model is that we allow both persistent agents, with an agent having a local MDP model to describe how its local world evolves given actions by a center, and also periodically-inaccessible agents, with an agent unable to report ...