In this dissertation, we consider extensions of dynamic programming for combinatorial optimization. We introduce two exact multi-objective optimization algorithms: the multi-stage optimization algorithm that optimizes the problem relative to the ordered sequence of objectives (lexicographic optimization) and the bi-criteria optimization algorithm that simultaneously optimizes the problem relative to two objectives (Pareto optimization).

The talk will consist of two parts. First an introduction to important subsurface structures in relation to hydrocarbon extraction are given, followed by an overview of techniques to segment out and visualize these structures. The talk will include topics such as ground truth visualization of measured seismic data, automated object extraction for getting computer assistance in segmenting important structures in the seismic data such as horizons and faults and creation, and visualizing and visual fusion of multiattribute seismic data using the GPU.

This talk will focus on the device applications of MXenes and MXene-derived functional materials. Our group has been developing device concepts that capitalize on the rich and promising properties of MXenes. For example, the excellent electrical conductivity of MXenes makes them good candidates as contact materials electronics (printed, wearable, and stretchable electronics) both as local and global contacts. We have demonstrated that MXenes can be used as electrical contacts in thin-film electronics, CMOS devices, quantum-dot transistors, LEDs, and solar cells.

The mini-course is an introduction to the analysis of infinity-harmonic functions. We detail the proof of the equivalence between enjoying comparison with cones and solving the infinity-Laplace equation in the viscosity sense, thus making a seamless connection with the previous mini-course. Further material includes the existence of infinity-harmonic functions in the case of an unbounded domain and an easy and self-contained proof, due to Armstrong and Smart, of the celebrated uniqueness theorem of Jensen.

We present Exascale GeoStatistics (ExaGeoStat) software, a high-performance library implemented on a wide variety of contemporary hybrid distributed-shared supercomputers whose primary target is climate and environmental prediction applications.

The mini-course is an introduction to the analysis of infinity-harmonic functions. We detail the proof of the equivalence between enjoying comparison with cones and solving the infinity-Laplace equation in the viscosity sense, thus making a seamless connection with the previous mini-course. Further material includes the existence of infinity-harmonic functions in the case of an unbounded domain and an easy and self-contained proof, due to Armstrong and Smart, of the celebrated uniqueness theorem of Jensen.

The aim of this talk is to provide an overview of the latest research results and innovations in NOMA technologies as well as their emerging applications. Future research challenges regarding NOMA in B5G and 6G are also presented.

We developed extensions of dynamic programming which allow us (i) to describe the set of objects under consideration, (ii) to perform a multi-stage optimization of objects relative to different criteria, (iii) to count the number of optimal objects, (iv) to find the set of Pareto optimal points for the bi-criteria optimization problem, and (v) to study the relationships between two criteria.

Here, I will talk about recent advances in the field of QD lasers with a focus on direct growth on Si. Si photonics has found widespread application, particularly for high volume applications and for co-integration with CMOS electronics. I will start with an overview of the field, followed with a summary of device performance and fundamental physics basis for the improved response.

In this talk we will discuss the work conducted at KAUST sensors lab and KAUST sensor initiative

Individual-based models of collective behavior represent a very active research field with applications in physics (spontaneous magnetization), biology (flocking and swarming) and social sciences (opinion formation). They are also a hot topic engineering (swarm robotics). A particularly interesting aspect of the dynamics of multi-agent systems is the emergence of global self-organized patterns, while individuals typically interact only on short scales. In this talk I shall discuss the impact of delay on asymptotic consensus formation in Hegselmann-Krause-type models, where agents adapt their „opinions“ (in broad sense) to the ones of their close neighbors. We shall understand the two principial types/sources of delay - information propagation and processing - and explain their qualitatively different impacts on the consensus dynamics. We then discuss various mathematical methods that provide asymptotic consensus results in the respective settings: Lyapunov functional-type approach, direct estimates, convexity arguments and forward-backward estimates.

