Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
351 |
![]() |
Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation |
352 |
![]() |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
353 |
![]() |
Floyd, Marshall Daniel | Formalization of steering-plane bipeds: characterization, motion planning and gait optimization | Mechanical engineering; Robotics | 2017 | dissertation |
354 |
![]() |
Conlin, Christopher Charles | Functional assessment of the kidneys with magnetic resonance imaging and tracer-kinetic modeling | 2019 | dissertation | |
355 |
![]() |
Zhang, Yaqiong | Functionalized single-walled carbon nanotube chemiresistive sensors for vapor detection of explosives and drugs | Nanotechnology; Electrical engineering; Chemistry | 2017 | dissertation |
356 |
![]() |
Clayton, Christopher K. | Fundamental aspects of chemical-looping with oxygen uncoupling using copper oxide-based oxygen carriers | chemical looping; CLC; CLOU; Copper Oxide; oxygen carriers; oxygen uncoupling | 2016 | dissertation |
357 |
![]() |
Chern, Jehn-Huar | Fundamental investigation of high temperature operation of field effect transistor devices | Contact thermal stability; Cu3Ge TiWN LT AlGaAs TmP; Field effect transistor device; GaN MODFET; High temperature operation; Ohmic Schottky contacts GaAs AlGaAs GaN | 2011-12 | dissertation |
358 |
![]() |
Jensen, Devon | Fundamental studies of engineered electron interactions in micro/nanoscale optical and thermionic devices | 2019 | dissertation | |
359 |
![]() |
Melonakos, Eric D. | Gain Modulation of Cholinergic neurons in the medial septumdiagonal band of broca and the mechanism of cholinergic suppression of hippocampal ripples | Neurosciences; Physiology | 2017 | dissertation |
360 |
![]() |
Lim, Taehwan | Gallium core-shell microstructure for thermal responsive implantable neural electrode | 2021 | dissertation | |
361 |
![]() |
Bulbul, A N M Ashrafuzzaman | Gas viscosity as a sensing element: microbubble chromatography | 2020 | dissertation | |
362 |
![]() |
Buitrago, Paula Andrea | Gas-phase mercury oxidation: effects on bromine, chlorine and SO2 under air firing and oxy-fuel conditions, experimental and modeling study | Bromine; Chlorine; Conditioning system; Mercury; Oxidation; Oxy-fuel | 2011-08 | dissertation |
363 |
![]() |
Okabe, Parker Ken | Gas-solid based chlorination to support separation of actinides and transition metals from rare earths | 2020 | dissertation | |
364 |
![]() |
Gee, James Michael | Genetic tools for imaging intracellular calcium dynamics in astrocytes | astrocyte; calcium imaging; GCaMP6; glia; in vivo; two-photon | 2016 | dissertation |
365 |
![]() |
Harris, Michael Dennison | The geometry and biomechanics of normal and parthimorpologic human hips | Acetabular dysplasia; Biomechanics; Femoroacetabular impingement; Hip; Musculoskeletal modeling; Statistical shape modeling | 2013-08 | dissertation |
366 |
![]() |
Shahandashti, Seyed Kiavash Fayyaz | Getting more out of data in Public Transit | Transportation | 2017 | dissertation |
367 |
![]() |
Kim, Mark | Gpu-enabled surface visualization | Applied sciences; GPU; Visualizing surfaces | 2016 | dissertation |
368 |
![]() |
Xin, Ming | Graceful and robust proprioceptive steering and parameter estimation of automated ground vehicles | 2018 | dissertation | |
369 |
![]() |
Weber, Erika Dawn | Grouted transverse full-depth precast bridge deck joint integrity | CFRP rods; Concentrated loads; Concrete; Grout; Precast; Transverse joint | 2014-05 | dissertation |
370 |
![]() |
Sun, Weibin | Harnessing GPU computing in system-level software | GPU; Network; Storage; System software | 2014-08 | dissertation |
371 |
![]() |
Holden, Korin McDonald | Health monitoring of precast bridge deck panels with glass fiber reinforced polymer bars | Bridge, GFRP, Monitoring, Precast | 2012-12 | dissertation |
372 |
![]() |
Brewster, Brandon Scott | Heat transfer and pressure drop in coal-air suspensions flowing downward through a vertical tube | Coal liquefaction | 1979-12 | dissertation |
373 |
![]() |
Kekelia, Bidzina | Heat transfer to and from a reversible thermosiphon placed in porous media | Air conditioning; Convection in porous media; Heat transfer in porous media; Thermal energy storage; Thermosiphon; Underground thermal energy storage | 2012-05 | dissertation |
374 |
![]() |
Hakami, Samer Mohammed | Heterogeneity in MIR21 content of MCF-7 exosomes and comparative study of their thermal stability | Biomedical engineering; Chemical engineering; Oncology | 2017 | dissertation |
375 |
![]() |
Ha, Linh Khanh | High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas construction | Atlas construction; CUDA; Diffeomorphism; GPU; HPC; Medical image processing | 2011-08 | dissertation |