Search

For decades, the Free Application for Federal Student Aid (FAFSA) forms were processed electronically by the legacy Central Processing System. In 2021 the Office of Federal Student Aid (FSA) initiated a system development effort and in December 2023 deployed a new system to process forms for the 2024-2025 school year. However, student aid applicants reported that the new system had availability issues, recurring errors, and long wait times. This Government Accountability Office (GAO) testimony (1) describes the delays in delivering on the FAFSA Processing System (FPS) requirements; (2) describes the defects that were identified before and after FPS deployment; (3) assesses the extent to which disciplined systems acquisition practices were used to manage FPS requirements, conduct systems testing, and carry out independent acquisition reviews; and (4) assesses the extent to which Education and FSA IT leadership provided oversight of FPS development. This statement is a companion to GAO's related statement on the simplified FAFSA rollout (GAO-24-107407). In addressing the first two objectives, GAO summarized the preliminary results of its continuing ongoing work describing delays and defects. For the latter two objectives on requirements, testing, and independent reviews, GAO completed its audit work and is making recommendations to address weaknesses.

The paper presents a micromechanical representation of deformation in 2D granular materials. The representation is a generalization of K. Bagi's work and is based upon the void-cell approach of M. Satake. The general representation applies to a material region partitioned into polygonal subregions. This representation possesses a certain consistency that allows for a unique assignment of the contribution that each contact displacement makes to the average deformation of an assembly. The paper addresses construction of the particle graph and appropriate data structures for use with the Discrete Element Method. The approach is applied in a numerical simulation of a two-dimensional assembly of disks. The author presents results of the distributions of deformation and particle-group rotation, with a resolution of about a single particle diameter. Deformation was very nonuniform, even at low strains. Micro-bands, thin linear zones of intense rotation, were also observed.

Large Language Models (LLMs) have demonstrated impressive capabilities across various tasks. However, LLMs often struggle with spatial reasoning which is one essential part of reasoning and inference and requires understanding complex relationships between objects in space. This paper proposes a novel neural-symbolic framework that enhances LLMs' spatial reasoning abilities. We evaluate our approach on two benchmark datasets: StepGame and SparQA, implementing three distinct strategies: (1) ASP (Answer Set Programming)-based symbolic reasoning, (2) LLM + ASP pipeline using DSPy, and (3) Fact + Logical rules. Our experiments demonstrate significant improvements over the baseline prompting methods, with accuracy increases of 40-50% on StepGame} dataset and 3-13% on the more complex SparQA dataset. The "LLM + ASP" pipeline achieves particularly strong results on the tasks of Finding Relations (FR) and Finding Block (FB) questions, though performance varies across different question types. The impressive results suggest that while neural-symbolic approaches offer promising directions for enhancing spatial reasoning in LLMs, their effectiveness depends heavily on the specific task characteristics and implementation strategies. We propose an integrated, simple yet effective set of strategies using a neural-symbolic pipeline to boost spatial reasoning abilities in LLMs. This pipeline and its strategies demonstrate strong and broader applicability to other reasoning domains in LLMs, such as temporal reasoning, deductive inference etc.

In this paper we showcase the strengths of polarized neutron imaging as a magnetic imaging technique through a case study on field-cooled multifilamentary YBCO tape carrying a transport current while containing a trapped magnetic field. The measurements were done at J-PARC's RADEN beamline, measuring a radiograph of a single polarization component, to showcase the analysis potential with minimal acquisition time. Regions of internal damage are easily and accurately identified as the technique probes the internal magnetic field of the sample, thereby avoiding surface-smearing effects. Quantitative measurements of the integrated field strength in various regions are acquired using time-of-flight information. Finally, we estimate the strength of the screening currents in the superconductor during the experiment by simulating an experiment with a model sample and comparing it to the experimental data. With this, we show that polarized neutron imaging is not only a useful tool for investigating magnetic structures but also for investigating samples carrying currents., Comment: 6 pages, 4 figures with total of 6 or 7 images (some bundles, some seperate)

