Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Monash University
- University of Sydney
- University of New South Wales
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Queensland University of Technology
- The University of Queensland
- ADELAIDE UNIVERSITY
- UNIVERSITY OF SYDNEY
- CNRS
- Murdoch University
- RMIT UNIVERSITY
- RMIT University
- The University of Western Australia
- University of Southern Queensland
- 4 more »
- « less
-
Field
-
forecasting/uncertainty. Holger Maier is internationally recognised for developing and applying AI/machine learning, optimisation (notably evolutionary algorithms), and decision-support methods for complex
-
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
-
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
-
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
-
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
-
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
-
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
-
data infrastructure necessary for collaborative research into, and development of, analytical techniques and algorithmic models. The Faculty of Information Technology has a mission to advance social good
-
from Analytical Spectra Hybrid Quantum–Classical Algorithms for Scalable Data Systems and Intelligent Analytics Authorised by: Marketing, Faculty of IT , Monash University . Maintained by: Marketing
-
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