PhD Theses

2014

Braga, Otavio
On the Human Form: Efficient acquisition, modeling and manipulation of the human body
Abstract   PDF

Cheung, Yun Kuen
Analyzing Tatonnement Dynamics in Economic Markets
Abstract   PDF

Huang, Fu Jie
Low-latency Image Recognition with GPU-accelerated Convolutional Networks for Web-based Services
Abstract   PDF

King, Tim
Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic
Abstract   PDF

Lopez-Alt, Adriana
Cryptographic Algorithms for the Secure Delegation of Multiparty Computation
Abstract   PDF

Mitchell, Tim
Robust and Efficient Methods for Approximation and Optimization of Stability Measures
Abstract   PDF

Power, Russell
Building Efficient Distributed In-memory Systems
Abstract   PDF

Rubinsteyn, Alex
Runtime Compilation of Array-Oriented Python Programs
Abstract  

Sermanet, Pierre
A Deep Learning Pipeline for Image Understanding and Acoustic Modeling
Abstract   PDF

Stein, Murphy
Towards New Interfaces For Pedagogy
Abstract   PDF

Tentes, Aristeidis
Computational Complexity Implications of Secure Coin-Flipping
Abstract   PDF

Xu, Wei
Data-driven Approaches for Paraphrasing across Language Variations
Abstract   PDF

Youngs, Noah
Positive-Unlabeled Learning in the Context of Protein Function Prediction
Abstract   PDF

Zeiler, Matthew
Hierarchical Convolutional Deep Learning in Computer Vision
Abstract   PDF

2013

Gkatzelis, Vasilis
Incentive-Centered Design of Money-Free Mechanisms
Abstract   PDF

Hielscher, Eric
Locality Optimization for Data Parallel Programs
Abstract   PDF

Kovacs, Denis
Piecewise Smooth Surfaces with Features
Abstract   PDF

Krishnan, Dilip
Low-level Image Priors and Laplacian Preconditioners for Applications in Computer Graphics and Computational Photography
Abstract   PDF

Min, Bonan
Relation Extraction with Weak Supervision and Distributional Semantics
Abstract   PDF

Paik, Michael
Usable Security Mechanisms in the Developing World
Abstract  

Popat, Preyas
Inapproximability Reductions and Integrality Gaps
Abstract   PDF

Rosenberg, Ilya
Natural Interaction with a Virtual World
Abstract   PDF

Sharma, Ashlesh
Security Mechanisms for Physical Authentication
Abstract  

Spiro, Ian
Augmenting Information Flow for Visual Privacy
Abstract   PDF

Tierney, Matthew
Rethinking Information Privacy for the Web
Abstract   PDF

2012

Boureau, Y-Lan
Learning Hierarchical Feature Extractors For Image Recognition
Abstract   PDF

Franquin, Pierre
On populations, haplotypes and genome sequencing
Abstract   Compressed PostScript   PDF 

Galron, Daniel
Optimizing Machine Translation by Learning to Search
Abstract   Compressed PostScript   PDF  

Grimes, Matthew
Flexible-Cost SLAM
Abstract   Compressed PostScript,   PDF

Jovanovic, Dejan
SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination
Abstract  Compressed PostScript  PDF 

Langston, Matthew Harper
An Adaptive Fast Multipole Method-Based PDE Solver in Three Dimensions
Abstract   PDF

Liao, Shasha
Acquiring information from wider scope to improve event extraction
Abstract   Compressed Postscript   PDF  

Paisios, Nektarios
Mobile Accessibility Tools for the Visually Impaired
Abstract   Compressed PostScript,   PDF

Soule, Robert
Reusable Software Infrastructure for Stream Processing
Abstract,   Compressed PostScript,   PDF

Sun, Ang
Rapid Training of Information Extraction with Local and Global Data Views
Abstract   Compressed PostScript,   PDF

Sovran, Yair
Building scalable geo-replicated storage backends for web applications
Abstract   PDF

Tran, Nguyen
Combating Sybil attacks in cooperative systems
Abstract   PDF

Waltman, Peter
Multi-species biclustering: An integrative method to identify functional gene conservation between multiple species
Abstract  , Compressed PostScript  , PDF.



2011

Alwen, Joel
Collusion Preserving Computation
Abstract   Compressed PostScript,   PDF

Chen, Jay
Re-architecting Web and Mobile Information Access for Emerging Regions
Abstract,   Compressed PostScript,   PDF

Chikanian, Igor
Automatic Deduction for Theories of Algebraic Data Types
AbstractCompressed PostScript,   PDF

Haralambiev, Kristiyan
Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications
Abstract,   Compressed PostScript,   PDF

Kavukcuoglu, Koray
Learning Feature Hierarchies for Object Recognition
Abstract,   Compressed PostScript,   PDF

Klein, Uri
Topics in Formal Synthesis and Modeling
Abstract   Compressed PostScript,   PDF

Lin, Long
Adaptive Isotopic Approximation of Nonsingular Curves and Surfaces
Abstract,   Compressed PostScript,   PDF

Millstone, Marc
Real-Space Localization Methods for Minimizing the Kohn-Sham Energy
AbstractCompressed PostScript,   PDF

Narzisi, Giuseppe
Scoring-and-Unfolding Trimmed Tree Assembler: Algorithms for Assembling Genome Sequences Accurately and Efficiently
Abstract,   Compressed PostScript,   PDF

Wichs, Daniel
Cryptographic Resilience to Continual Information Leakage
Abstract,   Compressed PostScript,   PDF

Yu, Jihun
Surface Representation of Particle Based Fluids
Abstract,   Compressed PostScript,   PDF



