126 - 150 of 783
Number of results to display per page
AuthorTitleSubjectDatePublication Type
126 Nagpal, SoumitroMicrobial leaching of a mixed sulfide ore concentrate in continuous-flow reactors: development of a mathematical model for the processBacterial Oxidation; Metallurgy1993-06dissertation
127 Leavitt, Don R.Thermal solvent extraction of a sunbury oil shale kerogenShale oils, refining1987-08dissertation
128 Stanfield, James RyanHydrodynamics of axial-flow and centrifugal-flow left ventricular assist devicesHydrodynamics; Mechanical circulatory support; Pressure sensitivity; Pulsatility; Rotary blood pump; Ventricular assist device2012-05dissertation
129 Nelson, Blake WilliamAccurate and interactive visualization of high-order finite element fieldsCut surfaces; GPU programming; High-order finite elements; Visualization; Volume rendering2012-08dissertation
130 Martin, William MichaelApplications of spline manifolds to problems in modeling, rendering, and analysiscomputer-aided design; heterogeneous design; high-dimensional splines; radiance; spline approximation; volumetric splines2013-05dissertation
131 Rague, Brian WilliamCS1 pedagogical approach to parallel thinkingComputer; CS1; Education; Parallel; Programming; Science2010-08dissertation
132 Sudan, KshitijData placement for efficient main memory accessComputer Architecture; DRAM memory management; Main memory; Operating system2013-05dissertation
133 Bhatia, HarshConsistent feature extraction from vector fields: combinatorial representations and analysis under local reference framesData analysis; Scientific computing; Scientific visualization2015-05dissertation
134 Burtsev, AntonDeterministic systems analysisDeterministic replay; Replay debugging; Xen2013-05dissertation
135 Mahoney Jr, Arthur W.Advanced methods for controlling untethered magnetic devices using rotating magnetic fieldsCapsule endoscopy; Magnetics; Medical robotics; Microrobotics2014-08dissertation
136 Spjut, Josef BoEfficient ray tracing architecturesComputer architecture; Computer graphics; Graphics; Ray tracing; Rendering; Computer Engineering; Computer science2015-05dissertation
137 Vakkalanka, SarvaniEfficient dynamic verification algorithms for MPI applicationsDynamic verification; MPI; Testing2010dissertation
138 Jestes, JeffreyEfficient summarization techniques for massive dataBig data; Data analytics; Efficient queries; Massive data; Summaries; Computer science2013-12dissertation
139 Parker, Michael AllenEfficient user-level event notificationArchitecture; Interrupt; Message-passing; Notification; User-level; Computer science2013-08dissertation
140 Nellans, DavidImproving operating system and hardware interactions through co-design2014-12dissertation
141 Awasthi, ManuManaging data locality in future memory hierarchies using a hardware software codesign approachCache management; Data locality; DRAM; Memory hierarchy; NUMA; Operating system support2014-12dissertation
142 Koop, David AllenManaging provenance for knowledge discovery and reuseProvenance; VisTrails; Workflow2012-05dissertation
143 Udipi, Aniruddha N.Designing efficient memory for future computing systemsComputer science; Server infrastructure2012-05dissertation
144 Chatterjee, NiladrishDesigning efficient memory schedulers for future systemsDRAM; Memory system; Scheduling2013-12dissertation
145 Premnath, Sriram NandhaExploiting cross layer opportunities for secrecy and efficiency in wireless networksCross layer; Dynamic spectrum access networks; Filterbank multicarrier; Secret key extraction; Wireless channel characteristics2013-05dissertation
146 Raman, ParasaranExploring the landscape of clusteringsClustering; Data mining; Machine learning; Sampling2013-12dissertation
147 Wan, YongFluorender, an interactive tool for confocal microscopy data visualization and analysisAnatomical atlas; Biology application; Confocal microscopy; Visualization; Volume rendering2013-08dissertation
148 Daniels, Joel, IIFeature-aligned, semiregular, quad-only mesh generationComputer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction2010dissertation
149 Duan, JianjunFormal verification of device drivers in embedded systemsDevice; Driver; Formal; Interrupt; Verification2013-12dissertation
150 Huang, RuihongImproving information extraction by discourse-guided and multifaceted event recognition2014-12dissertation
126 - 150 of 783