output
20002026
most citedA Deep Learning Framework for Optimization of MISO Downlink Beamforming

367 citations

64 papers

math.NA2026

A semi-implicit double-point Material Point Method for both free-surface flow and seepage in deformable porous media

Mian Xie, Pedro Navas, Susana López-Querol

A new semi-implicit, two-phase, double-point formulation of the Material Point Method (MPM) for soil-water interaction with seepage and free-surface flows under large deformation i…

cs.GL2026

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer

Jonathan P. Bowen, Henri Habrias

Jean-Raymond Abrial is one of the central figures in the development of formal methods for software and systems engineering. Over a career spanning more than five decades, he has p…

cs.CL2025

An Expert-grounded benchmark of General Purpose LLMs in LCA

Artur Donaldson, Bharathan Balaji, Cajetan Oriekezie +2

Purpose: Artificial intelligence (AI), and in particular large language models (LLMs), are increasingly being explored as tools to support life cycle assessment (LCA). While demons…

cs.DC2024★ 4 cited

GreenBytes: Intelligent Energy Estimation for Edge-Cloud

Kasra Kassai, Tasos Dagiuklas, Satwat Bashir +1

This study investigates the application of advanced machine learning models, specifically Long Short-Term Memory (LSTM) networks and Gradient Booster models, for accurate energy co…

cs.LG2024★ 3 cited

Architectural Blueprint For Heterogeneity-Resilient Federated Learning

Satwat Bashir, Tasos Dagiuklas, Kasra Kassai +1

This paper proposes a novel three tier architecture for federated learning to optimize edge computing environments. The proposed architecture addresses the challenges associated wi…

math.NA2024★ 8 cited

A Stabilised Semi-Implicit Double-Point Material Point Method for Soil-Water Coupled Problems

Mian Xie, Pedro Navas, Susana Lopez-Querol

A semi-implicit two-phase double-point Material Point Method (MPM) formulation, based on the incremental fractional-step method to model large deformation geotechnical problems has…