We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen cate...

A non-empty subset A of X = X1 × · · · × Xd is a (proper) box if A = A1 × · · · × Ad and Ai ⊂ Xi for each i. Suppose that for each pair of boxes A, B and each i, one can only know which of the three states takes place: Ai = Bi, Ai = Xi \ Bi, Ai 6∈ {Bi, Xi \ Bi}. Let F and G be two systems of disjoint boxes. Can one decide whether ⋃ F = ⋃ G ? In general, the answer is ‘no’, but as is shown in th...

Small businesses, businesses with 20 or less personnel, account for a significant proportion of economic activity and it is the economic sector that employs the most people in OECD countries. Small businesses are fundamentally different than larger organizations in their operations and decision-making processes. Business intelligence (BI) is the current approach to management decision support i...

Recent predictions from competing theoretical models have disagreed about the stability/instability of bi-periodic patterns of surface waves on deep water. We present laboratory experiments to address this controversy. Growth rates of modulational perturbations are compared to predictions from: (i) inviscid coupled nonlinear Schrödinger (NLS) equations, according to which the patterns are unsta...

Motivated by the need to reason about u t i l ities, and inspired by the success of bayesian networks in representing and reasoning about probabilities, we introduce the notion of ut i l i ty distr ibutions, in which uti l i t ies have the structure of probabilit ies. We furthermore define the notion of a bi-d istr ibut ion, a structure that includes in a symmetric fashion both a probabil i ty ...

As part of the efforts for building a unified Inductive Databases (IDBs) framework, an important step would be to find a way to combine discovered local patterns from the data with global models of predictive nature. In this paper, we investigate the possibility of using bi-sets (local patterns) as features during classification. When searching for bi-sets from Boolean data, despite reasonable ...

We report low-temperature, magnetotransport measurements of ferrocene-doped Bi(2)Se(3) nanoribbons grown by vapor-liquid-solid method. The Kondo effect, a saturating resistance upturn at low temperatures, is observed in these ribbons to indicate presence of localized impurity spins. Magnetoconductances of the ferrocene-doped ribbons display both weak localization and weak antilocalization, whic...

We present the logic of bunched implications, BI, in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication, and may be viewed as a merging of intuitionistic logic and multiplicative, intuitionistic linear logic. The predi...

On the basis of initial velocity and product inhibition studies a nonclassical Ping Pong Bi Bi Uni Uni mechanism has been proposed for pyruvate carboxylase from chicken liver. The nonclassical feature of this mechanism is the proposal that each active site on the enzyme is composed of two separate and functionally distinct catalytic sites, i.e., a separate catalytic site exists for the reactant...

On the basis of initial velocity and product inhibition studies a nonclassical Ping Pong Bi Bi Uni Uni mechanism has been proposed for pyruvate carboxylase from chicken liver. The nonclassical feature of this mechanism is the proposal that each active site on the enzyme is composed of two separate and functionally distinct catalytic sites, i.e., a separate catalytic site exists for the reactant...