We study theoretical problems of fault diagnosis in circuits and switching networks, which are among the most fundamental models for computing Boolean functions.

Whether the future of transportation is going to be electric or not is no longer a question. Electric vehicles (EVs) offer several benefits toward global sustainability. However, without a variety of charging infrastructures that cover diverse forthcoming charging needs, the speed of vehicle electrification may be slow and limited. In the coming years, we project that charging stations will still likely meet most personal demands. However, novel charging alternatives such as dynamic charging systems, i.e., electrified roads that wirelessly charge EVs on the go, will fit into various public and commercial scenarios. In this thesis, we present a driver-centric approach to planning these infrastructures.

We discuss the principles of WPC and we highlight its main network architectures as well as the fundamental trade-off between information and energy transfer. By following a bottom-up cross-layer approach, several examples, that deal with the fundamentals of WPC as well as its integration in modern communication systems, are presented. Specifically, we deal with circuit models for WPT, information-theoretic limits, signal processing aspects and waveform design, and system-level analysis by using stochastic geometry tools. Future research directions and challenges are also pointed out.

In the next months, KAUST expects to place into service Shaheen-3, a supercomputer with a GPU partition whose planned 1 Exaflop/s HPL AI capability would rank it in the Top 6 globally if delivered today.

It is difficult to predict the future, but ultimately, what matters is creating the future we want to live in. Our past and present are the product of our previous decisions. The decisions we make today will pave the way for the future. It is important that the right decision is made at the right time leading to the right outcome, paving the way towards the desired future.

Cross-validation is an algorithmic technique extensively used for estimating the prediction error, tuning the regularization parameter, and choosing between competing predictive rules.

Breiman (2001) urged statisticians to provide tools when the data, X=s(θ,Y); sampler s is available as Black-Box, parameter θεΘ, Y is random, either observed or latent. The paper’s discussants, D. R. Cox and B. Efron, looked at the problem as X-prediction, surprisingly neglecting the statistical inference for θ, and disagreed with the main thrust of the paper.

This talk is devoted to additive Schwarz methods for convex optimization. First, we propose an abstract framework for additive Schwarz methods for convex optimization. The framework's flexibility allows it to handle composite optimization problems and inexact local solvers. Moreover, it establishes a sharp convergence theory that agrees with the classical theory when addressing linear problems.

Semantic Web ontologies are widely used to provide a conceptual schema for sharing and integrating data and knowledge using a logic-based language. The content of ontologies may also be used to provide background knowledge in machine learning models or provide domain-specific constraints that can be verified automatically and used for zero-shot predictions. The combination of embedding symbolic representations (such as ontologies) and extracting symbolic representations from the embeddings are two main components of neuro-symbolic AI systems. I will introduce methods for embedding Semantic Web ontologies and outline some of the properties of the embeddings that relate to model and proof theory.

In this talk, I will review the fundamentals and application of this technology in various areas, ranging from the inverse design of ultra-flat optical components to HyplexTM, an innovative camera for acquiring and processing high-resolution hyperspectral videos in real-time at 30 frames per second.

Goodness-of-fit tests determine how well a set of observed data fits a particular probability distribution. They can also show if some categorical variable follows a hypothesized family of distributions.

This dissertation focuses on the relative energy analysis of two-species fluids composed of charged particles. In particular, it explores several applications of the relative energy method to Euler-Poisson systems, enabling a comprehensive stability analysis of these systems.

The statistical modeling of spatial and extreme events provides a framework for the development of techniques and models to describe natural phenomena in a variety of environmental, geoscience, and climate science applications. In a changing climate, various natural hazards, such as wildfires, are believed to have evolved in frequency, size, and spatial extent, although regional responses may vary.

Currently, there is a substantial push towards autonomous vehicles in the market. However, fully autonomous vehicles, using extensive fault-tolerance e.g., in x-by-wire functions, are still not quite safe from an accidental faults perspective. Furthermore, they present an even greater threat surface to combined accidental and malicious faults. This pitfall has been very slowly recognized by car makers. The consequences of such accidents or attacks are likely to be severe, life-threatening included. This talk will discuss this threat surface in an analysis including the whole ecosystem.