2010

Bosley, Carleton
On the Randomness Requirements for Privacy
Abstract,   PDF

Chen, Huang-Wen
Machine Learning Approaches to Gene Duplication and Transcription Regulation
Abstract,   Compressed PostScript,   PDF

Chow, Sze Ming
New Privacy-Preserving Architectures for Identity-/Attribute-based Encryption
Abstract,   Compressed PostScript,   PDF

Conway, Christopher L.
Tools and Techniques for the Sound Verification of Low Level Code
Abstract,   Compressed PostScript,   PDF

Dhandapani, Raghavan
Probabilistic and Topological methods in Computational Geometry
Abstract,   PDF

Erkan, Ayse Naz
Semi-Supervised Learning via Generalized Maximum Entropy
Abstract,   PDF

Ge, Yeting
Solving Quantified First Order Formulas in Satisfiability Modulo Theories
Abstract, PDF

Kleinberg, Samantha
An Algorithmic Enquiry Concerning Causality
Abstract,   PDF

Mirowski, Piotr
Time Series Modeling with Hidden Variables and Gradient-Based Algorithms
Abstract,   Compressed PostScript,   PDF

Poultney, Christopher
Structure Prediction and Visualization in Molecular Biology
Abstract,   Compressed PostScript,   PDF

Rostamizadeh, Afshin
Theoretical Foundations and Algorithms for Learning with Multiple Kernels
Abstract,   Compressed PostScript,   PDF

Secord, Adrian
Creating collections and evaluating viewpoints: Selection techniques for interface design
AbstractPDF

Spivak, Marina
Analysis of Mass Spectrometry Data for Protein Identification In Complex Biological Mixtures
Abstract  Compressed PostScript,   PDF

Talwalkar, Ameet
Matrix Approximation for Large-scale Learning
Abstract,   Compressed PostScript,   PDF

2009

Chopra, Sumit
Factor Graphs for Relational Regression
Abstract,   Compressed PostScript,   PDF

Gade, Kranthi
Numerical Estimation of the Second Largest Eigenvalue of a Reversible Markov Transition Matrix
Abstract,   Compressed PostScript,   PDF

Gingold, Yotam
2D-Centric Interfaces and Algorithms for 3D Modeling
Abstract ,   Compressed PostScript,   PDF

Gottlieb, Lee-Ad
Proximity problems for point sets residing in spaces with low doubling dimension
Abstract,   Compressed PostScript,   PDF

Howe, Daniel
Creativity Support for Computational Literature
Abstract,   PDF

Mitrofanova, Antonina
Efficient Systems Biology Algorithms for Biological Networks over Multiple Time-Scales: From Evolutionary to Regulatory Time
Abstract,   Compressed PostScript,   PDF

Parilov, Evgueni
Detecting, modeling and rendering complex configurations of curvilinear features
Abstract,   Compressed PostScript,   PDF

Ranzato, Marc'Aurelio
Unsupervised Learning of Feature Hierarchies
Abstract,   PDF

Weinstein, Eugene
Search Problems for Speech and Audio Sequences
Abstract PDF

Yau, Siu-Man
Using Application-Domain Knowledge in the Runtime Support of Multi-Experiment Computational Studies
Abstract,   Compressed PostScript,   PDF

Zaks, Ganna
Ensuring Correctness of Compiled Code
Abstract,   Compressed PostScript,   PDF

2008

Cohen, Ariel
Verification of Transactional Memories and Recursive Programs
Abstract,   Compressed PostScript,   PDF

Hadsell, Raia
Learning Long-Range Vision for an Offroad Robot
Abstract,   Compressed PostScript,   PDF

Plock, Cory
Synthesizing Executable Programs from Requirements
Abstract,   Compressed PostScript,   PDF

Rastogi, Ashish
Theory and Algorithms for Modern Machine Learning Problems and an Analysis of Markets
Abstract,   Compressed PostScript,   PDF

Tosun, Elif
Geometric Modeling with High Order Derivatives
Abstract,   Compressed PostScript,   PDF

2007

Annapureddy, Siddhartha
Scaling Data Servers via Cooperative Caching
Abstract,   Compressed PostScript,   PDF

Balaban, Ittai
Shape Analysis by Abstraction, Augmentation, and Transformation
Abstract,   Compressed PostScript,   PDF

Freedman, Michael
Democratizing Content Distribution
AbstractCompressed PostScriptPDF

Ji, Heng
Joint Inference for Information Extraction and Translation
Abstract,   Compressed PostScript,   PDF

Nicolosi, Antonio
Authentication Mechanisms for Open Distributed Systems
Abstract,   Compressed PostScript,   PDF

Puniya, Prashant
New Design Criteria for Hash Functions and Block Ciphers
Abstract,   Compressed PostScript,   PDF

Shinyama, Yusuke
Being Lazy and Preemptive at Learning toward Information Extraction
Abstract,   Compressed PostScript,   PDF

Turian, Joseph
Constituent Parsing by Classification
Abstract,   Compressed PostScript,   PDF

Walfish, Shabsi
Enhanced Security Models for Network Protocols
Abstract,   Compressed PostScript,   PDF

Wellington, Benjamin
Tree-Structured Models of Multitext: Theory, Design and Experiments
Abstract,   Compressed PostScript,   PDF

Zaks, Aleksandr
Formal Verification Using Static and Dynamic Analyses
Abstract,   Compressed PostScript,   PDF

2006

Du, Zilin
Guaranteed Precision for Transcendental and Algebraic Computation Made Easy
Abstract,   Compressed PostScript,   PDF

