Technical Reports

TR2014-969 Mingchao Cai, Luca F. Pavarino, and Olof B. Widlund: Overlapping Schwarz Algorithms for Almost Incompressible Linear Elasticity, August 2014
Abstract, PDF.

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

TR2014-967 Eric Koskinen and Matthew Parkinson: The Push/Pull model of transactions, September 2014
Abstract, PDF.

TR2014-966 Eric Koskinen: Local temporal reasoning, May 2014
Abstract, PDF.

TR2014-965 Juan G. Calvo: A BDDC algorithm with deluxe scaling for H(curl) in two dimensions with irregular subdomains, April 2014
Abstract, PDF.

TR2014-964 Clark R. Dohrmann and Olof B. Widlund: A BDDC algorithm with deluxe scaling for three-dimensional H(curl) problems, March 2014
Abstract, PDF.

TR2014-963 Thomas Wies: On Automating Separation Logic with Trees and Data, February 2014
Abstract .

TR2013-962 Adriana Lopez-Alt: Cryptographic Security of Macaroon Authorization Credentials, December 2013
Abstract, PDF.

TR2013-961 Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera and Jinyang Li: Transaction chains: achieving serializability with low latency in geo-distributed storage systems, October 2013
Abstract, PDF.

TR2013-960 Mick Jermsak Jermsurawong and Dennis Shasha, Diet Planner: finding a nutritionally sound diet while following (most) of a dieter's desires, 2013
Abstract, PDF.

TR2013-958 Jong Ho Lee, A BALANCING DOMAIN DECOMPOSITION BY CONSTRAINTS DELUXE METHOD FOR NUMERICALLY THIN REISSNER-MINDLIN PLATES APPROXIMATED WITH FALK-TU FINITE ELEMENTS, August 2013
Abstract, PDF.

TR2013-957 Spencer Greenberg and Mehryar Mohri, Tight Lower Bound on the Probability of a Binomial Exceeding its Expectation, August 2013
Abstract, PDF.

TR2013-956 Zvi M. Kedem, Reversibility of Turing Machine Computations, May 2013
Abstract , PDF .

TR2013-955 Lourenco Beirao Da Veiga, Luca Pavarino, Simone Scacchi, Olof Widlund and Stefano Zampni, Isogeometric BDDC Preconditioners With Deluxe Scaling
Abstract , PDF .

TR2013-954 Ruzica Piskac, Thomas Wies and Damien Zufferey, Automating Separation Logic Using SMT, April 2013
Abstract , PDF .

TR2013-953 Eleftherios Soulas and Dennis Shasha, Online Machine Learning Algorithms For Currency Exchange Prediction, April 2013
Abstract , PDF .

TR2013-952 Zvi Kedem and Kirthi Krishna Muntimadugu, A General Method for Energy-Error Tradeoffs in Approximate Adders, March 2013
Abstract , Compressed PostScript , PDF .

TR2013-951 Duk-Soon Oh, Olof B. Widlund, and Clark R. Dohrmann A BDDC Algorithm for Raviart-Thomas Vector Fields, February 2013
Abstract , Compressed PostScript , PDF .

TR2013-950 Leora Morgenstern, Foundations of a Formal Theory of Time Travel, February 2013
Abstract , Compressed PostScript , PDF .

TR2012-949 Kshitij Bansal and Stephane Demri, A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems, December 2012
Abstract , Compressed PostScript , PDF .

TR2012-948 Robert Soulé, Michael I. Gordon, Saman Amarasinghe, Robert Grimm, and Martin Hirzel, Hitting the Sweet Spot for Streaming Languages: Dynamic Expressivity with Static Optimization, April 2012
Abstract , Compressed PostScript , PDF .

TR2011-946 Clark R. Dohrmann and Olof B. Widlund, An Alternative Coarse Space for Irregular Subdomains and an Overlapping Schwarz Algorithm, November 2011.
Abstract , Compressed PostScript , PDF .

TR2011-945 Robert Soulé, Martin Hirzel, Bugra Gedik, and Robert Grimm, From a Calculus to an Execution Environment for Stream Processing, November 2011.
Abstract , Compressed PostScript , PDF .

TR2011-944 Uri Klein, Nir Piterman, and Amir Pnueli, Effective Synthesis of Asynchronous Systems from GR(1) Specifications, December 2011.
Abstract , Compressed PostScript , PDF .

TR2011-943 Eric T. Chung, Hyea Hyun Kim, and Olof B. Widlund, Two-Level Overlapping Schwarz Algorithms for a Staggered Discontinuous Galerkin method, September 2011.
Abstract , Compressed PostScript , PDF .

TR2011-942 Duk-Soon Oh, Domain Decomposition Methods for Raviart-Thomas Vector Fields, September 2011.
Abstract , Compressed PostScript , PDF .

TR2011-940 Dejan Jovanovic and Clark Barrett, Sharing is Caring: Combination of Theories.
Abstract , Compressed PostScript , PDF.

TR2011-939 Paul Gazzillo and Robert Grimm, Parsing All of C by Taming the Preprocessor, July 2011.
Abstract , Compressed PostScript , PDF .

TR2011-938 Uri Klein and Kedar S. Namjoshi, Formalization and Automated Verification of RESTful Behavior, May 2011.
Abstract , Compressed PostScript , PDF.

TR2011-937 Jong Ho Lee, Domain Decomposition Methods for Reissner-Mindlin Plates Discretized with the Falk-Tu Elements, February 2011.
Abstract , Compressed PostScript , PDF.

TR2010-936 CLARK R. DOHRMANN AND OLOF B. WIDLUND, AN ITERATIVE SUBSTRUCTURING ALGORITHM FOR TWO-DIMENSIONAL PROBLEMS IN H(CURL), December 2010.
Abstract , Compressed PostScript , PDF.

TR2010-935 Matthew D. Zeiler and Rob Fergus, Learning Image Decompositions with Hierarchical Sparse Coding, December 2010.
Abstract , Compressed PostScript . PDF

TR2010-934 Martin Raphan and Eero P. Simoncelli, An Empirical Bayesian interpretation and generalization of NL-means, October 2010.
Abstract , Compressed PostScript , PDF

TR2010-933 DUK-SOON OH, AN OVERLAPPING SCHWARZ ALGORITHM FOR RAVIART-THOMAS VECTOR FIELDS WITH DISCONTINUOUS COEFFICIENTS, September 2010.
Abstract , Compressed PostScript , PDF

TR2010-932 Jong Ho Lee, An overlapping domain decomposition method for the Reissner-Mindlin Plate with the Falk-Tu Elements, September 2010.
Abstract , Compressed PostScript .

TR2010-931 Clark Barrett, Morgan Deters, Albert Oliveras,and Aaron Stump, Design and Results of the 4th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008), July 2010.
Abstract , Compressed PostScript , PDF

TR2010-930 Richard Cole, Vasilis Gkatzelis, and Vahab Mirrokni , Coordination Mechanisms for Weighted Sum of Completion Times, May 2010.
Abstract , Compressed PostScript , PDF

TR2010-929 Daniel Galron, Information Extraction on High-­School Level Chemistry Labs, May 2010.
Abstract , Compressed PostScript , PDF

TR2010-928 Luca F. Pavarino, Olof B. Widlund, and Stefano Zampini , BDDC preconditioners for spectral element discretizations of almost incompressible elasticity in three dimensions, April 2010.
Abstract , Compressed PostScript .

TR2010-926 Samantha Kleinberg and Bud Mishra , The Temporal Logic of Token Causes, February 2010.
Abstract , Compressed PostScript , PDF

TR2010-924 Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik, Henrique Andrade, Vibhore Kumar, and Kun-Lung Wu, A Universal Calculus for Stream Processing Languages, January 2010.
Abstract , Compressed PostScript , PDF

TR2010-922 Dejan Jovanovic and Clark Barrett, Polite Theories Revisited, January 2010.
Abstract , Compressed PostScript , PDF

TR2009-925 Jungho Lee , A Hybrid Domain Decomposition Method and its Applications to Contact Problems, September 2009.
Abstract , Compressed PostScript , PDF

TR2009-923 Martin Raphan, Eero P. Simoncelli , Learning least squares estimators without assumed priors or supervision, August 2009.
Abstract , Compressed PostScript , PDF

TR2009-920 Shravan K. Veerapaneni, Denis Gueyerer, George Biros, Denis Zorin, A numerical method for simulating the dynamics of 3D axisymmetric vesicles suspended in viscous flows, May 2009.
Abstract , Compressed PostScript , PDF

TR2008-919 Clark R. Dohrmann, Olof B. Widlund, Hybrid Domain Decomposition Algorithms for Compressible and Almost Incompressible Elasticity, January 2009.
Abstract , Compressed PostScript , PDF

