10,550 research outputs found
An Architectural Approach to Ensuring Consistency in Hierarchical Execution
Hierarchical task decomposition is a method used in many agent systems to
organize agent knowledge. This work shows how the combination of a hierarchy
and persistent assertions of knowledge can lead to difficulty in maintaining
logical consistency in asserted knowledge. We explore the problematic
consequences of persistent assumptions in the reasoning process and introduce
novel potential solutions. Having implemented one of the possible solutions,
Dynamic Hierarchical Justification, its effectiveness is demonstrated with an
empirical analysis
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 equilibrium intrinsic crystal-liquid interface of colloids
We use confocal microscopy to study an equilibrated crystal-liquid interface
in a colloidal suspension. Capillary waves roughen the surface, but locally the
intrinsic interface is sharply defined. We use local measurements of the
structure and dynamics to characterize the intrinsic interface, and different
measurements find slightly different widths of this interface. In terms of the
particle diameter , this width is either (based on structural
information) or (based on dynamics), both not much larger than the
particle size. This work is the first direct experimental visualization of an
equilibrated crystal-liquid interface.Comment: 6 pages; revised version, submitted to PNA
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
Providing Self-Aware Systems with Reflexivity
We propose a new type of self-aware systems inspired by ideas from
higher-order theories of consciousness. First, we discussed the crucial
distinction between introspection and reflexion. Then, we focus on
computational reflexion as a mechanism by which a computer program can inspect
its own code at every stage of the computation. Finally, we provide a formal
definition and a proof-of-concept implementation of computational reflexion,
viewed as an enriched form of program interpretation and a way to dynamically
"augment" a computational process.Comment: 12 pages plus bibliography, appendices with code description, code of
the proof-of-concept implementation, and examples of executio
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
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
Measurement of Temporal Correlations of the Overhauser Field in a Double Quantum Dot
In quantum dots made from materials with nonzero nuclear spins, hyperfine
coupling creates a fluctuating effective Zeeman field (Overhauser field) felt
by electrons, which can be a dominant source of spin qubit decoherence. We
characterize the spectral properties of the fluctuating Overhauser field in a
GaAs double quantum dot by measuring correlation functions and power spectra of
the rate of singlet-triplet mixing of two separated electrons. Away from zero
field, spectral weight is concentrated below 10 Hz, with 1/f^2 dependence on
frequency, f. This is consistent with a model of nuclear spin diffusion, and
indicates that decoherence can be largely suppressed by echo techniques.Comment: related papers available at http://marcuslab.harvard.ed
- …