Small angle scattering characterisation of micellar systems and templated architectures

The work described in this thesis reports the structural changes induced on micelles under a variety of conditions. The micelles of a liquid crystal film and dilute solutions of micelles were subjected to high pressure CO2 and selected hydrocarbon environments. Using small angle neutron scattering (SANS) techniques the spacing between liquid crystal micelles was measured in-situ. The liquid crystals studied were templated from different surfactants with varying structural characteristics. Micelles of a dilute surfactant solution were also subjected to elevated pressures of varying gas atmospheres. Detailed modelling of the in-situ SANS experiments revealed information of the size and shape of the micelles at a number of different pressures. Also reported in this thesis is the characterisation of mesoporous materials in the confined channels of larger porous materials. Periodic mesoporous organosilicas (PMOs) were synthesised within the channels of anodic alumina membranes (AAM) under different conditions, including drying rates and precursor concentrations. In-situ small angle x-ray scattering (SAXS) and transmission electron microscopy (TEM) was used to determine the pore morphology of the PMO within the AAM channels. PMO materials were also used as templates in the deposition of gold nanoparticles and subsequently used in the synthesis of germanium nanostructures. Polymer thin films were also employed as templates for the directed deposition of gold nanoparticles which were again used as seeds for the production of germanium nanostructures. A supercritical CO2 (sc-CO2) technique was successfully used during the production of the germanium nanostructures.

Studies on equine milk and comparative studies on equine and bovine milk systems

The composition of equine milk differs considerably from that of the milk of the principal dairying species, i.e., the cow, buffalo, goat and sheep. Because equine milk resembles human milk in many respects and is claimed to have special therapeutic properties, it is becoming increasingly popular in Western Europe, where it is produced on large farms in several countries. Equine milk is considered to be highly digestible, rich in essential nutrients and to possess an optimum whey protein:casein ratio, making it very suitable as a substitute for bovine milk in paediatric dietetics. There is some scientific basis for the special nutritional and health-giving properties of equine milk but this study provides a comprehensive analysis of the composition and physico-chemical properties of equine milk which is required to fully exploit its potential in human nutrition. Quantification and distribution of the nitrogenous components and principal salts of equine milk are reported. The effects of the high concentration of ionic calcium, large casein micelles (~ 260 nm), low protein, lack of a sulphydryl group in equine β-lactoglobulin and a very low level of κ-casein on the physico-chemical properties of equine milk are reported. This thesis provides an insight into the stability of equine casein micelles to heat, ethanol, high pressure, rennet or acid. Differences in rennet- and acid-induced coagulation between equine and bovine milk are attributed not only to the low casein content of equine milk but also to differences in the mechanism by which the respective micelles are stabilized. It has been reported that β-casein plays a role in the stabilization of equine casein micelles and proteomic techniques support this view. In this study, equine κ-casein appeared to be resistant to hydrolysis by calf chymosin but equine β-casein was readily hydrolysed. Resolution of equine milk proteins by urea-PAGE showed the multi-phosphorylated isoforms of equine αs- and β-caseins and capillary zone electrophoresis showed 3 to 7 phosphorylated residues in equine β-casein. In vitro digestion of equine β-casein by pepsin and Corolase PP™ did not produce casomorphins BCM-5 or BCM-7, believed to be harmful to human health. Electron microscopy provided very clear, detailed images of equine casein micelles in their native state and when renneted or acidified. Equine milk formed flocs rather then a gel when renneted or acidified which is supported by dynamic oscillatory analysis. The results presented in this thesis will assist in the development of new products from equine milk for human consumption which will retain some of its unique compositional and health-giving properties.

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.