Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2024

An adequacy theorem between mixed powerdomains and probabilistic concurrency

Authors
Neves, R;

Publication
CoRR

Abstract

2024

Digital Feedback Loop in Paraxial Fluids of Light: A Gate to New Phenomena in Analog Physical Simulations

Authors
Ferreira, TD; Guerreiro, A; Silva, NA;

Publication
PHYSICAL REVIEW LETTERS

Abstract
Easily accessible through tabletop experiments, paraxial fluids of light are emerging as promising platforms for the simulation and exploration of quantumlike phenomena. In particular, the analogy builds on a formal equivalence between the governing model for a Bose-Einstein condensate under the mean-field approximation and the model of laser propagation inside nonlinear optical media under the paraxial approximation. Yet, the fact that the role of time is played by the propagation distance in the analog system imposes strong bounds on the range of accessible phenomena due to the limited length of the nonlinear medium. In this Letter, we present an experimental approach to solve this limitation in the form of a digital feedback loop, which consists of the reconstruction of the optical states at the end of the system followed by their subsequent reinjection exploiting wavefront shaping techniques. The results enclosed demonstrate the potential of this approach to access unprecedented dynamics, paving the way for the observation of novel phenomena in these systems.

2024

Meta-TadGAN: Time Series Anomaly Detection Using TadGAN with Meta-features

Authors
Silva, IOe; Soares, C; Cerqueira, V; Rodrigues, A; Bastardo, P;

Publication
Progress in Artificial Intelligence - 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III

Abstract
TadGAN is a recent algorithm with competitive performance on time series anomaly detection. The detection process of TadGAN works by comparing observed data with generated data. A challenge in anomaly detection is that there are anomalies which are not easy to detect by analyzing the original time series but have a clear effect on its higher-order characteristics. We propose Meta-TadGAN, an adaptation of TadGAN that analyzes meta-level representations of time series. That is, it analyzes a time series that represents the characteristics of the time series, rather than the original time series itself. Results on benchmark datasets as well as real-world data from fire detectors shows that the new method is competitive with TadGAN. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

2024

Pest Detection in Olive Groves Using YOLOv7 and YOLOv8 Models

Authors
Alves, A; Pereira, J; Khanal, S; Morais, AJ; Filipe, V;

Publication
OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, PT II, OL2A 2023

Abstract
Modern agriculture faces important challenges for feeding a fast-growing planet's population in a sustainable way. One of the most important challenges faced by agriculture is the increasing destruction caused by pests to important crops. It is very important to control and manage pests in order to reduce the losses they cause. However, pest detection and monitoring are very resources consuming tasks. The recent development of computer vision-based technology has made it possible to automatize pest detection efficiently. In Mediterranean olive groves, the olive fly (Bactrocera oleae Rossi) is considered the key-pest of the crop. This paper presents olive fly detection using the lightweight YOLO-based model for versions 7 and 8, respectively, YOLOv7-tiny and YOLOv8n. The proposed object detection models were trained, validated, and tested using two different image datasets collected in various locations of Portugal and Greece. The images are constituted by sticky yellow trap photos and by McPhail trap photos with olive fly exemplars. The performance of the models was evaluated using precision, recall, and mAP.95. The YOLOV7-tiny model best performance is 88.3% of precision, 85% of Recall, 90% of mAP.50, and 53% of mAP.95. The YOLOV8n model best performance is 85% of precision, 85% of Recall, 90% mAP.50, and 55% of mAP.50 YOLO8n model achieved worst results than YOLOv7-tiny for a dataset without negative images (images without olive fly exemplars). Aiming at installing an experimental prototype in the olive grove, the YOLOv8n model was implemented in a Ubuntu Server 23.04 Raspberry PI 3 microcomputer.

2024

Enhancing Image Annotation With Object Tracking and Image Retrieval: A Systematic Review

Authors
Fernandes, R; Pessoa, A; Salgado, M; de Paiva, A; Pacal, I; Cunha, A;

Publication
IEEE ACCESS

Abstract
Effective image and video annotation is a fundamental pillar in computer vision and artificial intelligence, crucial for the development of accurate machine learning models. Object tracking and image retrieval techniques are essential in this process, significantly improving the efficiency and accuracy of automatic annotation. This paper systematically investigates object tracking and image acquisition techniques. It explores how these technologies can collectively enhance the efficiency and accuracy of the annotation processes for image and video datasets. Object tracking is examined for its role in automating annotations by tracking objects across video sequences, while image retrieval is evaluated for its ability to suggest annotations for new images based on existing data. The review encompasses diverse methodologies, including advanced neural networks and machine learning techniques, highlighting their effectiveness in various contexts like medical analyses and urban monitoring. Despite notable advancements, challenges such as algorithm robustness and effective human-AI collaboration are identified. This review provides valuable insights into these technologies' current state and future potential in improving image annotation processes, even showing existing applications of these techniques and their full potential when combined.

2024

Bridging the Digital Divide: A Study on the Feasibility of Smart University Integration in Timor-Leste

Authors
Soares, RP; Goncalves, R; Briga-Sa, A; Martins, J; Branco, F;

Publication
GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 3, WORLDCIST 2024

Abstract
Education is vital in fostering economic growth and societal development, particularly in developing countries like Timor-Leste. As technology has revolutionised education in the digital transformation era, the concept of a smart university, driven by advanced technologies and data analytics, has gained prominence globally. Timor-Leste, amid its progress in institutional structures and public infrastructure, is also exploring integrating smart technologies in higher education. This underscores a commitment of The East Timor National Education Strategic Plan (NESP) 2011-2030 to meet national and international standards, positioning the country at the forefront of educational innovation. This study aims to assess the feasibility of implementing a Smart University in Timor-Leste to evaluate the readiness of the country to embrace digital technologies and integrate them into higher education practices. The research employs a Design Science Research methodology where qualitative and quantitative data are gathered through interviews, surveys, and document analysis. Design artefacts, including system architecture and an evaluation framework, are developed to comprehensively understand the technological and informatics aspects of implementing a Smart University in Timor-Leste. The findings will contribute to decision-making and inform the implementation plan, offering valuable insights into stakeholders' perspectives and perceptions, and will support the advancement of the educational landscape in Timor Leste by integrating smart technologies and innovative practices in higher education.

  • 44
  • 4033