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.

Trade-off between minimum number of wireless sensors and the accuracy of temperature profile in cold rooms: a model-based framework

Evaluation of temperature distribution in cold rooms is an important consideration in the design of food storage solutions. Two common approaches used in both industry and academia to address this question are the deployment of wireless sensors, and modelling with Computational Fluid Dynamics (CFD). However, for a realworld evaluation of temperature distribution in a cold room, both approaches have their limitations. For wireless sensors, it is economically unfeasible to carry out large-scale deployment (to obtain a high resolution of temperature distribution); while with CFD modelling, it is usually not accurate enough to get a reliable result. In this paper, we propose a model-based framework which combines the wireless sensors technique with CFD modelling technique together to achieve a satisfactory trade-off between minimum number of wireless sensors and the accuracy of temperature profile in cold rooms. A case study is presented to demonstrate the usability of the framework.

Molecular genetic analysis of DNA alterations in Irish colorectal cancer

Colorectal cancer is the most common cause of death due to malignancy in nonsmokers in the western world. In 1995 there were 1,757 cases of colon cancer in Ireland. Most colon cancer is sporadic, however ten percent of cases occur where there is a previous family history of the disease. In an attempt to understand the tumorigenic pathway in Irish colon cancer patients, a number of genes associated with colorectal cancer development were analysed in Irish sporadic and HNPCC colon cancer patients. The hereditary forms of colon cancer include Familial adenomatous polyposis coli (FAP) and Hereditary Non-Polyposis Colon Cancer (HNPCC). Genetic analysis of the gene responsible for FAP, (the APC gene) has been previously performed on Irish families, however the genetic analysis of HNPCC families is limited. In an attempt to determine the mutation spectrum in Irish HNPCC pedigrees, the hMSH2 and hMLHl mismatch repair genes were screened in 18 Irish HNPCC families. Using SSCP analysis followed by DNA sequencing, five mutations were identified, four novel and a previously reported mutation. In families where a mutation was detected, younger asyptomatic members were screened for the presence of the predisposing mutation (where possible). Detection of mutations is particularly important for the identification of at risk individuals as the early diagnosis of cancer can vastly improve the prognosis. The sensitive and efficient detection of multiple different mutations and polymorphisms in DNA is of prime importance for genetic diagnosis and the identification of disease genes. A novel mutation detection technique has recently been developed in our laboratory. In order to assess the efficacy and application of the methodology in the analysis of cancer associated genes, a protocol for the analysis of the K-ras gene was developed and optimised. Matched normal and tumour DNA from twenty sporadic colon cancer patients was analysed for K-ras mutations using the Glycosylase Mediated Polymorphism Detection technique. Five mutations of the K-ras gene were detected using this technology. Sequencing analysis verified the presence of the mutations and SSCP analysis of the same samples did not identify any additional mutations. The GMPD technology proved to be highly sensitive, accurate and efficient in the identification of K-ras gene mutations. In order to investigate the role of the replication error phenomenon in Irish colon cancer, 3 polyA tract repeat loci were analysed. The repeat loci included a 10 bp intragenic repeat of the TGF-β-RII gene. TGF-β-RII is involved in the TGF-β epithelial cell growth pathway and mutation of the gene is thought to play a role in cell proliferation and tumorigenesis. Due to the presence of a repeat sequence within the gene, TGFB-RII defects are associated with tumours that display the replication error phenomenon. Analysis of the TGF-β-RII 10 bp repeat failed to identify mutations in any colon cancer patients. Analysis of the Bat26 and Bat 40 polyA repeat sequences in the sporadic and HNPCC families revealed that instability is associated with HNPCC tumours harbouring mismatch repair defects and with 20 % of sporadic colon cancer tumours. No correlation between K-ras gene mutations and the RER+ phenotype was detected in sporadic colon cancer tumours.

The brand-orientated play-community: toxic play in the marketplace

