You've searched: School Or College: "School of Computing" Collection: ir_etd
1 - 25 of 76
Number of results to display per page
1 Wang, DafangFinite element solutions to inverse electrocardiographyCardiac electrophysiology; Finite element method; Inverse problem; Optimization; Partial differential equation; Scientific computingComputing (School of)2012-12
2 Wan, YongFluorender, an interactive tool for confocal microscopy data visualization and analysisAnatomical atlas; Biology application; Confocal microscopy; Visualization; Volume renderingComputing (School of)2013-08
3 Tirpankar, NishithUsing sparse parametrization of deformation fields as means to classificationAtlas Estimation; Classification; Diffeomorphic Deformation; LDDMM; Optimization; RegistrationComputing (School of)2013-05
4 Tran, Lethuy ThiNumerical study and improvement of the methods in Uintah framework: the Material Point Method and the Implicit Continuous-fluid Eulerian methodAdjoint-based Error Estimate, IMPICE, IMPICE's Error Estimate, Implicit Continuous-fluid Eulerian Method, Improved ICE Method, Material Point MethodComputing (School of)2012-12
5 Udipi, Aniruddha N.Designing efficient memory for future computing systemsComputer science; Server infrastructureComputing (School of)2012-05
6 Zhou, LiangMultivariate transfer function designTransfer function design; User interaction; Volume visualizationComputing (School of)2014-08
7 Bhatia, HarshConsistent feature extraction from vector fields: combinatorial representations and analysis under local reference framesData analysis; Scientific computing; Scientific visualizationComputing (School of)2015-05
8 Mirzaee, HaniehSmoothness-increasing accuracy-conserving filters (SIAC) for discontinuous Galerkin solutionsDiscontinous Galerkin; Oscillation; Partial differential euqation; Postprocessing; SIAC; SmoothnessComputing (School of)2013-05
9 Wilder, Andrew M.Computer-assisted approaches to intrafascicular multielectrode stimulationAsynchronous interleaved multielectrode stimulation; Functional electrical stimulation; Interleaved stimulation; Multielectrode stimulation; Peripheral nerve; Utah slanted electrode arrayComputer Science2014-05
10 Awasthi, ManuManaging data locality in future memory hierarchies using a hardware software codesign approachCache management; Data locality; DRAM; Memory hierarchy; NUMA; Operating system supportComputing (School of)2014-12
11 Pastor Acosta, IsaacUpper limb rehabilitation of stroke patients using Kinect and computer gamesKinect; Low-cost; Stroke rehabilitationComputing (School of)2012-08
12 Nelson, Blake WilliamAccurate and interactive visualization of high-order finite element fieldsCut surfaces; GPU programming; High-order finite elements; Visualization; Volume renderingComputing (School of)2012-08
13 Jadhav, ShreerajConsistent representation of two-dimensional flowData analysis; Discrete methods; Vector fields; Two-dimensional flowComputing (School of)2012-08
14 Koop, David AllenManaging provenance for knowledge discovery and reuseProvenance; VisTrails; WorkflowComputing (School of)2012-05
15 Zhao, LuA program logic and its application in fully verified software fault isolationSoftware fault isolation; Trusted computing base; TCB; Hoare logicComputing (School of)2012-08
16 Ramalingam, ShreyasImproving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case studyPETSC; Compiler assisted specializationComputing (School of)2012-05
17 Li, GuodongFormal verification of programs and their transformationsCompiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem provingComputer Science2010-12
18 Nguyen, Thanh HoangIntegrating structured data on the webComputing (School of)2013-05
19 Parker, Michael AllenEfficient user-level event notificationArchitecture; Interrupt; Message-passing; Notification; User-levelComputing (School of)2013-08
20 Li, PengPractical symbolic execution analysis and methodology for GPU programsComputing (School of)2015-05
21 Machanavajhala, SwethaAccent classification: learning a distrance metric over phonetic stringsAccent classification; Distance metric learning; Kernels; Machine learning; Speech recognition; Swetha MachanavajhalaComputing (School of)2013-12
22 Chatterjee, NiladrishDesigning efficient memory schedulers for future systemsDRAM; Memory system; SchedulingComputing (School of)2013-12
23 Jestes, JeffreyEfficient summarization techniques for massive dataBig data; Data analytics; Efficient queries; Massive data; SummariesComputing (School of)2013-12
24 Le, WangchaoSupporting scalable data analytics on large linked dataDatabase systems; Linked data; Query optimization; Query rewriting; RDF; SPARQLComputing (School of)2013-12
25 Martin, William MichaelApplications of spline manifolds to problems in modeling, rendering, and analysiscomputer-aided design; heterogeneous design; high-dimensional splines; radiance; spline approximation; volumetric splinesComputing (School of)2013-05
1 - 25 of 76