(1972) “Toward A Programming Language for Writing and Checking Mathematical Discourses” (Donald F.
Stanat) Ahn, Ilsoo (1986) “Performance Modeling and Access Methods for Temporal Database Management Systems” (Richard T.
(1990) “Increasing Update Rates in the Building Walkthrough System with Automatic Model-Space Subdivision and Potentially Visible Set Calculations” (Frederick P. (1995) “Proving First-Order Equality Theorems with Hyper-Linking” (David A. (1999) “Automatically Reducing and Bounding Geometric Complexity by Using Images” (Anselmo A.
Lastra) Allen, Bonnie Danette (2007) “Hardware Design Optimization for Human Motion Tracking Systems” (Greg Welch) Amburn, Elton P.
Clicking on the author’s name will take you to a separate page containing dissertation abstracts, where available.
UNC Libraries: Except where noted, all of the dissertations listed here are available from the libraries at UNC-Chapel Hill.Brooks Jr.) Bethea, Darrell (2015) “WACCO & LOKO: Strong Consistency at Global Scale” (Mike Reiter) Biagioni, Edoardo S. Brooks, Jr.) Bollella, Gregory (1997) “Slotted Priorities: Supporting Real-Time Computing Within General-Purpose Operating Systems” (Kevin Jeffay) Borland, David Morrison (2007) “Flexible Occlusion Rendering for Improved Views of Three-Dimensional Medical Images” (Russell M. (2011) “Scheduling and Locking in Multiprocessor Real-Time Operating Systems” (James H. (1977) “A Methodology for the Ergonomic Design of Interactive Computer Graphic Systems, and its Application to Crystallography” (Frederick P.Brooks Jr.) Broadhurst, Robert Elijah (2008) “Compact Appearance in Object Populations Using Quantile Function Based Distribution Families” (Stephen Pizer) Brown, Peter H.(1998) “Volume Rendering Guided by Multiscale Medial Models” (Stephen M.Pizer) Chen, Wei Chao (2002) “Light Field Mapping: Efficient Representation of Surface Light Fields” (Henry Fuchs) Cheng, Wei (2015) “Toward Robust Group-Wise e QTL Mapping Via Integrating Multi-Domain Heterogeneous Data” (Wei Wang) Chou, Chen-Rui (2013) “Regression Learning for 2D/3D Image Registration” (Stephen M.Those from the most recent year will not immediately be available, however. (1986) “Parallel Image Generation with Anti-Aliasing and Texturing” (Henry Fuchs) Ackerman, Jeremy D.(2002) “Application of Augmented Reality to Laparoscopic Surgery” (Henry Fuchs) Ackermann Jr., Arthur F.(1997) “Merging Real and Virtual Environments with Video See-Through Head-Mounted Displays” (Henry Fuchs) Bandyopadhyay, Deepak (2006) “A Geometric Framework for Robust Neighbor Analysis of Protein Structure and Function” (Jack Snoeyink) Banks, David C.(1993) “Interacting with Surfaces in Four Dimensions Using Computer Graphics” (Stephen M.Snodgrass) Ahuja, Vijay (1976) “Exposure of Routed Networks to Deadlock” (Victor L.Wallace) Aikat, Jay (2010) “An Investigation of the Effects of Modeling Application Workloads and Path Characteristics on Network Performance” (Kevin Jeffay) Airey, John M.