Institutional Repository
 
Filters: School Or College: "College of Engineering"
176 - 200 of 352
Number of results to display per page
TitleDateTypeSetname
176 Predicting heating demand and sizing a stratified thermal storage tank using deep learning algorithms2018Textir_uspace
177 Deriving efficient cache coherence protocols through refinement1997Textir_uspace
178 Transforming an Ada program unit to silicon and verifying its behavior in an Ada environment: a first experiment1983Textir_uspace
179 Verifying volume rendering using discretization error analysis2014-01-01Textir_uspace
180 Cardiac tissue discrimination using fiber-optics confocal microscopy2015Textir_etd
181 Final Report Geothermal Battery Energy Storage2020-06Textir_uspace
182 Advanced training for traffic operators: a focus on identifying and solving advanced transportation management and operation problems2010Textir_etd
183 Sensor network localization for moving sensors2012-01-01Textir_uspace
184 The use of silk-elastinlike proteins and semi-synthetic glycosaminoglycans for a prophylactic approach to treat radiation-induced proctitis2022Textir_etd
185 Emerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 20042004-08Textir_uspace
186 Localized hyperthermia for enhanced targeted delivery of polymer therapeutics2017Textir_etd
187 Functionalized single-walled carbon nanotube chemiresistive sensors for vapor detection of explosives and drugs2017Textir_etd
188 Inkjet printing of smart hydrogels and their response characterization2015-05Textir_etd
189 Scalable, reliable, power-efficient communication for hardware transactional memory2008Textir_uspace
190 Acoustical modeling of construction jobsites with multiple operational machines for activity recognition and productivity analysis2022Textir_etd
191 Electrochemical monitoring of corrosion processes in molten salts used for pyroprocessing spent nuclear fuel2019Textir_etd
192 A Feasibility Study of a Transfer of Federal Lands: Assessing the Triple Bottom Line2016ir_uspace
193 The connection between hormone extrusion and lack of biodegradation in wastewater treatment2014-12Textir_etd
194 Optical systems to evaluate volume of medical samples in opaque test tubes2011-08Textir_etd
195 A general compositional approach to verifying hierarchical cache coherence protocols2006-11-26Textir_uspace
196 Algorithms for MIS vector generation and pruning2006Textir_uspace
197 An interface aware guided search method for error-trace justification in large protocols2008Textir_uspace
198 Room temperature co-precipitation synthesis of magnetite nanoparticles in a large pH window with different bases2013-01-01Textir_uspace
199 Using utilization profiles in allocation and partitioning for multiproscessor systems1992Textir_uspace
200 R-curve behavior of SiC2009-04-23Textir_etd
176 - 200 of 352