351 - 375 of 785
Number of results to display per page
AuthorTitleSubjectDatePublication Type
351 Duan, JianjunFormal verification of device drivers in embedded systemsDevice; Driver; Formal; Interrupt; Verification2013-12dissertation
352 Li, GuodongFormal verification of programs and their transformationsCompiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving2010-12dissertation
353 Floyd, Marshall DanielFormalization of steering-plane bipeds: characterization, motion planning and gait optimizationMechanical engineering; Robotics2017dissertation
354 Conlin, Christopher CharlesFunctional assessment of the kidneys with magnetic resonance imaging and tracer-kinetic modeling2019dissertation
355 Zhang, YaqiongFunctionalized single-walled carbon nanotube chemiresistive sensors for vapor detection of explosives and drugsNanotechnology; Electrical engineering; Chemistry2017dissertation
356 Clayton, Christopher K.Fundamental aspects of chemical-looping with oxygen uncoupling using copper oxide-based oxygen carrierschemical looping; CLC; CLOU; Copper Oxide; oxygen carriers; oxygen uncoupling2016dissertation
357 Chern, Jehn-HuarFundamental investigation of high temperature operation of field effect transistor devicesContact thermal stability; Cu3Ge TiWN LT AlGaAs TmP; Field effect transistor device; GaN MODFET; High temperature operation; Ohmic Schottky contacts GaAs AlGaAs GaN2011-12dissertation
358 Jensen, DevonFundamental studies of engineered electron interactions in micro/nanoscale optical and thermionic devices2019dissertation
359 Melonakos, Eric D.Gain Modulation of Cholinergic neurons in the medial septumdiagonal band of broca and the mechanism of cholinergic suppression of hippocampal ripplesNeurosciences; Physiology2017dissertation
360 Lim, TaehwanGallium core-shell microstructure for thermal responsive implantable neural electrode2021dissertation
361 Bulbul, A N M AshrafuzzamanGas viscosity as a sensing element: microbubble chromatography2020dissertation
362 Buitrago, Paula AndreaGas-phase mercury oxidation: effects on bromine, chlorine and SO2 under air firing and oxy-fuel conditions, experimental and modeling studyBromine; Chlorine; Conditioning system; Mercury; Oxidation; Oxy-fuel2011-08dissertation
363 Okabe, Parker KenGas-solid based chlorination to support separation of actinides and transition metals from rare earths2020dissertation
364 Gee, James MichaelGenetic tools for imaging intracellular calcium dynamics in astrocytesastrocyte; calcium imaging; GCaMP6; glia; in vivo; two-photon2016dissertation
365 Harris, Michael DennisonThe geometry and biomechanics of normal and parthimorpologic human hipsAcetabular dysplasia; Biomechanics; Femoroacetabular impingement; Hip; Musculoskeletal modeling; Statistical shape modeling2013-08dissertation
366 Shahandashti, Seyed Kiavash FayyazGetting more out of data in Public TransitTransportation2017dissertation
367 Kim, MarkGpu-enabled surface visualizationApplied sciences; GPU; Visualizing surfaces2016dissertation
368 Xin, MingGraceful and robust proprioceptive steering and parameter estimation of automated ground vehicles2018dissertation
369 Weber, Erika DawnGrouted transverse full-depth precast bridge deck joint integrityCFRP rods; Concentrated loads; Concrete; Grout; Precast; Transverse joint2014-05dissertation
370 Sun, WeibinHarnessing GPU computing in system-level softwareGPU; Network; Storage; System software2014-08dissertation
371 Holden, Korin McDonaldHealth monitoring of precast bridge deck panels with glass fiber reinforced polymer barsBridge, GFRP, Monitoring, Precast2012-12dissertation
372 Brewster, Brandon ScottHeat transfer and pressure drop in coal-air suspensions flowing downward through a vertical tubeCoal liquefaction1979-12dissertation
373 Kekelia, BidzinaHeat transfer to and from a reversible thermosiphon placed in porous mediaAir conditioning; Convection in porous media; Heat transfer in porous media; Thermal energy storage; Thermosiphon; Underground thermal energy storage2012-05dissertation
374 Hakami, Samer MohammedHeterogeneity in MIR21 content of MCF-7 exosomes and comparative study of their thermal stabilityBiomedical engineering; Chemical engineering; Oncology2017dissertation
375 Ha, Linh KhanhHigh performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas constructionAtlas construction; CUDA; Diffeomorphism; GPU; HPC; Medical image processing2011-08dissertation
351 - 375 of 785