|
Technical Reports
A B C D E F
G H I J K
L M N O P
R S T U V
W X Y Z
A
Achdou, Y Iterative Substructuring Preconditioners for Mortar Element Methods in Two Dimensions , TR1997-735, 1997/04.
Abstract ,
Compressed PostScript ,
PDF
Agarwal, P The Cell Programming Language , TR1993-630, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Ailon, Nir An Efficient Reduction of Ranking to Classification , TR2007-903, 2007/09.
Abstract ,
Compressed PostScript ,
PDF
Akkerman, Anatoly CANS: Composable, Adaptive Network Services Infrastructure
, TR2000-808, 2000/10.
Abstract ,
Compressed PostScript ,
PDF
Akkerman, Anatoly Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments , TR2005-867, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Alizadeh, f A New Primal-Dual
Interior-Point Method for Semidefinite Programming , TR1994-659, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Alizadeh, F Complementarity and Nondegeneracy in Semidefinite Programming , TR1995-681, 1995/03.
Abstract ,
Compressed PostScript ,
PDF
Alizadeh, F Primal-Dual Interior-Point Methods for Semidefinite Programming:
Convergence Rates, Stability and Numerical Results , TR1996-721, 1996/05.
Abstract ,
Compressed PostScript ,
PDF
Alizadeh, F SDPPACK User's Guide -- Version 0.8 Beta , TR1997-734, 1997/03.
Abstract ,
Compressed PostScript ,
PDF
Alizadeh, F SDPPACK User's Guide -- Version 0.9 Beta for Matlab 5.0 , TR1997-737, 1997/06.
Abstract ,
Compressed PostScript ,
PDF
Allauzen, Cyril General Algorithms for Testing the Ambiguity of Finite Automata , TR2007-908, 2008/02.
Abstract ,
Compressed PostScript ,
PDF
Allauzen, Cyril A Unified Construction of the Glushkov, Follow, and Antimirov Automata, TR2006-880, 2006/04.
Abstract ,
Compressed PostScript ,
PDF
Allauzen, Cyril N-Way Composition of Weighted Finite-State Transducers , TR2007-902, 2007/08.
Abstract ,
Compressed PostScript ,
PDF
Amos, Martyn DNA Hash Pooling and its Applications , TR2007-901, 2007/05.
Abstract ,
Compressed PostScript ,
PDF
Anantharaman, T Genomics via Optical Mapping II(A): Restriction Maps from Partial Molecules and Variations , TR1998-759, 1998/02.
Abstract ,
Compressed PostScript ,
PDF
Anantharaman, T Genomics via Optical Mapping III: Contiging Genomic DNA and Variations , TR1998-760, 1998/02.
Abstract ,
Compressed PostScript ,
PDF
Anantharaman, T Genomics via Optical Mapping (I): Probabilistic Analysis of Optical Mapping Models , TR1998-770, 1998/08.
Abstract ,
Compressed PostScript ,
PDF
Anantharaman, Thomas Title: Genomics via Optical Mapping IV: Sequence
Validation via Optical Map Matching, TR2000-811, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Anantharaman, Thomas Fast and Cheap Genome wide Haplotype Construction via Optical Mapping , TR2004-852, 2004/06.
Abstract ,
Compressed PostScript ,
PDF
Andersen, K Computing Limit Loads by Minimizing a Sum of Norms , TR1995-682, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Anderson, K An Efficient Primal-Dual Interior-Point Method for Minimizing a Sum of Euclidean Norms , TR1998-769, 1998/08.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, M ED I: NYU Educational Robot Design and
Evaluation , TR1993-643, 1993/08.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, M NYU Educational
Robotics Project: A Pedagogic Overview , TR1993-653, 1993/11.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, M Automatic Synthesis Algorithms for Supervisory Controllers
(Preliminary Report) , TR1994-674, 1994/11.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, M Discrete Event Models + Temporal Logic = Supervisory Controller:
Automatic Synthesis of Locomotion Controllers , TR1994-675, 1994/11.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, M The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete , TR1995-707, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, Marco Modal Logic, Temporal Models and Neural Circuits: What Connects Them , TR2007-907, 2008/02.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, Marco Title: Genomics via Optical Mapping IV: Sequence
Validation via Optical Map Matching, TR2000-811, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, Marco Naturally Speaking: A Systems Biology Tool with Natural Language Interfaces , TR2004-853, 2004/06.
Abstract ,
Compressed PostScript ,
PDF
Antoniotti, Marco Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants , TR2005-858, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Antoniotto, M Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis , TR2005-859, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Averbukh, V HESFCN - A Fortran package of
Hessian Subroutines for Testing Nonlinear Optimization Software , TR1992-610, 1992/06.
Abstract ,
Compressed PostScript ,
PDF
B
Balaban, Ittai Invisible Safety of Distributed Protocols , TR2006-884, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
Balaban, Ittai Shape Analysis of Single-Parent Heaps , TR2006-885, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
Baratloo, A The coupling of mixed and conforming finite element
discretizations , TR1997-748, 1997/11.
Abstract ,
Compressed PostScript ,
PDF
Baratloo, A Just-in-Time Transparent Resource Management , TR1998-762, 1998/03.
Abstract ,
Compressed PostScript ,
PDF
Barrett, Clark An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types , TR2005-878, 2005/11.
Abstract ,
Compressed PostScript ,
PDF
Barrett, Clark Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors , TR2008-910, 2008/03.
Abstract ,
Compressed PostScript ,
PDF
Barrett, Clark Design and Results of the 4th Annual Satisfiability Modulo
Theories Competition (SMT-COMP 2008) , TR2010-931, 2010/07.
Abstract ,
Compressed PostScript ,
PDF
Barrett, Clark Sharing is Caring: Combination of Theories , TR2011-940, 2011/10
Abstract ,
Compressed PostScript ,
PDF
Bederson, B Space Variant Image
Processing , TR1993-633, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Bederson, B Voice-Bandwidth Visual
Communication Through Logmaps: The Telecortex , TR1993-636, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Bica, I Iterative Substructuring Algorithms for the P-Version Finite Element
Method for Elliptic Problems , TR1997-743, 1997/09.
Abstract ,
Compressed PostScript ,
PDF
Biermann, H Comic Strips for Algorithm Visualization , TR1999-778, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Biermann, H Piecewise Smooth Subdivision Surfaces with Normal Control , TR1999-781, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Biermann, H Stateless Remote Environment Navigation with View Compression , TR1999-784, 1999/04.
Abstract ,
Compressed PostScript ,
PDF
Biermann, H Recovering Non-Rigid 3D Shape from Image Streams , TR1999-787, 1999/06.
Abstract ,
Compressed PostScript ,
PDF
Biros, George An Embedded Boundary Integral Solver for the Stokes Equations, TR2003-837, 2002/06.
Abstract ,
Compressed PostScript ,
PDF
Biros, George An Embedded Boundary Integral Solver for the Unsteady Incompressible Navier-Stokes Equations, TR2003-838, 2002/11.
Abstract ,
Compressed PostScript ,
PDF
Biros, George A kernel-independent fast multipole algorithm , TR2003-839, 2003/04.
Abstract ,
Compressed PostScript ,
PDF
Bohus, G On Triangulations of the
3-Ball and the Solid Torus , TR1990-532, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Bornemann, F On the Singular Limit of the Quantum-Classical Molecular Dynamics Model , TR1997-733, 1997/03.
Abstract ,
Compressed PostScript ,
PDF
Bregler, C Recovering Non-Rigid 3D Shape from Image Streams , TR1999-787, 1999/06.
Abstract ,
Compressed PostScript ,
PDF
Bregler, Christoph Robust Model-Free Tracking of Non-Rigid Shape , TR2003-840, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Bregler, Christoph Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Brown, T PLinda User Manual , TR1996-729, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Burke, J Stable Perturbations of Nonsymmetric Matrices , TR1990-520, 1990/10.
Abstract ,
Compressed PostScript ,
PDF
Burke, J On the Subdifferentiability of a Matrix
Spectrum I: Mathematical Foundations , TR1991-567, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Burke, J On the Subdifferentiability of a Matrix
Spectrum II: Subdifferential Formulas , TR1991-568, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Burke, J Differential Properties of Eigenvalues , TR1991-579, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Burke, J On the Lidskii-Vishik-Lyusternik Perturbation Theory for
Eigenvalues of Matrices with Arbitrary Jordan Structure , TR1995-710, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Burke, J Variational Analysis of Non-Lipschitz Spectral Functions , TR1999-790, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Burke, J Optimizing Matrix Stability , TR1999-791, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Burke, J Variational Analysis of the Abscissa Mapping for Polynomials , TR2000-799, 2000/03.
Abstract ,
Compressed PostScript ,
PDF
C
Cai, J An $O(m$log$n)$-Time Algorithm for the
Maximal Planar Subgraph Problem , TR1992-602, 1992/04.
Abstract ,
Compressed PostScript ,
PDF
Cai, J Counting Embeddings of Planar Graphs Using DFS Trees , TR1992-603, 1992/04.
Abstract ,
Compressed PostScript ,
PDF
Cai, J More Efficient Bottom-Up Mult-Pattern
Matching in Trees , TR1992-604, 1992/04.
Abstract ,
Compressed PostScript ,
PDF
Cai, J Multiset Discrimination - A Method for Implementing
Programming Language Systems without Hashing , TR1992-609, 1992/06.
Abstract ,
Compressed PostScript ,
PDF
Cai, J A Language for Semantic Analysis , TR1993-635, 1993/05.
Abstract ,
Compressed PostScript ,
PDF
Cai, X Domain Decomposition Algorithms for Indefinite
Elliptic Problems , TR1990-506, 1990/05.
Abstract ,
Compressed PostScript ,
PDF
Cai, X Multiplicative Schwarz Algorithms for Some
Nonsymmetric and Indefinite Problems , TR1992-595, 1992/02.
Abstract ,
Compressed PostScript ,
PDF
Caplin, Andrew Factor Graphs for Relational Regression , TR2007-906, 2008/01.
Abstract ,
Compressed PostScript ,
PDF
Casarin, M Diagonal Edge Preconditioners in p-Version and Spectral Element Methods , TR1995-704, 1995/09.
Abstract ,
Compressed PostScript ,
PDF
Casarin, M Quasi-Optimal Schwarz Methods for the Conforming Spectral Element
Discretization , TR1995-705, 1995/09.
Abstract ,
Compressed PostScript ,
PDF
Casarin, M A Hierarchical Preconditioner for the Mortar Finite Element Method , TR1995-712, 1995/12.
Abstract ,
Compressed PostScript ,
PDF
Casarin, M Overlapping Schwarz Algorithms for Solving Helmholtz's Equation , TR1997-753, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Casarin, M. A Jr. Schwarz Preconditioners for Spectral and Mortar Finite Element Methods
with Applications to Incompressible Fluids , TR1996-717, 1996/03.
Abstract ,
Compressed PostScript ,
PDF
Castiglia, Clothilde Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Chang, C New Theoretical and Computational Results for
Regular Languages , TR1991-587, 1991/10.
Abstract ,
Compressed PostScript ,
PDF
Chang, F Exploiting Application Tunability for Efficient, Predictable, Parallel Resource Management , TR1998-771, 1998/10.
Abstract ,
Compressed PostScript ,
PDF
Chang, F Automatic Configuration and Run-time Adaptation of Distributed Applications , TR1999-793, 1999/11.
Abstract ,
Compressed PostScript ,
PDF
Chang, F Secure, User-level Resource-constrained Sandboxing , TR1999-795, 1999/12.
Abstract ,
Compressed PostScript ,
PDF
Chang, Hung-Hsien Survey: Eigenvector Analysis in Webpage Rankings , TR2003-835, 2003/03.
Abstract ,
Compressed PostScript ,
PDF
Chang, M Building a Fast Double-Dummy Bridge Solver , TR1996-725, 1996/08.
Abstract ,
Compressed PostScript ,
PDF
Chen, H Multilevel Schwarz Methods with Partial Refinement , TR1994-654, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Cherepinsky, Vera Competitive Hybridization Model , TR2008-913, 2008/10.
Abstract ,
Compressed PostScript ,
PDF
Cherepinsky, Vera Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data , TR2003-845, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
Choi, J Approximate Euclidean Shortest Path in
3-Space , TR1994-670, 1994/09.
Abstract ,
Compressed PostScript ,
PDF
Chopra, Sumit Factor Graphs for Relational Regression , TR2007-906, 2008/01.
Abstract ,
Compressed PostScript ,
PDF
Christiansen, E Computing Limit Loads by Minimizing a Sum of Norms , TR1995-682, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Christiansen, E An Efficient Primal-Dual Interior-Point Method for Minimizing a Sum of Euclidean Norms , TR1998-769, 1998/08.
Abstract ,
Compressed PostScript ,
PDF
Chu, C Smile consistency - A Memory Consistency Model with User Definable High
Level Synchronization Primitives , TR1997-745, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Chuang, T Backward Analysis for Higher-Order
Functions Using Inverse Images , TR1992-620, 1992/11.
Abstract ,
Compressed PostScript ,
PDF
Chung, ETwo-Level Overlapping Schwarz Algorithms for a Staggered Discontinuous Galerkin method, TR2011-943, 2011/9.
Abstract ,
Compressed PostScript ,
PDF .
Clarkson, K Randomized Parallel Algorithms
for Trapezoidal Diagrams , TR1991-548, 1991/03.
Abstract ,
Compressed PostScript ,
PDF
Cole, R Tight Bounds on the Complexity of the Boyer-Moore
Pattern Matching Algorithm , TR1990-512, 1990/06.
Abstract ,
Compressed PostScript ,
PDF
Cole, R The APRAM - The Rounds Complexity Measure
and the Explicit Costs of Synchronization , TR1991-539, 1991/01.
Abstract ,
Compressed PostScript ,
PDF
Cole, R An Asynchronous Parallel Algorithm for
Undirected Graph Connectivity , TR1991-546, 1991/02.
Abstract ,
Compressed PostScript ,
PDF
Cole, R Randomized Parallel Algorithms
for Trapezoidal Diagrams , TR1991-548, 1991/03.
Abstract ,
Compressed PostScript ,
PDF
Cole, R On the Detection of Robust Curves , TR1991-557, 1991/04.
Abstract ,
Compressed PostScript ,
PDF
Cole, R Online Algorithms for Finger Searching , TR1991-573, 1991/08.
Abstract ,
Compressed PostScript ,
PDF
Cole, R The Expected Advantage of Asynchrony , TR1991-574, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Cole, R On the Dynamic Finger Conjecture for Splay Trees
Part I: Splay Sorting log n-Block Sequences , TR1995-700, 1995/08.
Abstract ,
Compressed PostScript ,
PDF
Cole, R On the Dynamic Finger Conjecture for Splay Trees
Part II: The Proof , TR1995-701, 1995/08.
Abstract ,
Compressed PostScript ,
PDF
Cole, R An O(n log n) Algorithm for the Maximum Agreement Subtree Problem for
Binary Trees , TR1996-730, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Cole, R Tree Pattern Matching and Subset Matching in Randomized O(n log^3 m) Time , TR1996-731, 1996/12 .
Abstract ,
Compressed PostScript ,
PDF
Cole, R Comic Strips for Algorithm Visualization , TR1999-778, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Cole, R Randomized Swap Matching in $O(m \log m \log |\Sigma| )$ time , TR1999-789, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Cole, R Edge-Coloring Bipartite Multigraphs in $0(E\log D)$ Time , TR1999-792, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Cole, R Coordination Mechanisms for Weighted Sum of Completion Times , TR2010-930, 2010/05.
Abstract ,
Compressed PostScript ,
PDF
Collins, Eli Modeling Object Characteristics of Dynamic Web Content, TR2001-822, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Collins, Eli Workload Characterization of a Personalized Web Site - And Its Implications for Dynamic Content Caching, TR2002-829, 2002/05.
Abstract ,
Compressed PostScript ,
PDF
Conn, A An Efficient Primal-Dual Interior-Point Method for Minimizing a Sum of Euclidean Norms , TR1998-769, 1998/08.
Abstract ,
Compressed PostScript ,
PDF
Conway, Christopher Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors , TR2008-910, 2008/03.
Abstract ,
Compressed PostScript ,
PDF
Cortes, Corinna On Transductive Regression , TR2006-883, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
Cortes, Corinna On the Computation of the Relative Entropy of Probabilistic Automata, TR2007-886, 2007/01.
Abstract ,
Compressed PostScript ,
PDF
Cortes, Corinna Magnitude-Preserving Ranking Algorithms , TR2007-887, 2007/03.
Abstract ,
Compressed PostScript ,
PDF
Cox, J The Average Case Complexity of Multilevel Syllogistic , TR1995-711, 1995/12.
Abstract ,
Compressed PostScript ,
PDF
Cox, S On the Optimal Design of Columns Against
Buckling , TR1990-510, 1990/06.
Abstract ,
Compressed PostScript ,
PDF
D Dams, Dennis Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors , TR2008-910, 2008/03.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Physical Idealization as Plausible Inference , TR1990-534, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Davis, E The Kinematics of Cutting Solid Objects , TR1991-541, 1991/01.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Lucid Representations , TR1991-565, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Axiomating Qualitative Process Theory , TR1991-590, 1991/11.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Knowledge Preconditions for Plans , TR1993-637, 1993/05.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Branching Continuous Time and the Semantics of Continuous
Action , TR1994-666, 1994/06.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Approximations of Shape and Configuration Space , TR1995-703, 1995/09.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Approximation and Abstraction in Solid Object Kinematics , TR1995-706, 1995/09.
Abstract ,
Compressed PostScript ,
PDF
Davis, E A Highly Expressive Language of Spatial Constraints , TR1995-714, 1995/12.
Abstract ,
Compressed PostScript ,
PDF
Davis, E The Naive Physics Perplex , TR1997-738, 1997/07.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Order of Magnitude Comparisons of Distance , TR1997-754, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Davis, E Continuous Shape Transformation and Metrics on Shapes , TR2000-802, 2000/04.
Abstract ,
Compressed PostScript ,
PDF
Davis, Ernest Title: Describing Spatial Transitions Using Mereotopological
Relations Over Histories , TR2000-809, 2000/10.
Abstract ,
Compressed PostScript ,
PDF
Davis, G Adaptive Time-Frequency Approximations
with Matching Pursuits , TR1994-657, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Deters, Morgan Design and Results of the 4th Annual Satisfiability Modulo
Theories Competition (SMT-COMP 2008) , TR2010-931, 2010/07.
Abstract ,
Compressed PostScript ,
PDF
DeVincenzo, Jessica Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Dohrmann, Clark R. Domain Decomposition for Less Regular Subdomains: Overlapping Schwarz in Two Dimensions , TR2007-888, 2007/03.
Abstract ,
Compressed PostScript ,
PDF
Dohrmann, Clark R. An Overlapping Schwarz Algorithm for Almost Incompressible Elasticity , TR2008-912, 2008/05.
Abstract ,
Compressed PostScript ,
PDF
Dohrmann, Clark R. AN ITERATIVE SUBSTRUCTURING ALGORITHM
FOR TWO-DIMENSIONAL PROBLEMS IN H(CURL), TR2010-936, 2010/12.
Abstract ,
Compressed PostScript ,
PDF
Dohrmann, Clark R.
An Alternative Coarse Space for Irregular Subdomains and an Overlapping Schwarz Algorithm, TR2011-946, 2011/11.
Abstract ,
Compressed PostScript ,
PDF .
Donovan, K Performance of Shared Memory in a Parallel Computer , TR1990-498, 1990/03 .
Abstract ,
Compressed PostScript ,
PDF
Dreyer, D Two Heuristics for the Steiner Tree Problem , TR1996-724, 1996/08.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Multilevel Additive Methods for Elliptic
Finite Element Problems , TR1990-507, 1990/05.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Substructuring Methods for Parabolic Problems , TR1990-529, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Additive Schwarz Methods for Elliptic
Finite Element Problems in Three Dimensions , TR1991-570, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Domain Decomposition Algorithms with Small
Overlap , TR1992-606, 1992/05.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Some Recent Results on Schwarz Type Domain
Decomposition Algorithms , TR1992-615, 1992/09.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Schwarz Methods of Neumann-Neumann Type for
Three-Dimensional Elliptic Finite Element Problems , TR1993-626, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Schwarz Analysis of Iterative
Substructuring Algorithms for Elliptic Problems in Three Dimensions , TR1993-638, 1993/05.
Abstract ,
Compressed PostScript ,
PDF
Dryja, M Multilevel Schwarz Methods for
Elliptic Problems with Discontinuous Coefficients in Three Dimensions , TR1994-662, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Dryja, Maksymilian Dual-Primal FETI Methods for Three-dimensional Elliptic Problems
with Heterogeneous Coefficients, TR2001-815, 2001/04.
Abstract ,
Compressed PostScript ,
PDF
Dryja, Maksymilian A Domain Decomposition Discretization of Parabolic Problems , TR2005-860, 2005/04.
Abstract ,
Compressed PostScript ,
PDF
DuBois, Roger Luke Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
E
Ebner, M A Direct-Drive Hand: Design, Modeling and Control , TR1994-668, 1994/06.
Abstract ,
Compressed PostScript ,
PDF
Elliot,F Jr. Overlapping Schwarz Algorithms for Solving Helmholtz's Equation , TR1997-753, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Ericson, L The Average Case Complexity of Multilevel Syllogistic , TR1995-711, 1995/12.
Abstract ,
Compressed PostScript ,
PDF
F
Farach, M An O(n log n) Algorithm for the Maximum Agreement Subtree Problem for
Binary Trees , TR1996-730, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Feeley, Kevin Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Feng, Jiawu Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data , TR2003-845, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
Fergus, Rob Learning Image Decompositions with Hierarchical Sparse Coding , TR2010-935, 2010/12.
Abstract ,
Compressed PostScript ,
PDF
Figueroa, S HESFCN - A Fortran package of
Hessian Subroutines for Testing Nonlinear Optimization Software , TR1992-610, 1992/06.
Abstract ,
Compressed PostScript ,
PDF
Floratos, A The On-Line K-Server Problem , TR1997-732, 1997/02.
Abstract ,
Compressed PostScript ,
PDF
Freudenthal, Eric dRBAC: Distributed Role-based Access Control for Dynamic Environments, TR2001-819, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Freudenthal, Eric DisCo: A Distribution Infrastructure for Securely Deploying Decomposable Services in Partly Trusted Environments , TR2001-820, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Freudenthal, Eric Credentialed Secure Communication "Switchboards" , TR2001-821, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Freudenthal, Eric QTM: Trust Management with Quantified Stochastic Attributes , TR2003-848, 2003/09.
Abstract ,
Compressed PostScript ,
PDF
Freudenthal, Eric Comparing the Performance of Centralized and Distributed Coordination on Systems with Improved Combining Switches , TR2003-849, 2003/11.
Abstract ,
Compressed PostScript ,
PDF
Fu, Xiadong Title: Automatic Deployment of Transcoding Components for
Ubiquitous, Network-Aware Access to Internet Services, TR2001-814, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Fu, Xiaodong CANS: Composable, Adaptive Network Services Infrastructure
, TR2000-808, 2000/10.
Abstract ,
Compressed PostScript ,
PDF
Fu, Xiaodong Adaptive Service Access in Shared Wireless Environments, TR2002-824, 2002/03.
Abstract ,
Compressed PostScript ,
PDF
Fu, Xiaodong Why Path-Based Adaptation? Performance Implications of Different Adaptation Mechanisms for Network Content Delivery , TR2003-843, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
G
Gallo, G The Complexity of Resolvent Resolved , TR1993-628, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Galron, Daniel Information Extraction on High-??School Level Chemistry Labs , TR2010-929, 2010/05.
Abstract ,
Compressed PostScript ,
PDF
Gasperoni, F Efficient Algorithms for Cyclic
Scheduling , TR1991-571, 1991/07.
Abstract ,
Compressed PostScript ,
PDF
Gazzillo, Paul Parsing All of C by Taming the Preprocessor, TR2011-939, 2011/07.
Abstract ,
Compressed PostScript ,
PDF
Geiger, D A Model and Solution to the DNA Flipping String Problem , TR1996-720, 1996/05.
Abstract ,
Compressed PostScript ,
PDF
Geiger, D Junctions: Detection, Classification and Reconstruction , TR1997-741, 1997/08.
Abstract ,
Compressed PostScript ,
PDF
Gkatzelis, Vasilis Coordination Mechanisms for Weighted Sum of Completion Times , TR2010-930, 2010/05.
Abstract ,
Compressed PostScript ,
PDF
Goldberg, B Backward Analysis for Higher-Order
Functions Using Inverse Images , TR1992-620, 1992/11.
Abstract ,
Compressed PostScript ,
PDF
Goldberg, B Pscheme: Extending Continuations to Express
Control and Synchronization in a Parallel LISP , TR1994-655, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Goldberg, B Formal Models of Distributed Memory Management , TR1996-728, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Goldfeld, Paulo Balancing Neumann-Neumann Preconditioners for Mixed Approximations of Heterogeneous Problems in Linear Elasticity, TR2002-825, 2002/04.
Abstract ,
Compressed PostScript ,
PDF
Goldfeld, Paulo Balancing Neumann-Neumann Preconditioners for the Mixed Formulation of Almost-Incompressible Linear Elasticity , TR2003-847, 2003/09.
Abstract ,
Compressed PostScript ,
PDF
Gottlieb, Allan Comparing the Performance of Centralized and Distributed Coordination on Systems with Improved Combining Switches , TR2003-849, 2003/11.
Abstract ,
Compressed PostScript ,
PDF
Goyal, D A New Solution to the Hidden Copy Problem , TR1998-763, 1998/04.
Abstract ,
Compressed PostScript ,
PDF
Goyal, D An Improved Intra-procedural May-alias Analysis Algorithm , TR1999-777, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Greenbaum, A Matrices that Generate the Same Krylov
Residual Spaces , TR1992-608, 1992/05.
Abstract ,
Compressed PostScript ,
PDF
Greenbaum, A GMRES/CR and Arnoldi/Lanczos as Matrix
Approximation Problems , TR1992-607, 1992/05.
Abstract ,
Compressed PostScript ,
PDF
Greenbaum, A Norms of Functions of Matrices , TR1993-645, 1993/08.
Abstract ,
Compressed PostScript ,
PDF
Greenwald, A Competitive Equilibrium , TR1998-757, 1998/02.
Abstract ,
Compressed PostScript ,
PDF
Greenwald, A Learning to Play Network Games , TR1998-758, 1998/02.
Abstract ,
Compressed PostScript ,
PDF
Grimm, Robert
Hitting the Sweet Spot for Streaming Languages: Dynamic Expressivity with Static Optimization, TR2012-948, 2012
Abstract ,
Compressed PostScript ,
PDF .
Grimm, Robert Parsing All of C by Taming the Preprocessor , TR2011-939, 2011/07.
Abstract ,
Compressed PostScript ,
PDF
Grimm, Robert Typical: Taking the Tedium Out of Typing , TR2007-904, 2007/11.
Abstract ,
Compressed PostScript ,
PDF
Grimm, Robert Declarative Syntax Tree Engineering* Or, One Grammar to Rule Them All , TR2007-905, 2007/11.
Abstract ,
Compressed PostScript ,
PDF
Grimm, Robert Practical Packrat Parsing , TR2004-854, 2004/03.
Abstract ,
Compressed PostScript ,
PDF
H
Haeberly, J On Shape Optimizing the Ratio of the First Two
Eigenvalues of the Laplacian , TR1991-586, 1991/10.
Abstract ,
Compressed PostScript ,
PDF
Haeberly, J A Hybrid Algorithm for Optimizing Eigenvalues
of Symmetric Definite Pencils , TR1993-624, 1993/02.
Abstract ,
Compressed PostScript ,
PDF
Haeberly, J A New Primal-Dual
Interior-Point Method for Semidefinite Programming , TR1994-659, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Haeberly, J Optimizing Eigenvalues of Symmetric
Definite Pencils , TR1994-660, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Haeberly, J Complementarity and Nondegeneracy in Semidefinite Programming , TR1995-681, 1995/03.
Abstract ,
Compressed PostScript ,
PDF
Haeberly, J Primal-Dual Interior-Point Methods for Semidefinite Programming:
Convergence Rates, Stability and Numerical Results , TR1996-721, 1996/05.
Abstract ,
Compressed PostScript ,
PDF
Haeberly, J SDPPACK User's Guide -- Version 0.9 Beta for Matlab 5.0 , TR1997-737, 1997/06.
Abstract ,
Compressed PostScript ,
PDF
Haeberly, P SDPPACK User's Guide -- Version 0.8 Beta , TR1997-734, 1997/03.
Abstract ,
Compressed PostScript ,
PDF
Hammond, David K. Nonlinear Image Representation via Local Multiscale Orientation , TR2005-875, 2005/10.
Abstract ,
Compressed PostScript ,
PDF
Han, X An $O(m$log$n)$-Time Algorithm for the
Maximal Planar Subgraph Problem , TR1992-602, 1992/04.
Abstract ,
Compressed PostScript ,
PDF
Hansen, F NYU Educational
Robotics Project: A Pedagogic Overview , TR1993-653, 1993/11.
Abstract ,
Compressed PostScript ,
PDF
Hariharan, R An O(n log n) Algorithm for the Maximum Agreement Subtree Problem for
Binary Trees , TR1996-730, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Hariharan, R Tree Pattern Matching and Subset Matching in Randomized O(n log^3 m) Time , TR1996-731, 1996/12 .
Abstract ,
Compressed PostScript ,
PDF
Hariharan, R Randomized Swap Matching in $O(m \log m \log |\Sigma| )$ time , TR1999-789, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Harris, Laune Typical: Taking the Tedium Out of Typing , TR2007-904, 2007/11.
Abstract ,
Compressed PostScript ,
PDF
Hashmi, Ghazala Competitive Hybridization Model , TR2008-913, 2008/10.
Abstract ,
Compressed PostScript ,
PDF
He, Congchun Oriented Overlays For Clustering Client Requests To Data-Centric Network Services , TR2005-877, 2005/11.
Abstract ,
Compressed PostScript ,
PDF
He, Congchun An Analysis of Usage Locality for Data-Centric Web Services , TR2005-866, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Henglein, F Programming with Structures, Functions, and
Objects , TR1991-556, 1991/04.
Abstract ,
Compressed PostScript ,
PDF
Hertzmann, A Interactive 3D Scene Reconstruction from Images , TR1999-783, 1999/04.
Abstract ,
Compressed PostScript ,
PDF
Hertzmann, A Stateless Remote Environment Navigation with View Compression , TR1999-784, 1999/04.
Abstract ,
Compressed PostScript ,
PDF
Hertzmann, A Recovering Non-Rigid 3D Shape from Image Streams , TR1999-787, 1999/06.
Abstract ,
Compressed PostScript ,
PDF
Hertzmann, A Paint By Relaxation , TR2000-801, 2000/05.
Abstract ,
Compressed PostScript ,
PDF
Hertzmann, Aaron Robust Model-Free Tracking of Non-Rigid Shape , TR2003-840, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Hientzsch, Bernhard Fast Solvers and Domain Decomposition Preconditioners for Spectral Element Discretizations of Problems in H(curl), TR2001-823, 2001/12.
Abstract ,
Compressed PostScript ,
PDF
Hientzsch, Bernhard Overlapping Schwarz Preconditioners for Spectral Nedelec Elements for a Model Problem in H(curl) , TR2002-834, 2002/11.
Abstract ,
Compressed PostScript ,
PDF
Hind, M Efficient Loop-Level Parallelishm in ADA , TR1991-585, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Hiptmair, R Overlapping Schwarz Methods for Vector Valued Elliptic Problems in Three Dimensions , TR1997-746, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Hoppe, R Adaptive Mixed Hybrid and Macro-Hybrid Finite Element Methods , TR1997-751, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Hummel, R Scalable Parallel Geometric Hashing for
Hypercube SIMD Architechtures , TR1991-553, 1991/01.
Abstract ,
Compressed PostScript ,
PDF
Hummel, R On a Parallel Implementation of Geometric
Hashing on the Connection Machine , TR1991-554, 1991/04.
Abstract ,
Compressed PostScript ,
PDF
Hummel, R Junctions: Detection, Classification and Reconstruction , TR1997-741, 1997/08.
Abstract ,
Compressed PostScript ,
PDF
Hwang, W Chacterization of Self-Similar with Wavelet
Maxima , TR1993-641, 1993/08.
Abstract ,
Compressed PostScript ,
PDF
I
Igoe, Tom Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Itzkovitz, A Secure, User-level Resource-constrained Sandboxing , TR1999-795, 1999/12.
Abstract ,
Compressed PostScript ,
PDF
Ivan, Anca Sekitei: An AI planner for Constrained Component Deployment in Wide-Area Networks , TR2004-851, 2004/03.
Abstract ,
Compressed PostScript ,
PDF
J
Jeong, K PLinda User Manual , TR1996-729, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Jeong, K Finding Idle Work Periods on Networks of Workstations , TR1998-761, 1998/03.
Abstract ,
Compressed PostScript ,
PDF
Jockush, W Cutting a Polytope , TR1990-531, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Jockush, W On Triangulations of the
3-Ball and the Solid Torus , TR1990-532, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Johnson, T Hierarchically Split Cube Forests for Decision Support:
description and tuned design , TR1996-727, 1996/11.
Abstract ,
Compressed PostScript ,
PDF
Johnson, T Finding Idle Work Periods on Networks of Workstations , TR1998-761, 1998/03.
Abstract ,
Compressed PostScript ,
PDF
Jovanovic, Dejan Sharing is Caring: Combination of Theories , TR2011-940, 2011/10
Abstract ,
Compressed PostScript ,
PDF
K
Kaluzhny, Y A Knowledge Representation Based on the Belnap's Four-Valued Logic , TR1995-692, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Karamacheti, Vijay Title: Automatic Deployment of Transcoding Components for
Ubiquitous, Network-Aware Access to Internet Services, TR2001-814, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, V Exploiting Application Tunability for Efficient, Predictable, Parallel Resource Management , TR1998-771, 1998/10.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, V Automatic Configuration and Run-time Adaptation of Distributed Applications , TR1999-793, 1999/11.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, V Transparent Network Connectivity in Dynamic Cluster Environments , TR1999-794, 1999/11.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, V Secure, User-level Resource-constrained Sandboxing , TR1999-795, 1999/12.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, V Expressing and Enforcing Distributed Resource Sharing Agreements , TR2000-805, 2000/06.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay CANS: Composable, Adaptive Network Services Infrastructure
, TR2000-808, 2000/10.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Enforcing Resource Sharing Agreements among Distributed Server Cluster , TR2001-818, 2001/10.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Credentialed Secure Communication "Switchboards" , TR2001-821, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Modeling Object Characteristics of Dynamic Web Content, TR2001-822, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Adaptive Service Access in Shared Wireless Environments, TR2002-824, 2002/03.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay dRBAC: Distributed Role-based Access Control for Dynamic Environments, TR2001-819, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay DisCo: A Distribution Infrastructure for Securely Deploying Decomposable Services in Partly Trusted Environments , TR2001-820, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Workload Characterization of a Personalized Web Site - And Its Implications for Dynamic Content Caching, TR2002-829, 2002/05.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Efficiently Distributing Component-based Applications Across Wide-Area Environments , TR2002-832, 2002/10.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Why Path-Based Adaptation? Performance Implications of Different Adaptation Mechanisms for Network Content Delivery , TR2003-843, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay QTM: Trust Management with Quantified Stochastic Attributes , TR2003-848, 2003/09.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Sekitei: An AI planner for Constrained Component Deployment in Wide-Area Networks , TR2004-851, 2004/03.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay An Analysis of Usage Locality for Data-Centric Web Services , TR2005-866, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Modeling Of Concurrent Web Sessions With Bounded Inconsistency In Shared Data , TR2005-868, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Oriented Overlays For Clustering Client Requests To Data-Centric Network Services , TR2005-877, 2005/11.
Abstract ,
Compressed PostScript ,
PDF
Karamcheti, Vijay Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments , TR2005-867, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Karaul, M The coupling of mixed and conforming finite element
discretizations , TR1997-748, 1997/11.
Abstract ,
Compressed PostScript ,
PDF
Karaul, M WebSeal: Web Server Allocation , TR1997-752, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Karl, H The coupling of mixed and conforming finite element
discretizations , TR1997-748, 1997/11.
Abstract ,
Compressed PostScript ,
PDF
Kedem, Z Pincer-Search: A New Algorithm for Discovering the Maximum Frequent Set , TR1997-742, 1997/09.
Abstract ,
Compressed PostScript ,
PDF
Kedem, Z The coupling of mixed and conforming finite element
discretizations , TR1997-748, 1997/11.
Abstract ,
Compressed PostScript ,
PDF
Kedem, Z Exploiting Application Tunability for Efficient, Predictable, Parallel Resource Management , TR1998-771, 1998/10.
Abstract ,
Compressed PostScript ,
PDF
Kedem, Zvi M. A Distributed Adaptive Cache Update Algorithm for Dynamic Source Routing , TR2003-842, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
Keenan, Edward dRBAC: Distributed Role-based Access Control for Dynamic Environments, TR2001-819, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Keenan, Edward DisCo: A Distribution Infrastructure for Securely Deploying Decomposable Services in Partly Trusted Environments , TR2001-820, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Keenan, Edward Credentialed Secure Communication "Switchboards" , TR2001-821, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Kheyfits, A Dirichlet Problem for the Schrodinger Operator in a Half-space
with Boundary Data of Arbitrary Growth at Infinity , TR1995-695, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Kichkaylo, Tatiana Sekitei: An AI planner for Constrained Component Deployment in Wide-Area Networks , TR2004-851, 2004/03.
Abstract ,
Compressed PostScript ,
PDF
Kim, Hyea Hyun A FETI-DP formulation of three dimensional elasticity problems with mortar discretization , TR2005-863, 2005/04.
Abstract ,
Compressed PostScript ,
PDF
Kim, Hyea Hyun A BDDC algorithm for problems with mortar discretization , TR2005-873, 2005/09.
Abstract ,
Compressed PostScript ,
PDF
Kim, Hyea Hyun A FETI-DP algorithm for elasticity problems with mortar discretization on geometrically non-conforming partitions, TR2006-882, 2006/06.
Abstract ,
Compressed PostScript ,
PDF
Kim, Hyea Hyun Two-Level Schwarz Algorithms, Using Overlapping Subregions, for Mortar Finite Element Methods , TR2005-870, 2005/07.
Abstract ,
Compressed PostScript ,
PDF
Kimn, Jung-Han Overlapping Schwarz Algorithms using Discontinuous Iterates for Poisson's Equation, TR2001-817, 2001/05.
Abstract ,
Compressed PostScript ,
PDF
Kindler, E Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs , TR2000-803, 2000/06.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, A An Optimal Preconditioner for a Class of Saddle Point Problems
with a Penalty Term , TR1994-676, 1994/12.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, A An Optimal Preconditioner for a Class of Saddle Point Problems with a Penalty
Term, Part II: General Theory , TR1995-683, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, A Preconditioners for Indefinite Problems , TR1996-716, 1996/03.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, A A Numerical Study of a Class of FETI Preconditioners for Mortar
Finite Elements in Two Dimensions , TR1998-773, 1998/11.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, A A Domain Decomposition Method with Lagrange Multipliers for Linear Elasticity , TR1999-780, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, A A FETI Domain Decomposition Method for Maxwell's Equations
with Discontinuous Coefficients in Two Dimensions , TR1999-788, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, A FETI and Neumann--Neumann Iterative Substructuring Methods: Connections and New Results , TR1999-796, 1999/12.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, Axel Dual-Primal FETI Methods for Three-dimensional Elliptic Problems
with Heterogeneous Coefficients, TR2001-815, 2001/04.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, Axel Dual-Primal FETI Methods for Linear Elasticity , TR2004-855, 2004/09.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, Axel Domain Decomposition for Less Regular Subdomains: Overlapping Schwarz in Two Dimensions , TR2007-888, 2007/03.
Abstract ,
Compressed PostScript ,
PDF
Klawonn, Axel An analysis of a FETI--DP algorithm on irregular subdomains in the plane , TR2007-889, 2007/04.
Abstract ,
Compressed PostScript ,
PDF
Kleinberg, Samantha Modal Logic, Temporal Models and Neural Circuits: What Connects Them , TR2007-907, 2008/02.
Abstract ,
Compressed PostScript ,
PDF
Klein, Uri Effective Synthesis of Asynchronous Systems from GR(1) Specifications, TR2011-944, 2011/12.
Abstract ,
Compressed PostScript ,
PDF .
Klein, Uri Formalization and Automated Verification of RESTful Behavior, TR2011-938, 2011/05.
Abstract ,
Compressed PostScript ,
PDF.
Knyazev, A New Estimates for Ritz Vectors , TR1994-677, 1994/12.
Abstract ,
Compressed PostScript ,
PDF
Koren,G Skip-Over: Algorithms and Complexity for Overloaded Systems that
Allow Skips , TR1996-715, 1996/01.
Abstract ,
Compressed PostScript ,
PDF
Koren, G An Optimal Scheduling Algorithm with a
Competitive Factor for Real-Time Systems , TR1991-572, 1991/07.
Abstract ,
Compressed PostScript ,
PDF
Koren, G Competitive Algorithms and Lower Bounds for
On-Line Scheduling of Multiprocessor Real-Time Systems , TR1993-639, 1993/06.
Abstract ,
Compressed PostScript ,
PDF
Korilis, Y WebSeal: Web Server Allocation , TR1997-752, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Krishnan, Dilip Multigrid and Multilevel Preconditioners for Computational Photography , TR2011-941, 2011/10.
Abstract ,
Compressed PostScript ,
PDF
Krohn, Maxwell Secure Untrusted Data Repository (SUNDR) , TR2003-841, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Kumar, Deept Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants , TR2005-858, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
L
Lanin, V Tree Locking on Changing Trees , TR1990-503, 1990/04.
Abstract ,
Compressed PostScript ,
PDF
Lasser, Caroline Title: An Overlapping Domain Decomposition Preconditioner for a
Class of Discontinuous Galerkin Approximations of Advection-Diffusion
Problems, TR2000-810, 2000/11.
Abstract ,
Compressed PostScript ,
PDF
Lau, Ian T. Naturally Speaking: A Systems Biology Tool with Natural Language Interfaces , TR2004-853, 2004/06.
Abstract ,
Compressed PostScript ,
PDF
Laufer, K Comparing Three Approaches to Transformational
Programming , TR1991-555, 1991/04.
Abstract ,
Compressed PostScript ,
PDF
Laufer, K Programming with Structures, Functions, and
Objects , TR1991-556, 1991/04.
Abstract ,
Compressed PostScript ,
PDF
Le, Anh Typical: Taking the Tedium Out of Typing , TR2007-904, 2007/11.
Abstract ,
Compressed PostScript ,
PDF
Leahy, John Factor Graphs for Relational Regression , TR2007-906, 2008/01.
Abstract ,
Compressed PostScript ,
PDF
LeCun, Yann Factor Graphs for Relational Regression , TR2007-906, 2008/01.
Abstract ,
Compressed PostScript ,
PDF
Lee, C On Triangulations of the
3-Ball and the Solid Torus , TR1990-532, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Lee, Jong DOMAIN DECOMPOSITION METHODS FOR REISSNER-MINDLIN PLATES
DISCRETIZED WITH THE FALK-TU ELEMENTS, TR2011-937, 2011/2.
Abstract ,
Compressed PostScript ,
PDF.
Lee, Jong An overlapping domain decomposition method for the Reissner-Mindlin Plate with the Falk-Tu Elements, TR2010-932, 2010/9.
Abstract ,
Compressed PostScript ,
PDF
Leong, Alan Extension of Two-level Schwarz Preconditioners to Symmetric Indefinite Problems , TR2008-914, 2008/09.
Abstract ,
Compressed PostScript ,
PDF
Lerner, Alberto AQuery: Query Language for Ordered Data, Optimization Techniques, and Experiments , TR2003-836, 2003/03.
Abstract ,
Compressed PostScript ,
PDF
Leung, A Run-time versus Compile-time Instruction Scheduling in Superscalar
(RISC) Processors: Performance and Tradeoffs , TR1995-699, 1995/07.
Abstract ,
Compressed PostScript ,
PDF
Leung, A Highly Efficient Instruction Scheduling of Realtime Programs on RISC Processors , TR1996-723, 1996/07.
Abstract ,
Compressed PostScript ,
PDF
Levin, A Piecewise Smooth Subdivision Surfaces with Normal Control , TR1999-781, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Lewis, A Optimizing Matrix Stability , TR1999-791, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Li, B PLinda User Manual , TR1996-729, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Li, Jing A Dual-Primal FETI Method for Incompressible Stokes Equations, TR2001-816, 2001/07.
Abstract ,
Compressed PostScript ,
PDF
Li, Jing Dual-Primal FETI Methods for Incompressible Stokes and Linearized Navier-Stokes Equations, TR2002-828, 2002/06.
Abstract ,
Compressed PostScript ,
PDF
Li, Jing Dual-Primal FETI Methods for Stationary Stokes and Navier-Stokes Equations , TR2002-830, 2002/09.
Abstract ,
Compressed PostScript ,
PDF
Li, Jing FETI--DP, BDDC, and Block Cholesky Methods , TR2004-857, 2005/01.
Abstract ,
Compressed PostScript ,
PDF
Li, Jing BDDC Algorithms for Incompressible Stokes Equations , TR2005-861, 2005/04.
Abstract ,
Compressed PostScript ,
PDF
Li, Jing On the Use of Inexact Subdomain Solvers for BDDC Algorithms , TR2005-871, 2005/07.
Abstract ,
Compressed PostScript ,
PDF
Li, Jinyuan Secure Untrusted Data Repository (SUNDR) , TR2003-841, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Li, K Dag Representation and Optimization of Rewriting , TR1990-518, 1990/09.
Abstract ,
Compressed PostScript ,
PDF
Li, Ninghui Local Names in SPKI/SDSI 2.0 , TR2000-798, 2000/02.
Abstract ,
Compressed PostScript ,
PDF
Lin, D Pincer-Search: A New Algorithm for Discovering the Maximum Frequent Set , TR1997-742, 1997/09.
Abstract ,
Compressed PostScript ,
PDF
Llambiri, Deni Efficiently Distributing Component-based Applications Across Wide-Area Environments , TR2002-832, 2002/10.
Abstract ,
Compressed PostScript ,
PDF
Lyu, Siwei Nonlinear extraction of 'Independent Components' of
elliptically symmetric densities using radial Gaussianization , TR2008-911, 2008/04.
Abstract ,
Compressed PostScript ,
PDF
M
Maday, Y Iterative Substructuring Preconditioners for Mortar Element Methods
in Two Dimensions , TR1997-735, 1997/04.
Abstract ,
Compressed PostScript ,
PDF
Maksymilian Dryja A BDDC algorithm for problems with mortar discretization , TR2005-873, 2005/09.
Abstract ,
Compressed PostScript ,
PDF
Mallat, S Matching Pursuits with Time-Frequency Dictionaries , TR1993-619, 1993/08.
Abstract ,
Compressed PostScript ,
PDF
Mallat, S Chacterization of Self-Similar with Wavelet
Maxima , TR1993-641, 1993/08.
Abstract ,
Compressed PostScript ,
PDF
Mallat, S Adaptive Time-Frequency Approximations
with Matching Pursuits , TR1994-657, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Martins, M Schwarz Preconditioners for Elliptic Problems with
Discontinuous Coefficients Using Conforming and Non-Conforming Elements , TR1994-671, 1994/09.
Abstract ,
Compressed PostScript ,
PDF
Max, D Feedback Control of Miniature Direct Drive
Devices , TR1993-652, 1993/11.
Abstract ,
Compressed PostScript ,
PDF
Max, D Simple Multi Function Vision System for 3D Data Acquisition , TR1994-673, 1994/10.
Abstract ,
Compressed PostScript ,
PDF
Maymounkov, Petar Online Codes , TR2002-833, 2002/11.
Abstract ,
Compressed PostScript ,
PDF
Mazieres, David Building Secure File Systems Out of Byzantine Storage, TR2002-826, 2002/05.
Abstract ,
Compressed PostScript ,
PDF
Mazieres, David Secure Untrusted Data Repository (SUNDR) , TR2003-841, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Meyer, J Stateless Remote Environment Navigation with View Compression , TR1999-784, 1999/04.
Abstract ,
Compressed PostScript ,
PDF
Meyer, Jonathan Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Mirrokni, Vahab Coordination Mechanisms for Weighted Sum of Completion Times , TR2010-930, 2010/05.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B The Complexity of Resolvent Resolved , TR1993-628, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B ED I: NYU Educational Robot Design and
Evaluation , TR1993-643, 1993/08.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Bidirectional Edges Problem, Part I: A Simple Algorithm , TR1993-646, 1993/09.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Bidirectional Edges Problem, Part II: An Efficient
Algorithm , TR1993-647, 1993/09.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B A Survey of Computational Differential Algebra , TR1993-650, 1993/10.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B NYU Educational
Robotics Project: A Pedagogic Overview , TR1993-653, 1993/11.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Automatic Synthesis Algorithms for Supervisory Controllers
(Preliminary Report) , TR1994-674, 1994/11.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Discrete Event Models + Temporal Logic = Supervisory Controller:
Automatic Synthesis of Locomotion Controllers , TR1994-675, 1994/11.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Grasp Metrics: Optimality and Complexity , TR1995-680, 1995/01.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B On the Dynamic Finger Conjecture for Splay Trees
Part I: Splay Sorting log n-Block Sequences , TR1995-700, 1995/08.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete , TR1995-707, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Three Finger Optimal Planar Grasp , TR1995-709, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B The Average Case Complexity of Multilevel Syllogistic , TR1995-711, 1995/12.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Computational Real Algebraic Geometry , TR1995-713, 1995/12.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B NYU Reactive Gripper: An Implementation , TR1996-719, 1996/05.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Genomics via Optical Mapping II(A): Restriction Maps from Partial Molecules and Variations , TR1998-759, 1998/02.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Genomics via Optical Mapping III: Contiging Genomic DNA and Variations , TR1998-760, 1998/02.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Genomics via Optical Mapping (I): Probabilistic Analysis of Optical Mapping Models , TR1998-770, 1998/08.
Abstract ,
Compressed PostScript ,
PDF
Mishra, B Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis , TR2005-859, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Mishra, Bud Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data , TR2003-845, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
Mishra, Bud Modal Logic, Temporal Models and Neural Circuits: What Connects Them , TR2007-907, 2008/02.
Abstract ,
Compressed PostScript ,
PDF
Mishra, Bud Competitive Hybridization Model , TR2008-913, 2008/10.
Abstract ,
Compressed PostScript ,
PDF
Mishra, Bud Title: Genomics via Optical Mapping IV: Sequence
Validation via Optical Map Matching, TR2000-811, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Mishra, Bud Fast and Cheap Genome wide Haplotype Construction via Optical Mapping , TR2004-852, 2004/06.
Abstract ,
Compressed PostScript ,
PDF
Mishra, Bud Naturally Speaking: A Systems Biology Tool with Natural Language Interfaces , TR2004-853, 2004/06.
Abstract ,
Compressed PostScript ,
PDF
Mishra, Bud Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants , TR2005-858, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Mohri, Mehryar General Algorithms for Testing the Ambiguity of Finite Automata , TR2007-908, 2008/02.
Abstract ,
Compressed PostScript ,
PDF
Mohri, Mehryar A Unified Construction of the Glushkov, Follow, and Antimirov Automata, TR2006-880, 2006/04.
Abstract ,
Compressed PostScript ,
PDF
Mohri, Mehryar On Transductive Regression , TR2006-883, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
Mohri, Mehryar On the Computation of the Relative Entropy of Probabilistic Automata, TR2007-886, 2007/01.
Abstract ,
Compressed PostScript ,
PDF
Mohri, Mehryar Magnitude-Preserving Ranking Algorithms , TR2007-887, 2007/03.
Abstract ,
Compressed PostScript ,
PDF
Mohri, Mehryar N-Way Composition of Weighted Finite-State Transducers , TR2007-902, 2007/08.
Abstract ,
Compressed PostScript ,
PDF
Mohri, Mehryar An Efficient Reduction of Ranking to Classification , TR2007-903, 2007/09.
Abstract ,
Compressed PostScript ,
PDF
Moro, J On the Lidskii-Vishik-Lyusternik Perturbation Theory for
Eigenvalues of Matrices with Arbitrary Jordan Structure , TR1995-710, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Motwani, R Combined Instruction Scheduling and Register Allocation , TR1995-698, 1995/07 .
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A On the First Degree Entailment of Two 3-Valued Logics , TR1995-688, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A Knowledge Representation as Domains , TR1995-689, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A A Framework for Knowledge-Based Systems , TR1995-690, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A Some Knowledge Transformers: Infons and Constraints , TR1995-691, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A A Knowledge Representation Based on the Belnap's Four-Valued Logic , TR1995-692, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A A Perspective of New Foundations for Knowledge Maintenance Systems:
Research Program , TR1995-693, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A Logic of Information Knowledge , TR1995-694, 1995/05.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A Some Knowledge Transformers: Infons and Constraints , TR1995-696, 1995/05 (see tr #691)
.
Abstract ,
Compressed PostScript ,
PDF
Muravitsky, A New Mathematical Foundations for Knowledge Maintenance Systems:
Research Programs , TR1995-697, 1995/05 (see tr #693)
.
Abstract ,
Compressed PostScript ,
PDF
Mutukrishnan Highly Efficient Dictionary Matching in
Parallel , TR1993-632, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Mysore, V Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis , TR2005-859, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Mysore, Venkatesh Fast and Cheap Genome wide Haplotype Construction via Optical Mapping , TR2004-852, 2004/06.
Abstract ,
Compressed PostScript ,
PDF
N
Naimark, Michael Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Namjoshi, Kedar Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors , TR2008-910, 2008/03.
Abstract ,
Compressed PostScript ,
PDF
Namjoshi, Kedar Formalization and Automated Verification of RESTful Behavior, TR2011-938, 2011/05.
Abstract ,
Compressed PostScript ,
PDF.
Nayakkankuppa, M SDPPACK User's Guide -- Version 0.9 Beta for Matlab 5.0 , TR1997-737, 1997/06.
Abstract ,
Compressed PostScript ,
PDF
Nayakkankuppam, M SDPPACK User's Guide -- Version 0.8 Beta , TR1997-734, 1997/03.
Abstract ,
Compressed PostScript ,
PDF
Nepomnyaschikh, S Decomposition and Fictitious Domains Methods for
Elliptic Boundary Value Problems , TR1991-562, 1991/05.
Abstract ,
Compressed PostScript ,
PDF
O
Oh, Duk-Soon Domain Decomposition Methods for Raviart-Thomas Vector Fields, TR2011-942, 2011/11.
Abstract ,
Compressed PostScript ,
PDF .
Oh, Duk-Soon AN OVERLAPPING SCHWARZ ALGORITHM FOR
RAVIART-THOMAS VECTOR FIELDS WITH DISCONTINUOUS COEFFICIENTS, TR2010-933, 2010/09.
Abstract ,
Compressed PostScript ,
PDF
Oliveras, Albert Design and Results of the 4th Annual Satisfiability Modulo
Theories Competition (SMT-COMP 2008) , TR2010-931, 2010/07.
Abstract ,
Compressed PostScript ,
PDF
Ong, P Space Variant Image
Processing , TR1993-633, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Orda, A WebSeal: Web Server Allocation , TR1997-752, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Ost, K Edge-Coloring Bipartite Multigraphs in $0(E\log D)$ Time , TR1999-792, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Ouyang, P Execution of Regular DO Loops on Asynchronous
Multiprocessors , TR1990-523, 1990/10.
Abstract ,
Compressed PostScript ,
PDF
Overton, M On the Optimal Design of Columns Against
Buckling , TR1990-510, 1990/06.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Optimality Conditions and Duality Theory
for Minimizing Sums of the Largest Eigenvalues of Symmetric Matrices , TR1991-566, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Overton, M On the Subdifferentiability of a Matrix
Spectrum I: Mathematical Foundations , TR1991-567, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Overton, M On the Subdifferentiability of a Matrix
Spectrum II: Subdifferential Formulas , TR1991-568, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Differential Properties of Eigenvalues , TR1991-579, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Overton, M A Hybrid Algorithm for Optimizing Eigenvalues
of Symmetric Definite Pencils , TR1993-624, 1993/02.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Second Derivatives for Optimizing Eigenvalues
of Symmetric Matrices , TR1993-627, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Towards Second-Order Methods for Structured
Nonsmooth Optimization , TR1993-631, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Overton, M A New Primal-Dual
Interior-Point Method for Semidefinite Programming , TR1994-659, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Optimizing Eigenvalues of Symmetric
Definite Pencils , TR1994-660, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Complementarity and Nondegeneracy in Semidefinite Programming , TR1995-681, 1995/03.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Computing Limit Loads by Minimizing a Sum of Norms , TR1995-682, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Overton, M On the Lidskii-Vishik-Lyusternik Perturbation Theory for
Eigenvalues of Matrices with Arbitrary Jordan Structure , TR1995-710, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Primal-Dual Interior-Point Methods for Semidefinite Programming:
Convergence Rates, Stability and Numerical Results , TR1996-721, 1996/05.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Two Heuristics for the Steiner Tree Problem , TR1996-724, 1996/08.
Abstract ,
Compressed PostScript ,
PDF
Overton, M SDPPACK User's Guide -- Version 0.8 Beta , TR1997-734, 1997/03.
Abstract ,
Compressed PostScript ,
PDF
Overton, M SDPPACK User's Guide -- Version 0.9 Beta for Matlab 5.0 , TR1997-737, 1997/06.
Abstract ,
Compressed PostScript ,
PDF
Overton, M An Efficient Primal-Dual Interior-Point Method for Minimizing a Sum of Euclidean Norms , TR1998-769, 1998/08.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Variational Analysis of Non-Lipschitz Spectral Functions , TR1999-790, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Optimizing Matrix Stability , TR1999-791, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Overton, M Variational Analysis of the Abscissa Mapping for Polynomials , TR2000-799, 2000/03.
Abstract ,
Compressed PostScript ,
PDF
P
Paige, R New Theoretical and Computational Results for
Regular Languages , TR1991-587, 1991/10.
Abstract ,
Compressed PostScript ,
PDF
Paige, R More Efficient Bottom-Up Mult-Pattern
Matching in Trees , TR1992-604, 1992/04.
Abstract ,
Compressed PostScript ,
PDF
Paige, R Multiset Discrimination - A Method for Implementing
Programming Language Systems without Hashing , TR1992-609, 1992/06.
Abstract ,
Compressed PostScript ,
PDF
Paige, R A New Solution to the Hidden Copy Problem , TR1998-763, 1998/04.
Abstract ,
Compressed PostScript ,
PDF
Palem, K Highly Efficient Dictionary Matching in
Parallel , TR1993-632, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Palem, K Combined Instruction Scheduling and Register Allocation , TR1995-698, 1995/07 .
Abstract ,
Compressed PostScript ,
PDF
Palem, K Run-time versus Compile-time Instruction Scheduling in Superscalar
(RISC) Processors: Performance and Tradeoffs , TR1995-699, 1995/07.
Abstract ,
Compressed PostScript ,
PDF
Palem, K CoRRet: A CONSTRAINT Based Environment for Rapid Prototyping Real
Time Programs , TR1996-718, 1996/03.
Abstract ,
Compressed PostScript ,
PDF
Palem, K Highly Efficient Instruction Scheduling of Realtime Programs on RISC Processors , TR1996-723, 1996/07.
Abstract ,
Compressed PostScript ,
PDF
Parida, L A Model and Solution to the DNA Flipping String Problem , TR1996-720, 1996/05.
Abstract ,
Compressed PostScript ,
PDF
Parida, L A Uniform Framework for Ordered Restriction Map Problems , TR1997-739, 1997/08.
Abstract ,
Compressed PostScript ,
PDF
Parida, L Inapproximability of Flip-Cut, Shift-Cut and Other problems
from Optical Mapping , TR1997-740, 1997/08.
Abstract ,
Compressed PostScript ,
PDF
Parida, L Junctions: Detection, Classification and Reconstruction , TR1997-741, 1997/08.
Abstract ,
Compressed PostScript ,
PDF
Parilov, Evgueni Real-time rendering of normal maps with discontinuities , TR2005-872, 2005/08.
Abstract ,
Compressed PostScript ,
PDF
Park, G Semantic Analyses for Storage Management Optimizations in
Functional Language Implementations , TR1992-597, 1992/02.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L An Additive Schwarz Method for the P-Version Finite
Element Method , TR1991-580, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L Some Schwarz Algorithms for the P-Version Finite
Element Method , TR1992-614, 1992/09.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L Domain Decomposition Algorithms for the P-Version
Finite Element Method for Elliptic Problems , TR1992-616, 1992/09.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L Iterative Substructuring Methods for
Spectral Elements in Three Dimensions , TR1993-648, 1993/09.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L A Polylogarithmic Bound for an Iterative
Substructuring Method for Spectral Elements in Three Dimensions , TR1994-661, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L Iterative Substructuring Methods for Spectral
Elements: Problems in Three Dimensions Based on Numerical Quadrature , TR1994-663, 1994/05.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L Iterative Substructuring Methods for Spectral Element Discretizations of
Elliptic System -> I: Compressible Linear Elasticity , TR1997-744, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L Iterative Substructuring Methods for Spectral Element
Discretizations of Elliptic Systems in Three Dimensions , TR1997-747, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, L Iterative Substructuring Methods for Spectral Element Discretizations of
Elliptic Systems. II: Mixed Methods for Linear Elasticity and Stokes Flow , TR1997-755, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, Luca Title: Balancing Neumann-Neumann Methods for
Incompressible Stokes Equations, TR2001-813, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Pavarino, Luca F. Balancing Neumann-Neumann Preconditioners for Mixed Approximations of Heterogeneous Problems in Linear Elasticity, TR2002-825, 2002/04.
Abstract ,
Compressed PostScript ,
PDF
Paxia, Salvatore Title: Genomics via Optical Mapping IV: Sequence
Validation via Optical Map Matching, TR2000-811, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Perlin, K Stateless Remote Environment Navigation with View Compression , TR1999-784, 1999/04.
Abstract ,
Compressed PostScript ,
PDF
Pesin, Tracy dRBAC: Distributed Role-based Access Control for Dynamic Environments, TR2001-819, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Pesin, Tracy DisCo: A Distribution Infrastructure for Securely Deploying Decomposable Services in Partly Trusted Environments , TR2001-820, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Pesin, Tracy Credentialed Secure Communication "Switchboards" , TR2001-821, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Piatko, P Smile consistency - A Memory Consistency Model with User Definable High
Level Synchronization Primitives , TR1997-745, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Piazza, C Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis , TR2005-859, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Pnueli,A Highly Efficient Instruction Scheduling of Realtime Programs on RISC Processors , TR1996-723, 1996/07.
Abstract ,
Compressed PostScript ,
PDF
Pnueli, Amir PSL Model Checking and Run-time Verification via Testers, TR2006-881, 2006/05.
Abstract ,
Compressed PostScript ,
PDF
Pnueli, Amir Invisible Safety of Distributed Protocols , TR2006-884, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
Pnueli, Amir Shape Analysis of Single-Parent Heaps , TR2006-885, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
Pnueli, Amir Effective Synthesis of Asynchronous Systems from GR(1) Specifications, TR2011-944, 2011/12.
Abstract ,
Compressed PostScript ,
PDF .
Policriti, A Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis , TR2005-859, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Port, Lawrence dRBAC: Distributed Role-based Access Control for Dynamic Environments, TR2001-819, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Port, Lawrence DisCo: A Distribution Infrastructure for Securely Deploying Decomposable Services in Partly Trusted Environments , TR2001-820, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Port, Lawrence Credentialed Secure Communication "Switchboards" , TR2001-821, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Portilla, Javier Image Denoising using a Gaussian Scale Mixture in the Wavelet Domain , TR2002-831, 2002/09.
Abstract ,
Compressed PostScript ,
PDF
Postelnicu, Alexandru Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Prabhu, N Cutting a Polytope , TR1990-531, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Prabhu, N On Triangulations of the
3-Ball and the Solid Torus , TR1990-532, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Prabhu, N On a Conjecture of Micha Perles , TR1990-533, 1990/11.
Abstract ,
Compressed PostScript ,
PDF
Przytycka, T An O(n log n) Algorithm for the Maximum Agreement Subtree Problem for
Binary Trees , TR1996-730, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
R
Rabinovich, Michael Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Raghunathan, A Online Algorithms for Finger Searching , TR1991-573, 1991/08.
Abstract ,
Compressed PostScript ,
PDF
Ramakrishnan, Naren Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants , TR2005-858, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Ramakrishnan, Naren Modal Logic, Temporal Models and Neural Circuits: What Connects Them , TR2007-907, 2008/02.
Abstract ,
Compressed PostScript ,
PDF
Rapetti, F A Feti preconditioner for two dimensional edge element approximations of Maxwell's equations on non-matching grids , TR2000-797, 2000/01.
Abstract ,
Compressed PostScript ,
PDF
Raphan, Martin Empirical Bayes least squares estimation without an explicit prior , TR2007-900, 2007/05.
Abstract ,
Compressed PostScript ,
PDF
Raphan, Martin An Empirical Bayesian interpretation and generalization of NL-means , TR2010-934, 2010/10.
Abstract ,
Compressed PostScript ,
PDF
Rastogi, Ashish Magnitude-Preserving Ranking Algorithms , TR2007-887, 2007/03.
Abstract ,
Compressed PostScript ,
PDF
Rastogi, Ashish General Algorithms for Testing the Ambiguity of Finite Automata , TR2007-908, 2008/02.
Abstract ,
Compressed PostScript ,
PDF
Rastogi, Ashish On the Computation of the Relative Entropy of Probabilistic Automata, TR2007-886, 2007/01.
Abstract ,
Compressed PostScript ,
PDF
Rejali, Marc Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data , TR2003-845, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
Reyen, S Combined Instruction Scheduling and Register Allocation , TR1995-698, 1995/07 .
Abstract ,
Compressed PostScript ,
PDF
Rgoutsos, I On a Parallel Implementation of Geometric
Hashing on the Connection Machine , TR1991-554, 1991/04.
Abstract ,
Compressed PostScript ,
PDF
Rheinbach, Oliver An analysis of a FETI--DP algorithm on irregular subdomains in the plane , TR2007-889, 2007/04.
Abstract ,
Compressed PostScript ,
PDF
Rigoutsos, I Scalable Parallel Geometric Hashing for
Hypercube SIMD Architechtures , TR1991-553, 1991/01.
Abstract ,
Compressed PostScript ,
PDF
Riley, Michael On the Computation of the Relative Entropy of Probabilistic Automata, TR2007-886, 2007/01.
Abstract ,
Compressed PostScript ,
PDF
Rosenberg, Ilya Real-time rendering of normal maps with discontinuities , TR2005-872, 2005/08.
Abstract ,
Compressed PostScript ,
PDF
Rosenthal, Sally Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Rudin, Cynthia Ranking with a P-norm Push , TR2005-874, 2005/09.
Abstract ,
Compressed PostScript ,
PDF
S
Salen, Katie Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Sarkar, V Combined Instruction Scheduling and Register Allocation , TR1995-698, 1995/07 .
Abstract ,
Compressed PostScript ,
PDF
Sarkis, M Two-Level Schwarz Methods for Nonconforming Finite Elements
and Discontinuous Coefficients , TR1993-629, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Sarkis, M Multilevel Schwarz Methods for
Elliptic Problems with Discontinuous Coefficients in Three Dimensions , TR1994-662, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Schirra, S Edge-Coloring Bipartite Multigraphs in $0(E\log D)$ Time , TR1999-792, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Schlick, T HESFCN - A Fortran package of
Hessian Subroutines for Testing Nonlinear Optimization Software , TR1992-610, 1992/06.
Abstract ,
Compressed PostScript ,
PDF
Schmidt, J Double Hashing is Computable and Randomizable with Universal Hash Functions , TR1995-686, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Schmidt, J Closed Hashing is Computable and Optimally Randomizable with Universal
Hash Functions , TR1995-687, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Schmidt, J On the Dynamic Finger Conjecture for Splay Trees
Part I: Splay Sorting log n-Block Sequences , TR1995-700, 1995/08.
Abstract ,
Compressed PostScript ,
PDF
Schuette, C On the Singular Limit of the Quantum-Classical Molecular Dynamics Model , TR1997-733, 1997/03.
Abstract ,
Compressed PostScript ,
PDF
Schwartz, D Genomics via Optical Mapping III: Contiging Genomic DNA and Variations , TR1998-760, 1998/02.
Abstract ,
Compressed PostScript ,
PDF
Schwartz, E Space Variant Image
Processing , TR1993-633, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Schwartz, E Voice-Bandwidth Visual
Communication Through Logmaps: The Telecortex , TR1993-636, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Schwartz, N Steering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract
Syntax Tree in C Programs , TR1998-766, 1998/06.
Abstract ,
Compressed PostScript ,
PDF
Schwartz, N Memory Classification Analysis for Recursive C Structures , TR1999-776, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Schwartz, N Parallel Programming for Everyone , TR1999-779, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Schwartz, N Sparse Constant Propagation via Memory Classification Analysis , TR1999-782, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Schwiegelshohn, U Efficient Algorithms for Cyclic
Scheduling , TR1991-571, 1991/07.
Abstract ,
Compressed PostScript ,
PDF
Selig, J Scaling Direct Drive Robots , TR1994-669, 1994/08.
Abstract ,
Compressed PostScript ,
PDF
Sellen, J Approximate Euclidean Shortest Path in
3-Space , TR1994-670, 1994/09.
Abstract ,
Compressed PostScript ,
PDF
Sellen, J Planning Paths of Minimal Curvature , TR1994-672, 1994/10.
Abstract ,
Compressed PostScript ,
PDF
Seul, Michael Competitive Hybridization Model , TR2008-913, 2008/10.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D Tree Locking on Changing Trees , TR1990-503, 1990/04.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D Beyond Fail-Stop: Wait-Free Serializability
and Resiliency in the Presence of Slow-Down Failures , TR1990-514, 1990/09.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D An Optimal Scheduling Algorithm with a
Competitive Factor for Real-Time Systems , TR1991-572, 1991/07.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D Competitive Algorithms and Lower Bounds for
On-Line Scheduling of Multiprocessor Real-Time Systems , TR1993-639, 1993/06.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D Skip-Over: Algorithms and Complexity for Overloaded Systems that
Allow Skips , TR1996-715, 1996/01.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D Hierarchically Split Cube Forests for Decision Support:
description and tuned design , TR1996-727, 1996/11.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D PLinda User Manual , TR1996-729, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Shasha, D Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs , TR2000-803, 2000/06.
Abstract ,
Compressed PostScript ,
PDF
Shasha, Dennis Building Secure File Systems Out of Byzantine Storage, TR2002-826, 2002/05.
Abstract ,
Compressed PostScript ,
PDF
Shasha, Dennis StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time, TR2002-827, 2002/08.
Abstract ,
Compressed PostScript ,
PDF
Shasha, Dennis AQuery: Query Language for Ordered Data, Optimization Techniques, and Experiments , TR2003-836, 2003/03.
Abstract ,
Compressed PostScript ,
PDF
Shasha, Dennis Secure Untrusted Data Repository (SUNDR) , TR2003-841, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Shasha, Dennis Better Burst Detection , TR2005-876, 2005/11.
Abstract ,
Compressed PostScript ,
PDF
Shasha, Dennis DNA Hash Pooling and its Applications , TR2007-901, 2007/05.
Abstract ,
Compressed PostScript ,
PDF
Shi, Weisong Modeling Object Characteristics of Dynamic Web Content, TR2001-822, 2001/11.
Abstract ,
Compressed PostScript ,
PDF
Shi, Weisong Workload Characterization of a Personalized Web Site - And Its Implications for Dynamic Content Caching, TR2002-829, 2002/05.
Abstract ,
Compressed PostScript ,
PDF
Shi, Weisong CANS: Composable, Adaptive Network Services Infrastructure
, TR2000-808, 2000/10.
Abstract ,
Compressed PostScript ,
PDF
Shi, Weisong Title: Automatic Deployment of Transcoding Components for
Ubiquitous, Network-Aware Access to Internet Services, TR2001-814, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Shikanian, Igor An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types , TR2005-878, 2005/11.
Abstract ,
Compressed PostScript ,
PDF
Shriver, E An API for Choreographing Data Accesses , TR1995-708, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Siegel, A On Universal Classes of Extremely Random Constant Time Hash Functions
and their Time-space Tradeoff , TR1995-684, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Siegel, A Toward a Usable Theory of Chernoff Bounds for Heterogeneous and Partially
Dependent Random Variables , TR1995-685, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Siegel, A Double Hashing is Computable and Randomizable with Universal Hash Functions , TR1995-686, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Siegel, A Closed Hashing is Computable and Optimally Randomizable with Universal
Hash Functions , TR1995-687, 1995/04.
Abstract ,
Compressed PostScript ,
PDF
Siegel, A On the Dynamic Finger Conjecture for Splay Trees
Part I: Splay Sorting log n-Block Sequences , TR1995-700, 1995/08.
Abstract ,
Compressed PostScript ,
PDF
Simoncelli, Eero P. Image Denoising using a Gaussian Scale Mixture in the Wavelet Domain , TR2002-831, 2002/09.
Abstract ,
Compressed PostScript ,
PDF
Simoncelli, Eero P. Nonlinear Image Representation via Local Multiscale Orientation , TR2005-875, 2005/10.
Abstract ,
Compressed PostScript ,
PDF
Simoncelli, Eero P. Empirical Bayes least squares estimation without an explicit prior , TR2007-900, 2007/05.
Abstract ,
Compressed PostScript ,
PDF
Simoncelli, Euro P. Nonlinear extraction of 'Independent Components' of
elliptically symmetric densities using radial Gaussianization , TR2008-911, 2008/04.
Abstract ,
Compressed PostScript ,
PDF
Simoncelli, Euro P. An Empirical Bayesian interpretation and generalization of NL-means , TR2010-934, 2010/10.
Abstract ,
Compressed PostScript ,
PDF
Smith, B Domain Decomposition Algorithms for the Partial
Differential Equations of Linear Elasticity , TR1990-517, 1990/09.
Abstract ,
Compressed PostScript ,
PDF
Smith, B A Domain Decomposition Algorithm for Elliptic Problems
in Three Dimensions , TR1990-519, 1990/10.
Abstract ,
Compressed PostScript ,
PDF
Smith, B Schwarz Analysis of Iterative
Substructuring Algorithms for Elliptic Problems in Three Dimensions , TR1993-638, 1993/05.
Abstract ,
Compressed PostScript ,
PDF
Sokolov, S Simple Multi Function Vision System for 3D Data Acquisition , TR1994-673, 1994/10.
Abstract ,
Compressed PostScript ,
PDF
Soulé, R
A Universal Calculus for Stream Processing Languages, TR2010-924, 2010/01.
Abstract ,
Compressed PostScript ,
PDF
Soulé, R
From a Calculus to an Execution Environment for Stream Processing, TR2011-945, 2011/11.
Abstract ,
Compressed PostScript ,
PDF .
Soulé, Robert
Hitting the Sweet Spot for Streaming Languages: Dynamic Expressivity with Static Optimization, TR2012-948, 2012
Abstract ,
Compressed PostScript ,
PDF .
Spivak, Marina Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants , TR2005-858, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Stefanica, D A Numerical Study of FETI Algorithms for Mortar Finite Element Methods, TR2000-807, 2000/09.
Abstract ,
Compressed PostScript ,
PDF
Stefanica, D On the L(2) Stability of the 1-D Mortar Projection , TR1998-767, 1998/06.
Abstract ,
Compressed PostScript ,
PDF
Stefanica, D A Numerical Study of a Class of FETI Preconditioners for Mortar
Finite Elements in Two Dimensions , TR1998-773, 1998/11.
Abstract ,
Compressed PostScript ,
PDF
Stefanica, D Poincare and Friedrichs Inequalities For Mortar Finite Element Methods , TR1998-774, 1998/11.
Abstract ,
Compressed PostScript ,
PDF
Stefanica, D Domain Decomposition Methods for Mortar Finite Elements , TR2000-804, 2000/07.
Abstract ,
Compressed PostScript ,
PDF
Stefan Schmieta SDPPACK User's Guide -- Version 0.9 Beta for Matlab 5.0 , TR1997-737, 1997/06.
Abstract ,
Compressed PostScript ,
PDF
Stocker, Alan Optical flow estimation as distributed optimization problem - an aVLSI implementation , TR2004-850, 2004/01.
Abstract ,
Compressed PostScript ,
PDF
Strakos, Z Matrices that Generate the Same Krylov
Residual Spaces , TR1992-608, 1992/05.
Abstract ,
Compressed PostScript ,
PDF
Strela, Vasily Image Denoising using a Gaussian Scale Mixture in the Wavelet Domain , TR2002-831, 2002/09.
Abstract ,
Compressed PostScript ,
PDF
Stump, Aaron Design and Results of the 4th Annual Satisfiability Modulo
Theories Competition (SMT-COMP 2008) , TR2010-931, 2010/07.
Abstract ,
Compressed PostScript ,
PDF
Sudol, Jeremi Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Sundar, R Amortized Complexity of Data Structures , TR1991-561, 1991/05.
Abstract ,
Compressed PostScript ,
PDF
Szeliski, Richard Multigrid and Multilevel Preconditioners for Computational Photography , TR2011-941, 2011/10.
Abstract ,
Compressed PostScript ,
PDF
T
Talla, S PLinda User Manual , TR1996-729, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Tarjan, R Randomized Parallel Algorithms
for Trapezoidal Diagrams , TR1991-548, 1991/03.
Abstract ,
Compressed PostScript ,
PDF
Tarjan, R An $O(m$log$n)$-Time Algorithm for the
Maximal Planar Subgraph Problem , TR1992-602, 1992/04.
Abstract ,
Compressed PostScript ,
PDF
Tarjan, R More Efficient Bottom-Up Mult-Pattern
Matching in Trees , TR1992-604, 1992/04.
Abstract ,
Compressed PostScript ,
PDF
Teichman,M Three Finger Optimal Planar Grasp , TR1995-709, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Teichmann, M NYU Reactive Gripper: An Implementation , TR1996-719, 1996/05.
Abstract ,
Compressed PostScript ,
PDF
Thampy, Trivikaraman Factor Graphs for Relational Regression , TR2007-906, 2008/01.
Abstract ,
Compressed PostScript ,
PDF
Thorup, M An O(n log n) Algorithm for the Maximum Agreement Subtree Problem for
Binary Trees , TR1996-730, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Tinelli, Cesare An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types , TR2005-878, 2005/11.
Abstract ,
Compressed PostScript ,
PDF
Torresani, Lorenzo Robust Model-Free Tracking of Non-Rigid Shape , TR2003-840, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A A FETI Domain Decomposition Method for Maxwell's Equations
with Discontinuous Coefficients in Two Dimensions , TR1999-788, 1999/09.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A hp-finite element approximations on non-matching grids for partial
differential equations with non-negative characteristic form, TR2000-806, 2000/09.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A Some Numerical Results Using An Additive Schwarz Method For Maxwell's Equations , TR1996-726, 1996/11.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A Overlapping Schwarz Methods for Maxwell's Equations in Three Dimensions , TR1997-736, 1997/06.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A Overlapping Schwarz Methods for Vector Valued Elliptic Problems in Three Dimensions , TR1997-746, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A Some Results on Overlapping Schwarz Methods for the Helmholtz Equation Employing Perfectly
Matched Layers , TR1998-765, 1998/06.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A An Iterative Substructuring Method for Maxwell's Equations in
Two Dimensions , TR1998-768, 1998/07.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A An Iterative Substructuring Method for Raviart-Thomas Vector Fields
in Three Dimensions , TR1998-775, 1998/10.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A Domain Decomposition Methods for Vector Field Problems , TR1999-785, 1999/05.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A Neumann-Neumann Methods for Vector Field Problems , TR1999-786, 1999/06.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A A Feti preconditioner for two dimensional edge element approximations of Maxwell's equations on non-matching grids , TR2000-797, 2000/01.
Abstract ,
Compressed PostScript ,
PDF
Toselli, A FETI domain decomposition methods for scalar advection-diffusion problems , TR2000-800, 2000/03.
Abstract ,
Compressed PostScript ,
PDF
Toselli, Andrea Title: An Overlapping Domain Decomposition Preconditioner for a
Class of Discontinuous Galerkin Approximations of Advection-Diffusion
Problems, TR2000-810, 2000/11.
Abstract ,
Compressed PostScript ,
PDF
Totok, Alexander Efficiently Distributing Component-based Applications Across Wide-Area Environments , TR2002-832, 2002/10.
Abstract ,
Compressed PostScript ,
PDF
Totok, Alexander Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments , TR2005-867, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Totok, Alexander Modeling Of Concurrent Web Sessions With Bounded Inconsistency In Shared Data , TR2005-868, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Trefethen, L GMRES/CR and Arnoldi/Lanczos as Matrix
Approximation Problems , TR1992-607, 1992/05.
Abstract ,
Compressed PostScript ,
PDF
Tsai, F Statistical Approach to Affine Invariant Matching with
Line Features , TR1992-621, 1992/11.
Abstract ,
Compressed PostScript ,
PDF
Tsai, F Using Line Invariants for Object Recognition by Geometric
Hasing , TR1993-625, 1993/02.
Abstract ,
Compressed PostScript ,
PDF
Tsai, F A Probabilistic Approach to Geometric Hashing Using Line
Features , TR1993-640, 1993/06.
Abstract ,
Compressed PostScript ,
PDF
Tu, Xuemin Three-level BDDC in Two Dimensions , TR2004-856, 2004/11.
Abstract ,
Compressed PostScript ,
PDF
Tu, Xuemin A Domain Decomposition Discretization of Parabolic Problems , TR2005-860, 2005/04.
Abstract ,
Compressed PostScript ,
PDF
Tu, Xuemin Three-Level BDDC in Three Dimensions , TR2005-862, 2005/04.
Abstract ,
Compressed PostScript ,
PDF
Tu, Xuemin A BDDC Algorithm for Mixed Formulation of Flow in Porous Media , TR2005-864, 2005/05.
Abstract ,
Compressed PostScript ,
PDF
Tu, Xuemin A BDDC algorithm for flow in porous media with a hybrid finite element discretization , TR2005-865, 2005/05.
Abstract ,
Compressed PostScript ,
PDF
Tu, Xuemin BDDC Domain Decomposition Algorithms: Methods with Three Levels and for Flow in Porous Media , TR2005-879, 2005/12.
Abstract ,
Compressed PostScript ,
PDF
Turek, J Beyond Fail-Stop: Wait-Free Serializability
and Resiliency in the Presence of Slow-Down Failures , TR1990-514, 1990/09.
Abstract ,
Compressed PostScript ,
PDF
U
Ungureanu, C Run-time versus Compile-time Instruction Scheduling in Superscalar
(RISC) Processors: Performance and Tradeoffs , TR1995-699, 1995/07.
Abstract ,
Compressed PostScript ,
PDF
Ungureanu, C A Note on Scheduling Algorithms for Processors with Lookahead , TR1996-722, 1996/06.
Abstract ,
Compressed PostScript ,
PDF
Ungureanu, C Formal Models of Distributed Memory Management , TR1996-728, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
V
Verton Large-Scale Optimization of Eigenvalues , TR1990-505, 1990/05.
Abstract ,
Compressed PostScript ,
PDF
Vishkin, U On the Detection of Robust Curves , TR1991-557, 1991/04.
Abstract ,
Compressed PostScript ,
PDF
W
Wainwright, Martin J. Image Denoising using a Gaussian Scale Mixture in the Wavelet Domain , TR2002-831, 2002/09.
Abstract ,
Compressed PostScript ,
PDF
Wallace,R Simple Multi Function Vision System for 3D Data Acquisition , TR1994-673, 1994/10.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R Space Variant Image
Processing , TR1993-633, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R Miniature Direct-Drive Rotary Actuators , TR1993-634, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R Voice-Bandwidth Visual
Communication Through Logmaps: The Telecortex , TR1993-636, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R Miniature Direct Drive Rotary Actuators II: Eye,
Finger, and Leg , TR1993-651, 1993/11.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R Feedback Control of Miniature Direct Drive
Devices , TR1993-652, 1993/11.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R NYU Educational
Robotics Project: A Pedagogic Overview , TR1993-653, 1993/11.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R A Direct-Drive Hand: Design, Modeling and Control , TR1994-668, 1994/06.
Abstract ,
Compressed PostScript ,
PDF
Wallace, R Scaling Direct Drive Robots , TR1994-669, 1994/08.
Abstract ,
Compressed PostScript ,
PDF
Wang, H Transparent Network Connectivity in Dynamic Cluster Environments , TR1999-794, 1999/11.
Abstract ,
Compressed PostScript ,
PDF
Wang, Ziyang Improved Link-Based Algorithms for Ranking Web Pages , TR2003-846, 2003/06.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Domain Decomposition Algorithms for Indefinite
Elliptic Problems , TR1990-506, 1990/05.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Multilevel Additive Methods for Elliptic
Finite Element Problems , TR1990-507, 1990/05.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Additive Schwarz Methods for Elliptic
Finite Element Problems in Three Dimensions , TR1991-570, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Some Schwarz Methods for Symmetric and Nonsymmetric
Elliptic Problems , TR1991-581, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Multiplicative Schwarz Algorithms for Some
Nonsymmetric and Indefinite Problems , TR1992-595, 1992/02.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Domain Decomposition Algorithms with Small
Overlap , TR1992-606, 1992/05.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Some Recent Results on Schwarz Type Domain
Decomposition Algorithms , TR1992-615, 1992/09.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Schwarz Methods of Neumann-Neumann Type for
Three-Dimensional Elliptic Finite Element Problems , TR1993-626, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Schwarz Analysis of Iterative
Substructuring Algorithms for Elliptic Problems in Three Dimensions , TR1993-638, 1993/05.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Iterative Substructuring Methods for
Spectral Elements in Three Dimensions , TR1993-648, 1993/09.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O A Polylogarithmic Bound for an Iterative
Substructuring Method for Spectral Elements in Three Dimensions , TR1994-661, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Multilevel Schwarz Methods for
Elliptic Problems with Discontinuous Coefficients in Three Dimensions , TR1994-662, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Iterative Substructuring Methods for Spectral
Elements: Problems in Three Dimensions Based on Numerical Quadrature , TR1994-663, 1994/05.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O A Hierarchical Preconditioner for the Mortar Finite Element Method , TR1995-712, 1995/12.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Iterative Substructuring Preconditioners for Mortar Element Methods
in Two Dimensions , TR1997-735, 1997/04.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Iterative Substructuring Methods for Spectral Element Discretizations of
Elliptic System -> I: Compressible Linear Elasticity , TR1997-744, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Iterative Substructuring Methods for Spectral Element
Discretizations of Elliptic Systems in Three Dimensions , TR1997-747, 1997/10.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Overlapping Schwarz Algorithms for Solving Helmholtz's Equation , TR1997-753, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O Iterative Substructuring Methods for Spectral Element Discretizations of
Elliptic Systems. II: Mixed Methods for Linear Elasticity and Stokes Flow , TR1997-755, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O An Iterative Substructuring Method for Maxwell's Equations in
Two Dimensions , TR1998-768, 1998/07.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O An Iterative Substructuring Method for Raviart-Thomas Vector Fields
in Three Dimensions , TR1998-775, 1998/10.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O A Domain Decomposition Method with Lagrange Multipliers for Linear Elasticity , TR1999-780, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Widlund, O FETI and Neumann--Neumann Iterative Substructuring Methods: Connections and New Results , TR1999-796, 1999/12.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof Balancing Neumann-Neumann Preconditioners for Mixed Approximations of Heterogeneous Problems in Linear Elasticity, TR2002-825, 2002/04.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof Dual-Primal FETI Methods for Linear Elasticity , TR2004-855, 2004/09.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof FETI--DP, BDDC, and Block Cholesky Methods , TR2004-857, 2005/01.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof Two-Level Schwarz Algorithms, Using Overlapping Subregions, for Mortar Finite Element Methods , TR2005-870, 2005/07.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof Title: Balancing Neumann-Neumann Methods for
Incompressible Stokes Equations, TR2001-813, 2001/03.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof Dual-Primal FETI Methods for Three-dimensional Elliptic Problems
with Heterogeneous Coefficients, TR2001-815, 2001/04.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof BDDC Algorithms for Incompressible Stokes Equations , TR2005-861, 2005/04.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof On the Use of Inexact Subdomain Solvers for BDDC Algorithms , TR2005-871, 2005/07.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof A BDDC algorithm for problems with mortar discretization , TR2005-873, 2005/09.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof Domain Decomposition for Less Regular Subdomains: Overlapping Schwarz in Two Dimensions , TR2007-888, 2007/03.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof An analysis of a FETI--DP algorithm on irregular subdomains in the plane , TR2007-889, 2007/04.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof B. An Overlapping Schwarz Algorithm for Almost Incompressible Elasticity , TR2008-912, 2008/05.
Abstract ,
Compressed PostScript ,
PDF
Widlund, Olof B. AN ITERATIVE SUBSTRUCTURING ALGORITHM
FOR TWO-DIMENSIONAL PROBLEMS IN H(CURL) , TR2010-936, 2010/12.
Abstract ,
Compressed PostScript ,
PDF
Wieners, C The Coupling of Mixed and Conforming Finite Element Discretizations , TR1997-750, 1997/11.
Abstract ,
Compressed PostScript ,
PDF
Winkler, F Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis , TR2005-859, 2005/02.
Abstract ,
Compressed PostScript ,
PDF
Wisniewski, L An API for Choreographing Data Accesses , TR1995-708, 1995/11.
Abstract ,
Compressed PostScript ,
PDF
Wohlmuth, B Hierarchical A Posteriori Error Estimators for Mortar Finite
Element Methods with Lagrange Multipliers , TR1997-749, 1997/11.
Abstract ,
Compressed PostScript ,
PDF
Wohlmuth, B The Coupling of Mixed and Conforming Finite Element Discretizations , TR1997-750, 1997/11.
Abstract ,
Compressed PostScript ,
PDF
Wohlmuth, B Adaptive Mixed Hybrid and Macro-Hybrid Finite Element Methods , TR1997-751, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Wohlmuth, B An Iterative Substructuring Method for Maxwell's Equations in
Two Dimensions , TR1998-768, 1998/07.
Abstract ,
Compressed PostScript ,
PDF
Wohlmuth, B An Iterative Substructuring Method for Raviart-Thomas Vector Fields
in Three Dimensions , TR1998-775, 1998/10.
Abstract ,
Compressed PostScript ,
PDF
Womersley, R Optimality Conditions and Duality Theory
for Minimizing Sums of the Largest Eigenvalues of Symmetric Matrices , TR1991-566, 1991/06.
Abstract ,
Compressed PostScript ,
PDF
Womersly, R Second Derivatives for Optimizing Eigenvalues
of Symmetric Matrices , TR1993-627, 1993/03.
Abstract ,
Compressed PostScript ,
PDF
Wright, Bo Squidball: An Experiment in Large-Scale Motion Capture and Game Design , TR2005-869, 2005/06.
Abstract ,
Compressed PostScript ,
PDF
Wright, Randy Workload Characterization of a Personalized Web Site - And Its Implications for Dynamic Content Caching, TR2002-829, 2002/05.
Abstract ,
Compressed PostScript ,
PDF
Wyckoff, P PLinda User Manual , TR1996-729, 1996/12.
Abstract ,
Compressed PostScript ,
PDF
Wyckoff, P Finding Idle Work Periods on Networks of Workstations , TR1998-761, 1998/03.
Abstract ,
Compressed PostScript ,
PDF
X
X. Cai, X Overlapping Schwarz Algorithms for Solving Helmholtz's Equation , TR1997-753, 1997/12.
Abstract ,
Compressed PostScript ,
PDF
Xiadong, F Transparent Network Connectivity in Dynamic Cluster Environments , TR1999-794, 1999/11.
Abstract ,
Compressed PostScript ,
PDF
Y
Yao, C Pscheme: Extending Continuations to Express
Control and Synchronization in a Parallel LISP , TR1994-655, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Yao, C Representing Control in Parallel Applicative Programing , TR1994-667, 1994/09.
Abstract ,
Compressed PostScript ,
PDF
Yap, C Approximate Euclidean Shortest Path in
3-Space , TR1994-670, 1994/09.
Abstract ,
Compressed PostScript ,
PDF
Yap, C Report on NSF Workshop on Manufacturing and Computational Geometry , TR1995-679, 1995/01.
Abstract ,
Compressed PostScript ,
PDF
Ye, X Towards Second-Order Methods for Structured
Nonsmooth Optimization , TR1993-631, 1993/04.
Abstract ,
Compressed PostScript ,
PDF
Ying, Lexing An Embedded Boundary Integral Solver for the Stokes Equations, TR2003-837, 2002/06.
Abstract ,
Compressed PostScript ,
PDF
Ying, Lexing An Embedded Boundary Integral Solver for the Unsteady Incompressible Navier-Stokes Equations, TR2003-838, 2002/11.
Abstract ,
Compressed PostScript ,
PDF
Ying, Lexing A kernel-independent fast multipole algorithm , TR2003-839, 2003/04.
Abstract ,
Compressed PostScript ,
PDF
Yu, Xin A Distributed Adaptive Cache Update Algorithm for Dynamic Source Routing , TR2003-842, 2003/07.
Abstract ,
Compressed PostScript ,
PDF
Z
Zajicek, O The APRAM - The Rounds Complexity Measure
and the Explicit Costs of Synchronization , TR1991-539, 1991/01.
Abstract ,
Compressed PostScript ,
PDF
Zajicek, O An Asynchronous Parallel Algorithm for
Undirected Graph Connectivity , TR1991-546, 1991/02.
Abstract ,
Compressed PostScript ,
PDF
Zajicek, O The Expected Advantage of Asynchrony , TR1991-574, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Zaks, Aleksandr PSL Model Checking and Run-time Verification via Testers, TR2006-881, 2006/05.
Abstract ,
Compressed PostScript ,
PDF
Zeiler, Matthew D. Learning Image Decompositions with Hierarchical Sparse Coding , TR2010-935, 2010/12.
Abstract ,
Compressed PostScript ,
PDF
Zhang, X Multilevel Additive Schwarz Methods , TR1991-582, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Zhang, X Domain Decomposition Algorithms for the Biharmonic
Dirichlet Problem , TR1991-583, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Zhang, X Studies in Domain Decomoposition: Multilevel Methods and
the Biharmonic Dirichlet Problem , TR1991-584, 1991/09.
Abstract ,
Compressed PostScript ,
PDF
Zhang, Xin Better Burst Detection , TR2005-876, 2005/11.
Abstract ,
Compressed PostScript ,
PDF
Zhang, Z Matching Pursuits with Time-Frequency Dictionaries , TR1993-619, 1993/08.
Abstract ,
Compressed PostScript ,
PDF
Zhang, Z Adaptive Time-Frequency Approximations
with Matching Pursuits , TR1994-657, 1994/03.
Abstract ,
Compressed PostScript ,
PDF
Zhao, T Expressing and Enforcing Distributed Resource Sharing Agreements , TR2000-805, 2000/06.
Abstract ,
Compressed PostScript ,
PDF
Zhao, Tao Enforcing Resource Sharing Agreements among Distributed Server Cluster , TR2001-818, 2001/10.
Abstract ,
Compressed PostScript ,
PDF
Zhu, Yunyue StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time, TR2002-827, 2002/08.
Abstract ,
Compressed PostScript ,
PDF
Zorin, D Piecewise Smooth Subdivision Surfaces with Normal Control , TR1999-781, 1999/02.
Abstract ,
Compressed PostScript ,
PDF
Zorin, Denis An Embedded Boundary Integral Solver for the Stokes Equations, TR2003-837, 2002/06.
Abstract ,
Compressed PostScript ,
PDF
Zorin, Denis An Embedded Boundary Integral Solver for the Unsteady Incompressible Navier-Stokes Equations, TR2003-838, 2002/11.
Abstract ,
Compressed PostScript ,
PDF
Zorin, Denis A kernel-independent fast multipole algorithm , TR2003-839, 2003/04.
Abstract ,
Compressed PostScript ,
PDF
Zorin, Denis Real-time rendering of normal maps with discontinuities , TR2005-872, 2005/08.
Abstract ,
Compressed PostScript ,
PDF
Zuck, Lenore Invisible Safety of Distributed Protocols , TR2006-884, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
Zuck, Lenore Shape Analysis of Single-Parent Heaps , TR2006-885, 2006/11.
Abstract ,
Compressed PostScript ,
PDF
top | contact webmaster@cs.nyu.edu
|