We consider a formation of vehicles moving on the two dimensional plane. The movement of each vehicle is described by a system of ordinary differential equations with inputs. The formation is maintained using autonomous controls that are designed to maintain fixed relative distances and orientations between vehicles. Moreover this formation should track a given trajectory on the plane. The vehi...

The paper examines the impact of selected structural adjustment policies on food production in Zambia. Using a four year panel of post-harvest data, a system of six crops, two variable inputs and three fixed inputs is estimated. The resulting supply responses suggest a negatively slopped supply curve for sorghum and millet and this has been attributed to the presence of credit constraints. Simu...

A multiparty computation (MPC) protocol allows a set of players to compute a function of their inputs while keeping the inputs private and at the same time securing the correctness of the output. Most MPC protocols assume that the adversary can corrupt up to a fixed fraction of the number of players. Hirt and Maurer initiated the study of MPC under more general corruption patterns, in which the...

Alpha-particles and cosmic rays cause bit flips in chips. Protection circuits ease the problem, but cost chip area and power, and so designers try hard to optimize them. This leads to bugs: an undetected fault can bring miscalculations, the checker that alarms about harmless faults incurs performance penalty. Such bugs are hard to find: circuit simulation with tests is inefficient since it enum...

Rail is a framework for building web applications that can precisely identify inappropriately disclosed data after a vulnerability is discovered. To do so, Rail introduces retroactive disclosure auditing: re-running the application with previous inputs once the vulnerability is fixed, to determine what data should have been disclosed. A key challenge for Rail is to reconcile state divergence be...

In this paper, the edge detection using fuzzy neural network is described. The input features are fuzzy sets and a learning algorithm employs fuzzified delta rule. To increase the efficiency during the training, the varied learning rate and the momentum is applied instead of fixed values. In addition, instead of pixel-based inputs, the texture-based inputs are fed into the fuzzy neural network ...

Supervised learning has exhibited great potential for speech separation in recent years. In this paper, we focus on separating target speech in reverberant conditions from binaural inputs using supervised learning. Specifically, deep neural network (DNN) is constructed to map from both spectral and spatial features to a training target. For spectral features extraction, we first convert binaura...

A new fuzzy bang–bang relay controller (FBBRC) is introduced in this paper. The new controller is inherently optimal due to its bang–bang property. The controller has fuzzy decision-making capability in its inputs and have two fixed levels bang–bang output. Consequently, the tuning of FBBRC is restricted to input parameters only in comparison to standard fuzzy logic controller (FLC) where the o...

In fisheries, capacity analysis has largely been limited to measuring physical capacity, defined as the maximum amount of output that can be produced per unit of time, given existing plant and equipment and unrestricted availability of variable inputs. An economic measure of capacity can be defined as the maximum revenue attainable for the given fixed inputs, using relevant outputs and output p...

Opaque composite actors with monolithic fire functions can result in inefficient executions of Synchronous Reactive (SR) models because, although the causality interfaces of the composite actors may detect that there are no causality loops, the outside directors have no way of firing internal actors that their inputs are known, as a result SR models are executed several times until fixed points...