Graphs are essential representations in the professions and education concerning the science, technology, engineering, and mathematics (STEM) disciplines. Beyond their academic relevance, graphs find extensive utility in everyday scenarios, ranging from news media to educational materials. This underscores the importance of people's being able to understand graphs. However, the ability to understand graphs is connected to the ability to create graphs. Therefore, in school education, particularly in STEM subjects, not only the understanding but also the skill of constructing graphs from numerical data is emphasized. Although constructing graphs is a skill that most people do not require in their everyday lives and professions, it is a well-established student activity that has been empirically studied several times. Therefore, since a synthesis of the research findings on this topic has not yet been conducted, a summary of the studies investigating graphing via various viewpoints and differing methods could be a valuable contribution. To provide an overview of the empirical literature on this important topic, our systematic review identifies how the construction of convention-based graphical representations of numerical data, referred to as graphing, has been studied in previous research, how effective graphing is, and which types of difficulties are encountered by students. Based on these aspects, we defined inclusion criteria that led to 50 peer-reviewed empirical studies on graphing in K-12 STEM education found in SCOPUS, ERIC, and PsychInfo. Graphing instruction seemed to be beneficial for student learning, not only improving graph construction but also graph interpretation skills. However, the students experienced various difficulties during graphing, both during graph construction and the interpretation and usage of data., Comment: 63 pages, 9 figures

This document summarizes the prospective physics plans of the French QCD and Heavy-Ion community, including the experimental programs at the LHC Run 5 and beyond and future colliders at CERN, within the context of the French contribution to the update of the European Strategy in Particle Physics (ESPPU 2025), as discussed in the workshop on European Strategy for Particle Physics Update 2025 organised by the QCD GdR in Oct. 2024., Comment: 6.5 pages without title page and without references, no figures. Keywords: QCD, Heavy Ions, Quark Gluon Plasma, LHC, FCC

Energy efficient, safe and reliable Li-ion batteries (LIBs) are required for a wide range of applications. Charging capabilities of thick electrodes still holding their stored high-energy is a most desirable characteristic in future advanced LIBs. The introduction of ultra-thick graphite anode meets limitations in internal electrode transport properties, leading to Li-ion gradients with detrimental consequences for battery cell performance and lifetime. Yet, there is a lack of experimental tools capable of providing a complete view of local processes and evolving gradients within such thick electrodes. Here, we introduce a multi-modal operando measurement approach, enabling quantitative spatio-temporal observations of Li concentrations and intercalation phases in ultra-thick, graphite electrodes. Neutron imaging and diffraction concurrently provide correlated information from the macroscopic scale of the cell and electrode down to the crystallographic scale portraying the intercalation and deintercalation processes. In particular, the evolving formation of the solid electrolyte interphase (SEI), observation of gradients in total lithium content, as well as in the formation of ordered LixC6 phases and trapped lithium have been mapped throughout the first charge-discharge cycle of the cell. Different lithiation stages co-exist during charging and discharging of an ultra-thick composite graphite-based electrode; delayed lithiation and delithiation processes are observed at the central region of the electrode, while the SEI formation, potential plating and dead lithium are predominantly found closer to the interface with the separator. The study furthermore emphasizes the potential of the method to study Li ion diffusion and the kinetics of lithiation phase formation in advanced ultra-thick electrodes.

We present the mission concept "Mission to Analyze the UltraViolet universE" (MAUVE), a wide-field spectrometer and imager conceived during the inaugural NASA Astrophysics Mission Design School. MAUVE responds to the 2023 Announcement of Opportunity for Probe-class missions, with a budget cap of \$1 billion, and would hypothetically launch in 2031. However, the formulation of MAUVE was an educational exercise and the mission is not being developed further. The Principal Investigator-led science of MAUVE aligns with the priorities outlined in the 2020 Astrophysics Decadal Survey, enabling new characterizations of exoplanet atmospheres, the early-time light curves of some of the universe's most explosive transients, and the poorly-understood extragalactic background light. Because the Principal Investigator science occupies 30% of the observing time available during the mission's 5 yr lifespan, we provide an observing plan that would allow for 70% of the observing time to be used for General Observer programs, with community-solicited proposals. The onboard detector (THISTLE) claims significant heritage from the Space Telescope Imaging Spectrograph on Hubble, but extends its wavelength range down to the extreme UV. We note that MAUVE would be the first satellite in decades with the ability to access this regime of the electromagnetic spectrum. MAUVE has a field of view of 900" x 900" a photometric sensitivity extending to $m_{UV}\leq 24$, and a resolving power of $R\sim1000$. This paper provides full science and mission traceability matrices for this concept, and also outlines cost and scheduling timelines aimed at enabling a within-budget mission and an on-time launch., Comment: 21 pages, 15 figures. Published by the Publications of the Astronomical Society of the Pacific

