Parameterized models for on-line and off-line use

The Monadic Constraint Programming framework leverages Haskell’s rich static type system and powerful abstraction mechanisms to implement an embedded domain specific language (EDSL) for constraint programming. In this paper we show how the same constraint model expressed in the EDSL can be processed in various modes by external constraint solvers. We distinguish between on-line and off-line use of solvers. In off-line mode, the model is not solved; instead it is compiled to lower-level code that will search for solutions when compiled and run. For on-line use, the search can be handled by either the framework or in the external solver. Off-line mode requires recompilation after each change to the model. To avoid repeated recompilation, we separate model from data by means of parameters that need not be known at compile time. Parametrization poses several challenges, which we resolve by embedding the EDSL more deeply.status: publishe

Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution

Visualising the past – an evaluation of processes and sequences for fingermark recovery from old documents

This study aimed to collect data on the effectiveness of most of the fingermark visualisation reagents currently used on porous surfaces on fingermarks aged for up to 90 years, significantly extending the timescales for which such information exists. A limited subset of the variables associated with processing of old fingermarks was explored, with a focus on the use of 1,8 diazafluoren-9-one (DFO), 1,2-indandione, ninhydrin, and physical developer. These techniques were used in sequence on batches of cheques between 11 and 32 years old, and on documents dating from the 1920s and 1940s. The potential for applying a physical developer enhancement process (blue toning) as the final step in the sequence was also explored. The benefits of using processing sequences on porous items were clearly demonstrated, with all processes in the sequence adding value in terms of additional marks found on the cheques up to 32 years old. In addition, physical developer was found to be capable of developing fingermarks up to 90 years old, whereas the amino acid reagents appear less effective on documents of 70 years and older. An experimental physical developer formulation with reduced environmental impact was found to be as effective as the existing process in these experiments. Blue toning was found to visualise an additional 10-25% of marks, and its wider use after silver-based deposition processes is recommended based on the evidence from this study.Peer reviewedFinal Accepted Versio

Modern ‘live’ football: moving from the panoptican gaze to the performative, virtual and carnivalesque

Drawing on Redhead's discussion of Baudrillard as a theorist of hyperreality, the paper considers the different ways in which the mediatized ‘live’ football spectacle is often modelled on the ‘live’ however eventually usurps the ‘live’ forms position in the cultural economy, thus beginning to replicate the mediatized ‘live’. The blurring of the ‘live’ and ‘real’ through an accelerated mediatization of football allows the formation of an imagined community mobilized by the working class whilst mediated through the sanitization, selling of ‘events’ and the middle classing of football, through the re-encoding of sporting spaces and strategic decision-making about broadcasting. A culture of pub supporting then allows potential for working-class supporters to remove themselves from the panoptican gazing systems of late modern hyperreal football stadia and into carnivalesque performative spaces, which in many cases are hyperreal and simulated themselves

Towards the “ultimate earthquake-proof” building: Development of an integrated low-damage system

The 2010–2011 Canterbury earthquake sequence has highlighted the severe mismatch between societal expectations over the reality of seismic performance of modern buildings. A paradigm shift in performance-based design criteria and objectives towards damage-control or low-damage design philosophy and technologies is urgently required. The increased awareness by the general public, tenants, building owners, territorial authorities as well as (re)insurers, of the severe socio-economic impacts of moderate-strong earthquakes in terms of damage/dollars/ downtime, has indeed stimulated and facilitated the wider acceptance and implementation of cost-efficient damage-control (or low-damage) technologies. The ‘bar’ has been raised significantly with the request to fast-track the development of what the wider general public would hope, and somehow expect, to live in, i.e. an “earthquake-proof” building system, capable of sustaining the shaking of a severe earthquake basically unscathed. The paper provides an overview of recent advances through extensive research, carried out at the University of Canterbury in the past decade towards the development of a low-damage building system as a whole, within an integrated performance-based framework, including the skeleton of the superstructure, the non-structural components and the interaction with the soil/foundation system. Examples of real on site-applications of such technology in New Zealand, using concrete, timber (engineered wood), steel or a combination of these materials, and featuring some of the latest innovative technical solutions developed in the laboratory are presented as examples of successful transfer of performance-based seismic design approach and advanced technology from theory to practice

Direct Ionic Liquid Extractant Injection for Volatile Chemical Analysis - A Gas Chromatography Sampling Technique