Fazio, Nelly
On Cryptographic Techniques for Digital Rights Management
Abstract,   Compressed PostScript,   PDF

Gill, Ofer Hirsch
Finding Your Match: Techniques for Improving Sequence Alignment in DNA and RNA
Abstract,   Compressed PostScript,   PDF

He, Congchun
DataSlicer: A Hosting Platform for Data-Centric Network Services
Abstract,   Compressed PostScript,   PDF

Ionita, Iuliana
Multimarker Genetic Analysis Methods for High Throughput Array Data
Abstract,   Compressed PostScript,   PDF

Lees, Alyssa
Expressive Motion
Abstract,   Compressed PostScript,   PDF

Li, Jinyuan
Building Trustworthy Storage Services out of Untrusted Infrastructure
Abstract,   Compressed PostScript,   PDF

Mengi, Emre
Measures for Robust Stability and Controllability
Abstract,   Compressed PostScript,   PDF

Mysore, Venkatesh Pranesh
Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology
Abstract,   Compressed PostScript,   PDF

Ning, Feng
Building an Automatic Phenotyping System of Developing Embryos
Abstract,   Compressed PostScript,   PDF

Osinski, Edward
A Polymorphic Type System and Compilation Scheme for Record Concatenation
Abstract,   Compressed PostScript,   PDF

Pevzner, Ilya
A Probabilistic Learning Approach to Attribute Value Inconsistency Resolution
Abstract

Shao, Wei
Animating Autonomous Pedestrians
Abstract,   Compressed PostScript,   PDF

Sharma, Vikram
Complexity Analysis of Algorithms in Algebraic Computation
Abstract,   Compressed PostScript,   PDF

Sun, Bing
Pairwise Comparison between Genomic Sequences and Optical-Maps
Abstract,   Compressed PostScript,   PDF

Totok, Alexander
Exploiting Service Usage Information for Optimizing Server Resource Management
Abstract,   Compressed PostScript,   PDF

Wang, Zhihua
Time Series Matching: A Multi-Filter Approach
Abstract,   Compressed PostScript,   PDF

Wang, Ziyang
Incremental Web Search: Tracking Changes in the Web
Abstract,   Compressed PostScript,   PDF

Zhang, Xin
Fast Algorithms for Burst Detection
Abstract,   Compressed PostScript,   PDF

Zhao, Xiaojian
High Performance Algorithms for Multiple Streaming Time Series
Abstract,   Compressed PostScript,   PDF

Zhao, Yuanyuan
Distribution of Route-Impacting Control Information in a Publish/Subscribe System with Delivery Guarantees
Abstract,   Compressed PostScript,   PDF

2005

Fang, Yi
Translation Validation of Optimizing Compilers
Abstract,   Compressed PostScript,   PDF

Hu, Ying
Translation Validation of Loop Optimizations
Abstract,   Compressed PostScript,   PDF

Kichkaylo, Tatiana
Construction of Component-Based Applications by Planning
Abstract,   Compressed PostScript,   PDF

Robbins, Christopher A.
Extensible MultiModal Environment Toolkit (EMMET): A Toolkit for Prototyping and Remotely Testing Speech and Gesture Based Multimodal Interfaces
Abstract,   Compressed PostScript,   PDF

Tsirigos, Aristotelis
Pattern Discovery for Hypotheses Generation in Biology
Abstract,   Compressed PostScript,   PDF

Xu, Jiazhao
Automatic Verification of Parameterized Systems
Abstract,   Compressed PostScript,   PDF

Yu, Xin
Mobility, Route Caching, and TCP Performance in Mobile Ad Hoc Networks
Abstract

Zhao, Shubin
Information Extraction from Multiple Syntactic Sources
Abstract,   Compressed PostScript,   PDF

2004

Ivan, Anca
Partitionable Services Framework: Seamless Access to Distributed Applications
Abstract,   Compressed PostScript,   PDF

Paxia, Salvatore
VALIS: A Multi-language System for Rapid Prototyping in Computational Biology
Abstract   Compressed PostScript,   PDF

Peng, Jianbo
Thick Surfaces: Interactive Modeling of Topologically Complex Geometric Details
Abstract,   Compressed PostScript,   PDF

Shin, Ji-Ae
TM-LPSAT: Encoding Temporal Metric Planning in Continuous Time
Abstract,   Compressed PostScript,   PDF

Sudo, Kiyoshi
Unsupervised Discovery of Extraction Patterns for Information Extraction
Abstract,   Compressed PostScript,   PDF

Ying, Lexing
An Efficient and High-Order Accurate Boundary Integral Solver for the Stokes Equations in Three Dimensional Complex Geometries
Abstract,   Compressed PostScript,   PDF

Zhu, Yunyue
High Performance Data Mining in Time Series: Techniques and Case Studies
Abstract,   Compressed PostScript,   PDF

2003

Freudenthal, Eric
Comparing and Improving Centralized and Distributed Techniques for Coordinating Massively Parallel Shared-Memory Systems
Abstract,   Compressed PostScript,   PDF

Fu, Xiaodong
Infrastructure Support for Accessing Network Services in Dynamic Network Environments
Abstract,   Compressed PostScript,   PDF

Hung-Hsien, Chang
Enriched Content: Concept, Architecture, Implementation, and Applications
Abstract,   Compressed PostScript,   PDF

Pechtchanski,Igor
A framework for optimistic program optimization
Abstract  

Waldman, Marc
Secure and Robust Censorship-Resistant Publishing Systems
Abstract,   Compressed PostScript,   PDF