TR2008-915 George Williams, Christoph Bregler, Peggy Hackney, Sally Rosenthal, Ian McDowall, Kirill Smolskiy, Body Signature Recognition, May 2009.
Abstract , Compressed PostScript , PDF

TR2008-914 Alan Leong , Extension of Two-level Schwarz Preconditioners to Symmetric Indefinite Problems , Sept 2008.
Abstract , Compressed PostScript , PDF

TR2008-913 Vera Cherepinsky, Ghazala Hashmi, Michael Seul, and Bud Mishra , Competitive Hybridization Model , Oct 2008.
Abstract , Compressed PostScript , PDF

TR2008-912 Clark R. Dohrmann and Olof B. Widlund , An Overlapping Schwarz Algorithm for Almost Incompressible Elasticity , May 2008.
Abstract , Compressed PostScript , PDF

TR2008-911 Siwei Lyu and Eero P. Simoncelli , Nonlinear extraction of 'Independent Components' of elliptically symmetric densities using radial Gaussianization , April 2008.
Abstract , Compressed PostScript , PDF

TR2008-910 Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi and Clark Barrett , Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors , March 2008.
Abstract , Compressed PostScript , PDF

TR2007-908 Cyril Allauzen, Mehryar Mohri and Ashish Rastogi , General Algorithms for Testing the Ambiguity of Finite Automata , Feb 2008.
Abstract , Compressed PostScript , PDF

TR2007-907 Samantha Kleinberg, Marco Antoniotti, Naren Ramakrishnan and Bud Mishra , Modal Logic, Temporal Models and Neural Circuits: What Connects Them , Feb 2008.
Abstract , Compressed PostScript , PDF

TR2007-906 Sumit Chopra, Trivikaraman Thampy, John Leahy, Andrew Caplin, Yann LeCun , Factor Graphs for Relational Regression , Jan 2008.
Abstract , Compressed PostScript , PDF

TR2007-905 Robert Grimm , Declarative Syntax Tree Engineering* Or, One Grammar to Rule Them All , Nov 2007.
Abstract , Compressed PostScript , PDF

TR2007-904 Robert Grimm, Laune Harris and Anh Le , Typical: Taking the Tedium Out of Typing , Nov 2007.
Abstract , Compressed PostScript , PDF

TR2007-903 Nir Ailon and Mehryar Mohri , An Efficient Reduction of Ranking to Classification , Sept 2007.
Abstract , Compressed PostScript , PDF

TR2007-902 Cyril Allauzen and Mehryar Mohri , N-Way Composition of Weighted Finite-State Transducers , Aug 2007.
Abstract , Compressed PostScript , PDF

TR2007-901 Dennis Shasha and Martyn Amos , DNA Hash Pooling and its Applications , May 2007.
Abstract , Compressed PostScript , PDF

TR2007-900 Martin Raphan and Eero P. Simoncelli , Empirical Bayes least squares estimation without an explicit prior , May 2007.
Abstract , Compressed PostScript , PDF

TR2007-889 Axel Klawonn, Oliver Rheinbach, and Olof B. Widlund , An analysis of a FETI--DP algorithm on irregular subdomains in the plane , April 2007.
Abstract , Compressed PostScript , PDF

TR2007-888 Clark R. Dohrmann, Axel Klawonn, and Olof B. Widlund , Domain Decomposition for Less Regular Subdomains: Overlapping Schwarz in Two Dimensions , March 2007.
Abstract , Compressed PostScript , PDF

TR2007-887 Corinna Cortes, Mehryar Mohri, and Ashish Rastogi, Magnitude-Preserving Ranking Algorithms , March 2007.
Abstract , Compressed PostScript , PDF

TR2007-886 Corinna Cortes, Mehryar Mohri, Ashish Rastogi, and Michael Riley , On the Computation of the Relative Entropy of Probabilistic Automata, January 2007.
Abstract , Compressed PostScript , PDF

TR2006-885 Ittai Balaban, Amir Pnueli, and Lenore Zuck , Shape Analysis of Single-Parent Heaps , November 2006.
Abstract , Compressed PostScript , PDF

TR2006-884 Ittai Balaban, Amir Pnueli, and Lenore Zuck , Invisible Safety of Distributed Protocols , November 2006.
Abstract , Compressed PostScript , PDF

TR2006-883 Corinna Cortes and Mehryar Mohri , On Transductive Regression , November 2006.
Abstract , Compressed PostScript , PDF

TR2006-882 Hyea Hyun Kim , A FETI-DP algorithm for elasticity problems with mortar discretization on geometrically non-conforming partitions, June 2006.
Abstract , Compressed PostScript , PDF

TR2006-881 Amir Pnueli and Aleksandr Zaks , PSL Model Checking and Run-time Verification via Testers, May 2006.
Abstract , Compressed PostScript , PDF

TR2006-880 Cyril Allauzen and Mehryar Mohri , A Unified Construction of the Glushkov, Follow, and Antimirov Automata, April 2006.
Abstract , Compressed PostScript , PDF

TR2005-879 Xuemin Tu , BDDC Domain Decomposition Algorithms: Methods with Three Levels and for Flow in Porous Media , December 2005.
Abstract , Compressed PostScript , PDF

TR2005-878 Clark Barrett, Igor Shikanian, and Cesare Tinelli , An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types , November 2005.
Abstract , Compressed PostScript , PDF

TR2005-877 Congchun He and Vijay Karamcheti , Oriented Overlays For Clustering Client Requests To Data-Centric Network Services , November 2005.
Abstract , Compressed PostScript , PDF

TR2005-876 Dennis Shasha and Xin Zhang , Better Burst Detection , November 2005.
Abstract , Compressed PostScript , PDF

TR2005-875 David K. Hammond and Eero P. Simoncelli , Nonlinear Image Representation via Local Multiscale Orientation , October 2005.
Abstract , Compressed PostScript , PDF

TR2005-874 Cynthia Rudin , Ranking with a P-norm Push , September 2005.
Abstract , Compressed PostScript , PDF

TR2005-873 Hyea Hyun Kim, Maksymilian Dryja, and Olof B. Widlund , A BDDC algorithm for problems with mortar discretization , September 2005.
Abstract , Compressed PostScript , PDF

TR2005-872 Evgueni Parilov, Ilya Rosenberg and Denis Zorin , Real-time rendering of normal maps with discontinuities , August 2005.
Abstract , Compressed PostScript , PDF

TR2005-871 Jing Li and Olof B. Widlund , On the Use of Inexact Subdomain Solvers for BDDC Algorithms , July 2005.
Abstract , Compressed PostScript , PDF

TR2005-870 Hyea Hyun Kim and Olof B. Widlund, Two-Level Schwarz Algorithms, Using Overlapping Subregions, for Mortar Finite Element Methods , July 2005.
Abstract , Compressed PostScript , PDF

TR2005-869 Christoph Bregler, Clothilde Castiglia, Jessica DeVincenzo, Roger Luke DuBois, Kevin Feeley, Tom Igoe, Jonathan Meyer, Michael Naimark, Alexandru Postelnicu, Michael Rabinovich, Sally Rosenthal, Katie Salen, Jeremi Sudol and Bo Wright , Squidball: An Experiment in Large-Scale Motion Capture and Game Design , June 2005.
Abstract , Compressed PostScript , PDF

TR2005-868 Alexander Totok and Vijay Karamcheti , Modeling Of Concurrent Web Sessions With Bounded Inconsistency In Shared Data , June 2005.
Abstract , Compressed PostScript , PDF

TR2005-867 Anatoly Akkerman, Alexander Totok, and Vijay Karamcheti , Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments , June 2005.
Abstract , Compressed PostScript , PDF

TR2005-866 Congchun He and Vijay Karamcheti , An Analysis of Usage Locality for Data-Centric Web Services , June 2005.
Abstract , Compressed PostScript , PDF

TR2005-865 Xuemin Tu , A BDDC algorithm for flow in porous media with a hybrid finite element discretization , May 2005.
Abstract , Compressed PostScript , PDF

TR2005-864 Xuemin Tu , A BDDC Algorithm for Mixed Formulation of Flow in Porous Media , May 2005.
Abstract , Compressed PostScript , PDF

TR2005-863 Hyea Hyun Kim , A FETI-DP formulation of three dimensional elasticity problems with mortar discretization , April 2005.
Abstract , Compressed PostScript , PDF

TR2005-862 Xuemin Tu , Three-Level BDDC in Three Dimensions , April 2005.
Abstract , Compressed PostScript , PDF

TR2005-861 Jing Li and Olof B. Widlund , BDDC Algorithms for Incompressible Stokes Equations , April 2005.
Abstract , Compressed PostScript , PDF

TR2005-860 Maksymilian Dryja and Xuemin Tu, A Domain Decomposition Discretization of Parabolic Problems , April 2005.
Abstract , Compressed PostScript , PDF

