The logic of bunched implication BI provides a framework for reasoning about resource composition and forms the basis for an assertion language of separation logic which is used to reason about software programs. Propositional BI is obtained by freely combining propositional intuitionistic logic and multiplicative intuitionistic linear logic. It possesses an elegant proof theory: its bunched ca...

In this paper, an exact analytical solution for free vibration of rotating bi-layered cylindrical shell composed of two independent functionally graded layers was presented. The thicknesses of the shell layers were assumed to be equal and constant. The material properties of the constituents of bi-layered FGM cylindrical shell were graded in the thickness direction of the layers of the shell ac...

Business intelligence (BI) combined with business analytics (BA) is an increasingly prominent strategic objective for many organizations. As a pedagogical subject, BI/BA is still in its infancy, and, in order for this to mature, we need to develop an undergraduate model BI/BA curriculum. BI/BA as an academic domain is emerging as a hybrid of disciplines, including information systems, statistic...

Asymptotic classes are classes of finite structures which have uniformly definable estimates for the cardinalities of their first-order definable sets akin to those in finite fields given by the Lang-Weil estimates. The goal of the thesis is to prove that the finite simple groups of a fixed Lie type and Lie rank form asymptotic classes. This requires the following: 1. The introduction describes...

We introduce a linearized bi-metric theory of gravity with two metrics. The metric gαβ describes null hypersurfaces of the gravitational field while light moves on null hypersurfaces of the optical metric ḡαβ. Bi-metrism naturally arises in vector-tensor theories with matter being non-minimally coupled to gravity via long-range vector field. We derive explicit Lorentz-invariant solution for a l...

Abstract. The theory of bi-orthogonal polynomials on the unit circle is developed for a general class of weights leading to systems of recurrence relations and derivatives of the polynomials and their associated functions, and to functional-difference equations of certain coefficient functions appearing in the theory. A natural formulation of the Riemann-Hilbert problem is presented which has a...

Experiments in quasi-two-dimensional geometry (Hele-Shaw cells) in which a fluid is injected into a viscoelastic medium (foam, clay, or associating polymers) show patterns akin to fracture in brittle materials, very different from standard Laplacian growth patterns of viscous fingering. An analytic theory is lacking since a prerequisite to describing the fracture of elastic material is the solu...

We construct partially localized supergravity counterpart solutions to the 1/2 supersymmetric nonthreshold and the 1/4 supersymmetric threshold bound state BI dyons in the D3-brane Dirac-Born-Infeld theory. Such supergravity solutions have all the parameters of the BI dyons. By applying the type-IIA–type-IIB T-duality transformations to these supergravity solutions, we obtain the supergravity c...

In this paper we present a novel approach to register multiple scans from a static object. We formulate the registration problem as an optimization of the maps from all other scans to one reference scan where any map between two scans can be represented by the composition of these maps. In this way, all loop closures can be automatically guaranteed as the maps among all scans are globally consi...