Sort by
Refine Your Search
-
Listed
-
Employer
- Monash University
- The University of Queensland
- RMIT University
- CSIRO
- Curtin University
- University of Adelaide
- University of New South Wales
- Nature Careers
- Queensland University of Technology
- RMIT UNIVERSITY
- Flinders University
- Amgen Scholars Program
- Central Queensland University
- Deakin University
- Edith Cowan University
- UNIVERSITY OF WESTERN AUSTRALIA
- University of Technology Sydney
- 7 more »
- « less
-
Field
-
formula is true or false (EXPTIME vs NP). Can we develop and implement efficient algorithms for this problem? This problem has been attacked using multiple different methods for the past 40 years, without
-
Mobile and continuous health monitoring has seen major advancements in recent years. The capabilities of current mobile phones and their built-in sensors have inspired many mobile sensing
-
nonlinear optimisation, mixed-integer programming, algorithm design and analysis, and numerical methods Excellent computing skills and experience working with relevant programming languages and platforms
-
This project aims to employ advanced machine learning techniques to analyse text, audio, images, and videos for signs of harmful behaviour. Natural language processing algorithms are utilized
-
the given non-classical logic. The proof of the claim contains an algorithm for deciding whether an arbitrary formula is true or else false! This proof can then be exported automatically to produce a formally
-
prototype sensor. About the role Level 8 – ($127k – $143k) - plus 17% Superannuation and annual leave loading Fixed Term – 15 months Full-time (35 hours per week) The role reports to Professor Dane McCamey
-
The relationship between the information-theoretic Bayesian minimum message length (MML) principle and the notion of Solomonoff-Kolmogorov complexity from algorithmic information theory (Wallace and
-
. Wallace (1996). MML estimation of the parameters of the spherical Fisher Distribution. In S. Arikawa and A. K. Sharma (eds.) , Proc. 7th International Workshop on Algorithmic Learning Theory (ALT'96
-
the different actors' beliefs and intentions. We will study the properties of such explanations, present algorithms for automatically computing them as well as extensions to existing frameworks and evaluate
-
Optimisation methods, such as mixed integer linear programming, have been very successful at decision-making for more than 50 years. Optimisation algorithms support basically every industry behind