Sort by
Refine Your Search
-
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
-
. 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
-
Mobile and continuous health monitoring has seen major advancements in recent years. The capabilities of current mobile phones and their built-in sensors have inspired many mobile sensing
-
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
-
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
-
monthly stipends. This research direction will involve close collaborations with Prof Lin Chen of China. The supervisor is currently engaged in a joint research project with Prof Lin Chen that will fund
-
short-(Illumina) and long-read sequencing (Oxford Nanopore), data mining of electronic medical records and use of machine learning to predict several outcomes. Assoc. Prof. David Dowe will be the primary
-
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