Learn More
Detecting the dominant normal directions to the decision surface is an established technique for feature selection in high dimensional classification problems. Several approaches have been proposed to render this strategy more amenable to practice, but they still show a number of important shortcomings from a pragmatic point of view. This paper introduces a(More)
c 2006 Félix Hernández-Campos ALL RIGHTS RESERVED ii ABSTRACT F ´ ELIX HERN´ANDEZ-CAMPOS: Generation and Validation of Empirically-Derived TCP Application Workloads. (Under the direction of Kevin Jeffay) This dissertation proposes and evaluates a new approach for generating realistic traffic in networking experiments. The main problem solved by our approach(More)
  • Jan Prins, Jun Huan Bill Pugh, Chau-Wen Tseng P. Sadayappan
  • 2003
We have developed an unbalanced tree search problem to evaluate the ease of programming a parallel application requiring dynamic load balancing and to benchmark the performance of such an application on a variety of parallel systems. Here we describe the benchmark, and report on its implementation using Unified Parallel C (UPC). We then examine the(More)
JAMES WHEELIS RIELY: Applications of Abstraction for Concurrent Programs (Under the direction of Jan Prins and Rance Cleaveland) We study the use of abstraction to reason operationally about concurrent programs. Our thesis is that abstraction can profitably be combined with operational semantics to produce new proof techniques. We study two very different(More)
Acknowledgements We gratefully acknowledge the help of Tim Busse (MasPar Corporation) who ran our codes on 4K and 16K PE MP-2s owned by MasPar Corporation. We also acknowledge the help of Jan Prins (Univ. of North Carolina) for providing MasPar source code for bitonic sorting algorithms. We also thank the University of New Mexico for access to SPEC(More)
We describe a method for protein family identification using a graph representation of proteins. The method incorporates a novel fast subgraph isomorphism method based on a graph index to query a new structure for occurrences of family fingerprints and to assign it to a protein family with a confidence value. This method can provide an independent(More)
This dissertation addresses the problem of incorporating into lazy higher-order functional programming the relational programming capability of Horn logic. The language design is based on set abstraction, a feature whose denotational semantics has until now not been rigorously defined. A novel approach is taken in constructing an operational semantics(More)
Ru(II)-arene complexes are promising alternatives for the clinically applied platinum-based chemotherapeutics. One approach is the attachment of bioactive molecules to organometallic moieties, leading to compounds with potential multi-targeted character which are able to interact with different biological targets [1,2]. [1,4]-Naphthoquinones are known for(More)
  • 1