A family of boundary conditions corresponding to exclusion processes is introduced. This family is a generalization of the boundary conditions corresponding to the simple exclusion process, the drop-push model, and the one-parameter solvable family of pushing processes with certain rates on the continuum [1, 2, 3]. The conditional probabilities are calculated using the Bethe ansatz, and it is s...

When a first order belief accurately reflects the evidence, how should this affect the epistemic justification of a higher order belief that this is the case? In an influential paper, Kelly argues that first order evidential accuracy tends to generate more justified higher order beliefs (Kelly 2010). Call this Bottom Up. I argue that neither general views about what justifies our higher order b...

In recent decades Europe has experienced periods of push and pull migration. Whereas pult migration has been seen as economically beneficial, there is concern that push migration will accelerate the employment crisis. This article qualifies this view by aigdng that migration may erode institutional constraints. The theoreticaX framework behind thts idea accounts for heterogeneous labor, monopol...

The paper shows how iterative parametric sequential circuits, which are most relevant in practice, can be verified fully automatically. Key observation is that monadic second-order logic on strings provides an adequate level for hardware specification and implementation. This allows us to apply the corresponding decision procedure and counter-model generator implemented in the Mona verification...

Background: Forward head posture is one of the most prevalent abnormal postures in patients with neck disorders. The aim of this study was to evaluate the effects of forward head posture on gait ground reaction force characteristics in children. Methods: Twelve children with forward head posture (age: 11.8±1.3 years) and sixteen healthy control children (...

The emerging of wireless computing motivates radical changes of how information is derived. Our paper concerns with developing push and pull based application in wireless environment. We use a simplified e-health (hospital) context to demonstrate some effective uses of pull-based and push-based mechanisms. The pull mechanism involves information retrieval from a database, and update information...

The purpose of this study was to evaluate the antibacterial activity of a modified self-etching primer incorporating chitosan and whether this modification affected the bond strength to radicular dentin. A modified self-etching primer was prepared by adding chitosan solutions at 0.03%, 0.06%, 0.12% and 0.25% (W/W) to RealSeal selfe-tching primer. RealSeal primer without chitosan was used as the...