Abstract
Context. The deployment of meter-scale (hitherto pre-focal) adaptive deformable mirrors finds some prominent examples in the leading ground-based visible to near-infrared facilities (e.g. the Very Large Telescope (VLT), the Large Binocular Telescope (LBT), or the Magellan Telescope) and is being adopted by several others (e.g. the Multiple Mirror Telescope (MMT) or Subaru). Furthermore, two out of the three giant segmented-mirror telescopes now under design will feature them. In all these cases, the proprietary technology is based on voice-coils and is limited in force, stroke, and velocity. Aims. Because of the nature of their purpose, that is, adaptive wave-front correction, any kind of optimality relies on the control of a subset of principal wave-front components or eigenmodes, for short, a basis of functions in a mathematical sense. Here we provide algorithmic procedures for generating such eigenbases, also called Karhunen–Loève (KL) modes, that integrate force limitations in their definitions whilst maintaining standard orthonormality, statistical independence, and deformable mirror span. Methods. The double-diagonalisation method was revisited to build KL modes ranked by the force applied on the actuators. Results. We analysed this new KL basis for von Kármán turbulence statistics and present the fitting error and the distribution of positions and forces. We further illustrate their use in the case of the quaternary mirror control for the European Extremely Large Telescope, and we include the outer actuator minioning and force policy constraints. © The Authors 2024.

Abstract

Abstract
Considering the profound transformation affecting pathology practice, we aimed to develop a scalable artificial intelligence (AI) system to diagnose colorectal cancer from whole-slide images (WSI). For this, we propose a deep learning (DL) system that learns from weak labels, a sampling strategy that reduces the number of training samples by a factor of six without compromising performance, an approach to leverage a small subset of fully annotated samples, and a prototype with explainable predictions, active learning features and parallelisation. Noting some problems in the literature, this study is conducted with one of the largest WSI colorectal samples dataset with approximately 10,500 WSIs. Of these samples, 900 are testing samples. Furthermore, the robustness of the proposed method is assessed with two additional external datasets (TCGA and PAIP) and a dataset of samples collected directly from the proposed prototype. Our proposed method predicts, for the patch-based tiles, a class based on the severity of the dysplasia and uses that information to classify the whole slide. It is trained with an interpretable mixed-supervision scheme to leverage the domain knowledge introduced by pathologists through spatial annotations. The mixed-supervision scheme allowed for an intelligent sampling strategy effectively evaluated in several different scenarios without compromising the performance. On the internal dataset, the method shows an accuracy of 93.44% and a sensitivity between positive (low-grade and high-grade dysplasia) and non-neoplastic samples of 0.996. On the external test samples varied with TCGA being the most challenging dataset with an overall accuracy of 84.91% and a sensitivity of 0.996.

Abstract
Introduction: Loss of cutaneous protective sensation and high plantar pressures increase the risk for diabetic foot patients. Trauma and ulceration are imminent threats, making assessment and monitoring essential. This systematic review aims to identify systems and technologies for measuring in -shoe plantar pressures, focusing on the at -risk diabetic foot population. Methods: A systematic search was conducted across four electronic databases (Scopus, Web of Science, PubMed, Oxford Journals) using PRISMA methodology, covering articles published in English from 1979 to 2024. Only studies addressing systems or sensors exclusively measuring plantar pressures inside the shoe were included. Results: A total of 87 studies using commercially available devices and 45 articles proposing new systems or sensors were reviewed. The prevailing market offerings consist mainly of instrumented insoles. Emerging technologies under development often feature configurations with four, six or eight resistive sensors strategically placed within removable insoles. Despite some variability due to the inherent heterogeneity of human gait, these devices assess plantar pressure, although they present significant differences between them in measurement results. Individuals with diabetic foot conditions appears exhibit elevated plantar pressures, with reported peak pressures reaching approximately 1000 kPa. The results also showed significant differences between the diabetic and non -diabetic groups. Conclusion: Instrumented insoles, particularly those incorporating resistive sensor technology, dominate the field. Systems employing eight sensors at critical locations represent a pragmatic approach, although market options extend to systems with up to 960 sensors. Differences between devices can be a critical factor in measurement and highlights the importance of individualized patient assessment using consistent measurement devices.

Abstract
This paper introduces a new method of Automated Program Repair that relies on a combination of the GPT-4 Large Language Model and automatic type checking of Haskell programs. This method identifies the source of a type error and asks GPT-4 to fix that specific portion of the program. Then, QuickCheck is used to automatically generate a large set of test cases to validate whether the generated repair behaves as the correct solution. Our publicly available experiments revealed a success rate of 88.5% in normal conditions. However, more detailed testing should be performed to more accurately evaluate this form of APR.

Abstract
Immersive technologies, such as virtual reality, augmented reality, and mixed reality have gained increasing interest and usage in the field of education. Attention is being paid to their effects on teaching and learning processes, one of which is self-regulation of learning, with an important role in supporting learning success. However, designing and creating immersive environments that support the development of SRL strategies is challenging. Employing a systematic approach, this literature review provides an overview of the uses of virtual, augmented, and mixed reality with the goal of supporting SRL. We map these to known educational uses of immersive environments, highlighting current gaps in these efforts and suggesting pathways for future studies on instructional design of the use of immersive technologies to support self-regulation of learning.