Distributionally robust optimization (DRO) studies decision problems under uncertainty where the probability distribution governing the uncertain problem parameters is itself uncertain. A key component of any DRO model is its ambiguity set, that is, a family of probability distributions consistent with any available structural or statistical information. DRO seeks decisions that perform best under the worst distribution in the ambiguity set. This worst case criterion is supported by findings in psychology and neuroscience, which indicate that many decision-makers have a low tolerance for distributional ambiguity. DRO is rooted in statistics, operations research and control theory, and recent research has uncovered its deep connections to regularization techniques and adversarial training in machine learning. This survey presents the key findings of the field in a unified and self-contained manner.

Quantum cryptography is a central topic in the quantum technology field that is particularly important for secure communication. The training of qualified experts in this field is necessary for continuous development. However, the abstract and complex nature of quantum physics makes the topic difficult to understand. Augmented reality (AR) allows otherwise invisible abstract concepts to be visualized and enables interactive learning, offering significant potential for improving quantum physics education in university lab courses. In addition, personalized feedback on challenging concepts can facilitate learning, and large language models (LLMs) like ChatGPT can effectively deliver such feedback. This study combines these two aspects and explores the impact of an AR-based quantum cryptography experiment with integrated ChatGPT-based feedback on university students' learning outcomes and cognitive processes. The study involved 38 students in a physics laboratory course at a German university and used four open-ended questions to measure learning outcomes and gaze data as a learning process assessment. Statistical analysis was used to compare scores between feedback and non-feedback questions, and the effect of ChatGPT feedback on eye-tracking data was examined. The results show that ChatGPT feedback significantly improved learning outcomes and affected gaze data. While the feedback on conceptual questions tended to direct attention to the visualizations of the underlying model, the feedback on questions about experimental procedures increased visual attention to the real experimental materials. Overall, the results show that AI-based feedback draws visual attention towards task-relevant factors and increases learning performance in general.

The actuator line method (ALM) is an approach commonly used to represent lifting and dragging devices like wings and blades in large-eddy simulations (LES). The crux of the ALM is the projection of the actuator point forces onto the LES grid by means of a Gaussian regularisation kernel. The minimum width of the kernel is constrained by the grid size; however, for most practical applications like LES of wind turbines, this value is an order of magnitude larger than the optimal value which maximises accuracy. This discrepancy motivated the development of corrections for the actuator line, which, however, neglect the effect of unsteady spanwise shed vorticity. In this work, we develop a model for the impact of spanwise shed vorticity on the unsteady loading of an airfoil modelled as a Gaussian body force. The model solution is derived both in the time and frequency domain and features an explicit dependence on the Gaussian kernel width. We validate the model with LES within the linear regime of the lift curve for both pitch steps and periodic pitching with reduced frequencies of k=0.1, 0.2 and 0.3. The Gaussian kernel width affects, in particular, the amplitude of the unsteady lift, which can be up to 40% smaller than the quasi-steady amplitude within the considered range of reduced frequencies and kernel widths.

With the advent and development of real-world quantum technology applications, a practically-focused quantum education including student quantum experiments are gaining increasing importance in physics curricula. In this paper, using the DeFT framework, we present an analysis of the representations in our AR-enhanced quantum cryptography student experiment, in order to assess their potential for promoting conceptual learning. We also discuss learner visual attention with respect to the provided multiple representations based on the eye gaze data we have obtained from a pilot study where N=38 students carried out the tasks in our AR-enhanced quantum cryptography student experiment.

Regular remote sensing of the magnetic field embedded within the million-degree solar corona is severely lacking. This reality impedes fundamental investigations of the nature of coronal heating, the generation of solar and stellar winds, and the impulsive release of energy into the solar system via flares and other eruptive phenomena. Resulting from advancements in large aperture solar coronagraphy, we report unprecedented maps of polarized spectra emitted at 1074 nm by Fe+12 atoms in the active corona. We detect clear signatures of the Zeeman effect that are produced by the coronal magnetic field along the optically thin path length of its formation. Our comparisons with global magnetohydrodynamic models highlight the valuable constraints that these measurements provide for coronal modeling efforts, which are anticipated to yield subsequent benefits for space weather research and forecasting., Comment: 23 pages, 10 figures, published in Science Advances

We define spin structures on perfect complexes outside of characteristic two, generalizing the usual notion for vector bundles. We give an explicit local characterization of spin structures, and show that for an oriented quadratic complex $E$ on an algebraic stack, spin structures on $E$ are parametrized by a degree $2$ gerbe. As an application, we show how to lift the K-theory class of Oh-Thomas in DT4 theory to a genuine (twisted) sheaf., Comment: 91 pages. Comments welcome