The study of waves in fluids is one of the most significant branches of fluid mechanics. Part of this study is the theory of nonlinear and dispersive waves which has recently emerged and is still under development. Nonlinear and dispersive waves appear in fluids of any form and have significant role in the fields of oceanic waves (surface and internal), atmospheric modelling, electromagnetism, nonlinear optics, ultra-cold matter and even in blood flow problems. In this presentation we will review relevant applications, such as tsunami waves, the El Nino southern oscillation, blood flow in arteries and solitons propagating in optical fibres. Mathematical modelling techniques for deriving equations that describe such phenomena will be introduced in the context of surface water waves. We will also review the minimum required theoretical background in order to proceed with safe numerical simulations. Finally, we will discuss the numerical modelling of such problems where methods such as standard and mixed Galerkin / Finite element methods are of central focus. We close this presentation by showcasing a topic of much current interest, namely, the development of modern mathematical models for nonlinear and dispersive waves by combining machine learning techniques with classical methodologies.

Abstract

Extensive research has already started on 6G and beyond wireless technologies of 2030 due

The term P4 medicine has been coined almost a decade ago to indicate novel ways of early detection and prevention of diseases. P4 stands for personalized, predictive, preventive, and participatory, to indicate that a diagnosis or treatment is tailored to each individual patient, risk factors are identified early and addressed before manifestation, and individuals are actively involved into all processes. Often, P4 approaches are accompanied by the acquisition of large and complex medical imaging data, and demanding computational processes–especially, when it comes to cancer radiotherapy, which is a data heavy and visual computing rich process.

With the advent of commercial products, such as Apple iWatch and Samsung Galaxy Gear, body-centric communication has increasingly garnered the public attention and smoothly translated state-of-the-art research work into reality. However, challenges still remains and these are often fundamental physical hurdles that need to be further explored and investigated to come up with efficient and scalable solutions applicable to many fields and areas. This becomes an important research area when you look at the scale or rather the multiple scales it needs to work at from body-size or larger networks to the nano-scale where there have been lots of interest recently on how to get nano-devices inside tissues and even inside intelligent materials around us.  The talk will present recent development in the area of antennas, RF devices and electromagnetic solutions for applications such as healthcare, biomedical engineering and next generation wireless communications. It will look at the challenges from theoretical, numerical and experimental prospective to ensure that proposed concepts and outcomes are of benefit not only to those domains but other beyond such as agricultural technology and smart home and cities. 

A traditional goal of algorithmic optimality, squeezing out operations, has been superseded because of evolution in architecture. Algorithms must now squeeze memory, data transfers, and synchronizations, while extra operations on locally cached data cost relatively little time or energy. Hierarchically low-rank matrices realize a rarely achieved combination of optimal storage complexity and high-computational intensity in approximating a wide class of formally dense operators that arise in exascale applications. They may be regarded as algebraic generalizations of the fast multipole method.

Visible light communication (VLC or LiFi) has been a topic of intense research after the idea was proposed in 2011. To date, a data rate of multiple 100s Mbps has been demonstrated using LED as light source. At KAUST, we are developing the next generation of SSL lighting using visible laser diodes (LDs) and superluminescent diodes (SLDs). Laser diodes and SLDs do not suffer efficiency droop at high current densities. This allows for the design of lamps using a single, small footprint, light-emitting chip operating at high current densities. Using a single chip reduces system costs compared with LEDs because the system uses less material per chip, requires fewer chips, and employs simplified optics and a simplified heat-sink. The chip area required for LED technologies will be significantly reduced using LD/SLD-based solid-state lighting. This technology will also enable highly controllable beams in term of tunable throw distance, tunable color temperature and rendering index. Multiple Gbit/s VLC links have been demonstrated using LD/SLD as transmitters. In this talk, I will focus on the recent progress of visible diode LD/SLD-based lighting technology and high-speed transmitters and receivers for multiple-Gbps VLC and underwater wireless optical communication.

We will discuss the Lipschitz extension problem, its solution via MacShane-Whitney extensions, and its several drawbacks, leading to the notion of AMLE (Absolutely Minimizing Lipschitz Extension). We then present a rigorous and detailed analysis of the equivalence between being absolutely minimizing Lipschitz and enjoying comparison with cones. Finally, we explore some consequences of this geometric notion, chiefly the derivation of a Harnack inequality.

