Now showing items 1-20 of 383

    • A Characterization of Compound Documents on the Web 

      Lara, Eyal de; Wallach, Dan S.; Zwaenepoel, Willy (1999-11-29)
      Recent developments in office productivity suites make it easier for users to publish rich {\em compound documents\/} on the Web. Compound documents appear as a single unit of information but may contain data generated by different applications, such as text, images, and spreadsheets. Given the popularity enjoyed by these office suites and the ...
    • A Chromosome-Length Reference Genome for the Endangered Pacific Pocket Mouse Reveals Recent Inbreeding in a Historically Large Population 

      Wilder, Aryn P; Dudchenko, Olga; Curry, Caitlin; Korody, Marisa; Turbek, Sheela P; (2022)
      High-quality reference genomes are fundamental tools for understanding population history, and can provide estimates of genetic and demographic parameters relevant to the conservation of biodiversity. The federally endangered Pacific pocket mouse (PPM), which persists in three small, isolated populations in southern California, is a promising model ...
    • A Comparison of Software Architectures for E-business Applications 

      Cecchet, Emmanuel; Chanda, Anupam; Elnikety, Sameh; Marguerite, Julie; Zwaenepoel, Willy (2002-02-20)
      As dynamic content has become more prevalent on the Web, a number of standard mechanisms have evolved to generate such dynamic content. We study three specific mechanisms in common use: PHP, Java servlets, and Enterprise Java Beans (EJB). PHP and Java servlets require a direct encoding of the database queries in the application logic. EJB provides a ...
    • A CRISPR toolbox for generating intersectional genetic mouse models for functional, molecular, and anatomical circuit mapping 

      Lusk, Savannah J.; McKinney, Andrew; Hunt, Patrick J.; Fahey, Paul G.; Patel, Jay; (2022)
      The functional understanding of genetic interaction networks and cellular mechanisms governing health and disease requires the dissection, and multifaceted study, of discrete cell subtypes in developing and adult animal models. Recombinase-driven expression of transgenic effector alleles represents a significant and powerful approach to delineate ...
    • A Deterministic Model for Parallel Program Performance Evaluation 

      Adve, Vikram S.; Vernon, Mary K. (1998-12-03)
      Analytical models for parallel programs have been successful at providing simple qualitative insights and bounds on scalability, but have been less successful in practice for predicting detailed, quantitative information about program performance. We develop a conceptually simple model that provides detailed performance prediction for parallel programs ...
    • A divide-and-conquer method for scalable phylogenetic network inference from multilocus data 

      Zhu, Jiafan; Liu, Xinhao; Ogilvie, Huw A.; Nakhleh, Luay K. (2019)
      Motivation: Reticulate evolutionary histories, such as those arising in the presence of hybridization, are best modeled as phylogenetic networks. Recently developed methods allow for statistical inference of phylogenetic networks while also accounting for other processes, such as incomplete lineage sorting. However, these methods can only handle a ...
    • A Graphical Multistage Calculus 

      Ellner, Stephan; Taha, Walid (2005-07-22)
      While visual programming languages continue to gain popularity in domains ranging from scientific computing to real-time systems, the wealth of abstraction mechanisms, reasoning principles, and type systems developed over the last thirty years is currently available mainly for textual languages. With the goal of understanding how results in the textual ...
    • A Hierarchical Region-Based Static Single Assignment Form 

      Sarkar, Vivek; Zhao, Jisheng (2009-12-14)
      Modern compilation systems face the challenge of incrementally reanalyzing a program’s intermediate representation each time a code transformation is performed. Current approaches typically either re-analyze the entire program after an individual transformation or limit the analysis information that is available after a transformation. To address ...
    • A Linear Transform Scheme for Combining Weights into Scores 

      Sung, Sam (1998-10-09)
      Ranking has been widely used in many applications. A ranking scheme usually employs a "scoring rule" that assigns a final numerical value to each and every object to be ranked. A scoring rule normally involves the use of one or many scores, and it gives more weight to the scores that is more important. In this paper, we give a scheme that can combine ...
    • A MAC protocol for Multi Frequency Physical Layer 

      Kumar, Rajnish; PalChaudhuri, Santashil; Saha, Amit (2003-01-23)
      Existing MAC protocols for wireless LAN systems assume that a particular node can operate on only one frequency and that most/all of the nodes operate on the same frequency. We propose a MAC protocol for use in an ad hoc network of mobile nodes using a wireless LAN system that defines multiple independent frequency channels. Each node can switch ...
    • A maximum pseudo-likelihood approach for phylogenetic networks 

      Yu, Yun; Nakhleh, Luay (2015)
      Abstract Background Several phylogenomic analyses have recently demonstrated the need to account simultaneously for incomplete lineage sorting (ILS) and hybridization when inferring a species phylogeny. A maximum likelihood approach was introduced recently for inferring species phylogenies in the ...
    • A New Approach to Routing With Dynamic Metrics 

      Chen, Johnny; Druschel, Peter; Subramanian, Devika (1998-11-18)
      We present a new routing algorithm to compute paths within a network using dynamic link metrics. Dynamic link metrics are cost metrics that depend on a link's dynamic characteristics, e.g., the congestion on the link. Our algorithm is destination-initiated: the destination initiates a global path computation to itself using dynamic link metrics. All ...
    • A Polynomial Blossom for the Askey–Wilson Operator 

      Simeonov, Plamen; Goldman, Ron (2018)
      We introduce a blossoming procedure for polynomials related to the Askey–Wilson operator. This new blossom is symmetric, multiaffine, and reduces to the complex representation of the polynomial on a certain diagonal. This Askey–Wilson blossom can be used to find the Askey–Wilson derivative of a polynomial of any order. We also introduce a corresponding ...
    • A Practical Soft Type System for Scheme 

      Cartwright, Robert; Wright, Andrew (1993-12-06)
      Soft type systems provide the benefits of static type checking for dynamically typed languages without rejecting untypable programs. A soft type checker infers types for variables and expressions and inserts explicit run-time checks to transform untypable programs to typable form. We describe a practical soft type system for R4RS Scheme. Our type ...
    • A Related-Key Cryptanalysis of RC4 

      Grosul, Alexander; Wallach, Dan S. (2000-06-08)
      In this paper we present analysis of the RC4 stream cipher and show that for each 2048-bit key there exists a family of related keys, differing in one of the byte positions. The keystreams generated by RC4 for a key and its related keys are substantially similar in the initial hundred bytes before diverging. RC4 is most commonly used with a 128-bit ...
    • A Resource Management Framework for Predictable Quality of Service in Web Servers 

      Aron, Mohit; Druschel, Peter; Iyer, Sitaram (2003-07-07)
      This paper presents a resource management framework for providing predictable quality of service (QoS) in Web servers. The framework allows Web server and proxy operators to ensure a probabilistic minimal QoS level, expressed as an average request rate, for a certain class of requests (called a service), irrespective of the load imposed by other ...
    • A review of parameters and heuristics for guiding metabolic pathfinding 

      Kim, Sarah M; Peña, Matthew I; Moll, Mark; Bennett, George N; Kavraki, Lydia E (2017-09-15)
      Abstract Recent developments in metabolic engineering have led to the successful biosynthesis of valuable products, such as the precursor of the antimalarial compound, artemisinin, and opioid precursor, thebaine. Synthesizing these traditionally plant-derived compounds in genetically modified yeast cells introduces the possibility of ...
    • A Sample-Driven Call Stack Profiler 

      Fowler, Rob; Froyd, Nathan; Mellor-Crummey, John (2004-07-15)
      Call graph profiling reports measurements of resource utilization along with information about the calling context in which the resources were consumed. We present the design of a novel profiler that measures resource utilization and its associated calling context using a stack sampling technique. Our scheme has a novel combination of features and ...
    • A Security Analysis of My.MP3.com and the Beam-it Protocol 

      Stubblefield, Adam; Wallach, Dan S. (2000-03-08)
      My.MP3.com is a service that streams audio in the MP3 format to its users. In order to resolve copyright concerns, the service first requires that a user prove he or she owns the right to listen to a particular CD. The mechanism used for the verification is a program called Beam-it which reads a random subset of an audio CD and interacts with the ...
    • A Set of Convolution Identities Relating the Blocks of Two Dixon Resultant Matrices 

      Chionh, Eng-Wee; Goldman, Ronald; Zhang, Ming (1999-06-16)
      Resultants for bivariate polynomials are often represented by the determinants of very big matrices. Properly grouping the entries of these matrices into blocks is a very effective tool for studying the properties of these resultants. Here we derive a set of convolution identities relating the blocks of two Dixon bivariate resultant representations.