In the past few years, a successful line of research has lead to lower bounds for several fundamental local graph problems in the distributed setting. These results were obtained via a technique called round elimination. On a high level, the round elimination technique can be seen as a recursive application of a function that takes as input a problem $\Pi$ and outputs a problem $\Pi'$ that is one round easier than $\Pi$. Applying this function recursively to concrete problems of interest can be highly nontrivial, which is one of the reasons that has made the technique difficult to approach. The contribution of our paper is threefold. Firstly, we develop a new and fully automatic method for finding lower bounds of $\Omega(\log_\Delta n)$ and $\Omega(\log_\Delta \log n)$ rounds for deterministic and randomized algorithms, respectively, via round elimination. Secondly, we show that this automatic method is indeed useful, by obtaining lower bounds for defective coloring problems. We show that the problem of coloring the nodes of a graph with $3$ colors and defect at most $(\Delta - 3)/2$ requires $\Omega(\log_\Delta n)$ rounds for deterministic algorithms and $\Omega(\log_\Delta \log n)$ rounds for randomized ones. We note that lower bounds for coloring problems are notoriously challenging to obtain, both in general, and via the round elimination technique. Both the first and (indirectly) the second contribution build on our third contribution -- a new and conceptually simple way to compute the one-round easier problem $\Pi'$ in the round elimination framework. This new procedure provides a clear and easy recipe for applying round elimination, thereby making a substantial step towards the greater goal of having a fully automatic procedure for obtaining lower bounds in the distributed setting.

To further improve Lithium-ion batteries (LiBs), a profound understanding of complex battery processes is crucial. Physical models offer understanding but are difficult to validate and parameterize. Therefore, automated machine-learning methods (ML) are necessary to evaluate models with experimental data. Bayesian methods, e.g., Bayesian optimization for likelihood-free inference (EP-BOLFI), stand out as they capture uncertainties in models and data while granting meaningful parameterization. An important topic is prolonging battery lifetime, which is limited by degradation, such as the solid-electrolyte interphase (SEI) growth. As a case study, we apply EP-BOLFI to parametrize SEI growth models with synthetic and real degradation data. EP-BOLFI allows for incorporating human expertise in the form of suitable feature selection, which improves the parametrization. We show that even under impeded conditions, we achieve correct parameterization with reasonable uncertainty quantification, needing less computational effort than standard Markov chain Monte Carlo methods. Additionally, the physically reliable summary statistics show if parameters are strongly correlated and not unambiguously identifiable. Further, we investigate Bayesian alternately subsampled quadrature (BASQ), which calculates model probabilities, to confirm electron diffusion as the best theoretical model to describe SEI growth during battery storage.

Effective models to describe the dynamics of an open cavity have been extensively discussed in the literature. In many of these models the cavity leakage to the outside is treated as a loss introduced phenomenologically. In contrast to these, we focus here on characterizing the outgoing photon using a novel approach where the outside is treated as part of the system. In such a global system, in order to separately characterize the photon inside and outside cavity, we demonstrate a first-principle derivation of a coherent cavity-reservoir coupling function for cavities with mirrors consisting of a stack of dielectric layers. In particular, we show that due to the effects induced by the multilayer nature of the cavity mirror, even in the standardly defined high-finesse cavity regime, the cavity-reservoir system description might differ from the one where the structure of the mirror is neglected. Based on this, we define a generalized cavity response function and a cavity-reservoir coupling function, which account for the longitudinal geometric structure of the cavity mirror. This allows us to define an effective reflectivity for the cavity with a multilayer mirror as if it was sitting in a well-defined effective mirror plane. We estimate the error of such a definition by considering cavities of different lengths and mirror structures. Finally, we apply this model to characterize the dynamics of a single photon produced in such a cavity and propagating outside.

If Com is the reduced commutative operad, the category of Com-algebras in spectra is the category of nounital commutative ring spectra. The theme of this survey is that many important constructions on Com-algebras are given by taking the derived circle product with well chosen right Com-modules. Examples of constructions arising this way include the tensor product of a based space K with such an algebra I, and TQ(I), the Topological Andre-Quillen homology spectrum of I. We then show how filtrations of right Com-modules can be used to filter such constructions. A natural decreasing filtration on right Com-modules, when specialized to the Com-bimodule Com, defines the augmentation ideal tower of I, built out of the extended powers of TQ(I). A natural increasing filtration on right Com-modules, when specialized to the right Com-module used to define TQ(I), defines a filtration on TQ(I) built out of I and the spaces in the Lie cooperad. There are two versions of this in the literature -- by the author and by Behrens and Rezk -- and our setting here makes it easy to prove that these agree. Much of this applies with Com replaced by a more general reduced operad, and we make a few remarks about this., Comment: 18 pages