TR2005-859 C. Piazza, M. Antoniotto, V. Mysore, A. Policriti, F. Winkler, B. Mishra , Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis , February 2005.
Abstract , Compressed PostScript , PDF

TR2005-858Marco Antoniotti, Naren Ramakrishnan, Deept Kumar, Marina Spivak and Bud Mishra , Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants , February 2005.
Abstract , Compressed PostScript , PDF

TR2004-857 Jing Li and Olof B. Widlund, FETI--DP, BDDC, and Block Cholesky Methods , January 2005.
Abstract , Compressed PostScript , PDF

TR2004-856 Xuemin Tu, Three-level BDDC in Two Dimensions , November 2004.
Abstract , Compressed PostScript , PDF

TR2004-855 Axel Klawonn and Olof B. Widlund, Dual-Primal FETI Methods for Linear Elasticity , September 2004.
Abstract , Compressed PostScript , PDF

TR2004-854 Robert Grimm , Practical Packrat Parsing , March 2004.
Abstract , Compressed PostScript , PDF

TR2004-853 Marco Antoniotti, Ian T. Lau, and Bud Mishra , Naturally Speaking: A Systems Biology Tool with Natural Language Interfaces , June 2004.
Abstract , Compressed PostScript , PDF

TR2004-852 Thomas Anantharaman, Venkatesh Mysore, and Bud Mishra , Fast and Cheap Genome wide Haplotype Construction via Optical Mapping , June 2004.
Abstract , Compressed PostScript , PDF

TR2004-851 Tatiana Kichkaylo, Anca Ivan, and Vijay Karamcheti , Sekitei: An AI planner for Constrained Component Deployment in Wide-Area Networks , March 2004.
Abstract , Compressed PostScript , PDF

TR2004-850 Alan Stocker , Optical flow estimation as distributed optimization problem - an aVLSI implementation , January 2004.
Abstract , Compressed PostScript , PDF

TR2003-849 Eric Freudenthal and Allan Gottlieb , Comparing the Performance of Centralized and Distributed Coordination on Systems with Improved Combining Switches , November 2003.
Abstract , Compressed PostScript , PDF

TR2003-848 Eric Freudenthal and Vijay Karamcheti , QTM: Trust Management with Quantified Stochastic Attributes , September 2003.
Abstract , Compressed PostScript , PDF

TR2003-847 Paulo Goldfeld , Balancing Neumann-Neumann Preconditioners for the Mixed Formulation of Almost-Incompressible Linear Elasticity , September 2003.
Abstract , Compressed PostScript , PDF

TR2003-846 Ziyang Wang , Improved Link-Based Algorithms for Ranking Web Pages , June 2003.
Abstract , Compressed PostScript , PDF

TR2003-845 Vera Cherepinsky, Jiawu Feng, Marc Rejali, and Bud Mishra , Shrinkage-Based Similarity Metric for Cluster Analysis of Microarray Data , July 2003.
Abstract , Compressed PostScript , PDF

TR2003-843 Xiaodong Fu and Vijay Karamcheti , Why Path-Based Adaptation? Performance Implications of Different Adaptation Mechanisms for Network Content Delivery , July 2003.
Abstract , Compressed PostScript , PDF

TR2003-842 Xin Yu and Zvi M. Kedem , A Distributed Adaptive Cache Update Algorithm for Dynamic Source Routing , July 2003.
Abstract , Compressed PostScript , PDF

TR2003-841 Jinyuan Li, Maxwell Krohn, David Mazieres, and Dennis Shasha , Secure Untrusted Data Repository (SUNDR) , June 2003.
Abstract , Compressed PostScript , PDF

TR2003-840 Lorenzo Torresani, Aaron Hertzmann, and Christoph Bregler , Robust Model-Free Tracking of Non-Rigid Shape , June 2003.
Abstract , Compressed PostScript , PDF

TR2003-839 George Biros, Lexing Ying, and Denis Zorin , A kernel-independent fast multipole algorithm , April 2003.
Abstract , Compressed PostScript , PDF

TR2003-838 George Biros, Lexing Ying, and Denis Zorin , An Embedded Boundary Integral Solver for the Unsteady Incompressible Navier-Stokes Equations, November 2002.
Abstract , Compressed PostScript , PDF

TR2003-837 George Biros, Lexing Ying, and Denis Zorin , An Embedded Boundary Integral Solver for the Stokes Equations, June 2002.
Abstract , Compressed PostScript , PDF
* Cherepinsky et al. has been re-assigned to TR2003-845

TR2003-836 Alberto Lerner and Dennis Shasha , AQuery: Query Language for Ordered Data, Optimization Techniques, and Experiments , March 2003.
Abstract , Compressed PostScript , PDF

TR2003-835 Hung-Hsien Chang , Survey: Eigenvector Analysis in Webpage Rankings , March 2003.
Abstract , Compressed PostScript , PDF

TR2002-834 Bernhard Hientzsch , Overlapping Schwarz Preconditioners for Spectral Nedelec Elements for a Model Problem in H(curl) , November 2002.
Abstract , Compressed PostScript , PDF

TR2002-833 Petar Maymounkov , Online Codes , November 2002.
Abstract , Compressed PostScript , PDF

TR2002-832 Deni Llambiri, Alexander Totok, and Vijay Karamcheti , Efficiently Distributing Component-based Applications Across Wide-Area Environments , October 2002.
Abstract , Compressed PostScript , PDF

TR2002-831 Javier Portilla, Vasily Strela, Martin J. Wainwright, and Eero P. Simoncelli , Image Denoising using a Gaussian Scale Mixture in the Wavelet Domain , September 2002.
Abstract , Compressed PostScript , PDF

TR2002-830 Jing Li , Dual-Primal FETI Methods for Stationary Stokes and Navier-Stokes Equations , September 2002.
Abstract , Compressed PostScript , PDF

TR2002-829 Weisong Shi, Randy Wright, Eli Collins, and Vijay Karamcheti, Workload Characterization of a Personalized Web Site - And Its Implications for Dynamic Content Caching, May 2002.
Abstract , Compressed PostScript , PDF

TR2002-828 Jing Li, Dual-Primal FETI Methods for Incompressible Stokes and Linearized Navier-Stokes Equations, June 2002.
Abstract , Compressed PostScript , PDF

TR2002-827 Yunyue Zhu and Dennis Shasha, StatStream: Statistical Monitoring of Thousands of Data Streams in Real Time, August 2002.
Abstract , Compressed PostScript , PDF

TR2002-826 David Mazieres and Dennis Shasha, Building Secure File Systems Out of Byzantine Storage, May 2002.
Abstract , Compressed PostScript , PDF

TR2002-825 Paulo Goldfeld, Luca F. Pavarino, and Olof B. Widlund, Balancing Neumann-Neumann Preconditioners for Mixed Approximations of Heterogeneous Problems in Linear Elasticity, April 2002.
Abstract , Compressed PostScript , PDF

TR2002-824 Xiaodong Fu, Vijay Karamcheti, Adaptive Service Access in Shared Wireless Environments, March 2002.
Abstract , Compressed PostScript , PDF

TR2001-823 Bernhard Hientzsch, Fast Solvers and Domain Decomposition Preconditioners for Spectral Element Discretizations of Problems in H(curl), Dec 2001.
Abstract , Compressed PostScript , PDF

TR2001-822 Weisong Shi, Eli Collins, and Vijay Karamcheti, Modeling Object Characteristics of Dynamic Web Content, Nov 2001.
Abstract , Compressed PostScript , PDF

TR2001-821 Eric Freudenthal, Lawrence Port, Edward Keenan, Tracy Pesin, Vijay Karamcheti, Credentialed Secure Communication "Switchboards" , Nov 2001.
Abstract , Compressed PostScript , PDF

TR2001-820 Eric Freudenthal, Edward Keenan, Tracy Pesin, Lawrence Port, Vijay Karamcheti , DisCo: A Distribution Infrastructure for Securely Deploying Decomposable Services in Partly Trusted Environments , Nov 2001.
Abstract , Compressed PostScript , PDF

TR2001-819 Eric Freudenthal, Tracy Pesin, Lawrence Port, Edward Keenan, Vijay Karamcheti, dRBAC: Distributed Role-based Access Control for Dynamic Environments, Nov 2001.
Abstract , Compressed PostScript , PDF

TR2001-818 Tao Zhao, Vijay Karamcheti, Enforcing Resource Sharing Agreements among Distributed Server Cluster , Oct 2001.
Abstract , Compressed PostScript , PDF

TR2001-817 Jung-Han Kimn, Overlapping Schwarz Algorithms using Discontinuous Iterates for Poisson's Equation, May 2001.
Abstract , Compressed PostScript , PDF

TR2001-816 Jing Li, A Dual-Primal FETI Method for Incompressible Stokes Equations, Jul 2001.
Abstract , Compressed PostScript , PDF