This ethnographic study makes a number of original contributions to the consumer identity projects and the marketplace cultures dimensions of consumer culture theory research. This study introduces the notion of the brand-orientated play-community, a novel consumption community form, which displays, as locus, a desire to play. This contributes to our understanding of the fluid relationship between subcultures of consumption, consumer tribes, and brand community. It was found that the brand-orientated play-community’s prime celebration, conceptualised as the ‘branded carnival’, displays characteristics of the archetypal carnival. The community access carnivalistic life and a world-upside-down ethos via the use and misuse of marketplace resources. The branded carnival is further supported by the community’s enactment of ‘toxic play’, which entails abnormal alcohol consumption, black market illegal resources, edgework activities, hegemonic masculinity and upsetting the public. This play-community is discussed in terms of a hyper-masculine playpen, as the play enacted has a direct relationship with the enactment of strong masculine roles. It was found that male play-ground members enact the extremes of contrasting masculine roles as a means to subvert the calculated and sedate ‘man-of-action-hero’ synthesis. Carnivals are unisex, and hence, women have begun entering the play-ground. Female members have successfully renegotiated their role within the community, from playthings to players – they have achieved player equality, which within the liminoid zone is more powerful than gender equality. However, while toxic play is essential to the maintenance of collective identity within the culture so too is the more serious form of play: the toxic sport of professional beer pong. The author conceptualises beer pong as a ‘toxic sport’, as it displays the contradictory play foundations of agon and corrupt ilinx: this is understood as a milestone step in the emergence of the postmodern sport era, in which spontaneity and the carnivalesque will dominate.

Shining light on food microbiology; applications of luciferase-tagged microorganisms in the food industry

Bioluminescence is the production of light by living organisms as a result of a number of enzyme catalysed reactions caused by enzymes termed luciferases. The lux genes responsible for the emission of light can be cloned from one bioluminescent microorganism into one that is not bioluminescent. The light emitted can be monitored and quantified and will provide information on the metabolic activity, quantity and location of cells in a particular environment, in real-time. The primary aim of this thesis was to investigate and identify several food industry related applications of lux-tagged microorganisms. The first aim was to monitor a lux-tagged Cronobacter sakazakii in reconstituted infant milk formula, in realtime. The second aim was to investigate a bioluminescent-based early warning system for starter culture disruption by bacteriophages and antibiotic residues. The third of this thesis was to examine the use of a bioluminescent-based assay to test the activity of bioengineered Nisin derivatives M21V and S29A against foodborne pathogens in laboratory media and selected foods.

Infant milk formula manufacture: process and compositional interactions in high dry matter wet-mixes

Infant milk formula (IMF) is fortified milk with composition based on the nutrient content in human mother's milk, 0 to 6 months postpartum. Extensive medical and clinical research has led to advances in the nutritional quality of infant formula; however, relatively few studies have focused on interactions between nutrients and the manufacturing process. The objective of this research was to investigate the impact of composition and processing parameters on physical behaviour of high dry matter (DM) IMF systems with a view to designing more sustainable manufacturing processes. The study showed that commercial IMF, with similar compositions, manufactured by different processes, had markedly different physical properties in dehydrated or reconstituted state. Commercial products made with hydrolysed protein were more heat stable compared to products made with intact protein, however, emulsion quality was compromised. Heat-induced denaturation of whey proteins resulted in increased viscosity of wet-mixes, an effect that was dependant on both whey concentration and interactions with lactose and caseins. Expanding on fundamental laboratory studies, a novel high velocity steam injection process was developed whereby high DM (60%) wet-mixes with lower denaturation/viscosity compared to conventional processes could be achieved; powders produced using this process were of similar quality to those manufactured conventionally. Hydrolysed proteins were also shown to be an effective way of reducing viscosity in heat-treated high DM wet-mixes. In particular, using a whey protein concentrate whereby β-Lactoglobulin was selectively hydrolysed, i.e., α-Lactalbumin remained intact, reduced viscosity of wet-mixes during processing while still providing good emulsification. The thesis provides new insights into interactions between nutrients and/or processing which influence physical stability of IMF both in concentrated liquid and powdered form. The outcomes of the work have applications in such areas as; increasing the DM content of spray drier feeds in order to save energy, and, controlling final powder quality.

A microscopic study of structural and electronic properties of functionalized silicon surfaces based on first-principles