I will focus my discussion on optoelectronic devices and system challenges facing long-distance, multiple-Gbps underwater wireless optical communication. The future perspective of underwater photonics will also be discussed.

I will review some works on the high-friction limit (or small mass approximation) from Euler flows to advection-diffusion systems that are gradient flows, and related asymptotic problems in fluid mechanics. The formulation exploits the variational structure of compressible Euler flows and is connected to the interpretation of nonlinear Fokker-Planck systems as gradient flows in Wasserstein distance.

This thesis studies mean-field games (MFGs) models of price formation. The thesis focuses explicitly on a MFGs price formation model proposed by Gomes and Saúde. The thesis is divided into two parts. The first part examines the deterministic supply case, while the second part extends the model to incorporate a stochastic supply function. We explore different approaches, such as Aubry-Mather theory, to study the properties of the MFGs price formation model and alternative formulations using a convex variational problem with constraints. We propose machine-learning-based numerical methods to approximate the solution of the MFGs price formation model in the deterministic and stochastic setting.

In this talk, I will describe a surprising application for a known online learning problem and its optimal algorithm.

Tilt-series cryo-electron tomography (cryo-ET) is an established imaging tech- nique used in several fields like biology and material science. Despite its success, cryo-ET remains an arduous task. The missing-wedge acquisition, the motion, and the high level noise are the main challenges existing in this field. In this dissertation, we tackle these challenges through the exploration of three distinct approaches: plug and play approach, adaptive differentiable density grids and adaptive tensorial density fields representation.

This talk covers a selection of previous and current work presenting a broad spectrum of research highlights ranging from simulating stiff phenomena such as the dynamics of fibers and textiles, over liquids containing magnetic particles, to the development of complex ecosystems and weather phenomena. Moreover, connection points to the growing field of machine learning are addressed and an outlook is provided with respect to selected technology transfer activities.

Semiconductor Photonics is an immersive master class that explores the cutting-edge field of advanced optoelectronics and its diverse applications. This class brings together experts and enthusiasts to delve into the forefront of research and innovation in semiconductor photonics. Key topics include Semiconductor Laser-Based Lighting and Visible Light Communications, Artificial Intelligent Optoelectronics Hardware for Neuromorphic Computing, Optoelectronic Micro-Devices for Novel AR and VR Displays, and Integrated Silicon Photonics. By covering these varied areas, the class offers a comprehensive understanding of semiconductor photonics and its implications in information technology, healthcare, computing, and beyond.

I will introduce the development of effective medium and deep learning models, two distinct methods in the design of metamaterials, followed by some illustrative examples demonstrating the intriguing properties, such as redirection, emission rate enhancement, wave steering, and cloaking.

Estimating first-order intensity functions is crucial in the analysis of point patterns on linear networks, but selecting suitable bandwidths for non-parametric methods remains challenging. We propose an adaptive intensity estimator for the heating kernel that adjusts bandwidths based on data points, a novel approach in this context.

We propose a finite element scheme for fractional diffusion problems with varying diffusivity and fractional order. A number of challenges are encountered when discretizing such problems. The first is the heterogeneous kernel singularity in the fractional integral operator. The second comes from the dense discrete operator with its quadratic growth in memory footprint and arithmetic operations. To address these challenges, we propose a strategy that decomposes the system matrix into three components. The first is a sparse matrix that handles the singular near-field separately and is computed by adapting singular quadrature techniques available for the homogeneous case to the case of spatially variable order.

UAVs, or drones, are a dual-use technology that is gaining momentum, with applications spanning from agriculture to warfare. In this talk we will survey some of the threats posed by drones, and will discuss some scientific contributions to the field aimed at providing a way to reduce the risk posed by a rogue use of this technology. We will also highlight some related research directions.