Now showing items 16-35 of 48

    • An HMM-Based Comparative Genomic Framework for Detecting Introgression in Eukaryotes 

      Liu, Kevin J.; Dai, Jingxuan; Truong, Kathy; Song, Ying; Kohn, Michael H.; Nakhleh, Luay (2014)
      One outcome of interspecific hybridization and subsequent effects of evolutionary forces is introgression, which is the integration of genetic material from one species into the genome of an individual in another species. ...
    • How To Build an Undervoting Machine: Lessons from an Alternative Ballot Design 

      Greene, Kristen K.; Byrne, Michael D.; Goggin, Stephen N. (2013-08)
      Despite the importance of usability in ensuring election integrity, it remains an under-studied aspect of voting systems. Voting computers (a.k.a. DREs) offer the opportunity to present ballots to voters in novel ways, yet ...
    • In situ imaging of the conducting filament in a silicon oxide resistive switch 

      Yao, Jun; Zhong, Lin; Natelson, Douglas; Tour, James M. (2012)
      The nature of the conducting filaments in many resistive switching systems has been elusive. Throughᅠin situᅠtransmission electron microscopy, we image the real-time formation and evolution of the filament in a silicon ...
    • Inference of reticulate evolutionary histories by maximum likelihood: the performance of information criteria 

      Park, Hyun Jung; Nakhleh, Luay (2012)
      Background: Maximum likelihood has been widely used for over three decades to infer phylogenetic trees from molecular data. When reticulate evolutionary events occur, several genomic regions may have conflicting evolutionary ...
    • Inferring Atmospheric Particulate Matter Concentrations from Chinese Social Media Data 

      Tao, Zhu; Kokas, Aynne; Zhang, Rui; Cohan, Daniel S.; Wallach, Dan (2016)
      Although studies have increasingly linked air pollution to specific health outcomes, less well understood is how public perceptions of air quality respond to changing pollutant levels. The growing availability of air ...
    • Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments 

      Maly, Matthew R.; Lahijanian, Morteza; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y. (2013)
      This paper considers the problem of motion planning for a hybrid robotic system with complex and nonlinear dynamics in a partially unknown environment given a temporal logic specification. We employ a multi-layered synergistic ...
    • 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 ...
    • Mapping Network Motif Tunability and Robustness in the Design of Synthetic Signaling Circuits 

      Iadevaia, Sergio; Nakhleh, Luay K.; Azencott, Robert; Ram, Prahlad T. (2014)
      Cellular networks are highly dynamic in their function, yet evolutionarily conserved in their core network motifs or topologies. Understanding functional tunability and robustness of network motifs to small perturbations ...
    • The Mason Test: A Defense Against Sybil Attacks in Wireless Networks Without Trusted Authorities 

      Liu, Yue; Bild, David R.; Dick, Robert P.; Mao, Z. Morley; Wallach, Dan S. (2015)
      Wireless networks are vulnerable to Sybil attacks, in which a malicious node poses as many identities in order to gain disproportionate influence. Many defenses based on spatial variability of wireless channels exist, but ...
    • Mechanism of Graphene Oxide Formation 

      Dimiev, Ayrat M.; Tour, James M. (2014)
      Despite intensive research, the mechanism of graphene oxide (GO) formation remains unclear. The role of interfacial interactions between solid graphite and the liquid reaction medium, and transport of the oxidizing agent ...
    • Meniscus-Mask Lithography for Fabrication of Narrow Nanowires 

      Abramova, Vera; Slesarev, Alexander S.; Tour, James M. (2015)
      We demonstrate the efficiency of meniscus-mask lithography (MML) for fabrication of precisely positioned nanowires in a variety of materials. Si, SiO2, Au, Cr, W, Ti, TiO2, and Al nanowires are fabricated and characterized. ...
    • Modeling Integrated Cellular Machinery Using Hybrid Petri-Boolean Networks 

      Berestovsky, Natalie; Zhou, Wanding; Nagrath, Deepak; Nakhleh, Luay (2013)
      The behavior and phenotypic changes of cells are governed by a cellular circuitry that represents a set of biochemical reactions. Based on biological functions, this circuitry is divided into three types of networks, each ...
    • Monovar: single-nucleotide variant detection in single cells 

      Zafar, Hamim; Wang, Yong; Nakhleh, Luay; Navin, Nicholas; Chen, Ken (2016)
      Current variant callers are not suitable for single-cell DNA sequencing, as they do not account for allelic dropout, false-positive errors and coverage nonuniformity. We developed Monovar (https://bitbucket.org/hamimzafa ...
    • Mutations in Global Regulators Lead to Metabolic Selection during Adaptation to Complex Environments 

      Saxer, Gerda; Krepps, Michael D.; Merkley, Eric D.; Ansong, Charles; Deatherage Kaiser, Brooke L.; Valovska, Marie-Thérèse; Ristic, Nikola; Yeh, Ping T.; Prakash, Vittal P.; Leiser, Owen P.; Nakhleh, Luay; Gibbons, Henry S.; Kreuzer, Helen W.; Shamoo, You (2014)
      Adaptation to ecologically complex environments can provide insights into the evolutionary dynamics and functional constraints encountered by organisms during natural selection. Adaptation to a new environment with abundant ...
    • ncDNA and drift drive binding site accumulation 

      Ruths, Troy; Nakhleh, Luay (2012)
      Background: The amount of transcription factor binding sites (TFBS) in an organism's genome positively correlates with the complexity of the regulatory network of the organism. However, the manner by which TFBS arise ...
    • Neutral forces acting on intragenomic variability shape the Escherichia coli regulatory network topology 

      Ruths, Troy; Nakhleh, Luay (2013-04)
      Cis-regulatory networks (CRNs) play a central role in cellular decision making. Like every other biological system, CRNs undergo evolution, which shapes their properties by a combination of adaptive and nonadaptive ...
    • Non-intrusive Persistence with a Backend NVM Controller 

      Pu, Libei; Doshi, Kshitij; Giles, Ellis; Varman, Peter (2015)
      By providing instruction-grained access to vast amounts of persistent data with ordinary loads and stores, byte-addressable storage class memory (SCM) has the potential to revolutionize system architecture. We describe a ...
    • On computing minimal independent support and its applications to sampling and counting 

      Ivrii, Alexander; Malik, Sharad; Meel, Kuldeep S.; Vardi, Moshe Y. (2015)
      Constrained sampling and counting are two fundamental problems arising in domains ranging from artificial intelligence and security, to hardware and software testing. Recent approaches to approximate solutions for these ...
    • Once and For All 

      Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y. (2012)
      It has long been known that past-time operators add no expressive power to linear temporal logics. In this paper, we consider the extension of branching temporal logics with past-time operators. Two possible views regarding ...
    • Parsimonious Inference of Hybridization in the Presence of Incomplete Lineage Sorting 

      Yu, Yun; Barnett, R. Matthew; Nakhleh, Luay (2013)
      Hybridization plays an important evolutionary role in several groups of organisms. A phylogenetic approach to detect hybridization entails sequencing multiple loci across the genomes of a group of species of interest, ...