Abstract
Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a homogeneous collection of values, but instead, to partition it in a way that is similar to data types in programming languages. We first define the new unification algorithm which is based on constraint generation and constraint solving, and then prove its main properties: termination, soundness, and completeness with respect to the semantics. Finally, we discuss how to apply this algorithm to a dynamically typed version of Prolog.

Abstract
Stroke, a vascular disorder affecting the nervous system, is the third-leading cause of death and disability combined worldwide. One in every four people aged 25 and older will face the consequences of this condition, which typically causes loss of limb function, among other disabilities. The proposed review analyzes the mechanisms of stroke and their influence on the disease outcome, highlighting the critical role of rehabilitation in promoting recovery of the upper limb (UL) and enhancing the quality of life of stroke survivors. Common outcome measures and the specific targeted UL features are described, along with emerging supplementary therapies found in the literature. Stroke survivors often develop compensatory strategies to cope with limitations in UL function, which must be detected and corrected during rehabilitation to facilitate long-term recovery. Recent research on the automated detection of compensatory movements has explored pressure, wearable, marker-based motion capture systems, and vision sensors. Although current approaches have certain limitations, they establish a strong foundation for future innovations in post-stroke UL rehabilitation, promoting a more effective recovery.

Abstract
This paper proposes an Artificial Intelligence (AI) driven solution, Chatto, designed for emotional support among older adults. It integrates emotion recognition, Natural Language Processing (NLP), and human-computer interaction (HCI) to facilitate meaningful interactions and aid in self-emotion regulation while providing caregivers with tools to monitor and support the elder's emotional state remotely. The proposal includes an infrastructure to personalize the system through a human labeling approach and retraining of the deep learning models. The findings revealed the solution's impact on the emotional well-being of the elderly and identified potential improvements in emotion detection, conversational features, and user interface. These improvements were based on feedback from feasibility and usability tests conducted with caregivers and older adults subject to the influence of demographic variables, such as age, cultural background, and technological literacy. © 2025 Elsevier B.V., All rights reserved.

Abstract
Anomaly Detection has been a significant field in Machine Learning since it began gaining traction. In the context of Computer Vision, the increased interest is notorious as it enables the development of video processing models for different tasks without the need for a cumbersome effort with the annotation of possible events, that may be under represented. From the predominant strategies, weakly and semi-supervised, the former has demonstrated potential to achieve a higher score in its analysis, adding to its flexibility. This work shows that using temporal ranking constraints for Multiple Instance Learning can increase the performance of these models, allowing the focus on the most informative instances. Moreover, the results suggest that altering the ranking process to include information about adjacent instances generates best-performing models.

Abstract
Large language model (LLM)-powered assistants are increasingly used for generating program code and unit tests, but their application in acceptance testing remains underexplored. To help address this gap, this paper explores the use of LLMs for generating executable acceptance tests for web applications through a two-step process: (i) generating acceptance test scenarios in natural language (in Gherkin) from user stories, and (ii) converting these scenarios into executable test scripts (in Cypress), knowing the HTML code of the pages under test. This two-step approach supports acceptance test-driven development, enhances tester control, and improves test quality. The two steps were implemented in the AutoUAT and Test Flow tools, respectively, powered by GPT-4 Turbo, and integrated into a partner company's workflow and evaluated on real-world projects. The users found the acceptance test scenarios generated by AutoUAT helpful 95% of the time, even revealing previously overlooked cases. Regarding Test Flow, 92% of the acceptance test cases generated by Test Flow were considered helpful: 60% were usable as generated, 8% required minor fixes, and 24% needed to be regenerated with additional inputs; the remaining 8% were discarded due to major issues. These results suggest that LLMs can, in fact, help improve the acceptance test process, with appropriate tooling and supervision.

Abstract
We live in an era where robotics and IoT represent a significant transition towards a unified and automated world. Nonetheless, this convergence faces challenges, including system compatibility and device interoperability. The lack of flexibility of conventional robotic architectures amplifies these obstacles, highlighting the urgency for solutions. Furthermore, the complexity of adopting new technologies can be overwhelming. To address these challenges, this article features a Robot Operating System (ROS2)-centered middleware, referred to as "Gateway"since it applies the concept of a gateway, designed to ease the robot integration. Focusing on the payload module and fostering several types of external communication, it enhances modularity and interoperability. Developers can select payloads and communication modes through a console, which the middleware subsequently configures, guaranteeing flexibility. The goal is to highlight this middleware's potential to overcome robotics limitations, allowing a flexible integration of robots. This work contributes to the Internet of Robotic Things (IoRT) matter, underscoring the importance of modular payload engineering and interoperable communication in robotics and IoT. © 2025 Elsevier B.V., All rights reserved.