Institutional Repository
 
Filters: School Or College: "College of Engineering"
176 - 200 of 418
Number of results to display per page
TitleDateTypeSetname
176 A practical logic framework for verifying safety properties of executables2011-01-01Textir_uspace
177 Adaptive isocurves based rendering for freeform surfaces1992Textir_uspace
178 Extending Support for Floating-Points in the Boogie and Smack Software Verifiers2019Textir_htoa
179 Memory system support for image processing1999Textir_uspace
180 Micropower circuits for bidirectional wireless telemetry in neural recording applications2005-01-01Textir_uspace
181 Photographic tone reproduction for digital images2002-01-14Textir_uspace
182 Making large transfers fast for in-memory databases in modern networks2017Textir_etd
183 Three-axis flexible tactile sensor array for pressure and shear mapping2013Textir_etd
184 A performance evaluation of hot mix asphalt thin lift treatments2017Textir_etd
185 Invisible fray: a critical analysis of the use of reflectometry for fray location2006-06Textir_uspace
186 Multiscale modeling of accidental explosions and detonations2013-01-01Textir_uspace
187 Disease modeling for endometrial malignancy to facilitate the development of genomic-guided treatment2018Textir_etd
188 Signal processing and pathway integration in the Basal Ganglia2019Textir_etd
189 Processing and characterization of ζ-Ta4C 3-x: A high toughness tantalum carbide2014Textir_etd
190 Effects of angled stitch reinforcement on foam core sandwich structures2010-12Textir_etd
191 Hydrodynamics of axial-flow and centrifugal-flow left ventricular assist devices2012-05Textir_etd
192 Manufacturing bioinspired flexible hierarchical engineered materials for energy applications through integrating ultrasound directed self-assembly and 3D printing2019Textir_etd
193 Strength of soil-lime mixtures1949Textir_etd
194 Computer Simulation-Aided Design of Single-Ion Conducting Structures for Solid Polymer Electrolytes in Lithium0ion Batteries2019Textir_htoa
195 Estimating performance of an ray- tracing ASIC design2006Textir_uspace
196 Expressive modular linking for object-oriented languages2002-10-11Textir_uspace
197 Mathematical representation for VLSI arrays1980Textir_uspace
198 Peephole optimization of asynchronous networks through process composition and burst-mode machine generation1993Textir_uspace
199 Pluggable abstract domains for analyzing embedded software2006-01-01Textir_uspace
200 Simulating accidental fires and explosions2000Textir_uspace
176 - 200 of 418