CEMSE Weekly Updates - April 29, 2025

Stay informed about the upcoming events and the latest news from CEMSE.

Upcoming Events

Future of Semiconductors Forum 2025 | KAUST

-

Building 20

Join global leaders at KAUST to shape the next era of semiconductor technologies.

On Complexity of Decision Trees for Decision Tables from Closed Classes

-

B5 L5 R5220

This thesis considers classes of decision tables closed under operations of removal of attributes (columns) and changing of decisions and study for the tables from these classes relationships among the minimum complexity of deterministic and nondeterministic decision trees and the complexity of the set of attributes attached to columns of the table, while also analyzing the algorithms for constructing decision trees for these decision tables.

Autonomy at the Edge of Capabilities: Uncertain Environments, Limited Resources, Difficult Missions

-

B5 L5 R5209

This seminar introduces a planning strategy for complex autonomous systems that integrates machine learning with structure-driven abstraction and mission decomposition to achieve computationally tractable, scalable, and high-performing policies despite environmental and agent constraints.

Relations between Decision Trees and Decision Rule Systems

-

B5 L5 R5220

This thesis investigates the complex transformation of decision rule systems into decision trees, establishing bounds on tree depth, developing polynomial-time path-finding algorithms and an optimal dynamic programming algorithm for minimum depth, and analyzing time-space complexity trade-offs for trees over infinite binary information systems.

AI for Chips and Chips for AI

-

B9 L2 R2325

This seminar presents a unified "AI for Chips & Chips for AI" approach, demonstrating how AI enhances semiconductor design while specialized silicon accelerates AI computation, creating a rapid innovation cycle.

First-Order Mean-Field Games with Entry-Exit Flow Constraints and Contact-Set Conditions

-
This dissertation develops and rigorously analyzes first-order mean-field game models incorporating novel mixed boundary conditions to realistically represent population dynamics in bounded domains by eliminating unrealistic entry phenomena that are typically induced by standard Dirichlet conditions.

A Statistical Construction of the Finite Element Method

-

B 2/3 L0 R 0215

This talk will present a formal statistical construction and mathematical analysis of the FEM which systematically blends both mathematical description with observational data and provides both small and large scale examples from 3D printed structures to working rail bridges currently operated by the United Kingdom Network Rail.

The 2025 Iberian Blackout: Anatomy of a Grid Collapse

-

B9 L2 R2322

This talk provides a data-informed timeline of the April 28 Iberian blackout, examining how system conditions and possible instabilities may have shaped the cascade of events.

Data Centric Engineering: Hype or Transformation and Engineering the Future?

-

B 2/3 L0 R 0215

This talk will highlight the role of recent advances in the Data Sciences and related Artificial Intelligence technologies and how they are transforming the study and practice of the natural, physical, and engineering sciences.

Current and Future Challenges and Solutions in AI & HPC System and Thermal Management

-

B4 L5 R5209

Led by expert Dr. Gamal Refai Ahmed, this course explores innovative thermal management and packaging solutions for AI and HPC systems, addressing current and future challenges with cutting-edge techniques and next-generation design principles.

High-Mobility Back-End-of-Line Compatible Indium Oxide Thin-Film Transistors for Monolithic 3D Integration

-

B2 L5 R5209

This dissertation develops strategies for fabricating high-performance, low-temperature processed indium oxide thin-film transistors for monolithic 3D integration, achieving record mobility and stability through optimized annealing, passivation, and channel engineering techniques.

Modeling and Simulation of Carbon Dioxide Storage in Geological Layers

-

B5 L5 R5220

This dissertation advances large-scale simulation of carbon dioxide storage by developing a novel mathematical model and numerical schemes, which are validated by benchmark and real-world cases.

Vecchia Approximations of Gaussian Processes on GPUs for Scalable Spatial Modeling and Computer Model Emulation

-

B9 L2 R2325

This seminar introduces GPU-accelerated Vecchia approximations to overcome Gaussian Process computational limits, enabling scalable applications for large geospatial datasets and high-dimensional computer model emulations.

Spatiotemporal Machine Learning for Real-world Complex Systems: Enhancing Smart Transportation with Robust AI

-

B1 L4 R4214

This seminar introduces advanced machine learning approaches, including tensor methods for modeling high-dimensional mobility data and deep learning techniques designed to handle data corruptions, aiming to improve the reliability of spatiotemporal analytics for smarter transportation systems.

Optimization Methods and Software for Federated Learning

-

B5 L5 R5209

This dissertation identifies five key challenges in Federated Learning (FL), including data and device heterogeneity, communication issues, privacy concerns, and software implementations. More broadly, our work serves as a guide for researchers navigating the complexities of translating theoretical methods into efficient real-world implementations, while also offering insights into the reverse process of adapting practical implementation aspects back into theoretical algorithm design.

News Highlights