Exploitation of symbolic information in interprocedural dependence analysis

The requirement for a very accurate dependence analysis to underpin software tools to aid the generation of efficient parallel implementations of scalar code is argued. The current status of dependence analysis is shown to be inadequate for the generation of efficient parallel code, causing too many conservative assumptions to be made. This paper summarises the limitations of conventional dependence analysis techniques, and then describes a series of extensions which enable the production of a much more accurate dependence graph. The extensions include analysis of symbolic variables, the development of a symbolic inequality disproof algorithm and its exploitation in a symbolic Banerjee inequality test; the use of inference engine proofs; the exploitation of exact dependence and dependence pre-domination attributes; interprocedural array analysis; conditional variable definition tracing; integer array tracing and division calculations. Analysis case studies on typical numerical code is shown to reduce the total dependencies estimated from conventional analysis by up to 50%. The techniques described in this paper have been embedded within a suite of tools, CAPTools, which combines analysis with user knowledge to produce efficient parallel implementations of numerical mesh based codes.

Upgrading automation for nuclear fuel in-core management: from the symbolic generation of configurations to the neural adaptation of heuristics

FUELCON is an expert system in nuclear engineering. Its task is optimized refueling-design, which is crucial to keep down operation costs at a plant. FUELCON proposes sets of alternative configurations of fuel-allocation; the fuel is positioned in a grid representing the core of a reactor. The practitioner of in-core fuel management uses FUELCON to generate a reasonably good configuration for the situation at hand. The domain expert, on the other hand, resorts to the system to test heuristics and discover new ones, for the task described above. Expert use involves a manual phase of revising the ruleset, based on performance during previous iterations in the same session. This paper is concerned with a new phase: the design of a neural component to carry out the revision automatically. Such an automated revision considers previous performance of the system and uses it for adaptation and learning better rules. The neural component is based on a particular schema for a symbolic to recurrent-analogue bridge, called NIPPL, and on the reinforcement learning of neural networks for the adaptation.

A novel neural/symbolic hybrid approach to heuristically optimized fuel allocation and automated revision of heuristics in nuclear engineering

FUELCON is an expert system for optimized refueling design in nuclear engineering. This task is crucial for keeping down operating costs at a plant without compromising safety. FUELCON proposes sets of alternative configurations of allocation of fuel assemblies that are each positioned in the planar grid of a horizontal section of a reactor core. Results are simulated, and an expert user can also use FUELCON to revise rulesets and improve on his or her heuristics. The successful completion of FUELCON led this research team into undertaking a panoply of sequel projects, of which we provide a meta-architectural comparative formal discussion. In this paper, we demonstrate a novel adaptive technique that learns the optimal allocation heuristic for the various cores. The algorithm is a hybrid of a fine-grained neural network and symbolic computation components. This hybrid architecture is sensitive enough to learn the particular characteristics of the ‘in-core fuel management problem’ at hand, and is powerful enough to use this information fully to automatically revise heuristics, thus improving upon those provided by a human expert.

Coupled 3-D finite difference time domain and finite volume methods for solving microwave heating in porous media

Computational results for the microwave heating of a porous material are presented in this paper. Combined finite difference time domain and finite volume methods were used to solve equations that describe the electromagnetic field and heat and mass transfer in porous media. The coupling between the two schemes is through a change in dielectric properties which were assumed to be dependent both on temperature and moisture content. The model was able to reflect the evolution of temperature and moisture fields as the moisture in the porous medium evaporates. Moisture movement results from internal pressure gradients produced by the internal heating and phase change.

I wanna be a protocol: online media and electronic structures of kinship

Heidegger famously identified Modernity with a technological leveling of being to a single order of a “standing reserve.” In a radically different tone, Gilles Deleuze articulated a single “plane of immanence” within which ontological distinctions between mind and body, God and world, interiority and exteriority become indiscernible. Taking such philosophical declarations as points of departure, this panel will consider how a collapse of ontological distinction emerged as a thematic and structural trope in literary and cinematic modernisms. We hope to consider how writers and film-makers of the 20th c. utilize the resources of their media to ask “the question of being” that troubled their philosophical contemporaries and heirs. In this vein, we will examine how these modernist ontologies of immanence describe the crisis of a subject saturated and eclipsed by a world which comprises her while also remaining strange or opaque. Papers will ask what is lost with the departure of a distinctly human sense of “being” and how the historical arrival of an alternative ontological order may be evident in the lived experience of modernity. In this sense, the relationship to departures and arrivals becomes the modern subject’s suspicion that he is unable to do either vis á vis the world.

Trembling the plane of immanence: media arts philosophy and the re-vision of art (or what’s acoustics got to do with the visual?)

Invited lecture at the Royal Academy of Art.

A new poetics of exile and belonging: the place of memory in the new media environment

This paper explores how new media environments represent and create collective memories of trauma; how creative digital practice can be a key methodology for memory studies and the potential of digital interfaces for representing and reconciling collective memories of trauma, particularly in the context of Cyprus. My project MemoryBank will be used as a model to discuss the potential role of creative digital media practice in both community arts and the formal education process in order to enable participants to engage with the process of peace and reconciliation in Cyprus and circumvent and negotiate politically ossified collective memory narratives and chauvinistic histories. [From the Author]

Can Pickering emulsion formation aid the removal of creosote DNAPL from porous media?

The purpose of this investigation was to examine the proposition that creosote, emplaced in an initially water saturated porous system, can be removed from the system through Pickering emulsion formation. Pickering emulsions are dispersions of two immiscible fluids in which coalescence of the dispersed phase droplets is hindered by the presence of colloidal particles adsorbed at the interface between the two immiscible fluid phases. Particle trapping is strongly favoured when the wetting properties of the particles are intermediate between strong water wetting and strong oil wetting. In this investigation the necessary chemical conditions for the formation of physically stable creosote-in-water emulsions protected against coalescence by bentonite particles were examined. It was established that physically stable emulsions could be formed through the judicious addition of small amounts of sodium chloride and the surfactant cetyl-trimethylammonium bromide. The stability of the emulsions was initially established by visual inspection. However, experimental determinations of emulsion stability were also undertaken by use of oscillatory rheology. Measurements of the elastic and viscous responses to shear indicated that physically stable emulsions were obtained when the viscoelastic systems showed a predominantly elastic response to shearing. Once the conditions were established for the formation of physically stable emulsions a "proof-of-concept" chromatographic experiment was carried out which showed that creosote could be successfully removed from a saturated model porous system. (C) 2007 Elsevier Ltd. All rights reserved.