Mean-field games MFG are models of large populations of rational agents who seek to optimize an objective function that takes into account their state variables and the distribution of the state variable of the remaining agents. MFG with congestion model problems where the agents’ motion is hampered in high-density regions. First, we study radial solutions for first- and second-order stationary MFG with congestion on R^d. Next, we consider second-order stationary MFG with congestion and prove the existence of stationary solutions. Additionally, we study first-order stationary MFG with congestion with quadratic or power-like Hamiltonians.

The aim of the course is to give a self contained introduction, at the level of a graduate course, to the stability of the isoperimetric inequality and other related geometric and functional inequality such as the Sobolev inequality, the Faber-Krahn and the Brunn-Minkowski inequality.  Lecture 3: I will present Fuglede’s proof of the quantitative isoperimetric inequality for convex and for nearly spherical sets

The design of laser-based optical sensors relies heavily on precise spectroscopic knowledge of atomic and molecular absorption transitions. Accurate spectroscopic information is invaluable in several fields such as biology, chemistry, astronomy, and environmental science. Within the electromagnetic spectrum, the mid-infrared (MIR) region can enable sensors with higher sensitivity due to the stronger absorption cross-sections. Moreover, MIR spectral transitions correspond to the fundamental vibrational motions of the molecules and are thus considered fingerprints of the molecular structure. Vibrational bands contain many rotational transitions, resulting in fine-splitting of spectral bands, particularly in gaseous samples. In order to resolve the fine rotational structure of vibrational bands, high-resolution MIR spectrometers are needed.

Non-orthogonal multiple access (NOMA) has recently emerged not only as a new design of multiple access techniques in cellular networks, but also as a general principle of network architecture for applications beyond cellular systems. This talk will present and discuss the fundamentals of NOMA, and examine how it can be combined with other emerging communication technologies. Some new research trends and challenges will also be discussed.

The aim of the course is to give a self contained introduction, at the level of a graduate course, to the stability of the isoperimetric inequality and other related geometric and functional inequality such as the Sobolev inequality, the Faber-Krahn and the Brunn-Minkowski inequality. Lecture 2: I will present De Giorgi’s proof of the isoperimetric inequality and comment on other proofs of the isoperimetric inequality

“KAUST Smart” is a newly launched program intended to facilitate the design and implementation of digital experiences that will be developed in partnership with leading technology companies and the tremendous talent of KAUST.  These unique solutions will be piloted and tested utilizing the KAUST community as a living laboratory and showcased to the rest of the world as an example of how KAUST is a global innovation leader.

Complex geometries, non-smooth surface-effects, non-linear and heterogeneous material behaviour, and coupled multi-physics problems pose fundamental challenges for numerical simulation methods - may it be on the mathematical or on the software sie. In this talk, we will present and discuss multi-scale approaches for the efficient  solution  of smooth and non-smooth  large scale non-linear systems, and we will comment on how to realize them in modern and HPC-friendly scientific software. Particular emphasis will be put on the design and construction of non-standard  approximation and model hierarchies for  non-linear problems, which then will be exploited for designing efficient solution methods in space, time, and space-time. 

The aim of the course is to give a self contained introduction, at the level of a graduate course, to the stability of the isoperimetric inequality and other related geometric and functional inequality such as the Sobolev inequality, the Faber-Krahn and the Brunn-Minkowski inequality. Lecture 1: I will introduce some basic notions of the theory of sets of ignite perimeter and of geometric measure theory.

Specifically, I will introduce hyperspectral image restoration and its impacts on content interpretation. Despite advances in sensor technologies, degradation (e.g., noise, blur, low resolution, etc.) cannot be avoided during the hyperspectral images’ acquisitions, which can affect information retrieval and content interpretation. The first part of my talk will present the techniques I developed to improve the image qualities (noise reduction, sharpening, resolution enhancement, etc.), with specific applications to plant disease mapping in precision agriculture and fruit bruise detection in food inspection.

Abstract

Stochastic conserv

Different scientific branches have the potential to develop topics which would provide visibility and fame. However, comparable if not greater milestones can be achieved when researchers from totally different fields join their efforts. This seminar will summarize the scientific journey of a former member of KAUST, which spent three years here as a postdoc in statistics coming from a pure geological background, combining the best out of the two worlds. Examples of the latest researches will be provided in the context of space, time and space-time statistics, bridging it with the underlying geoscientific research questions.

This work investigates the problem of transfer from simulation to the real world in the context of autonomous navigation. To this end, we first present a photo-realistic training and evaluation simulator Sim4CV which enables several applications across various fields of computer vision. Built on top of the Unreal Engine, the simulator features cars and unmanned aerial vehicles (UAVs) with a realistic physics simulation and diverse urban and suburban 3D environments. We demonstrate the versatility of the simulator with two case studies: autonomous UAV-based tracking of moving objects and autonomous driving using supervised learning.

With the growing cyber-security threats to governmental and organizational infrastructures, the need to develop high resilient systems that preserve the security and privacy of data is becoming increasingly important. Although there is a large body of work on security and privacy countermeasures, cyber-attacks still persist. A prominent type of such attacks is intrusion attack that aims at data tampering, which can impair the availability and the integrity of data.

