Theses & Reports

Instructions for submitting a technical report or thesis.

You can find technical reports published prior to 1990 archived here.

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