We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O’Hearn and Pym’s logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have th...

where gμν is the space-time metric and Fμν is the electromagnetic field strength. It turns out that the action SBI reduces to Maxwell action for small amplitudes. Some years ago, the action (2) became of very much interest because its relation with SUSY (see [3] and references there in) and string theory (see [4]-[7] and references there in) and D-brane physics [8]. At present, the BI theory ha...

The use of business intelligence and analytics (BI&A) is often claimed to be a means by which organizations may improve their competitive stance. Despite these claims, there is limited theorizing about the mechanism through which BI&A enables improved organizational outcomes. Based on the dynamic capabilities perspective, and specifically Teece’s (2007) sense, seize, transform conceptualization...

We investigate the computational complexity of the Boolean Isomorphism problem (BI): on input of two Boolean formulas F and G decide whether there exists a permutation of the variables of G such that F and G become equivalent. Our main result is a one-round interactive proof for BI, where the veriier has access to an NP oracle. To obtain this, we use a recent result from learning theory by Bsho...

in this paper, we introduce and study the prime, strongly prime,semiprime and irreducible fuzzy bi-ideals of a semigroup. we characterize thosesemigroups for which each fuzzy bi-ideal is semiprime. we also characterizethose semigroups for which each fuzzy bi-ideal is strongly prime.

The Barbero–Immirzi (BI) parameter is promoted to a field and a canonical analysis is performed when it is coupled with a Nieh–Yan topological invariant. It is shown that, in the effective theory, the BI field is a canonical pseudoscalar minimally coupled with gravity. This framework is argued to be more natural than the one of the usual Holst action. Potential consequences in relation with inf...

Business intelligence (BI) becomes increasingly important and is an evolving topic in research and practice. The evolvement of BI, the flexibility of BI systems, and their context-dependency entail diverse and partially contradicting results on BI system use and outcomes. This study examines how and why BI systems are used differently and what the entailing outcomes are. With the theoretical le...

⎯By employing the Lyapunov stability theory and linear matrix inequality (LMI) technique, delaydependent stability criterion is derived to ensure the exponential stability of bi-directional associative memory (BAM) neural networks with time-varying delays. The proposed condition can be checked easily by LMI control toolbox in Matlab. A numerical example is given to demonstrate the effectiveness...

The approach of Business Intelligence (BI) as a support function for management decisions is established in practice and theory. BI can not just be considered as a simple sequence of isolated single projects. Its coordination requires permanent efforts to keep the BI function and the business organization in alignment. In the context of the present empirical study, BI organizations have been an...

A business intelligence conceptual model (BISCOM) is proposed as a process-focused design theory for developing, understanding, and evaluating business intelligence (BI) systems. Previous work has concentrated on subsets of the BI systems, use of BI tools, and specific business functional area requirements. BISCOM provides a unified and comprehensive design theory that integrates and synthesize...