The purpose of this study is to examine the influence of overseas R&D on firm productivity. In particular, we further consider the moderating effect of internal technological capability. To provide more empirical evidence, this analysis takes advantage of a longitudinal dataset covering the 2009-2013 period and the system-GMM approach is employed in the empirical analysis to control for the pro...

Estimating the error of classification and regression models is one of the most crucial tasks in machine learning. While the global error is capable to measure the quality of a model, local error estimates are even more interesting: on the one hand they contribute to better understanding of prediction models (where does and where does not work the model well), on the other hand they may provide...

We present an algebraic Bethe ansatz for certain submanifolds of the bilayer vertex models proposed by Shiroishi and Wadati as coupled asymmetric six-vertex free-fermion models. A peculiar feature of our formulation is the presence of a diagonal monodromy matrix element that does not generate unwanted terms. The model contains two free-parameters entering into the Bethe ansatz equations as a pu...

Propositional logic formulas containing implications can suffer from antecedent failure, in which the formula is true trivially because the pre-condition of the implication is not satisfiable. In other words, the post-condition of the implication does not affect the truth value of the formula. We call this a vacuous pass, and extend the definition of vacuity to cover other kinds of trivial pass...

In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account of the coalgebraic structure of state. Axiomatically, one needs a countable Lawvere theory L, a comodel C, typically the final one, and a model M , typically free; one then seeks a tensor C ⊗ M of the comodel with the...

—Gaussian Mixture Models (GMMs) are the most popular techniques in background modeling but present some limitations when some dynamic changes occur like camera jitter, illumination changes, movement in the background. Furthermore, the GMM are initialized using a training sequence which may be noisy and/or insufficient to model correctly the background. All these critical situations generate fal...

We construct a strongly minimal (and thus uncountably categorical) but not totally categorical theory in a nite language of binary predicates whose only constructive (or recursive) model is the prime model. 0. Introduction. E ective (or recursive) model theory studies to which degree constructions in model theory and algebra can be made e ective. A presentation of a countable model M is an isom...

By RCA0, we denote the system of second order arithmetic based on recursive comprehension axioms and Σ1 induction. WKL0 is defined to be RCA0 plus weak König’s lemma: every infinite tree of sequences of 0’s and 1’s has an infinite path. In this paper, we first show that for any countable model M of RCA0, there exists a countable model M ′ of WKL0 whose first order part is the same as that of M ...