A green sampling approach by direct injection of ionic liquid (IL) solvent containing a variety of analytes using programmable temperature vaporisation (PTV) injection with gas chromatography (GC) is presented. The method was developed using test mixtures of n-alkanes, n-alcohols and polyaromatic compounds, whilst back extraction of isolated compounds from the IL with organic solvent is not required. In the final method, 2 μL of IL, 1-butyl-3 methylimidazolium bis(trifluoromethylsulfonyl)amide containing analytes, was diluted to different volumes (ranging from 10 to 70%) with solvent then injected into the system. Several PTV injector parameters were investigated to ensure analyte volatilisation and transfer into the GC column. Concentration calibration curves (10–150 μg mL−1 and 10–100 μg mL−1 for n-alkanes and n-alcohols, respectively) were constructed, and showed addition of IL increased the peak area of each analyte, with good precision, and acceptable linearity with correlation coefficient, r2 > 0.93. This method was successfully applied in analysis of a polynuclear aromatic hydrocarbons (PAHs) mixture, with addition of IL in the mixture and suitable operation of the PTV injector. The method was also applied to eucalyptus leaf essential oil compounds as a test sample in a single drop microextraction experiment

History-sensitive accumulation rules for life-time prediction under variable loading

This is the post-print version of the article. The official published version can be obtained from the link below - Copyright @ 2011 SpringerA general form of temporal strength conditions under variable creep loading is employed to formulate several new phenomenological accumulation rules based on the constant-loading durability diagram. Unlike the well-known Robinson rule of linear accumulation of partial life-times, the new rules allow to describe the life-time sensibility to the load sequence, observed in experiments. Comparison of the new rules with experimental data shows that they fit the data much more accurately than the Robinson rule

Low dose influenza virus challenge in the ferret leads to increased virus shedding and greater sensitivity to oseltamivir

Ferrets are widely used to study human influenza virus infection. Their airway physiology and cell receptor distribution makes them ideal for the analysis of pathogenesis and virus transmission, and for testing the efficacy of anti-influenza interventions and vaccines. The 2009 pandemic influenza virus (H1N1pdm09) induces mild to moderate respiratory disease in infected ferrets, following inoculation with 106 plaque-forming units (pfu) of virus. We have demonstrated that reducing the challenge dose to 102 pfu delays the onset of clinical signs by 1 day, and results in a modest reduction in clinical signs, and a less rapid nasal cavity innate immune response. There was also a delay in virus production in the upper respiratory tract, this was up to 9-fold greater and virus shedding was prolonged. Progression of infection to the lower respiratory tract was not noticeably delayed by the reduction in virus challenge. A dose of 104 pfu gave an infection that was intermediate between those of the 106 pfu and 102 pfu doses. To address the hypothesis that using a more authentic low challenge dose would facilitate a more sensitive model for antiviral efficacy, we used the well-known neuraminidase inhibitor, oseltamivir. Oseltamivir-treated and untreated ferrets were challenged with high (106 pfu) and low (102 pfu) doses of influenza H1N1pdm09 virus. The low dose treated ferrets showed significant delays in innate immune response and virus shedding, delayed onset of pathological changes in the nasal cavity, and reduced pathological changes and viral RNA load in the lung, relative to untreated ferrets. Importantly, these observations were not seen in treated animals when the high dose challenge was used. In summary, low dose challenge gives a disease that more closely parallels the disease parameters of human influenza infection, and provides an improved pre-clinical model for the assessment of influenza therapeutics, and potentially, influenza vaccines

(G)hosting television: Ghostwatch and its medium

This article’s subject is Ghostwatch (BBC, 1992), a drama broadcast on Halloween night of 1992 which adopted the rhetoric of live non-fiction programming, and attracted controversy and ultimately censure from the Broadcasting Standards Council. In what follows, we argue that Ghostwatch must be understood as a televisually-specific artwork and artefact. We discuss the programme’s ludic relationship with some key features of television during what Ellis (2000) has termed its era of ‘availability’, principally liveness, mass simultaneous viewing, and the flow of the television super-text. We trace the programme’s television-specific historicity whilst acknowledging its allusions and debts to other media (most notably film and radio). We explore the sophisticated ways in which Ghostwatch’s visual grammar and vocabulary and deployment of ‘broadcast talk’ (Scannell 1991) variously ape, comment upon and subvert the rhetoric of factual programming, and the ends to which these strategies are put. We hope that these arguments collectively demonstrate the aesthetic and historical significance of Ghostwatch and identify its relationship to its medium and that medium’s history. We offer the programme as an historically-reflexive artefact, and as an exemplary instance of the work of art in television’s age of broadcasting, liveness and co-presence