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
-
software frameworks, algorithms, robust testing and validation methods, and/or empirically validated solutions that contribute directly to social good, promoting trust, fairness, transparency, and
-
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
-
, including Coolant Distribution Units (CDUs), and water-cooled server racks in data center environments. Solid understanding of data centre physical infrastructure best practices, including airflow management
-
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
-
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
-
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
-
distribution across multiple HSR scenarios. You will work alongside a team of internationally renowned experts in transport and urban planning, including Associate Professor Liton Kamruzzaman, Professor Hai Vu
-
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
-
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