6,077 research outputs found
DEEP: a provenance-aware executable document system
The concept of executable documents is attracting growing interest from both academics and publishers since it is a promising technology for the dissemination of scientific results. Provenance is a kind of metadata that provides a rich description of the derivation history of data products starting from their original sources. It has been used in many different e-Science domains and has shown great potential in enabling reproducibility of scientific results. However, while both executable documents and provenance are aimed at enhancing the dissemination of scientific results, little has been done to explore the integration of both techniques. In this paper, we introduce the design and development of DEEP, an executable document environment that generates scientific results dynamically and interactively, and also records the provenance for these results in the document. In this system, provenance is exposed to users via an interface that provides them with an alternative way of navigating the executable document. In addition, we make use of the provenance to offer a document rollback facility to users and help to manage the system's dynamic resources
Generic two-phase coexistence in nonequilibrium systems
Gibbs' phase rule states that two-phase coexistence of a single-component
system, characterized by an n-dimensional parameter-space, may occur in an
n-1-dimensional region. For example, the two equilibrium phases of the Ising
model coexist on a line in the temperature-magnetic-field phase diagram.
Nonequilibrium systems may violate this rule and several models, where phase
coexistence occurs over a finite (n-dimensional) region of the parameter space,
have been reported. The first example of this behaviour was found in Toom's
model [Toom,Geoff,GG], that exhibits generic bistability, i.e. two-phase
coexistence over a finite region of its two-dimensional parameter space (see
Section 1). In addition to its interest as a genuine nonequilibrium property,
generic multistability, defined as a generalization of bistability, is both of
practical and theoretical relevance. In particular, it has been used recently
to argue that some complex structures appearing in nature could be truly stable
rather than metastable (with important applications in theoretical biology),
and as the theoretical basis for an error-correction method in computer science
(see [GG,Gacs] for an illuminating and pedagogical discussion of these ideas).Comment: 7 pages, 6 figures, to appear in Eur. Phys. J. B, svjour.cls and
svepj.clo neede
Nonequilibrium wetting transitions with short range forces
We analyze within mean-field theory as well as numerically a KPZ equation
that describes nonequilibrium wetting. Both complete and critical wettitng
transitions were found and characterized in detail. For one-dimensional
substrates the critical wetting temperature is depressed by fluctuations. In
addition, we have investigated a region in the space of parameters (temperature
and chemical potential) where the wet and nonwet phases coexist. Finite-size
scaling analysis of the interfacial detaching times indicates that the finite
coexistence region survives in the thermodynamic limit. Within this region we
have observed (stable or very long-lived) structures related to spatio-temporal
intermittency in other systems. In the interfacial representation these
structures exhibit perfect triangular (pyramidal) patterns in one (two
dimensions), that are characterized by their slope and size distribution.Comment: 11 pages, 5 figures. To appear in Physical Review
Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic
"TNOs are Cool": A survey of the trans-Neptunian region X. Analysis of classical Kuiper belt objects from Herschel and Spitzer observations
The classical Kuiper belt contains objects both from a low-inclination,
presumably primordial, distribution and from a high-inclination dynamically
excited population. Based on a sample of classical TNOs with observations at
thermal wavelengths we determine radiometric sizes, geometric albedos and
thermal beaming factors as well as study sample properties of dynamically hot
and cold classicals. Observations near the thermal peak of TNOs using infra-red
space telescopes are combined with optical magnitudes using the radiometric
technique with near-Earth asteroid thermal model (NEATM). We have determined
three-band flux densities from Herschel/PACS observations at 70.0, 100.0 and
160.0 m and Spitzer/MIPS at 23.68 and 71.42 m when available. We have
analysed 18 classical TNOs with previously unpublished data and re-analysed
previously published targets with updated data reduction to determine their
sizes and geometric albedos as well as beaming factors when data quality
allows. We have combined these samples with classical TNOs with radiometric
results in the literature for the analysis of sample properties of a total of
44 objects. We find a median geometric albedo for cold classical TNOs of 0.14
and for dynamically hot classical TNOs, excluding the Haumea family and dwarf
planets, 0.085. We have determined the bulk densities of Borasisi-Pabu (2.1
g/cm^3), Varda-Ilmare (1.25 g/cm^3) and 2001 QC298 (1.14 g/cm^3) as well as
updated previous density estimates of four targets. We have determined the
slope parameter of the debiased cumulative size distribution of dynamically hot
classical TNOs as q=2.3 +- 0.1 in the diameter range 100<D<500 km. For
dynamically cold classical TNOs we determine q=5.1 +- 1.1 in the diameter range
160<D<280 km as the cold classical TNOs have a smaller maximum size.Comment: 22 pages, 7 figures Accepted to be published in Astronomy and
Astrophysic
Digital Quantum Simulation with Rydberg Atoms
We discuss in detail the implementation of an open-system quantum simulator
with Rydberg states of neutral atoms held in an optical lattice. Our scheme
allows one to realize both coherent as well as dissipative dynamics of complex
spin models involving many-body interactions and constraints. The central
building block of the simulation scheme is constituted by a mesoscopic Rydberg
gate that permits the entanglement of several atoms in an efficient, robust and
quick protocol. In addition, optical pumping on ancillary atoms provides the
dissipative ingredient for engineering the coupling between the system and a
tailored environment. As an illustration, we discuss how the simulator enables
the simulation of coherent evolution of quantum spin models such as the
two-dimensional Heisenberg model and Kitaev's toric code, which involves
four-body spin interactions. We moreover show that in principle also the
simulation of lattice fermions can be achieved. As an example for controlled
dissipative dynamics, we discuss ground state cooling of frustration-free spin
Hamiltonians.Comment: submitted to special issue "Quantum Information with Neutral
Particles" of "Quantum Information Processing
- …