ions. Following SLAM, abstractions are represented by Boolean Programs. Unlike SLAM, the semantics of these programs is given via a variant of Mixed Transition Systems (MixTS) [7, 11]. Compared to Modal and 3-valued TSs, MixTSs allow for (a) 1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: 16: 17: int p1,p2,p3,x,y; p1=p2=p3=x=y=5; if(p3<=0) return; if(y<0) {if(x>2){ if(y>10) {if(p2>0) ERROR;}...

Large, established firms acquiring small, technology-based firms must manage them so as to both exploit their capabilities and technologies in a coordinated way and foster their exploration capacity by preserving their autonomy. We suggest that acquirers can resolve this coordination-autonomy dilemma by recognizing that the effect of structural form on innovation outcomes depends on the develop...

This paper argues against the view that Japanese indirect passives are restricted with respect to the base verb that they take. Specifically, it argues that, despite its initial plausibility, the oft-proposed generalization that unaccusatives cannot appear in indirect passives is too strong and the alleged distribution is a tendency at most, albeit a strong one. After closely examining the rest...

This paper examines asymptotic expansions for estimation errors expressed explicitly as functions of underlying random variables. Taylor series expansions are obtained from which "rst and second moment approximations are derived. While the expansions are essentially equivalent to the traditional Nagar type, the terms are expressed in a form which enables moment approximations to be obtained in ...

In this paper various methods for the estimation of simultaneous equation models with lagged endogenow variables and List order s&fly correlated errors are discussed. The m.&ods dilfer in tbe number of instrumental variables used. The asymptotic and small sample properties of the various metlmds are compared, and the variables which must be included as insuuments to insure consistent estimates ...

This chapter explains the logic of structural econometric models and compares them to other types of econometric models. We provide a framework researchers can use to develop and evaluate structural econometric models. This framework pays particular attention to describing different sources of unobservables in structural models. We use our framework to evaluate several literatures in industrial...

This paper outlines a taxonomy of spatial econometric model specifications that incorporate spatial externalities in various ways. The point of departure is a reduced form in which local or global spillovers are expressed as spatial multipliers. From this, a range of familiar and less familiar specifications is derived for the structural form of a spatial regression.

In a recent paper, Hausman et al. (2012) propose a new estimator, HFUL (Heteroscedasticity robust Fuller), for the linear model with endogeneity. This estimator is consistent and asymptotically normally distributed in the many instruments and many weak instruments asymptotics. Moreover, this estimator has moments, just like the estimator by Fuller (1977). The purpose of this note is to discuss ...

In this paper, we introduce contextinformed features in a log-linear phrase-based SMT framework; these features enable us to exploit source similarity in addition to target similarity modeled by the language model. We present a memory-based classification framework that enables the estimation of these features while avoiding sparseness problems. We evaluate the performance of our approach on It...