The Paralax Infrastructure: Automatic Parallelization With a Helping Hand

Speeding up sequential programs on multicores is a challenging problem that is in urgent need of a solution. Automatic parallelization of irregular pointer-intensive codes, exempli?ed by the SPECint codes, is a very hard problem. This paper shows that, with a helping hand, such auto-parallelization is possible and fruitful. This paper makes the following contributions: (i) A compiler framework for extracting pipeline-like parallelism from outer program loops is presented. (ii) Using a light-weight programming model based on annotations, the programmer helps the compiler to ?nd thread-level parallelism. Each of the annotations speci?es only a small piece of semantic information that compiler analysis misses, e.g. stating that a variable is dead at a certain program point. The annotations are designed such that correctness is easily veri?ed. Furthermore, we present a tool for suggesting annotations to the programmer. (iii) The methodology is applied to autoparallelize several SPECint benchmarks. For the benchmark with most parallelism (hmmer), we obtain a scalable 7-fold speedup on an AMD quad-core dual processor. The annotations constitute a parallel programming model that relies extensively on a sequential program representation. Hereby, the complexity of debugging is not increased and it does not obscure the source code. These properties could prove valuable to increase the ef?ciency of parallel programming.

E-Infrastructure in the Humanities

This paper is concerned with the development of digital humanities infrastructure – tools and resources which make using existing e-content easier to discover, utilise and embed in teaching and research. The past development of digital content in the humanities (in the United Kingdom) is considered with its resource-focused approach, as are current barriers facing digital humanities as a discipline. Existing impacts from e-infrastructure are discussed, based largely on the authors’ own discrete or collaborative projects. This paper argues that we need to consider further how digital resources are actually used, and the ways in which future digital resources might enable new types of research questions to be asked. It considers the potential for such enabling resources to advance digital humanities significantly in the near future.

Recombinant canine distemper virus strain Snyder Hill expressing green or red fluorescent proteins causes meningoencephalitis in the ferret

The propensity of canine distemper virus (CDV) to spread to the central nervous system is one of the primary features of distemper. Therefore, we developed a reverse genetics system based on the neurovirulent Snyder Hill (SH) strain of CDV (CDV(SH)) and show that this virus rapidly circumvents the blood-brain and blood-cerebrospinal fluid (CSF) barriers to spread into the subarachnoid space to induce dramatic viral meningoencephalitis. The use of recombinant CDV(SH) (rCDV(SH)) expressing enhanced green fluorescent protein (EGFP) or red fluorescent protein (dTomato) facilitated the sensitive pathological assessment of routes of virus spread in vivo. Infection of ferrets with these viruses led to the full spectrum of clinical signs typically associated with distemper in dogs during a rapid, fatal disease course of approximately 2 weeks. Comparison with the ferret-adapted CDV(5804P) and the prototypic wild-type CDV(R252) showed that hematogenous infection of the choroid plexus is not a significant route of virus spread into the CSF. Instead, viral spread into the subarachnoid space in rCDV(SH)-infected animals was triggered by infection of vascular endothelial cells and the hematogenous spread of virus-infected leukocytes from meningeal blood vessels into the subarachnoid space. This resulted in widespread infection of cells of the pia and arachnoid mater of the leptomeninges over large areas of the cerebral hemispheres. The ability to sensitively assess the in vivo spread of a neurovirulent strain of CDV provides a novel model system to study the mechanisms of virus spread into the CSF and the pathogenesis of acute viral meningitis.

Can grass biomethane be an economically viable biofuel for the farmer and the consumer?

Farm incomes in Ireland are in decline and many farmers would operate at a loss in the absence of subsidies. Agriculture is responsible for 27% of Ireland's greenhouse gas emissions and is the largest contributing sector. Penetration of renewable energy in the heat and transport sectors is falling short of targets, and there is no clear plan for achieving them. The anaerobic digestion of grass to produce biogas or biomethane is put forward as a multifaceted solution, which could help meet energy and emissions targets, reduce dependence on imported energy, and provide additional farm income. This paper addresses the economic viability of such a system. Grass biogas/biomethane fares poorly under the current combined heat and power tariff structure, which is geared toward feedstock that attracts a gate fee. Tariff structures similar to those used in other countries are necessary for the industry to develop. Equally, regulation should be implemented to allow injection of biomethane into the gas grid in Ireland. Blends of natural gas and biomethane can be sold, offering a cost-competitive green fuel. Sale as a renewable transport fuel could allow profitability for the farmer and savings for the consumer, but suffers due to the lack of a market. Under current conditions, the most economically viable outlet for grass biomethane is sale as a renewable heating fuel. The key to competitiveness is the existing natural gas infrastructure that enables distribution of grass biomethane, and the renewable energy targets that allow renewable fuels to compete against each other. © 2010 Society of Chemical Industry and John Wiley & Sons, Ltd.

Design and Analysis of an Independent, Layer 2, Open-Access WiFi Monitoring Infrastructure in the Wild

While WiFi monitoring networks have been deployed in previous research, to date none have assessed live network data from an open access, public environment. In this paper we describe the construction of a replicable, independent WLAN monitoring system and address some of the challenges in analysing the resultant traffic. Analysis of traffic from the system demonstrates that basic traffic information from open-access networks varies over time (temporal inconsistency). The results also show that arbitrary selection of Request-Reply intervals can have a significant effect on Probe and Association frame exchange calculations, which can impact on the ability to detect flooding attacks.

Exchange potential from the common energy denominator approximation for the Kohn-Sham Green's function: Application to (hyper)polarizabilities of molecular chains

An approximate Kohn-Sham (KS) exchange potential v(xsigma)(CEDA) is developed, based on the common energy denominator approximation (CEDA) for the static orbital Green's function, which preserves the essential structure of the density response function. v(xsigma)(CEDA) is an explicit functional of the occupied KS orbitals, which has the Slater v(Ssigma) and response v(respsigma)(CEDA) potentials as its components. The latter exhibits the characteristic step structure with "diagonal" contributions from the orbital densities \psi(isigma)\(2), as well as "off-diagonal" ones from the occupied-occupied orbital products psi(isigma)psi(j(not equal1)sigma). Comparison of the results of atomic and molecular ground-state CEDA calculations with those of the Krieger-Li-Iafrate (KLI), exact exchange (EXX), and Hartree-Fock (HF) methods show, that both KLI and CEDA potentials can be considered as very good analytical "closure approximations" to the exact KS exchange potential. The total CEDA and KLI energies nearly coincide with the EXX ones and the corresponding orbital energies epsilon(isigma) are rather close to each other for the light atoms and small molecules considered. The CEDA, KLI, EXX-epsilon(isigma) values provide the qualitatively correct order of ionizations and they give an estimate of VIPs comparable to that of the HF Koopmans' theorem. However, the additional off-diagonal orbital structure of v(xsigma)(CEDA) appears to be essential for the calculated response properties of molecular chains. KLI already considerably improves the calculated (hyper)polarizabilities of the prototype hydrogen chains H-n over local density approximation (LDA) and standard generalized gradient approximations (GGAs), while the CEDA results are definitely an improvement over the KLI ones. The reasons of this success are the specific orbital structures of the CEDA and KLI response potentials, which produce in an external field an ultranonlocal field-counteracting exchange potential. (C) 2002 American Institute of Physics.