Now showing items 31-37 of 37

    • 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 ...
    • Relentful Strategic Reasoning in 1 Alternating-Time Temporal Logic 

      Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y. (2014)
      Temporal logics are a well investigated formalism for the specification, verification, and synthesis of reactive systems. Within this family, Alternating-Time Temporal Logic (ATL , for short) has been introduced as a ...
    • SIMS: A Hybrid Method for Rapid Conformational Analysis 

      Gipson, Bryant; Moll, Mark; Kavraki, Lydia E. (2013-07-23)
      Proteins are at the root of many biological functions, often performing complex tasks as the result of large changes in their structure. Describing the exact details of these conformational changes, however, remains a ...
    • 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 ...
    • Towards accurate characterization of clonal heterogeneity based on structural variation 

      Fan, Xian; Zhou, Wanding; Chong, Zechen; Nakhleh, Luay; Chen, Ken (2014)
      Recent advances in deep digital sequencing have unveiled an unprecedented degree of clonal heterogeneity within a single tumor DNA sample. Resolving such heterogeneity depends on accurate estimation of fractions of alleles ...
    • Transaction local aliasing in storage class memory 

      Giles, Ellis; Doshi, Kshitij; Varman, Peter (2015)
      This paper describes a lightweight software library to solve the challenges [6], [3], [1], [5], [2] of programming storage class memory (SCM). It provides primitives to demarcate failure-atomic code regions. SCM loads and ...
    • Understanding the challenges of protein flexibility in drug design 

      Antunes, Dinler A.; Devaurs, Didier; Kavraki, Lydia E. (2015)
      Introduction: Protein–ligand interactions play key roles in various metabolic pathways, and the proteins involved in these interactions represent major targets for drug discovery. Molecular docking is widely used to predict ...