Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Monash University
- University of Sydney
- The University of Queensland
- Curtin University
- Queensland University of Technology
- University of Adelaide
- University of New South Wales
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- La Trobe University
- Macquarie University
- Murdoch University
- Nature Careers
- RMIT UNIVERSITY
- RMIT University
- The University of Western Australia
- 5 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
-
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
-
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
-
disease patients using radiation therapy. The primary aim of this research is to develop real-time target tracking and/or dynamic imaging algorithms for implementation within radiotherapy and medical
-
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
-
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
-
designing and implementing new algorithms to produce visual aids to assist people to reason with causal Bayesian networks, as well as the planning and conduct of exploratory usability studies to assess
-
manage research datasets, including development of analytic workflows, REDCap data collection tools, algorithm development, and validation of NLP pipelines · lead the development of scholarly outputs
-
radiation therapy. The primary aim of this research is to develop real-time target tracking and/or dynamic imaging algorithms for implementation within radiotherapy and medical imaging. Within our research