Fresh-Register Automata

What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata

The X-ray luminosity function of AGN at z~3

We combine Lyman-break colour selection with ultradeep (> 200 ks) Chandra X-ray imaging over a survey area of ~0.35 deg^2 to select high redshift AGN. Applying careful corrections for both the optical and X-ray selection functions, the data allow us to make the most accurate determination to date of the faint end of the X-ray luminosity function (XLF) at z~3. Our methodology recovers a number density of X-ray sources at this redshift which is at least as high as previous surveys, demonstrating that it is an effective way of selecting high z AGN. Comparing to results at z=1, we find no evidence that the faint slope of the XLF flattens at high z, but we do find significant (factor ~3.6) negative evolution of the space density of low luminosity AGN. Combining with bright end data from very wide surveys we also see marginal evidence for continued positive evolution of the characteristic break luminosity L*. Our data therefore support models of luminosity-dependent density evolution between z=1 and z=3. A sharp upturn in the the XLF is seen at the very lowest luminosities (Lx < 10^42.5 erg s^-1), most likely due to the contribution of pure X-ray starburst galaxies at very faint fluxes.Comment: 16 pages, 9 figures, accepted for publication in MNRA

Polymer templated nickel cobaltate for energy storage

In order to take advantage of the increasing sophistication of technology for harnessing renewable energy resources, serious attention must be paid to how to store and re-access this energy. Electrochemical storage, in the guise of batteries, supercapacitors and pseudocapacitors, has attracted much attention as a viable option for enhanced energy storage applications. But in order for these technologies to be implemented successfully we need to find materials that perform better and are relatively easy to synthesise. Bimetallic transition metal oxides are materials that are readily synthesised and may be multifunctional, i.e. have a role at the electrochemical atomic level as well as the device level. In order for these materials to work efficiently in new generation systems based on sodium and lithium they also need to be mesoporous. This can be achieved by trying to find synthetic techniques that produce specific, highly regulated nanostructures or by adding a ‘templating’ agent during the bulk synthesis step. We have investigated the simple hydrothermal preparation of a number of nickel cobaltate (NiCo2O4) materials using polymer templates, eggshell membrane (ESM) and poly methyl methacrylate (PMMA), as potential electrode materials for supercapacitors. The ESM was expected to act as a fibrous, random polymeric template while the PMMA should produce a much more ordered material. Electrochemical testing showed that the different templates have led to changes in material morphology and these have resulted in a difference in electrochemical properties. Templated materials had an increased specific capacitance than non-templated and the choice of template could influence the capacitance by as much as 30 %

Scale-freeness for networks as a degenerate ground state: A Hamiltonian formulation

The origin of scale-free degree distributions in the context of networks is addressed through an analogous non-network model in which the node degree corresponds to the number of balls in a box and the rewiring of links to balls moving between the boxes. A statistical mechanical formulation is presented and the corresponding Hamiltonian is derived. The energy, the entropy, as well as the degree distribution and its fluctuations are investigated at various temperatures. The scale-free distribution is shown to correspond to the degenerate ground state, which has small fluctuations in the degree distribution and yet a large entropy. We suggest an implication of our results from the viewpoint of the stability in evolution of networks.Comment: 7 pages, 3 figures. To appear in Europhysics lette

Design and Construction of a Soil Bentonite Slurry Wall Around an Operating Facility Superfund Site

A soil bentonite slurry wall was designed for an NPL site to stop further migration of chemicals in a complex aquifer system, and to facilitate the removal of possible chemical sources from saturated zones beneath the site. Pumping from within the slurry wall will maintain inward and upward hydraulic gradients and thus stop further lateral or vertical migration of chemicals from the contained area. The slurry wall was constructed under an exceptionally detailed Quality Assurance; Quality Control review by the Contractor and two independent consulting firms. Ground movements, vibration levels and opacity of dust produced during construction were monitored for compliance with design specifications. It was made a condition of the contract that no hazardous material could leave the site. Federal regulations required all persons involved in site work to have health and safety training. Careful planning and close liaison between the Owner, Engineer and Contractor has enabled the slurry wall to be constructed in a business park environment around an operating manufacturing facility without disruption to production

Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic

Physical non-viral gene delivery methods for tissue engineering

The integration of gene therapy into tissue engineering to control differentiation and direct tissue formation is not a new concept; however, successful delivery of nucleic acids into primary cells, progenitor cells, and stem cells has proven exceptionally challenging. Viral vectors are generally highly effective at delivering nucleic acids to a variety of cell populations, both dividing and non-dividing, yet these viral vectors are marred by significant safety concerns. Non-viral vectors are preferred for gene therapy, despite lower transfection efficiencies, and possess many customizable attributes that are desirable for tissue engineering applications. However, there is no single non-viral gene delivery strategy that “fits-all” cell types and tissues. Thus, there is a compelling opportunity to examine different non-viral vectors, especially physical vectors, and compare their relative degrees of success. This review examines the advantages and disadvantages of physical non-viral methods (i.e., microinjection, ballistic gene delivery, electroporation, sonoporation, laser irradiation, magnetofection, and electric field-induced molecular vibration), with particular attention given to electroporation because of its versatility, with further special emphasis on Nucleofection™. In addition, attributes of cellular character that can be used to improve differentiation strategies are examined for tissue engineering applications. Ultimately, electroporation exhibits a high transfection efficiency in many cell types, which is highly desirable for tissue engineering applications, but electroporation and other physical non-viral gene delivery methods are still limited by poor cell viability. Overcoming the challenge of poor cell viability in highly efficient physical non-viral techniques is the key to using gene delivery to enhance tissue engineering applications

P09-15. Selection of higher avidity HLA-restricted T cell responses as a viral adaptation strategy

Loss of immune reactivity due to HIV mutational escape is well described. Data generated from a large population-based study (n>800) suggested that certain CD8 T cell epitopes are created as a result of HIV adaptation and are associated with enhanced viral replication. Here we sought to investigate the HLA-restricted T-cell responses associated with seven such adaptations

A Modified Field Infiltrometer Test for Clay Liners

Regulatory agencies are looking more frequently to in situ field hydraulic conductivity tests for the assessment of a liner\u27s compliance to a specified hydraulic conductivity. Most field tests have evaluated hydraulic conductivity by measuring the infiltration rate of the liner. The infiltration rate can be used to arrive at a hydraulic conductivity value if the hydraulic boundary conditions of the test can be identified or if the head loss at different depths can be measured. A test fill of a clay liner was evaluated for its saturated vertical hydraulic conductivity. This paper discusses the use of eight tensiometers to measure soil suction at four depths beneath a double ring infiltrometer. The hydraulic conductivity results using the tensiometer data displayed good consistency and agreed well with laboratory test results