Lukas Larisch, a KAUST Ph.D. student in Computer Science working under the supervision of Professor Gabriel Wittum, won the PACE 2017 Parameterized Algorithms and Computational Experiments Challenge. The award ceremony that took place in Vienna, Austria, at the beginning of September this year has been held during the ALGO Congress at the International Symposium on Parameterized and Exact Computation (IPEC 2017).
Advances in how science is presented means that visual tools can inspire research, as well as make its results accessible to the world.
Modeling leads to a better understanding of the role El Niño plays in increasing rainfall along the coast of the Red Sea.
A systematic approach to selecting and configuring statistical models improves predictions of extreme events.
Wind intensities and wave heights in the Red Sea are decreasing over time—potential for a significant impact on its ecosystem.
With the recent emergence of software-defined networking, which brings programmability and lowers the barrier for new functionalities into networks, the academic and industry communities have become very interested in the problem of network verification.
We live in a connected world where networked systems play an increasingly important role. These systems, which are the foundational pillars of our modern digital lives, are the result of some remarkable technological advancements and progress in computer science over the past three decades.
An efficient wireless signal optimization scheme achieves peak performance for next-generation mobile communications.
A statistical model that accounts for common dependencies in spatial data yields more realistic results for studies of temperature, wind and pollution levels.
A new approach to analyzing household electricity: smart-meter data could improve the performance and efficiency of national power grids.
The ultimate answer is ScaleMine, cost-effective and agile scalable parallel frequent subgraph mining in a single large graph. Panagiotis Kalnis, Professor of Computer Science (CS), and the team from the KAUST Extreme Computing Research Center (ECRC), under the Computer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division signed this novel approach.
Prof. David Keyes and his team proposed a GPUs light architecture to solve systems of multiple equations involving a large amount of data. Broadly used in computer gaming, mobile, and PC graphics - GPUs allow customizing an effective result-driven support to create a computational framework for increasing the number of processors while reducing the memory required to temporarily store the data.
A highly efficient mathematical solver designed to run on graphics processors gives scientists and engineers a powerful new tool for a common computational problem.
Searching for recurring patterns in network systems has become a fundamental part of research and discovery in fields as diverse as biology and social media. KAUST researchers have developed a pattern or graph-mining framework that promises to significantly speed up searches on massive network data sets.
Advanced numerical models are helping researchers identify potential sites to exploit offshore wind and wave energy in the Red Sea region.