Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
Advanced Search
Year
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
TO
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
Type
Text
417
Image
1
Format
application/pdf
418
Collection
Honors Theses Closed Archive
2
Honors Theses Open Access
11
Theses & Dissertations
308
UScholar Works
97
Filters:
School Or College:
"College of Engineering"
176
-
200
of
418
<
3
4
5
6
7
8
9
10
11
12
>
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Date
Type
Setname
176
A practical logic framework for verifying safety properties of executables
2011-01-01
Text
ir_uspace
177
Adaptive isocurves based rendering for freeform surfaces
1992
Text
ir_uspace
178
Extending Support for Floating-Points in the Boogie and Smack Software Verifiers
2019
Text
ir_htoa
179
Memory system support for image processing
1999
Text
ir_uspace
180
Micropower circuits for bidirectional wireless telemetry in neural recording applications
2005-01-01
Text
ir_uspace
181
Photographic tone reproduction for digital images
2002-01-14
Text
ir_uspace
182
Making large transfers fast for in-memory databases in modern networks
2017
Text
ir_etd
183
Three-axis flexible tactile sensor array for pressure and shear mapping
2013
Text
ir_etd
184
A performance evaluation of hot mix asphalt thin lift treatments
2017
Text
ir_etd
185
Invisible fray: a critical analysis of the use of reflectometry for fray location
2006-06
Text
ir_uspace
186
Multiscale modeling of accidental explosions and detonations
2013-01-01
Text
ir_uspace
187
Disease modeling for endometrial malignancy to facilitate the development of genomic-guided treatment
2018
Text
ir_etd
188
Signal processing and pathway integration in the Basal Ganglia
2019
Text
ir_etd
189
Processing and characterization of ζ-Ta4C 3-x: A high toughness tantalum carbide
2014
Text
ir_etd
190
Effects of angled stitch reinforcement on foam core sandwich structures
2010-12
Text
ir_etd
191
Hydrodynamics of axial-flow and centrifugal-flow left ventricular assist devices
2012-05
Text
ir_etd
192
Manufacturing bioinspired flexible hierarchical engineered materials for energy applications through integrating ultrasound directed self-assembly and 3D printing
2019
Text
ir_etd
193
Strength of soil-lime mixtures
1949
Text
ir_etd
194
Computer Simulation-Aided Design of Single-Ion Conducting Structures for Solid Polymer Electrolytes in Lithium0ion Batteries
2019
Text
ir_htoa
195
Estimating performance of an ray- tracing ASIC design
2006
Text
ir_uspace
196
Expressive modular linking for object-oriented languages
2002-10-11
Text
ir_uspace
197
Mathematical representation for VLSI arrays
1980
Text
ir_uspace
198
Peephole optimization of asynchronous networks through process composition and burst-mode machine generation
1993
Text
ir_uspace
199
Pluggable abstract domains for analyzing embedded software
2006-01-01
Text
ir_uspace
200
Simulating accidental fires and explosions
2000
Text
ir_uspace
176
-
200
of
418
<
3
4
5
6
7
8
9
10
11
12
>