Follow-The-Regularized-Leader (FTRL) algorithms often enjoy optimal regret for adversarial as well as stochastic bandit problems and allow for a streamlined analysis. Nonetheless, FTRL algorithms require the solution of an optimization problem in every iteration and are thus computationally challenging. In contrast, Follow-The-Perturbed-Leader (FTPL) algorithms achieve computational efficiency by perturbing the estimates of the rewards of the arms, but their regret analysis is cumbersome. We propose a new FTPL algorithm that generates optimal policies for both adversarial and stochastic multi-armed bandits. Like FTRL, our algorithm admits a unified regret analysis, and similar to FTPL, it offers low computational costs. Unlike existing FTPL algorithms that rely on independent additive disturbances governed by a \textit{known} distribution, we allow for disturbances governed by an \textit{ambiguous} distribution that is only known to belong to a given set and propose a principle of optimism in the face of ambiguity. Consequently, our framework generalizes existing FTPL algorithms. It also encapsulates a broad range of FTRL methods as special cases, including several optimal ones, which appears to be impossible with current FTPL methods. Finally, we use techniques from discrete choice theory to devise an efficient bisection algorithm for computing the optimistic arm sampling probabilities. This algorithm is up to $10^4$ times faster than standard FTRL algorithms that solve an optimization problem in every iteration. Our results not only settle existing conjectures but also provide new insights into the impact of perturbations by mapping FTRL to FTPL.

In quantum physics (QP) education, the use of representations such as diagrams and visual aids that connect to mathematical concepts is crucial. Research in representation theory indicates that combining symbolic-mathematical elements (e.g. formulae) with visual-graphical representations enhances conceptual understanding more effectively than representations that merely depict phenomena. However, common representations vary widely, and existing categorisation systems do not adequately distinguish between them in QP. To address this, we developed a new set of differentiation criteria based on insights from representation research, QP education, and specific aspects of the quantum sciences. We created a comprehensive category system for evaluating visual QP representations for educational use, grounded in Ainsworths (2006) DeFT Framework. Twenty-one experts from four countries evaluated this category system using four qubit representations: the Bloch sphere, Circle Notation, Quantum Bead, and the pie chart (Qake) model. This evaluation enabled us to assess the discriminative power of our criteria and the effectiveness of each representation in supporting the learning of QP concepts. It evaluated how well each representation conveyed quantum concepts such as quantum state, measurement, superposition, entanglement, and quantum technologies (X-, Z-, and H-gates) across 16 criteria. The results showed significant differences in the effectiveness of these representations, particularly in conveying key concepts like superposition and measurement. Additionally, expert ratings indicated notable variations in the potential of each representation to induce misconceptions, linked to differences in shape, measurement behaviour, and requirements for understanding entanglement. We also discuss considerations for developing new representations and suggest directions for future empirical studies.

In a previous paper, one of us interpreted mod 2 Dyer-Lashof operations as explicit A-module extensions between Brown-Gitler modules, and showed these A-modules can be topologically realized by finite spectra occurring as fibers of maps between 2-local dual Brown-Gitler spectra. Starting from these constructions, in this paper, we show that infinite families of these finite spectra are of chromatic type 2, with mod 2 cohomology that is free over A(1). Applications include classifying the dual Brown-Gitler spectra after localization with respect to K-theory., Comment: 26 pages. v2: minor revisions, with a much improved formulation of the main theorem

