Abstract
The knowledge of the precise 3D position of a target in tracking applications is a fundamental requirement. The lack of a low-cost single sensor capable of providing the three-dimensional position (of a target) makes it necessary to use complementary sensors together. This research presents a Local Positioning System (LPS) for outdoor scenarios, based on a data fusion approach for unmodified UAV tracking, combining a vision sensor and mmWave radar. The proposed solution takes advantage of the radar's depth observation ability and the potential of a neural network for image processing. We have evaluated five data association approaches for radar data cluttered to get a reliable set of radar observations. The results demonstrated that the estimated target position is close to an exogenous ground truth obtained from a Visual Inertial Odometry (VIO) algorithm executed onboard the target UAV. Moreover, the developed system's architecture is prepared to be scalable, allowing the addition of other observation stations. It will increase the accuracy of the estimation and extend the actuation area. To the best of our knowledge, this is the first work that uses a mmWave radar combined with a camera and a machine learning algorithm to track a UAV in an outdoor scenario. © 2025 IEEE.

Abstract
Reduced-impact logging (RIL) has been recognized as a promising strategy for biodiversity conservation and carbon sequestration within sustainable forest management (SFM) areas. However, monitoring the forest understory-a critical area for assessing logging impacts-remains challenging due to limitations in conventional methods such as field inventories and global navigation satellite system (GNSS) surveys, which are time-consuming, costly, and often lack accuracy in complex environments. Additionally, aerial and satellite imagery frequently underestimate the full extent of disturbances as the forest canopy obscures understory impacts. This study examines the effectiveness of the relative density model (RDM), derived from airborne LiDAR data, for mapping and monitoring understory disturbances. A field-based validation of LiDAR-derived RDM was conducted across 25 sites, totaling 5504.5 hectares within the Jamari National Forest, Rond & ocirc;nia, Brazil. The results indicate that the RDM accurately delineates disturbances caused by logging infrastructure, with over 90% agreement with GNSS field data. However, the model showed the greatest discrepancy for skid trails, which, despite their lower accuracy in modeling, accounted for the largest proportion of the total impacted area among infrastructure. The findings include the mapping of 35.1 km of primary roads, 117.4 km of secondary roads, 595.6 km of skid trails, and 323 log landings, with skid trails comprising the largest proportion of area occupied by logging infrastructure. It is recommended that airborne LiDAR assessments be conducted up to two years post-logging, as impacts become less detectable over time. This study highlights LiDAR data as a reliable alternative to traditional monitoring approaches, with the ability to detect understory impacts more comprehensively for monitoring selective logging in SFM areas of the Amazon, providing a valuable tool for both conservation and climate mitigation efforts.

Abstract
This paper focuses on the modeling, control, and simulation of an over-actuated hexacopter tilt-rotor (HTR). This configuration implies that two of the six actuators are independently tilted using servomotors, which provide high maneuverability and reliability. This approach is predicted to maintain zero pitch throughout the trajectory and is expected to improve the aircraft's steering accuracy. This arrangement is particularly beneficial for precision agriculture (PA) applications where accurate monitoring and management of crops are critical. The enhanced maneuverability allows for precise navigation in complex vineyard environments, enabling the unmanned aerial vehicle (UAV) to perform tasks such as aerial imaging and crop health monitoring. The employed control architecture consists of cascaded proportional (P)-proportional, integral and derivative (PID) controllers using the successive loop closure (SLC) method on the five controlled degrees of freedom (DoFs). Simulated results using Gazebo demonstrate that the HTR achieves stability and maneuverability throughout the flight path, significantly improving precision agriculture practices. Furthermore, a comparison of the HTR with a traditional hexacopter validates the proposed approach.

Abstract
Continuous Integration and Continuous Deployment are known methodologies for software development that increase the overall quality of the development process. Several robotic software repositories make use of CI/CD tools as an aid to development. However, very few CI pipelines take advantage of using cloud computing to run simulations. Here, a CI pipeline is proposed that takes advantage of such features, applied to the development of ATOM, a ROS-based application capable of carrying out the calibration of generalized robotic systems. The proposed pipeline uses GitHub Actions as a CI/CD engine, AWS RoboMaker as a service for running simulations on the cloud and Rigel as a tool to both containerize ATOM and execute the tests. In addition, a static analysis and unit testing component is implemented with the use of Codacy. The creation of the pipeline was successful, and it was concluded that it constitutes a valuable tool for the development of ATOM and a blueprint for the creation of similar pipelines for other robotic systems.

Abstract
We present Caos: a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a set of Scala libraries and a workflow to produce visual and interactive diagrams that animate and provide insights over the structure and the semantics of a given abstract model with operational rules. Caos follows an approach where theoretical foundations and a practical tool are built together, as an alternative to foundations-first design (tool justifies theory) or tool-first design (foundations justify practice). The advantage of Caos is that the tool-under-development can immediately be used to automatically run numerous and sizeable examples in order to identify subtle mistakes, unexpected outcomes, and unforeseen limitations in the foundations-under-development, as early as possible. More concretely, Caos supports the quick creation of interactive websites that help the end-users better understand a new language, structure, or analysis. End-users can be research colleagues trying to understand a companion paper or students learning about a new simple language or operational semantics. We include a list of open-source projects with a web frontend supported by Caos that are used both in research and teaching contexts.

Abstract
Code comprehension is often supported by source code analysis tools that provide more abstract views over software systems, such as those detecting design patterns. These tools encompass analysis of source code and ensuing extraction of relevant information. However, the analysis of the source code is often specific to the target programming language. We propose DP-LARA, a multilanguage pattern detection tool that uses the multilanguage capability of the LARA framework to support finding pattern instances in a code base. LARA provides a virtual AST, which is common to multiple OOP programming languages, and DP-LARA then performs code analysis of detecting pattern instances on this abstract representation. We evaluate the detection performance and consistency of DP-LARA with a few software projects. Results show that a multilanguage approach does not compromise detection performance, and DP-LARA is consistent across the languages we tested it for (i.e., Java and C/C++). Moreover, by providing a virtual AST as the abstract representation, we believe to have decreased the effort of extending the tool to new programming languages and maintaining existing ones.