Sort by
Refine Your Search
-
We are excited to offer a fully funded PhD position at the Faculty of Engineering, Monash University (Australia). This project focuses on developing new algorithms to equip social robots with
-
Senior Registry Coordinator - APFPR Job No.: 681736 Location: 553 St Kilda Road Employment Type: Full-time Duration: 12 month fixed-term appointment, with opportunity to renew Remuneration: $106,789
-
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
-
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
-
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
-
defence algorithms are remain a challenge in the research community. Furthermore, most existing AML algorithms can only apply to Euclidean space. How to extend existing AML algorithms to non-Euclidean and