The spin structure functions of the proton and the deuteron were measured during the EG4 experiment at Jefferson Lab in 2006. Data were collected for longitudinally polarized electron scattering off longitudinally polarized NH$_3$ and ND$_3$ targets, for $Q^2$ values as small as 0.012 and 0.02 GeV$^2$, respectively, using the CEBAF Large Acceptance Spectrometer (CLAS). This is the archival paper of the EG4 experiment that summaries the previously reported results of the polarized structure functions $g_1$, $A_1F_1$, and their moments $\overline \Gamma_1$, $\overline \gamma_0$, and $\overline I_{TT}$, for both the proton and the deuteron. In addition, we report on new results on the neutron $g_1$ extracted by combining proton and deuteron data and correcting for Fermi smearing, and on the neutron moments $\overline \Gamma_1$, $\overline \gamma_0$, and $\overline I_{TT}$ formed directly from those of the proton and the deuteron. Our data are in good agreement with the Gerasimov-Drell-Hearn sum rule for the proton, deuteron, and neutron. Furthermore, the isovector combination was formed for $g_1$ and the Bjorken integral $\overline \Gamma_1^{p-n}$, and compared to available theoretical predictions. All of our results provide for the first time extensive tests of spin observable predictions from chiral effective field theory ($\chi$EFT) in a $Q^2$ range commensurate with the pion mass. They motivate further improvement in $\chi$EFT calculations from other approaches such as the lattice gauge method., Comment: 33 pages. 26 figures. Data table provided in supplementary material (30 pages)

Traditional Semantic Table Interpretation (STI) methods rely primarily on the underlying table data to create semantic annotations. This year's SemTab challenge introduced the ``Metadata to KG'' track, which focuses on performing STI by using only metadata information, without access to the underlying data. In response to this new challenge, we introduce a new term: Column Vocabulary Association (CVA). This term refers to the task of semantic annotation of column headers solely based on metadata information. In this study, we evaluate the performance of various methods in executing the CVA task, including a Large Language Models (LLMs) and Retrieval Augmented Generation (RAG) approach, as well as a more traditional similarity approach with SemanticBERT. Our methodology uses a zero-shot setting, with no pretraining or examples passed to the Large Language Models (LLMs), as we aim to avoid a domain-specific setting. We investigate a total of 7 different LLMs, of which three commercial GPT models (i.e. gpt-3.5-turbo-0.125, gpt-4o and gpt-4-turbo) and four open source models (i.e. llama3-80b, llama3-7b, gemma-7b and mixtral-8x7b). We integrate this models with RAG systems, and we explore how variations in temperature settings affect performances. Moreover, we continue our investigation by performing the CVA task utilizing SemanticBERT, analyzing how various metadata information influence its performance. Initial findings indicate that LLMs generally perform well at temperatures below 1.0, achieving an accuracy of 100\% in certain cases. Nevertheless, our investigation also reveal that the nature of the data significantly influences CVA task outcomes. In fact, in cases where the input data and glossary are related (for example by being created by the same organizations) traditional methods appear to surpass the performance of LLMs.

We present the first homogeneous release of several thousand Type Ia supernovae (SNe Ia), all having spectroscopic classification, and spectroscopic redshifts for half the sample. This release, named the "DR2", contains 3628 nearby (z < 0.3) SNe Ia discovered, followed and classified by the Zwicky Transient Facility survey between March 2018 and December 2020. Of these, 3000 have good-to-excellent sampling and 2667 pass standard cosmology light-curve quality cuts. This release is thus the largest SN Ia release to date, increasing by an order of magnitude the number of well characterized low-redshift objects. With the "DR2", we also provide a volume-limited (z < 0.06) sample of nearly a thousand SNe Ia. With such a large, homogeneous and well controlled dataset, we are studying key current questions on SN cosmology, such as the linearity SNe Ia standardization, the SN and host dependencies, the diversity of the SN Ia population, and the accuracy of the current light-curve modeling. These, and more, are studied in detail in a series of articles associated with this release. Alongside the SN Ia parameters, we publish our force-photometry gri-band light curves, 5138 spectra, local and global host properties, observing logs, and a python tool to ease use and access of these data. The photometric accuracy of the "DR2" is not yet suited for cosmological parameter inference, which will follow as "DR2.5" release. We nonetheless demonstrate that the multi-thousand SN Ia Hubble Diagram has a typical 0.15 mag scatter., Comment: ZTF SN Ia DR2 release paper. Accepted for publication (Astronomy and Astrophysics). Reference paper for the ZTF SN Ia DR2 A&A Special Issue

The extraction of keypoints in images is at the basis of many computer vision applications, from localization to 3D reconstruction. Keypoints come with a score permitting to rank them according to their quality. While learned keypoints often exhibit better properties than handcrafted ones, their scores are not easily interpretable, making it virtually impossible to compare the quality of individual keypoints across methods. We propose a framework that can refine, and at the same time characterize with an interpretable score, the keypoints extracted by any method. Our approach leverages a modified robust Gaussian Mixture Model fit designed to both reject non-robust keypoints and refine the remaining ones. Our score comprises two components: one relates to the probability of extracting the same keypoint in an image captured from another viewpoint, the other relates to the localization accuracy of the keypoint. These two interpretable components permit a comparison of individual keypoints extracted across different methods. Through extensive experiments we demonstrate that, when applied to popular keypoint detectors, our framework consistently improves the repeatability of keypoints as well as their performance in homography and two/multiple-view pose recovery tasks., Comment: Accepted at ECCV 2024