Joint models have received increasing attention during recent years with extensions into various directions; numerous hazard functions, different association structures, linear and non-linear longitudinal trajectories amongst others. They gained popularity amongst practitioners by the ability to incorporate various data sources. In this talk, we will introduce joint models and provide some conceptual ideas about their use and necessity. Also, we will illustrate how these models can be formulated as Latent Gaussian Models and hence be implemented using R-INLA.

With the ever-growing data sizes along with the increasing complexity of the modern problem formulations, there is a recent trend where heuristic approaches with unverifiable assumptions are overtaking more rigorous, conventional optimization methods at the expense of robustness. This trend can be overturned when we exploit dimensionality reduction at the core of optimization. I contend that even the classical convex optimization did not reach yet its limits of scalability.

I will highlight the main contributions in the field of coded cooperative communications, where at first a study on the performance analysis of network-coded distributed coding schemes with different strategies for handling the relay-error propagation problem will be presented. Furthermore, a study proposing a relay selection scheme based on network-coded soft information relaying will be presented. The introducing of the Rayleigh-Gaussian model, which is applied to the forwarded relay soft symbols, have shown ability to give better performance in dealing with error propagation, and allowed us to give a tractable performance analysis of network-coded schemes under Rayleigh fading channels.

We will start by introducing  the notion of Gamma-convergence and its main properties. We will then show how this can be applied  to the study of homogenization of integral functionals. This includes, as a particular case, the homogenization of uniformly elliptic PDEs. Lecture 3: (1) Compactness; (2) Application of the compactness result; 93) The homogenisation theorem.

Optimal experimental design for parameter estimation is a fast-growing area of research. Let us consider the experimental goal to be the inference of some attributes of a complex system using measurement data of some chosen system responses, and the optimal designs are those that maximize the value of measurement data. The value of data is quantified by the expected information gain utility, which measures the informativeness of an experiment. Often, a mathematical model is used that approximates the relationship between the system responses and the model parameters acting as proxies for the attributes of interest.

We will start by introducing  the notion of Gamma-convergence and its main properties. We will then show how this can be applied  to the study of homogenization of integral functionals. This includes, as a particular case, the homogenization of uniformly elliptic PDEs. Lecture 2: (1) Integral functionals with p growth, 1 < p < 1; The localisation method of Gamma-convergence; Integral representation.

We will start by introducing  the notion of Gamma-convergence and its main properties. We will then show how this can be applied  to the study of homogenization of integral functionals. This includes, as a particular case, the homogenization of uniformly elliptic PDEs. Lecture 1: (1) The homogenisation problem; (2) Gamma-convergence - definition, main properties, examples, comparison with pointwise limit; (3) Lower semicontinuity, lower semicontinuous envelope; (4) Coercivity

Knowledge Graph (KG) is a large-scale semantic network consisting of entities/concepts as well as the semantic relationships among them, which could be considered as a concise version of Semantic Web. Recently KG is emerging as a hot topic of knowledge discovery and management under artificial intelligence, facilitating semantic computing. Causal relation is a reflection of user behaviours with backend intention, which is related another emerging hot topic – recommendation interpretability. This talk will cover the recent research progresses in these two areas and highlight some open research challenges in recommender systems.

Designing a secure permissionless distributed ledger that performs on par with centralized payment processors such as Visa is challenging. Most existing distributed ledgers are unable to "scale-out" -- growing total processing capacity with number of participants -- and those that do compromise security or decentralization. This work presents OmniLedger, the first scale-out distributed ledger that can preserve long-term security under permissionless operation. OmniLedger ensures strong correctness and security by using a bias-resistant public randomness protocol to choose large statistically representative shards to process transactions, and by introducing an efficient cross-shard commit protocol to handle transactions affecting multiple shards atomically.

We study a simple learning dynamic model of routing (congestion) games to explore the effects of increasing the total demand on system performance. We focus on the most benign setting, non-atomic routing games with two parallel edges of linear cost, where all agents evolve using Multiplicative Weights Updates with a fixed learning rate.

The first joint workshop between KAUST and Prince Mohammad Bin Salman College (MBSC). Presenters from both institutions will introduce their research projects in areas such as Game Theory, Operations Research, Finance, and Business & IT Operations. To download the Workshop's Program and Abstract Book click here.

III-Nitride-based light-emitting diodes (LEDs) are already commercialized for instance blue and green LEDs. It is very contributed as energy saving light source all over the world. This material is a very attractive material, capable of the emitting range is not only blue light but also UV and visible light. Moreover, application as a power device is also possible, it is one of the materials considered to lead the energy saving society in the future. Visible light LED has a wide range of applications. Visible light LED has a wide range of applications. we expect that there is some application, for instance, μ-LED display, optical communication, plant cultivation, medical treatment, and so on. In the seminar, I will talk about III-Nitride-based visible light emitting devices and introduce recent research with outstanding metalorganic chemical vapor deposition (MOCVD) growth technique.