Sort by
Refine Your Search
-
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
-
explore unconventional ideas, develop computer algorithms for data analysis, create new experimental approaches, and apply the technique in areas like biomedicine, materials science, and geology. My group
-
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
-
This project focuses on developing algorithms capable of automatically identifying and categorizing mobile ringtones. This involves leveraging machine learning techniques to analyze audio signals
-
This project aims to develop robust algorithms capable of identifying and analyzing fingerprints extracted from both static images and video footage. Machine learning techniques, particularly
-
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
-
. 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
-
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
-
quantum engineering, quantum computing, and/or quantum information sciences A deep understanding of quantum algorithms and/or experience with quantum hardware will also be beneficial. A passion for
-
: Developing algorithms to identify patterns and preferences based on service users’ previous content engagement on the headspace website, enabling the generation of tailored service and resource suggestions