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

Weighted-density approximation for general nonuniform fluid mixtures

In order to construct a general density-functional theory for nonuniform fluid mixtures, we propose an extension to multicomponent systems of the weighted-density approximation (WDA) of Curtin and Ashcroft [Phys. Rev. A 32, 2909 (1985)]. This extension corrects a deficiency in a similar extension proposed earlier by Denton and Ashcroft [Phys. Rev. A 42, 7312 (1990)], in that that functional cannot be applied to the multi-component nonuniform fluid systems with spatially varying composition, such as solid-fluid interfaces. As a test of the accuracy of our new functional, we apply it to the calculation of the freezing phase diagram of a binary hard-sphere fluid, and compare the results to simulation and the Denton-Ashcroft extension.Comment: 4 pages, 4 figures, to appear in Phys. Rev. E as Brief Repor

Reflections on Jogee: overwhelming supervening act

The Supreme Court’s judgment in Jogee and Ruddock v The Queen1 substantially altered the criminal law’s approach to secondary liability. However, the judgment left numer- ous important issues unresolved. In particular, the circum- stances in which a secondary party is excused liability on the basis of an overwhelming supervening act (“OSA”) of the principal remains unclear. The Court of Appeal recently discussed OSA in Lanning and Camille,2 but it too left im- portant questions unanswered. In this article we examine this concept, which is being encountered with increasing frequency in practice

Injection-Locked Dye Laser Pumped By A Xenon-lon Laser

Injection locking of a dye laser is reported for a 4-minor ring-cavity dye User pumped by a xenon-ion laser. Both a He-Ne laser and tunable CW dye laser were used as the injection sources. Copyright © 1980 by The Institute of Electrical and Electronics Engineers, Inc

Adjusting the melting point of a model system via Gibbs-Duhem integration: application to a model of Aluminum

Model interaction potentials for real materials are generally optimized with respect to only those experimental properties that are easily evaluated as mechanical averages (e.g., elastic constants (at T=0 K), static lattice energies and liquid structure). For such potentials, agreement with experiment for the non-mechanical properties, such as the melting point, is not guaranteed and such values can deviate significantly from experiment. We present a method for re-parameterizing any model interaction potential of a real material to adjust its melting temperature to a value that is closer to its experimental melting temperature. This is done without significantly affecting the mechanical properties for which the potential was modeled. This method is an application of Gibbs-Duhem integration [D. Kofke, Mol. Phys.78, 1331 (1993)]. As a test we apply the method to an embedded atom model of aluminum [J. Mei and J.W. Davenport, Phys. Rev. B 46, 21 (1992)] for which the melting temperature for the thermodynamic limit is 826.4 +/- 1.3K - somewhat below the experimental value of 933K. After re-parameterization, the melting temperature of the modified potential is found to be 931.5K +/- 1.5K.Comment: 9 pages, 5 figures, 4 table

Nd:LNA Laser Optical Pumping Of ⁴He: Application To Space Magnetometers

We have observed Hanle signals and n=0, p=1 parametric resonances of 23S1 metastable helium atoms in a discharge cell by optically pumping the helium atoms with a tunable Nd:LNA laser. These resonances were used to construct a sensitive magnetometer for the measurement of very small magnetic fields. Since magnetometer sensitivity is proportional to the slope of the parametric resonance signal (signal amplitude divided by linewidth), the slopes for single-line laser pumping were compared with similar quantities obtained from conventional helium lamp pumping. Laser pumping yielded 45 times greater slopes with comparable power requirements, thus establishing the potential for developing ultrasensitive resonance magnetometers using single-line laser pumping

Particle Dark Energy

We explore the physics of a gas of particles interacting with a condensate that spontaneously breaks Lorentz invariance. The equation of state of this gas varies from 1/3 to less than -1 and can lead to the observed cosmic acceleration. The particles are always stable. In our particular class of models these particles are fermions with a chiral coupling to the condensate. They may behave as relativistic matter at early times, produce a brief period where they dominate the expansion with w<0 today, and behave as matter at late time. There are no small parameters in our models, which generically lead to dark energy clustering and, depending on the choice of parameters, smoothing of small scale power.Comment: 8 pages, 5 figures; minor update with added refs; version appearing in Phys. Rev.

Interplay between distribution of live cells and growth dynamics of solid tumours

Experiments show that simple diffusion of nutrients and waste molecules is not sufficient to explain the typical multilayered structure of solid tumours, where an outer rim of proliferating cells surrounds a layer of quiescent but viable cells and a central necrotic region. These experiments challenge models of tumour growth based exclusively on diffusion. Here we propose a model of tumour growth that incorporates the volume dynamics and the distribution of cells within the viable cell rim. The model is suggested by in silico experiments and is validated using in vitro data. The results correlate with in vivo data as well, and the model can be used to support experimental and clinical oncology