Loading [Contrib]/a11y/accessibility-menu.js

Theses & Reports

Instructions for submitting a technical report or thesis.

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

  • Ph.D. Thesis 2025 On The Applications of Coarse Network Geometry to Personalized Immuno-Oncology Bannon, James Abstract | PDF
  • Ph.D. Thesis 2025 Language Models at the Scale of Evolution Rives, Alexander Abstract | PDF
  • Ph.D. Thesis 2025 An Explicit Certified Method for Path Planning Problem of an SE(3) Robot Zhang, Zhaoqi Abstract | PDF
  • Ph.D. Thesis 2024 On Efficient Instantiations of Secure Multi-Party Computation in Practice Bienstock, Alexander Abstract | PDF
  • Ph.D. Thesis 2024 Generative modeling and Stochastic Control as Dynamics on Probability Distributions Domingo i Enrich, Carles Abstract | PDF
  • Ph.D. Thesis 2024 Solver-Aided Compiler Design for Programmable Network Devices Gao, Xiangyu Abstract | PDF
  • Ph.D. Thesis 2024 Predictive and Generative Models of Protein Sequence and Structure Lin, Zeming Abstract | PDF
  • Ph.D. Thesis 2024 Towards Responsible AI: Safeguarding Privacy, Integrity, and Fairness Mirza, Muhammad Shujaat Abstract | PDF
  • Ph.D. Thesis 2024 Learning from Rewards in Text Generation Pang, Richard Yuanzhe Abstract | PDF
  • Ph.D. Thesis 2024 Verification of Concurrent Search Structures Patel, Nisarg Abstract | PDF
  • Ph.D. Thesis 2024 Neural Language Representations and Scaling Semi-Supervised Learning for Speech Recognition Peyser, Cal Abstract | PDF
  • Ph.D. Thesis 2024 Unlocking AI outside the training distribution: Generalization, Causality, and Coronary Risk Modeling Puli, Aahlad Manas Abstract | PDF
  • Ph.D. Thesis 2024 DrawTalking: Building Interactive Worlds by Sketching and Speaking Rosenberg, Karl Toby Abstract | PDF
  • Ph.D. Thesis 2024 Algorithmic enhancements to causal inference problems Shen, Bingran Abstract | PDF
  • Ph.D. Thesis 2024 Olympiad-level Geometry Theorem Proving without Human Demonstrations Trinh, Trieu Abstract | PDF
  • Ph.D. Thesis 2024 Improve Language Model Serving Efficiency with Fine-grained and Stateful Scheduling Yu, Lingfan Abstract | PDF
  • Ph.D. Thesis 2024 Theory of Symmetric Neural Networks Zweig, Aaron Abstract | PDF
  • Ph.D. Thesis 2023 On Matching Problems in Large Settings Agarwal, Ishan Abstract | PDF
  • Ph.D. Thesis 2023 Function Space Reasoning in Gaussian Processes and Neural Networks Benton, Gregory Abstract | PDF
  • Ph.D. Thesis 2023 Bridging the Gap from Supervised Learning to Control Brandfonbrener, David Abstract | PDF
  • M.S. Thesis 2023 On Certified Isotopic Approximation of Space Curves Dogan, Caglar Abstract | PDF
  • Ph.D. Thesis 2023 Provably Robust and Accurate Methods for Rigid and Deformable Simulation with Contact Ferguson, Zachary Abstract | PDF
  • Ph.D. Thesis 2023 Understanding and Incorporating Mathematical Inductive Biases in Neural Networks Finzi, Marc Abstract | PDF
  • Ph.D. Thesis 2023 Deconstructing Models and Methods in Deep Learning Izmailov, Pavel Abstract | PDF
  • Ph.D. Thesis 2023 Learning structured and stable reduced models from data with operator inference Sawant, Nihar Abstract | PDF
  • Ph.D. Thesis 2023 Continuous LWE and its Applications Song, Min Jae Abstract | PDF
  • Ph.D. Thesis 2023 Expanding Structural Design through Shape Optimization and Microstructures Tozoni, Davi Colli Abstract | PDF
  • Ph.D. Thesis 2022 Enhancing Robustness through Domain Faithful Deep Learning Systems Balashankar, Ananth Abstract | PDF
  • M.S. Thesis 2022 Symbolic Execution of GRASShopper Programs Cox, Eric Abstract | PDF
  • M.S. Thesis 2022 Program Unrolling by Abstract Interpretation for Probabilistic Proofs Feldan, Daniel Abstract | PDF
  • Ph.D. Thesis 2022 Unstructured Mesh Generation and Repairing in the Wild Hu, Yixin Abstract | PDF
  • Ph.D. Thesis 2022 Data-driven Solutions for Addressing Two Pressing Urban Sustainability Challenges: Air Pollution Reduction and Traffic Management Iyer, Shiva Abstract | PDF
  • Ph.D. Thesis 2022 Synergistic Geometry Processing: from Robust Geometric Modeling to Scalable Physical Simulation Jiang, Zhongshi Abstract | PDF
  • Ph.D. Thesis 2022 Cryptography: From Practice to Theory Karthikeyan, Harish Abstract | PDF
  • Ph.D. Thesis 2022 Scalable Distributed Payment Systems with Minimal Trust Assumptions Kattis, Assimakis Abstract | PDF
  • Ph.D. Thesis 2022 Characterizing and Resolving Degeneracies in Neural Autoregressive Text Generation Kulikov, Ilia Abstract | PDF
  • Ph.D. Thesis 2022 Finding and Fixing Undesirable Behaviors in Pretrained Language Models Perez, Ethan Abstract | PDF
  • Ph.D. Thesis 2022 Identifying, Addressing, and Understanding Challenging Cases in Machine Learning Resnick, Cinjon Abstract | PDF
  • Ph.D. Thesis 2022 Constrained Surface Parameterization Methods with Guarantees Shen, Hanxiao Abstract | PDF
  • Ph.D. Thesis 2022 On deep learning tools for scientific discovery in healthcare Sudarshan, Mukund Abstract | PDF
  • Ph.D. Thesis 2022 Efficient Verification of Untrusted Services Tzialla, Ioanna Abstract | PDF
  • Ph.D. Thesis 2022 NLP Evaluation in the Time of Large Language Models Wang, Alex Abstract | PDF
  • Ph.D. Thesis 2022 Improving Sample Efficiency in Off-policy and Offline Deep Reinforcement Learning Wu, Yanqiu (Autumn) Abstract | PDF
  • Ph.D. Thesis 2022 On-Policy Deep Reinforcement Learning — The Discounted and Average Reward Criteria Zhang, Yiming Abstract | PDF
  • Ph.D. Thesis 2021 Advances in computer bridge: techniques for a partial-information, communication-based game. Bethe, Paul Abstract | PDF
  • Ph.D. Thesis 2021 Learning Causality in Molecular Biology Cirrone, Jacopo Abstract | PDF
  • Ph.D. Thesis 2021 Responsibility Analysis by Abstract Interpretation Deng, Chaoqiang Abstract | PDF
  • 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
  • Ph.D. Thesis 2021 Enhancing Collaboration and Productivity for Virtual and Augmented Reality He, Zhenyi 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
  • Ph.D. Thesis 2021 Larger-Context Neural Machine Translation Jean, Sébastien Abstract | PDF
  • Ph.D. Thesis 2021 Improving Sample Efficiency of Imitation and Reinforcement Learning Kostrikov, Ilya Abstract | PDF
  • Ph.D. Thesis 2021 Latent Variable Models and Iterative Refinement for Non-Autoregressive Neural Machine Translation Lee, Jason Abstract | PDF
  • Ph.D. Thesis 2021 Neural Structured Prediction using Iterative Refinement with Applications to Text and Molecule Generation Mansimov, Elman Abstract | PDF
  • Ph.D. Thesis 2021 Scalable Particulate Flow Simulations with Boundary Integral Equations Morse, Matthew Abstract | PDF
  • Ph.D. Thesis 2021 Towards More General and Adaptive Deep Reinforcement Learning Agents Raileanu, Roberta Abstract | PDF
  • Ph.D. Thesis 2021 Theory and Algorithms for Several Central Problems in Large-Scale Machine Learning Storcheus, Dmitry Abstract | PDF
  • Ph.D. Thesis 2021 The Evolutionary Maps of Data Tamaskar, Abhinav 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
  • Ph.D. Thesis 2021 Order and Learning in Sequential Neural Structured Prediction Welleck, Sean Abstract | PDF
  • Ph.D. Thesis 2021 Techniques for Sample-Efficient Reinforcement Learning Whitney, William Abstract | PDF
  • Ph.D. Thesis 2021 Methods to Improve Knowledge Transfer Efficiency for Data-limited Problems in Genomics Yi, Ren Abstract | PDF
  • Ph.D. Thesis 2020 Out of Distribution Generalization in Machine Learning Arjovsky, Martin Abstract | PDF
  • Ph.D. Thesis 2020 Behavior of the Limited-Memory BFGS Method on Nonsmooth Optimization Problems Asl, Azam Abstract | PDF
  • M.S. Thesis 2020 Cooperation and Deception in multi-agent signaling Enaganti, Inavamsi Abstract | PDF
  • Ph.D. Thesis 2020 Enhanced Representations for Relations by Multi-task Learning Fu, Lisheng Abstract | PDF
  • Ph.D. Thesis 2020 Scaling Multi-user Virtual and Augmented Reality Herscher, Sebastian Abstract | PDF
  • M.S. Thesis 2020 Static Responsibility Analysis of Floating-Point Programs Saatcioglu, Goktug 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
  • M.S. Thesis 2020 Pointer-Generator Transformers for Morphological Inflection Singer, Assaf Abstract | PDF
  • M.S. Thesis 2020 Data Flow Refinement Type Inference Tool Drift² Su, Yusen Abstract | PDF
  • Ph.D. Thesis 2020 Auditing Outsourced Services Tan, Cheng Abstract | PDF
  • Ph.D. Thesis 2020 Market Efficiency and Dynamics Tao, Yixin Abstract | PDF
  • Ph.D. Thesis 2020 Flexible and Efficient Systems for Training Emerging Deep Neural Networks Wang, Minjie Abstract | PDF
  • M.S. Thesis 2020 Are the proposed similarity metrics also a measure of functional similarity? Yellapragada, Manikanta Srikar Abstract | PDF
  • Ph.D. Thesis 2019 From 2.5G To 5G: Enhancing Access And Performance For Mobile Users Ahmad, Talal Abstract | PDF
  • M.S. Thesis 2019 End-to-End Hierarchical Clustering with Graph Neural Networks Choma, Nicholas Abstract | PDF
  • Ph.D. Thesis 2019 Co-Located Augmented and Virtual Reality Systems DeFanti, Connor 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
  • Ph.D. Thesis 2019 Design for Customized Manufacturing Gil-Ureta, Francisca T. Abstract | PDF
  • M.S. Thesis 2019 On Zero-Shot Transfer Learning for Event Extraction Haroon, Shaheer Abstract | PDF
  • Ph.D. Thesis 2019 Scalable Machine Learning using Dataflow Graph Analysis Huang, Chien-Chin Abstract | PDF
  • M.S. Thesis 2019 Leveraging Communication for Efficient Sampling Kapoor, Sanyam Abstract | PDF
  • Ph.D. Thesis 2019 Compositional Abstractions for Verifying Concurrent Data Structures Krishna, Siddharth Abstract | PDF
  • Ph.D. Thesis 2019 Parallel Contact-Aware Algorithms for Large-Scale Direct Blood Flow Simulations Lu, Libin 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
  • Ph.D. Thesis 2019 Leveraging Program Analysis for Type Inference Pavlinovic, Zvonimir Abstract | PDF
  • Ph.D. Thesis 2019 Concentration and Anti-concentration for Markov Chains Rao, Shravas Abstract | PDF
  • M.S. Thesis 2019 Machine Learning Applications to Protein Variant Effect Prediction Soules, Jeffrey Abstract | PDF
  • Ph.D. Thesis 2019 Approximation algorithms, Hardness, and PCPs Thiruvenkatachari, Devanathan Abstract | PDF
  • Ph.D. Thesis 2019 Tactile Perception Design for Fabrication Tymms, Chelsea Abstract | PDF
  • M.S. Thesis 2019 Cold Case: The Lost MNIST Digits Yadav, Chhavi Abstract | PDF
  • Ph.D. Thesis 2019 End-to-End Learning for Autonomous Driving Zhang, Jiakai Abstract | PDF
  • Ph.D. Thesis 2019 Text Representation using Convolutional Networks Zhang, Xiang Abstract | PDF
  • Ph.D. Thesis 2019 Unsupervised Learning with Regularized Autoencoders Zhao, Junbo Abstract | PDF
  • Ph.D. Thesis 2019 Unsupervised Learning with Regularized Autoencoders Zhao, Junbo Abstract | PDF
  • TR2018-990 2018 Platform Migrator Contractor, Munir; Pradal, Christophe; Shasha, Dennis Abstract | PDF
  • Ph.D. Thesis 2018 Deep Generative Models of Images and Video Denton, Emily Lynn Abstract | PDF
  • M.S. Thesis 2018 Detecting Dead Weights and Units in Neural Networks Evci, Utku Abstract | PDF
  • Ph.D. Thesis 2018 Deep Networks for Forward Prediction and Planning Henaff, Mikael Bruce Abstract | PDF
  • Ph.D. Thesis 2018 Learning Representations of Text through Language and Discourse Modeling: From Characters to Sentences Jernite, Yacine Abstract | PDF
  • Ph.D. Thesis 2018 Deep Learning for Information Extraction Nguyen, Thien Huu Abstract | PDF
  • M.S. Thesis 2018 Classifying the Quality of Movement via Motion Capture and Machine Learning Saxe, Ryan Abstract | PDF
  • Ph.D. Thesis 2018 Accelerating Approximate Simulation with Deep Learning Schlachter, Kristofer 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
  • Ph.D. Thesis 2018 Elements of Intelligence: Memory, Communication and Intrinsic Motivation Sukhbaatar, Sainbayar Abstract | PDF
  • Ph.D. Thesis 2018 Rethinking Customer Segmentation and Demand Learning in the Presence of Sparse, Diverse, and Large-scale Data Venkataraman, Ashwin Abstract | PDF
  • Ph.D. Thesis 2017 On Quadtrees, Voronoi Diagrams, and Lattices: Results in Geometric Algorithms Bennett, Huxley Abstract | PDF
  • Ph.D. Thesis 2017 Improving Event Extraction: Casting a Wider Net Cao, Kai Abstract | PDF
  • TR2017-987 2017 On the Design of Small Coarse Spaces for Domain Decomposition Algorithms Dohrmann, Clark; Widlund, Olof Abstract | PDF
  • Ph.D. Thesis 2017 Random Growth Models Florescu, Laura Abstract | PDF
  • Ph.D. Thesis 2017 Zero-knowledge Proofs: Efficient Techniques for Combination Statements and their Applications Ganesh, Chaya Abstract | PDF
  • Ph.D. Thesis 2017 Circuit Complexity: New Techniques and Their Limitations Golovnev, Aleksandr Abstract | PDF
  • Ph.D. Thesis 2017 Unsupervised Learning Under Uncertainty Mathieu, Michael Abstract | PDF
  • M.S. Thesis 2017 Atypical: A type system for live performances Nunes, Gabriel Barbosa Abstract | PDF
  • Ph.D. Thesis 2017 Fine-scale Structure Design for 3D Printing Panetta, Francis Julian Abstract | PDF
  • TR2017-988 2017 Isogeometric BDDC Deluxe Preconditioners for Linear Elasticity Pavarino, Luca F.; Scacchi, Simone; Widlund, Olof B.; Zampini, Stefano Abstract | PDF
  • Ph.D. Thesis 2017 On the Gaussian Measure Over Lattices Stephens-Davidowitz, Noah Abstract | PDF
  • M.S. Thesis 2017 Inducing Cooperation Through Virtual Reality Zhang, Daniel W. Abstract | PDF
  • Ph.D. Thesis 2016 Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions Bansal, Kshitij 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
  • Ph.D. Thesis 2016 Analyzing Source Code Across Static Conditionals Gazzillo, Paul Abstract | PDF
  • Ph.D. Thesis 2016 Semi-Supervised Learning for Electronic Phenotyping in Support of Precision Medicine Halpern, Yonatan 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
  • Ph.D. Thesis 2016 Improving Knowledge Base Population with Information Extraction Li, Xiang Abstract | PDF
  • Ph.D. Thesis 2016 Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL Oh, Chanseok Abstract | PDF
  • Ph.D. Thesis 2016 Graph-based Approaches to Resolve Entity Ambiguity Pershina, Maria 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
  • 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
  • M.S. Thesis 2016 A New Strongly Polynomial Algorithm for Computing Fisher Market Equilibria with Spending Constraint Utilities Wang, Zi Abstract | PDF
  • Ph.D. Thesis 2016 Learning Algorithms from Data Zaremba, Wojciech Abstract | PDF
  • Ph.D. Thesis 2016 Distributed Stochastic Optimization for Deep Learning Zhang, Sixin Abstract | PDF
  • Ph.D. Thesis 2016 Pushing the Limits of Additive Fabrication Technologies Zhou, Qingnan (James) 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
  • 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
  • M.S. Thesis 2015 Responsive Visualization of Points in Space: Sampling, Clustering, Partitioning Jain, Akshay 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-966 2014 Local temporal reasoning Koskinen, Eric Abstract | PDF
  • TR2014-967 2014 The Push/Pull model of transactions Koskinen, Eric; Parkinson, Matthew Abstract | PDF
  • Ph.D. Thesis 2014 Cryptographic Algorithms for the SecureDelegation of Multiparty Computation Lopez-Alt, Adriana Abstract | PDF
  • M.S. Thesis 2014 Resolution-Exact Planner for a 2-link Planar Robot using Soft Predicates Luo, Zhongdi 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
  • TR2013-955 2013 Isogeometric BDDC Preconditioners with Deluxe Scaling Beirao Da Veiga, Lourenco; Pavarino, Luca; Scacchi, Simone; Widlund, Olof; Zampni, Stefano Abstract | PDF
  • M.S. Thesis 2013 An Efficient Active Learning Framework for New Relation Types Fu, Lisheng 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-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
  • 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
  • TR2013-954 2013 Automating Separation Logic Using SMT Piskac, Ruzica; Wies, Thomas; Zufferey, Damien 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
  • M.S. Thesis 2013 Parsing and Analyzing POSIX API behavior on different platforms Savvides, Savvas 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 hypoxia arises in metabolically heterogeneous cancer cell populations Sundstrom, Andrew Abstract | PDF
  • M.S. Thesis 2013 PhyloBrowser: A visual tool to explore phylogenetic trees Tershakovec, Tamara Abstract | PDF
  • Ph.D. Thesis 2013 Rethinking Information Privacy for the Web Tierney, Matthew Abstract | PDF
  • M.S. Thesis 2013 PAC-Learning for Energy-based Models Zhang, Xiang 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
  • M.S. Thesis 2012 A tool for extracting and indexing spatio-temporal information from biographical articles in Wikipedia Morton-Owens, Emily 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-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
  • Ph.D. Thesis 2011 Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications Haralambiev, Kristiyan Abstract | PDF
  • TR2011-940 2011 Sharing is Caring: Combination of Theories Jovanovic, Dejan; Barrett, Clark Abstract | PDF
  • Ph.D. Thesis 2011 Learning Feature Hierarchies for Object Recognition Kavukcuoglu, Koray 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
  • Ph.D. Thesis 2011 Topics in Formal Synthesis and Modeling Klein, Uri 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
  • TR2011-945 2011 From a Calculus to an Execution Environment for Stream Processing Soulé, Robert; Hirzel, Martin; Gedik, Bugra; Grimm, Robert 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
  • M.S. Thesis 2010 DTAC: A method for planning to claim in Bridge Bethe, Paul 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
  • TR2010-929 2010 Information Extraction on High-­School Level Chemistry Labs Galron, Daniel 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
  • M.S. Thesis 2010 TestRig: A Platform independent system testing tool Kaul, Vaibhav Abstract | PDF
  • Ph.D. Thesis 2010 An Algorithmic Enquiry Concerning Causality Kleinberg, Samantha 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
  • Ph.D. Thesis 2010 Time Series Modeling with Hidden Variables and Gradient-Based Algorithms Mirowski, Piotr 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
  • Ph.D. Thesis 2010 Structure Prediction and Visualization in Molecular Biology Poultney, Christopher Abstract | PDF
  • TR2010-934 2010 An Empirical Bayesian Interpretation and Generalization of NL-means Raphan, Martin; Simoncelli, Eero P. 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
  • M.S. Thesis 2009 Plinkr: an Application of Semantic Search Scott, John 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
  • M.S. Thesis 2008 Friendshare: A decentralized, consistent storage repository for collaborative file sharing Chiang, Frank 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
  • M.S. Thesis 2008 STUMP: Stereo Correspondence in the Cyclopean Eye under Belief Propagation Distler, George 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
  • M.S. Thesis 2008 Measuring biomolecules: an image processing and length estimation pipeline using atomic force microscopy to measure DNA and RNA with high precision Sundstrom, Andrew 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-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
  • 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
  • M.S. Thesis 2007 Degeneracy Proof Predicates for the Additively Weighted Voronoi Diagram Millman, David Abstract | PDF
  • M.S. Thesis 2007 Cellstorm: A bioinformatics software system to visualize subcellular networks Neves, Ana 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
  • M.S. Thesis 2006 TimeIn: A temporal visualization for file access Borden, Jeffrey 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
  • M.S. Thesis 2006 Kronosphere: A temporal visualization for file access Harrison, Chris 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-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
  • 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-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
  • 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-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
  • 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
  • TR2003-848 2003 QTM: Trust Management with Quantified Stochastic Attributes Freudenthal, Eric; Karamcheti, Vijay 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-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
  • 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-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
  • 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-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
  • 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-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
  • 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 | PDF
  • TR1999-796 1999 FETI and Neumann--Neumann Iterative Substructuring Methods: Connections and New Results Klawonn, A.; Widlund, O. Abstract | PDF
  • Ph.D. Thesis 1999 Toward Stronger User Authentication Monrose, Newman Fabian Abstract | PDF
  • Ph.D. Thesis 1999 Optimization Over Symmetric Cones Nayakkankuppam, Madhu Abstract | PDF
  • Ph.D. Thesis 1999 Efficient Computational Model for Energy Propagation in Geoemtrically Represented Large Envirnoments Rajkumar, Ajay 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
  • Ph.D. Thesis 1999 Automatic Parallelization: An Incremental, Optimistic, Practical Approach Schwartz, Naftali 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
  • Ph.D. Thesis 1999 Destructive Effect Analysis And Finite Differencing For Strict Functional Languages Yung, Chung 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
  • Ph.D. Thesis 1998 Foveation Techniques and Scheduling Issues in Thinwire Visualization Chang, Ee-Chien Abstract | PDF
  • TR1998-771 1998 Exploiting Application Tunability for Efficient, Predictable, Parallel Resource Management Chang, F.; Karamcheti, V.; Kedem, Z. Abstract | PDF
  • Ph.D. Thesis 1998 Techniques to Improve the Performance of Software-based Distributed Shared Memory Systems Chu, Churngwei Abstract | PDF
  • Ph.D. Thesis 1998 Deformable Object Tabula Rasa: A Zoomable User Interface System Fox, David 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
  • Ph.D. Thesis 1998 Metacomputing and Resource Allocation on the World Wide Web Karaul, Mehmet Abstract | PDF
  • Ph.D. Thesis 1998 Free Parallel Data Mining Li, Bin Abstract | PDF
  • Ph.D. Thesis 1998 Fast Algorithms for Discovering the Maximum Frequent Set Lin, Dao-I Abstract | PDF
  • Ph.D. Thesis 1998 Algorithmic Techniques in Computational Genomics Parida, Laxmi Abstract | PDF
  • Ph.D. Thesis 1998 Thinksheet: a Tool for Information Navigation Piatko, Peter 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
  • Ph.D. Thesis 1998 Corpus-based Parsing and Sublanguage Studies Sekine, Satoshi 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
  • Ph.D. Thesis 1998 Abstract Models of Distributed Memory Management Ungureanu, Cristian 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
  • Ph.D. Thesis 1998 Fault-tolerant parallel computing on networks of non-dedicated workstations Wyckoff, Peter 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
  • Ph.D. Thesis 1997 Multiscale Snakes: Resolution-Appropriate Shape Descriptions Baldwin, Bernard 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
  • Ph.D. Thesis 1997 Deformable Object Recognition with Articulations and Occlusions Liu, Tyng-Luh Abstract | PDF
  • Ph.D. Thesis 1997 Partial evaluation of concurrent programs Marinescu, Mihnea Abstract | PDF
  • M.S. Thesis 1997 Real/Expr: Implementation of an Exact Computation Package Ouchi, Kouji 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
  • Ph.D. Thesis 1997 Pricing and Hedging Volatility Risk in Interest-Rate Derivatives Porras, Juan Abstract | PDF
  • Ph.D. Thesis 1997 Performance Modeling for Realistic Storage Devices Shriver, Elizabeth 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
  • Ph.D. Thesis 1996 Algorithms in Semi-Algabraic Geometry Basu, Saugata 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
  • Ph.D. Thesis 1996 Statistical Source Channel Models for Natural Language Understanding Epstein, Mark 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
  • Ph.D. Thesis 1996 Solving the Navier-Stokes Equations on a Distributed Parallel Computer Sabbagh, Hadil 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
  • Ph.D. Thesis 1995 Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the "Control-D" System Antoniotti, Marco 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
  • Ph.D. Thesis 1995 Planning in an Imperfect World Using Previous Experiences Chiu, Jen-Lung Abstract | PDF
  • Ph.D. Thesis 1995 Geodesic Problems in High Dimensions Choi, Joonsoo 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
  • Ph.D. Thesis 1995 Practical Structures for Parallel Operating Systems Edler, Jan Abstract | PDF
  • Ph.D. Thesis 1995 Dreme: for Life in the Net Fuchs, Matthew Abstract | PDF
  • Ph.D. Thesis 1995 Fault-tolerant Parallel Processing Combining Linda, Checkpointing, and Transactions Jeong, Karpjoo 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
  • Ph.D. Thesis 1995 A Model-Based 3-D Object Recognition System Using Geometric Hashing with Attributed Features Liu, Jyhjong 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
  • Ph.D. Thesis 1995 Grasping and Fixturing: a Geometric Study and an Implementation Teichmann, Marek 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
  • Ph.D. Thesis 1994 Systolic Combining Switch Designs Dickey, Susan 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
  • Ph.D. Thesis 1994 Gedanken: A tool for Pondering the Tractability of Correct Program Technology Ericson, Lars Abstract | PDF
  • TR1994-660 1994 Optimizing Eigenvalues of Symmetric Definite Pencils Haeberly, J. A.; Overton, M. Abstract | PDF
  • Ph.D. Thesis 1994 Designing Pattern Matching Algorithms by Exploiting Structural Pattern Properties Hariharan, Ramesh Abstract | PDF
  • Ph.D. Thesis 1994 Compilation of Array-Style Programs for Distributed Memory MIMD Machines: a Geometric Approach Katz, Alex 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
  • Ph.D. Thesis 1994 Lazy SETL Debugging with Persistent Data Structures Liu, Zhiqing Abstract | PDF
  • TR1994-671 1994 Schwarz Preconditioners for Elliptic Problems with Discontinuous Coefficients Using Conforming and Non-Conforming Elements Martins, M.S. Abstract | PDF
  • Ph.D. Thesis 1994 Searching for Strings and Searching in Presence of Errors Muthukrishnan, S. Abstract | PDF
  • Ph.D. Thesis 1994 Visual Programming Nickerson, Jeffrey 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
  • Ph.D. Thesis 1994 Representing Control in Parallel Applicative Programming Yao, Chi Abstract | PDF
  • TR1993-630 1993 The Cell Programming Language Agarwal, P. Abstract | PDF
  • Ph.D. Thesis 1993 Cell-based Computer Models in Developmental Biology Agarwal, Pankaj Abstract | PDF
  • TR1993-635 1993 A Language for Semantic Analysis Cai, J. Abstract | PDF
  • Ph.D. Thesis 1993 Applications of Convexity in Computational Geometry Capoyleas, Vasilis Abstract | PDF
  • Ph.D. Thesis 1993 New Techniques for the Analysis and Implementation of Functional Programs Chuang, Tyng-Ruey 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
  • Ph.D. Thesis 1993 Nonholonomic Motion Planning : Algorithms and Software Fernandes, Christopher Abstract | PDF
  • TR1993-628 1993 The Complexity of Resolvent Resolved Gallo, G.; Mishra, B. Abstract | PDF
  • Ph.D. Thesis 1993 Dynamic Impact Analysis: Analyzing Error Propagation in Program Executions Goradia, Tarak 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
  • Ph.D. Thesis 1993 Singularity Detection, Noise Reduction and Multifractal Fractal Characterization Hwang, Wen-Liang 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
  • Ph.D. Thesis 1993 Competitive On-line Scheduling for Overloaded Real-Time Systems Koren, Gilad 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
  • Ph.D. Thesis 1993 Probabilistic Methods in Computer Science and Combinatorics Narayanan, Babu 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
  • Ph.D. Thesis 1993 Singularity Detection, Dataflow Analysis of Logic Programs Using Typed Domains Papadopoulos, Georgios Abstract | PDF
  • TR1993-648 1993 Iterative Substructuring Methods for Spectral Elements in Three Dimensions Pavarino, L.; Widlund, O. Abstract | PDF
  • Ph.D. Thesis 1993 Statistical Recognition of Textured Patterns From Local Spectral Decomposition Perry, Adi Abstract | PDF
  • Ph.D. Thesis 1993 Automating Physical Database Design: An Extensible Approach Rozen, Steven 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
  • Ph.D. Thesis 1993 A Probabilistic Approach to Geometric Hashing using Line Features Tsai, Frank 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
  • Ph.D. Thesis 1992 A Miniature Space-Variant Active Vision System: Cortex-I Bederson, Benjamin 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
  • Ph.D. Thesis 1992 Regular Expressions to DFA's using Compressed NFA's Chang, Chia-Hsiang 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
  • Ph.D. Thesis 1992 Complexity Issues in Computational Algebra Gallo, Giovanni 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
  • Ph.D. Thesis 1992 Typing Higher-Order Functions with Dynamic Dispatching Hsieh, Chih-Hung Abstract | PDF
  • Ph.D. Thesis 1992 Computer Simulation of Cortical Polymaps Landau, Pierre Abstract | PDF
  • Ph.D. Thesis 1992 Polymorphic Type Inference and Abstract Data Types Laufer, Konstantin Abstract | PDF
  • Ph.D. Thesis 1992 A sublanguage based medical language processing system for German Oliver, Neil Abstract | PDF
  • Ph.D. Thesis 1992 Image Processing, Pattern Recognition and Attentional Algorithms in a Space-Variant Active Vision System Ong, Ping-Wen Abstract | PDF
  • Ph.D. Thesis 1992 On Compiling Regular Loops for Efficient Parallel Execution Ouyang, Pei 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
  • Ph.D. Thesis 1992 Japanese/English Machine Translation Using Sublanguage Patterns and Reversible Grammars Peng, Ping Abstract | PDF
  • Ph.D. Thesis 1992 The Analysis and Generation of Tests for Programming Language Translators Rennels, Deborah Abstract | PDF
  • Ph.D. Thesis 1992 Massively Parallel Bayesian Object Recognition Rigoutsos, Isidore Abstract | PDF
  • Ph.D. Thesis 1992 Control of a Dexterous Robot Hand: Theory, Implementation, and Experiments Silver, Naomi Abstract | PDF
  • Ph.D. Thesis 1992 Executable Operational Semantics of Programming Languages Siritzky, Brian Abstract | PDF
  • Ph.D. Thesis 1992 Non-Correcting Error Recovery For LR Parsers Snyder, Kirk Abstract | PDF
  • Ph.D. Thesis 1992 Global Methods for Image Motion Analysis Sundareswaran, V. Abstract | PDF
  • TR1992-621 1992 Statistical Approach to Affine Invariant Matching with Line Features Tsai, F. Abstract | PDF
  • Ph.D. Thesis 1991 Persistent LINDA: Design and implementation of a system to add transactions to LINDA Anderson, Brian Abstract | PDF
  • Ph.D. Thesis 1991 A Theory of Natural Learning Botta, Alexander 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
  • Ph.D. Thesis 1991 A Practical Method for Constructing Efficient LALR(k) Parsers with Automatic Error Recovery Charles, Phillipe Abstract | PDF
  • Ph.D. Thesis 1991 Statistical Techniques for Parsing Messages Chitrao, Mahesh 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
  • Ph.D. Thesis 1991 On the satisfiability problem for unquantified classes of formulae involving set-theoretical and topological constructs Cutello, Vincenzo 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
  • Ph.D. Thesis 1991 Scheduling for Horizontal Systems: The VLIW Paradigm in Persepctive Gasperoni, Franco 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
  • Ph.D. Thesis 1991 Efficienty Loop-Level Parallelism in ADA Hind, Michael Abstract | PDF
  • Ph.D. Thesis 1991 Segmentation and Surface-Based Modeling Objects in Three-Dimensional Biomedical Images Kalvin, Alan Abstract | PDF
  • Ph.D. Thesis 1991 The Development of Parallel Image Algorithms by Prototyping Kelly, Robert Abstract | PDF
  • TR1991-572 1991 An Optimal Scheduling Algorithm with a Competitive Factor for Real-Time Systems Koren, G.; Shasha, D. Abstract | PDF
  • Ph.D. Thesis 1991 Semantically Based Concurrent Data Structure Algorithms Lanin, Vladimir Abstract | PDF
  • TR1991-555 1991 Comparing Three Approaches to Transformational Programming Laufer, K. Abstract | PDF
  • Ph.D. Thesis 1991 On the Optimization of Term Rewriting Li, Ke Abstract | PDF
  • Ph.D. Thesis 1991 The Design and Implementation of ALLOY, a Higher Level Parallel Programming Language Mitsolides, Thanasis 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
  • Ph.D. Thesis 1991 Semantic program analyses for storage management optimizations in functional language implementations Park, Young G. Abstract | PDF
  • TR1991-580 1991 An Additive Schwarz Method for the P-Version Finite Element Method Pavarino, L. Abstract | PDF
  • Ph.D. Thesis 1991 Counting Real Zeros Pedersen, Paul Abstract | PDF
  • Ph.D. Thesis 1991 Combinatorial and algorithmic analysis of stabbing and visibility problems in three-dimensional space Pellegrini, Marco Abstract | PDF
  • Ph.D. Thesis 1991 Properties of Convex Polytopes Prabhu, N. 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
  • Ph.D. Thesis 1991 Amortized Complexity of Data Structures Sundar, Rajamani Abstract | PDF
  • Ph.D. Thesis 1991 Performance Evaluation of Solutions to the TLB Consistency Problem Teller, Patricia Abstract | PDF
  • Ph.D. Thesis 1991 Applications and Analysis of Probabilistic Techniques Tetali, Prasad Abstract | PDF
  • Ph.D. Thesis 1991 Resilient Computations in the Presence of Slow-Downs Turek, John Abstract | PDF
  • Ph.D. Thesis 1991 Query Optimization in Database and Information Retrieval Systems Wang, Tsong-Li Abstract | PDF
  • TR1991-581 1991 Some Schwarz Methods for Symmetric and Nonsymmetric Elliptic Problems Widlund, O. Abstract | PDF
  • Ph.D. Thesis 1991 Toward a Fully Integrated VLSI CAD System: from Custom to Fully Automatic You, Yongtao 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
  • Ph.D. Thesis 1991 Edge representation from wavelet transform maxima Zhong, Sifen 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
  • Ph.D. Thesis 1990 Detecting Nondeterminism in Shared Memory Parallel Programs Dinning, Anne 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
  • Ph.D. Thesis 1990 Program transformation for efficient derivation of multiple solutions in concurrent logic languages Markantonatos, Nikolaos Abstract | PDF
  • Ph.D. Thesis 1990 Data structures and algorithms for hierarchical memory machines Mirza, Mirza G. R. 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
  • Ph.D. Thesis 1990 Design and implementation of HyTeK: A knowledge-based hypertext system Perez-Carballo, Jose F. Abstract | PDF
  • Ph.D. Thesis 1990 On a generalization of Herbrand's theorem Policriti, Alberto Abstract | PDF
  • TR1990-533 1990 On a Conjecture of Micha Perles Prabhu, N. Abstract | PDF
  • Ph.D. Thesis 1990 Space-variant computer vision with a complex-logarithmic sensor geometry Rojer, Alan S. Abstract | PDF
  • Ph.D. Thesis 1990 SAGE: A real-time operating system for robotic supervisory control Salkind, Louis K. 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
  • Ph.D. Thesis 1990 The APRAM: A model for asynchronous parallel computation Zajicek, Ofer Abstract | PDF
  • Ph.D. Thesis 1989 Combinatorial and algorithmic analysis of space decomposition problems Aronov, Boris Abstract | PDF
  • Ph.D. Thesis 1989 Data communication in robot control systems Clark, Dayton R., Jr. Abstract | PDF
  • Ph.D. Thesis 1989 On-line motion planning Cox, James L. Abstract | PDF
  • Ph.D. Thesis 1989 Quantitative analysis of problems in computer algebra: Grobner bases and the Nullstellensatz Dube, Thomas William Abstract | PDF
  • Ph.D. Thesis 1989 SMARTS--Shared-memory Multiprocessor Ada Run Time Supervisor Flynn-Hummel, Susan Frances Abstract | PDF
  • Ph.D. Thesis 1989 A computational treatment of the comparative Friedman, Carol Abstract | PDF
  • Ph.D. Thesis 1989 Verification of three-dimensional model parameters from two-dimensional image data Goldberg, Robert Raphael Abstract | PDF
  • Ph.D. Thesis 1989 Topics in algebraic computing: Subresultants, GCD, factoring and primary ideal decomposition Ho, Chung-Jen Abstract | PDF
  • Ph.D. Thesis 1989 Object recognition by geometric hashing Lamdan, Yehezkel Abstract | PDF
  • Ph.D. Thesis 1989 Mapping algorithms on regular parallel architectures Lee, PeiZong Abstract | PDF
  • Ph.D. Thesis 1989 Transformations for backtracking SETL programs Nathan, Albert Abstract | PDF
  • Ph.D. Thesis 1989 Optimization and garbage collection in Ada programs on shared memory computers Operowsky, Howard Lawrence Abstract | PDF
  • Ph.D. Thesis 1989 Using relational discrete event systems and models for prediction of future behavior of databases Tuzhilin, Alexander Sergei Abstract | PDF
  • Ph.D. Thesis 1989 Fuzzy disk modeling and rendering of textured complex three-dimensional surfaces of real objects Yang, Xue Dong Abstract | PDF
  • Ph.D. Thesis 1989 The editing distance between trees: Algorithms and applications Zhang, KaiZhong Abstract | PDF
  • Ph.D. Thesis 1988 Parallel algorithms for band SPD systems of linear equations Bar-On, Ilan Abstract | PDF
  • Ph.D. Thesis 1988 ZLISP--a portable parallel LISP environment Dimitrovsky, Isaac Aaron Abstract | PDF
  • Ph.D. Thesis 1988 Reasoning about shape and kinematic function in mechanical devices Joskowicz, Leo Abstract | PDF
  • Ph.D. Thesis 1988 Use of three-dimensional curves in computer vision Kishon, Eyal Abstract | PDF
  • Ph.D. Thesis 1988 Simulation-based understanding of texts about equipment Ksiezyk, Tomasz Bartlomiej Abstract | PDF
  • Ph.D. Thesis 1988 Extensions to SETL to support problem specification and transformation of imperative programs Lewis, Henry Merriman Abstract | PDF
  • Ph.D. Thesis 1988 Foundations of a logic of knowledge, action, and communication Morgenstern, Leora Abstract | PDF
  • Ph.D. Thesis 1988 Taliere: An interactive system for data structuring SETL programs Straub, Robert Michael Abstract | PDF
  • Ph.D. Thesis 1988 Operating system data structures for shared memory MIMD machines with fetch-and-add Wilson, James M. Abstract | PDF
  • Ph.D. Thesis 1987 A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators Cantone, Domenico A. Abstract | PDF
  • Ph.D. Thesis 1987 Tape Reversal and Parallel Time Chen, Jianer Abstract | PDF
  • Ph.D. Thesis 1987 The use of Data Flow Information for the Selection and Evaluation of Software Test Data Frankl, Phyllis G. Abstract | PDF
  • Ph.D. Thesis 1987 Control and Task Planning for a Four Finger Dextrous Manipulator Hor, Maw-Kae Abstract | PDF
  • Ph.D. Thesis 1987 An Analyzer for the Information Content of Sentences (Semantics) Johnson, Stephen Bennett Abstract | PDF
  • Ph.D. Thesis 1987 Description of Shape using Orientation and Propagation Flow Menczel, Yaron Abstract | PDF
  • Ph.D. Thesis 1987 Generic: a Programming Language for Vlsi Layout and Layout Manipulation Solworth, Jon A. Abstract | PDF
  • Ph.D. Thesis 1987 A Theory of Concurrent Programs and Test Data Adequacy Weiss, Stewart Neil Abstract | PDF
  • Ph.D. Thesis 1986 Three-Dimensional Data Acquisition by Means of the Intensity Ratio Depth Sensor (Vision, Robotics) Carrihill, Brian Lee Abstract | PDF
  • Ph.D. Thesis 1986 Polygon Optimization Problems (Computational Geometry, Algorithm) Chang, Jyun-Sheng Abstract | PDF
  • Ph.D. Thesis 1986 Machine Code Optimization Goss, Clinton Francis Abstract | PDF
  • Ph.D. Thesis 1986 Sequential Quadratic Programming Methods Based on Approximating a Projected Hessian Matrix (Updating Method, Quasi-Newton, Nonlinear Constraints) Gurwitz, Chaya Bleich Abstract | PDF
  • Ph.D. Thesis 1986 Analysis of Cache Memories in Highly Parallel Systems Mcauliffe, Kevin Patrick Abstract | PDF
  • Ph.D. Thesis 1986 Synthesizing Realistic Textures by the Composition of Perceptually Motivated Functions (Graphics) Perlin, Kenneth H. Abstract | PDF
  • Ph.D. Thesis 1986 Persistent Data Structures Sarnak, Neil Ivor Abstract | PDF
  • Ph.D. Thesis 1986 The Semantics of Shared Variables in Parallel Programming Languages Shulman, Norman Victor Abstract | PDF
  • Ph.D. Thesis 1986 Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient Implementation (Compilers) Weiss, Gerald Abstract | PDF
  • Ph.D. Thesis 1985 Extraction and Generalization of Expert Advice (Learning, Representation, Induction) Benjamin, David Paul Abstract | PDF
  • Ph.D. Thesis 1984 On the use of Global Optimization Algorithms for the Detection of Semantic Programming Errors (Setl, Data Flow, Type Finding) Freudenberger, Stefan M. Abstract | PDF
  • Ph.D. Thesis 1984 Description of Operating Systems using Very-High-Level Diction (Programming Languages) Leshem, Gavriel Abstract | PDF
  • Ph.D. Thesis 1984 Decidability and Proof Procedures for Set Theory with a Choice Operator Omodeo, Eugenio Giovanni Abstract | PDF
  • Ph.D. Thesis 1984 A Self-Organizing Database System - a Different Approach to Query Optimization Piatetsky-Shapiro, Gregory Ilya Abstract | PDF
  • Ph.D. Thesis 1984 Concurrency Control using Locks in Distributed Databases Wolfson, Ouri Abstract | PDF
  • Ph.D. Thesis 1983 A Practical Method for Lr and Ll Syntactic Error Diagnosis and Recovery Burke, Michael George Abstract | PDF
  • Ph.D. Thesis 1983 Resolution by Unification and Equality Digricoli, Vincent Joseph Abstract | PDF
  • Ph.D. Thesis 1983 Measuring Setl Performance Shields, Lynwood David Abstract | PDF
  • Ph.D. Thesis 1983 Undecidable Complexity Statements in a Hierarchy of Extensions of Primitive Recursive Arithmetic Sigal, Ron Mark Abstract | PDF
  • Ph.D. Thesis 1983 Formal Languages with Oracles Weixelbaum, Elia S. Abstract | PDF
  • Ph.D. Thesis 1982 Decision Algorithms for a Class of Set-Theoretic Formulae Involving One Occurrence of the Union-Set Operator Breban, Michael Abstract | PDF
  • Ph.D. Thesis 1982 The Role of the High Level Specification in Programming by Transformation: Specification and Transformation by Parts Merritt, Susan Mary Abstract | PDF
  • Ph.D. Thesis 1982 Software Structures for Ultraparallel Computing Rudolph, Lawrence S. Abstract | PDF
  • Ph.D. Thesis 1981 Stochastic Solutions to the Schroedinger Equation for Fermions Arnow, David Moss Abstract | PDF
  • Ph.D. Thesis 1981 Synchronization Efficiency Borg, Anita Abstract | PDF
  • Ph.D. Thesis 1981 Circle Graphs Buckingham, Mark Alan Abstract | PDF
  • Ph.D. Thesis 1981 Decision Procedures for some Classes of Unquantified Set Theoretic Formulae Ferro, Alfredo Abstract | PDF
  • Ph.D. Thesis 1981 A Transformational Framework for Automatic Derived Data Control and its Applications in an Entity-Relationship Data Model Koenig, Shaye Abstract | PDF
  • Ph.D. Thesis 1981 Upper and Lower Bounds on the Performance of Parallel Algorithms Kruskal, Clyde Philip Abstract | PDF
  • Ph.D. Thesis 1980 The Transformational Approach to the Development and Verification of Programs in a very High Level Language Deak, Edith Gail Abstract | PDF
  • Ph.D. Thesis 1980 An Implementation for Gyve: a Language for Concurrent Processing Meyer, Jeanine Marietta Abstract | PDF
  • Ph.D. Thesis 1980 Optimization of Inductive Assertions Warren, Jr., Henry Stanley Abstract | PDF
  • Ph.D. Thesis 1979 On Quadtrees, Voronoi Diagrams, and Lattices: Results in Geometric Algorithms Bennett, Huxley Abstract | PDF
  • Ph.D. Thesis 1979 Automatic Storage Optimization Fabri, Janet Abstract | PDF
  • Ph.D. Thesis 1979 The Optimization of Horizontal Microcode within and Beyond Basic Blocks: an Application of Processor Scheduling with Resources Fisher, Joseph Allen Abstract | PDF
  • Ph.D. Thesis 1979 On the Complexity of the Satisfiability Problem Goldberg, Allen T. Abstract | PDF
  • Ph.D. Thesis 1979 Computing Chromatic Polynomials for Special Families of Graphs Loerinc, Beatrice Margaret Abstract | PDF
  • Ph.D. Thesis 1979 Expression Continuity and the Formal Differentiation of Algorithms Paige, Robert Allan Abstract | PDF
  • Ph.D. Thesis 1979 Comparison of Direct Code Generation and Intermediate Language Generationfor Bootstrapping the Machine-Independent Compiler, Little Schneck, Paul Bennett Abstract | PDF
  • Ph.D. Thesis 1979 Groups with Solvable Word Problems Semeniuk, Christine Abstract | PDF
  • Ph.D. Thesis 1979 Automatic Discovery of Heuristics for Nondeterministic Programs from Sample Execution Traces Stolfo, Salvatore Joseph Abstract | PDF
  • Ph.D. Thesis 1978 Decision Regions for Multi-Stage Allocation Problems Coppage, Samuel Francis, Jr. Abstract | PDF
  • Ph.D. Thesis 1978 Configurable Software for Satellite Graphics Hartzman, Peter David Abstract | PDF
  • Ph.D. Thesis 1978 Automatic Data Structure Choice in Setl Liu, Ssu-Cheng Abstract | PDF
  • Ph.D. Thesis 1978 Gyve, a Programming Language for Protection and Control in a Concurrent Processing Environment Shaw, Philip Sidell Abstract | PDF
  • Ph.D. Thesis 1977 Computer Reconstruction of Bodies Bounded by Quadric Surfaces from a Set of Imperfect Projections Shapira, Ruth Abstract | PDF
  • Ph.D. Thesis 1976 On Algorithms for Minimizing the Number of Multiplications in Matrix Products Laderman, Julian David Abstract | PDF
  • Ph.D. Thesis 1976 A Comprehensive Survey of Parsing Algorithms for Programming Languages Owens, Philip Jonathan Abstract | PDF
  • Ph.D. Thesis 1976 Programming of Mechanism Motions Spegel, Marjan Abstract | PDF
  • Ph.D. Thesis 1976 Inferential Learning through Counterexample Construction Sperling, Michael Zelig Abstract | PDF
  • Ph.D. Thesis 1975 Operating System Specification using very High Level Dictions Markstein, Peter Willy Abstract | PDF
  • Ph.D. Thesis 1975 Visual Information Processing of Isolated Character Inputs Stryker, Charles William Abstract | PDF
  • Ph.D. Thesis 1975 An Investigation into a Probability Model for Correct Target Letter Detection Teichman, Sheldon M. Abstract | PDF
  • Ph.D. Thesis 1975 A Computer Based Approach to some Geometric Aspects of Character Recognition Wilamowsky, Yonah Abstract | PDF
  • Ph.D. Thesis 1974 Investigations in the Theory of Descriptive Complexity Gewirtz, William Lawrence Abstract | PDF
  • Ph.D. Thesis 1974 A Metalanguage for Expressing Grammatical Restrictions in Nodal Spans Parsing of Natural-Language Hobbs, Jerry Robert Abstract | PDF
  • Ph.D. Thesis 1974 Computer Edge Extraction from Photographs of Curved Objects Ramer, Eugen Urs Abstract | PDF
  • Ph.D. Thesis 1974 Optimum Correction of Pincushion Distortion Takeuchi, Seiichi Abstract | PDF
  • Ph.D. Thesis 1974 Type Determination for very High Level Languages Tenenbaum, Aaron Melvin Abstract | PDF
  • Ph.D. Thesis 1973 Recursive Compiler-Optimization for Nonserial Program Graphs Agresti, William Wolfgang Abstract | PDF
  • Ph.D. Thesis 1973 Studies in Pattern Recognition of Line-Size, Line-Orientation and their Interaction Friedmann, Jehosua Abstract | PDF
  • Ph.D. Thesis 1973 Computer Recognition of Handprinted Two-Dimensional Mathematics Grossman, Fred Abstract | PDF
  • Ph.D. Thesis 1973 Sub-Elementary Classes of Functions and Relations Harrow, Keith Abstract | PDF
  • Ph.D. Thesis 1973 A Study in Programming Techniques Maly, Kurt Abstract | PDF
  • Ph.D. Thesis 1973 A Comparison of some Deadlock Models Waxman, Jerry Milton Abstract | PDF
  • Ph.D. Thesis 1972 An Experimental Comparison of the Efficiency of Parsing Techniques Knobe, Bruce Stuart Abstract | PDF
  • Ph.D. Thesis 1972 Digital Computer Transformations for Irregular Line-Drawings Reggiori, Giovanni B. Abstract | PDF
  • Ph.D. Thesis 1971 A Network Queueing Model of a Multiprogrammed Time-Shared Computer System Brown, Theodore David Abstract | PDF
  • Ph.D. Thesis 1971 Parallel Programming: Operational Model and Detection of Parallelism Firestone, Roger Morris Abstract | PDF
  • Ph.D. Thesis 1971 Global Flow Analysis and Register Allocation for Simple Code Structures Kennedy, Kenneth Wade, Jr. Abstract | PDF
  • Ph.D. Thesis 1971 Reconstruction of Polyhedra from Sets of their Perspective Projections Rabinowitz, Andrew David Abstract | PDF
  • Ph.D. Thesis 1971 A Trainable Syntactic Model for Syntax Specification and Recognition of Handdrawn Two-Dimensional Patterns Sharma, Onkar P. Abstract | PDF
  • Ph.D. Thesis 1971 A Systematic Method for the Creation of Data Structures in Computer Graphics Applications Williams, Robin Abstract | PDF
  • Ph.D. Thesis 1971 A Computer Procedure for Generating Visible-Line Drawings of Solids Bounded by Quadric Surfaces Woon, Peter Yi-do Abstract | PDF
  • Ph.D. Thesis 1970 The Optimum Two-Dimensional Allocation of Irregular, Multiply-Connected Shapes with Linear, Logical and Geometric Constraints Adamowicz, Michael Abstract | PDF