Abstract
The integration of renewable energy into sustainability metrics is essential for achieving the Sustainable Development Goals (SDGs), particularly in regions aiming to balance energy efficiency, waste management, and urban development. This study explores the application of multicriteria decision-making and statistical techniques to evaluate municipal sustainability, with a focus on renewable energy, using the Alto Minho region of Portugal as a case study. The analysis incorporates 12 SDG indicators across ten municipalities, addressing energy consumption, urban renewal, and waste management. Cluster analysis revealed distinct groups of municipalities, highlighting disparities in sustainability performance. Municipalities such as Melgaço and Monção excelled in energy-related metrics, while others showed strengths in waste management and urban renewal. The Analytic Hierarchy Process (AHP) emphasized the importance of renewable energy indicators, revealing notable changes in rankings when energy-related criteria were prioritized. Ponte de Lima and Melgaço ranked highest under energy-focused weighting schemes, showcasing their leadership in energy efficiency and renewable adoption. The findings underscore the need for targeted policies to enhance sustainability across municipalities, particularly in regions lagging in energy performance.

Abstract

Abstract

Abstract

Abstract
This paper solves the resource-constrained project scheduling problem (RCPSP) with a satisfiability problem (SAT) solver. This paper builds further on various existing SAT models for this well-known project scheduling problem and extends them with two methods to satisfy the resource constraints. Specifically, we use the wellknown minimal forbidden sets and compare them with the so-called covers that are traditionally used in SAT implementations. Moreover, we also implement an existing binary decision trees approach under various settings and extend the model with networks with adders, so far never used for solving the RCPSP, to guarantee that resource constraints are satisfied. The algorithms are tested under different settings on a set of 13,413 project instances with diverse network and resource structures, and the experiments demonstrate that a combination of these approaches help in finding better solutions within a reasonable time. Moreover, 393 new lower bounds, 62 new upper bounds, and 290 optimally solved instances (including 18 from the PSPLIB) have been discovered, which, to the best of our knowledge, had not been found before. The strong performance of the new algorithm motivated additional experiments, and the preliminary results suggest several promising directions for future research.

Abstract
Automated seizure quantification and classification are needed for semiology-based epileptic seizure diagnosis support. To the best of our knowledge, the 5-class (Hypermotor, Automotor, Complex Motor, Psychogenic Non-Epileptic Seizures, and Generalized Tonic-Clonic Seizures) seizure video dataset (198 seizures from 74 patients) studied in this paper is the largest 5-class dataset ever curated, composed of monocular RGB videos from two university hospital epilepsy monitoring units. 2D skeletons were estimated using ViTPose, a vision transformer deep learning (DL) architecture, and lifted to 3D space using MotionBERT, a multimodal motion transformer architecture. The movements were quantified based on the estimated 3D skeleton sequences. Two approaches were evaluated for seizure classification: (1) classical machine learning methods (Random Forest (RF) and XGBoost) applied to quantified movement parameters, and (2) 2D skeleton-based DL using MotionBERT action, an action recognition DL model, to which we perform transfer-learning. The best model achieved a promising, above literature, 5-fold cross-validated macro average F1-score of 0.84 +/- 0.09 (RF) for 5-class classification. The binary case (Automotor vs Hypermotor) resulted in 0.80 +/- 0.18 (MotionBERT action), and adding a 3rd class (Complex motor) lowered to 0.65 +/- 0.14 (RF). This novel multi-stage classification ensures that the included movement features are traceable, allowing interpretable AI exploration of this novel approach supporting future clinical diagnosis.