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, Mingchao
Overlapping Schwarz Algorithms for Almost Incompressible Linear Elasticity, TR2014-969, 2014/08.
Abstract, 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

Calvo, Juan G.
A two-level overlapping Schwarz method for H(curl) in two dimensions with irregular subdomains, TR2014-968, 2014/08.
Abstract, PDF.

Calvo, Juan G.
A BDDC algorithm with deluxe scaling for H(curl) in two dimensions with irregular subdomains., TR2014-965, 2014/04.
Abstract , 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, E
Two-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.
A BDDC algorithm with deluxe scaling for three-dimensional H(curl) problems, TR2014-964, 2014/03.
Abstract , 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

Greenberg, Spencer
Tight Lower Bound on the Probability of a Binomial Exceeding its Expectation , TR2013-957, August 2013.
Abstract , 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

Jermsurawong, M
Diet Planner: finding a nutritionally sound diet while following (most) of a dieter's desires , TR2013-760, 2013.
Abstract, 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

Kedem, Z
A General Method for Energy-Error Tradeoffs in Approximate Adders, TR2013-952
Abstract , Compressed PostScript , PDF

Kedem, Z
Reversibility of Turing Machine Computations, TR2013-956, 2013/05
Abstract , 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

Koskinen, E
Local Temporal Reasoning , TR2014-966, 2014/05.
Abstract , PDF

Koskinen, E
The Push/Pull model of transactions , TR2014-967, 2014/09.
Abstract , 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

Kshitij Bansal A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems,TR-2012-949 December 2012
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
A BALANCING DOMAIN DECOMPOSITION BY CONSTRAINTS DELUXE METHOD FOR NUMERICALLY THIN REISSNER-MINDLIN PLATES APPROXIMATED WITH FALK-TU FINITE ELEMENTS, TR2013-958, 2012/13.
Abstract , 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, Jinyang
Achieving serializability with low latency in geo-distributed storage systems , TR2013-961, 2013/10.
Abstract , 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

Lopez-Alt, Adriana
Cryptographic Security of Macaroon Authorization Credentials, TR2013-962, 2013/12.
Abstract , 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

Muntimadugu, Kirthi Krishna
A General Method for Energy-Error Tradeoffs in Approximate Adders, TR2013-952
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

Pavarino, Luca F.
Overlapping Schwarz Algorithms for Almost Incompressible Linear Elasticity, TR2014-969, August 2014.
Abstract, 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

Rosenberg, Michael
VerifiableAuction: An Auction System for a Suspicious World, TR2014-971, 2014/10.
Abstract , 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

Shasha, Dennis
Online Machine Learning Algorithms For Currency Exchange Prediction, TR2013-953, 2013/04.
Abstract , PDF

Shasha, Dennis
VerifiableAuction: An Auction System for a Suspicious World, TR2014-971, 2014/10.
Abstract , 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

Soulas, Eleftherios
Online Machine Learning Algorithms For Currency Exchange Prediction, TR2013-953, 2013/04.
Abstract , 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

Widlund, Olof B.
Overlapping Schwarz Algorithms for Almost Incompressible Linear Elasticity, TR2014-969, August 2014.
Abstract, PDF

Wies, Thomas
On Automating Separation Logic with Trees and Data, TR2014-963, 2014/02
Abstract

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