ADR Awareness Centre

The Propositional Satisfiability problem (SAT) was the first to be shown NP-complete by Cook and Levin. SAT remained the embodiment of theoretical worst-case hardness.

This lecture overviews Set Theory that has many applications in Probability/Statistics, Machine Learning and Computer Vision.

This lecture overviews Digital Image Restoration that has many applications in scientific/medical imaging and in digital photography.

After a brief introduction to image acquisition and light reflection, the building blocks of modern cameras will be surveyed, along with geometric camera modelling.

This lecture overviews Autonomous Underwater Vessels that has many applications in ocean engineering. It covers the following topics in detail: AUV technologies, sensors, communications, applications.

This lecture overviews Digital Image Processing that has many applications in improving image visual quality.

This lecture overviews Immersion in Virtual Reality  that has many applications in virtual presence and immersion. It covers the following topics in detail: Basic Concepts and Definitions.

This lecture overviews Natural Language Processing (NLP) that has many applications in text analytics, Linguistics, Machine translation and sentiment analysis.

This lecture overviews Natural Language Processing (NLP) and Text Sentiment Analysis that has many applications in Text Analytics, Opinion extraction, Opinion mining, Sentiment mining, Subjectivity analysis.

This lecture overviews various drone mission simulator architectures, notably AirSim and Gazebo.

Autonomous marine vessels can be described as surface (boats, ships) and underwater ones (submarines).

This lecture will cover the basic concepts of Machine Learning to alleviate inconsistencies towards concept and notation accuracy. Supervised, self-supervised, unsupervised, semi-supervised learning. Multi-task Machine Learning.