Abstract
Modern electrical distribution networks are prone to more severe voltage fluctuations due to the presence of variable loads such as electric vehicles and renewable energy generation units. These fluctuations decrease both the quality of power and the hosting capability of the grid. In such a condition, a Dynamic Voltage Compensator (DVC) can be used to stabilize the voltage of the LV networks. DVC is generally designed to resolve voltage fluctuations reflected from MV systems maintaining the voltage on a constant value. However, it will more effectively improve the voltage quality in the grid if the reference voltage is dynamically adjusted based on measurements inside the LV system. On the other hand, the more complex measurement and coordination strategy may lead to the inapplicability of the methods. Hence, voltage reference adjustment strategies should be developed to conform to the availability of data and measurements inside the grid. Accordingly, in this paper, novel voltage reference adjustment strategies have been developed for DVC based on the measurements at the installation point of the device. In order to examine the proposed methods, they are applied to an LV grid with real measured data and the results are discussed. Based on the provided simulation results, the developed dynamic reference voltage adjustment strategies can successfully improve the quality of voltage and improve the hosting capacity of the LV network. © 2023 IEEE.

Abstract
A common approach for improving performance uses FPGAs to accelerate critical code regions, which often involves two processes: hardware/software partitioning, which identifies regions to offload to the FPGA; and optimizing those regions (e.g., through HLS directives). As both processes are separate and usually applied in sequence, the interplay between them is unnatural, and it is unclear how the choices made in one step can benefit the choices made in the other step. This paper presents our work-in-progress for combining partitioning and optimization into a single holistic process. First, our source-to-source compiler builds a task-based representation from the input application. Then, a greedy algorithm builds clusters of tasks and assigns each cluster to either hardware (FPGA) or software (CPU). The algorithm iteratively refines the clusters and offloading decisions by: a) minimizing the communication costs between clusters by assigning tasks that work with shared data to the same cluster; b) reducing the global execution time by applying code optimizations to the tasks in each cluster. We show the impact of our holistic approach to a motivating edge detection example and compare the results when applying partitioning and code optimizations as independent steps. The results show that a holistic partitioning can lead to a speedup of up to 28.7x when compared to a simple offloading of the application to an FPGA.

Abstract
Type systems are responsible for assigning types to terms in programs. That way, they enforce the actions that can be taken and can, consequently, detect type errors during compilation. However, while they are able to flag the existence of an error, they often fail to pinpoint its cause or provide a helpful error message. Thus, without adequate support, debugging this kind of errors can take a considerable amount of effort. Recently, neural network models have been developed that are able to understand programming languages and perform several downstream tasks. We argue that type error debugging can be enhanced by taking advantage of this deeper understanding of the language's structure. In this paper, we present a technique that leverages GPT-3's capabilities to automatically fix type errors in OCaml programs. We perform multiple source code analysis tasks to produce useful prompts that are then provided to GPT-3 to generate potential patches. Our publicly available tool, Mentat, supports multiple modes and was validated on an existing public dataset with thousands of OCaml programs. We automatically validate successful repairs by using Quickcheck to verify which generated patches produce the same output as the user-intended fixed version, achieving a 39% repair rate. In a comparative study, Mentat outperformed two other techniques in automatically fixing ill-typed OCaml programs.

Abstract
This study examined the relationship between Environmental Performance (EP) and Financial Performance (FP) in the European food industry. The food industry is essential for population sustenance, but the rising population and the consequent increase in food production demand have implications for climate change. The aim of this study was to determine if businesses that consume water more efficiently and have lower CO2 emission intensities might experience improved financial performance. Financial and environmental data were sourced from external databases and company reports, and both quantile regression and correlation analyses were conducted. The results reveal that various sectors within the food industry exhibit different linkages between Environmental Performance and Financial Performance. Furthermore, our findings indicate that water use efficiency can significantly influence financial performance, either positively or negatively, while CO2 emission intensity did not exhibit a definitive impact on Financial Performance.

Abstract
There are several educational software (ES) used in the classroom environment for the teaching and learning of geometric contents that are part of the Portuguese basic education mathematics program. There are studies that show that the use of this type of artifact has a fundamental role in the behavior of students, raising, among other aspects, a greater motivation for learning mathematics. The aim of this work is to explore and describe implications for the behavior and learning of students in the 7th grade of Portuguese basic education, in face of a pedagogical practice that involves carrying out tasks using ES Plickers, in the theme similarities of the domain geometry and measurement, throughout intervention carried out. The adopted methodology presents characteristics of a quasi-experimental study. The participants were 61 students from three classes of a school in the north of Portugal, followed during eight consecutive classes. A set of tasks using Plickers, tests and a questionnaire survey were used as instruments for data collection. The results point to positive increments, at a behavioral level, as well as in the evolution of learning, in view of the use of this methodology in the classroom.

Abstract
Este trabalho analisa o processo de servitização de diferentes fornecedores na cadeia produtiva do café no Brasil. Foi realizada uma revisão da literatura sobre sistemas produto-serviço (SPS) para estabelecer uma estrutura para identificar a tipologia de serviços no setor agrícola. Os resultados destacaram que a prestação de serviços "menos avançados" não é uma condição necessária para que a empresa ofereça serviços "mais avançados". Entretanto, as características das propriedades rurais parecem afetar o número de serviços associados aos fornecedores de máquinas. Os resultados ajudam os gerentes desse setor a identificar as ofertas de serviços e ampliam a discussão sobre servitização, ao abranger um setor pouco explorado.