The standard (AGM) approach to belief change assumes that the underlying logic is at least as strong as classical propositional logic. This paper investigates an account of belief change, specifically contraction, where the underlying logic is that governing Horn clauses. Thus this work sheds light on the theoretical underpinnings of belief change by weakening a fundamental assumption of the ar...

Parallel tree contraction has been found to be a useful and quite powerful tool for the design of a wide class of efficient graph algorithms. We propose a corresponding technique for the parallel solution of incremental problems. As our computational model, we assume a variant of the CRCW PRAM where we can dynamically activate processors by a forking operation. We consider a dynamic binary tree...

Brans-Dicke theory contains an additional propagating mode which causes homogeneous expansion and contraction of test bodies in transverse directions. This "breathing" is associated with novel memory effects addition to those general relativity. Standard tensor memories are related a symmetry principle: they determined by the balance equations corresponding BMS symmetries. In this paper, we sho...

E. Landau gave an interesting asymptotic formula for a sum involving zeros of the Riemann zeta-function. We give an asymptotic formula which can be regarded as a smoothed version of Landau’s formula.

The theory of modular space was initiated by Nakano [1] in connection with the theory of order spaces and was redefined and generalized byMusielak and Orlicz [2]. By defining a norm, particular Banach spaces of functions can be considered. Metric fixed theory for these Banach spaces of functions has been widely studied (see [3]). Another direction is based on considering and abstractly given fu...

This paper deals with the Bayesian estimation of high dimensional Gaussian graphical models. We develop a quasi-Bayesian implementation of the neighborhood selection method of Meinshausen and Buhlmann (2006) for the estimation of Gaussian graphical models. The method produces a product-form quasiposterior distribution that can be efficiently explored by parallel computing. We derive a non-asymp...

Guaranteeing that traditional concepts of stability like uniform global exponential or asymptotic stability (UGES or UGAS) are veri ed when using design tools based on new concepts of stability may be of signi cant importance. It is especially so when attempting to bridge the gap between theory and practice. This paper addresses the question of the applicability of contraction theory to the des...

Abstract This paper is devoted to study the existence and uniqueness of solutions a one parameter family nonlinear Riemann–Liouville fractional differential equations with mixed boundary value conditions. An exhaustive sign related Green’s function carried out. Under suitable assumptions on asymptotic behavior part equation at zero infinity, by application fixed point theory compact operators d...

It is explored that if dominant component of content of the future universe behaves as Chaplygin gas, voilation of other energy conditions (null energy condition, weak energy condition and dominant energy condition) can be avoided if " strong energy condition " is obeyed. In the investigations, here, two cases arise. In one case, universe expands with acceleration leading to finite energy densi...