Search Results

Publication Catalog - All

Refine Results
  1. 1

    TriSig

    Publication
    by Alexandre, Leonardo
    Other Authors: Costa, Rafael S.; Henriques, Rui
    Tensor data analysis allows researchers to uncover novel patterns and relationships that cannot be obtained from tabular data alone. The information inferred from multi-way patterns can offer valuable insights into disease progression, bioproduction processes, behavioral responses, weather fluctuations, or social dynamics. However, spurious patterns often hamper this process. This work aims at proposing a statistical frame to assess the probability of patterns in tensor data to deviate from null expectations, extending well-established principles for assessing the statistical significance of patterns in tabular data. A principled discussion on binomial testing to mitigate false positive discoveries is entailed at the light of: variable dependencies, temporal associations and misalignments, and multi-hypothesis correction. Results gathered from the application of triclustering algorithms over distinct real-world case studies in biotechnological domains confer validity to the proposed statistical frame while revealing vulnerabilities of reference triclustering searches. The proposed assessment can be incorporated into existing triclustering algorithms to minimize spurious occurrences, rank patterns, and further prune the search space, reducing their computational complexity.
    2024 article Portugal open access
  2. 2

    Concept paper on novel radio frequency resistive switches

    Publication
    by Kiazadeh, Asal
    Other Authors: Deuermeier, Jonas; Carlos, Emanuel; Martins, Rodrigo; Matos, Sérgio; Cardoso, Fábio Martinho et al.
    For reconfigurable radios where the signals can be easily routed from one band to another band, new radio frequency switches (RF) are a fundament. The main factor driving the power consumption of the reconfigurable intelligent system (RIS) is the need for an intermediate device with static power consumption to maintain a certain surface configuration state. Since power usage scales quadratically with the RIS area, there is a relevant interest in mitigating this drawback so that this technology can be applied to everyday objects without needing such a high intrinsic power consumption. Current switch technologies such as PIN diodes, and field effect transistors (FETs) are volatile electronic devices, resulting in high static power. In addition, dynamic power dissipation related to switching event is also considerable. Regarding energy efficiency, non-volatile radio frequency resistive switch (RFRS) concept may be better alternative solution due to several advantages: smaller area, zero-hold voltage, lower actuation bias for operation, short switching time, scalability and capable to be fabricated in the backend-of-line of standard CMOS process.
    2024 conference output Portugal open access
  3. 3

    Developing a Computer System Prototype to Support Aphasia Rehabilitation

    Publication
    by Nogueira, Nuno
    Other Authors: Mamede, Henrique Pereira S.; Santos, Vitor; Malta, Pedro Maia; Santos, Carolina
    The purpose of this study is to describe the construction process and the evidence of content validity of SCARA, a prototype of a technological system to support language and communication rehabilitation in people with aphasia, providing a tool that serves both patients and health professionals who accompany the respective recovery process. The process followed four stages: internal phase of the program's organization, with research in the literature and analysis of the materials available in the Portuguese market; construction of the SCARA prototype; evaluation by experts; and data analysis. A Content Validity Index was calculated to determine the level of agreement between the experts. The level of agreement between experts showed the validity of SCARA. SCARA has shown to help the work of the speech-language pathologist and persons with aphasia, contributing to a higher therapeutic quality, enhancing linguistic recovery, and compensating for the impossibility of direct support more frequently and/or prolonged intervention.
    2022 conference output Portugal open access
  4. 4

    Maximum likelihood localization of a network of moving agents from ranges, bearings and velocity measurements

    Publication
    by Valdeira, Filipa
    Other Authors: Soares, Cláudia; Gomes, João
    Localization is a fundamental enabler technology for many applications, like vehicular networks, IoT, and even medicine. While Global Navigation Satellite Systems solutions offer great performance, they are unavailable in scenarios like indoor or underwater environments, and, for large networks, the instrumentation cost is prohibitive. We develop a localization algorithm from ranges and bearings, suitable for generic mobile networks. Our algorithm is built on a tight convex relaxation of the Maximum Likelihood position estimator. To serve positioning to mobile agents, a horizon-based version is developed accounting for velocity measurements at each agent. To solve the convex problem, a distributed gradient-based method is provided. This constitutes an advantage over centralized approaches, which usually exhibit high latency for large networks and present a single point of failure. Additionally, the algorithm estimates all required parameters and effectively becomes parameter-free. Our solution to the dynamic network localization problem is theoretically well-founded and still easy to understand. We obtain a parameter-free, outlier-robust and trajectory-agnostic algorithm, with nearly constant positioning error regardless of the trajectories of agents and anchors, achieving better or comparable performance to state-of-the-art methods, as our simulations show. Furthermore, the method is distributed, convex and does not require any particular anchor configuration.
    2024 article Portugal open access
  5. 5

    Liminal Procedural Horror

    Publication
    by De Andrade, Diogo
    Other Authors: Lopes, Phil; Fachada, Nuno
    This article introduces a method for exploring liminal horror environments using a modified Wave Function Collapse algorithm. This approach employs real-time generated regions to create infinite, non-deterministic environments, removing the feeling of security due to familiarity. An eventdriven system further reinforces unpredictability by dynamically integrating horror experiences. While still in an exploratory stage, this method provides a foundation for future research on how architectural structures, unpredictability, and environmental cues contribute to unsettling experiences in games.
    2025 conference output Portugal embargoed access
  6. 6

    Comparing stacking ensemble techniques to improve musculoskeletal fracture image classification

    Publication
    by Kandel, Ibrahem
    Other Authors: Castelli, Mauro; Popovič, Aleš
    Bone fractures are among the main reasons for emergency room admittance and require a rapid response from doctors. Bone fractures can be severe and can lead to permanent disability if not treated correctly and rapidly. Using X-ray imaging in the emergency room to detect fractures is a challenging task that requires an experienced radiologist, a specialist who is not always available. The availability of an automatic tool for image classification can provide a second opinion for doctors operating in the emergency room and reduce the error rate in diagnosis. This study aims to increase the existing state-of-the-art convolutional neural networks’ performance by using various ensemble techniques. In this approach, different CNNs (Convolutional Neural Networks) are used to classify the images; rather than choosing the best one, a stacking ensemble provides a more reliable and robust classifier. The ensemble model outperforms the results of individual CNNs by an average of 10%.
    2021 article Portugal open access
  7. 7

    Embedded LSTM-autoencoder for FFT-guided BLDC motor fault detection

    Publication
    by Matos-Carvalho, João P.
    Other Authors: Damião, Francisco; Stefenon, Stefano Frizzo; Seman, Laio Oriel; Polat, Abdullah; Calciati, Paolo et al.
    High-throughput production of Brushless DC (BLDC) motors requires reliable, low-latency detection of nonconforming units (Abnormal) before integration into final products. This study, conducted in the scope of the R-PODID project, addresses embedded anomaly detection for an AI-enabled motor control board with a dual-processor architecture. The proposed pipeline is tailored to on-device constraints, where only on-board electrical measurements are available, and deliberately focuses on the three-phase current signals. More specifically, it (i) characterizes the current signals in the frequency domain to motivate segmentation and down-sampling, (ii) performs preprocessing focused on the steady-state regime, and (iii) deploys an LSTM-based autoencoder on a resource-constrained STM32H563 microcontroller using X-CUBE-AI. Experimental results on factory datasets comprising nominal (Normal) and faulty (Abnormal) motors show that frequency-informed decimation to 625 Hz preserves discriminative content while enabling on-device inference with sub-second latency and modest memory usage (70 kB RAM, 490 kB Flash). The proposed embedded configuration achieved a mean accuracy of 96.04% across runs, while maintaining compatibility with the memory and timing constraints of the target platform. Design trade-offs relevant to TinyML deployment are also discussed, including steady-state selection, anti-aliasing, percentile-based thresholding, and the impact of window size on accuracy and runtime. Overall, the results support the feasibility of embedded reconstruction-based anomaly detection for BLDC motor production testing under resource constraints.
    2026 article Portugal open access
  8. 8

    Synergy of Art, Science, and Technology

    Publication
    by Chen, Ailin
    Other Authors: Jesus, Rui; Vilarigues, Márcia
    In recent years, there has been growing interest in taking advantage of the technological progress in information technology and computer science to enhance the synergy between multidisciplinary organisations with a mutual objective of improving scientific knowledge and engaging society in cultural activities. Such an example of collaboration networks includes those where governmental, scientific and cultural institutions work in unison to provide services that support research through the use of technology while disseminating information and promoting cultural heritage. Here, we present a case study implementing the results of the work between multidisciplinary departments of the NOVA University Lisbon and third-party cultural heritage organisations. In particular, a mobile and desktop PC application uses augmented reality to showcase results obtained from analysis of artwork by Amadeo de Souza-Cardoso using artificial intelligence. The mobile application is intended to be used to enhance museum visitors’ experience and strengthen the link between scientific, governmental, and heritage organisations.
    2025 article Portugal open access
  9. 9

    Intuitionistic Metric Temporal Logic

    Publication
    by Sá, Luiz de
    Other Authors: Toninho, Bernardo; Pfenning, Frank
    We develop Intuitionistic Metric Temporal Logic (IMTL) that extends prior work on intuitionistic temporal logics in two ways: (1) it generalizes discrete time to dense time with intervals so it can, for example, express the duration of signals, and (2) every proof corresponds to a temporal computation. Our main technical result is a syntactic proof of cut elimination for IMTL, which entails logical consistency and ensures that every proof executes while respecting the flow of time. Cut reductions in IMTL correspond to temporal interactions, although we do not fully develop a programming language in this paper. Beyond the metatheory of IMTL, we illustrate the computational meaning of IMTL proofs by developing examples and a small case study where we apply IMTL to well-timed digital circuit design.
    2023 conference output Portugal open access
  10. 10

    Unification of Closed-Open Industrial Detection Scenarios

    Publication
    by Zhang, Zekai
    Other Authors: Zhang, Jinglin; Chen, Qinghui; Li, Gang; Chen, Da; Jing, Shuainan et al.
    Large-scale Visual-Language Models (LVLMs) have achieved remarkable success in natural visual tasks, yet their application to industrial defect detection remains challenging due to two fundamental limitations: (i) the scarcity of large-scale industrial datasets that cover diverse defect categories across multiple domains, and (ii) the reliance on manual prompts (points, boxes, masks) that introduce subjective noise and lack text-visual interaction for fine-grained understanding. To address these challenges, we introduce a Large-Scale Multi-Modal Industrial Open-Closed benchmark (MMIOC-1M) containing over one million samples across 14 super-categories, 29 industrial scenes, and 351 defect subcategories. To our knowledge, MMIOC-1M is the first unified largest benchmark supporting both open-vocabulary and closed-set industrial detection, providing valuable pre-training data for LVLMs in industrial scenarios. Furthermore, we propose a Refined Text-Visual Prompt Network (RTVPNet) that incorporates three key innovations: (1) an expert-assisted domain projection mechanism that enables rapid adaptation of general vision models to industrial domains, (2) an energy-based sparse sampling strategy that automatically generates refined visual prompts without manual intervention, and (3) a bidirectional text-visual interaction module that enhances cross-modal semantic alignment and understanding. Extensive experiments demonstrate that RTVPNet achieves state-of-the-art performance on MMIOC-1M, LVIS, and COCO benchmarks while maintaining computational efficiency. The dataset and code are available at https://github.com/hellozzk/MMIO.
    2026 article Portugal embargoed access