For d/Deaf and hard of hearing (DHH) people, captioning is an essential accessibility tool. Significant developments in artificial intelligence (AI) mean that Automatic Speech Recognition (ASR) is now a part of many popular applications. This makes creating captions easy and broadly available - but transcription needs high levels of accuracy to be accessible. Scientific publications and industry report very low error rates, claiming AI has reached human parity or even outperforms manual transcription. At the same time the DHH community reports serious issues with the accuracy and reliability of ASR. There seems to be a mismatch between technical innovations and the real-life experience for people who depend on transcription. Independent and comprehensive data is needed to capture the state of ASR. We measured the performance of eleven common ASR services with recordings of Higher Education lectures. We evaluated the influence of technical conditions like streaming, the use of vocabularies, and differences between languages. Our results show that accuracy ranges widely between vendors and for the individual audio samples. We also measured a significant lower quality for streaming ASR, which is used for live events. Our study shows that despite the recent improvements of ASR, common services lack reliability in accuracy.

The Word Error Rate (WER) is the common measure of accuracy for Automatic Speech Recognition (ASR). Transcripts are usually pre-processed by substituting specific characters to account for non-semantic differences. As a result of this normalisation, information on the accuracy of punctuation or capitalisation is lost. We present a non-destructive, token-based approach using an extended Levenshtein distance algorithm to compute a robust WER and additional orthographic metrics. Transcription errors are also classified more granularly by existing string similarity and phonetic algorithms. An evaluation on several datasets demonstrates the practical equivalence of our approach compared to common WER computations. We also provide an exemplary analysis of derived use cases, such as a punctuation error rate, and a web application for interactive use and visualisation of our implementation. The code is available open-source., Comment: Accepted in INTERSPEECH 2024

Computing ratios of normalizing constants plays an important role in statistical modeling. Two important examples are hypothesis testing in latent variables models, and model comparison in Bayesian statistics. In both examples, the likelihood ratio and the Bayes factor are defined as the ratio of the normalizing constants of posterior distributions. We propose in this article a novel methodology that estimates this ratio using stochastic approximation principle. Our estimator is consistent and asymptotically Gaussian. Its asymptotic variance is smaller than the one of the popular optimal bridge sampling estimator. Furthermore, it is much more robust to little overlap between the two unnormalized distributions considered. Thanks to its online definition, our procedure can be integrated in an estimation process in latent variables model, and therefore reduce the computational effort. The performances of the estimator are illustrated through a simulation study and compared to two other estimators : the ratio importance sampling and the optimal bridge sampling estimators.

In this study, we present an innovative fusion of language models and query analysis techniques to unlock cognition in artificial intelligence. The introduced open-source AI system seamlessly integrates a Chess engine with a language model, enabling it to predict moves and provide strategic explanations. Leveraging a vector database to achieve retrievable answer generation, our AI system elucidates its decision-making process, bridging the gap between raw computation and human-like understanding. Our choice of Chess as the demonstration environment underscores the versatility of our approach. Beyond Chess, our system holds promise for diverse applications, from medical diagnostics to financial forecasting. Our AI system is available at https://github.com/TheOpenSI/CoSMIC.git, Comment: This paper is accepted to Australasian Conference on Information Systems 2024

We present a resonant-mode, transverse-field, radio-frequency (rf) neutron spin flipper design that uses high-temperature superconducting films to ensure sharp transitions between uniform magnetic field regions. Resonant mode allows for low power, high frequency operation but requires strict homogeneity of the magnetic fields inside the device. This design was found to efficiently flip neutrons at 96.6$\pm 0.6\%$ at an effective frequency of 4 MHz with a beam size of $2.5~\times~2.5$~cm and a wavelength of 0.4 nm. The high frequency and efficiency enable this device to perform high-resolution neutron spectroscopy with comparable performance to currently implemented rf flipper designs. The limitation of the maximum frequency was found due to the field homogeneity of the device. We numerically analyze the maximum possible efficiency of this design using a Bloch solver simulation with magnetic fields generated from finite-element simulations. We also discuss future improvements of the efficiency and frequency to the design based on the experimental and simulation results.

