ion • Explanation or documentation of the implementation or abstraction • The analysis of the abstraction or model • The application of the abstraction Design patterns typically include several additional attributes, including characteristic task features, rubrics, and variable task features, attributes designed to help the designer further refine the assessment tasks, including essential featu...

The problem of provable optimal synthesis of boolean functions for a given technology is still unsolved. In this paper we present a new approach to the synthesis of combinational circuits and the mapping of standard cells with arbitrary number of inputs. Our method is based on the provable optimal synthesis of the fanoutfree regions of a circuit, represented as Normal AND OR Trees. This represe...

Skilled investors make money off uninformed investors. By acting as intermediaries, they provide a hedge to the uninformed investors themselves. I present a model in which households have imperfect information about expected returns. Non-traded income shocks lead them to rebalance, sometimes at the wrong time. Active funds hedge this risk by trading on superior information. In equilibrium, they...

This paper is concerned with an optimization problem associated with a rebalancing schedule of a large scale fund subject to nonconvex transaction cost. We will formulate this problem as a 0-1 mixed integer programming problem under linear constraints using absolute deviation as the measure of risk. This problem can be solved by an integer programming software if the size of the universe is sma...