8,369 research outputs found
Organized versus self-organized criticality in the abelian sandpile model
We define stabilizability of an infinite volume height configuration and of a
probability measure on height configurations. We show that for high enough
densities, a probability measure cannot be stabilized. We also show that in
some sense the thermodynamic limit of the uniform measures on the recurrent
configurations of the abelian sandpile model (ASM) is a maximal element of the
set of stabilizable measures. In that sense the self-organized critical
behavior of the ASM can be understood in terms of an ordinary transition
between stabilizable and non-stabilizableComment: 17 pages, appeared in Markov Processes and Related Fields 200
A note on the abelian sandpile in Z^d
We analyse the abelian sandpile model on \mathbbm{Z}^d for the starting
configuration of particles in the origin and particles otherwise. We
give a new short proof of the theorem of Fey, Levine and Peres \cite{FLP} that
the radius of the toppled cluster of this configuration is
Bendings of radio jets in BL Lacertae objects I: EVN and MERLIN observations
Several blazars, and BL Lac objects in particular, show a misalignment
between the jet orientation on parsec and kiloparsec scales. Some authors (i.e.
Conway & Murphy, 1993) have attempted to explain this behaviour invoking
helical jets for misalignment angles around 90\degr, showing how in this case
there are interesting implications for the understanding of the medium into
which the jet is expanding. By comparing sensitive VLA observations (Cassaro et
al., 1999) with images available in the literature for the BL Lac objects from
the 1-Jy Sample (Stickel et al., 1991), it is clear that there is a wide range
of misalignments between the initial jet direction and the kpc-scale jet, when
detected. We have carried out VLBI observations of these BL Lac objects, in
order to investigate the spatial evolution of the radio jets from few tens to
hundreds of mas, and to search for helical jets in this class of sources. We
present here the first dataset obtained from EVN+MERLIN observations at 5 GHz
for seven objects. From these observations we never have a clear detection of
helical jets, we only have a possible signature of their presence in 2 objects.
In only one of the sources with a misalignment angle around 90\degr the
presence of helical jets can be ruled out. This implies that it is not possible
to invoke helical jets to explain the morphology of all the sources showing a
misalignment of about 90\degr between the parsec and the kiloparsec scale
jets.Comment: 12 pages, 9 figures, latex, accepted by Astronomy & Astrophysic
Length correction for larval and early-juvenile Atlantic menhaden (Brevoortia tyrannus) after preservation in alcohol
Body length measurement is an important part of growth, condition, and mortality analyses of larval and juvenile fish. If the measurements are not accurate (i.e., do not reflect real fish length), results of subsequent analyses may be affected considerably (McGurk, 1985; Fey, 1999; Porter et al., 2001). The primary cause of error in fish length measurement is shrinkage related to collection and
preservation (Theilacker, 1980; Hay, 1981; Butler, 1992; Fey, 1999). The magnitude of shrinkage depends on many factors, namely the duration and speed of the collection tow, abundance of other planktonic organisms in the sample (Theilacker, 1980; Hay, 1981; Jennings, 1991), the type and
strength of the preservative (Hay, 1982), and the species of fish (Jennings, 1991; Fey, 1999). Further, fish size affects shrinkage (Fowler and Smith, 1983; Fey, 1999, 2001), indicating that live length should be modeled as a function of preserved length (Pepin et al., 1998; Fey, 1999)
Path-Based Program Repair
We propose a path-based approach to program repair for imperative programs.
Our repair framework takes as input a faulty program, a logic specification
that is refuted, and a hint where the fault may be located. An iterative
abstraction refinement loop is then used to repair the program: in each
iteration, the faulty program part is re-synthesized considering a symbolic
counterexample, where the control-flow is kept concrete but the data-flow is
symbolic. The appeal of the idea is two-fold: 1) the approach lazily considers
candidate repairs and 2) the repairs are directly derived from the logic
specification. In contrast to prior work, our approach is complete for programs
with finitely many control-flow paths, i.e., the program is repaired if and
only if it can be repaired at the specified fault location. Initial results for
small programs indicate that the approach is useful for debugging programs in
practice.Comment: In Proceedings FESCA 2015, arXiv:1503.0437
- …