In this work, we estimate extreme sea surface temperature (SST) hotspots, i.e., high threshold exceedance regions, for the Red Sea, a vital region of high biodiversity. We analyze high-resolution satellite-derived SST data comprising daily measurements at 16703 grid cells across the Red Sea over the period 1985–2015. We propose a semiparametric Bayesian spatial mixed-effects linear model with a flexible mean structure to capture spatially-varying trend and seasonality, while the residual spatial variability is modeled through a Dirichlet process mixture (DPM) of low-rank spatial Student-t processes (LTPs). By specifying cluster-specific parameters for each LTP mixture component, the bulk of the SST residuals influence tail inference and hotspot estimation only moderately. Our proposed model has a nonstationary mean, covariance and tail dependence, and posterior inference can be drawn efficiently through Gibbs sampling. In our application, we show that the proposed method outperforms some natural parametric and semiparametric alternatives.

Gallium nitride (GaN) is a semiconductor material highly regarded for visible light generation since it provides the most efficient platform for compact violet, blue, and green light emitters, and in turn, high-quality and ubiquitous white lighting. Despite this fact, the potential of the GaN platform has not been fully exploited. This potential must enable the precise control in the various properties of light, realizing functions beyond the conventional. Simultaneously, the field of the telecommunications is looking for candidate technologies fit for wireless transmission in the next generations of communication. Visible light communication (VLC) may play a significant role in the future of the last mile of the network by providing both a fast internet connection and a high-quality illumination.

We will discuss the Lipschitz extension problem, its solution via MacShane-Whitney extensions, and its several drawbacks, leading to the notion of AMLE (Absolutely Minimizing Lipschitz Extension). We then present a rigorous and detailed analysis of the equivalence between being absolutely minimizing Lipschitz and enjoying comparison with cones. Finally, we explore some consequences of this geometric notion, chiefly the derivation of a Harnack inequality.

Research in visualization and computer graphics has developed techniques to geometrically model objects from our everyday life, or from various branches of industry and science, including modeling life-forms that are of submicron in size. These are not visible to the naked eye and most of us are unfamiliar with structures that form life organized in an assembly of biomolecules. Here visualization techniques can be of tremendous help to guide the viewers to familiarize themselves with what they see and make the engaging visual exploration of these complex structures to an intellectual enrichment.

Research and experimentation in various scientific fields are based on the knowledge and ideas from scholarly literature. The advancement of research and development has, thus, strengthened the importance of literary analysis and understanding. However, in recent years, researchers have been facing massive scholarly documents published at an exponentially increasing rate. Analyzing this vast number of publications is far beyond the capability of individual researchers. This dissertation is motivated by the need for large scale analyses of the exploding number of scholarly literature for scientific knowledge discovery and information retrieval. In the first part of this dissertation, the interdependencies between scholarly literature are studied. First, I develop Delve -- a data-driven search engine supported by our designed semi-supervised edge classification method. This system enables users to search and analyze the relationship between datasets and scholarly literature. Based on the Delve system, I propose to study information extraction as a node classification problem in attributed networks. Specifically, if we can learn the research topics of documents (nodes in a network), we can aggregate documents by topics and retrieve information specific to each topic (e.g., top-k popular datasets).

In this talk, I will give an overview of research done in the Image and Video Understanding Lab (IVUL) at KAUST. At IVUL, we work on topics that are important to the computer vision (CV) and machine learning (ML) communities, with emphasis on three research themes: Theme 1 (Video Understanding): We aim to extract meaningful semantic information from large-scale video data by tackling research problems such as object tracking, activity detection, moment retrieval, and language grounding in video. Theme 2 (Visual Computing for Automated Navigation): We develop methodology to enable more accurate, reliable, and robust perception of the visual world for automated navigation applications (e.g. self-driving cars and UAVs). In this theme, we tackle research problems such as object tracking, segmentation, and detection in 3D data, as well as transfer learning from simulation (sim2real). Theme 3 (Fundamentals/Foundations): In this theme, we tackle fundamental research problems in CV and ML that transcend specific applications with focus on deep network theory/analysis (e.g. robustness, certification, and interpretability) and structured optimization methods for large-scale CV/ML problems. Throughout the talk, I will highlight some of the interesting projects at IVUL to encourage students to get interested in the research field.

We will discuss the Lipschitz extension problem, its solution via MacShane-Whitney extensions, and its several drawbacks, leading to the notion of AMLE (Absolutely Minimizing Lipschitz Extension). We then present a rigorous and detailed analysis of the equivalence between being absolutely minimizing Lipschitz and enjoying comparison with cones. Finally, we explore some consequences of this geometric notion, chiefly the derivation of a Harnack inequality.