Yen, Ting-jen
A Qualitative Profile-based Approach to Edge Detection
Abstract,   Compressed PostScript,   PDF

2002

Adomavicius, Gediminas
Expert-Driven Validation of Set-Based Data Mining Results
Abstract,   Compressed PostScriptPDF

Been, Kenneth
Responsive Thinwire Visualization of Large Geographic Datasets
Abstract,   Compressed PostScriptPDF

Biermann, Henning
Representing and Modifying Complex Surfaces
Abstract,   Compressed PostScript,   PDF

Daruwala, Raoul-Sam
On computing the Pareto-optimal solution set in a large scale dynamic network
Abstract,   Compressed PostScriptPDF

Rudra, Archisman
Informative Features in Vision and Learning
Abstract,   Compressed PostScriptPDF

2001

Berger, Gideon
Knowledge Discovery in Databases for Intrusion Detection, Disease Classification and Beyond
Abstract,   Compressed PostScriptPDF

Chang, Fangzhe
Automatic Adaption of Tunable Distributed Applications
Abstract,   Compressed PostScript,   PDF

Hertzmann, Aaron
Algorithms for Rendering in Artistic Styles
Abstract,   Compressed PostScript (Full Version - 90 MB),   PDF (300 dpi version - 30.6 MB).

Kerne, Andruid
Collage Machine: A Model of "Interface Technology"
Abstract,   Compressed PostScript,   PDF.

Kim, Hansoo
Region-based Register Allocation for EPIC Architectures
Abstract,   Compressed PostScript,   PDF.

Klinger, Tamir
Adversarial Reasoning: A Logical Approach for Computer Go
Abstract,   Compressed PostScript,   PDF.

Leung, Allen
Machine Level Optimizations for High Level Languages
Abstract  

Li, Chen
Exact Geometric Computation: Theory and Applications
Abstract,   Compressed PostScript,   PDF.

Oh, Jong
An On-Line Handwriting Recognizer with Fisher Matching, Hypotheses Propagation Network and Context Constraint Models
Abstract,   Compressed PostScript,   PDF.

Pao, Hsing-Kuo (Kenneth)
Continuous Model for Salient Shape Selection and Representation
Abstract,   Compressed PostScript,   PDF

Yang, Zhe
Language Support for Program Generation Reasoning, Implementation, and Applications
Abstract,   Compressed PostScript,   PDF

2000

Bacon, David.
SETL for Internet Data Processing.
Abstract,   Compressed PostScript,   PDF.

Figueroa, Sam.
A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages.
Abstract,   Compressed PostScript,   PDF.

Goyal, Deepak.
A Language-Theoretic Approach to Algorithms.
Abstract,   Compressed PostScript,   PDF.

Huang, Shih-Chen.
Supporting a Flexible Parallel Programming Model on a Network of Non-Dedicated Workstations.
Abstract,   Compressed PostScript,   PDF.

Ishikawa, Hiroshi.
Global Optimization Using Embedded Graphs.
Abstract,   Compressed PostScript,   PDF.

Jermyn, Ian.
On the Use of Functionals on Boundaries in Hierarchical Models of Object Recognition.
Abstract,   Compressed PostScript,   PDF.

Li, Ninghui
Delegation Logic: A Logic-based Approach to Distrbuted Authorization
Abstract,   Compressed PostScript,   PDF.

Talla, Surendranath
Adaptive Explicitly Parallel Instruction Computing
Abstract,   Compressed PostScript,   PDF

Tanzer, David
Queryable Expert Systems
Abstract,   Compressed PostScript,   PDF

Yangarber, Roman
Scenario Customization for Information Extraction
Abstract,   Compressed PostScript,   PDF.

1999

Afshartous, Niki.
Higher-Order Conditional Synchronization.
Abstract,   Compressed PostScript,   PDF.

Baratloo, Arash.
Metacomputing on on Commodity Computers.
Abstract,   Compressed PostScript,   PDF.

Borthwick, Andrew.
A Maximum Entropy Approach to Named Entity Recognition.
Abstract,   Compressed PostScript,   PDF.

Buff, Robert.
Algorithms for Nonlinear Models in Computational Finance and their Object-oriented Implementation.
Abstract,   Compressed PostScript,   PDF.

Chen, Hseu-Ming.
Prototyping a Prototyping Language.
Abstract,   Compressed PostScript,   PDF.

Even,Ron
Distributed intelligence with bounded rationality: Applications to economies and networks
Abstract  

Floratos, Aristidis.
Pattern Discovery in Biology: Theory and Applications.
Compressed PostScript,   PDF.

Garcia-Keller, Martin.
Matching Algorithms and Feature Match Quality Measures for Model-Based Object Recognition with Applications to Automatic Target Recognition.
Compressed Postscript,   PDF.

Greenwald, Amy.
Learning to Play Network Games.
Abstract,   Compressed PostScript,   PDF.

Hecker,Yaron Chanoch
Experiments in refining graphical interface widgets
Abstract  

Jai, Benchiao.
Automated Software Deployment.
Abstract,   Compressed PostScript,   PDF.

Monrose, Newman Fabian.
Toward Stronger User Authentication.
Abstract,   Compressed PostScript,   PDF.

Nayakkankuppam, Madhu.
Optimization Over Symmetric Cones.
Abstract,   Compressed PostScript,   PDF.

Rajkumar, Ajay.
Efficient Computational Model for Energy Propagation in Geoemtrically Represented Large Envirnoments.
Abstract,   Compressed PostScript,   PDF.

