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 $\Lambda$ 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 $\Lambda$ 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 $\Lambda$ 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 $p$-forms on the boundary of $2p+2$-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 $\psi({\bf r})$ at the integer quantum Hall transition. It is demonstrated that in the limit of a large system size the distribution function of $|\psi|^2$ is log-normal, so that the multifractal spectrum $f(\alpha)$ 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