Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
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
-
. With the widespread adoption of ML algorithms for data analysis and decision-making, preserving the privacy of individuals' data has become a paramount concern. The project focuses on exploring
-
software frameworks, algorithms, robust testing and validation methods, and/or empirically validated solutions that contribute directly to social good, promoting trust, fairness, transparency, and
-
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
-
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
-
at one time. In non-stationary environments on the other hand, the same algorithms cannot be applied as the underlying data distributions change constantly and the same models are not valid. Hence, we need
-
determined by combining the observed space density of galaxies, the measured spatial distribution of galaxies and simulations of the dark matter distribution. Example themes for student projects follow and
-
known as Team COMPAS -- includes a number of amazing undergraduate and graduate students, postdocs, alumni, and other fantastic collaborators. Please contact me if you are interested in joining our group
-
domain experts’ beliefs about the relationships among variables that can be used to describe them. The BN structure, the probability distributions and parameters it is built from, can be derived from data