Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
Advanced Search
Year
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
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
6
Format
application/pdf
6
Collection
Theses & Dissertations
4
UScholar Works
2
Filters:
School Or College:
"School of Computing"
Type:
"Text"
1
-
25
of
6
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
1
A lane-based approach to large-scale unmanned aircraft systems traffic management
2022
Text
ir_etd
2
The 'test model-checking' approach to the verification of formal memory models of multiprocessors
1998
Text
ir_uspace
3
The 'Test model-checking' approach to the verification of formal memory models of multiprocessors
1998
Text
ir_uspace
4
Improving automation and scalability of rigorous program reasoning
2019
Text
ir_etd
5
Normalization RNA-SEQ towards the improvement of Gene expression signatures
2022
Text
ir_etd
6
Improving information extraction from clinical notes with multiple domain models and clustering-based instance selection
2017
Text
ir_etd
1
-
25
of
6