A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

Induction and measurement of antisperm antibody responses in vitro

We did a statistical study of 294 strains of Staphylococcus aureus (S. aureus) isolated from skin infections during the period from January of 1989 to December of 1991 in the Department of Dermatology, Kansai Medical University Hospital. We especially examined methicillin-resistant S. aureus (MRSA) from the point of view of incidence, variety of skin infections with MRSA, coagulase type, phase type, and resistance against antimicrobial agents. The frequency of isolation of MRSA has been increasing. In 1991, the proportion of MRSA isolates among all S. aureus strains isolated from skin infections was 41.5%. MRSA was isolated most often from infectious decubitus. Coagulase type II and phage group NT (not typable) MRSA were most frequently isolated. The resistance of MRSA to OFLX and IMP/CS had remarkably increased. Notably, the resistance to MINO was low before 1991.     

Long-term effect of inducible silent ischaemia on left ventricular systolic function

A new method of thin section preparation of III-V semiconductors and multilayers for transmission electron microscopy (TEM) is presented that exhibits considerable advantages over conventional methods such as ion beam milling and jet thinning. GaAs thin films and multilayers of GaAs/In chi Ga1-chi As/GaAs are grown over an etch release layer of AlAs on GaAs substrates by molecular beam epitaxy (MBE). Planar TEM sections prepared by selective etching from these samples show improved ability to image film morphology and dislocation arrangements, and the resulting large thin electron transparent areas facilitate dislocation density measurements and detection of spatial variations. Avoidance of radiation effects and wedge shaping, both common to ion milled samples, allows this method to be used to prepare uniform thickness standards of single layer GaAs films for EDS analysis or lattice imaging.     

Integration of solvent extraction and liquid membrane separation: An efficient tool for recovery of bio-active substances from botanicals

An integrated process based on simultaneous solid-liquid extraction and liquid membrane separation is proposed for recovery and isolation of valuable species from botanicals. This integration provides complete exhausting of the solid material even in the case of very low solubility of the specified solute in the extracting solvent. Selectivity of the liquid membrane ensures a preferential transport of the desired solute from the native extract into the strip solution, while the other co-extracted species remain predominantly in the native extract.     

Efficacy evaluation of a 4% chlorhexidine gluconate as a full-body shower wash

A 4% chlorhexidine gluconate (Xttrium Laboratories, Chicago, Ill.) was used in a shower bath application to evaluate its merits in reducing resident skin microorganisms. Five volunteers completed a 14-day microbial stabilization period, a 7-day baseline period, and a 5-day test period. Subjects followed a standard protocol, performed five shower washes and were sampled at both the abdominal and inguinal regions immediately after the shower wash as well as at 3 and 6 hours later on days 1, 2, and 5. Chlorhexidine gluconate provided significant microbial reductions from baseline, with greater reductions noted as the study progressed. Use of chlorhexidine gluconate in a shower wash application in conjunction with a preoperative skin-preparation procedure may reduce the probability of surgically associated infections.     

DSM-III-R personality disorders in a mood and anxiety disorders clinic: prevalence, comorbidity, and clinical correlates

This study examined the prevalence, comorbidity, and clinical correlates of personality disorders in an outpatient sample (N = 352) with anxiety and depression. Subjects were diagnosed using the Structured Clinical Interview for DSM-III-R (SCID) on Axes I and II, and they also completed interview and self-report measures of symptoms. Subjects with a personality disorder were less likely to be married, more likely to be single or divorced, had lower family incomes, had more severe symptoms of both anxiety and depression, and had a greater number of lifetime Axis I diagnoses. Subjects with dysthymic and bipolar disorders were more likely, and subjects with panic disorder uncomplicated by agoraphobia were less likely to have a personality disorder compared to the rest of the sample. The most prevalent personality disorders were Avoidant, Obsessive-Compulsive, Paranoid, and Borderline. Paranoid co-occurred with Narcissistic, and Borderline co-occurred with Histrionic personality disorder significantly more often than chance and base rates would predict.