Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...
In recent years, machine learning on graphs (or networks) has gone from a niche topic with only a few active researchers worldwide, to a heavily invested field with novel use cases for dealing with relationships and/or interactions within complex systems in the natural and social sciences. Traditionally, choosing the right...
X-ray imaging at nano and micro-scale is of great importance for the material science and defense industry. Large penetration depth and low wavelength of x-rays offer an important potential to image objects at high resolution and in a non-invasive process. While the ever-growing community is pursuing novel applications and looking...
Next generation cellular networks are expected to support a massive data traffic volume and satisfy a vast number of users that have latency-critical quality-of-service expectations. Towards serving this demand, it is envisaged that the interference management problem will be the main bottleneck due to the likeliness of a heavily interfering...
The study and design of machines that are able to analyze the auditory scene and organize sound into parts that are perceptually meaningful to humans is referred to as machine hearing. Such machines are expected to distinguish between different sound categories (e.g., speech, music, background noise), focus on a sound...
Super-resolution (SR) has become one of the most critical problems in image and video processing. In Chapter 2 of this thesis, a detailed review of existing Deep Learning (DL) techniques for addressing the SR task, with an emphasis on how DL and analytical techniques can be combined, is provided. Chapter...
A core problem in many computer vision applications is visual recognition (including object classification, detection and localization). Recent advances in artificial neural networks (aka ”deep learning”) have significantly pushed forward the state-of-the-art visual recognition performances. However, due to the lack of semantic structure modeling, most current deep learning approaches do...
Abstract The work presented in this dissertation addresses three broad areas of video signal processing: video transmission, motion estimation and error concealment. In the first category, focused on the source-side, we present two machine learning models for efficient content-aware resource allocation and packet prioritization for video transmission over shared/constrained, lossy...