TR2001-815 Axel Klawonn, Olof Widlund, Widlund, Maksymilian Dryja, Dual-Primal FETI Methods for Three-dimensional Elliptic Problems with Heterogeneous Coefficients, Apr 2001.
Abstract , Compressed PostScript , PDF

TR2001-814 Xiadong Fu, Weisong Shi, Vijay Karamacheti, Title: Automatic Deployment of Transcoding Components for Ubiquitous, Network-Aware Access to Internet Services, Mar 2001.
Abstract , Compressed PostScript , PDF

TR2001-813 Luca Pavarino, Olof Widlund, Title: Balancing Neumann-Neumann Methods for Incompressible Stokes Equations, Mar 2001.
Abstract , Compressed PostScript , PDF

TR2000-811 Marco Antoniotti, Thomas Anantharaman, Salvatore Paxia, Bud Mishra, Title: Genomics via Optical Mapping IV: Sequence Validation via Optical Map Matching, Mar 2001.
Abstract , Compressed PostScript , PDF

TR2000-810 Caroline Lasser, Andrea Toselli, Title: An Overlapping Domain Decomposition Preconditioner for a Class of Discontinuous Galerkin Approximations of Advection-Diffusion Problems, Nov. 2000.
Abstract , Compressed PostScript , PDF

TR2000-809 Ernest Davis, Title: Describing Spatial Transitions Using Mereotopological Relations Over Histories , Oct. 2000.
Abstract , Compressed PostScript , PDF

TR2000-808 Xiaodong Fu, Weisong Shi, Anatoly Akkerman and Vijay Karamcheti, CANS: Composable, Adaptive Network Services Infrastructure , Oct. 2000.
Abstract , Compressed PostScript , PDF

TR2000-807 Dan Stefanica, A Numerical Study of FETI Algorithms for Mortar Finite Element Methods, Sept. 2000.
Abstract , Compressed PostScript , PDF

TR2000-806 Andrea Toselli, hp-finite element approximations on non-matching grids for partial differential equations with non-negative characteristic form, Sept. 2000.
Abstract , Compressed PostScript , PDF

TR2000-805 Tao Zhao, Vijay Karamcheti , Expressing and Enforcing Distributed Resource Sharing Agreements , Jul. 2000.
Abstract , Compressed PostScript , PDF

TR2000-804 Dan Stefanica , Domain Decomposition Methods for Mortar Finite Elements , Jul. 2000.
Abstract , Compressed PostScript , PDF

TR2000-803 Ekkart Kindler, Dennis Shasha , Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs , Jun. 2000.
Abstract , Compressed PostScript , PDF

TR2000-802 Ernest Davis , Continuous Shape Transformation and Metrics on Shapes , Apr. 2000.
Abstract , Compressed PostScript , PDF

TR2000-801 Aaron Hertzmann , Paint By Relaxation , May. 2000.
Abstract , Compressed PostScript , PDF

TR2000-800 A. Toselli , FETI domain decomposition methods for scalar advection-diffusion problems , Mar. 2000.
Abstract , Compressed PostScript , PDF

TR2000-799 Michael Overton, James V. Burke , Variational Analysis of the Abscissa Mapping for Polynomials , Mar. 2000.
Abstract , Compressed PostScript , PDF

TR2000-798 Ninghui Li, Local Names in SPKI/SDSI 2.0 , Feb. 2000.
Abstract , Compressed PostScript , PDF

TR2000-797 F. Rapetti, A. Toselli , A Feti preconditioner for two dimensional edge element approximations of Maxwell's equations on non-matching grids , Jan. 2000.
Abstract , Compressed PostScript , PDF

TR1999-796 A. Klawonn, O. Widlund , FETI and Neumann--Neumann Iterative Substructuring Methods: Connections and New Results , Dec. 1999.
Abstract , Compressed PostScript , PDF

TR1999-795 F. Chang, A. Itzkovitz, V. Karamcheti , Secure, User-level Resource-constrained Sandboxing , Dec. 1999.
Abstract , Compressed PostScript , PDF

TR1999-794 F. Xiadong, H. Wang and V. Karamcheti , Transparent Network Connectivity in Dynamic Cluster Environments , Nov. 1999.
Abstract , Compressed PostScript , PDF

TR1999-793 F. Chang, and V. Karamcheti , Automatic Configuration and Run-time Adaptation of Distributed Applications , Nov. 1999.
Abstract , Compressed PostScript , PDF

TR1999-792 R. Cole, K. Ost and S. Schirra , Edge-Coloring Bipartite Multigraphs in $0(E\log D)$ Time , Sept. 1999.
Abstract , Compressed PostScript , PDF

TR1999-791 J. V. Burke, A. S. Lewis and M. L. Overton , Optimizing Matrix Stability , Sept. 1999.
Abstract , Compressed PostScript , PDF

TR1999-790 J. V. Burke and M. L. Overton , Variational Analysis of Non-Lipschitz Spectral Functions , Sept. 1999.
Abstract , Compressed PostScript , PDF

TR1999-789 R. Cole and R. Hariharan , Randomized Swap Matching in $O(m \log m \log |\Sigma| )$ time , Sept. 1999.
Abstract , Compressed PostScript , PDF

TR1999-788 A. Toselli and A. Klawonn , A FETI Domain Decomposition Method for Maxwell's Equations with Discontinuous Coefficients in Two Dimensions , Sept. 1999.
Abstract , Compressed PostScript , PDF

TR1999-787 C. Bregler, A. Hertzmann and H. Biermann , Recovering Non-Rigid 3D Shape from Image Streams , June 1999.
Abstract , Compressed PostScript , PDF

TR1999-786 A. Toselli , Neumann-Neumann Methods for Vector Field Problems , June 1999.
Abstract , Compressed PostScript , PDF

TR1999-785 A. Toselli , Domain Decomposition Methods for Vector Field Problems , May 1999.
Abstract , Compressed PostScript , PDF

TR1999-784 H. Biermann, A. Hertzmann, J. Meyer and K. Perlin , Stateless Remote Environment Navigation with View Compression , Apr. 1999.
Abstract , Compressed PostScript , PDF

TR1999-783 A. Hertzmann , Interactive 3D Scene Reconstruction from Images , Apr. 1999.
Abstract , Compressed PostScript , PDF

TR1999-782 N. Schwartz , Sparse Constant Propagation via Memory Classification Analysis , Feb. 1999.
Abstract , Compressed PostScript , PDF

TR1999-781 H. Biermann, A. Levin and D. Zorin , Piecewise Smooth Subdivision Surfaces with Normal Control , Feb. 1999.
Abstract , Compressed PostScript , PDF

TR1999-780 A. Klawonn and O. B. Widlund , A Domain Decomposition Method with Lagrange Multipliers for Linear Elasticity , Feb. 1999.
Abstract , Compressed PostScript , PDF

TR1999-779 N. Schwartz , Parallel Programming for Everyone , Feb. 1999.
Abstract , Compressed PostScript , PDF

TR1999-778 H. Biermann and R. Cole , Comic Strips for Algorithm Visualization , Feb. 1999.
Abstract , Compressed PostScript , PDF

TR1999-777 D. Goyal , An Improved Intra-procedural May-alias Analysis Algorithm , Feb. 1999.
Abstract , Compressed PostScript , PDF

TR1999-776 N. Schwartz , Memory Classification Analysis for Recursive C Structures , Feb. 1999.
Abstract , Compressed PostScript , PDF

TR1998-775 B. I. Wohlmuth, A. Toselli and O. B. Widlund , An Iterative Substructuring Method for Raviart-Thomas Vector Fields in Three Dimensions , Oct. 1998.
Abstract , Compressed PostScript , PDF

TR1998-774 D. Stefanica , Poincare and Friedrichs Inequalities For Mortar Finite Element Methods , Nov. 1998.
Abstract , Compressed PostScript , PDF

TR1998-773 D. Stefanica and A. Klawonn , A Numerical Study of a Class of FETI Preconditioners for Mortar Finite Elements in Two Dimensions , Nov. 1998.
Abstract , Compressed PostScript , PDF

TR1998-771 F. Chang, V. Karamcheti, Z. Kedem , Exploiting Application Tunability for Efficient, Predictable, Parallel Resource Management , Oct. 1998.
Abstract , Compressed PostScript , PDF

TR1998-770 T. Anantharaman and B. Mishra , Genomics via Optical Mapping (I): Probabilistic Analysis of Optical Mapping Models , Aug. 1998.
Abstract , Compressed PostScript , PDF

TR1998-769 K. D. Anderson, E. Christiansen, A. R. Conn and M. L. Overton , An Efficient Primal-Dual Interior-Point Method for Minimizing a Sum of Euclidean Norms , Aug. 1998.
Abstract , Compressed PostScript , PDF

