Technical Reports

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990

2014

TR2014-971 Michael Rosenberg and Dennis Shasha: VerifiableAuction: An Auction System for a Suspicious World, October 2014
Abstract, PDF.

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 .

2013

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-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 .

2012

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
Abstract , Compressed PostScript , PDF .

2011

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-941 Dilip Krishnan and Richard Szeliski, Multigrid and Multilevel Preconditioners for Computational Photography, October 2011
Abstract , Compressed PostScript , PDF

TR2011-940 Dejan Jovanovic and Clark Barrett, Sharing is Caring: Combination of the Theories, November 2011
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

2010

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 , PDF

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), 2010/07.
Abstract , Compressed PostScript , PDF

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

TR2010-929 Daniel Galron, Information Extraction on High-­School Level Chemistry Labs, 2010/05.
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, 2010/04.
Abstract , Compressed PostScript , PDF

TR2010-926 Samantha Kleinberg and Bud Mishra, The Temporal Logic of Token Causes, 2010/02.
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, 2010/01.
Abstract , Compressed PostScript , PDF .

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

2009

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

TR2009-923 Martin Raphan and Eero P. Simoncelli, Learning least squares estimators without assumed priors or supervision, 2009/08 .
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, 2009/05 .
Abstract , Compressed PostScript , PDF

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

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

2008

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

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

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

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

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

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

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

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

2007

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

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

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

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

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

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

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

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

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

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

2006

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

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

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

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

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

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

2005

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2004

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

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

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

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

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

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

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

2003

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

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

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

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

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

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

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

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

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

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

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

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

2002

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

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

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

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

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

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

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

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

TR2003-837
Biros, George , Ying, Lexing , Zorin, Denis , An Embedded Boundary Integral Solver for the Stokes Equations, 2002/06 .
Abstract , Compressed PostScript , PDF

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

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

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

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

2001

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

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

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

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

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

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

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

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

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

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

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

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

2000

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

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

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

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

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

TR2000-804
Stefanica, D , Domain Decomposition Methods for Mortar Finite Elements , 2000/07 .
Abstract , Compressed PostScript , PDF

TR2000-803
Kindler, E , Shasha, D , Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs , 2000/06 .
Abstract , Compressed PostScript , PDF

TR2000-805
Zhao, T , Karamcheti, V , Expressing and Enforcing Distributed Resource Sharing Agreements , 2000/06 .
Abstract , Compressed PostScript , PDF

TR2000-801
Hertzmann, A , Paint By Relaxation , 2000/05 .
Abstract , Compressed PostScript , PDF

TR2000-802
Davis, E , Continuous Shape Transformation and Metrics on Shapes , 2000/04 .
Abstract , Compressed PostScript , PDF

TR2000-799
Overton, M , Burke, J , Variational Analysis of the Abscissa Mapping for Polynomials , 2000/03 .
Abstract , Compressed PostScript , PDF

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

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

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

1999

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

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

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

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

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

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

TR1999-790
Burke, J , Overton, M , Variational Analysis of Non-Lipschitz Spectral Functions , 1999/09 .
Abstract , Compressed PostScript , PDF

TR1999-791
Burke, J , Lewis, A , Overton, M , Optimizing Matrix Stability , 1999/09 .
Abstract , Compressed PostScript , PDF

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

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

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

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

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

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

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

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

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

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

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

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

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

1998

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1997

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

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

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

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

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

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

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

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

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

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

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

TR1997-747
Pavarino, L , Widlund, O , Iterative Substructuring Methods for Spectral Element Discretizations of Elliptic Systems in Three Dimensions , 1997/10 .
Abstract , Compressed PostScript , PDF

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

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

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

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

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

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

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

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

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

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

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

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

1996

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

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

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

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

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

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

TR1996-724
Dreyer, D , Overton, M , Two Heuristics for the Steiner Tree Problem , 1996/08 .
Abstract , Compressed PostScript , PDF

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

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

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

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

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

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

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

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

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

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

1995

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

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

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

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

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

TR1995-708
Shriver, E , Wisniewski, L , An API for Choreographing Data Accesses , 1995/11 .
Abstract , Compressed PostScript , PDF

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1994

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1993

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1992

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1991

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1990

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

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

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

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

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

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

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

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

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

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

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

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

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

TR1990-505
Verton , Large-Scale Optimization of Eigenvalues , 1990/05 .
Abstract , Compressed PostScript , PDF

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

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

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

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


top | contact webmaster@cs.nyu.edu