Development of silicon nitride and cermet resistors for use in a binary counter, metal insulator field effect transistor circuit Final report, 1 Dec. 1966 - 31 Mar. 1968

Silicon nitride and cermet resistors for binary counter metal insulator field effect transistor circui

CFA2: a Context-Free Approach to Control-Flow Analysis

In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. Call/return mismatch introduces precision-degrading spurious control-flow paths and increases the analysis time. We describe CFA2, the first flow analysis with precise call/return matching in the presence of higher-order functions and tail calls. We formulate CFA2 as an abstract interpretation of programs in continuation-passing style and describe a sound and complete summarization algorithm for our abstract semantics. A preliminary evaluation shows that CFA2 gives more accurate data-flow information than 0CFA and 1CFA.Comment: LMCS 7 (2:3) 201

HANSON’S AUTOMATED MARKET MAKER

From Hanson’s “market scoring rule,” we derive all the necessary formulae to implement a corresponding automated market maker for a prediction market.  The market maker has many desirable qualities and always stands ready to trade, thus providing liquidity to markets.  The formulae cover all transactions for buying and selling market contracts.  In addition, we address practical concerns like how to correctly treat rounding errors and how to prevent errors that allow traders to cheat the market, and provide a practical numerical example.  We have used Hanson's automated market maker to run many markets at Microsoft

Gibberellin A1 Metabolism Contributes to the Control of Photoperiod-Mediated Tuberization in Potato

Some potato species require a short-day (SD) photoperiod for tuberization, a process that is negatively affected by gibberellins (GAs). Here we report the isolation of StGA3ox2, a gene encoding a GA 3-oxidase, whose expression is increased in the aerial parts and is repressed in the stolons after transfer of photoperiod-dependent potato plants to SD conditions. Over-expression of StGA3ox2 under control of constitutive or leaf-specific promoters results in taller plants which, in contrast to StGA20ox1 over-expressers previously reported, tuberize earlier under SD conditions than the controls. By contrast, StGA3ox2 tuber-specific over-expression results in non-elongated plants with slightly delayed tuber induction. Together, our experiments support that StGA3ox2 expression and gibberellin metabolism significantly contribute to the tuberization time in strictly photoperiod-dependent potato plants