We give complete sequent-like tableau systems for the modal logics KB , KDB , K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.

We analyze the asymptotic number of items chosen in a selection procedure. The procedure selects items whose rank among all previous applicants is within the best 100p percent of the number of previously selected items. We use analytic methods to obtain a succinct formula for the first-order asymptotic growth of the expected number of items chosen by the procedure.

We discuss the derivation of the analytic properties of the cross-power spectrum estimator from multi-detector CMB anisotropy maps. The method is computationally convenient and it provides unbiased estimates under very broad assumptions. We also propose a new procedure for testing for the presence of residual bias due to inappropriate noise subtraction in pseudo-C ℓ estimates. We derive the ana...

In this paper, we apply the local fractional Adomian decomposition and variational iteration methods to obtain the analytic approximate solutions of Fredholm integral equations of the second kind within local fractional derivative operators. The iteration procedure is based on local fractional derivative. The obtained results reveal that the proposed methods are very efficient and simple tools ...

We critique a Padé analytic continuation method whereby a rational polynomial function is fit to a set of input points by means of a single matrix inversion. This procedure is accomplished to an extremely high accuracy using a novel symbolic computation algorithm. As an example of this method in action, it is applied to the problem of determining the spectral function of a single-particle therm...

We discuss replica analytic continuation using several simple models in order to prove mathematically the validity of replica analysis, which is used in a wide range of fields related to large scale complex systems. While replica analysis consists of two analytical techniques, the replica trick (or replica analytic continuation) and the thermodynamical limit (and/or order parameter expansion), ...

Production-distribution planning is the most important activity in supply chain management (SCM). To solve this planning problem, either analytic or simulation approaches have been used. However these two approaches have their own demerits in problem solving. In this paper, we propose a hybrid approach which is a specific problem solving procedure combining analytic and simulation methods to so...

The basic idea behind the analytic approach to Quantum Field Theory is to supplement the perturbative treatment of the renormalization group (RG) formalism with the nonperturbative information encoded in the corresponding dispersion relations [1]. The latter, being based on the “first principles” of the theory, provide one with the definite analytic properties in the kinematic variable of a phy...

The Analytic Hierarchy Process as an aid to decision makers has gained in popularity over the years. Recently the procedure has been generalised into the Interval Analytic Hierarchy Process. Rather than select a precise ratio for the comparisons between the alternatives offered to the decision maker an interval is proposed. One popular strategy in examining this problem is to adopt a simulation...