TR1998-768 A. Toselli, O. B. Widlund, and B. I. Wohlmuth , An Iterative Substructuring Method for Maxwell's Equations in Two Dimensions , July 1998.
Abstract , Compressed PostScript , PDF

TR1998-767 D. Stefanica , On the L(2) Stability of the 1-D Mortar Projection , June 1998.
Abstract , Compressed PostScript , PDF

TR1998-766 N. Schwartz , Steering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract Syntax Tree in C Programs , June 1998.
Abstract , Compressed PostScript , PDF

TR1998-765 A. Toselli , Some Results on Overlapping Schwarz Methods for the Helmholtz Equation Employing Perfectly Matched Layers , June 1998.
Abstract , Compressed PostScript , PDF

TR1998-763 D. Goyal and R. Paige , A New Solution to the Hidden Copy Problem , Apr. 1998.
Abstract , Compressed PostScript , PDF

TR1998-762 A. Baratloo , Just-in-Time Transparent Resource Management , Mar. 1998.
Abstract , Compressed PostScript , PDF

TR1998-761 P. Wyckoff, K. Jeong and T. Johnson , Finding Idle Work Periods on Networks of Workstations , Mar. 1998.
Abstract , Compressed PostScript , PDF

TR1998-760 T. Anantharaman, B. Mishra and D. Schwartz , Genomics via Optical Mapping III: Contiging Genomic DNA and Variations , Feb. 1998.
Abstract , Compressed PostScript , PDF

TR1998-759 T. Anantharaman and B. Mishra , Genomics via Optical Mapping II(A): Restriction Maps from Partial Molecules and Variations , Feb. 1998.
Abstract , Compressed PostScript , PDF

TR1998-758 A. Greenwald , Learning to Play Network Games , Feb. 1998.
Abstract , Compressed PostScript , PDF

TR1998-757 A. Greenwald , Competitive Equilibrium , Feb. 1998.
Abstract , Compressed PostScript , PDF

TR1997-755 L. F. Pavarino and O. B. Widlund , Iterative Substructuring Methods for Spectral Element Discretizations of Elliptic Systems. II: Mixed Methods for Linear Elasticity and Stokes Flow , Dec. 1997.
Abstract , Compressed PostScript , PDF

TR1997-754 E. Davis , Order of Magnitude Comparisons of Distance , Dec. 1997.
Abstract , Compressed PostScript , PDF

TR1997-753 X. Cai, M. A. Casarin, Jr., F. W. Elliot, Jr. and O. B. Widlund , Overlapping Schwarz Algorithms for Solving Helmholtz's Equation , Dec. 1997.
Abstract , Compressed PostScript , PDF

TR1997-752 M. H. Karaul, Y. A. Korilis and A. Orda , WebSeal: Web Server Allocation , Dec. 1997.
Abstract , Compressed PostScript , PDF

TR1997-751 R. H. W. Hoppe and B. Wohlmuth , Adaptive Mixed Hybrid and Macro-Hybrid Finite Element Methods , Dec. 1997.
Abstract , Compressed PostScript , PDF

TR1997-750 C. Wieners and B. Wohlmuth , The Coupling of Mixed and Conforming Finite Element Discretizations , Nov. 1997.
Abstract , Compressed PostScript , PDF

TR1997-749 B. Wohlmuth , Hierarchical A Posteriori Error Estimators for Mortar Finite Element Methods with Lagrange Multipliers , Nov. 1997.
Abstract , Compressed PostScript , PDF

TR1997-748 A. Baratloo, M. Karaul, H. Karl and Z. M. Kedem , The coupling of mixed and conforming finite element discretizations , Nov. 1997.
Abstract , Compressed PostScript , PDF

TR1997-747 L. F. Pavarino and O. B. WIdlund , Iterative Substructuring Methods for Spectral Element Discretizations of Elliptic Systems in Three Dimensions , Oct. 1997.
Abstract , Compressed PostScript , PDF

TR1997-746 R. Hiptmair and A. Toselli , Overlapping Schwarz Methods for Vector Valued Elliptic Problems in Three Dimensions , Oct. 1997.
Abstract , Compressed PostScript , PDF

TR1997-745 C. Chu and P. Piatko , Smile consistency - A Memory Consistency Model with User Definable High Level Synchronization Primitives , Oct. 1997.
Abstract , Compressed PostScript , PDF

TR1997-744 L. F. Pavarino and O. B. Widlund , Iterative Substructuring Methods for Spectral Element Discretizations of Elliptic System -> I: Compressible Linear Elasticity , Oct. 1997.
Abstract , Compressed PostScript , PDF

TR1997-743 I. Bica , Iterative Substructuring Algorithms for the P-Version Finite Element Method for Elliptic Problems , Sept. 1997.
Abstract , Compressed PostScript , PDF

TR1997-742 D-I. Lin and Z. Kedem , Pincer-Search: A New Algorithm for Discovering the Maximum Frequent Set , Sept. 1997.
Abstract , Compressed PostScript , PDF

TR1997-741 L. Parida, D. Geiger and R. Hummel , Junctions: Detection, Classification and Reconstruction , August 1997.
Abstract , Compressed PostScript , PDF

TR1997-740 L. Parida , Inapproximability of Flip-Cut, Shift-Cut and Other problems from Optical Mapping , August 1997.
Abstract , Compressed PostScript , PDF

TR1997-739 L. Parida , A Uniform Framework for Ordered Restriction Map Problems , August 1997.
Abstract , Compressed PostScript , PDF

TR1997-738 E. Davis , The Naive Physics Perplex , July 1997.
Abstract , Compressed PostScript , PDF

TR1997-737 F. Alizadeh, J. A. Haeberly, M. V. Nayakkankuppa, M.L. Overton and Stefan Schmieta , SDPPACK User's Guide -- Version 0.9 Beta for Matlab 5.0 , June 1997.
Abstract , Compressed PostScript , PDF

TR1997-736 A. Toselli , Overlapping Schwarz Methods for Maxwell's Equations in Three Dimensions , June 1997.
Abstract , Compressed PostScript , PDF

TR1997-735 Y. Achdou, Y. Maday and O. B. Widlund , Iterative Substructuring Preconditioners for Mortar Element Methods in Two Dimensions , April 1997.
Abstract , Compressed PostScript , PDF

TR1997-734 F. Alizadeh, P. Haeberly, M. V. Nayakkankuppam and M.L. Overton , SDPPACK User's Guide -- Version 0.8 Beta , March 1997.
Abstract , Compressed PostScript , PDF

TR1997-733 F. A. Bornemann and C. Schuette , On the Singular Limit of the Quantum-Classical Molecular Dynamics Model , March 1997.
Abstract , Compressed PostScript , PDF

TR1997-732 A. Floratos , The On-Line K-Server Problem , Feb. 1997.
Abstract , Compressed PostScript , PDF

TR1996-731 R. Cole and R. Hariharan , Tree Pattern Matching and Subset Matching in Randomized O(n log^3 m) Time , Dec. 1996 .
Abstract , Compressed PostScript , PDF

TR1996-730 R. Cole, M. Farach, R. Hariharan, T. Przytycka and M. Thorup , An O(n log n) Algorithm for the Maximum Agreement Subtree Problem for Binary Trees , Dec. 1996.
Abstract , Compressed PostScript , PDF

TR1996-729 T. Brown, K. Jeong, B. Li, S. Talla, P. Wyckoff and D. Shasha , PLinda User Manual , Dec. 1996 .
Abstract , Compressed PostScript , PDF

TR1996-728 C. Ungureanu and B. Goldberg , Formal Models of Distributed Memory Management , Dec. 1996.
Abstract , Compressed PostScript , PDF

TR1996-727 T. Johnson and D. Shasha , Hierarchically Split Cube Forests for Decision Support: description and tuned design , Nov. 1996.
Abstract , Compressed PostScript , PDF

TR1996-726 A. Toselli , Some Numerical Results Using An Additive Schwarz Method For Maxwell's Equations , Nov. 1996.
Abstract , Compressed PostScript , PDF

TR1996-725 M-S. Chang , Building a Fast Double-Dummy Bridge Solver , Aug. 1996.
Abstract , Compressed PostScript , PDF

TR1996-724 D. R. Dreyer and M.L. Overton , Two Heuristics for the Steiner Tree Problem , Aug. 1996.
Abstract , Compressed PostScript , PDF

TR1996-723 A. Leung, K.V. Palem and A. Pnueli , Highly Efficient Instruction Scheduling of Realtime Programs on RISC Processors , July 1996.
Abstract , Compressed PostScript , PDF

TR1996-722 C. Ungureanu , A Note on Scheduling Algorithms for Processors with Lookahead , June 1996.
Abstract , Compressed PostScript , PDF

