We introduce control engineering as a new domain of application for formal methods. We discuss design verification, drawing attention to the role played by diagrammatic evaluation criteria involving numeric plots of a design, such as Nichols and Bode plots. We show that symbolic computation and computational logic can be used to discharge these criteria and provide symbolic, automated, and very...

Homeless people have complex problems. GP enhanced care (Pathway) has shown benefits. We performed a randomised, -parallel arm trial at two large inner city hospitals. Inpatient homeless adults were randomly allocated to either standard care (all management by the hospital-based clinical team) or enhanced care with input from a homeless care team. The hospital data system provided healthcare us...

A two-dimensional model is used to study the effect of cell structure on the performance of PDPs. More specifically, the effect of the insertion of a floating conducting material between the dielectric layer and the MgO film on the performance of the device is investigated. The shape of the discharge power pulse is found to be significantly different in comparison with the corresponding pulse o...

Carbon nanotubes (CNTs) have been under scientific investigation for more than fifteen years because of their unique properties that predestine them for many potential applications. The field of nanotechnology and nanoscience push their investigation forward to produce CNTs with suitable parameters for future applications. It is evident that new approaches of their synthesis need to be develope...

OF THESIS DESK-TOP SIZE HIGH REPETITION RATE 46.9 NM CAPILLARY DISCHARGE LASER AS PHOTOIONIZATION SOURCE FOR PHOTOCHEMISTRY APPLICATIONS A portable high repetition rate desktop-size capillary discharge laser emitting at a wavelength of 46.9 nm (26.5 eV photon energy) was demonstrated and used as a photoionization source in nanocluster mass spectroscopy. The high photon energy allows the single-...

Intervention 93 spouses were allocated to a mastery tape, 101 to a coping tape, and 102 to a control condition. The mastery and coping tapes provided procedural information (eg, lifting, exercise, diet, incision care) and sensory information (eg, emotions, sleep, appetite) regarding what to expect during the recovery period. They were narrated by a cardiothoracic nurse specialist, with descript...

Though intravenous (IV) Magnesium Sulphate (MgS04) has additive effect to beta-2 agonists, its additive benefit in face of combination therapy with beta-2-agonists and ipratropium (standard therapy of severe acute exacerbation of asthma) remains unaddressed. The aim of this investigation was to evaluate the role of IV MgSO4 when used as an adjunct to standard therapy of severe exacerbations of ...

STUDY OBJECTIVES To investigate whether changing the stated time frame for COOP-WONCA charts has any effect on responses. Specifically, to assess the effect of attempting to avoid the situation where the time frame crosses the onset of an acute episode. DESIGN A randomised controlled trial of two time frames, nested within a main trial comparing early discharge with a hospital at home scheme ...