The recent Programming By Example (PBE) techniques such as FlashFill have shown great promise for enabling end-users to perform data transformation tasks using inputoutput examples. Since examples are inherently an underspecification, there are typically a large number of hypotheses conforming to the examples, and the PBE techniques suffer from scalability issues for finding the intended progra...

Recent work has shown that the quality of work produced in a crowdsourcing working session can be influenced by the presence of performancecontingent financial incentives, such as bonuses for exceptional performance, in the session. We take an algorithmic approach to decide when to offer bonuses in a working session to improve the overall utility that a requester derives from the session. Speci...

A strategy is proposed to model the complex industrial systems using linear time-varying system (LTV S). The proposed methodology is independent of model structure and the model may take any classic linear structure such as finite impulse response, inputoutput relation structures etc. To take into account the error between system and model due to model order reduction, variation of system behav...

In the paper, we propose a predictive control scheme using a neural network-based prediction model for nonlinear processes. To identify the system dynamics, we approximate the nonlinear function with an affine function of some of its arguments and construct a special type of prediction model using three-layered feedforward neural networks. Using some available inputoutput data pairs of the plan...

This paper presents using bit error rate (BER) measurements to evaluate operation correctness of traffic (inputoutput) interfaces in modem of very small aperture terminal (VSAT). Such functional tests are carried out, for example, when purchasing communication equipment for armed forces. Generally, available standards do not describe measurement procedures in this area. In this case, accredited...

In this paper, two feedback linearizing control laws for the stabilization of the Inertia Wheel Pendulum are derived: a full-state linearizing controller, generalizing the existing results in literature, with friction ignored in the description and an inputoutput linearizing control law, based on a physically motivated definition of the system output. Experiments are carried out on a laboratory...

A model, called the `SGH' model, and its learning method are proposed. While simple recurrent networks (SRN) and nite state transducers (FST) have similar structures, their learning are quite di erent, so that SRNs can not acquire suitable state-transitions through conventional learning. The proposed model and method construct an SRN that has suitable state-transitions for a given task. In orde...

This study assesses the macroeconomic effects of minimum-lot-size requirements and building permit caps that have been implemented by some of the suburban municipalities in the Chicago metropolitan area. This is accomplished by using the spatial regional econometric inputoutput framework, which overcomes the shortcomings of traditional top-down approach to vertical regional economy – land use i...

A dynamical systems based model of computation is studied. We demonstrate the computational capability of a class of dynamical systems called switching map systems. There exists a switching map system with two types of baker's map to emulate any Turing machines. The baker's maps are corresponding to the elementary operations of Turing machines such as left/right head-moving and read/write symbo...

Our contribution is twofold. Firstly, for a system of uncertain linear equations where the uncertainties are column-wise and reside in general convex sets, we show that the intersection of the set of possible solutions and any orthant is convex. We derive a convex representation of this intersection. Secondly, to obtain centered solutions for systems of uncertain linear equations, we compute th...