2,909 research outputs found
Tree rules in probabilistic transition system specifications with negative and quantitative premises
Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu
format provide structural operational semantics for Segala-type systems that
exhibit both probabilistic and nondeterministic behavior and guarantee that
isimilarity is a congruence.Similar to the nondeterministic case of rule format
tyft/tyxt, we show that the well-foundedness requirement is unnecessary in the
probabilistic setting. To achieve this, we first define an extended version of
the ntmufnu/ntmuxnu format in which quantitative premises and conclusions
include nested convex combinations of distributions. This format also
guarantees that bisimilarity is a congruence. Then, for a given (possibly
non-well-founded) PTSS in the new format, we construct an equivalent
well-founded transition system consisting of only rules of the simpler
(well-founded) probabilistic ntree format. Furthermore, we develop a
proof-theoretic notion for these PTSSs that coincides with the existing
stratification-based meaning in case the PTSS is stratifiable. This continues
the line of research lifting structural operational semantic results from the
nondeterministic setting to systems with both probabilistic and
nondeterministic behavior.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244
Examining the consistency and coherence of values in young children using a new animated values instrument
The existence and formation of values across the lifespan has been of particular interest to psychology researchers for decades. In this study we examine the consistency and coherence of values in early childhood using a new animated instrument - the AVI (Animated Values Instrument). Based on Schwartz's circular values structure the AVI is a multi-sensory instrument designed to enhance young children's understanding of each value. We present evidence from a sample of 329 five to twelve year-olds that shows children, as young as five, make consistent choices about their own values. Results show that consistency of choice is high for the majority of children across all age groups and complete consistency of choice in almost all older children. We also demonstrate coherence in the circular structure of values in young children at the sample and individual level for the first time. The discussion outlines new directions for future research on the development of values in young children
Selection rules for J^PC Exotic Hybrid Meson Decay in Large-N_c
The coupling of a neutral hybrid {1,3,5...}^-+ exotic particle (or current)
to two neutral (hybrid) meson particles with the same J^PC and J=0 is proved to
be sub-leading to the usual large-N_c QCD counting. The coupling of the same
exotic particle to certain two - (hybrid) meson currents with the same J^PC and
J=0 is also sub-leading. The decay of a {1,3,5...}^-+ hybrid to eta pi^0, eta'
pi^0, eta' eta, eta(1295) pi^0, pi(1300)^0 pi0, eta(1440) pi^0, a_0(980)^0
sigma or f_0(980) sigma is sub-leading, assuming that these final state
particles are (hybrid) mesons in the limit of large N_c.Comment: 16 pages, LaTeX. Main paper shortened/rewritten and appendices
expanded. Implications for phenomenology of exotic hybrid mesons clarifie
Pathways to improving sustainability of WASH services: influencing government planning and decisions, Indonesia
The Indonesian Government estimates that it will cost US$21.6 million to achieve the country’s 2019 Universal Sanitation Access goal. However, an assessment, by Plan in ten districts found that district governments were allocating under 1% of their annual budget to WASH. A key pathway to achieving the Universal Sanitation goal and to improving WASH service sustainability is through enabling local governments to independently and sustainably resource and support WASH improvements. This is critical for improving services sustainably for the poor, who are most affected by government resource decisions. Within a project context, Plan and local government partners developed and applied a series of successful strategies to influence government decision making processes. The combination of these strategies had not been undertaken previously in Indonesia. In only three years, these strategies have resulted in the project’s five district governments securing funding for sanitation and hygiene implementation for 363,000 people in 242 villages
Steklov problem on differential forms
In this paper we study spectral properties of Dirichlet-to-Neumann map on
differential forms obtained by a slight modification of the definition due to
Belishev and Sharafutdinov. The resulting operator is shown to be
self-adjoint on the subspace of coclosed forms and to have purely discrete
spectrum there.We investigate properies of eigenvalues of and prove a
Hersch-Payne-Schiffer type inequality relating products of those eigenvalues to
eigenvalues of Hodge Laplacian on the boundary. Moreover, non-trivial
eigenvalues of are always at least as large as eigenvalues of
Dirichlet-to-Neumann map defined by Raulot and Savo. Finally, we remark that a
particular case of -forms on the boundary of -dimensional manifold
shares a lot of important properties with the classical Steklov eigenvalue
problem on surfaces.Comment: 18 page
Anterior Hippocampus and Goal-Directed Spatial Decision Making
Contains fulltext :
115487.pdf (publisher's version ) (Open Access
Semantic-based policy engineering for autonomic systems
This paper presents some important directions in the use of ontology-based semantics in achieving the vision of Autonomic Communications. We examine the requirements of Autonomic Communication with a focus on the demanding needs of ubiquitous computing environments, with an emphasis on the requirements shared with Autonomic Computing. We observe that ontologies provide a strong mechanism for addressing the heterogeneity in user task requirements, managed resources, services and context. We then present two complimentary approaches that exploit ontology-based knowledge in support of autonomic communications: service-oriented models for policy engineering and dynamic semantic queries using content-based networks. The paper concludes with a discussion of the major research challenges such approaches raise
Multifractality of wavefunctions at the quantum Hall transition revisited
We investigate numerically the statistics of wavefunction amplitudes
at the integer quantum Hall transition. It is demonstrated that
in the limit of a large system size the distribution function of is
log-normal, so that the multifractal spectrum is exactly parabolic.
Our findings lend strong support to a recent conjecture for a critical theory
of the quantum Hall transition.Comment: 4 pages Late
- …