Abstract

Abstract
In recent years, the task of person re-identification (Re-ID) has improved considerably with the advances in deep learning methodologies. However, occluded person Re-ID remains a challenging task, as parts of the body of the individual are frequently hidden by various objects, obstacles, or other people, making the identification process more difficult. To address these issues, we introduce a novel data augmentation strategy using artificial occlusions, consisting of random shapes and objects from a small image dataset that was created. We also propose an end-to-end methodology for occluded person Re-ID, which consists of three branches: a global branch, a feature dropping branch, and an occlusion detection branch. Experimental results show that the use of random shape occlusions is superior to random erasing using our architecture. Results on six datasets consisting of three tasks (holistic, partial and occluded person Re-ID) demonstrate that our method performs favourably against state-of-the-art methodologies.

Abstract
[No abstract available]

Abstract

Abstract
We focus on the integration of Formal Methods as mandatory theme in any Computer Science University curriculum. In particular, when considering the ACM Curriculum for Computer Science, the inclusion of Formal Methods as a mandatory Knowledge Area needs arguing for why and how does every computer science graduate benefit from such knowledge. We do not agree with the sentence While there is a belief that formal methods are important and they are growing in importance, we cannot state that every computer science graduate will need to use formal methods in their career. We argue that formal methods are and have to be an integral part of every computer science curriculum. Just as not all graduates will need to know how to work with databases either, it is still important for students to have a basic understanding of how data is stored and managed efficiently. The same way, students have to understand why and how formal methods work, what their formal background is, and how they are justified. No engineer should be ignorant of the foundations of their subject and the formal methods based on these. In this article, we aim at highlighting why every computer scientist needs to be familiar with formal methods. We argue that education in formal methods plays a key role by shaping students' programming mindset, fostering an appreciation for underlying principles, and encouraging the practice of thoughtful program

Abstract

This paper presents an integrated analytical approach to assess the reliability of power electronic converters in Permanent Magnet Synchronous Generator (PMSG)-based wind farms under variable wind conditions. The study focuses on analyzing the impact of wake effect turbulences and thermal management on power converter reliability, driven by the thermal stress induced by fluctuating wind speeds on power converters. Through extensive simulations using FLORIS and MATLAB, the thermal behavior of converters in wind farms affected by wake interactions was examined to identify potential reliability issues. The methodology involved modeling an 80-turbine wind farm in FLORIS to simulate wake effects, processing high-resolution wind speed data in MATLAB to refine wind speed profiles, and using Simulink to simulate the thermal profiles of power electronics. The results of FLORIS simulations highlighted the variations in turbulence intensity (TI) and power output, while the MATLAB and Simulink models quantified critical thermal stresses in power converters, correlating the locations of the turbine rows with temperature fluctuations and potential failures. Machine learning models, including Gradient Boosting and Random Forest Regressor, were utilized to refine and predict the multi-objective reliability function. The findings underscore the importance of understanding and managing thermal dynamics to improve the reliability and operational resilience of the power converter, supporting sustainable wind farm operations in dynamically changing wind conditions.