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
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 11-20 of 52 (Search time: 0.002 seconds).
previous
1
2
3
4
5
...
6
next
Item hits:
Preview
Issue Date
Title
Author(s)
2023
Evolutionary Diversity Optimisation in Constructing Satisfying Assignments
Nikfarjam, A.
;
Rothenberger, R.
;
Neumann, F.
;
Friedrich, T.
;
Paquete, L.
;
Genetic and Evolutionary Computation Conference (GECCO) (15 Jul 2023 - 19 Jul 2023 : Lisbon, Portugal)
2023
3-Objective Pareto Optimization for Problems with Chance Constraints
Neumann, F.
;
Witt, C.
;
Paquete, L.
;
Genetic and Evolutionary Computation Conference (GECCO) (15 Jul 2023 - 19 Jul 2023 : Lisbon, Portugal)
2023
On the Impact of Basic Mutation Operators and Populations within Evolutionary Algorithms for the Dynamic Weighted Traveling Salesperson Problem
Bossek, J.
;
Neumann, A.
;
Neumann, F.
;
Paquete, L.
;
Genetic and Evolutionary Computation Conference (GECCO) (15 Jul 2023 - 15 Jul 2023 : Lisbon, Portugal)
2023
Analysis of the (1+1) EA on LeadingOnes with Constraints
Friedrich, T.
;
Kötzing, T.
;
Neumann, F.
;
Neumann, A.
;
Radhakrishnan, A.
;
Paquete, L.
;
Genetic and Evolutionary Computation Conference (GECCO) (15 Jul 2023 - 15 Jul 2023 : Lisbon, Portugal)
2023
Two novel families of multiscale staggered patch schemes efficiently simulate large-scale, weakly damped, linear waves
Divahar, J.
;
Roberts, A.J.
;
Mattner, T.W.
;
Bunder, J.E.
;
Kevrekidis, I.G.
2023
Globally Optimal Event-Based Divergence Estimation for Ventral Landing
McLeod, S.
;
Meoni, G.
;
Izzo, D.
;
Mergy, A.
;
Liu, D.
;
Latif, Y.
;
Reid, I.
;
Chin, T.-J.
;
Karlinsky, L.
;
Michaeli, T.
;
Nishino, K.
;
17th European Conference on Computer Vision (ECCV) (23 Oct 2022 - 27 Oct 2022 : Tel Aviv, Israel)
2023
Energy-efficient Edge Server Management for Edge Computing: A Game-theoretical Approach
Cui, G.
;
He, Q.
;
Xia, X.
;
Chen, F.
;
Yang, Y.
;
51st International Conference on Parallel Processing (ICPP) (29 Aug 2022 - 1 Sep 2022 : Bordeaux, France)
2023
Keeping the Questions Conversational: Using Structured Representations to Resolve Dependency in Conversational Question Answering
Zaib, M.
;
Sheng, Q.Z.
;
Zhang, W.E.
;
Mahmood, A.
;
International Joint Conference on Neural Networks (IJCNN) (18 Jun 2023 - 23 Jun 2023 : Gold Coast, Australia)
2023
Machine learning for abdominal aortic calcification assessment from bone density machine-derived lateral spine images
Sharif, N.
;
Gilani, S.Z.
;
Suter, D.
;
Reid, S.
;
Szulc, P.
;
Kimelman, D.
;
Monchka, B.A.
;
Jozani, M.J.
;
Hodgson, J.M.
;
Sim, M.
;
Zhu, K.
;
Harvey, N.C.
;
Kiel, D.P.
;
Prince, R.L.
;
Schousboe, J.T.
;
Leslie, W.D.
;
Lewis, J.R.
2023
Generalized framework for image and video object segmentation using affinity learning and message passing GNNS
Muthu, S.
;
Tennakoon, R.
;
Rathnayake, T.
;
Hoseinnezhad, R.
;
Suter, D.
;
Bab-Hadiashar, A.
Discover
Author
8
Paquete, L.
7
Neumann, F.
5
Carneiro, G.
5
Neumann, A.
5
Sheng, Q.Z.
5
Zhang, W.E.
4
Genetic and Evolutionary Computat...
4
Mahmood, A.
4
Suter, D.
4
Wagner, M.
.
next >
Subject
3
Humans
1
Active Directory; Network securit...
1
Active directory; reinforcement l...
1
Aged
1
Aortic Diseases
1
applied deep learning
1
Atrial Fibrillation
1
Attention mechanism
1
Australia
1
Automated program modification; G...
.
next >