Computing explanations for interactive constraint-based systems

Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.

Anticipatory vigilance: A classic grounded theory of risk reduction and management in the perioperative setting

This research aimed to investigate the main concern facing nurses in minimising risk within the perioperative setting and to generate an explanatory substantive theory of how they resolve this through anticipatory vigilance. In the context of the perioperative setting, nurses encounter challenges in minimising risks for their patients on a continuous basis. Current explanations of minimising risk in the perioperative setting offers insights into how perioperative nurses undertake their work. Currently research in minimising risk is broadly related to dealing with errors as opposed to preventing them. To date, little is known about how perioperative nurses practice and maintain safety. This study was guided by the principles of classic grounded theory as described by Glaser (1978, 1998, 2001). Data was collected through individual unstructured interviews with thirty seven perioperative nurses (with varying lengths of experiences of working in the area) and thirty three hours of non-participant observation within eight different perioperative settings in the Republic of Ireland. Data was simultaneously collected and analysed. The theory of anticipatory vigilance emerged as the pattern of behaviour through which nurse’s deal with their main concern of minimising risk in a high risk setting. Anticipatory vigilance is enacted through orchestrating, routinising and momentary adapting within a spirit of trusting relations within the substantive area of the perioperative setting. This theory of offers an explanation on how nurses resolve their main concern of minimising risk within the perioperative setting. The theory of anticipatory vigilance will be useful to nurses in providing a comprehensive framework of explanation and understanding on how nurses deal with minimising risk in the perioperative setting. The theory links perioperative nursing, risk and vigilance together. Clinical improvements through understanding and awareness of the theory of anticipatory vigilance will result in an improved quality environment, leading to safe patient outcomes.

Synthesis and characterization of oxide materials

Nanostructured materials are central to the evolution of future electronics and biomedical applications amongst other applications. This thesis is focused on developing novel methods to prepare a number of nanostructured metal oxide particles and films by a number of different routes. Part of the aim was to see how techniques used in nanoparticle science could be applied to thin film methods to develop functional surfaces. Wet-chemical methods were employed to synthesize and modify the metal oxide nanostructures (CeO2 and SiO2) and their structural properties were characterized through advanced X-ray diffraction, electron microscopy, photoelectron spectroscopy and other techniques. Whilst particulates have uses in many applications, their attachment to surfaces is of importance and this is frequently challenging. We examined the use of block copolymer methods to form very well defined metal oxide particulate-like structures on the surface of a number of substrates. Chapter 2 describes a robust method to synthesize various sized silica nanoparticles. As-synthesized silica nanoparticles were further functionalized with IR-820 and FITC dyes. The ability to create size controlled nanoparticles with associated (optical) functionality may have significant importance in bio-medical imaging. Thesis further describes how non-organic modified fluorescent particles might be prepared using inorganic oxides. A study of the concentrations and distributions of europium dopants within the CeO2 nanoparticles was undertaken and investigated by different microscopic and spectroscopic techniques. The luminescent properties were enhanced by doping and detailed explanations are reported. Additionally, the morphological and structural evolution and optical properties were correlated as a function of concentrations of europium doping as well as with further annealing. Further work using positron annihilation spectroscopy allowed the study of vacancy type defects formed due to europium doping in CeO2 crystallites and this was supported by complimentary UV-Vis spectra and XRD work. During the last few years the interest in mesoporous silica materials has increased due to their typical characteristics such as potential ultra-low dielectric constant materials, large surface area and pore volume, well-ordered and uniform pores with adjustable pores between 2 and 50 nm. A simple, generic and cost-effective route was used to demonstrate the synthesis of 2D mesoporous silica thin films over wafer scale dimensions in chapter 5. Lithographic resist and in situ hard mask block copolymer followed by ICP dry etching were used to fabricate mesoporous silica nanostructures. The width of mesoporous silica channels can be varied by using a variety of commercially available lithographic resists whereas depth of the mesoporous silica channels can be varied by altering the etch time. The crystal structure, morphology, pore arrangement, pore diameters, thickness of films and channels were determined by XRD, SEM, ellipsometry and the results reported. This project also extended work towards the study of the antimicrobial study of nanopatterned silver nanodot arrays formed using the block copolymer approach defined above. Silver nanodot arrays were successfully tested for antimicrobial activity over S. aureus and P. aeruginosa biofilms and results shows silver nanodots has good antimicrobial activity for both S. aureus and P. aeruginosa biofilms. Thus, these silver nanodot arrays shows a potential to be used as a substitute for the resolution of infection complications in many areas.

The development of new methods for high resolution radio astronomy imaging

Very Long Baseline Interferometry (VLBI) polarisation observations of the relativistic jets from Active Galactic Nuclei (AGN) allow the magnetic field environment around the jet to be probed. In particular, multi-wavelength observations of AGN jets allow the creation of Faraday rotation measure maps which can be used to gain an insight into the magnetic field component of the jet along the line of sight. Recent polarisation and Faraday rotation measure maps of many AGN show possible evidence for the presence of helical magnetic fields. The detection of such evidence is highly dependent both on the resolution of the images and the quality of the error analysis and statistics used in the detection. This thesis focuses on the development of new methods for high resolution radio astronomy imaging in both of these areas. An implementation of the Maximum Entropy Method (MEM) suitable for multi-wavelength VLBI polarisation observations is presented and the advantage in resolution it possesses over the CLEAN algorithm is discussed and demonstrated using Monte Carlo simulations. This new polarisation MEM code has been applied to multi-wavelength imaging of the Active Galactic Nuclei 0716+714, Mrk 501 and 1633+382, in each case providing improved polarisation imaging compared to the case of deconvolution using the standard CLEAN algorithm. The first MEM-based fractional polarisation and Faraday-rotation VLBI images are presented, using these sources as examples. Recent detections of gradients in Faraday rotation measure are presented, including an observation of a reversal in the direction of a gradient further along a jet. Simulated observations confirming the observability of such a phenomenon are conducted, and possible explanations for a reversal in the direction of the Faraday rotation measure gradient are discussed. These results were originally published in Mahmud et al. (2013). Finally, a new error model for the CLEAN algorithm is developed which takes into account correlation between neighbouring pixels. Comparison of error maps calculated using this new model and Monte Carlo maps show striking similarities when the sources considered are well resolved, indicating that the method is correctly reproducing at least some component of the overall uncertainty in the images. The calculation of many useful quantities using this model is demonstrated and the advantages it poses over traditional single pixel calculations is illustrated. The limitations of the model as revealed by Monte Carlo simulations are also discussed; unfortunately, the error model does not work well when applied to compact regions of emission.