Schwartz, Naftali.
Automatic Parallelization: An Incremental, Optimistic, Practical Approach.
Abstract,   Compressed PostScript,   PDF.

Yung, Chung.
Destructive Effect Analysis And Finite Differencing For Strict Functional Languages.
Abstract,   Compressed PostScript,   PDF.

1998

Chang, Ee-Chien.
Foveation Techniques and Scheduling Issues in Thinwire Visualization.
Abstract.

Chu, Churngwei.
Techniques to Improve the Performance of Software-based Distributed Shared Memory Systems.
Abstract,   Compressed PostScript,   PDF.

Fox, David.
Deformable Object Tabula Rasa: A Zoomable User Interface System.
Abstract.

Karaul, Mehmet.
Metacomputing and Resource Allocation on the World Wide Web.
Abstract,   Compressed PostScript,   PDF.

Li, Bin.
Free Parallel Data Mining.
Abstract,   Compressed PostScript,   PDF.

Lin, Dao-I.
Fast Algorithms for Discovering the Maximum Frequent Set.
Abstract,   Compressed PostScript,   PDF.

Parida, Laxmi.
Algorithmic Techniques in Computational Genomics.
Abstract,   Compressed PostScript,   PDF.

Piatko, Peter.
Thinksheet: a Tool for Information Navigation.
Abstract,   Compressed PostScript,   PDF.

Sekine, Satoshi.
Corpus-based Parsing and Sublanguage Studies.
Abstract.

Ungureanu, Cristian.
Abstract Models of Distributed Memory Management.
Abstract.

Wyckoff,Peter
Fault-tolerant parallel computing on networks of non-dedicated workstations
Abstract  

1997

Baldwin, Bernard.
Multiscale Snakes: Resolution-Appropriate Shape Descriptions.
Abstract.

Liu, Tyng-Luh.
Deformable Object Recognition with Articulations and Occlusions.
Abstract.

Marinescu, Mihnea.
Partial evaluation of concurrent programs.
Abstract.

Porras, Juan.
Pricing and Hedging Volatility Risk in Interest-Rate Derivatives.
Abstract.

Shriver, Elizabeth.
Performance Modeling for Realistic Storage Devices.
Abstract.

1996

Basu, Saugata.
Algorithms in Semi-Algabraic Geometry.
Abstract.

Epstein, Mark.
Statistical Source Channel Models for Natural Language Understanding.
Abstract,   Compressed PostScript,   PDF.

Sabbagh, Hadil.
Solving the Navier-Stokes Equations on a Distributed Parallel Computer.
Abstract.

1995

Antoniotti, Marco.
Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the "Control-D" System.
Abstract,   Compressed PostScript,   PDF.

Chiu, Jen-Lung.
Planning in an Imperfect World Using Previous Experiences.
Abstract,   Compressed PostScript,   PDF.

Choi, Joonsoo.
Geodesic Problems in High Dimensions.
Abstract.

Edler, Jan.
Practical Structures for Parallel Operating Systems.
Abstract,   Compressed PostScript,   PDF.

Fuchs, Matthew.
Dreme: for Life in the Net.
Abstract,   Compressed PostScript,   PDF.

Jeong, Karpjoo.
Fault-tolerant Parallel Processing Combining Linda, Checkpointing, and Transactions.
Abstract,   Compressed PostScript,   PDF.

Liu, Jyhjong.
A Model-Based 3-D Object Recognition System Using Geometric Hashing with Attributed Features.
Abstract,   Compressed PostScript,   PDF.

Teichmann, Marek.
Grasping and Fixturing: a Geometric Study and an Implementation.
Abstract,   Compressed PostScript,   PDF.

1994

Dickey, Susan.
Systolic Combining Switch Designs.
Abstract,   Compressed PostScript,   PDF.

Ericson, Lars.
Gedanken: A tool for Pondering the Tractability of Correct Program Technology.
Abstract.

Hariharan, Ramesh.
Designing Pattern Matching Algorithms by Exploiting Structural Pattern Properties.
Abstract.

Katz, Alex.
Compilation of Array-Style Programs for Distributed Memory MIMD Machines: a Geometric Approach.
Abstract.

Liu, Zhiqing.
Lazy SETL Debugging with Persistent Data Structures.
Abstract,   Compressed PostScript,   PDF.

Muthukrishnan, S.
Searching for Strings and Searching in Presence of Errors.
Abstract.

Nickerson, Jeffrey.
Visual Programming.
Abstract.

Yao, Chi.
Representing Control in Parallel Applicative Programming.
Abstract,   Compressed PostScript,   PDF.

1993

Agarwal, Pankaj.
Cell-based Computer Models in Developmental Biology.
Abstract,   Compressed PostScript,   PDF.

Capoyleas, Vasilis.
Applications of Convexity in Computational Geometry.
Abstract.

Chuang, Tyng-Ruey.
New Techniques for the Analysis and Implementation of Functional Programs.
Abstract.

Fernandes, Christopher.
Nonholonomic Motion Planning : Algorithms and Software.
Abstract.

Goradia, Tarak.
Dynamic Impact Analysis: Analyzing Error Propagation in Program Executions.
Abstract,   Compressed PostScript,   PDF.

Hwang, Wen-Liang.
Singularity Detection, Noise Reduction and Multifractal Fractal Characterization.
Abstract.

Koren, Gilad.
Competitive On-line Scheduling for Overloaded Real-Time Systems.
Abstract,   Compressed PostScript,   PDF.

Narayanan, Babu.
Probabilistic Methods in Computer Science and Combinatorics.
Abstract.

Papadopoulos, Georgios.
Singularity Detection, Dataflow Analysis of Logic Programs Using Typed Domains.
Abstract.

