9,627 research outputs found
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
- …