Now showing items 1-7 of 7

    • Cooperation and Co-optation in Transnational Activism 

      Howe, Cymene (2010)
      Cooperation and co-optation, despite their shared prefixes, seem to suggest very different approaches to establishing coalitions, politics and sociality. Where cooperation suggests prioritizing collective knowledge - shared ...
    • Linear Temporal Logic and Linear Dynamic Logic on Finite Traces 

      De Giacomo, Giuseppe; Vardi, Moshe Y. (2013)
      In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at ...
    • The Networked Classroom 

      Lane, David M.; Atlas, Robert S. (1996)
    • Regular Real Analysis 

      Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. (2013)
      We initiate the study of regular real analysis, or the analysis of real functions that can be encoded by automata on infinite words. It is known that ω-automata can be used to represent {relations} between real ...
    • Remembering Henry: Refugeed Slaves in Civil War Texas 

      McDaniel, W. Caleb (2014)
      These are the prepared remarks for a talk at the 2014 OAH Annual Meeting in Atlanta, originally entitled "Refugeed Slaves and the Confederate Rehearsal for Reconstruction." The paper was part of a panel on New Perspectives ...
    • Simulating Transport and Adsorption of Organic Contaminants in 3D Porous Activated Carbon Block Media 

      Kim, Jun; Morgott, Amanda; Wu, Ziqi; Hopaluk, Liane; Miles, Michael; Stoner, William; Li, Qilin (2019)
      To evaluate the organic contaminants removal performance of hollow cylindrical block-shaped porous activated carbon media, COMSOL Multiphysics® simulation software with Chemical Engineering module was used. The study clearly ...
    • Solving Partial-Information Stochastic Parity Games 

      Nain, Sumit; Vardi, Moshe Y. (2013)
      We study one-sided partial-information 2-player concurrent stochastic games with parity objectives. In such a game, one of the players has only partial visibility of the state of the game, while the other player has complete ...