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
-
This PhD project is part of a larger project that aims to explain the uncertainty of Machine Learning (ML) predictions. To this effect, we must quantify uncertainty, devise algorithms that explain
-
the different crystals might have different orientations. As metals are typically used for load-bearing applications, it is imperative to understand the mechanical performance of such materials. Initially, metals
-
engineering and data analytics projects. Key responsibilities include: Developing algorithms and performing advanced numerical analyses. Designing and implementing data collection, analysis, and condition
-
This project focuses on developing algorithms capable of automatically identifying and categorizing mobile ringtones. This involves leveraging machine learning techniques to analyze audio signals
-
account for more sophisticated linguistic notions such as “always”, “possibly”, “believed” or “knows”. Philosophers therefore invented many different non-classical logics which extend CPL with further
-
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
-
Anomaly detection is an important task in data mining. Traditionally most of the anomaly detection algorithms have been designed for ‘static’ datasets, in which all the observations are available
-
The existing deep learning based time series classification (TSC) algorithms have some success in multivariate time series, their accuracy is not high when we apply them on brain EEG time series (65
-
models (eg auto-encoders and generative adversarial networks) and reinforcement/imitation learning algorithms for Markov Decision Processes. The application areas are different problems in text processing