Cornell's Faculty of Computing and Information Science (CIS) engages with every college at Cornell and shares the information revolution with every Cornell student to invent the fields of tomorrow.

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, CIS bridges information and innovation.

For more information, visit the CIS Home Page.

Sub-communities within this community

Collections in this community

Recent Submissions

  • Tamperproof Provenance-Aware Storage for Mobile Ad Hoc Networks 

    Adams, Danny; Rubambiza, Gloire; Fiori, Pablo; Wang, Xinwen; Weatherspoon, Hakim; Van Renesse, Robbert (2020-12-08)
    This paper presents a middleware for providing a mobile ad hoc network with tamperproof provenance-aware storage, even when some fraction of devices can be Byzantine. Important considerations include fast propagation of ...
  • 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, ...

View more


RSS Feeds