Perry, Adi.
Statistical Recognition of Textured Patterns From Local Spectral Decomposition.
Abstract.

Rozen, Steven.
Automating Physical Database Design: An Extensible Approach.
Abstract,   Compressed PostScript,   PDF.

Tsai, Frank.
A Probabilistic Approach to Geometric Hashing using Line Features.
Abstract,   Compressed PostScript,   PDF.

1992

Bederson, Benjamin.
A Miniature Space-Variant Active Vision System: Cortex-I.
Abstract.

Chang, Chia-Hsiang.
Regular Expressions to DFA's using Compressed NFA's.
Abstract,   Compressed PostScript,   PDF.

Gallo, Giovanni.
Complexity Issues in Computational Algebra.
Abstract.

Hsieh, Chih-Hung.
Typing Higher-Order Functions with Dynamic Dispatching.
Abstract.

Landau, Pierre.
Computer Simulation of Cortical Polymaps.
Abstract.

Laufer, Konstantin.
Polymorphic Type Inference and Abstract Data Types.
Abstract,   Compressed PostScript,   PDF.

Oliver, Neil.
A sublanguage based medical language processing system for German.
Abstract.

Ong, Ping-Wen.
Image Processing, Pattern Recognition and Attentional Algorithms in a Space-Variant Active Vision System.
Abstract.

Ouyang, Pei.
On Compiling Regular Loops for Efficient Parallel Execution.
Abstract,   Compressed PostScript,   PDF.

Peng, Ping.
Japanese/English Machine Translation Using Sublanguage Patterns and Reversible Grammars.
Abstract.

Rennels, Deborah.
The Analysis and Generation of Tests for Programming Language Translators.
Abstract.

Rigoutsos, Isidore.
Massively Parallel Bayesian Object Recognition.
Abstract,   Compressed PostScript,   PDF.

Silver, Naomi.
Control of a Dexterous Robot Hand: Theory, Implementation, and Experiments.
Abstract.

Siritzky, Brian.
Executable Operational Semantics of Programming Languages.
Abstract.

Snyder, Kirk.
Non-Correcting Error Recovery For LR Parsers.
Abstract.

Sundareswaran, V.
Global Methods for Image Motion Analysis.
Abstract,   Compressed PostScript,   PDF.

1991

Anderson, Brian.
Persistent LINDA: Design and implementation of a system to add transactions to LINDA.
Abstract.

Botta, Alexander.
A Theory of Natural Learning.
Abstract.

Charles, Phillipe.
A Practical Method for Constructing Efficient LALR(k) Parsers with Automatic Error Recovery.
Abstract.

Chitrao, Mahesh.
Statistical Techniques for Parsing Messages.
Abstract.

Cutello,Vincenzo
On the satisfiability problem for unquantified classes of formulae involving set-theoretical and topological constructs
Abstract  

Gasperoni, Franco.
Scheduling for Horizontal Systems: The VLIW Paradigm in Persepctive.
Abstract,   Compressed PostScript,   PDF.

Hind, Michael.
Efficienty Loop-Level Parallelism in ADA.
Abstract.

Kalvin, Alan.
Segmentation and Surface-Based Modeling Objects in Three-Dimensional Biomedical Images.
Abstract.

Kelly, Robert.
The Development of Parallel Image Algorithms by Prototyping.
Abstract.

Lanin, Vladimir.
Semantically Based Concurrent Data Structure Algorithms.
Abstract.

Li, Ke.
On the Optimization of Term Rewriting.
Abstract.

Mitsolides, Thanasis.
The Design and Implementation of ALLOY, a Higher Level Parallel Programming Language.
Abstract,   Compressed PostScript,   PDF.

Park, Young G.
Semantic program analyses for storage management optimizations in functional language implementations.
Abstract.

Pedersen, Paul.
Counting Real Zeros.
Abstract.

Pellegrini,Marco
Combinatorial and algorithmic analysis of stabbing and visibility problems in three-dimensional space
Abstract  

Prabhu, N.
Properties of Convex Polytopes.
Abstract.

Sundar, Rajamani.
Amortized Complexity of Data Structures.
Abstract.

Teller, Patricia.
Performance Evaluation of Solutions to the TLB Consistency Problem.
Abstract.

Tetali, Prasad.
Applications and Analysis of Probabilistic Techniques.
Abstract.

Turek, John.
Resilient Computations in the Presence of Slow-Downs.
Abstract.

Wang, Tsong-Li.
Query Optimization in Database and Information Retrieval Systems.
Abstract.

You, Yongtao.
Toward a Fully Integrated VLSI CAD System: from Custom to Fully Automatic.
Abstract.

Zhong,Sifen
Edge representation from wavelet transform maxima
Abstract  

1990

Dinning, Anne
Detecting Nondeterminism in Shared Memory Parallel Programs
Abstract

Markantonatos,Nikolaos
Program transformation for efficient derivation of multiple solutions in concurrent logic languages
Abstract  

Mirza,Mirza G. R.
Data structures and algorithms for hierarchical memory machines
Abstract  

Perez-Carballo,Jose F.
Design and implementation of HyTeK: A knowledge-based hypertext system
Abstract  

Policriti,Alberto
On a generalization of Herbrand's theorem
Abstract  

Rojer,Alan S.
Space-variant computer vision with a complex-logarithmic sensor geometry
Abstract  

Salkind,Louis K.
SAGE: A real-time operating system for robotic supervisory control
Abstract  

Zajicek,Ofer
The APRAM: A model for asynchronous parallel computation
Abstract  