Surface modification of silicon with organic monolayers tethered to the surface by different linkers is an important process in realizing future (opto-)electronic devices. Understanding the role played by the nature of the linking group and the chain length on the adsorption structures and electronic properties of these assemblies is vital to advance this technology. This Thesis is a study of such properties and contributes in particular to a microscopic understanding of induced changes in the work function of experimentally studied functionalized silicon surfaces. Using first-principles density functional theory (DFT), at the first step, we provide predictions for chemical trends in the work function of hydrogenated silicon (111) surfaces modified with various terminations. For nonpolar terminating atomic species such as F, Cl, Br, and I, the change in the work function is directly proportional to the amount of charge transferred from the surface, thus relating to the difference in electronegativity of the adsorbate and silicon atoms. The change is a monotonic function of coverage in this case, and the work function increases with increasing electronegativity. Polar species such as −TeH, −SeH, −SH, −OH, −NH2, −CH3, and −BH2 do not follow this trend due to the interaction of their dipole with the induced electric field at the surface. In this case, the magnitude and sign of the surface dipole moment need to be considered in addition to the bond dipole to generally describe the change in work function. Compared to hydrogenated surfaces, there is slight increase in the work function of H:Si(111)-XH, where X = Te, Se, and S, whereas reduction is observed for surfaces covered with −OH, −CH3, and −NH2. Next, we study the hydrogen passivated Si(111) surface modified with alkyl chains of the general formula H:Si–(CH2)n–CH2 and H:Si–X–(CH2)n–CH3, where X = NH, O, S and n = (0, 1, 3, 5, 7, 9, 11), at half coverage. For (X)–Hexyl and (X)–Dodecyl functionalization, we also examined various coverages up to full monolayer grafting in order to validate the result of half covered surface and the linker effect on the coverage. We find that it is necessary to take into account the van der Waals interaction between the alkyl chains. The strongest binding is for the oxygen linker, followed by S, N, and C, irrespective of chain length. The result revealed that the sequence of the stability is independent of coverage; however, linkers other than carbon can shift the optimum coverage considerably and allow further packing density. For all linkers apart from sulfur, structural properties, in particular, surface-linker-chain angles, saturate to a single value once n > 3. For sulfur, we identify three regimes, namely, n = 0–3, n = 5–7, and n = 9–11, each with its own characteristic adsorption structures. Where possible, our computational results are shown to be consistent with the available experimental data and show how the fundamental structural properties of modified Si surfaces can be controlled by the choice of linking group and chain length. Later we continue by examining the work function tuning of H:Si(111) over a range of 1.73 eV through adsorption of alkyl monolayers with general formula -[Xhead-group]-(CnH2n)-[Xtail-group], X = O(H), S(H), NH(2). The work function is practically converged at 4 carbons (8 for oxygen), for head-group functionalization. For tail-group functionalization and with both head- and tail-groups, there is an odd-even effect in the behavior of the work function, with peak-to-peak amplitudes of up to 1.7 eV in the oscillations. This behavior is explained through the orientation of the terminal-group's dipole. The shift in the work function is largest for NH2-linked and smallest for SH-linked chains and is rationalized in terms of interface dipoles. Our study reveals that the choice of the head- and/or tail-groups effectively changes the impact of the alkyl chain length on the work function tuning using self-assembled monolayers and this is an important advance in utilizing hybrid functionalized Si surfaces. Bringing together the understanding gained from studying single type functionalization of H:Si(111) with different alkyl chains and bearing in mind how to utilize head-group, tail-group or both as well as monolayer coverage, in the final part of this Thesis we study functionalized H:Si(111) with binary SAMs. Aiming at enhancing work function adjustment together with SAM stability and coverage we choose a range of terminations and linker-chains denoted as –X–(Alkyl) with X = CH3, O(H), S(H), NH(2) and investigate the stability and work function of various binary components grafted onto H:Si(111) surface. Using binary functionalization with -[NH(2)/O(H)/S(H)]-[Hexyl/Dodecyl] we show that work function can be tuned within the interval of 3.65-4.94 eV and furthermore, enhance the SAM’s stability. Although direct Si-C grafted SAMs are less favourable compared to their counterparts with O, N or S linkage, regardless of the ratio, binary functionalized alkyl monolayers with X-alkyl (X = NH, O) is always more stable than single type alkyl functionalization with the same coverage. Our results indicate that it is possible to go beyond the optimum coverage of pure alkyl functionalized SAMs (50%) by adding a linker with the correct choice of the linker. This is very important since dense packed monolayers have fewer defects and deliver higher efficiency. Our results indicate that binary anchoring can modify the charge injection and therefore bond stability while preserving the interface electronic structure.