Founded on the recognition that the ideas and technology of computing and information science are relevant to every academic discipline, CIS capitalizes on interdisciplinary collaboration to accelerate knowledge creation and discovery. At the center of Cornell's Information Campus, Computing and Information Science (CIS) bridges information and innovation.

For more information, go to the CIS Home Page.

Collections in this community

Recent Submissions

  • Hyperproperties 

    Clarkson, Michael R.; Schneider, Fred B. (2008-01-27)
    Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ...
  • The Boehm-Jacopini Theorem is False, Propositionally 

    Kozen, Dexter; Tseng, Wei-Lung (Dustin) (2008-01-23)
    The Boehm-Jacopini theorem (Boehm and Jacopini, 1966) is a classical result of program schematology. It states that any deterministic flowchart program is equivalent to a while program. The theorem is usually formulated ...
  • QuickSilver Scalable Multicast 

    Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny (2007-12-24)
    Our work is motivated by a platform we are building to support a new style of distributed programming, in which users drag and drop live components into live documents, often without needing to write new code. The capability ...
  • Scalable Winner Determination in Advertising Auctions 

    Martin, David; Gehrke, Johannes; Halpern, Joseph (2007-11-15)
    Internet search results are a growing and highly profitable advertising platform. Search providers auction advertising slots to advertisers on their search result pages. Due to the high volume of searches and the users' ...
  • Indefinite Summation and the Kronecker Delta 

    Kozen, Dexter; Timme, Marc (2007-10-18)
    Indefinite summation, together with a generalized version of the Kronecker delta, provide a calculus for reasoning about various polynomial functions that arise in combinatorics, such as the Tutte, chromatic, flow, and ...
  • Videos of Trajectory Design Based on Motion Primitives: Direct Design and Learning 

    Li, Keyong; D'Andrea, Raffaello (2007-10-07)
    The enclosed videos demonstrate an approach of integrating the optimality of two layers of autonomous vehicle trajectory design. We assume that some optimal control laws are available as a set of motion primitives (the ...
  • A Priority-Based Decision Model Demonstrated with Two-On-Two Robot Soccer 

    Li, Keyong; Purwin, Oliver; D'Andrea, Raffaello (AAAI-07, Video Competition, 2007-07)
    These videos are archived here to be referenced by current and future publications of the authors. What they demonstrate is a framework for mission-oriented robot control that seems to suggest a promising direction for ...
  • Visuomotor Optimality and its Utility in Parametrization of Response 

    Sherback, Michael; D'Andrea, Raffaello (Cornell University, 2007-08-30)
    We present a method of characterizing visuomotor response by inferring subject-specific physiologically meaningful parameters within the framework of optimal control theory. The characterization of visuomotor response is ...
  • A Generalized Frequency Weighting Framework for LQG Compensator Design 

    Sherback, Michael (Cornell University, 2007-08-30)
    This paper specifies methods enabling specific types of frequency domain loopshaping in the LQG framework. It gives the augmented state and observation equations for a general system with colored sensor or motor noise, ...
  • High-Speed Function Approximation 

    Panda, Biswanath; Riedewald, Mirek; Gehrke, Johannes; Pope, Stephen (Cornell University, 2007-08-14)
    Learning methods for predictive models have traditionally focused on prediction quality and model building time, while prediction time(the time taken to make a prediction) is often ignored. However, there is an increasing ...

View more


RSS Feeds