1989

Aronov,Boris
Combinatorial and algorithmic analysis of space decomposition problems
Abstract  

Clark,Dayton R.,Jr.
Data communication in robot control systems
Abstract  

Cox,James L.
On-line motion planning
Abstract  

Dube,Thomas William
Quantitative analysis of problems in computer algebra: Grobner bases and the Nullstellensatz
Abstract  

Flynn-Hummel,Susan Frances
SMARTS--Shared-memory Multiprocessor Ada Run Time Supervisor
Abstract  

Friedman,Carol
A computational treatment of the comparative
Abstract  

Goldberg,Robert Raphael
Verification of three-dimensional model parameters from two-dimensional image data
Abstract  

Ho,Chung-Jen
Topics in algebraic computing: Subresultants, GCD, factoring and primary ideal decomposition
Abstract  

Lamdan,Yehezkel
Object recognition by geometric hashing
Abstract  

Lee,PeiZong
Mapping algorithms on regular parallel architectures
Abstract  

Nathan,Albert
Transformations for backtracking SETL programs
Abstract  

Operowsky,Howard Lawrence
Optimization and garbage collection in Ada programs on shared memory computers
Abstract  

Tuzhilin,Alexander Sergei
Using relational discrete event systems and models for prediction of future behavior of databases
Abstract  

Yang,Xue Dong
Fuzzy disk modeling and rendering of textured complex three-dimensional surfaces of real objects
Abstract  

Zhang,KaiZhong
The editing distance between trees: Algorithms and applications
Abstract  

1988

Bar-On,Ilan
Parallel algorithms for band SPD systems of linear equations
Abstract  

Dimitrovsky,Isaac Aaron
ZLISP--a portable parallel LISP environment
Abstract  

Joskowicz,Leo
Reasoning about shape and kinematic function in mechanical devices
Abstract  

Kishon,Eyal
Use of three-dimensional curves in computer vision
Abstract  

Ksiezyk,Tomasz Bartlomiej
Simulation-based understanding of texts about equipment
Abstract  

Lewis,Henry Merriman
Extensions to SETL to support problem specification and transformation of imperative programs
Abstract  

Morgenstern,Leora
Foundations of a logic of knowledge, action, and communication
Abstract  

Straub,Robert Michael
Taliere: An interactive system for data structuring SETL programs
Abstract  

Wilson,James M.
Operating system data structures for shared memory MIMD machines with fetch-and-add
Abstract  

1987

Cantone,Domenico A.
A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators
Abstract  

Chen,Jianer
Tape Reversal and Parallel Time
Abstract  

Frankl,Phyllis G.
The use of Data Flow Information for the Selection and Evaluation of Software Test Data
Abstract  

Hor,Maw-Kae
Control and Task Planning for a Four Finger Dextrous Manipulator
Abstract  

Johnson,Stephen Bennett
An Analyzer for the Information Content of Sentences (Semantics)
Abstract  

Menczel,Yaron
Description of Shape using Orientation and Propagation Flow
Abstract  

Solworth,Jon A.
Generic: a Programming Language for Vlsi Layout and Layout Manipulation
Abstract  

Weiss,Stewart Neil
A Theory of Concurrent Programs and Test Data Adequacy
Abstract  

1986

Carrihill,Brian Lee
Three-Dimensional Data Acquisition by Means of the Intensity Ratio Depth Sensor (Vision, Robotics)
Abstract  

Chang,Jyun-Sheng
Polygon Optimization Problems (Computational Geometry, Algorithm)
Abstract  

Goss,Clinton Francis
Machine Code Optimization
Abstract  

Gurwitz,Chaya Bleich
Sequential Quadratic Programming Methods Based on Approximating a Projected Hessian Matrix (Updating Method, Quasi-Newton, Nonlinear Constraints)
Abstract  

Mcauliffe,Kevin Patrick
Analysis of Cache Memories in Highly Parallel Systems
Abstract  

Perlin,Kenneth H.
Synthesizing Realistic Textures by the Composition of Perceptually Motivated Functions (Graphics)
Abstract  

Sarnak,Neil Ivor
Persistent Data Structures
Abstract  

Shulman,Norman Victor
The Semantics of Shared Variables in Parallel Programming Languages
Abstract  

Weiss,Gerald
Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient Implementation (Compilers)
Abstract  

1985

Benjamin,David Paul
Extraction and Generalization of Expert Advice (Learning, Representation, Induction)
Abstract  

1984

Freudenberger,Stefan M.
On the use of Global Optimization Algorithms for the Detection of Semantic Programming Errors (Setl, Data Flow, Type Finding)
Abstract  

Leshem,Gavriel
Description of Operating Systems using Very-High-Level Diction (Programming Languages)
Abstract  

Omodeo,Eugenio Giovanni
Decidability and Proof Procedures for Set Theory with a Choice Operator
Abstract  

Piatetsky-Shapiro,Gregory Ilya
A Self-Organizing Database System - a Different Approach to Query Optimization
Abstract  

Wolfson,Ouri
Concurrency Control using Locks in Distributed Databases
Abstract  

1983

Burke,Michael George
A Practical Method for Lr and Ll Syntactic Error Diagnosis and Recovery
Abstract  

Digricoli,Vincent Joseph
Resolution by Unification and Equality
Abstract  

Shields,Lynwood David
Measuring Setl Performance
Abstract  

Sigal,Ron Mark
Undecidable Complexity Statements in a Hierarchy of Extensions of Primitive Recursive Arithmetic
Abstract  

Weixelbaum,Elia S.
Formal Languages with Oracles
Abstract  

