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 21-30 of 1563 (Search time: 0.003 seconds).
previous
1
2
3
4
5
6
...
157
next
Item hits:
Preview
Issue Date
Title
Author(s)
2010
What`s exciting about the teaching-research nexus? Experiences that inspire undergraduates to become researchers
Guerin, C.
;
Ranasinghe, D.
;
Quality in Postgraduate Research Conference (9th : 2010 : Adelaide, Sth Australia)
2010
For love or money? Research-teaching linkages and recruitment into higher degrees by research
Guerin, C.
;
Ranasinghe, D.
;
International Pedagogical Research in Higher Education Conference ( 3rd : 2010 : Liverpool, UK)
2012
A multiple candidate time of arrival algorithm for tracking nodes in multipath environments
Sathyan, Thuraiappah
;
Hedley, Mark
;
Humphrey, David
2013
Supply chain planning for a multinational enterprise: a performance analysis case study
Fahimnia, Behnam
;
Parkinson, Edward
;
Rachaniotis, Nikolaos P.
;
Mohamed, Zubair
;
Goh, Mark
2011
Approximating the distribution of fitness over hamming regions
Sutton, Andrew M.
;
Whitley, L. Darrell
;
Howe, Adele E.
;
FOGA '11
;
Foundations of Genetic Algorithms Workshop (11th : 2011 : Schwarzenberg, Austria)
2013
A new parking system based on the web of things
Mathew, S.
;
Atif, Y.
;
Sheng, Q.
;
Maamar, Z.
;
International Conference on Distributed Computing and Networking (2013 : Mumbai, India)
2013
Heuristically creating test cases for program verification systems
Beckert, B.
;
Bormer, M.
;
Wagner, M.
;
Metaheuristics International Conference (10th : 2013 : Singapore)
2012
A manifold flattening approach for anchorless localization
Popescu, Dan C.
;
Hedley, Mark
;
Sathyan, Thuraiappah
2012
A topological paradigm for hippocampal spatial map formation using persistent homology
Dabaghian, Y.
;
Memoli, Facundo
;
Frank, L.
;
Carlsson, Gunnar
2013
Detecting the correct graph structure in pose graph SLAM
Latif, Y.
;
Cadena Lerma, C.
;
Neira, J.
;
Workshop on Robust and Multimodal Inference in Factor Graphs (1st : 2013 : Karlsruhe, Germany)
Discover
Author
150
Shen, C.
140
Shen, H.
137
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