Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Monash University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of Sydney
- University of New South Wales
- RMIT University
- UNIVERSITY OF SYDNEY
- Queensland University of Technology
- The University of Newcastle
- The University of Queensland
- CSIRO
- Curtin University
- Murdoch University
- University of Southern Queensland
- WESTERN SYDNEY UNIVERSITY
- 4 more »
- « less
-
Field
-
formative assessment and personalised feedback while ensuring fairness, accountability, and transparency. The research will explore a combination of algorithmic design, human–AI interaction, and empirical
-
algorithm that allows accurate simulation of fluid transport processes in porous media coupled with chemical reactions (e.g. dissolution and precipitation). The algorithm will be validated firstly against
-
estimation methods for deep neural networks. A principled Bayesian framework for multimodal uncertainty modeling. Robust learning algorithms under missing modalities and distribution shifts. New uncertainty
-
algorithms for resource-efficient hydroponics and evidence-based frameworks for integrating green space exposure for improved student wellbeing. This project will potentially enhance urban food resilience
-
that operate at scale and complexity. You will apply strong software engineering practices to solve complex technical challenges, helping to bring advanced algorithms into real-world operational environments
-
broad range of topics: from model-predictive building control and community battery integration to wind farm optimisation and multi-decade investment planning, we support clever algorithms and data
-
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
-
algorithms for computing MML solutions beyond the one-dimensional case. Extend existing dynamic programming approaches to higher-dimensional problems or develop novel approximation methods that preserve
-
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
-
energy resources. The expected outcomes include technical advancement of distributed algorithms for managing energy resources at customer premises. The benefits include more resilient, secure, private, and