1982

Breban,Michael
Decision Algorithms for a Class of Set-Theoretic Formulae Involving One Occurrence of the Union-Set Operator
Abstract  

Merritt,Susan Mary
The Role of the High Level Specification in Programming by Transformation: Specification and Transformation by Parts
Abstract  

Rudolph,Lawrence S.
Software Structures for Ultraparallel Computing
Abstract  

1981

Buckingham,Mark Alan
Circle Graphs
Abstract  

Arnow,David Moss
Stochastic Solutions to the Schroedinger Equation for Fermions
Abstract  

Borg,Anita
Synchronization Efficiency
Abstract  

Ferro,Alfredo
Decision Procedures for some Classes of Unquantified Set Theoretic Formulae
Abstract  

Koenig,Shaye
A Transformational Framework for Automatic Derived Data Control and its Applications in an Entity-Relationship Data Model
Abstract  

Kruskal,Clyde Philip
Upper and Lower Bounds on the Performance of Parallel Algorithms
Abstract  

1980

Deak,Edith Gail
The Transformational Approach to the Development and Verification of Programs in a very High Level Language
Abstract  

Meyer,Jeanine Marietta
An Implementation for Gyve: a Language for Concurrent Processing
Abstract  

Warren,Henry Stanley,Jr.
Optimization of Inductive Assertions
Abstract  

1979

Loerinc,Beatrice Margaret
Computing Chromatic Polynomials for Special Families of Graphs

Semeniuk,Christine
Groups with Solvable Word Problems

Fabri,Janet
Automatic Storage Optimization

Fisher,Joseph Allen
The Optimization of Horizontal Microcode within and Beyond Basic Blocks: an Application of Processor Scheduling with Resources

Goldberg,Allen T.
On the Complexity of the Satisfiability Problem

Paige,Robert Allan
Expression Continuity and the Formal Differentiation of Algorithms

Schneck,Paul Bennett
Comparison of Direct Code Generation and Intermediate Language Generationfor Bootstrapping the Machine-Independent Compiler, Little

Stolfo,Salvatore Joseph
Automatic Discovery of Heuristics for Nondeterministic Programs from Sample Execution Traces

1978

Coppage,Samuel Francis,Jr.
Decision Regions for Multi-Stage Allocation Problems

Hartzman,Peter David
Configurable Software for Satellite Graphics

Liu,Ssu-Cheng
Automatic Data Structure Choice in Setl

Shaw,Philip Sidell
Gyve, a Programming Language for Protection and Control in a Concurrent Processing Environment

1977

Shapira,Ruth
Computer Reconstruction of Bodies Bounded by Quadric Surfaces from a Set of Imperfect Projections
Abstract  

1976

Laderman,Julian David
On Algorithms for Minimizing the Number of Multiplications in Matrix Products

Owens,Philip Jonathan
A Comprehensive Survey of Parsing Algorithms for Programming Languages

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

Spegel,Marjan
Programming of Mechanism Motions

Sperling,Michael Zelig
Inferential Learning through Counterexample Construction

1975

Markstein,Peter Willy
Operating System Specification using very High Level Dictions

Stryker,Charles William
Visual Information Processing of Isolated Character Inputs

Teichman,Sheldon M.
An Investigation into a Probability Model for Correct Target Letter Detection

Wilamowsky,Yonah
A Computer Based Approach to some Geometric Aspects of Character Recognition

1974

Gewirtz,William Lawrence
Investigations in the Theory of Descriptive Complexity

Hobbs,Jerry Robert
A Metalanguage for Expressing Grammatical Restrictions in Nodal Spans Parsing of Natural-Language

Ramer,Eugen Urs
Computer Edge Extraction from Photographs of Curved Objects

Takeuchi,Seiichi
Optimum Correction of Pincushion Distortion

Tenenbaum,Aaron Melvin
Type Determination for very High Level Languages

1973

Agresti,William Wolfgang
Recursive Compiler-Optimization for Nonserial Program Graphs

Friedmann,Jehosua
Studies in Pattern Recognition of Line-Size, Line-Orientation and their Interaction

Grossman,Fred
Computer Recognition of Handprinted Two-Dimensional Mathematics

Harrow,Keith
Sub-Elementary Classes of Functions and Relations

Maly,Kurt
A Study in Programming Techniques

Waxman,Jerry Milton
A Comparison of some Deadlock Models

1972

Knobe,Bruce Stuart
An Experimental Comparison of the Efficiency of Parsing Techniques

Reggiori,Giovanni B.
Digital Computer Transformations for Irregular Line-Drawings

1971

Brown,Theodore David
A Network Queueing Model of a Multiprogrammed Time-Shared Computer System

Firestone,Roger Morris
Parallel Programming: Operational Model and Detection of Parallelism

Kennedy,Kenneth Wade,Jr.
Global Flow Analysis and Register Allocation for Simple Code Structures

Rabinowitz,Andrew David
Reconstruction of Polyhedra from Sets of their Perspective Projections

Sharma,Onkar P.
A Trainable Syntactic Model for Syntax Specification and Recognition of Handdrawn Two-Dimensional Patterns

Williams,Robin
A Systematic Method for the Creation of Data Structures in Computer Graphics Applications

Woon,Peter Yi-do
A Computer Procedure for Generating Visible-Line Drawings of Solids Bounded by Quadric Surfaces

1970

Adamowicz,Michael
The Optimum Two-Dimensional Allocation of Irregular, Multiply-Connected Shapes with Linear, Logical and Geometric Constraints


top | contact webmaster@cs.nyu.edu