TR1996-721 F. Alizadeh, J.A. Haeberly and M.L. Overton , Primal-Dual Interior-Point Methods for Semidefinite Programming: Convergence Rates, Stability and Numerical Results , May 1996.
Abstract , Compressed PostScript , PDF

TR1996-720 D. Geiger and L. Parida , A Model and Solution to the DNA Flipping String Problem , May 1996.
Abstract , Compressed PostScript , PDF

TR1996-719 M. Teichmann and B. Mishra , NYU Reactive Gripper: An Implementation , May 1996.
Abstract , Compressed PostScript , PDF

TR1996-718 K. Palem , CoRRet: A CONSTRAINT Based Environment for Rapid Prototyping Real Time Programs , March 1996.
Abstract , Compressed PostScript , PDF

TR1996-717 M.A. Casarin, Jr. , Schwarz Preconditioners for Spectral and Mortar Finite Element Methods with Applications to Incompressible Fluids , March 1996.
Abstract , Compressed PostScript , PDF

TR1996-716 A. Klawonn , Preconditioners for Indefinite Problems , March 1996.
Abstract , Compressed PostScript , PDF

TR1996-715 G. Koren, D. Shasha , Skip-Over: Algorithms and Complexity for Overloaded Systems that Allow Skips , Jan. 1996.
Abstract , Compressed PostScript , PDF

TR1995-714 E. Davis , A Highly Expressive Language of Spatial Constraints , Dec. 1995.
Abstract , Compressed PostScript , PDF

TR1995-713 B. Mishra , Computational Real Algebraic Geometry , Dec. 1995.
Abstract , Compressed PostScript , PDF

TR1995-712 M. A. Casarin, O. B. Widlund , A Hierarchical Preconditioner for the Mortar Finite Element Method , Dec. 1995.
Abstract , Compressed PostScript , PDF

TR1995-711 J. Cox, L. Ericson, B. Mishra , The Average Case Complexity of Multilevel Syllogistic , Dec. 1995.
Abstract , Compressed PostScript , PDF

TR1995-710 J.Moro, J.V. Burke, M.L. Overton , On the Lidskii-Vishik-Lyusternik Perturbation Theory for Eigenvalues of Matrices with Arbitrary Jordan Structure , Nov. 1995.
Abstract , Compressed PostScript , PDF

TR1995-709 B. Mishra, M. Teichman , Three Finger Optimal Planar Grasp , Nov. 1995.
Abstract , Compressed PostScript , PDF

TR1995-708 E.A.M. Shriver, L.F. Wisniewski , An API for Choreographing Data Accesses , Nov. 1995.
Abstract , Compressed PostScript , PDF

TR1995-707 M. Antoniotti, B. Mishra , The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete , Nov. 1995.
Abstract , Compressed PostScript , PDF

TR1995-706 E. Davis , Approximation and Abstraction in Solid Object Kinematics , Sept. 1995.
Abstract , Compressed PostScript , PDF

TR1995-705 M. A. Casarin , Quasi-Optimal Schwarz Methods for the Conforming Spectral Element Discretization , Sept. 1995.
Abstract , Compressed PostScript , PDF

TR1995-704 M. A. Casarin , Diagonal Edge Preconditioners in p-Version and Spectral Element Methods , Sept. 1995.
Abstract , Compressed PostScript , PDF

TR1995-703 E. Davis , Approximations of Shape and Configuration Space , Sept. 1995.
Abstract , Compressed PostScript , PDF

TR1995-701 R.Cole , On the Dynamic Finger Conjecture for Splay Trees Part II: The Proof , Aug. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-700 R.Cole, B. Mishra, J. Schmidt, A. Siegel , On the Dynamic Finger Conjecture for Splay Trees Part I: Splay Sorting log n-Block Sequences , Aug. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-699 A. Leung, K. Palem, C. Ungureanu , Run-time versus Compile-time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Tradeoffs , July 1995 .
Abstract , Compressed PostScript , PDF

TR1995-698 R. Motwani, K. Palem, V. Sarkar, S. Reyen , Combined Instruction Scheduling and Register Allocation , July 1995 .
Abstract , Compressed PostScript , PDF

