Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Advisor
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Adelaide Research & Scholarship
Adelaide Research & Scholarship
Search
Search:
All collections
Schools and Disciplines
School of Computer Science
Computer Vision
Formal Modelling and Verification
Computer Science publications
for
Current filters:
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 71-80 of 1563 (Search time: 0.002 seconds).
previous
1
...
5
6
7
8
9
10
11
...
157
next
Item hits:
Preview
Issue Date
Title
Author(s)
2012
Approximating the reliable resource allocation problem using inverse dual fitting
Liao, K.
;
Shen, H.
;
Computing: The Australasian Theory Symposium (18th : 2012 : Melbourne)
2013
Fault-tolerant facility allocation
Shen, H.
;
Xu, S.
;
Pardalos, P.
;
Du, D.
;
Graham, R.
2015
Partial selection of agile software requirements
Mougouei, D.
;
Shen, H.
;
Babar, M.
2015
Computational thinking, the notional machine, pre-service teachers, and research opportunities
Bower, M.
;
Falkner, K.
;
17th Australasian Computing Education Conference (ACE 2015) (27 Jan 2015 - 30 Jan 2015 : Sydney, Australia)
2016
A review of Computer Science resources for learning and teaching with K-12 computing curricula: an Australian case study
Falkner, K.
;
Vivian, R.
2018
Adaptive correlation filters with long-term and short-term memory for object tracking
Ma, C.
;
Huang, J.-B.
;
Yang, X.
;
Yang, M.-H.
2015
Improving test coverage of formal verification systems via beam search
Bokhari, M.
;
Wagner, M.
;
Silva, S.
;
Esparcia-Alcázar, A.I.
;
Annual Conference on Genetic and Evolutionary Computation (GECCO Companion) (11 Jul 2015 - 15 Jul 2015 : Madrid, Spain)
2017
Engaging the future of STEM: A study of international best practice for promoting the participation of young people, particularly girls, in science, technology, engineering and maths (STEM)
Chapman, S.
;
Vivian, R.
;
Australian Government (Office for Women, Department of the Prime Minister and Cabinet), in partnership with the Chief Executive Women (CEW) Ltd
2014
The Australian Digital Technologies Curriculum: challenge and opportunity
Falkner, K.
;
Vivian, R.
;
Falkner, N.
;
16th Australasian Computing Education Conference (ACE 2014) (20 Jan 2014 - 23 Jan 2014 : Auckland, New Zealand)
2011
The parallelization of Geoscience Apps at C3L with Azure
Mudge, Jonathon Craig
;
Cloud Futures (2011 : Redmond, Washington)
;
Cloud Futures 2011
Discover
Author
150
Shen, C.
140
Shen, H.
136
Sheng, Q.
120
Neumann, F.
104
Reid, I.
89
Van Den Hengel, A.
72
Falkner, K.
70
Li, X.
67
Michalewicz, Z.
65
Babar, M.
.
next >
Subject
16
08 Information and Computing Scie...
16
0801 Artificial Intelligence and ...
15
080104 Computer Vision
14
Humans
13
Algorithms
12
97 Expanding Knowledge
12
9701 Expanding Knowledge
11
970108 Expanding Knowledge in the...
8
RFID
7
cloud computing
.
next >
Date issued
117
2018
150
2017
180
2016
197
2015
187
2014
205
2013
191
2012
172
2011
164
2010