In modern Industry 4.0 environments, real-time scheduling presents a complex challenge requiring both formal correctness guarantees and optimal performance. Background: Traditional approaches fail to provide an optimal integration between formal correctness guaranteeing and optimization, and...

Exchange rate forecasting is an important issue in financial market analysis. Currency rates form a dynamic network of connections that can be efficiently modeled using graph neural networks (GNNs). The key mechanism of GNNs is the message passing between nodes, allowing for better modeling of...

Fine-grained spatial data are critical for informed decision-making in domains ranging from economic planning to environmental management. However, many statistics are only available for coarse administrative units, necessitating techniques for fine-scale spatial disaggregation. This paper...

Systemic risk in banking systems arises from losses transmitted through networks of contractual exposures. Yet, most widely used measures rely on market-implied volatility and equity prices rather than structural balance sheet fragilities. This paper develops a flow network framework that models...