TR1995-697 A. Muravitsky , New Mathematical Foundations for Knowledge Maintenance Systems: Research Programs , May 1995 (see tr #693) .
Abstract , Compressed PostScript , PDF

TR1995-696 A. Muravitsky , Some Knowledge Transformers: Infons and Constraints , May 1995 (see tr #691) .
Abstract , Compressed PostScript , PDF

TR1995-695 A. Kheyfits , Dirichlet Problem for the Schrodinger Operator in a Half-space with Boundary Data of Arbitrary Growth at Infinity , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-694 A. Muravitsky , Logic of Information Knowledge , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-693 A. Muravitsky , A Perspective of New Foundations for Knowledge Maintenance Systems: Research Program , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-692 Y. Kaluzhny, A. Muravitsky , A Knowledge Representation Based on the Belnap's Four-Valued Logic , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-691 A. Muravitsky , Some Knowledge Transformers: Infons and Constraints , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-690 A. Muravitsky , A Framework for Knowledge-Based Systems , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-689 A. Muravitsky , Knowledge Representation as Domains , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-688 A. Muravitsky , On the First Degree Entailment of Two 3-Valued Logics , May 1995 .
Abstract , Compressed PostScript , PDF

TR1995-687 A. Siegel, J. Schmidt , Closed Hashing is Computable and Optimally Randomizable with Universal Hash Functions , Apr. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-686 J. Schmidt, A. Siegel , Double Hashing is Computable and Randomizable with Universal Hash Functions , Apr. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-685 A. Siegel , Toward a Usable Theory of Chernoff Bounds for Heterogeneous and Partially Dependent Random Variables , Apr. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-684 A. Siegel , On Universal Classes of Extremely Random Constant Time Hash Functions and their Time-space Tradeoff , Apr. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-683 A. Klawonn , An Optimal Preconditioner for a Class of Saddle Point Problems with a Penalty Term, Part II: General Theory , Apr. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-682 K. Andersen, E. Christiansen, M. Overton , Computing Limit Loads by Minimizing a Sum of Norms , Apr. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-681 F. Alizadeh, J. Haeberly, M. Overton , Complementarity and Nondegeneracy in Semidefinite Programming , Mar. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-680 B. Mishra , Grasp Metrics: Optimality and Complexity , Jan. 1995 .
Abstract , Compressed PostScript , PDF

TR1995-679 C. Yap , Report on NSF Workshop on Manufacturing and Computational Geometry , Jan. 1995 .
Abstract , Compressed PostScript , PDF

TR1994-677 A. Knyazev , New Estimates for Ritz Vectors , Dec. 1994 .
Abstract , Compressed PostScript , PDF

TR1994-676 A. Klawonn , An Optimal Preconditioner for a Class of Saddle Point Problems with a Penalty Term , Dec. 1994 .
Abstract , Compressed PostScript , PDF

TR1994-675 M. Antoniotti, B. Mishra , Discrete Event Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers , Nov. 1994 .
Abstract , Compressed PostScript , PDF

TR1994-674 M. Antoniotti, B. Mishra , Automatic Synthesis Algorithms for Supervisory Controllers (Preliminary Report) , Nov. 1994 .
Abstract , Compressed PostScript , PDF

TR1994-673 S. M. Sokolov, D. P. Max, R. S. Wallace , Simple Multi Function Vision System for 3D Data Acquisition , Oct. 1994 .
Abstract , Compressed PostScript , PDF

TR1994-672 J. Sellen , Planning Paths of Minimal Curvature , Oct. 1994.
Abstract , Compressed PostScript , PDF

TR1994-671 M.S. Martins , Schwarz Preconditioners for Elliptic Problems with Discontinuous Coefficients Using Conforming and Non-Conforming Elements , Sep. 1994.
Abstract , Compressed PostScript , PDF

TR1994-670 J. Choi, J. Sellen, C.K. Yap , Approximate Euclidean Shortest Path in 3-Space , Sep. 1994.
Abstract , Compressed PostScript , PDF

TR1994-669 R. Wallace, J. Selig , Scaling Direct Drive Robots , Aug. 1994.
Abstract , Compressed PostScript , PDF

TR1994-668 M. Ebner, R. Wallace , A Direct-Drive Hand: Design, Modeling and Control , Jun. 1994.
Abstract , Compressed PostScript , PDF

TR1994-667 C. Yao , Representing Control in Parallel Applicative Programing , Sep. 1994.
Abstract , Compressed PostScript , PDF

TR1994-666 E. Davis , Branching Continuous Time and the Semantics of Continuous Action , Jul. 1994.
Abstract , Compressed PostScript , PDF

TR1994-663 L. Pavarino, O. Widlund , Iterative Substructuring Methods for Spectral Elements: Problems in Three Dimensions Based on Numerical Quadrature , May 1994.
Abstract , Compressed PostScript , PDF

TR1994-662 M. Dryja, M. Sarkis, O. Widlund , Multilevel Schwarz Methods for Elliptic Problems with Discontinuous Coefficients in Three Dimensions , Mar. 1994.
Abstract , Compressed PostScript , PDF

TR1994-661 L. Pavarino, O. Widlund , A Polylogarithmic Bound for an Iterative Substructuring Method for Spectral Elements in Three Dimensions , Mar. 1994 .
Abstract , Compressed PostScript , PDF

TR1994-660 J. P. Haeberly, M. Overton , Optimizing Eigenvalues of Symmetric Definite Pencils , Mar. 1994.
Abstract , Compressed PostScript , PDF

TR1994-659 F. Alizadeh, J. P. Haeberly, M. Overton , A New Primal-Dual Interior-Point Method for Semidefinite Programming , Mar. 1994.
Abstract , Compressed PostScript , PDF

TR1994-657 G. Davis, S. Mallat, Z. Zhang , Adaptive Time-Frequency Approximations with Matching Pursuits , Mar. 1994.
Abstract , Compressed PostScript , PDF

TR1994-655 C. Yao, B. Goldberg , Pscheme: Extending Continuations to Express Control and Synchronization in a Parallel LISP , Mar. 1994.
Abstract , Compressed PostScript , PDF

TR1994-654 H. Chen , Multilevel Schwarz Methods with Partial Refinement , Mar. 1994 .
Abstract , Compressed PostScript , PDF

TR1993-653 B. Mishra, M. Antoniotti, F. Hansen, R. Wallace , NYU Educational Robotics Project: A Pedagogic Overview , Nov. 1993.
Abstract , Compressed PostScript , PDF

TR1993-652 D. Max, R. Wallace , Feedback Control of Miniature Direct Drive Devices , Nov. 1993.
Abstract , Compressed PostScript , PDF

TR1993-651 R. Wallace , Miniature Direct Drive Rotary Actuators II: Eye, Finger, and Leg , Nov. 1993.
Abstract , Compressed PostScript , PDF

TR1993-650 B. Mishra , A Survey of Computational Differential Algebra , Oct. 1993 .
Abstract , Compressed PostScript , PDF

TR1993-648 L. Pavarino, O. Widlund , Iterative Substructuring Methods for Spectral Elements in Three Dimensions , Sep. 1993.
Abstract , Compressed PostScript , PDF

TR1993-647 B. Mishra , Bidirectional Edges Problem, Part II: An Efficient Algorithm , Sep. 1993.
Abstract , Compressed PostScript , PDF

TR1993-646 B. Mishra , Bidirectional Edges Problem, Part I: A Simple Algorithm , Sep. 1993.
Abstract , Compressed PostScript , PDF

TR1993-645 A. Greenbaum , Norms of Functions of Matrices , Aug. 1993.
Abstract , Compressed PostScript , PDF

TR1993-643 B. Mishra, M. Antoniotti , ED I: NYU Educational Robot Design and Evaluation , Aug. 1993.
Abstract , Compressed PostScript , PDF

TR1993-641 W. Hwang, S. Mallat , Chacterization of Self-Similar with Wavelet Maxima , Aug. 1993.
Abstract , Compressed PostScript , PDF

TR1993-640 F. Tsai , A Probabilistic Approach to Geometric Hashing Using Line Features , June 1993.
Abstract , Compressed PostScript , PDF

TR1993-639 G. Koren, D. Shasha , Competitive Algorithms and Lower Bounds for On-Line Scheduling of Multiprocessor Real-Time Systems , June 1993.
Abstract , Compressed PostScript , PDF

TR1993-638 M. Dryja, B. Smith, O. Widlund , Schwarz Analysis of Iterative Substructuring Algorithms for Elliptic Problems in Three Dimensions , May 1993.
Abstract , Compressed PostScript , PDF

TR1993-637 E. Davis , Knowledge Preconditions for Plans , May 1993.
Abstract , Compressed PostScript , PDF

TR1993-636 R. Wallace, B. Bederson, E. Schwartz , Voice-Bandwidth Visual Communication Through Logmaps: The Telecortex , May 1993.
Abstract , Compressed PostScript , PDF

TR1993-635 J. Cai , A Language for Semantic Analysis , May 1993.
Abstract , Compressed PostScript , PDF

TR1993-634 R. Wallace , Miniature Direct-Drive Rotary Actuators , Apr. 1993.
Abstract , Compressed PostScript , PDF

TR1993-633 R. Wallace, P. Ong, B. Bederson, E. Schwartz , Space Variant Image Processing , Apr. 1993.
Abstract , Compressed PostScript , PDF

TR1993-632 Mutukrishnan, K. Palem , Highly Efficient Dictionary Matching in Parallel , Apr. 1993.
Abstract , Compressed PostScript , PDF

TR1993-631 M. Overton, X. Ye , Towards Second-Order Methods for Structured Nonsmooth Optimization , Apr. 1993.
Abstract , Compressed PostScript , PDF

TR1993-630 P. Agarwal , The Cell Programming Language , Mar. 1993.
Abstract , Compressed PostScript , PDF

TR1993-629 M. Sarkis , Two-Level Schwarz Methods for Nonconforming Finite Elements and Discontinuous Coefficients , Mar. 1993.
Abstract , Compressed PostScript , PDF

TR1993-628 G. Gallo, B. Mishra , The Complexity of Resolvent Resolved , Mar. 1993 .
Abstract , Compressed PostScript , PDF

TR1993-627 M. Overton, R. Womersly , Second Derivatives for Optimizing Eigenvalues of Symmetric Matrices , Mar. 1993.
Abstract , Compressed PostScript , PDF

TR1993-626 M. Dryja, O. Widlund , Schwarz Methods of Neumann-Neumann Type for Three-Dimensional Elliptic Finite Element Problems , Mar. 1993.
Abstract , Compressed PostScript , PDF

TR1993-625 F. Tsai , Using Line Invariants for Object Recognition by Geometric Hasing , Feb. 1993.
Abstract , Compressed PostScript , PDF

TR1993-624 J. Haeberly, M. Overton , A Hybrid Algorithm for Optimizing Eigenvalues of Symmetric Definite Pencils , Feb. 1993.
Abstract , Compressed PostScript , PDF

TR1993-619 S. Mallat, Z. Zhang , Matching Pursuits with Time-Frequency Dictionaries , Rev. Aug. 1993.
Abstract , Compressed PostScript , PDF

TR1992-621 F. Tsai , Statistical Approach to Affine Invariant Matching with Line Features , Nov. 1992.
Abstract , Compressed PostScript , PDF

TR1992-620 T.-R. Chuang, B. Goldberg , Backward Analysis for Higher-Order Functions Using Inverse Images , Nov. 1992.
Abstract , Compressed PostScript , PDF

TR1992-616 L. Pavarino , Domain Decomposition Algorithms for the P-Version Finite Element Method for Elliptic Problems , Sep. 1992.
Abstract , Compressed PostScript , PDF

TR1992-615 M. Dryja, O. Widlund , Some Recent Results on Schwarz Type Domain Decomposition Algorithms , Sep. 1992.
Abstract , Compressed PostScript , PDF

TR1992-614 L. Pavarino , Some Schwarz Algorithms for the P-Version Finite Element Method , Sep. 1992.
Abstract , Compressed PostScript , PDF

TR1992-610 V. Averbukh, S. Figueroa, T. Schlick , HESFCN - A Fortran package of Hessian Subroutines for Testing Nonlinear Optimization Software , June 1992.
Abstract , Compressed PostScript , PDF

TR1992-609 J. Cai, R. Paige , Multiset Discrimination - A Method for Implementing Programming Language Systems without Hashing , June 1992.
Abstract , Compressed PostScript , PDF

TR1992-608 A. Greenbaum, Z. Strakos , Matrices that Generate the Same Krylov Residual Spaces , May 1992.
Abstract , Compressed PostScript , PDF

TR1992-607 A. Greenbaum, L. Trefethen , GMRES/CR and Arnoldi/Lanczos as Matrix Approximation Problems , May 1992.
Abstract , Compressed PostScript , PDF

TR1992-606 M. Dryja, O. Widlund , Domain Decomposition Algorithms with Small Overlap , May 1992.
Abstract , Compressed PostScript , PDF

TR1992-604 J. Cai, R. Paige, R. Tajan , More Efficient Bottom-Up Mult-Pattern Matching in Trees , Apr. 1992.
Abstract , Compressed PostScript , PDF

TR1992-603 J. Cai , Counting Embeddings of Planar Graphs Using DFS Trees , Apr. 1992.
Abstract , Compressed PostScript , PDF

TR1992-602 J. Cai, X. Han, R. Tarjan , An $O(m$log$n)$-Time Algorithm for the Maximal Planar Subgraph Problem , Apr. 1992.
Abstract , Compressed PostScript , PDF

TR1992-597 G. Park , Semantic Analyses for Storage Management Optimizations in Functional Language Implementations , Feb. 1992.
Abstract , Compressed PostScript , PDF

TR1992-595 X.-C. Cai, O. Widlund , Multiplicative Schwarz Algorithms for Some Nonsymmetric and Indefinite Problems , Feb. 1992.
Abstract , Compressed PostScript , PDF

TR1991-590 E. Davis , Axiomating Qualitative Process Theory , Nov. 1991.
Abstract , Compressed PostScript , PDF

TR1991-587 C. Chang, R. Paige , New Theoretical and Computational Results for Regular Languages , Oct. 1991.
Abstract , Compressed PostScript , PDF

TR1991-586 J. Haeberly , On Shape Optimizing the Ratio of the First Two Eigenvalues of the Laplacian , Oct. 1991.
Abstract , Compressed PostScript , PDF

TR1991-585 M. Hind , Efficient Loop-Level Parallelishm in ADA , Sep. 1991.
Abstract , Compressed PostScript , PDF

TR1991-584 X. Zhang , Studies in Domain Decomoposition: Multilevel Methods and the Biharmonic Dirichlet Problem , Sep. 1991.
Abstract , Compressed PostScript , PDF

TR1991-583 X. Zhang , Domain Decomposition Algorithms for the Biharmonic Dirichlet Problem , Sep. 1991.
Abstract , Compressed PostScript , PDF

TR1991-582 X. Zhang , Multilevel Additive Schwarz Methods , Sep. 1991.
Abstract , Compressed PostScript , PDF

TR1991-581 O. Widlund , Some Schwarz Methods for Symmetric and Nonsymmetric Elliptic Problems , Sep. 1991.
Abstract , Compressed PostScript , PDF

TR1991-580 L. Pavarino , An Additive Schwarz Method for the P-Version Finite Element Method , Sep. 1991.
Abstract , Compressed PostScript , PDF

TR1991-579 J. Burke, M. Overton , Differential Properties of Eigenvalues , Sep. 1991.
Abstract , Compressed PostScript , PDF

TR1991-574 R. Cole, O. Zajicek , The Expected Advantage of Asynchrony , Sep. 1991 .
Abstract , Compressed PostScript , PDF

TR1991-573 R. Cole, A. Raghunathan , Online Algorithms for Finger Searching , Aug. 1991.
Abstract , Compressed PostScript , PDF

TR1991-572 G. Koren, D. Shasha , An Optimal Scheduling Algorithm with a Competitive Factor for Real-Time Systems , July 1991.
Abstract , Compressed PostScript , PDF

TR1991-571 F. Gasperoni, U. Schwiegelshohn , Efficient Algorithms for Cyclic Scheduling , July 1991.
Abstract , Compressed PostScript , PDF

TR1991-570 M. Dryja, O. Widlund , Additive Schwarz Methods for Elliptic Finite Element Problems in Three Dimensions , June 1991.
Abstract , Compressed PostScript , PDF

TR1991-568 J. Burke, M. Overton , On the Subdifferentiability of a Matrix Spectrum II: Subdifferential Formulas , June 1991.
Abstract , Compressed PostScript , PDF

TR1991-567 J. Burke, M. Overton , On the Subdifferentiability of a Matrix Spectrum I: Mathematical Foundations , June 1991.
Abstract , Compressed PostScript , PDF

TR1991-566 M. Overton, R. Womersley , Optimality Conditions and Duality Theory for Minimizing Sums of the Largest Eigenvalues of Symmetric Matrices , June 1991.
Abstract , Compressed PostScript , PDF

TR1991-565 E. Davis , Lucid Representations , June 1991.
Abstract , Compressed PostScript , PDF

TR1991-562 S. Nepomnyaschikh , Decomposition and Fictitious Domains Methods for Elliptic Boundary Value Problems , May 1991.
Abstract , Compressed PostScript , PDF

TR1991-561 R. Sundar , Amortized Complexity of Data Structures , May 1991.
Abstract , Compressed PostScript , PDF

TR1991-557 R. Cole, U. Vishkin , On the Detection of Robust Curves , Apr. 1991 .
Abstract , Compressed PostScript , PDF

TR1991-556 F. Henglein, K. Laufer , Programming with Structures, Functions, and Objects , Apr. 1991.
Abstract , Compressed PostScript , PDF

TR1991-555 K. Laufer , Comparing Three Approaches to Transformational Programming , Apr. 1991.
Abstract , Compressed PostScript , PDF

TR1991-554 I. Rgoutsos, R. Hummel , On a Parallel Implementation of Geometric Hashing on the Connection Machine , Apr. 1991.
Abstract , Compressed PostScript , PDF

TR1991-553 I. Rigoutsos, R. Hummel , Scalable Parallel Geometric Hashing for Hypercube SIMD Architechtures , Jan. 1991.
Abstract , Compressed PostScript , PDF

TR1991-548 K. L. Clarkson, R. Cole, R. E. Tarjan , Randomized Parallel Algorithms for Trapezoidal Diagrams , Mar. 1991.
Abstract , Compressed PostScript , PDF

TR1991-546 R. Cole, O. Zajicek , An Asynchronous Parallel Algorithm for Undirected Graph Connectivity , Feb. 1991.
Abstract , Compressed PostScript , PDF

TR1991-541 E. Davis , The Kinematics of Cutting Solid Objects , Jan. 1991 .
Abstract , Compressed PostScript , PDF

TR1991-539 R. Cole, O. Zajicek , The APRAM - The Rounds Complexity Measure and the Explicit Costs of Synchronization , Jan. 1991.
Abstract , Compressed PostScript , PDF

TR1990-534 E. Davis , Physical Idealization as Plausible Inference , Nov. 1990 .
Abstract , Compressed PostScript , PDF

TR1990-533 N. Prabhu , On a Conjecture of Micha Perles , Nov. 1990.
Abstract , Compressed PostScript , PDF

TR1990-532 G. Bohus, W. Jockush, C. Lee, N. Prabhu , On Triangulations of the 3-Ball and the Solid Torus , Nov. 1990.
Abstract , Compressed PostScript , PDF

TR1990-531 W. Jockush, N. Prabhu , Cutting a Polytope , Nov. 1990.
Abstract , Compressed PostScript , PDF

TR1990-529 M. Dryja , Substructuring Methods for Parabolic Problems , Nov. 1990.
Abstract , Compressed PostScript , PDF

TR1990-523 P. Ouyang , Execution of Regular DO Loops on Asynchronous Multiprocessors , Oct. 1990.
Abstract , Compressed PostScript , PDF

TR1990-520 J. Burke , Stable Perturbations of Nonsymmetric Matrices , Oct. 1990.
Abstract , Compressed PostScript , PDF

TR1990-519 B. Smith , A Domain Decomposition Algorithm for Elliptic Problems in Three Dimensions , Oct. 1990.
Abstract , Compressed PostScript , PDF

TR1990-518 K. Li , Dag Representation and Optimization of Rewriting , Sep. 1990 .
Abstract , Compressed PostScript , PDF

TR1990-517 B. Smith , Domain Decomposition Algorithms for the Partial Differential Equations of Linear Elasticity , Sep. 1990.
Abstract , Compressed PostScript , PDF

TR1990-514 D. Shasha, J. Turek , Beyond Fail-Stop: Wait-Free Serializability and Resiliency in the Presence of Slow-Down Failures , Sep. 1990.
Abstract , Compressed PostScript , PDF

TR1990-512 R. Cole , Tight Bounds on the Complexity of the Boyer-Moore Pattern Matching Algorithm , June 1990.
Abstract , Compressed PostScript , PDF

TR1990-510 S. Cox, M. Overton , On the Optimal Design of Columns Against Buckling , June 1990.
Abstract , Compressed PostScript , PDF

TR1990-507 M. Dryja, O. Widlund , Multilevel Additive Methods for Elliptic Finite Element Problems , May 1990.
Abstract , Compressed PostScript , PDF

TR1990-506 X. Cai, O. Widlund , Domain Decomposition Algorithms for Indefinite Elliptic Problems , May 1990.
Abstract , Compressed PostScript , PDF

TR1990-505 verton , Large-Scale Optimization of Eigenvalues , May 1990.
Abstract , Compressed PostScript , PDF

TR1990-503 V. Lanin, D. Shasha , Tree Locking on Changing Trees , Apr. 1990 .
Abstract , Compressed PostScript , PDF

TR1990-498 K. Donovan , Performance of Shared Memory in a Parallel Computer , Mar. 1990 .
Abstract , Compressed PostScript , PDF


top | contact webmaster@cs.nyu.edu