Abstract
This short paper summarizes an article published in the Journal of Automated Reasoning [7]. It presents Pardinus, an extension of the popular Kodkod [12] relational model finder with linear temporal logic (including past operators) to simplify the analysis of dynamic systems. Pardinus includes a SAT-based bounded model checking engine and an SMV-based complete model checking engine, both allowing iteration through the different instances (or counterexamples) of a specification. It also supports a decomposed parallel analysis strategy that improves the efficiency of both analysis engines on commodity multi-core machines.

Abstract
Robotics in agriculture faces several challenges, such as the unstructured characteristics of the environments, variability of luminosity conditions for perception systems, and vast field extensions. To implement autonomous navigation systems in these conditions, robots should be able to operate during large periods and travel long trajectories. For this reason, it is essential that simultaneous localization and mapping algorithms can perform in large-scale and long-term operating conditions. One of the main challenges for these methods is maintaining low memory resources while mapping extensive environments. This work tackles this issue, proposing a localization and mapping approach called VineSLAM that uses a topological mapping architecture to manage the memory resources required by the algorithm. This topological map is a graph-based structure where each node is agnostic to the type of data stored, enabling the creation of a multilayer mapping procedure. Also, a localization algorithm is implemented, which interacts with the topological map to perform access and search operations. Results show that our approach is aligned with the state-of-the-art regarding localization precision, being able to compute the robot pose in long and challenging trajectories in agriculture. In addition, we prove that the topological approach innovates the state-of-the-art memory management. The proposed algorithm requires less memory than the other benchmarked algorithms, and can maintain a constant memory allocation during the entire operation. This consists of a significant innovation, since our approach opens the possibility for the deployment of complex 3D SLAM algorithms in real-world applications without scale restrictions.

Abstract
The refractometric analysis of ethanol-water mixtures is hampered because this type of binary solution does not present a linear behavior. In this letter, a multimode graded-index fiber (GIF) tip sensor for the measurement of ethanol in binary liquid solutions of ethanol-water is proposed. The proof is fabricated by the fusion-splicing of a 500 mu m GIF to a single-mode fiber (SMF), and it operates as a refractometric sensor in reflection. To evaluate the prove potential to detected ethanol variations, samples of ethanol-water mixtures were measured at different temperatures (20 degrees C-60 degrees C). The samples have different %(v/v) of ethanol, in a range between 0% and 100%.

Abstract
This study investigates the evolutionary impact of applying artificial intelligence (AI) technology to foreign language education. By employing complex systems thinking, the relationship between foreign language education and AI technology is explored, and dynamic models are employed to analyze the evolutionary patterns of AI technology in foreign language education. Through model analysis and numerical simulations, the interactive effects between foreign language education and AI technology in different modes are revealed. The findings demonstrate that, under different coupling modes, foreign language education and AI technology can achieve self-organizing evolution. When the interaction coefficient between foreign language education and AI technology is appropriately set, AI technology exhibits emergent properties for foreign language education. Lastly, suggestions are presented to promote the sound development of foreign language education and AI technology.

Abstract
We experience the world around us using all our senses, however, multimedia content still relies majorly on audiovisual stimuli. With technology advancements, multisensory stimuli started to be introduced in multimedia experiences. Still, very few contemplate a wide range of different modalities simultaneously, approaching the stimulation one would receive in reality. This paper explores the effects of trimodal multisensory stimuli on the sense of Presence, Perceptual Realism, and Quality of Experience (QoE) during video visualisation. Namely, we study the impact of heat, wind, and smell during video visualization to investigate how each stimulus contributes to the QoE. A correlational analysis was also performed to understand better how the different variables interact. The results indicate that multisensory stimulation improved significantly the sense of presence satisfaction and perceptual realism. Furthermore, smell contributed the most to the QoE, followed by heat and wind. We highlight the use of multisensory stimulation on video visualization over audiovisual only, as it benefits substantially the user experience. © 2023 IEEE.

Abstract
This article presents the results regarding a systematic literature review procedure on digital twins applied to precision agriculture. In particular, research and development activities aimed at the use of digital twins, in the context of predictive control, with the purpose of improving soil quality. This study was carried out through an exhaustive search of scientific literature on five different databases. A total of 158 articles were extracted as a result of this search. After a first screening process, only 11 articles were considered to be aligned with the current topic. Subsequently, these articles were categorised to extract all relevant information, using the preferred reporting items for systematic reviews and meta-analyses methods. Based on the obtained results, there are two main conclusions to draw: First, when compared with industrial processes, there is only a very slight rising trend regarding the use of digital twins in agriculture. Second, within the time frame in which this work was carried out, it was not possible to find any published paper on the use of digital twins for soil quality improvement within a model predictive control context.