This note revisits the identification theorems of Brown (1983) and Roehrig (1988). We describe an error in the proofs of the main identification theorems in these papers, and provide an important counterexample to the theorems on the identification of the reduced form. Specifically, the reduced form of a nonseparable simultaneous equations model is not identified even under the assumptions of t...

This paper provides a selective survey of the panel macroeconometric techniques that focus on controlling the impact of “unobserved heterogeneity” across individuals and over time to obtain valid inference for “structures” that are common across individuals and over time. We consider issues of (i) estimating vector autoregressive models; (ii) testing of unit root or cointegration; (iii) statist...

Each year, the benchmarks for the SMT Competition are drawn from a known pool of benchmarks, the SMT Library. Competing solvers, rather than determine benchmark satisfiability from scratch, could thus cheat by simply looking up the correct answer for each benchmark in the library. To make this form of cheating more difficult, benchmarks in the SMT Competition are scrambled. We demonstrate that ...

Many progresses have been made on SLAM so far, and various visual SLAM approaches have proven their effectiveness in realistic scenarios. However, there are many other improvements that can be made to SLAM thanks to vision, essentially for the mapping and data association functionalities. This paper sketches some of these improvements, on the basis of recent work in the literature and of on-goi...

This paper uses Romanian survey data to investigate the determinants of individual life and financial satisfaction, with an emphasis on the role of public and private transfers received. A possible concern is that these transfers are unlikely to be exogenous to satisfaction. We use recursive simultaneous equations models to account both for this potential problem and for the fact that public tr...

This article presents an approach to SLAM that takes advantage of panoramic images. Landmarks are interest points detected and matched in the images and mapped according to a bearings-only SLAM approach. As they are acquired and processed, the panoramic images are also indexed and stored into a database. A database query procedure, independent of the robot and landmark position estimates, is ab...

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...

Circuit boards have become more intricate and material performance and reliability in the multilayer board manufacturing process is more critical than ever before. Prepregs must readily meet the new demands of today’s electronic product designs. The application of prepreg rheology in the lamination cycle can help characterize and design prepregs to allow enhanced performance under the increased...