Theses & Reports

Instructions for submitting a technical report.

  • Ph.D. Thesis 2016 Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions Bansal, Kshitij Abstract | PDF
  • Ph.D. Thesis 2016 Analyzing Source Code Across Static Conditionals Gazzillo, Paul Abstract | PDF
  • Ph.D. Thesis 2016 Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL Oh, Chanseok Abstract | PDF
  • Ph.D. Thesis 2016 Partition Memory Models for Program Analysis Wang, Wei 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-974 2015 Domain Decomposition Methods for Problems in H(curl) Calvo, Juan Gabriel Abstract | PDF
  • Ph.D. Thesis 2015 Big Data Analytics for Development: Events, Knowledge Graphs and Predictive Models Chakraborty, Sunandan Abstract | PDF
  • Ph.D. Thesis 2015 SMT-Based and Disjunctive Relational Abstract Domains for StaticAnalysis Chen, Junjie Abstract | PDF
  • Ph.D. Thesis 2015 Iris: Mitigating Phase Noise in Millimeter Wave OFDM Systems Dhananjay, Aditya Abstract | PDF
  • Ph.D. Thesis 2015 Predicting Images using Convolutional Networks: Visual Scene Understanding with Pixel Maps Eigen, David Abstract | PDF
  • TR2015-976 2015 Kmax: Analyzing the Linux Build System Gazzillo, Paul Abstract | PDF
  • Ph.D. Thesis 2015 Unsupervised Feature Learning in Computer Vision Goroshin, Ross Abstract | PDF
  • Ph.D. Thesis 2015 Efficient and Trustworthy Theory Solver for Bit-vectors in SatisfiabilityModulo Theories Hadarean, Liana Abstract | PDF
  • TR2015-975 2015 A Crop Recommendation Tool for Organic Farmers Hsu, Jasmine; Shasha, Dennis Abstract | PDF
  • Ph.D. Thesis 2015 Predicting the Market Value of Single-Family Residences Lowrance, Roy Abstract | PDF
  • Ph.D. Thesis 2015 Building Fast, CPU-Efficient Distributed Systems on Ultra-Low Latency, RDMA-Capable Networks Mitchell, Christopher 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
  • Ph.D. Thesis 2015 Instance Segmentation of RGBD Scenes Silberman, Nathan Abstract | PDF
  • Ph.D. Thesis 2015 Localization of Humans in Images Using Convolutional Networks Tompson, Jonathan Abstract | PDF
  • TR2015-973 2015 Acronym Disambiguation Turtel, Benjamin D.; Shasha, Dennis Abstract | PDF
  • Ph.D. Thesis 2015 Joint Training of a Neural Network and a Structured Model for Computer Vision Wan, Li Abstract | PDF
  • Ph.D. Thesis 2015 Partition Memory Models in Program Analysis Wang, Wei Abstract | PDF
  • Ph.D. Thesis 2014 On the Human Form: Efficient acquisition, modeling and manipulation of thehuman body Braga, Otavio 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
  • Ph.D. Thesis 2014 Analyzing Tatonnement Dynamics in Economic Markets Cheung, Yun Kuen 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
  • Ph.D. Thesis 2014 Low-latency Image Recognition withGPU-accelerated Convolutional Networksfor Web-based Services Huang, Fu Jie Abstract | PDF
  • Ph.D. Thesis 2014 Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic King, Tim Abstract | PDF
  • TR2014-967 2014 The Push/Pull model of transactions Koskinen, Eric; Parkinson, Matthew Abstract | PDF
  • TR2014-966 2014 Local temporal reasoning Koskinen, Eric Abstract | PDF
  • Ph.D. Thesis 2014 Cryptographic Algorithms for the SecureDelegation of Multiparty Computation Lopez-Alt, Adriana Abstract | PDF
  • Ph.D. Thesis 2014 Robust and Efficient Methods for Approximation and Optimization of Stability Measures Mitchell, Tim Abstract | PDF
  • Ph.D. Thesis 2014 Building Efficient Distributed In-memory Systems Power, Russell Abstract | PDF
  • TR2014-971 2014 VerifiableAuction: An Auction System for a Suspicious World Rosenberg, Michael; Shasha, Dennis Abstract | PDF
  • Ph.D. Thesis 2014 Runtime Compilation of Array-Oriented Python Programs Rubinsteyn, Alex Abstract | PDF
  • Ph.D. Thesis 2014 A Deep Learning Pipeline for Image Understanding and Acoustic Modeling Sermanet, Pierre Abstract | PDF
  • Ph.D. Thesis 2014 Towards New Interfaces For Pedagogy Stein, Murphy Abstract | PDF
  • Ph.D. Thesis 2014 Computational Complexity Implicationsof Secure Coin-Flipping Tentes, Aristeidis Abstract | PDF
  • TR2014-963 2014 On Automating Separation Logic with Trees and Data Wies, Thomas Abstract | PDF
  • Ph.D. Thesis 2014 Data-driven Approaches for Paraphrasing across Language Variations Xu, Wei Abstract | PDF
  • Ph.D. Thesis 2014 Positive-Unlabeled Learning in the Context of Protein Function Prediction Youngs, Noah Abstract | PDF
  • Ph.D. Thesis 2014 Hierarchical Convolutional Deep Learning in Computer Vision Zeiler, Matthew Abstract | PDF
  • Ph.D. Thesis 2013 Incentive-Centered Design of Money-Free Mechanisms Gkatzelis, Vasilis Abstract | PDF
  • TR2013-957 2013 Tight Lower Bound on the Probability of a Binomial Exceeding its Expectation Greenberg, Spencer; Mohri, Mehryar Abstract | PDF
  • Ph.D. Thesis 2013 Locality Optimization for Data Parallel Programs Hielscher, Eric 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
  • Ph.D. Thesis 2013 Piecewise Smooth Surfaces with Features Kovacs, Denis Abstract | PDF
  • Ph.D. Thesis 2013 Low-level Image Priors and Laplacian Preconditioners for Applications in Computer Graphics and Computational Photography Krishnan, Dilip 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
  • Ph.D. Thesis 2013 Relation Extraction with Weak Supervision and Distributional Semantics Min, Bonan 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
  • Ph.D. Thesis 2013 Usable Security Mechanisms in the Developing World Paik, Michael Abstract | PDF
  • Ph.D. Thesis 2013 Inapproximability Reductions and Integrality Gaps Popat, Preyas Abstract | PDF
  • Ph.D. Thesis 2013 Natural Interaction with a Virtual World Rosenberg, Ilya Abstract | PDF
  • Ph.D. Thesis 2013 Security Mechanisms for Physical Authentication Sharma, Ashlesh Abstract | PDF
  • TR2013-953 2013 Online Machine Learning Algorithms For Currency Exchange Prediction Soulas, Eleftherios; Shasha, Dennis Abstract | PDF
  • Ph.D. Thesis 2013 Augmenting Information Flow for Visual Privacy Spiro, Ian Abstract | PDF
  • Ph.D. Thesis 2013 Toward a computational solution to the inverse problem of how hypoxiaarises in metabolically heterogeneous cancer cell populations Sundstrom, Andrew Abstract | PDF
  • Ph.D. Thesis 2013 Rethinking Information Privacy for the Web Tierney, Matthew 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
  • Ph.D. Thesis 2012 Learning Hierarchical Feature Extractors For ImageRecognition Boureau, Y-Lan Abstract | PDF
  • Ph.D. Thesis 2012 On populations, haplotypes and genome sequencing Franquin, Pierre Abstract | PDF
  • Ph.D. Thesis 2012 Optimizing Machine Translation by Learning to Search Galron, Daniel Abstract | PDF
  • Ph.D. Thesis 2012 Flexible-Cost SLAM Grimes, Matthew Abstract | PDF
  • Ph.D. Thesis 2012 SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination Jovanovic, Dejan Abstract | PDF
  • Ph.D. Thesis 2012 An Adaptive Fast Multipole Method-Based PDE Solver in Three Dimensions Langston, Matthew Harper Abstract | PDF
  • Ph.D. Thesis 2012 Acquiring information from wider scope to improve event extraction Liao, Shasha Abstract | PDF
  • Ph.D. Thesis 2012 Mobile Accessibility Tools for the Visually Impaired Paisios, Nektarios Abstract | PDF
  • Ph.D. Thesis 2012 Reusable Software Infrastructure for Stream Processing Soule, Robert 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
  • Ph.D. Thesis 2012 Building scalable geo-replicated storage backends for web applications Sovran, Yair Abstract | PDF
  • Ph.D. Thesis 2012 Rapid Training of Information Extraction with Local and Global Data Views Sun, Ang Abstract | PDF
  • Ph.D. Thesis 2012 Combating Sybil attacks in cooperative systems Tran, Nguyen Abstract | PDF
  • Ph.D. Thesis 2012 Multi-species biclustering: An integrative method to identify functional gene conservation between multiple species Waltman, Peter Abstract | PDF
  • Ph.D. Thesis 2011 Collusion Preserving Computation Alwen, Joel Abstract | PDF
  • Ph.D. Thesis 2011 Re-architecting Web and Mobile Information Access for Emerging Regions Chen, Jay Abstract | PDF
  • Ph.D. Thesis 2011 Automatic Deduction for Theories of Algebraic Data Types Chikanian, Igor 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
  • Ph.D. Thesis 2011 Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications Haralambiev, Kristiyan Abstract | PDF
  • Ph.D. Thesis 2011 Learning Feature Hierarchies for Object Recognition Kavukcuoglu, Koray Abstract | PDF
  • Ph.D. Thesis 2011 Topics in Formal Synthesis and Modeling Klein, Uri 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
  • Ph.D. Thesis 2011 Adaptive Isotopic Approximation of Nonsingular Curves and Surfaces Lin, Long Abstract | PDF
  • Ph.D. Thesis 2011 Real-Space Localization Methods for Minimizing the Kohn-Sham Energy Millstone, Marc Abstract | PDF
  • Ph.D. Thesis 2011 Scoring-and-Unfolding Trimmed Tree Assembler: Algorithms for Assembling Genome Sequences Accurately and Efficiently Narzisi, Giuseppe Abstract | PDF
  • TR2011-942 2011 Domain Decomposition Methods for Raviart-Thomas Vector Fields Oh, Duk-Soon Abstract | PDF
  • Ph.D. Thesis 2011 Cryptographic Resilience to Continual Information Leakage Wichs, Daniel Abstract | PDF
  • Ph.D. Thesis 2011 Surface Representation of Particle Based Fluids Yu, Jihun 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
  • Ph.D. Thesis 2010 On the Randomness Requirements for Privacy Bosley, Carleton Abstract | PDF
  • Ph.D. Thesis 2010 Machine Learning Approaches to Gene Duplication and Transcription Regulation Chen, Huang-Wen Abstract | PDF
  • Ph.D. Thesis 2010 New Privacy-Preserving Architectures for Identity-/Attribute-based Encryption Chow, Sze Ming Abstract | PDF
  • TR2010-930 2010 Coordination Mechanisms for Weighted Sum of Completion Times Cole, Richard; Gkatzelis, Vasilis; Mirrokni, Vahab Abstract | PDF
  • Ph.D. Thesis 2010 Tools and Techniques for the Sound Verification of Low Level Code Conway, Christopher L. Abstract | PDF
  • Ph.D. Thesis 2010 Probabilistic and Topological methods in Computational Geometry Dhandapani, Raghavan Abstract | PDF
  • TR2010-936 2010 An Iterative Substructuring Algorithm for Two-dimensional Problems in H(curl) Dohrmann, Clark R.; Widlund, Olof B. Abstract | PDF
  • Ph.D. Thesis 2010 Semi-Supervised Learning via Generalized Maximum Entropy Erkan, Ayse Naz Abstract | PDF
  • Ph.D. Thesis 2010 Solving Quantified First Order Formulas in Satisfiability Modulo Theories Ge, Yeting Abstract | PDF
  • TR2010-922 2010 Polite Theories Revisited Jovanovic, Dejan; Barrett, Clark Abstract | PDF
  • Ph.D. Thesis 2010 An Algorithmic Enquiry Concerning Causality Kleinberg, Samantha 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
  • Ph.D. Thesis 2010 Time Series Modeling with Hidden Variables and Gradient-Based Algorithms Mirowski, Piotr 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
  • Ph.D. Thesis 2010 Structure Prediction and Visualization in Molecular Biology Poultney, Christopher Abstract | PDF
  • Ph.D. Thesis 2010 Theoretical Foundations and Algorithms for Learning with Multiple Kernels Rostamizadeh, Afshin Abstract | PDF
  • Ph.D. Thesis 2010 Creating collections and evaluating viewpoints: Selection techniques for interface design Secord, Adrian 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
  • Ph.D. Thesis 2010 Analysis of Mass Spectrometry Data for Protein Identification In Complex Biological Mixtures Spivak, Marina Abstract | PDF
  • Ph.D. Thesis 2010 Matrix Approximation for Large-scale Learning Talwalkar, Ameet Abstract | PDF
  • TR2010-935 2010 Learning Image Decompositions with Hierarchical Sparse Coding Zeiler, Matthew D.; Fergus, Rob Abstract | PDF
  • Ph.D. Thesis 2009 Factor Graphs for Relational Regression Chopra, Sumit Abstract | PDF
  • TR2008-919 2009 Hybrid Domain Decomposition Algorithms for Compressible and Almost Incompressible Elasticity Dohrmann, Clark R.; Widlund, Olof B. Abstract | PDF
  • Ph.D. Thesis 2009 Numerical Estimation of the Second Largest Eigenvalue of a Reversible Markov Transition Matrix Gade, Kranthi Abstract | PDF
  • Ph.D. Thesis 2009 2D-Centric Interfaces and Algorithms for 3D Modeling Gingold, Yotam Abstract | PDF
  • Ph.D. Thesis 2009 Proximity problems for point sets residing in spaces with low doubling dimension Gottlieb, Lee-Ad Abstract | PDF
  • Ph.D. Thesis 2009 Creativity Support for Computational Literature Howe, Daniel 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
  • Ph.D. Thesis 2009 Efficient Systems Biology Algorithms for Biological Networks over Multiple Time-Scales: From Evolutionary to Regulatory Time Mitrofanova, Antonina Abstract | PDF
  • Ph.D. Thesis 2009 Detecting, modeling and rendering complex configurations of curvilinear features Parilov, Evgueni Abstract | PDF
  • Ph.D. Thesis 2009 Unsupervised Learning of Feature Hierarchies Ranzato, Marc'Aurelio Abstract | PDF
  • TR2009-923 2009 Learning least squares estimators without assumed priors or supervision Raphan, Martin; Simoncelli, Eero P. Abstract | PDF
  • Ph.D. Thesis 2009 Search Problems for Speech and Audio Sequences Weinstein, Eugene Abstract | PDF
  • TR2008-915 2009 Body Signature Recognition Williams, George; Bregler, Christoph; Hackney, Peggy; Rosenthal, Sally; McDowall, Ian; Smolskiy, Kirill Abstract | PDF
  • Ph.D. Thesis 2009 Using Application-Domain Knowledge in the Runtime Support of Multi-Experiment Computational Studies Yau, Siu-Man Abstract | PDF
  • Ph.D. Thesis 2009 Ensuring Correctness of Compiled Code Zaks, Ganna 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
  • Ph.D. Thesis 2008 Verification of Transactional Memories and Recursive Programs Cohen, Ariel 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
  • Ph.D. Thesis 2008 Learning Long-Range Vision for an Offroad Robot Hadsell, Raia 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
  • Ph.D. Thesis 2008 Synthesizing Executable Programs from Requirements Plock, Cory Abstract | PDF
  • Ph.D. Thesis 2008 Theory and Algorithms for Modern Machine Learning Problems and an Analysis of Markets Rastogi, Ashish Abstract | PDF
  • Ph.D. Thesis 2008 Geometric Modeling with High Order Derivatives Tosun, Elif 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
  • Ph.D. Thesis 2007 Scaling Data Servers via Cooperative Caching Annapureddy, Siddhartha Abstract | PDF
  • Ph.D. Thesis 2007 Shape Analysis by Abstraction, Augmentation, and Transformation Balaban, Ittai 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-887 2007 Magnitude-Preserving Ranking Algorithms Cortes, Corinna; Mohri, Mehryar; Rastogi, Ashish 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
  • Ph.D. Thesis 2007 Democratizing Content Distribution Freedman, Michael 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
  • Ph.D. Thesis 2007 Joint Inference for Information Extraction and Translation Ji, Heng 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
  • Ph.D. Thesis 2007 Authentication Mechanisms for Open Distributed Systems Nicolosi, Antonio Abstract | PDF
  • Ph.D. Thesis 2007 New Design Criteria for Hash Functions and Block Ciphers Puniya, Prashant 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
  • Ph.D. Thesis 2007 Being Lazy and Preemptive at Learning toward Information Extraction Shinyama, Yusuke Abstract | PDF
  • Ph.D. Thesis 2007 Constituent Parsing by Classification Turian, Joseph Abstract | PDF
  • Ph.D. Thesis 2007 Enhanced Security Models for Network Protocols Walfish, Shabsi Abstract | PDF
  • Ph.D. Thesis 2007 Tree-Structured Models of Multitext: Theory, Design and Experiments Wellington, Benjamin Abstract | PDF
  • Ph.D. Thesis 2007 Formal Verification Using Static and Dynamic Analyses Zaks, Aleksandr 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
  • Ph.D. Thesis 2006 Guaranteed Precision for Transcendental and Algebraic Computation Made Easy Du, Zilin Abstract | PDF
  • Ph.D. Thesis 2006 On Cryptographic Techniques for Digital Rights Management Fazio, Nelly Abstract | PDF
  • Ph.D. Thesis 2006 Finding Your Match: Techniques for Improving Sequence Alignment in DNA and RNA Gill, Ofer Hirsch Abstract | PDF
  • Ph.D. Thesis 2006 DataSlicer: A Hosting Platform for Data-Centric Network Services He, Congchun Abstract | PDF
  • Ph.D. Thesis 2006 Multimarker Genetic Analysis Methods for High Throughput Array Data Ionita, Iuliana 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
  • Ph.D. Thesis 2006 Expressive Motion Lees, Alyssa Abstract | PDF
  • Ph.D. Thesis 2006 Building Trustworthy Storage Services out of Untrusted Infrastructure Li, Jinyuan Abstract | PDF
  • Ph.D. Thesis 2006 Measures for Robust Stability and Controllability Mengi, Emre Abstract | PDF
  • Ph.D. Thesis 2006 Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology Mysore, Venkatesh Pranesh Abstract | PDF
  • Ph.D. Thesis 2006 Building an Automatic Phenotyping System of Developing Embryos Ning, Feng Abstract | PDF
  • Ph.D. Thesis 2006 A Polymorphic Type System and Compilation Scheme for Record Concatenation Osinski, Edward Abstract | PDF
  • Ph.D. Thesis 2006 A Probabilistic Learning Approach to Attribute Value Inconsistency Resolution Pevzner, Ilya Abstract | PDF
  • TR2006-881 2006 PSL Model Checking and Run-time Verification via Testers Pnueli, Amir; Zaks, Aleksandr Abstract | PDF
  • Ph.D. Thesis 2006 Animating Autonomous Pedestrians Shao, Wei Abstract | PDF
  • Ph.D. Thesis 2006 Complexity Analysis of Algorithms in Algebraic Computation Sharma, Vikram Abstract | PDF
  • Ph.D. Thesis 2006 Pairwise Comparison between Genomic Sequences and Optical-Maps Sun, Bing Abstract | PDF
  • Ph.D. Thesis 2006 Exploiting Service Usage Information for Optimizing Server Resource Management Totok, Alexander Abstract | PDF
  • Ph.D. Thesis 2006 Time Series Matching: A Multi-Filter Approach Wang, Zhihua Abstract | PDF
  • Ph.D. Thesis 2006 Incremental Web Search: Tracking Changes in the Web Wang, Ziyang Abstract | PDF
  • Ph.D. Thesis 2006 Fast Algorithms for Burst Detection Zhang, Xin Abstract | PDF
  • Ph.D. Thesis 2006 High Performance Algorithms for Multiple Streaming Time Series Zhao, Xiaojian Abstract | PDF
  • Ph.D. Thesis 2006 Distribution of Route-Impacting Control Information in a Publish/Subscribe System with Delivery Guarantees Zhao, Yuanyuan 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
  • Ph.D. Thesis 2005 Translation Validation of Optimizing Compilers Fang, Yi 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
  • Ph.D. Thesis 2005 Translation Validation of Loop Optimizations Hu, Ying 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
  • Ph.D. Thesis 2005 Construction of Component-Based Applications by Planning Kichkaylo, Tatiana Abstract | PDF
  • TR2005-863 2005 A FETI-DP formulation of three dimensional elasticity problems with mortar discretization Kim, Hyea Hyun Abstract | PDF
  • TR2005-873 2005 A BDDC algorithm for problems with mortar discretization Kim, Hyea Hyun; Dryja, Maksymilian; 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
  • TR2004-857 2005 FETI--DP, BDDC, and Block Cholesky Methods Li, Jing; Widlund, Olof B. Abstract | PDF
  • TR2005-861 2005 BDDC Algorithms for Incompressible Stokes Equations 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
  • Ph.D. Thesis 2005 Extensible MultiModal Environment Toolkit (EMMET): A Toolkit for Prototyping and Remotely Testing Speech and Gesture Based Multimodal Interfaces Robbins, Christopher A. 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
  • Ph.D. Thesis 2005 Pattern Discovery for Hypotheses Generation in Biology Tsirigos, Aristotelis Abstract | PDF
  • TR2005-862 2005 Three-Level BDDC in Three Dimensions Tu, Xuemin Abstract | PDF
  • TR2005-864 2005 A BDDC Algorithm for Mixed Formulation of Flow in Porous Media Tu, Xuemin Abstract | PDF
  • TR2005-865 2005 A BDDC algorithm for flow in porous media with a hybrid finite element discretization 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
  • Ph.D. Thesis 2005 Automatic Verification of Parameterized Systems Xu, Jiazhao Abstract | PDF
  • Ph.D. Thesis 2005 Mobility, Route Caching, and TCP Performance in Mobile Ad Hoc Networks Yu, Xin Abstract | PDF
  • Ph.D. Thesis 2005 Information Extraction from Multiple Syntactic Sources Zhao, Shubin 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
  • Ph.D. Thesis 2004 Partitionable Services Framework: Seamless Access to Distributed Applications Ivan, Anca 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
  • Ph.D. Thesis 2004 VALIS: A Multi-language System for Rapid Prototyping in Computational Biology Paxia, Salvatore Abstract | PDF
  • Ph.D. Thesis 2004 Thick Surfaces: Interactive Modeling of Topologically Complex Geometric Details Peng, Jianbo Abstract | PDF
  • Ph.D. Thesis 2004 TM-LPSAT: Encoding Temporal Metric Planning in Continuous Time Shin, Ji-Ae Abstract | PDF
  • TR2004-850 2004 Optical flow estimation as distributed optimization problem - an aVLSI implementation Stocker, Alan Abstract | PDF
  • Ph.D. Thesis 2004 Unsupervised Discovery of Extraction Patterns for InformationExtraction Sudo, Kiyoshi Abstract | PDF
  • TR2004-856 2004 Three-level BDDC in Two Dimensions Tu, Xuemin Abstract | PDF
  • Ph.D. Thesis 2004 An Efficient and High-Order Accurate Boundary Integral Solver for the Stokes Equations in Three Dimensional Complex Geometries Ying, Lexing Abstract | PDF
  • Ph.D. Thesis 2004 High Performance Data Mining in Time Series: Techniques and Case Studies Zhu, Yunyue Abstract | PDF
  • TR2003-839 2003 A kernel-independent fast multipole algorithm 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-848 2003 QTM: Trust Management with Quantified Stochastic Attributes Freudenthal, Eric; Karamcheti, Vijay Abstract | PDF
  • Ph.D. Thesis 2003 Comparing and Improving Centralized and Distributed Techniques for Coordinating Massively Parallel Shared-Memory Systems Freudenthal, Eric 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
  • Ph.D. Thesis 2003 Infrastructure Support for Accessing Network Services in Dynamic Network Environments Fu, Xiaodong 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
  • Ph.D. Thesis 2003 Enriched Content: Concept, Architecture, Implementation, and Applications Hung-Hsien, Chang 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
  • Ph.D. Thesis 2003 A framework for optimistic program optimization Pechtchanski, Igor Abstract | PDF
  • TR2003-840 2003 Robust Model-Free Tracking of Non-Rigid Shape Torresani, Lorenzo; Hertzmann, Aaron; Bregler, Christoph Abstract | PDF
  • Ph.D. Thesis 2003 Secure and Robust Censorship-Resistant Publishing Systems Waldman, Marc Abstract | PDF
  • TR2003-846 2003 Improved Link-Based Algorithms for Ranking Web Pages Wang, Ziyang Abstract | PDF
  • Ph.D. Thesis 2003 A Qualitative Profile-based Approach to Edge Detection Yen, Ting-jen Abstract | PDF
  • TR2003-842 2003 A Distributed Adaptive Cache Update Algorithm for Dynamic Source Routing Yu, Xin; Kedem, Zvi M. Abstract | PDF
  • Ph.D. Thesis 2002 Expert-Driven Validation of Set-Based Data Mining Results Adomavicius, Gediminas Abstract | PDF
  • Ph.D. Thesis 2002 Responsive Thinwire Visualization of Large Geographic Datasets Been, Kenneth Abstract | PDF
  • Ph.D. Thesis 2002 Representing and Modifying Complex Surfaces Biermann, Henning 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
  • Ph.D. Thesis 2002 On computing the Pareto-optimal solution set in a large scale dynamic network Daruwala, Raoul-Sam 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-830 2002 Dual-Primal FETI Methods for Stationary Stokes and Navier-Stokes Equations Li, Jing Abstract | PDF
  • TR2002-828 2002 Dual-Primal FETI Methods for Incompressible Stokes and Linearized 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
  • Ph.D. Thesis 2002 Informative Features in Vision and Learning Rudra, Archisman 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
  • Ph.D. Thesis 2001 Knowledge Discovery in Databases for Intrusion Detection, Disease Classification and Beyond Berger, Gideon 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-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-821 2001 Credentialed Secure Communication "Switchboards" Freudenthal, Eric; Port, Lawrence; Keenan, Edward; Pesin, Tracy; 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
  • Ph.D. Thesis 2001 Algorithms for Rendering in Artistic Styles Hertzmann, Aaron Abstract | PDF
  • TR2001-823 2001 Fast Solvers and Domain Decomposition Preconditioners for Spectral Element Discretizations of Problems in H(curl) Hientzsch, Bernhard Abstract | PDF
  • Ph.D. Thesis 2001 Region-based Register Allocation for EPIC Architectures Kim, Hansoo 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
  • Ph.D. Thesis 2001 Adversarial Reasoning: A Logical Approach for Computer Go Klinger, Tamir Abstract | PDF
  • Ph.D. Thesis 2001 Machine Level Optimizations for High Level Languages Leung, Allen Abstract | PDF
  • Ph.D. Thesis 2001 Exact Geometric Computation: Theory and Applications Li, Chen Abstract | PDF
  • TR2001-816 2001 A Dual-Primal FETI Method for Incompressible Stokes Equations Li, Jing Abstract | PDF
  • Ph.D. Thesis 2001 An On-Line Handwriting Recognizer with Fisher Matching, Hypotheses Propagation Network and Context Constraint Models Oh, Jong Abstract | PDF
  • Ph.D. Thesis 2001 Continuous Model for Salient Shape Selection and Representation Pao, Hsing-Kuo (Kenneth) 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
  • Ph.D. Thesis 2001 Language Support for Program Generation Reasoning, Implementation, and Applications Yang, Zhe Abstract | PDF
  • TR2001-818 2001 Enforcing Resource Sharing Agreements among Distributed Server Cluster Zhao, Tao; Karamcheti, Vijay Abstract | PDF
  • Ph.D. Thesis 2000 SETL for Internet Data Processing Bacon, David 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
  • Ph.D. Thesis 2000 A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages Figueroa, Sam Abstract | PDF
  • TR2000-808 2000 CANS: Composable, Adaptive Network Services Infrastructure Fu, Xiaodong; Shi, Weisong; Akkerman, Anatoly; Karamcheti, Vijay Abstract | PDF
  • Ph.D. Thesis 2000 A Language-Theoretic Approach to Algorithms Goyal, Deepak Abstract | PDF
  • TR2000-801 2000 Paint By Relaxation Hertzmann, Aaron Abstract | PDF
  • Ph.D. Thesis 2000 Supporting a Flexible Parallel Programming Model on a Network of Non-Dedicated Workstations Huang, Shih-Chen Abstract | PDF
  • Ph.D. Thesis 2000 Global Optimization Using Embedded Graphs Ishikawa, Hiroshi Abstract | PDF
  • Ph.D. Thesis 2000 On the Use of Functionals on Boundaries in Hierarchical Models of Object Recognition Jermyn, Ian 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
  • Ph.D. Thesis 2000 Delegation Logic: A Logic-based Approach to Distrbuted Authorization Li, Ninghui 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
  • Ph.D. Thesis 2000 Queryable Expert Systems Tanzer, David 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
  • Ph.D. Thesis 2000 Scenario Customization for Information Extraction Yangarber, Roman Abstract | PDF
  • TR2000-805 2000 Expressing and Enforcing Distributed Resource Sharing Agreements Zhao, Tao; Karamcheti, Vijay Abstract | PDF
  • Ph.D. Thesis 1999 Higher-Order Conditional Synchronization Afshartous, Niki Abstract | PDF
  • Ph.D. Thesis 1999 Metacomputing on on Commodity Computers Baratloo, Arash Abstract | PDF
  • TR1999-778 1999 Comic Strips for Algorithm Visualization Biermann, H.; Cole, R. Abstract | PDF
  • TR1999-784 1999 Stateless Remote Environment Navigation with View Compression Biermann, H.; Hertzmann, A.; Meyer, J.; Perlin, K. Abstract | PDF
  • TR1999-781 1999 Piecewise Smooth Subdivision Surfaces with Normal Control Biermann, H.; Levin, A.; Zorin, D. Abstract | PDF
  • Ph.D. Thesis 1999 A Maximum Entropy Approach to Named Entity Recognition Borthwick, Andrew Abstract | PDF
  • TR1999-787 1999 Recovering Non-Rigid 3D Shape from Image Streams Bregler, C.; Hertzmann, A.; Biermann, H. Abstract | PDF
  • Ph.D. Thesis 1999 Algorithms for Nonlinear Models in Computational Finance and their Object-oriented Implementation Buff, Robert Abstract | PDF
  • TR1999-790 1999 Variational Analysis of Non-Lipschitz Spectral Functions Burke, J. V.; Overton, M. L. Abstract | PDF
  • TR1999-791 1999 Optimizing Matrix Stability Burke, J. V.; Lewis, A. S.; 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
  • Ph.D. Thesis 1999 Prototyping a Prototyping Language Chen, Hseu-Ming 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
  • Ph.D. Thesis 1999 Distributed intelligence with bounded rationality: Applications to economies and networks Even, Ron Abstract | PDF
  • Ph.D. Thesis 1999 Pattern Discovery in Biology: Theory and Applications Floratos, Aristidis Abstract | PDF
  • Ph.D. Thesis 1999 Matching Algorithms and Feature Match Quality Measures for Model-Based Object Recognition with Applications toAutomatic Target Recognition Garcia-Keller, Martin Abstract | PDF
  • TR1999-777 1999 An Improved Intra-procedural May-alias Analysis Algorithm Goyal, D. Abstract | PDF
  • Ph.D. Thesis 1999 Learning to Play Network Games Greenwald, Amy Abstract | PDF
  • Ph.D. Thesis 1999 Experiments in refining graphical interface widgets Hecker, Yaron Chanoch Abstract | PDF
  • TR1999-783 1999 Interactive 3D Scene Reconstruction from Images Hertzmann, A. Abstract | PDF
  • Ph.D. Thesis 1999 Automated Software Deployment Jai, Benchiao Abstract | PDF
  • TR1999-780 1999 A Domain Decomposition Method with Lagrange Multipliers for Linear Elasticity Klawonn, A.; Widlund, O. B. Abstract |