Theses & Reports

Instructions for submitting a technical report or thesis.

  • 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