The bulk properties of composites are known to depend strongly on the microstructure. This dependence can be quanti ed in terms of a representation introduced by D. Bergman, which factorizes the geometry dependence from the contrast. Based on this analytic representation of the e ective permittivity, we present a general scheme to estimate the micro structural parameters, such as the volume fra...

No analytic solution is known to date for a black hole in a compact dimension. We develop an analytic perturbation theory where the small parameter is the size of the black hole relative to the size of the compact dimension. We set up a general procedure for an arbitrary order in the perturbation series based on an asymptotic matched expansion between two coordinate patches: the near horizon zo...

We extrapolate lattice calculations of electric charge radii of the spin-1/2 baryon octet to the physical regime. The extrapolation procedure incorporates chiral perturbation theory and heavy quark effective theory in the appropriate limits. In particular, this procedure includes the non-analytic, logarithmic terms from pion loops. The electric charge radii of the nucleons and Σ − obtained from...

A New Look at the Stopping Times Related to the Trading Strategies Vilen Abramov We provide a probabilistic framework by which an analytic analysis can be performed for the trading strategies under various continuous price dynamics. This, in part, is done by making a connection to the cumulative sum (cusum) procedure of quality control. Although the cusum procedure has been studied quiet extens...

We present a sound and complete tableau calculus for a class BReg of extended regular grammar logics which contains useful epistemic logics for reasoning about agent beliefs. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. Applying sound global caching to the calculus, we obtain the first optimal (EXPTime) tableau decision procedure for BReg...

The multiresolution analysis (MRA) strategy for the reduction of a nonlinear differential equation is a procedure for constructing an equation directly for the coarse scale component of the solution. The MRA homogenization process is a method for building a simpler equation whose solution has the same coarse behavior as the solution to a more complex equation. We present two multiresolution red...

We propose a new constructive procedure to factorize the fundamental real matrix of a linear system of differential equations as the product of the exponentials of a symmetric and a skew-symmetric matrix. Both matrices are explicitly constructed as series whose terms are computed recursively. The procedure is shown to converge for sufficiently small times. In this way, explicit exponential repr...

The description logic SHI extends the basic description logic ALC with transitive roles, role hierarchies and inverse roles. The known tableau-based decision procedure [9] for SHI exhibit (at least) NEXPTIME behaviour even though SHI is known to be EXPTIME-complete. The automata-based algorithms for SHI often yield optimal worst-case complexity results, but do not behave well in practice since ...