Abstract

Abstract
Ensuring robustness in time series classification remains a critical challenge for safety-sensitive domains like clinical decision systems. While current evaluation practices focus on accuracy measures, they fail to address model stability under semantically meaningful input deformations. We propose tsMIST (Time Series Model Sensitivity Test), a novel morphing-based framework that systematically evaluates classifier resilience through controlled interpolation between adversarial class prototypes. By calculating the switchThreshold – defined as the minimal morphing distance required to flip predictions – our method reveals critical stability patterns across synthetic benchmarks with tunable class separation and 17 medical time series datasets. Key findings show convolutional architectures (ROCKET) maintain optimal thresholds near 50% morphing (48.2±3.1%), while feature-based models (Catch22) exhibit premature decision flips at 22.7% deformation (±15.4%). In clinical scenarios, tsMIST detected critical ECG misclassifications triggered by =12% signal variation – vulnerabilities undetected by accuracy measures. Our results establish that robustness measures must complement accuracy for responsible AI in high-stakes applications. This work advances ML evaluation practices by enabling systematic sensitivity analysis, with implications for model auditing and deployment in safety-critical domains. © 2025 Elsevier B.V., All rights reserved.

Abstract
We describe RebeCaos, a user-friendly web-based front-end tool for the Rebeca language, based on the Caos library for Scala. RebeCaos can simulate different operational semantics of (timed) Rebeca, thus facilitating the dissemination and awareness of Rebeca, providing insights into the differences among existing semantics for Rebeca, and supporting quick experimentation of new Rebeca variants (e.g., when the order of received messages is preserved). The tool also comes with initial reachability analyses for Rebeca models (e.g., the possibility of reaching deadlocks or desirable states). We illustrate the RebeCaos tool by means of a ticket service use case from the timed Rebeca literature.

Abstract
Advancements in large language model (LLM)-based conversational assistants have transformed search experiences into more natural and context-aware dialogues that resemble human conversation. However, limited access to interaction log data hinders a deeper understanding of their real-world usage. To address this gap, we analyzed 16,952 prompt logs from 904 unique users of Labadain Chat, an LLM-based conversational assistant designed for Tetun speakers, to uncover patterns in user search behavior, engagement, and intent. Our findings show that most users (29.87%) spent between one and five minutes per session, with an average of 43 unique daily users. The majority (93.97%) submitted multiple prompts per session, with an average session duration of 16.9 minutes. Most users (95.22%) were based in Timor-Leste, with education and science (28.75%) and health (28.00%) being the most searched topics. We compared our findings with a study on Google Bard logs in English, revealing similar search characteristics-including engagement duration, command-based instructions, and requests for specific assistance. Furthermore, a comparison with two conventional search engines suggests that LLM-based conversational systems have influenced user search behavior on traditional platforms, reflecting a broader trend toward command-driven queries. These insights contribute to a deeper understanding of how user search behavior evolves, particularly within low-resource language communities. To support future research, we publicly release LabadainLog-17k+, a dataset of over 17,000 real-world user search logs in Tetun, offering a unique resource for investigating conversational search in this language.

Abstract
A comparative analysis of Ka and D-band unit cells is presented using a Waveguide Simulator and infinite array models with a Floquet port. Initially, a single-unit cell design is employed with a tapered transition section. Subsequently, a 1 x 2-unit cell is designed and integrated into standard rectangular waveguides WR-34 and WR-7. For the Ka-band, the results obtained from both models exhibit excellent agreement in terms of magnitude and phase. In the D-band, the 1 x 2-unit cell demonstrated low loss for both techniques, and the phase responses were reasonably accurate with differences of less than 40 degrees. At such high frequencies (145-175 GHz), the Waveguide Simulator offers a viable solution for assessing the behavior of the unit cell without the need for a full array.

Abstract
With the recent advancements in the development of hybrid offshore parks and the expected large-scale implementation of them in the near future, it becomes paramount to investigate proper energy management strategies to improve the integrability of these parks into the power systems. This paper addresses a multiobjective energy management approach using a hybrid energy storage system comprising batteries and hydrogen/fuel-cell systems applied to multi-source wind-wave and wind-solar offshore parks to maximize the delivered energy while minimizing the variations of the power output. To find the solution of the optimization problem defined for energy management, a strategy is proposed based on the examination of a set of weighting factors to form the Pareto front while the problem associated with each of them is assessed in a mixed-integer linear programming framework. Subsequently, fuzzy decision making is applied to select the final solution among the ones existing in the Pareto front. The studies are implemented in different locations considering scenarios for electrical system limitation and the place of the storage units. According to the results, applying the proposed multiobjective framework successfully addresses the enhancement of energy delivery and the decrease in power output fluctuations in the hybrid offshore parks across all scenarios of electrical system limitation and combinational storage locations. Based on the results, in addition to the increase in delivered energy, a decrease in power variations by around 40 % up to over 80 % is observed in the studied cases.