Silicon presents itself as a high-capacity anode material for lithium-ion batteries with a promising future. The high ability for lithiation comes along with massive volume changes and a problematic voltage hysteresis, causing reduced efficiency, detrimental heat generation, and a complicated state-of-charge estimation. During slow cycling, amorphous silicon nanoparticles show a larger voltage hysteresis than after relaxation periods. Interestingly, the voltage relaxes for at least several days, which has not been physically explained so far. We apply a chemo-mechanical continuum model in a core-shell geometry interpreted as a silicon particle covered by the solid-electrolyte interphase to account for the hysteresis phenomena. The silicon core (de)lithiates during every cycle while the covering shell is chemically inactive. The visco-elastoplastic behavior of the shell explains the voltage hysteresis during cycling and after relaxation. We identify a logarithmic voltage relaxation, which fits with the established Garofalo law for viscosity. Our chemo-mechanical model describes the observed voltage hysteresis phenomena and outperforms the empirical Plett model. In addition to our full model, we present a reduced model to allow for easy voltage profile estimations. The presented results support the mechanical explanation of the silicon voltage hysteresis with a core-shell model and encourage further efforts into the investigation of the silicon anode mechanics.

We study decision problems under uncertainty, where the decision-maker has access to $K$ data sources that carry {\em biased} information about the underlying risk factors. The biases are measured by the mismatch between the risk factor distribution and the $K$ data-generating distributions with respect to an optimal transport (OT) distance. In this situation the decision-maker can exploit the information contained in the biased samples by solving a distributionally robust optimization (DRO) problem, where the ambiguity set is defined as the intersection of $K$ OT neighborhoods, each of which is centered at the empirical distribution on the samples generated by a biased data source. We show that if the decision-maker has a prior belief about the biases, then the out-of-sample performance of the DRO solution can improve with $K$ -- irrespective of the magnitude of the biases. We also show that, under standard convexity assumptions, the proposed DRO problem is computationally tractable if either $K$ or the dimension of the risk factors is kept constant.

Accurate segmentation of prostate tumours from PET images presents a formidable challenge in medical image analysis. Despite considerable work and improvement in delineating organs from CT and MR modalities, the existing standards do not transfer well and produce quality results in PET related tasks. Particularly, contemporary methods fail to accurately consider the intensity-based scaling applied by the physicians during manual annotation of tumour contours. In this paper, we observe that the prostate-localised uptake threshold ranges are beneficial for suppressing outliers. Therefore, we utilize the intensity threshold values, to implement a new custom-feature-clipping normalisation technique. We evaluate multiple, established U-Net variants under different normalisation schemes, using the nnU-Net framework. All models were trained and tested on multiple datasets, obtained with two radioactive tracers: [68-Ga]Ga-PSMA-11 and [18-F]PSMA-1007. Our results show that the U-Net models achieve much better performance when the PET scans are preprocessed with our novel clipping technique.

The Large Binocular Telescope, with its expansive collecting area, angular resolving power, and advanced optical design, provides a robust platform for development and operation of advanced instrumentation for astronomical research. The LBT currently hosts a mature suite of instruments for spectroscopy and imaging at optical through mid-infrared wavelengths, supported by sophisticated adaptive optics systems. This contribution summarizes the current state of instrumentation, including upgrades to existing instruments and commissioning of second generation instruments now in progress. The LBT is soliciting proposals for next generation instrument concepts, with participation open to consortium members and others interested in participation in the Observatory., Comment: 6 pages, Proc. SPIE 13096-4, Ground-based and Airborne Instrumentation for Astronomy X, Yokohama 2024

Diverse and realistic floor plan data are essential for the development of useful computer-aided methods in architectural design. Today's large-scale floor plan datasets predominantly feature simple floor plan layouts, typically representing single-apartment dwellings only. To compensate for the mismatch between current datasets and the real world, we develop \textbf{Modified Swiss Dwellings} (MSD) -- the first large-scale floor plan dataset that contains a significant share of layouts of multi-apartment dwellings. MSD features over 5.3K floor plans of medium- to large-scale building complexes, covering over 18.9K distinct apartments. We validate that existing approaches for floor plan generation, while effective in simpler scenarios, cannot yet seamlessly address the challenges posed by MSD. Our benchmark calls for new research in floor plan machine understanding. Code and data are open., Comment: ECCV 2024 (incl. Suppl. Mat.)