Now showing items 42-61 of 297

    • Bayesian Inference of Reticulate Phylogenies under the Multispecies Network Coalescent 

      Wen, Dingqiao; Yu, Yun; Nakhleh, Luay (2016)
      The multispecies coalescent (MSC) is a statistical framework that models how gene genealogies grow within the branches of a species tree. The field of computational phylogenetics has witnessed an explosion in the development ...
    • Behavioral Interface Contracts for Java 

      Felleisen, Matthias; Findler, Robert Bruce (2005-08-25)
      Programs should consist of off-the-shelf, interchangeable, black-box components that are produced by a network of independent software companies. These components should not only come with type signatures but also with ...
    • Behavioral Software Contracts 

      Findler, Robert Bruce (2002-04-01)
      To sustain a market for software components, component producers and consumers must agree on contracts. These contracts must specify each party’s obligations. To ensure that both sides meet their obligations, they must ...
    • Binding Modes of Peptidomimetics Designed to Inhibit STAT3 

      Dhanik, Ankur; McMurray, John S.; Kavraki, Lydia E. (2012)
      STAT3 is a transcription factor that has been found to be constitutively activated in a number of human cancers. Dimerization of STAT3 via its SH2 domain and the subsequent translocation of the dimer to the nucleus leads ...
    • Bisimulation Minimization in an Automata-Theoretic Verification Framework 

      Fisler, Kathi; Vardi, Moshe Y. (1998-10-27)
      Bisimulation is a seemingly attractive state-space minimization technique because it can be computed automatically and yields the smallest model preserving all mu -calculus formulas. It is considered impractical for symbolic ...
    • BMS-CnC: Bounded Memory Scheduling of Dynamic Task Graphs 

      Budimlić, Zoran; Sarkar, Vivek; Sbîrlea, Dragoș (2013-10-24)
      It is now widely recognized that increased levels of parallelism is a necessary condition for improved application performance on multicore computers. However, as the number of cores increases, the memory-per-core ratio ...
    • Boosting forward-time population genetic simulators through genotype compression 

      Ruths, Troy; Nakhleh, Luay (2013)
      Background: Forward-time population genetic simulations play a central role in deriving and testing evolutionary hypotheses. Such simulations may be data-intensive, depending on the settings to the various param- eters ...
    • Bottleneck Characterization of Dynamic Web Site Benchmarks 

      Amza, Cristiana; Cecchet, Emmanuel; Chanda, Anupam; Cox, Alan; Elnikety, Sameh; Gil, Romer; Marguerite, Julie; Rajamani, Karthick; Zwaenepoel, Willy (2002-02)
      The absence of benchmarks for Web sites with dynamic content hasbeen a major impediment to research in this area. We describe three benchmarks for evaluating the performance of Web sites with dynamic content. The benchmarks ...
    • Building a Control-flow Graph from Scheduled Assembly Code 

      Cooper, Keith D.; Harvey, Timothy J.; Waterman, Todd (2002-02-01)
      A variety of applications have arisen where it is worthwhile to apply code optimizations directly to the machine code (or assembly code) produced by a compiler. These include link-time whole-program analysis and optimization, ...
    • Building Adaptive Compilers 

      Almagor, L.; Cooper, Keith D.; Grosul, Alexander; Harvey, Timothy J.; Reeves, Steven W.; Subramanian, Devika; Torczon, Linda; Waterman, Todd (2005-01-29)
      Traditional compilers treat all programs equally -that is, they apply the same set of techniques to every program that they compile. Compilers that adapt their behavior to fit specific input programs can produce better ...
    • Building Incentives into Tor 

      Dingledine, Roger; Ngan, Tsuen-Wan "Johnny"; Wallach, Dan S. (2008-11-12)
      Distributed anonymous communication networks like Tor depend on volunteers to donate their resources. However, the efforts of Tor volunteers have not grown as fast as the demands on the Tor network. We explore techniques ...
    • C++.T Formalization in Isar 

      Siek, Jeremy G.; Taha, Walid (2005-12-16)
      A formal account of C++ templates, including the compile-time and run-time semantics. The main result is a proof of type safety. The proof is written in the Isar proof language and can be mechanically verified using the ...
    • Cache Coherence Using Local Knowledge 

      Darnell, Ervan (1995-04-01)
      Hiding memory latency is critical in modern machines. Typically, machines have used cache and addressed the ensuing cache coherence problem with hardware or VM-based strategies that rely on global inter-cache communicati ...
    • Cache Management in Scalable Network Servers 

      Pai, Vivek (2000-07-13)
      For many users, the perceived speed of computing is increasingly dependent on the performance of network server systems, underscoring the need for high performance servers. Cost-effective scalable network servers can be ...
    • Circular polarization dependent cyclotron resonance in large-area graphene in ultrahigh magnetic fields 

      Booshehri, L.G.; Mielke, C.H.; Rickel, D.G.; Crooker, S.A.; Zhang, Q.; Ren, L.; Haroz, E.H.; Rustagi, A.; Stanton, C.J.; Jin, Z.; Sun, Z.; Yan, Z.; Tour, J.M.; Kono, J. (2012)
      Using ultrahigh magnetic fields up to 170 T and polarized midinfrared radiation with tunable wavelengths from 9.22 to 10.67 μm, we studied cyclotron resonance in large-area graphene grown by chemical vapor deposition. ...
    • Classes and Mixins 

      Felleisen, Matthias; Flatt, Matthew; Krishnamurthi, Shriram (1999)
      While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities for specifying a uniform extension of many ...
    • Coarse-Grained Conformational Sampling of Protein Structure Improves the Fit to Experimental Hydrogen-Exchange Data 

      Devaurs, Didier; Antunes, Dinler A.; Papanastasiou, Malvina; Moll, Mark; Ricklin, Daniel; Lambris, John D.; Kavraki, Lydia E. (2017)
      Monitoring hydrogen/deuterium exchange (HDX) undergone by a protein in solution produces experimental data that translates into valuable information about the protein's structure. Data produced by HDX experiments is often ...
    • Combinatorial Clustering of Residue Position Subsets Predicts Inhibitor Affinity across the Human Kinome 

      Bryant, Drew H.; Moll, Mark; Finn, Paul W.; Kavraki, Lydia E. (2013)
      The protein kinases are a large family of enzymes that play fundamental roles in propagating signals within the cell. Because of the high degree of binding site similarity shared among protein kinases, designing drug ...
    • Combining Analysis, Combining Optimizations 

      Click, Clifford Noel, Jr. (1995-02)
      This thesis presents a framework for describing optimizations. It shows how to combine two such frameworks and how to reason about the properties of the resulting framework. The structure of the framework provides insight ...
    • Combining Particles and Waves for Fluid Animation 

      Hall, Mark (1992-04)
      Modeling fluid motion is a problem largely unsolved by traditional modeling techniques. Animation of fluid motion has been possible only in special cases, falling into one of two general categories. Upper surface representations ...