Graduate Students

Alumni

Jump to:

2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1984   1983   1982   1981   1980   1979   1978   1977   1976   1975   1974   1973   1972   1971   1970   1968   1966  

Thesis Option Name Title Advisor
2019
PhD CDS Filippidis, Ioannis Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design Murray
PhD CDS Olsman, Noah Andrew Architecture, Design, and Tradeoffs in Biomolecular Feedback Systems Goentoro, Doyle
PhD ACM Soh, Yong Sheng Fitting Convex Sets to Data: Algorithms and Applications Chandrasekaran
2018
PhD CDS Baetica, Ania-Ariadna Design, Analysis, And Computational Methods For Engineering Synthetic Biological Networks Murray
PhD Ae Braun, Noah Oakley An LES and RANS Study of the Canonical Shock-Turbulence Interaction Pullin, Meiron
PhD CE Buyco, John Kenneth Improving Seismic Collapse Risk Assessments of Steel Moment Frame Buildings Heaton
PhD CS Chen, Niangjun Online Algorithms: From Prediction to Decision Wierman, Low
PhD MS Jiang, Jingjing Interfacial and Stability Studies of Photocathodes for Hydrogen Evolution Lewis
PhD CDS Leong, Yoke Peng Optimal Controller Synthesis for Nonlinear Systems Burdick, Doyle
PhD CDS Maguire, Shaun Cohn The Spectral Theory of Multiboundary Wormholes Preskill
PhD CS Ren, Xiaoqi Optimizing Resource Management in Cloud Analytics Services Wierman
PhD CDS Swaminathan, Anandh Application, Computation, and Theory for Synthetic Gene Circuits Murray
PhD CE Yin, Lucy Reducing Latencies in Earthquake Early Warning Heaton
PhD MS Zhou, Xinghao Performance and Stability Optimization of Solar Fuel Devices Lewis
2017
PhD ACM Bruer, John Jacob Recovering Structured Low-rank Operators Using Nuclear Norms Tropp
PhD ACM Catanach, Thomas Anthony Computational Methods for Bayesian Inference in Complex Systems Beck
PhD ACM Chen, Yuhua Richard Concentration Inequalities of Random Matrices and Solving Ptychography with a Convex Relaxation Tropp
PhD ACM Chern, Albert Ren-Haur Fluid Dynamics with Incompressible Schrödinger Flow Schroeder
PhD CMS Cummings, Rachel Autumn Dixon The Implications of Privacy-Aware Choice Ligett
PhD CS Eyjolfsdottir, Eyrun-Arna Computational Methods for Behavior Analysis Perona
PhD CS Guo, Zeyu P-schemes and Deterministic Polynomial Factoring Over Finite Fields Umans
PhD ACM Liu, Pengfei Spatial Profiles in the Singular Solutions of the 3D Euler Equations and Simplified Models Hou
MS CS London, Palma Alise den Neijs Distributed Optimization and Data Market Design Wierman
PhD ACM Pérez Arancibia, Carlos Andrés Windowed Integral Equation Methods for Problems of Scattering by Defects and Obstacles in Layered Media Bruno
PhD CNS Sui, Yanan Online Learning for the Control of Human Standing via Spinal Cord Stimulation Burdick
PhD CDS Wang, Yuh-Shyang A System Level Approach to Optimal Controller Design for Large-Scale Distributed Systems Doyle
PhD ACM Zhang, Pengchuan Compressing Positive Semidefinite Operators with Sparse/Localized Bases Hou
MS CS Ziani, Juba Efficiently Characterizing Games Consistent with Perturbed Equilibrium Observations Ligett, Chandrasekaran
2016
PhD ACM Akhmetgaliyev, Eldar Fast Numerical Methods for Mixed, Singular Helmholtz Boundary Value Problems and Laplace Eigenvalue Problems - with Applications to Antenna Design, Sloshing, Electromagnetic Scattering and Spectral Geometry Bruno
MS CDS Cruz, Gerardo Economic Fluctuations and Capitalistic Production: A Case Study in Robustness Constraints Doyle, Murray
PhD CDS Jonsson, Vanessa Danielle Robust Control of Evolutionary Dynamics Murray, Baltimore
PhD CDS Livingston, Scott Carlton Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications Murray
PhD CDS Matni, Nikolai Distributed Optimal Control of Cyber-Physical Systems: Controller Synthesis, Architecture Design and System Identification Doyle
MS CS Mehta, Jenish C. Behavior of O(log n) local commuting hamiltonians Vidick, Schulman
PhD CDS Papusha, Ivan Igorevych Robustness, Adaptation, and Learning in Optimal Control Murray
PhD CDS Yeung, Enoch Ho-Yee Reverse Engineering and Quantifying Context Effects in Synthetic Gene Networks Murray
PhD CDS You, Seungil A Direct Approach to Robustness Optimization Doyle
2015
MS CS Agarwal, Anish A Model For Residential Adoption of Photovoltaic Systems Chandy
PhD ACM Cubillos-Moraga, Max Anton General-Domain Compressible Navier-Stokes Solvers Exhibiting QuasiUnconditional Stability and High Order Accuracy in Space and Time Bruno
PhD EE Gan, Lingwen Distributed Load Control in Multiphase Radial Networks Low
PhD EE Kang, Dongyang MEMS for Diabetic Retinopathy Tai
PhD ACM Mason, Gemma Ellen Full and Model-Reduced Structure-Preserving Simulation of Incompressible Fluids Desbrun
MS CS Ren, Xiaoqi Speculation-Aware Resource Allocation for Cluster Schedulers Wierman
PhD APh Zhai, Xiang Experimental, Numerical and Analytical Studies of the MHD-driven plasma jet, instabilities and waves Bellan
2014
PhD ACM Ahn, Hyoung Jun Random Propagation in Complex Systems: Nonlinear Matrix Recursions and Epidemic Spread Hassibi
PhD ACM Amlani, Faisal A New High-Order Fourier Continuation-Based Elasticity Solver for Complex Three-Dimensional Geometries Bruno
MS CS Chang, Xiaofei Resetting Asynchronous QDI Systems Martin
MS CS Chen, Niangjun Model Predictive Control for Deferrable Loads Scheduling Wierman, Low
PhD ACM Ci, Maolin Multiscale Model Reduction Methods for Deterministic and Stochastic Partial Differential Equations Hou
PhD CS de Goes, Fernando Ferrari Geometric discretization through primal-dual meshes Desbrun
MS CS Eyjolfsdottir, Eyrun Arna Detecting Actions of Fruit Flies Perona
MS CS Faulkner, Matthew Nicholas Selective Data Gathering in Community Sensor Networks Heaton, Krause, Chandy
PhD CS Faulkner, Matthew Nicholas Community Sense and Response Systems Krause, Chandy, Heaton
PhD CS Fefferman, William Jason The Power of Quantum Fourier Sampling Umans, Kitaev
PhD CS Florian, Mihai Analysis-Aware Design of Embedded Systems Software Holzmann
MS CS Guo, Zeyu Randomness-efficient curve sampling Umans
PhD CDS Horowitz, Matanya Benasher Efficient methods for stochastic optimal control Burdick
PhD CS Keller, Sean Jason Robust Near-Threshold QDI Circuit Analysis and Design Martin
PhD CS Liu, Zhenhua Sustainable IT and IT for sustainability Wierman, Low
PhD CS Olson, Michael James Cloud Computing Services for Seismic Networks Chandy
PhD ACM Sanan, Patrick David Geometric elasticity for graphics, simulation, and computation Schroeder
PhD CDS Sharan, Rangoli Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation Burdick
PhD ACM Tavallali, Peyman Sparse time-frequency data analysis : a multi-scale approach Hou
PhD ACM Tyranowski, Tomasz Michal Geometric integration applied to moving mesh methods and degenerate Lagrangians Marsden, Desbrun
PhD CDS van Breugel, Floris Complex behavior and perception in Drosophila emerges from iterative feedback-regulated reflexes Dickinson
PhD CDS Wolff, Eric McKenzie Control of dynamical systems with temporal logic specifications Murray
2013
PhD CDS Censi, Andrea Bootstrapping vehicles : a formal approach to unsupervised sensorimotor learning based on invariance Murray
PhD ACM Cheng, Mulin Adaptive methods exploring intrinsic sparse structures of stochastic partial differential equations Hou
PhD CS Crane, Keenan Michael Conformal geometry processing Schroeder, Desbrun
PhD CS DeLorimier, Michael John GRAph parallel actor language : a programming language for parallel graph algorithms DeHon, Desbrun
PhD ACM Elling, Timothy James GPU-accelerated Fourier-continuation solvers and physically exact computational boundary conditions for wave scattering problems Bruno
PhD ACM Gittens, Alex A. Topics in randomized numerical linear algebra Tropp
PhD CS Gopalakrishnan, Ragavendran Characterizing distribution rules for cost sharing games Wierman
PhD CDS Li, Na Distributed optimization in power networks and general multi-agent systems Doyle, Low
PhD CS Lin, Minghong Algorithmic challenges in green data centers Wierman
PhD CS Liu, Annie Hsin-Wen Sensor networks for geospatial event detection - theory and applications Chandy
PhD ACM McCoy, Michael Brian A geometric analysis of convex demixing Tropp
PhD CS Mehta, Nikil An Ultra-Low-Energy, Variation-Tolerant FPGA Architecture Using Component-Specific Mapping DeHon
MS CS Mou, Judy Situation awareness application Chandy, Bunn
PhD CDS O'Farrell, Clara A dynamical systems analysis of vortex pinch-off Dabiri
PhD CS Schaeffer, Joseph Malcolm Stochastic simulation of the kinetics of multiple interacting nucleic acid strands Winfree
PhD CDS Sojoudi, Somayeh Mathematical study of complex networks : brain, internet, and power grid Doyle
PhD ACM Stobbe, Peter Convex analysis for minimizing and learning submodular set functions Krause
PhD CDS Trautman, Peter Robot navigation in dense crowds : statistical models and experimental studies of human robot cooperation Murray, Krause, Burdick
2012
PhD CE Cho, In Ho Virtual earthquake engineering laboratory with physics-based degrading materials on parallel computers Hall
PhD CDS Franco, Elisa Analysis, design, and in vitro implementation of robust biochemical networks Murray, Winfree
PhD ACM Hu, Xin Multiscale modeling and computation of 3D incompressible turbulent flows Hou
PhD ACM Huang, Jinghao Discrete differential form subdivision and vector field generation over volumetric domain Schroeder
MS CS Hurwitz, Jeremy Scott A nearly-quadratic gap between adaptive and non-adaptive property testers Umans, Schulman
PhD Ae Inoue, Michio Large-eddy simulation of the flat-plate turbulent boundary layer at high Reynolds numbers Pullin
PhD CDS Jacobs, Henry Ochi Geometric descriptions of couplings in fluids and circuits Desbrun
MS CS Lee, Euiwoong Clustering affine subspaces : algorithms and hardness Schulman
PhD ACM Lintner, Stéphane Karl High-order integral equation methods for diffraction problems involving screens and apertures Bruno
PhD CS Mullen, Patrick Gary Eulerian geometric discretizations of manifolds and dynamics Desbrun
MS CS Olson, Michael James Cloud computing for citizen science Chandy
MS CS Schaeffer, Joseph Malcolm The multistrand simulator : stochastic simulation of the kinetics of multiple interacting DNA strands Winfree
MS CS Shin, Seung Woo Compiling and verifying DNA-based chemical reaction network implementations Winfree
2011
PhD ACM Becker, Stephen R. Practical Compressed Sensing: Modern Data Acquisition and Signal Processing Candes
PhD ACM Beni, Catherine E. Simulation capabilities for challenging medical imaging and treatment planning problems Bruno
PhD CS Buchfuhrer, David I. Limits on computationally efficient VCG-based mechanisms for combinatorial auctions and public projects Umans
MS CS de Goes, Fernando Ferrari An optimal transport approach to robust reconstruction and simplification of 2D shapes Desbrun
PhD BE Fuller, Sawyer Buckminster Steady as she goes : visual autocorrelators and antenna-mediated airspeed feedback in the control of flight dynamics in fruit flies and robotics Murray, Dickinson
PhD MCE Hurtado, Daniel E. Multiscale modeling of microcrystalline materials Ortiz
PhD CDS Lamperski, Andrew G. Hierarchies, spikes, and hybrid systems : physiologically inspired control problems Doyle
PhD CDS Lavaei, Javad Large-scale complex systems : from antenna circuits to power grids Doyle, Murray
MS CS Lin, Minghong Algorithmic issues in green data centers Wierman
MS CS Liu, Zhenhua Greening geographical load balancing Wierman, Low
PhD CDS Moore, Ashley Discrete mechanics and optimal control for space trajectory design Marsden, Murray
PhD CDS Nahmad Bensusan, Marcos Interpretation and scaling of positional information during development Stathopoulos, Doyle
PhD MCE Perotti, Luigi Emanuele Modeling the behavior of fiber reinforced sandwich structures subjected to underwater explosions Ortiz
PhD CS Pilotto, Concetta Systematic design and formal verification of multi-agent systems Chandy
PhD ACM Plan, Yaniv Compressed sensing, sparse approximation, and low-rank matrix estimation Candes
PhD CDS Sen, Shaunak Regulatory consequences of bandpass feedback in a bacterial phosphorelay Elowitz
PhD CDS Tao, Molei Multiscale geometric integration of deterministic and stochastic systems Owhadi, Marsden
PhD ACM Vyetrenko, Svitlana S. Network coding for error correction Ho
PhD EE Weng, Ching-Chih The roles of majorization and generalized triangular decomposition in communication and signal processing Vaidyanathan
PhD CS White, Jerome S. Applying formal methods to distributed algorithms using local-global relations Chandy
2010
PhD CDS Buzi, Gentian Control theoretic analysis of autocatalytic networks in biology with applications to glycolysis Doyle
PhD ACM Chu, Chia-Chieh Multiscale methods for elliptic partial differential equations and related applications Hou
MS CS Crane, Keenan M. Discrete connections for geometry processing Schroeder, Desbrun
PhD CDS Du Toit, Philip C. Transport and separatrices in time-dependent flows Marsden
MS CS Fefferman, William Jason On quantum computing and pseudorandomness Kitaev, Umans
MS CS Florian, Mihai SCALE: source code analyzer for locating errors Holzmann, Chandy
MS CS Gojman, Benjamin Algorithms and techniques for conquering extreme physical variation in bottom-up nanoscale systems Desbrun, DeHon
MS CS Gopalakrishnan, Ragavendran An architectural view of game theoretic control Wierman
PhD CS Kapre, Nachiket Ganesh SPICE2 -- a spatial parallel architecture for accelerating the spice circuit simulator DeHon
PhD CS Kharevych, Liliya Geometric interpretation of physical systems for improved elasticity simulations Desbrun, Schroeder
MS CS Liu, Annie H. Simulation and implementation of distributed sensor network for radiation detection Chandy
PhD CDS Maynard Gayme, Dennice A robust control approach to understanding nonlinear mechanisms in shear flow turbulence Doyle
PhD MCE Wongpiromsarn, Tichakorn Formal methods for design and verification of embedded control systems : application to an autonomous vehicle Murray
PhD EE Xu, Weiyu Compressive sensing for sparse approximations: constructions, algorithms, and analysis Hassibi
2009
PhD CS Capponi, Agostino Credit risk and nonlinear filtering : computational aspects and empirical evidence Cvitanic
PhD ACM Chen, Chun-Yang Signal processing algorithms for MIMO radar Vaidyanathan
PhD CS Kalyanaraman, Shankar Limited randomness in games, and computational perspectives in revealed preference Umans
PhD ACM Li, Zhiyi High-order solution of elliptic partial differential equations in domains containing conical singularities Bruno
PhD ACM Lyon, Mark High-order unconditionally-stable FC-AD PDE solvers for general domains Bruno
MS CS Noblet, David Alexander MojaveComm : a view-oriented group communication protocol with support for virtual synchrony Hickey
PhD ACM Othmer, Jonathan Andrew Algorithms for Mapping Nucleic Acid Free Energy Landscapes Pierce
PhD CDS Shi, Ling Resource optimization for networked estimator with guaranteed estimation quality Murray
PhD ACM Stern, Ari Geometric discretization of Lagrangian mechanics and field theories Marsden, Desbrun
2008
PhD CS Angelova, Anelia Nedelcheva Visual prediction of rover slip : learning algorithms and field experiments Matthies, Perona
MS CS Buchfuhrer, David The complexity of formula minimization
PhD ACM Donaldson, Roger David Discrete Geometric Homogenisation and Inverse Homogenisation of an Elliptic Operator Owhadi, Desbrun
PhD CS Fanti, Claudio Towards automatic discovery of human movemes Perona
PhD CDS Flores, Melvin Estuardo Real-time trajectory generation for constrained nonlinear dynamical systems using non-uniform rational B-spline basis functions Murray
PhD CS Gao, Xiaojie On a capacitated multivehicle routing problem Schulman
PhD CDS Grubits, Katalin A. Low-dimensional representations of transitions in molecular systems Marsden
PhD ACM Helgason, Hannes Nonparametric detection and estimation of highly oscillatory signals Candes
PhD ACM Hoch, David Nonreflecting boundary conditions obtained from equivalent sources for time-dependent scattering problems Bruno
PhD CS Jang, Wonjin Soft-error tolerant quasi delay-insensitive circuits Martin
PhD CS Lin, Hsuan-Tien From ordinal ranking to binary classification Abu-Mostafa
PhD ACM Monro, John Anderson A super-algebraically convergent, windowing-based approach to the evaluation of scattering from periodic rough surfaces Bruno
PhD CS Naeimi, Helia Reliable integration of terascale systems with nanoscale devices DeHon
PhD CS Prakash, Piyush Throughput optimization of quasi delay insensitive circuits via slack matching Martin
PhD CS Pratap, Amrit Adaptive learning algorithms and data cloning Abu-Mostafa
PhD ACM Sweatlock, Sarah Lynne Asymptotic weight analysis of low-density parity check (LDPC) code ensembles McEliece
PhD ACM Tian, Lixiu Effective behavior of dielectric elastomer composites Bhattacharya
PhD ACM Wang, Ke A subdivision approach to the construction of smooth differential forms Schroeder
MS CS White, Jerome S. Receive buffer dynamics and OS scheduling Hickey
MS CS Yang, Weiwei Discrete mechanical interpolation of keyframes Desbrun
2007
PhD ACM Bou-Rabee, Nawaf Hamilton-Pontryagin integrators on Lie groups Marsden
PhD CDS Chen, Lijun Wireless network design and control Doyle, Low
PhD ACM Dondl, Patrick Werner Structure and evolution of martensitic phase boundaries Bhattacharya
MS CS Hu, Cheng Concurrent system design using Flow Low
PhD ACM Latini, Marco Simulations and analysis of two- and three-dimensional single-mode Richtmyer-Meshkov instability using weighted essentially non-oscillatory and vortex methods Meiron, Schilling
PhD CDS Liu, Xin Robustness, complexity, validation and risk Doyle
PhD CDS Martinez Estrada, Alfredo A treatise on econometric forecasting Doyle
MS CS McKenzie, Alexander HOLA: a High-Order Lie Advection of discrete differential forms, with applications in fluid dynamics Desbrun
MS CS Mullen, Patrick Gary A variational approach to Eulerian geometry processing of surfaces and foliations Desbrun
PhD CDS Mysore, Shreesh Pranesh Structural plasticity in neuronal networks Schuman, Quartz
MS CS Pilotto, Concetta Local-to-global in multi-agent systems Chandy
MS CS Pongsajapan, John Optimization and stability of TCP/IP with delay-sensitive utility functions Low
PhD CS Wei, Xiaoliang (David) Microscopic behavior of internet congestion control Low
PhD CS Yu, Xin Reflection and its application to mechanized metareasoning about programming languages Hickey
PhD ACM Zhang, Lei Metric based upscaling for partial differential equations with a continuum of scales Owhadi
2006
MS CS Capponi, Agostino Estimation problems in sense and respond systems Chandy
PhD ACM Demanet, Laurent Curvelets, wave atoms, and wave equations Candes
PhD ACM Goulet, David Michael Mathematical models of the developing C. elegans hermaphrodite gonad Sternberg, Cohen
MS CS Kalyanaraman, Shankar On obtaining pseudorandomness from error-correcting codes Umans
MS CS Kapre, Nachiket Ganesh Packet-switched on-chip FPGA overlay networks DeHon
MS CS Kharevych, Liliya Circle Patterns Documentation 1.0 [Supplemental material for Masters thesis: Implementation of circle pattern parameterization (2006)] Schroeder
MS CS Kharevych, Liliya Implementation of circle pattern parameterization Schroeder
MS CS Khorlin, Andrey Scheduling in distributed stream processing systems Chandy
PhD CS Li, Ling Data complexity in machine learning and novel classification algorithms Abu-Mostafa
PhD ACM Luo, Wuan Wiener chaos expansion and numerical solutions of stochastic partial differential equations Hou
MS CS Mehta, Nikil Time-multiplexed FPGA overlay networks on chip DeHon
PhD CS Papadantonakis, Karl Spyros Rigorous analog verification of asynchronous circuits Martin
PhD CDS Shadden, Shawn Christopher A dynamical systems approach to unsteady systems Marsden
PhD CDS Spanos, Demetri Polychronis Distributed gradient Ssystems and dynamic coordination Murray
PhD ACM Strinopoulos, Theofilos Upscaling immiscible two-phase flows in an adaptive frame Hou
PhD CS Tapus, Cristian Distributed speculations: providing fault-tolerance and improving performance Hickey
MS CS Tian, Lu Resource allocation in streaming environments Chandy
PhD CDS Wang, Jiantao A theoretical study of internet congestion control: equilibrium and dynamics Doyle, Low
2005
PhD CDS Bhat, Harish Subrahmanya Lagrangian averaging, nonlinear waves, and shock capturing Marsden
PhD CDS Del Vecchio, Domitilla State estimation in multi-agent decision and control systems Murray, Perona
MS CS deLorimier, Michael John Floating-point sparse matrix-vector multiply for FPGAs DeHon
MS CS Elcott, Sharif Mohamed Discrete, circulation-preserving, and stable simplicial fluids Schroeder
MS CS Fanti, Claudio An improved scheme for detection and labeling in Johansson displays Perona
PhD CS Friedel, Ilja Heinrich Approximation of surfaces by normal meshes Schroeder
MS CS Gao, Xiaojie Router congestion control Schulman
PhD CS Gavriliu, Marcel Towards more efficient interval analysis: corner forms and a remainder interval Newton method Barr
MS CS Gray, Nathaniel Asoka High-confidence, modular compiler development in a formal environment Hickey
PhD CDS Gregory, Irene Michelle Design and Stability Analysis of an Integrated Controller for Highly Flexible Advanced Aircraft Utilizing the Novel Nonlinear Dynamic Inversion Doyle
MS CS Lin, Hsuan-Tien Infinite ensemble learning with support vector machines Abu-Mostafa
PhD CS Litke, Nathan Jacob Variational methods in surface parameterization Schroeder
MS CS Naeimi, Helia A greedy algorithm for tolerating defective crosspoints in nanoPLA design DeHon
PhD CDS Papachristodoulou, Antonis Scalable analysis of nonlinear systems using convex optimization Doyle
PhD CDS Prajna, Stephen Optimization-based methods for nonlinear and hybrid systems verification Doyle
MS CS Prakash, Piyush Slack matching Martin
PhD ACM Stredie, Valentin Gabriel Mathematical modeling and simulation of aquatic and aerial animal locomotion Hou
MS CS Tapus, Cristian Kernel level distributed inter-process communication system (KDIPC) Hickey
PhD ACM Westhead, Andrew Upscaling for two-phase flows in porous media Hou
PhD ACM Yu, Xinwei Localized non-blowup conditions for 3D incompressible Euler flows and related equations Hou
2004
MS CS Angelova, Anelia Nedelcheva Data pruning Perona
PhD ACM Camp, Charles David Temporal and spatial patterns of the interannual variability of stratospheric ozone and dynamics Yung
PhD ACM Chaubell, M. Julian Low-coherence interferometric imaging: solution of the one-dimensional inverse scattering problem Bruno
PhD CDS Dunbar, William Bruce Distributed receding horizon control of multiagent systems Murray
PhD CDS Leok, Melvin Foundations of computational geometric mechanics Marsden
PhD CS Meyer, Mark Discrete differential operators for computer graphics Barr
MS CS Pratap, Amrit Maximum drawdown of a Brownian motion and AlphaBoost: a boosting algorithm Abu-Mostafa
PhD CDS Ross, Shane David Cylindrical manifolds and tube dynamics in the restricted three-body problem Marsden
PhD CS Schkolne, Steven 3D interfaces for spatial construction Schroeder
PhD CDS West, Matthew Variational integrators Marsden
PhD CS Wong, Catherine Grace High-level synthesis and rapid prototyping of asynchronous VLSI systems Martin
2003
PhD Ae Arienti, Marco A Numerical and Analytical Study of Detonation Diffraction Shepherd
PhD ACM Fetecau, Razvan Constantin Variational methods for nonsmooth mechanics Marsden, Hou
PhD ACM Greenberg, Andrei Chebyshev spectral method for singular moving boundary problems with application to finance Bruno
PhD CS Grinspun, Eitan The basis refinement method Schroeder
PhD CS Hirani, Anil Nirmal Discrete exterior calculus Marsden, Arvo
PhD ACM Howard, Elizabeth Anne A front tracking method for modelling thermal growth Meiron
PhD ACM Hyde, Edward McKay Fast, High-Order Methods for Scattering by Inhomogeneous Media Bruno
PhD ACM Kastner, Jason Christopher Modeling a Hox gene metwork: stochastic simulation with experimental perturbation Meiron
PhD CDS Lekien, Francois Paul Time-dependent dynamical systems and geophysical flows Marsden, Murray
PhD ACM Mauch, Sean Patrick Efficient algorithms for solving static Hamilton-Jacobi equations Meiron
PhD CDS Milam, Mark Bradley Real-Time Optimal Trajectory Generation for Constrained Dynamical Systems Murray
MS CS Smith, Justin David Fault tolerance using whole-process migration and speculative execution Hickey
PhD CDS Vela, Patricio Antonio Averaging and control of nonlinear systems Burdick
PhD CS Wood, Zoe Justine Computational topology algorithms for discrete 2-manifolds Schroeder
2002
PhD CDS Chang, Dong Eui Controlled Lagrangian and Hamiltonian systems Marsden
PhD CS Chen, Min Mathematical methods for image synthesis Arvo
PhD ACM Craciun, Bogdan Phase Boundary Propagation in Heterogeneous Media Bhattacharya
PhD CDS Fax, Joseph Alexander Optimal and Cooperative Control of Vehicle Formations Murray
PhD CS Ginis, Roman Automating resource management for distributed business processes Chandy
PhD CS Kiniry, Joseph Roland Kind theory Hickey, Chandy
PhD CDS Murphey, Todd David Control of multiple model systems Burdick, Murray
PhD CS Nicholson, Alexander Marshall Generalization error estimates and training data valuation Abu-Mostafa
MS CS Papadantonakis, Karl Spyros What is deterministic CHP, and is slack elasticity that useful? Martin
PhD CS Pénzes, Paul Ivan Energy-delay complexity of asynchronous circuits Martin
PhD ACM Petrasek, Danny Diffusion-Mediated Regulation Endocrine Networks Cohen, Fraser
PhD CDS Vela-Arevalo, Luz Vianey Time-frequency analysis based on wavelets for Hamiltonian systems Marsden
PhD CS Zimmerman, Daniel Marc Dynamic UNITY Chandy, Hickey
2001
PhD ACM Hu, Gang Singularity formation in three-dimensional vortex sheets Hou
PhD CDS Jadbabaie, Ali Receding horizon control of nonlinear systems: a control Lyapunov function approach Doyle, Murray
PhD ACM Louie, Michael Numerical study of pattern forming processes in models of rotating Rayleigh-Bénard convection Cohen
PhD CS Nyström, Mika Asynchronous pulse logic Martin
PhD CS Schooler, Eve Meryl Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication Chandy
PhD ACM Tokman, Mayya Magnetohydrodynamic modeling of solar magnetic arcades using exponential propagation methods Meiron
2000
PhD ACM Park, Peter J. Multiscale numerical methods for the singularly perturbed convection-diffusion equation Hou
PhD CDS Parrilo, Pablo A. Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization Doyle
PhD CDS Pekarsky, Sergey Discrete reduction of mechanical systems and multisymplectic geometry of continuum mechanics Marsden
PhD ACM Si, Hui Numerical study of interfacial flow with surface tension in two and three dimensions Hou
PhD CDS Wang, Yong Effects of actuator limits in bifurcation control with applications to active control of fluid instabilities in turbomachinery Murray, Paduano
1999
PhD ACM Aivazis, Keri Ann A Spherical Vortex Model for Homogeneous Turbulence Saffman, Pullin
PhD CDS Bullo, Francesco Nonlinear control of mechanical systems : a Riemannian geometry approach Murray
PhD ACM Efendiev, Yalchin R. The multiscale finite element method (MsFEM) and its applications Hou
PhD ACM Gallagher, Donal A. Saffman-Taylor fingers in deformed Hele-Shaw cells Saffman
PhD AM Gleeson, James P. Random advection of a passive scalar Saffman
PhD ACM Kang, Sung Phill A study of viscous flow past axisymmetric and two-dimensional bodies
PhD ACM Lahey, Patrick M. A fixed-grid numerical method for dendritic solidification with natural convection
PhD ACM Love, Philip Bifurcations in Kolmogorov and Taylor-vortex flows Keller
PhD CS Manohar, Rajit The impact of asynchrony on computer architecture Martin
PhD CDS Primbs, James A. Nonlinear optimal control: a receding horizon appoach Doyle
PhD CDS Shapiro, Benjamin Passive control of flutter and forced response in bladed disks via mistuning Murray
1998
PhD CS Bax, Eric Finite-difference algorithms for counting problems
PhD CS Çataltepe, Zehra Kök Incorporating input information into learning and augmented objective functions Abu-Mostafa
PhD ACM Crowdy, Darren G. Exact solutions for two-dimensional Stokes flow Saffman
PhD CS Heirich, Alan Bryant Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering Arvo
PhD ACM Hill, David J. Part I. Vortex dynamics in wake models. Part II. Wave generation Saffman
PhD CS Massingill, Berna Linda A structured approach to parallel programming Chandy
PhD ACM Meloon, Mark Robert Models of Richtmyer-Meshkov instability in continuously stratified fluids
MS CS Ramamoorthi, Ravi Creating Generative Models from Range Images Arvo
PhD CS Rieffel, Marc A. Performance modeling for concurrent particle simulations Taylor
PhD ACM Rudnev, Mikhail K. Exponentially small splitting of separatrices and the Arnold's diffusion problem Wiggins
PhD ACM Sgoureva-Philippakos, Russina Nonlinear effects in elastic Rayleigh waves
PhD CS Sivilotti, Paolo A. G. A method for the specification, composition, and testing of distributed object systems Chandy
PhD CS Watts, Jerrell R. Dynamic load balancing and granularity control on heterogeneous and hybrid architectures Taylor
PhD CS Zorin, Denis N. Stationary Subdivision and Multiresolution Surface Representations Barr, Schroeder
1997
PhD AM Baumstein, Anatoly I. Nonlinear water waves with shear Saffman
PhD ACM Haroldsen, David John The numerical calculation of three-dimensional water waves using a boundary integral method Meiron, Hou
PhD CS Maskit, Daniel Software register synchronization for super-scalar processors with partitioned register files Taylor
PhD CS Palmer, Michael Edward Exploiting parallel memory hierarchies for ray casting volumes Taylor
PhD ACM Rathinam, Muruhan Differentially flat nonlinear control systems Murray
PhD ACM Regelson, Moira Ellen Protein structure/function classification using hidden Markov models
1996
PhD ACM Ardalan, Kayvan Compressible vortex arrays Meiron, Pullin
PhD CDS Soatto, Stefano A geometric framework for dynamic vision Perona
PhD CS Thornley, John William A parallel programming model with sequential semantics Chandy
1995
PhD CS Hofstee, H. Peter Synchronizing processes Van de Snepscheut, Chandy
MS CS Kryukova, Svetlana A. Parallel Programming Archetypes in Combinatorics and Optimization Chandy
PhD CS Laidlaw, David H. Geometric model extraction from magnetic resonance volume data Barr
PhD CS Lee, Tak Kwan A general approach to performance analysis and optimization of asynchronous circuits Martin
PhD CS Leino, K. Rustan M. Toward reliable modular programs Van de Snepscheut, Chandy, Nelson
PhD ACM Lough, Michael F. The motion of thin-cored vortex filaments : the equations of motion and their solution for some special cases Saffman
PhD CS Tierno, Jose Andres An energy-complexity model for VLSI computations Martin
PhD CS Van der Goot, Marcel Rene Semantics of VLSI synthesis Martin
MS CS Watts, Jerrell A Practical Approach to Dynamic Load Balancing Taylor
PhD AM Witelski, Thomas P. Problems in nonlinear diffusion Cohen
1994
PhD ACM Buntine, James D. Part I: Inviscid, swirling flows and vortex breakdown. Part II: A numerical investigation of the Lundgren turbulence model Saffman
MS CS Carlin, Peter Distributed linear algebra on networks of workstations Chandy
MS CS Çataltepe, Zehra Kök The scheduling problem in learning from hints Abu-Mostafa
PhD ACM Conley, Andrew New plane shear flows Keller
PhD ACM Edwards, David A. A model for nonlinear diffusion in polymers Cohen
MS CS Goldsmith, Jeff Optimized Computer-Generated Motions for Animation Barr
MS CS Manohar, Rajit Mach-Based Channel Library Chandy
MS CS Maskit, Daniel A Message-Driven Programming System for Fine-Grain Multicomputers Taylor
PhD CS Sanouillet, Remy D. Computer mediated communication Thompson
PhD CS Seizovic, Jakov N. The architecture and programming of a fine-grain multicomputer Seitz
PhD ACM Von Sosen, Harald Part I: Folds and bifurcations in the solutions of semi-explicit differential-algebraic equations. Part II: The recursive projection method applied to differential-algebraic equations and incompressible fluid mechanics Keller
1993
PhD CS Boden, Nanette Jackson Runtime systems for fine-grain multicomputers Van de Snepscheut
MS CS Cook, James N. Production Rule Verification for Quasi-Delay-Insensitive Circuits
PhD CS Kirk, David B. Accurate and precise computation using analog VLSI, with applications to computer graphics and neural networks Barr, Mead
MS CS Massingill, Berna Linda Integrating Task and Data Parallelism Chandy
PhD ACM Ryan, Barry James Lie-Poisson integrators in Hamiltonian fluid mechanics Saffman
MS CS Sivilotti, Paul A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language Chandy
1992
PhD ACM Ammons, Richard Lewis Martin Mathematical control theory for liquid chromatography Lorenz, Kreiss,
PhD CS Barzel, Ronen A structured approach to physically-based modeling for computer graphics Barr
PhD CS Fyfe, William John Andrew Invariance hints and the VC dimension Abu-Mostafa
PhD CS Hazewindus, Pieter Johannes Testing delay-insensitive circuits Martin
PhD ACM Kaper, Tasso J. Part I. On the structure in separatrix-swept regions of slowly-modulated Hamiltonian systems. Part II. On the quantification of mixing in chaotic Stokes' flows : the eccentric journal bearing Wiggins
PhD CS Kay, Timothy L. From geometry to texture : experiments towards realism in computer graphics Kajiya
MS CS Laidlaw, David H. Material Classification of Magnetic Resonance Volume Data Barr
PhD ACM Lui, Shiu-Hong Part I: Multiple bifurcations. Part II: Parallel homotopy method for the real nonsymmetric eigenvalue problem Keller
PhD ACM Melman, Aharon Complexity analysis for the Newton modified barrier function method Keller
PhD CS Steele, Craig S. Affinity : a concurrent programming system for multicomputers Seitz
PhD ACM Van Putten, Maurice H. P. M. MHD in divergence form : a computational method for astrophysical flow Phinney
1991
PhD CS Burns, Steven Morgan Performance analysis and optimization of asynchronous circuits Martin
PhD CS Dyer, Lounette M. An object-oriented real-time simulation of music performance using interactive control Mead
PhD CS Gupta, Rajiv Compiler Optimization of Data Storage Kajiya
PhD AM Hobson, Dana Daniel Point Vortex Models for Modon Dynamics Saffman
PhD ACM Mudkavi, Vidyadhar Yogeshwar Numerical studies of nonlinear axisymmetric waves on vortex filaments Meiron
PhD ACM Pham, Thu Numerical studies of incompressible Richtmyer-Meshkov instability in a stratified fluid Meiron, Saffman
PhD CS Schweizer, David Lawrence Combinatorial design of fault-tolerant communication structures, with applications to non-blocking switches Abu-Mostafa
PhD CS Sivilotti, Massimo Antonio Wiring considerations in analog VLSI systems, with application to field-programmable networks Mead
PhD CS Snyder, John Michael Generative Modeling: An Approach to High Level Shape Design for Computer Graphics and CAD Kajiya
1990
PhD ACM Camassa, Roberto Alfredo Part I. Forced Generation and Stability of Nonlinear Waves. Part II. Chaotic Advection in a Rayleigh-Benard Flow Wu, Wiggins
PhD ACM Hayes, Catherine Kent Diffusion and stress driven flow in polymers Cohen
PhD CS Kalra, Devendra A unified framework for constraint-based modeling Barr
PhD ACM Kovacic, Gregor Chaos in a model of the forced and damped sine-Gordon equation Wiggins
PhD CS Lazzaro, John P. Silicon Models of Early Audition Mead
PhD ACM McLachlan, Robert Iain Separated viscous flows via multigrid Keller, Saffman
PhD ACM Morlet, Anne Chantal Part I. Numerical experiments for the computation of invariant curves in dynamical systems. Part II. Numerical convergence results for a one-dimensional Stefan problem Lorenz, Kreiss
PhD ACM Shinn-Mendoza, Rachel Shocks and instabilities in traffic
PhD CS Su, Wen-King Reactive-Process programming and distributed discrete-Event simulation Seitz
1989
PhD CS Maher, Mary Ann Cecilia A charge-controlled model for MOS transistors Mead
PhD CS Ngai, John Y. A framework for adaptive routing in multicomputer networks Seitz
PhD CS Platt, John Carlton Constraint methods for neural networks and computer graphics Barr, Mead, Hopfield
PhD ACM Rom-Kedar, Vered Part I. An analytical study of transport, mixing and chaos in an unsteady vortical flow. Part II. Transport in two dimensional maps Wiggins
PhD ACM Rotenberry, James Michael Effect of compliant boundaries on weakly nonlinear shear waves in channel flow Saffman
PhD AM Soibelman, Israel A Study of Finite Amplitude Bifurcations in Plane Poiseuille Flow Meiron, Saffman
PhD CS Von Herzen, Brian Applications of surface networks to sampling problems in computer graphics Barr
1988
MS CS Boden, Nanette Jackson A study of fine-grain programming using Cantor Seitz
MS CS Burch, Jerry R. A comparison of strict and non-strict semantics for lists Martin
PhD AM Cox, Robert William A model for stress-driven diffusion in polymers Cohen
MS CS Seizovic, Jakov N. The Reactive Kernel Seitz
PhD ACM Ward, Michael Jeffrey Asymptotic methods in semiconductor device modeling Cohen
1987
PhD CS Athas, William C. Fine grain concurrent computations
PhD AM Brewster, Mary Elizabeth Asymptotic analysis of thin plates under normal load and horizontal edge thrust Keller
MS CS Burns, Steven Morgan Automated compilation of concurrent programs into self-timed circuits
PhD CS Choo, Young-il Logic from programming language semantics Martin
PhD ACM Kamm, James Russell Shape and stability of two-dimensional uniform vorticity regions Saffman
PhD AM Landman, Michael J. New Solutions of an Amplitude Equation Describing Transition in a Laminar Shear Flow Saffman
PhD CS Wawrzynek, John VLSI concurrent computation for music synthesis Mead
PhD ACM Zufiria, Juan Antonio Symmetry Breaking of Water Waves : on the Superharmonic Instability of Surface Water Waves Saffman
1986
PhD CS Barrett, Christopher Louis On central processes in the temporal control of movement Fender
PhD ACM Chesshire, Geoffrey Samuel Composite grid construction and applications Kreiss
PhD CS Dally, William J. A VLSI architecture for concurrent data structures Seitz
PhD AM, CNS Feinstein, David I. Relating thermodynamics to information theory : the equality of free energy and mutual information Mead, Hopfield
PhD ACM Girnius, Tomas Paul Ray tracing in complex three-dimensional earth models Keller
MS CS Lazzaro, John Paul anaLOG: A functional Simulator for VLSI Neural Systems Mead
PhD CS Li, Peyyun Peggy A parallel execution model for logic programming Martin
PhD CS Mosteller, R. C. Monte Carlo methods for 2-D compaction Kajiya
PhD ACM Naughton, Michael John On numerical boundary conditions for the Navier-Stokes equations Kreiss
MS CS Poh, Hean Lee Incorporating Time in the New World of Computing Systems Kahler
PhD ACM Rollins, David Kenneth Diffusion with varying drag; the runaway problem Corngold
MS CS Schweizer, David Lawrence Some Results on Kolmogorov-Chaitin Complexity Abu-Mostafa
PhD ACM Schwendeman, Donald William Numerical shock propagation using geometrical shock dynamics Whitham
PhD CS Tanner, John Edward Integrated optical motion detection Mead
1985
PhD ACM Fier, Jeffrey Michael Part I. Fold continuation and the flow between rotating, coaxial disks. Part II. Equilibrium chaos. Part III. A mesh selection algorithm for two-point boundary value problems Keller
PhD ACM Henshaw, William Douglas Part I. The numerical solution of hyperbolic systems of conservation laws. Part II. Composite overlapping grid techniques Kreiss
PhD CS Lien, Sheue-Ling Chang Combining computation with geometry Kajiya
PhD CS Lin, Tzu-Mu A hierarchical timing simulation model for digital integrated circuits and systems Mead
PhD ACM Molloy, Charles T. Contributions to the kinetic theory of traffic flow with queuing
MS CS Platt, John C. Sequential Threshold Circuits Mead, Hopfield
PhD AM Stanley, Elizabeth Ann Diffusion in glassy polymers Cohen
MS CS Steele, Craig S. Placement of Communicating Processes on Multiprocessor Networks Seitz
PhD CS Whelan, Daniel Steven ANIMAC : a multiprocessor architecture for real-time computer animation Kajiya
PhD CS Whiting, Douglas Lee Bit-serial Reed-Solomon decoders in VLSI Seitz
PhD CS Whitney, Telle Elizabeth Hierarchical composition of VLSI circuits Mead
1984
MS CS Chen, Wen-Chi Hierarchy of Graph Isomorphism Testing
MS CS Chiang, Chao-Lin Towards Concurrent Arithmetic: Residue Arithmetic and VLSI Johnsson
MS CS Derby, Howard Using logic programming for compiling APL
PhD CS Ho, Tai-Ping The Dialogue Designing Dialogue System Thompson
MS CS Lutz, Christopher Design of the Mosaic Processor
MS CS Ngai, John Y. The General Interconnect Problem of Integrated Circuits Seitz
MS CS Oyang, Yen-Jen HEX: A Hierarchical Circuit Extractor Bryant
PhD CS Papachristidis, Alexandros Christou Heterogeneous Data Base Access Thompson
PhD AM Reinelt, Douglas Alan The Penetration of a Finger into a Viscous Fluid Saffman
PhD AM Robinson, Allen Conrad Existence and Stability of Vortices and Vortex Arrays Saffman
PhD AM Simmen, Jeffrey Alan Steady Deep-Water Waves on a Linear Shear Current Saffman
PhD AM Smyth, Noel Frederick Part I: Soliton on a Beach and Related Problems. Part II: Modulated Capillary Waves Whitham, Cohen
MS CS Su, Wen-King Supermesh Seitz
PhD AM Tanveer, Saleh Ahmed Topics in 2-D Separated Vortex Flows Saffman
1983
PhD EE Abu-Mostafa, Yaser Said Complexity of Information Extraction Psaltis
MS CS Athas, William C. A VLSI Combinator Reduction Engine
PhD CS Chen, Marina Chien-mei Space-time Algorithms: Semantics and Methodology Mead
PhD AM Fawcett, John Alan I. Three Dimensional Ray-Tracing and Ray-Inversion in Layered Media. II. Inverse Scattering and Curved Ray Tomography with Applications to Seismology Keller
PhD AM Hagstrom, Thomas Michael Reduction of Unbounded Domains to Bounded Domains for Partial Differential Equation Problems Keller
MS CS Lam, Jimmy RTsim: A register transfer simulator Bryant
PhD CS Megdal, Barry Bruce VLSI Computational Structures Applied to Fingerprint Image Analysis Mead
PhD CS Neches, Philip M. Hardware support for advanced data management systems Thompson, Mead
PhD AM Prendergast, Michael David Linear Programming Methods for the Numerical Solution of Parabolic Equations Backwards in Time Franklin
PhD AM Reyna, Luis Guillermo Maria I. Stability of Tchebyshev Collocation. II. Interpolation for Surfaces with 1-D Discontinuities. III. On Composite Meshes Kreiss
PhD AM Tatoian, James Zareh An Analytical Study of Electromagnetic Vector Field Propagation in a Nonlinear Electron Plasma Papas
PhD APh Torczynski, John Robert Second Sound Shock Waves in Rotating Superfluid Helium Corngold
PhD CS Trawick, David James Robust Sentence Analysis and Habitability Thompson
PhD CS Trimberger, Stephen Mathias Automated Performance Optimization of Custom Integrated Circuits Kajiya
PhD CS Ullner, Michael K. Parallel Machines for Computer Graphics Kajiya
PhD AM Zwillinger, Daniel Ian Long Distance Energy Correlations in Random Media Keller
1982
PhD AM Barker, John Wilson I. Interactions of Fast and Slow Waves in Problems with Two Time Scales. II. A Numerical Experiment on the Structure of Two-Dimensional Turbulent Flow Kreiss
PhD AM Brown, David Leslie Solution Adaptive Mesh Procedures for the Numerical Solution of Singular Perturbation Problems Kreiss
PhD CS Carroll, Christopher Ralph Hybrid Processing Mead
PhD Chen, Michael Jiu-Wei A Spatiotemporal Probe of the Human Visual System by Application of Nonlinear Systems Identification Theory Fender
MS CS Choo, Young-il Hierarchical Nets: A Structured Petri Net Approach to Concurrency Kajiya
PhD CS DeBenedictis, Erik Penn Techniques for Testing Integrated Circuits Seitz
MS CS Holstege, Eric J. Type Inference in a Declarationless, Object-Oriented Language
MS CS Kingsley, Chris EARL: An Integrated Circuit Design Language
PhD CS Lang, Charles Richard, Jr. The Extension of Object-Oriented Languages to a Homogeneous, Concurrent Architecture Seitz
PhD ACM Mueller, James R. I. The analysis of the rewetting of a vertical slab using a Wiener-Hopf technique. II. Asymptotic expansions of integrals with three coalescing saddle points Cohen
MS CS Ng, Charles H. FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems Seitz
PhD AM Romero, Louis Anthony I. Similarity Solutions of the Equations of Three Phase Flow through Porous Media. II. The Fingering Problem in a Hele-Shaw Cell Saffman
PhD AM Scheid, Robert Elmer, Jr The Accurate Numerical Solution of Highly Oscillatory Ordinary Differential Equations Kreiss
MS CS Whiting, Douglas Lee A Self-Timed Chip Set for Microprocessor Communication Seitz
1981
MS CS Gray, Moshe The Design and Implementation of a Reticle Maker for VLSI
PhD ACM Jepson, Allan Douglas I. Asymptotic boundary conditions for ordinary differential equations. II. Numerical Hopf bifurcation Keller
PhD CS Johannsen, David Lawrence Silicon Compilation Mead
PhD AM Kath, William Lawrence I. Propagating and Waiting Fronts in Nonlinear Diffusion. II. Sustained Reentry Roll Resonance Cohen
MS CS Lien, Sheue-Ling C. Toward a Theorem Proving Architecture
MS CS Lin, Tzu-Mu From Geometry to Logic Mead
PhD AM Ma, Fai Stability Theory of Linear and Nonlinear Stochastic Difference Systems Caughey
MS CS Mosteller, R. C. REST: A Leaf Cell Design System Kajiya
PhD AM Schatzman, James Carl A Model for the von Kármán Vortex Street Saffman
MS CS Segal, Richard Structure, placement and modelling
MS CS Whelan, Daniel Steven A Versatile Ethernet Interface Kajiya
MS CS Whitney, Telle A Hierarchical Design Rule Checker
PhD CS Yu, Kwang-I Communicative databases Thompson
1980
PhD CS Barton, Anthony Francis A fault tolerant integrated circuit memory Seitz
PhD CS Browning, Sally Anne The Tree Machine: A Highly Concurrent Computing Environment Mead
MS CS Demetrescu, Stefan Gabriel A VLSI Based Real-Time Hidden Surface Elimination Display System
PhD CS Hess, Gideon David A Software Design System Thompson
PhD CS Locanthi, Bart N. The homogeneous machine Seitz
PhD ACM McLean, John Weidman I. The fingering problem in flow through porous media. II. The kinetic equation for Hamiltonian systems Saffman
PhD ACM Perozzi, David J. I. Seismic ray-tracing in piecewise homogenous media. II. Analysis of optimal step size selection in homotopy and continuation methods Keller
MS CS Roach, Kelly Pronouns
PhD CS Rowson, James Allely Understanding Hierarchical Design Mead
MS CS Seiler, Larry Dean A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer Mudge
1979
PhD AM Chen Charpentier, Benito Miguel Steady capillary-gravity waves on deep water Saffman
PhD AM Fokas, Athanassios S. Invariants, Lie-Bäcklund operators and Bäcklund transformations Lagerstrom
PhD AM Hagan, Patrick Shawn The stability of traveling wave solutions of parabolic equations Cohen
MS CS Lang, Charles Richard Automated Wiring Analysis of Integrated Circuit Geometric Data Seitz
PhD CS Petersen, Stephen Vaughn CARTAM : the Cartesian Access Method for Data Structures with n-Dimensional Keys Thompson
PhD AM Simpson, Henry C. Periodic solutions of integro-differential equations which arise in population dynamics Cohen
1978
PhD AM Bissett, Edward J. Bifurcation in a reaction diffusion system Cohen
PhD AM Decker, Dwight William Topics in bifurcation theory Keller
PhD ACM Lentini Gil, Marianela Boundary value problems over semi-infinite intervals Keller
PhD AM Neu, John C. Nonlinear oscillations in discrete and continuous systems Cohen
PhD AM Sheffield, John Steven Topics in vortex motion Saffman
PhD AM Szeto, Roque Kwok-Hung The flow between rotating coaxial disks Keller
PhD AM Williams, Randall Gary The stochastic exit problem for dynamical systems Franklin
1977
PhD AM Baker, Gregory Richard Studies in vortex motion Saffman
PhD AM Fischer, Elliot Exact solutions and transformation properties of nonlinear partial differential equations from general relativity Lagerstrom
PhD AM Rosales, Rodolfo Ruben I. Exact solution of some nonlinear evolution equations. II. The similarity solution for the Korteweg-De Vries equation and the related Painleve Transcendent Whitham
1976
PhD AM Miklovic, Donald W. Topics in linear and nonlinear dispersive waves Whitham
PhD AM Minzoni Alessio, Antonmaria Some problems of edge waves and standing waves on beaches Whitham
1975
PhD CS Brown, Thomas Carl A structured design-method for specialized proof procedures Ingargiola
PhD AM Stevens, Thomas Numerical methods for ill-posed, linear problems Franklin
1974
PhD AM Boa, James Andrew A model biochemical reaction Cohen
PhD ACM Brabston, Donald Campbell I. Numerical solutions of steady viscous flow past spheres and gas bubbles. II. Numerical solution of singular endpoint boundary value problems Keller
PhD AM Mazaika, Paul K. On the settling speed of dilute arrays of spheres Saffman
PhD ACM White, Andrew Benjamin Numerical solution of two-point boundary-value problems Keller
1973
PhD ACM Jimenez, Javier I. Nonlinear gas oscillations in pipes. II. Wavetrains with small dissipation. Whitham, Sturtevant, Keller, Liepmann
PhD AM Jordan, Thomas Hillman Estimation of the radial variation of seismic velocities and density in the earth Anderson
PhD ACM Poore, Aubrey Bonner Stability and bifurcation phenomena in chemical reactor theory Cohen
PhD ACM Yuen, Henry Che-Chuen Waves on vortex filaments Saffman
1972
PhD CS Kavanagh, Robert Nicholas Localization of sources of human evoked responses Fender
PhD AM Keener, James Paul Some modified bifurcation problems with application to imperfection sensitivity in buckling Keller
PhD AM Newhall, X. X. Two new integral transforms and their applications Cohen
PhD AM Thyagaraja, Anantanarayanan Compressible flows at small Reynolds numbers Lagerstrom
1971
PhD EE Adegbola, Mashood Olayide Alias-Free Spectral Estimation of Stochastic Processes Martel, Caughey
PhD AM Ellison, James Auby Existence, uniqueness, and stability of solutions of a class of nonlinear partial differential equations Caughey
PhD AM Everett, William Warren On the determination of the properties of a medium from its reflection coefficient Knowles
PhD AM Langford, William Finlay Bifurcation theory of nonlinear boundary value problems Keller
1970
PhD AM Casten, Richard Guy Methods for deriving conservation laws Lagerstrom
PhD AM Delaney, Michael Ernest I. Singular perturbation problems involving singular points and turning points. II. On the averaged Lagrangian technique for nonlinear dispersive waves Whitham
PhD AM Goodman, Seymour Evan The hydro-kinetic theory of liquid helium II Saffman
PhD AM Wiscombe, Warren Jackman Non-linear dispersive waves with a small dissipation Whitham
1968
PhD AM Blum, Joseph William Wave propagation in an inhomogeneous medium Cohen
PhD ACM Bluman, George W. Construction of solutions to partial differential equations by the use of transformation groups Lagerstrom, Cole
PhD ACM Laetsch, Theodore Willis Eigenvalue problems for positive monotonic nonlinear operators Cohen
PhD AM MacDowell, Thomas William Boundary value problems for stochastic differential equations Caughey
PhD AM Mortell, Michael Philip Some approximate solutions of dynamic problems in the linear theory of thin elastic shells Knowles
PhD AM Schmulian, Robert Jay Nearly free molecular heat transfer from a sphere Cole
PhD AM Seliger, Robert Lewis Part I. On the breaking of nonlinear dispersive waves. Part II. Variational principles in continuum mechanics Whitham
PhD AM Yeh, Tyan Nonexistence of looping trajectories in hydromagnetic waves of finite amplitude. Breaking of waves in a cold collision-free plasma in a magnetic field. On stabilities of periodic waves in a cold collision-free plasma in a magnetic field. Saffman, Whitham
1966
PhD AM Ludewig, Hans Geometrical effects on the resonance absorption of neutrons Lurie