Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
Advanced Search
Year
1921
1922
1923
1924
1925
1926
1927
1928
1929
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
TO
1921
1922
1923
1924
1925
1926
1927
1928
1929
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
Type
Text
100
Format
application/pdf
101
Collection
Theses & Dissertations
25
UScholar Works
76
Filters:
School Or College:
"College of Engineering"
26
-
50
of
101
<
1
2
3
4
5
>
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
26
Improved sensitivity in ellipsometry of thin biochemical films by employing sublayers
1990
Text
ir_uspace
27
Algorithms for MIS vector generation and pruning
2006
Text
ir_uspace
28
Interface contracts for TinyOS
2007-01-01
Text
ir_uspace
29
Validation of adaptive threshold spike detector for neural recording
2004-01-01
Text
ir_uspace
30
Automatic abstraction for synthesis and verification of deterministic timed systems
2000
Text
ir_uspace
31
Optimizing datacenter power with memory system levers for guaranteed quality-of-service
2012-01-01
Text
ir_uspace
32
Effcient verification of hazard-freedom in gate-level timed asynchronous circuits
2003
Text
ir_uspace
33
Random testing of interrupt-driven software
2005-01-01
Text
ir_uspace
34
Graphical man/machine communications: February 1968
1968-02
Text
ir_uspace
35
Pluggable abstract domains for analyzing embedded software
2006-01-01
Text
ir_uspace
36
Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system
2012-01-01
Text
ir_uspace
37
Efficient depth estimation using trinocular stereo
1988
Text
ir_uspace
38
Finite-difference time-domain modeling and experimental characterization of planar waveguide fluorescence sensors
1992
Text
ir_uspace
39
Graphical man/machine communications: November 1969
1969-11
Text
ir_uspace
40
Parameters influencing the evolution and oxidation of sulfur in suspension phase coal combustion
1983
Text
ir_uspace
41
Planar waveguide biosensors for nucleic acid hybridization reactions
2000
Text
ir_uspace
42
Quantum size effect on adatom surface diffusion
2006-12
Text
ir_uspace
43
Watershed-scale life cycle assessment of rainwater harvesting systems to control combined sewer overflows
2016
Text
ir_etd
44
A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes
2013-01-01
Text
ir_uspace
45
ARMor: fully verified software fault isolation
2011-01-01
Text
ir_uspace
46
Deriving abstract transfer functions for analyzing embedded software
2006-01-01
Text
ir_uspace
47
Eliminating the call stack to save RAM
2009-01-01
Text
ir_uspace
48
Expressive rendering of mountainous terrain
2007
Text
ir_uspace
49
Indexing relations on the web
2010
Text
ir_uspace
50
Offline compression for on-chip RAM
2007-01-01
Text
ir_uspace
26
-
50
of
101
<
1
2
3
4
5
>