Theses & Reports

Instructions for submitting a technical report or thesis.

  • TR2005-867 2005 Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments Akkerman, Anatoly; Totok, Alexander; Karamcheti, Vijay Abstract | PDF
  • TR2005-858 2005 Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants Antoniotti, Marco; Ramakrishnan, Naren; Kumar, Deept; Spivak, Marina; Mishra, Bud Abstract | PDF
  • TR2005-878 2005 An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types Barrett, Clark; Shikanian, Igor; Tinelli, Cesare Abstract | PDF
  • TR2005-869 2005 Squidball: An Experiment in Large-Scale Motion Capture and Game Design Bregler, Christoph; Castiglia, Clothilde; DeVincenzo, Jessica; DuBois, Roger Luke; Feeley, Kevin; Igoe, Tom; Meyer, Jonathan; Naimark, Michael; Postelnicu, Alexandru; Rabinovich, Michael; Rosenthal, Sally; Salen, Katie; Sudol, Jeremi; Wright, Bo Abstract | PDF
  • TR2005-860 2005 A Domain Decomposition Discretization of Parabolic Problems Dryja, Maksymilian; Tu, Xuemin Abstract | PDF
  • Ph.D. Thesis 2005 Translation Validation of Optimizing Compilers Fang, Yi Abstract | PDF
  • TR2005-875 2005 Nonlinear Image Representation via Local Multiscale Orientation Hammond, David K.; Simoncelli, Eero P. Abstract | PDF
  • TR2005-866 2005 An Analysis of Usage Locality for Data-Centric Web Services He, Congchun; Karamcheti, Vijay Abstract | PDF
  • TR2005-877 2005 Oriented Overlays For Clustering Client Requests To Data-Centric Network Services He, Congchun; Karamcheti, Vijay Abstract | PDF
  • Ph.D. Thesis 2005 Translation Validation of Loop Optimizations Hu, Ying Abstract | PDF
  • TR2005-870 2005 Two-Level Schwarz Algorithms, Using Overlapping Subregions, for Mortar Finite Element Methods Hyun Kim, Hyea; Widlund, Olof B. Abstract | PDF
  • Ph.D. Thesis 2005 Construction of Component-Based Applications by Planning Kichkaylo, Tatiana Abstract | PDF
  • TR2005-873 2005 A BDDC algorithm for problems with mortar discretization Kim, Hyea Hyun; Dryja, Maksymilian; Widlund, Olof B. Abstract | PDF
  • TR2005-863 2005 A FETI-DP formulation of three dimensional elasticity problems with mortar discretization Kim, Hyea Hyun Abstract | PDF
  • TR2004-857 2005 FETI--DP, BDDC, and Block Cholesky Methods Li, Jing; Widlund, Olof B. Abstract | PDF
  • TR2005-861 2005 BDDC Algorithms for Incompressible Stokes Equations Li, Jing; Widlund, Olof B. Abstract | PDF
  • TR2005-871 2005 On the Use of Inexact Subdomain Solvers for BDDC Algorithms Li, Jing; Widlund, Olof B. Abstract | PDF
  • TR2005-872 2005 Real-time rendering of normal maps with discontinuities Parilov, Evgueni; Rosenberg, Ilya; Zorin, Denis Abstract | PDF
  • TR2005-859 2005 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis Piazza, C.; Antoniotto, M.; Mysore, V.; Policriti, A.; Winkler, F.; Mishra, B. Abstract | PDF
  • Ph.D. Thesis 2005 Extensible MultiModal Environment Toolkit (EMMET): A Toolkit for Prototyping and Remotely Testing Speech and Gesture Based Multimodal Interfaces Robbins, Christopher A. Abstract | PDF
  • TR2005-874 2005 Ranking with a P-norm Push Rudin, Cynthia Abstract | PDF
  • TR2005-876 2005 Better Burst Detection Shasha, Dennis; Zhang, Xin Abstract | PDF
  • TR2005-868 2005 Modeling Of Concurrent Web Sessions With Bounded Inconsistency In Shared Data Totok, Alexander; Karamcheti, Vijay Abstract | PDF
  • Ph.D. Thesis 2005 Pattern Discovery for Hypotheses Generation in Biology Tsirigos, Aristotelis Abstract | PDF
  • TR2005-865 2005 A BDDC algorithm for flow in porous media with a hybrid finite element discretization Tu, Xuemin Abstract | PDF
  • TR2005-879 2005 BDDC Domain Decomposition Algorithms: Methods with Three Levels and for Flow in Porous Media Tu, Xuemin Abstract | PDF
  • TR2005-862 2005 Three-Level BDDC in Three Dimensions Tu, Xuemin Abstract | PDF
  • TR2005-864 2005 A BDDC Algorithm for Mixed Formulation of Flow in Porous Media Tu, Xuemin Abstract | PDF
  • Ph.D. Thesis 2005 Automatic Verification of Parameterized Systems Xu, Jiazhao Abstract | PDF
  • Ph.D. Thesis 2005 Mobility, Route Caching, and TCP Performance in Mobile Ad Hoc Networks Yu, Xin Abstract | PDF
  • Ph.D. Thesis 2005 Information Extraction from Multiple Syntactic Sources Zhao, Shubin Abstract | PDF