Showing 1–50 of 123 results for author: Becker, B

The Widening Gap: The Benefits and Harms of Generative AI for Novice Programmers

Authors: James Prather, Brent Reeves, Juho Leinonen, Stephen MacNeil, Arisoa S. Randrianasolo, Brett Becker, Bailey Kimmel, Jared Wright, Ben Briggs

Abstract: Novice programmers often struggle through programming problem solving due to a lack of metacognitive awareness and strategies. Previous research has shown that novices can encounter multiple metacognitive difficulties while programming. Novices are typically unaware of how these difficulties are hindering their progress. Meanwhile, many novices are now programming with generative AI (GenAI), which… ▽ More Novice programmers often struggle through programming problem solving due to a lack of metacognitive awareness and strategies. Previous research has shown that novices can encounter multiple metacognitive difficulties while programming. Novices are typically unaware of how these difficulties are hindering their progress. Meanwhile, many novices are now programming with generative AI (GenAI), which can provide complete solutions to most introductory programming problems, code suggestions, hints for next steps when stuck, and explain cryptic error messages. Its impact on novice metacognition has only started to be explored. Here we replicate a previous study that examined novice programming problem solving behavior and extend it by incorporating GenAI tools. Through 21 lab sessions consisting of participant observation, interview, and eye tracking, we explore how novices are coding with GenAI tools. Although 20 of 21 students completed the assigned programming problem, our findings show an unfortunate divide in the use of GenAI tools between students who accelerated and students who struggled. Students who accelerated were able to use GenAI to create code they already intended to make and were able to ignore unhelpful or incorrect inline code suggestions. But for students who struggled, our findings indicate that previously known metacognitive difficulties persist, and that GenAI unfortunately can compound them and even introduce new metacognitive difficulties. Furthermore, struggling students often expressed cognitive dissonance about their problem solving ability, thought they performed better than they did, and finished with an illusion of competence. Based on our observations from both groups, we propose ways to scaffold the novice GenAI experience and make suggestions for future work. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: Accepted to ICER 2024

Self-supervised learning for classifying paranasal anomalies in the maxillary sinus

Authors: Debayan Bhattacharya, Finn Behrendt, Benjamin Tobias Becker, Lennart Maack, Dirk Beyersdorff, Elina Petersen, Marvin Petersen, Bastian Cheng, Dennis Eggert, Christian Betz, Anna Sophie Hoffmann, Alexander Schlaefer

Abstract: Purpose: Paranasal anomalies, frequently identified in routine radiological screenings, exhibit diverse morphological characteristics. Due to the diversity of anomalies, supervised learning methods require large labelled dataset exhibiting diverse anomaly morphology. Self-supervised learning (SSL) can be used to learn representations from unlabelled data. However, there are no SSL methods designed… ▽ More Purpose: Paranasal anomalies, frequently identified in routine radiological screenings, exhibit diverse morphological characteristics. Due to the diversity of anomalies, supervised learning methods require large labelled dataset exhibiting diverse anomaly morphology. Self-supervised learning (SSL) can be used to learn representations from unlabelled data. However, there are no SSL methods designed for the downstream task of classifying paranasal anomalies in the maxillary sinus (MS). Methods: Our approach uses a 3D Convolutional Autoencoder (CAE) trained in an unsupervised anomaly detection (UAD) framework. Initially, we train the 3D CAE to reduce reconstruction errors when reconstructing normal maxillary sinus (MS) image. Then, this CAE is applied to an unlabelled dataset to generate coarse anomaly locations by creating residual MS images. Following this, a 3D Convolutional Neural Network (CNN) reconstructs these residual images, which forms our SSL task. Lastly, we fine-tune the encoder part of the 3D CNN on a labelled dataset of normal and anomalous MS images. Results: The proposed SSL technique exhibits superior performance compared to existing generic self-supervised methods, especially in scenarios with limited annotated data. When trained on just 10% of the annotated dataset, our method achieves an Area Under the Precision-Recall Curve (AUPRC) of 0.79 for the downstream classification task. This performance surpasses other methods, with BYOL attaining an AUPRC of 0.75, SimSiam at 0.74, SimCLR at 0.73 and Masked Autoencoding using SparK at 0.75. Conclusion: A self-supervised learning approach that inherently focuses on localizing paranasal anomalies proves to be advantageous, particularly when the subsequent task involves differentiating normal from anomalous maxillary sinuses. Access our code at https://github.com/mtec-tuhh/self-supervised-paranasal-anomaly △ Less

Submitted 29 April, 2024; originally announced April 2024.

Explaining Code with a Purpose: An Integrated Approach for Develo** Code Comprehension and Prompting Skills

Authors: Paul Denny, David H. Smith IV, Max Fowler, James Prather, Brett A. Becker, Juho Leinonen

Abstract: Reading, understanding and explaining code have traditionally been important skills for novices learning programming. As large language models (LLMs) become prevalent, these foundational skills are more important than ever given the increasing need to understand and evaluate model-generated code. Brand new skills are also needed, such as the ability to formulate clear prompts that can elicit inten… ▽ More Reading, understanding and explaining code have traditionally been important skills for novices learning programming. As large language models (LLMs) become prevalent, these foundational skills are more important than ever given the increasing need to understand and evaluate model-generated code. Brand new skills are also needed, such as the ability to formulate clear prompts that can elicit intended code from an LLM. Thus, there is great interest in integrating pedagogical approaches for the development of both traditional coding competencies and the novel skills required to interact with LLMs. One effective way to develop and assess code comprehension ability is with ``Explain in plain English'' (EiPE) questions, where students succinctly explain the purpose of a fragment of code. However, grading EiPE questions has always been difficult given the subjective nature of evaluating written explanations and this has stifled their uptake. In this paper, we explore a natural synergy between EiPE questions and code-generating LLMs to overcome this limitation. We propose using an LLM to generate code based on students' responses to EiPE questions -- not only enabling EiPE responses to be assessed automatically, but hel** students develop essential code comprehension and prompt crafting skills in parallel. We investigate this idea in an introductory programming course and report student success in creating effective prompts for solving EiPE questions. We also examine student perceptions of this activity and how it influences their views on the use of LLMs for aiding and assessing learning. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: Accepted to ITiCSE 2024

Interactions with Prompt Problems: A New Way to Teach Programming with Large Language Models

Authors: James Prather, Paul Denny, Juho Leinonen, David H. Smith IV, Brent N. Reeves, Stephen MacNeil, Brett A. Becker, Andrew Luxton-Reilly, Thezyrie Amarouche, Bailey Kimmel

Abstract: Large Language Models (LLMs) have upended decades of pedagogy in computing education. Students previously learned to code through \textit{writing} many small problems with less emphasis on code reading and comprehension. Recent research has shown that free code generation tools powered by LLMs can solve introductory programming problems presented in natural language with ease. In this paper, we pr… ▽ More Large Language Models (LLMs) have upended decades of pedagogy in computing education. Students previously learned to code through \textit{writing} many small problems with less emphasis on code reading and comprehension. Recent research has shown that free code generation tools powered by LLMs can solve introductory programming problems presented in natural language with ease. In this paper, we propose a new way to teach programming with Prompt Problems. Students receive a problem visually, indicating how input should be transformed to output, and must translate that to a prompt for an LLM to decipher. The problem is considered correct when the code that is generated by the student prompt can pass all test cases. In this paper we present the design of this tool, discuss student interactions with it as they learn, and provide insights into this new class of programming problems as well as the design tools that integrate LLMs. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: accepted for CHI 2024

Unsupervised Segmentation of Colonoscopy Images

Authors: Heming Yao, Jérôme Lüscher, Benjamin Gutierrez Becker, Josep Arús-Pous, Tommaso Biancalani, Amelie Bigorgne, David Richmond

Abstract: Colonoscopy plays a crucial role in the diagnosis and prognosis of various gastrointestinal diseases. Due to the challenges of collecting large-scale high-quality ground truth annotations for colonoscopy images, and more generally medical images, we explore using self-supervised features from vision transformers in three challenging tasks for colonoscopy images. Our results indicate that image-lev… ▽ More Colonoscopy plays a crucial role in the diagnosis and prognosis of various gastrointestinal diseases. Due to the challenges of collecting large-scale high-quality ground truth annotations for colonoscopy images, and more generally medical images, we explore using self-supervised features from vision transformers in three challenging tasks for colonoscopy images. Our results indicate that image-level features learned from DINO models achieve image classification performance comparable to fully supervised models, and patch-level features contain rich semantic information for object detection. Furthermore, we demonstrate that self-supervised features combined with unsupervised segmentation can be used to discover multiple clinically relevant structures in a fully unsupervised manner, demonstrating the tremendous potential of applying these methods in medical image analysis. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Enhanced Measurement of Neutral Atom Qubits with Machine Learning

Authors: L. Phuttitarn, B. M. Becker, R. Chinnarasu, T. M. Graham, M. Saffman

Abstract: We demonstrate qubit state measurements assisted by a supervised convolutional neural network (CNN) in a neutral atom quantum processor. We present two CNN architectures for analyzing neutral atom qubit readout data: a compact 5-layer single-qubit CNN architecture and a 6-layer multi-qubit CNN architecture. We benchmark both architectures against a conventional Gaussian threshold analysis method.… ▽ More We demonstrate qubit state measurements assisted by a supervised convolutional neural network (CNN) in a neutral atom quantum processor. We present two CNN architectures for analyzing neutral atom qubit readout data: a compact 5-layer single-qubit CNN architecture and a 6-layer multi-qubit CNN architecture. We benchmark both architectures against a conventional Gaussian threshold analysis method. In a sparse array (9 μm atom separation) which experiences negligible crosstalk, we observed up to 32% and 56% error reduction for the multi-qubit and single-qubit architectures respectively, as compared to the benchmark. In a tightly spaced array (5 μm atom separation), which suffers from readout crosstalk, we observed up to 43% and 32% error reduction in the multi-qubit and single-qubit CNN architectures respectively, as compared to the benchmark. By examining the correlation between the predicted states of neighboring qubits, we found that the multi-qubit CNN architecture reduces the crosstalk correlation up to 78.5%. This work demonstrates a proof of concept for a CNN network to be implemented as a real-time readout processing method on a neutral atom quantum computer, enabling faster readout time and improved fidelity. △ Less

Submitted 1 May, 2024; v1 submitted 20 November, 2023; originally announced November 2023.

Comments: additional data added

Prompt Problems: A New Programming Exercise for the Generative AI Era

Authors: Paul Denny, Juho Leinonen, James Prather, Andrew Luxton-Reilly, Thezyrie Amarouche, Brett A. Becker, Brent N. Reeves

Abstract: Large Language Models (LLMs) are revolutionizing the field of computing education with their powerful code-generating capabilities. Traditional pedagogical practices have focused on code writing tasks, but there is now a shift in importance towards code reading, comprehension and evaluation of LLM-generated code. Alongside this shift, an important new skill is emerging -- the ability to solve prog… ▽ More Large Language Models (LLMs) are revolutionizing the field of computing education with their powerful code-generating capabilities. Traditional pedagogical practices have focused on code writing tasks, but there is now a shift in importance towards code reading, comprehension and evaluation of LLM-generated code. Alongside this shift, an important new skill is emerging -- the ability to solve programming tasks by constructing good prompts for code-generating models. In this work we introduce a new type of programming exercise to hone this nascent skill: 'Prompt Problems'. Prompt Problems are designed to help students learn how to write effective prompts for AI code generators. A student solves a Prompt Problem by crafting a natural language prompt which, when provided as input to an LLM, outputs code that successfully solves a specified programming task. We also present a new web-based tool called Promptly which hosts a repository of Prompt Problems and supports the automated evaluation of prompt-generated code. We deploy Promptly for the first time in one CS1 and one CS2 course and describe our experiences, which include student perceptions of this new type of activity and their interactions with the tool. We find that students are enthusiastic about Prompt Problems, and appreciate how the problems engage their computational thinking skills and expose them to new programming constructs. We discuss ideas for the future development of new variations of Prompt Problems, and the need to carefully study their integration into classroom practice. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Comments: Accepted to SIGCSE'24. arXiv admin note: substantial text overlap with arXiv:2307.16364

The Robots are Here: Navigating the Generative AI Revolution in Computing Education

Authors: James Prather, Paul Denny, Juho Leinonen, Brett A. Becker, Ibrahim Albluwi, Michelle Craig, Hieke Keuning, Natalie Kiesler, Tobias Kohn, Andrew Luxton-Reilly, Stephen MacNeil, Andrew Peterson, Raymond Pettit, Brent N. Reeves, Jaromir Savelka

Abstract: Recent advancements in artificial intelligence (AI) are fundamentally resha** computing, with large language models (LLMs) now effectively being able to generate and interpret source code and natural language instructions. These emergent capabilities have sparked urgent questions in the computing education community around how educators should adapt their pedagogy to address the challenges and t… ▽ More Recent advancements in artificial intelligence (AI) are fundamentally resha** computing, with large language models (LLMs) now effectively being able to generate and interpret source code and natural language instructions. These emergent capabilities have sparked urgent questions in the computing education community around how educators should adapt their pedagogy to address the challenges and to leverage the opportunities presented by this new technology. In this working group report, we undertake a comprehensive exploration of LLMs in the context of computing education and make five significant contributions. First, we provide a detailed review of the literature on LLMs in computing education and synthesise findings from 71 primary articles. Second, we report the findings of a survey of computing students and instructors from across 20 countries, capturing prevailing attitudes towards LLMs and their use in computing education contexts. Third, to understand how pedagogy is already changing, we offer insights collected from in-depth interviews with 22 computing educators from five continents who have already adapted their curricula and assessments. Fourth, we use the ACM Code of Ethics to frame a discussion of ethical issues raised by the use of large language models in computing education, and we provide concrete advice for policy makers, educators, and students. Finally, we benchmark the performance of LLMs on various computing education datasets, and highlight the extent to which the capabilities of current models are rapidly improving. Our aim is that this report will serve as a focal point for both researchers and practitioners who are exploring, adapting, using, and evaluating LLMs and LLM-based tools in computing classrooms. △ Less

Submitted 1 October, 2023; originally announced October 2023.

Comments: 39 pages of content + 12 pages of references and appendices

Promptly: Using Prompt Problems to Teach Learners How to Effectively Utilize AI Code Generators

Authors: Paul Denny, Juho Leinonen, James Prather, Andrew Luxton-Reilly, Thezyrie Amarouche, Brett A. Becker, Brent N. Reeves

Abstract: With their remarkable ability to generate code, large language models (LLMs) are a transformative technology for computing education practice. They have created an urgent need for educators to rethink pedagogical approaches and teaching strategies for newly emerging skill sets. Traditional approaches to learning programming have focused on frequent and repeated practice at writing code. The ease w… ▽ More With their remarkable ability to generate code, large language models (LLMs) are a transformative technology for computing education practice. They have created an urgent need for educators to rethink pedagogical approaches and teaching strategies for newly emerging skill sets. Traditional approaches to learning programming have focused on frequent and repeated practice at writing code. The ease with which code can now be generated has resulted in a shift in focus towards reading, understanding and evaluating LLM-generated code. In parallel with this shift, a new essential skill is emerging -- the ability to construct good prompts for code-generating models. This paper introduces a novel pedagogical concept known as a `Prompt Problem', designed to help students learn how to craft effective prompts for LLMs. A Prompt Problem challenges a student to create a natural language prompt that leads an LLM to produce the correct code for a specific problem. To support the delivery of Prompt Problems at scale, in this paper we also present a novel tool called Promptly which hosts a repository of Prompt Problems and automates the evaluation of prompt-generated code. We report empirical findings from a field study in which Promptly was deployed in a first-year Python programming course (n=54). We explore student interactions with the tool and their perceptions of the Prompt Problem concept. We found that Promptly was largely well-received by students for its ability to engage their computational thinking skills and expose them to new programming constructs. We also discuss avenues for future work, including variations on the design of Prompt Problems and the need to study their integration into the curriculum and teaching practice. △ Less

Submitted 30 July, 2023; originally announced July 2023.

COHERENT Collaboration data release from the measurements of CsI[Na] response to nuclear recoils

Authors: D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, C. Bock, A. Bolozdynya, J. Browning, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso, A. Galindo-Uribarri, M. P. Green , et al. (53 additional authors not shown)

Abstract: Description of the data release 10.13139/OLCF/1969085 (https://doi.ccs.ornl.gov/ui/doi/426) from the measurements of the CsI[Na] response to low energy nuclear recoils by the COHERENT collaboration. The release corresponds to the results published in "D. Akimov et al 2022 JINST 17 P10034". We share the data in the form of raw ADC waveforms, provide benchmark values, and share plots to enhance the… ▽ More Description of the data release 10.13139/OLCF/1969085 (https://doi.ccs.ornl.gov/ui/doi/426) from the measurements of the CsI[Na] response to low energy nuclear recoils by the COHERENT collaboration. The release corresponds to the results published in "D. Akimov et al 2022 JINST 17 P10034". We share the data in the form of raw ADC waveforms, provide benchmark values, and share plots to enhance the transparency and reproducibility of our results. This document describes the contents of the data release as well as guidance on the use of the data. △ Less

Submitted 14 July, 2023; originally announced July 2023.

UAV Swarms for Joint Data Ferrying and Dynamic Cell Coverage via Optimal Transport Descent and Quadratic Assignment

Authors: Kai Cui, Lars Baumgärtner, Burak Yilmaz, Mengguang Li, Christian Fabian, Benjamin Becker, Lin Xiang, Maximilian Bauer, Heinz Koeppl

Abstract: Both data ferrying with disruption-tolerant networking (DTN) and mobile cellular base stations constitute important techniques for UAV-aided communication in situations of crises where standard communication infrastructure is unavailable. For optimal use of a limited number of UAVs, we propose providing both DTN and a cellular base station on each UAV. Here, DTN is used for large amounts of low-pr… ▽ More Both data ferrying with disruption-tolerant networking (DTN) and mobile cellular base stations constitute important techniques for UAV-aided communication in situations of crises where standard communication infrastructure is unavailable. For optimal use of a limited number of UAVs, we propose providing both DTN and a cellular base station on each UAV. Here, DTN is used for large amounts of low-priority data, while capacity-constrained cell coverage remains reserved for emergency calls or command and control. We optimize cell coverage via a novel optimal transport-based formulation using alternating minimization, while for data ferrying we periodically deliver data between dynamic clusters by solving quadratic assignment problems. In our evaluation, we consider different scenarios with varying mobility models and a wide range of flight patterns. Overall, we tractably achieve optimal cell coverage under quality-of-service costs with DTN-based data ferrying, enabling large-scale deployment of UAV swarms for crisis communication. △ Less

Submitted 6 July, 2023; originally announced July 2023.

Comments: Accepted to IEEE LCN 2023 as full paper, pre-final version

Computing Education in the Era of Generative AI

Authors: Paul Denny, James Prather, Brett A. Becker, James Finnie-Ansley, Arto Hellas, Juho Leinonen, Andrew Luxton-Reilly, Brent N. Reeves, Eddie Antonio Santos, Sami Sarsa

Abstract: The computing education community has a rich history of pedagogical innovation designed to support students in introductory courses, and to support teachers in facilitating student learning. Very recent advances in artificial intelligence have resulted in code generation models that can produce source code from natural language problem descriptions -- with impressive accuracy in many cases. The wi… ▽ More The computing education community has a rich history of pedagogical innovation designed to support students in introductory courses, and to support teachers in facilitating student learning. Very recent advances in artificial intelligence have resulted in code generation models that can produce source code from natural language problem descriptions -- with impressive accuracy in many cases. The wide availability of these models and their ease of use has raised concerns about potential impacts on many aspects of society, including the future of computing education. In this paper, we discuss the challenges and opportunities such models present to computing educators, with a focus on introductory programming classrooms. We summarize the results of two recent articles, the first evaluating the performance of code generation models on typical introductory-level programming problems, and the second exploring the quality and novelty of learning resources generated by these models. We consider likely impacts of such models upon pedagogical practice in the context of the most recent advances at the time of writing. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Comments: Accepted for publication as a Contributed Article in Communications of the ACM (CACM)

Stable developmental patterns of gene expression without morphogen gradients

Authors: Maciej Majka, Nils B. Becker, Pieter Rein ten Wolde, Marcin Zagorski, Thomas R. Sokolowski

Abstract: Gene expression patterns (GEPs) are established by cross-regulating target genes that interpret morphogen gradients. However, as development progresses, morphogen activity is reduced, leaving the emergent GEP without stabilizing positional cues. The GEP then can be deteriorated by the intrinsically noisy biochemical processes acting at the cellular level. However, the established GEPs remain spati… ▽ More Gene expression patterns (GEPs) are established by cross-regulating target genes that interpret morphogen gradients. However, as development progresses, morphogen activity is reduced, leaving the emergent GEP without stabilizing positional cues. The GEP then can be deteriorated by the intrinsically noisy biochemical processes acting at the cellular level. However, the established GEPs remain spatio-temporally stable in many biological systems. Here we combine spatial-stochastic simulations with an enhanced sampling method (Non-Stationary Forward Flux Sampling) and a recently developed stability theory to address how spatiotemporal integrity of a GEP is maintained without morphogen gradients. Using a minimal embryo model consisting of spatially coupled biochemical reactor volumes, we study a stripe pattern in which weak cross-repression between nearest neighbor domians alternates with strong repression between next-nearest neighbor domains, inspired by the gap gene system in the Drosophila embryo. We find that fine-tuning of the weak repressive interactions to an optimal level increases temporal stability of GEPs by orders of magnitude, providing stability over developmentally relevant times, without morphogen gradients. The numerically determined optimal parameter regime closely agrees with the predictions of the stability theory. By analizing the dynamics of GEP asymmetry factors, we trace back the pattern stability enhancement to the emergence of a metastable basin and restoring forces that counteract pattern perturbations. The origin of these forces is further explained by the effective model, describing the emergent deterministic dynamics of the system. Altogether, we show that metastable attractors can emerge as a property of stochastic GEPs even without system-wide positional cues, provided that the gene regulatory interactions sha** the pattern are optimally tuned. △ Less

Submitted 5 April, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: Final version, ready for submission to PLCB. Significantly extended part containing analytical models, updated figures and general overhaul of text

Measurement of the Electron-Neutrino Charged-Current Cross Sections on ${}^{127}$I with the COHERENT NaI$ν$E detector

Authors: P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, C. Bock, A. Bolozdynya, R. Bouabid, A. Brown, J. Browning, B. Cabrera-Palmer, M. Cervantes, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso, A. Galindo-Uribarri, A. C. Germer , et al. (64 additional authors not shown)

Abstract: Using an 185-kg NaI[Tl] array, COHERENT has measured the inclusive electron-neutrino charged-current cross section on ${}^{127}$I with pion decay-at-rest neutrinos produced by the Spallation Neutron Source at Oak Ridge National Laboratory. Iodine is one the heaviest targets for which low-energy ($\leq$ 50 MeV) inelastic neutrino-nucleus processes have been measured, and this is the first measureme… ▽ More Using an 185-kg NaI[Tl] array, COHERENT has measured the inclusive electron-neutrino charged-current cross section on ${}^{127}$I with pion decay-at-rest neutrinos produced by the Spallation Neutron Source at Oak Ridge National Laboratory. Iodine is one the heaviest targets for which low-energy ($\leq$ 50 MeV) inelastic neutrino-nucleus processes have been measured, and this is the first measurement of its inclusive cross section. After a five-year detector exposure, COHERENT reports a flux-averaged cross section for electron neutrinos of $9.2^{+2.1}_{-1.8} \times 10^{-40}$ cm$^2$. This corresponds to a value that is $\sim$41% lower than predicted using the MARLEY event generator with a measured Gamow-Teller strength distribution. In addition, the observed visible spectrum from charged-current scattering on $^{127}$I has been measured between 10 and 55 MeV, and the exclusive zero-neutron and one-or-more-neutron emission cross sections are measured to be $5.2^{+3.4}_{-3.1} \times 10^{-40}$ and $2.2^{+3.5}_{-2.2} \times 10^{-40}$ cm$^2$, respectively. △ Less

Submitted 7 March, 2024; v1 submitted 31 May, 2023; originally announced May 2023.

Comments: 10 pages, 7 figures

Journal ref: Phys. Rev. Lett. 131, 221801 (2023)

Feature Guided Training and Rotational Standardisation for the Morphological Classification of Radio Galaxies

Authors: Kevin Brand, Trienko L. Grobler, Waldo Kleynhans, Mattia Vaccari, Matthew Prescott, Burger Becker

Abstract: State-of-the-art radio observatories produce large amounts of data which can be used to study the properties of radio galaxies. However, with this rapid increase in data volume, it has become unrealistic to manually process all of the incoming data, which in turn led to the development of automated approaches for data processing tasks, such as morphological classification. Deep learning plays a cr… ▽ More State-of-the-art radio observatories produce large amounts of data which can be used to study the properties of radio galaxies. However, with this rapid increase in data volume, it has become unrealistic to manually process all of the incoming data, which in turn led to the development of automated approaches for data processing tasks, such as morphological classification. Deep learning plays a crucial role in this automation process and it has been shown that convolutional neural networks (CNNs) can deliver good performance in the morphological classification of radio galaxies. This paper investigates two adaptations to the application of these CNNs for radio galaxy classification. The first adaptation consists of using principal component analysis (PCA) during preprocessing to align the galaxies' principal components with the axes of the coordinate system, which will normalize the orientation of the galaxies. This adaptation led to a significant improvement in the classification accuracy of the CNNs and decreased the average time required to train the models. The second adaptation consists of guiding the CNN to look for specific features within the samples in an attempt to utilize domain knowledge to improve the training process. It was found that this adaptation generally leads to a stabler training process and in certain instances reduced overfitting within the network, as well as the number of epochs required for training. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 20 pages, 17 figures, this is a pre-copyedited, author-produced PDF of an article accepted for publication in the Monthly Notices of the Royal Astronomical Society

"It's Weird That it Knows What I Want": Usability and Interactions with Copilot for Novice Programmers

Authors: James Prather, Brent N. Reeves, Paul Denny, Brett A. Becker, Juho Leinonen, Andrew Luxton-Reilly, Garrett Powell, James Finnie-Ansley, Eddie Antonio Santos

Abstract: Recent developments in deep learning have resulted in code-generation models that produce source code from natural language and code-based prompts with high accuracy. This is likely to have profound effects in the classroom, where novices learning to code can now use free tools to automatically suggest solutions to programming exercises and assignments. However, little is currently known about how… ▽ More Recent developments in deep learning have resulted in code-generation models that produce source code from natural language and code-based prompts with high accuracy. This is likely to have profound effects in the classroom, where novices learning to code can now use free tools to automatically suggest solutions to programming exercises and assignments. However, little is currently known about how novices interact with these tools in practice. We present the first study that observes students at the introductory level using one such code auto-generating tool, Github Copilot, on a typical introductory programming (CS1) assignment. Through observations and interviews we explore student perceptions of the benefits and pitfalls of this technology for learning, present new observed interaction patterns, and discuss cognitive and metacognitive difficulties faced by students. We consider design implications of these findings, specifically in terms of how tools like Copilot can better support and scaffold the novice programming experience. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 26 pages, 2 figures, TOCHI

Multiple Instance Ensembling For Paranasal Anomaly Classification In The Maxillary Sinus

Authors: Debayan Bhattacharya, Finn Behrendt, Benjamin Tobias Becker, Dirk Beyersdorff, Elina Petersen, Marvin Petersen, Bastian Cheng, Dennis Eggert, Christian Betz, Anna Sophie Hoffmann, Alexander Schlaefer

Abstract: Paranasal anomalies are commonly discovered during routine radiological screenings and can present with a wide range of morphological features. This diversity can make it difficult for convolutional neural networks (CNNs) to accurately classify these anomalies, especially when working with limited datasets. Additionally, current approaches to paranasal anomaly classification are constrained to ide… ▽ More Paranasal anomalies are commonly discovered during routine radiological screenings and can present with a wide range of morphological features. This diversity can make it difficult for convolutional neural networks (CNNs) to accurately classify these anomalies, especially when working with limited datasets. Additionally, current approaches to paranasal anomaly classification are constrained to identifying a single anomaly at a time. These challenges necessitate the need for further research and development in this area. In this study, we investigate the feasibility of using a 3D convolutional neural network (CNN) to classify healthy maxillary sinuses (MS) and MS with polyps or cysts. The task of accurately identifying the relevant MS volume within larger head and neck Magnetic Resonance Imaging (MRI) scans can be difficult, but we develop a straightforward strategy to tackle this challenge. Our end-to-end solution includes the use of a novel sampling technique that not only effectively localizes the relevant MS volume, but also increases the size of the training dataset and improves classification results. Additionally, we employ a multiple instance ensemble prediction method to further boost classification performance. Finally, we identify the optimal size of MS volumes to achieve the highest possible classification performance on our dataset. With our multiple instance ensemble prediction strategy and sampling strategy, our 3D CNNs achieve an F1 of 0.85 whereas without it, they achieve an F1 of 0.70. We demonstrate the feasibility of classifying anomalies in the MS. We propose a data enlarging strategy alongside a novel ensembling strategy that proves to be beneficial for paranasal anomaly classification in the MS. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Trade-offs between cost and information in cellular prediction

Authors: Age J. Tjalma, Vahe Galstyan, Jeroen Goedhart, Lotte Slim, Nils B. Becker, Pieter Rein ten Wolde

Abstract: Living cells can leverage correlations in environmental fluctuations to predict the future environment and mount a response ahead of time. To this end, cells need to encode the past signal into the output of the intracellular network from which the future input is predicted. Yet, storing information is costly while not all features of the past signal are equally informative on the future input sig… ▽ More Living cells can leverage correlations in environmental fluctuations to predict the future environment and mount a response ahead of time. To this end, cells need to encode the past signal into the output of the intracellular network from which the future input is predicted. Yet, storing information is costly while not all features of the past signal are equally informative on the future input signal. Here, we show, for two classes of input signals, that cellular networks can reach the fundamental bound on the predictive information as set by the information extracted from the past signal: push-pull networks can reach this information bound for Markovian signals, while networks that take a temporal derivative can reach the bound for predicting the future derivative of non-Markovian signals. However, the bits of past information that are most informative about the future signal are also prohibitively costly. As a result, the optimal system that maximizes the predictive information for a given resource cost is, in general, not at the information bound. Applying our theory to the chemotaxis network of Escherichia coli reveals that its adaptive kernel is optimal for predicting future concentration changes over a broad range of background concentrations, and that the system has been tailored to predicting these changes in shallow gradients. △ Less

Submitted 10 January, 2023; originally announced January 2023.

Measurement of ${}^{nat}$Pb($ν_e$,X$n$) production with a stopped-pion neutrino source

Authors: COHERENT Collaboration, P. An, C. Awe, P. S. Barbeau, B. Becker, S. W. Belling, V. Belov, I. Bernardi, C. Bock, A. Bolozdynya, R. Bouabid, A. Brown, J. Browning, B. Cabrera-Palmer, M. Cervantes, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso , et al. (62 additional authors not shown)

Abstract: Using neutrinos produced at the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory (ORNL), the COHERENT collaboration has studied the Pb($ν_e$,X$n$) process with a lead neutrino-induced-neutron (NIN) detector. Data from this detector are fit jointly with previously collected COHERENT data on this process. A combined analysis of the two datasets yields a cross section that is… ▽ More Using neutrinos produced at the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory (ORNL), the COHERENT collaboration has studied the Pb($ν_e$,X$n$) process with a lead neutrino-induced-neutron (NIN) detector. Data from this detector are fit jointly with previously collected COHERENT data on this process. A combined analysis of the two datasets yields a cross section that is $0.29^{+0.17}_{-0.16}$ times that predicted by the MARLEY event generator using experimentally-measured Gamow-Teller strength distributions, consistent with no NIN events at 1.8$σ$. This is the first inelastic neutrino-nucleus process COHERENT has studied, among several planned exploiting the high flux of low-energy neutrinos produced at the SNS. △ Less

Submitted 30 October, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 11 pages, 9 figures, version accepted by Phys. Rev. D

Journal ref: Phys. Rev. D 108, 072001 (2023)

Programming Is Hard -- Or at Least It Used to Be: Educational Opportunities And Challenges of AI Code Generation

Authors: Brett A. Becker, Paul Denny, James Finnie-Ansley, Andrew Luxton-Reilly, James Prather, Eddie Antonio Santos

Abstract: The introductory programming sequence has been the focus of much research in computing education. The recent advent of several viable and freely-available AI-driven code generation tools present several immediate opportunities and challenges in this domain. In this position paper we argue that the community needs to act quickly in deciding what possible opportunities can and should be leveraged an… ▽ More The introductory programming sequence has been the focus of much research in computing education. The recent advent of several viable and freely-available AI-driven code generation tools present several immediate opportunities and challenges in this domain. In this position paper we argue that the community needs to act quickly in deciding what possible opportunities can and should be leveraged and how, while also working on how to overcome or otherwise mitigate the possible challenges. Assuming that the effectiveness and proliferation of these tools will continue to progress rapidly, without quick, deliberate, and concerted efforts, educators will lose advantage in hel** shape what opportunities come to be, and what challenges will endure. With this paper we aim to seed this discussion within the computing education community. △ Less

Submitted 2 December, 2022; originally announced December 2022.

Comments: 7 pages

ACM Class: K.3.2; I.2; H.5.2

Unsupervised Anomaly Detection of Paranasal Anomalies in the Maxillary Sinus

Authors: Debayan Bhattacharya, Finn Behrendt, Benjamin Tobias Becker, Dirk Beyersdorff, Elina Petersen, Marvin Petersen, Bastian Cheng, Dennis Eggert, Christian Betz, Anna Sophie Hoffmann, Alexander Schlaefer

Abstract: Deep learning (DL) algorithms can be used to automate paranasal anomaly detection from Magnetic Resonance Imaging (MRI). However, previous works relied on supervised learning techniques to distinguish between normal and abnormal samples. This method limits the type of anomalies that can be classified as the anomalies need to be present in the training data. Further, many data points from normal an… ▽ More Deep learning (DL) algorithms can be used to automate paranasal anomaly detection from Magnetic Resonance Imaging (MRI). However, previous works relied on supervised learning techniques to distinguish between normal and abnormal samples. This method limits the type of anomalies that can be classified as the anomalies need to be present in the training data. Further, many data points from normal and anomaly class are needed for the model to achieve satisfactory classification performance. However, experienced clinicians can segregate between normal samples (healthy maxillary sinus) and anomalous samples (anomalous maxillary sinus) after looking at a few normal samples. We mimic the clinicians ability by learning the distribution of healthy maxillary sinuses using a 3D convolutional auto-encoder (cAE) and its variant, a 3D variational autoencoder (VAE) architecture and evaluate cAE and VAE for this task. Concretely, we pose the paranasal anomaly detection as an unsupervised anomaly detection problem. Thereby, we are able to reduce the labelling effort of the clinicians as we only use healthy samples during training. Additionally, we can classify any type of anomaly that differs from the training distribution. We train our 3D cAE and VAE to learn a latent representation of healthy maxillary sinus volumes using L1 reconstruction loss. During inference, we use the reconstruction error to classify between normal and anomalous maxillary sinuses. We extract sub-volumes from larger head and neck MRIs and analyse the effect of different fields of view on the detection performance. Finally, we report which anomalies are easiest and hardest to classify using our approach. Our results demonstrate the feasibility of unsupervised detection of paranasal anomalies from MRIs with an AUPRC of 85% and 80% for cAE and VAE, respectively. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Using Large Language Models to Enhance Programming Error Messages

Authors: Juho Leinonen, Arto Hellas, Sami Sarsa, Brent Reeves, Paul Denny, James Prather, Brett A. Becker

Abstract: A key part of learning to program is learning to understand programming error messages. They can be hard to interpret and identifying the cause of errors can be time-consuming. One factor in this challenge is that the messages are typically intended for an audience that already knows how to program, or even for programming environments that then use the information to highlight areas in code. Rese… ▽ More A key part of learning to program is learning to understand programming error messages. They can be hard to interpret and identifying the cause of errors can be time-consuming. One factor in this challenge is that the messages are typically intended for an audience that already knows how to program, or even for programming environments that then use the information to highlight areas in code. Researchers have been working on making these errors more novice friendly since the 1960s, however progress has been slow. The present work contributes to this stream of research by using large language models to enhance programming error messages with explanations of the errors and suggestions on how to fix the error. Large language models can be used to create useful and novice-friendly enhancements to programming error messages that sometimes surpass the original programming error messages in interpretability and actionability. These results provide further evidence of the benefits of large language models for computing educators, highlighting their use in areas known to be challenging for students. We further discuss the benefits and downsides of large language models and highlight future streams of research for enhancing programming error messages. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 7 pages, accepted for publication at SIGCSE TS 2023

Supervised Contrastive Learning to Classify Paranasal Anomalies in the Maxillary Sinus

Authors: Debayan Bhattacharya, Benjamin Tobias Becker, Finn Behrendt, Marcel Bengs, Dirk Beyersdorff, Dennis Eggert, Elina Petersen, Florian Jansen, Marvin Petersen, Bastian Cheng, Christian Betz, Alexander Schlaefer, Anna Sophie Hoffmann

Abstract: Using deep learning techniques, anomalies in the paranasal sinus system can be detected automatically in MRI images and can be further analyzed and classified based on their volume, shape and other parameters like local contrast. However due to limited training data, traditional supervised learning methods often fail to generalize. Existing deep learning methods in paranasal anomaly classification… ▽ More Using deep learning techniques, anomalies in the paranasal sinus system can be detected automatically in MRI images and can be further analyzed and classified based on their volume, shape and other parameters like local contrast. However due to limited training data, traditional supervised learning methods often fail to generalize. Existing deep learning methods in paranasal anomaly classification have been used to diagnose at most one anomaly. In our work, we consider three anomalies. Specifically, we employ a 3D CNN to separate maxillary sinus volumes without anomalies from maxillary sinus volumes with anomalies. To learn robust representations from a small labelled dataset, we propose a novel learning paradigm that combines contrastive loss and cross-entropy loss. Particularly, we use a supervised contrastive loss that encourages embeddings of maxillary sinus volumes with and without anomaly to form two distinct clusters while the cross-entropy loss encourages the 3D CNN to maintain its discriminative ability. We report that optimising with both losses is advantageous over optimising with only one loss. We also find that our training strategy leads to label efficiency. With our method, a 3D CNN classifier achieves an AUROC of 0.85 while a 3D CNN classifier optimised with cross-entropy loss achieves an AUROC of 0.66. △ Less

Submitted 5 September, 2022; originally announced September 2022.

A COHERENT constraint on leptophobic dark matter using CsI data

Authors: COHERENT Collaboration, D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, C. Bock, A. Bolozdynya, R. Bouabid, J. Browning, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliot, L. Fabris, M. Febbraro, A. Gallo Rosso , et al. (56 additional authors not shown)

Abstract: We use data from the COHERENT CsI[Na] scintillation detector to constrain sub-GeV leptophobic dark matter models. This detector was built to observe low-energy nuclear recoils from coherent elastic neutrino-nucleus scattering. These capabilities enable searches for dark matter particles produced at the Spallation Neutron Source mediated by a vector portal particle with masses between 2 and 400 MeV… ▽ More We use data from the COHERENT CsI[Na] scintillation detector to constrain sub-GeV leptophobic dark matter models. This detector was built to observe low-energy nuclear recoils from coherent elastic neutrino-nucleus scattering. These capabilities enable searches for dark matter particles produced at the Spallation Neutron Source mediated by a vector portal particle with masses between 2 and 400 MeV/c$^2$. No evidence for dark matter is observed and a limit on the mediator coupling to quarks is placed. This constraint improves upon previous results by two orders of magnitude. This newly explored parameter space probes the region where the dark matter relic abundance is explained by leptophobic dark matter when the mediator mass is roughly twice the dark matter mass. COHERENT sets the best constraint on leptophobic dark matter at these masses. △ Less

Submitted 26 May, 2022; v1 submitted 24 May, 2022; originally announced May 2022.

Understanding the Domain Gap in LiDAR Object Detection Networks

Authors: Jasmine Richter, Florian Faion, Di Feng, Paul Benedikt Becker, Piotr Sielecki, Claudius Glaeser

Abstract: In order to make autonomous driving a reality, artificial neural networks have to work reliably in the open-world. However, the open-world is vast and continuously changing, so it is not technically feasible to collect and annotate training datasets which accurately represent this domain. Therefore, there are always domain gaps between training datasets and the open-world which must be understood.… ▽ More In order to make autonomous driving a reality, artificial neural networks have to work reliably in the open-world. However, the open-world is vast and continuously changing, so it is not technically feasible to collect and annotate training datasets which accurately represent this domain. Therefore, there are always domain gaps between training datasets and the open-world which must be understood. In this work, we investigate the domain gaps between high-resolution and low-resolution LiDAR sensors in object detection networks. Using a unique dataset, which enables us to study sensor resolution domain gaps independent of other effects, we show two distinct domain gaps - an inference domain gap and a training domain gap. The inference domain gap is characterised by a strong dependence on the number of LiDAR points per object, while the training gap shows no such dependence. These fndings show that different approaches are required to close these inference and training domain gaps. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 14. Uni-DAS e.V. Workshop Fahrerassistenz und automatisiertes Fahren

The COHERENT Experimental Program

Authors: D. Akimov, S. Alawabdeh, P. An, A. Arteaga, C. Awe, P. S. Barbeau, C. Barry, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, L. Blokland, C. Bock, B. Bodur, A. Bolozdynya, R. Bouabid, A. Bracho, J. Browning, B. Cabrera-Palmer, N. Chen, D. Chernyak, E. Conley, J. Daughhetee, J. Daughtry, E. Day , et al. (106 additional authors not shown)

Abstract: The COHERENT experiment located in Neutrino Alley at the Spallation Neutron Source (SNS), Oak Ridge National Laboratory (ORNL), has made the world's first two measurements of coherent elastic neutrino-nucleus scattering (CEvNS), on CsI and argon, using neutrinos produced at the SNS. The COHERENT collaboration continues to pursue CEvNS measurements on various targets as well as additional studies o… ▽ More The COHERENT experiment located in Neutrino Alley at the Spallation Neutron Source (SNS), Oak Ridge National Laboratory (ORNL), has made the world's first two measurements of coherent elastic neutrino-nucleus scattering (CEvNS), on CsI and argon, using neutrinos produced at the SNS. The COHERENT collaboration continues to pursue CEvNS measurements on various targets as well as additional studies of inelastic neutrino-nucleus interactions, searches for accelerator-produced dark matter (DM) and physics beyond the Standard Model, using the uniquely high-quality and high-intensity neutrino source available at the SNS. This white paper describes primarily COHERENT's ongoing and near-future program at the SNS First Target Station (FTS). Opportunities enabled by the SNS Second Target Station (STS) for the study of neutrino physics and development of novel detector technologies are elaborated in a separate white paper. △ Less

Submitted 9 April, 2022; originally announced April 2022.

Comments: 38 papers, 24 figures; Snowmass contribution

Monitoring the SNS basement neutron background with the MARS detector

Authors: COHERENT Collaboration, D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, C. Bock, A. Bolozdynya, J. Browning, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso, A. Galindo-Uribarri , et al. (53 additional authors not shown)

Abstract: We present the analysis and results of the first dataset collected with the MARS neutron detector deployed at the Oak Ridge National Laboratory Spallation Neutron Source (SNS) for the purpose of monitoring and characterizing the beam-related neutron (BRN) background for the COHERENT collaboration. MARS was positioned next to the COH-CsI coherent elastic neutrino-nucleus scattering detector in the… ▽ More We present the analysis and results of the first dataset collected with the MARS neutron detector deployed at the Oak Ridge National Laboratory Spallation Neutron Source (SNS) for the purpose of monitoring and characterizing the beam-related neutron (BRN) background for the COHERENT collaboration. MARS was positioned next to the COH-CsI coherent elastic neutrino-nucleus scattering detector in the SNS basement corridor. This is the basement location of closest proximity to the SNS target and thus, of highest neutrino flux, but it is also well shielded from the BRN flux by infill concrete and gravel. These data show the detector registered roughly one BRN per day. Using MARS' measured detection efficiency, the incoming BRN flux is estimated to be $1.20~\pm~0.56~\text{neutrons}/\text{m}^2/\text{MWh}$ for neutron energies above $\sim3.5$ MeV and up to a few tens of MeV. We compare our results with previous BRN measurements in the SNS basement corridor reported by other neutron detectors. △ Less

Submitted 14 April, 2022; v1 submitted 5 December, 2021; originally announced December 2021.

Journal ref: JINST 17 P03021 (2022)

Measurement of scintillation response of CsI[Na] to low-energy nuclear recoils by COHERENT

Authors: D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, C. Bock, A. Bolozdynya, J. Browning, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso, A. Galindo-Uribarri, M. P. Green , et al. (52 additional authors not shown)

Abstract: We present results of several measurements of CsI[Na] scintillation response to 3-60 keV energy nuclear recoils performed by the COHERENT collaboration using tagged neutron elastic scattering experiments and an endpoint technique. Earlier results, used to estimate the coherent elastic neutrino-nucleus scattering (CEvNS) event rate for the first observation of this process achieved by COHERENT at t… ▽ More We present results of several measurements of CsI[Na] scintillation response to 3-60 keV energy nuclear recoils performed by the COHERENT collaboration using tagged neutron elastic scattering experiments and an endpoint technique. Earlier results, used to estimate the coherent elastic neutrino-nucleus scattering (CEvNS) event rate for the first observation of this process achieved by COHERENT at the Spallation Neutron Source (SNS), have been reassessed. We discuss corrections for the identified systematic effects and update the respective uncertainty values. The impact of updated results on future precision tests of CEvNS is estimated. We scrutinize potential systematic effects that could affect each measurement. In particular we confirm the response of the H11934-200 Hamamatsu photomultiplier tube (PMT) used for the measurements presented in this study to be linear in the relevant signal scale region. △ Less

Submitted 6 October, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: The version accepted by JINST. The changes made as a result of the peer review process: 1. Section 8 "Global CsI[Na] QF data fit" is expanded. The main fit result and its uncertainty is NOT CHANGED. An alternative fit is now shown in Figure 14, Figure 15 is added to further validate the assumptions in the main fit. 2. The Appendix B is restructured for clarity

First Probe of Sub-GeV Dark Matter Beyond the Cosmological Expectation with the COHERENT CsI Detector at the SNS

Authors: D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, C. Bock, A. Bolozdynya, J. Browning, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso, A. Galindo-Uribarri, M. P. Green , et al. (51 additional authors not shown)

Abstract: The COHERENT collaboration searched for scalar dark matter particles produced at the Spallation Neutron Source with masses between 1 and 220~MeV/c$^2$ using a CsI[Na] scintillation detector sensitive to nuclear recoils above 9~keV$_\text{nr}$. No evidence for dark matter is found and we thus place limits on allowed parameter space. With this low-threshold detector, we are sensitive to coherent ela… ▽ More The COHERENT collaboration searched for scalar dark matter particles produced at the Spallation Neutron Source with masses between 1 and 220~MeV/c$^2$ using a CsI[Na] scintillation detector sensitive to nuclear recoils above 9~keV$_\text{nr}$. No evidence for dark matter is found and we thus place limits on allowed parameter space. With this low-threshold detector, we are sensitive to coherent elastic scattering between dark matter and nuclei. The cross section for this process is orders of magnitude higher than for other processes historically used for accelerator-based direct-detection searches so that our small, 14.6~kg detector significantly improves on past constraints. At peak sensitivity, we reject the flux consistent with the cosmologically observed dark-matter concentration for all coupling constants $α_D<0.64$, assuming a scalar dark-matter particle. We also calculate the sensitivity of future COHERENT detectors to dark-matter signals which will ambitiously test multiple dark-matter spin scenarios. △ Less

Submitted 14 February, 2023; v1 submitted 21 October, 2021; originally announced October 2021.

Measurement of the Coherent Elastic Neutrino-Nucleus Scattering Cross Section on CsI by COHERENT

Authors: D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, C. Bock, A. Bolozdynya, J. Browning, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso, A. Galindo-Uribarri, M. P. Green , et al. (51 additional authors not shown)

Abstract: We measured the cross section of coherent elastic neutrino-nucleus scattering (\cevns{}) using a CsI[Na] scintillating crystal in a high flux of neutrinos produced at the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory. New data collected before detector decommissioning has more than doubled the dataset since the first observation of \cevns{}, achieved with this detector. Systemat… ▽ More We measured the cross section of coherent elastic neutrino-nucleus scattering (\cevns{}) using a CsI[Na] scintillating crystal in a high flux of neutrinos produced at the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory. New data collected before detector decommissioning has more than doubled the dataset since the first observation of \cevns{}, achieved with this detector. Systematic uncertainties have also been reduced with an updated quenching model, allowing for improved precision. With these analysis improvements, the COHERENT collaboration determined the cross section to be $(165^{+30}_{-25})\times10^{-40}$~cm$^2$, consistent with the standard model, giving the most precise measurement of \cevns{} yet. The timing structure of the neutrino beam has been exploited to compare the \cevns{} cross section from scattering of different neutrino flavors. This result places leading constraints on neutrino non-standard interactions while testing lepton flavor universality and measures the weak mixing angle as $\sin^2θ_{W}=0.220^{+0.028}_{-0.026}$ at $Q^2\approx(50\text{ MeV})^2$ △ Less

Submitted 2 June, 2022; v1 submitted 14 October, 2021; originally announced October 2021.

Simulating the neutrino flux from the Spallation Neutron Source for the COHERENT experiment

Authors: COHERENT Collaboration, D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, C. Bock, A. Bolozdynya, J. Browning, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, J. Galambos, A. Gallo Rosso , et al. (58 additional authors not shown)

Abstract: The Spallation Neutron Source (SNS) at Oak Ridge National Laboratory is a pulsed source of neutrons and, as a byproduct of this operation, an intense source of pulsed neutrinos via stopped-pion decay. The COHERENT collaboration uses this source to investigate coherent elastic neutrino-nucleus scattering and other physics with a suite of detectors. This work includes a description of our Geant4 sim… ▽ More The Spallation Neutron Source (SNS) at Oak Ridge National Laboratory is a pulsed source of neutrons and, as a byproduct of this operation, an intense source of pulsed neutrinos via stopped-pion decay. The COHERENT collaboration uses this source to investigate coherent elastic neutrino-nucleus scattering and other physics with a suite of detectors. This work includes a description of our Geant4 simulation of neutrino production at the SNS and the flux calculation which informs the COHERENT studies. We estimate the uncertainty of this calculation at about 10% based on validation against available low-energy pion production data. △ Less

Submitted 29 March, 2022; v1 submitted 22 September, 2021; originally announced September 2021.

Explaining Counterexamples with Giant-Step Assertion Checking

Authors: Benedikt Becker, Cláudio Belo Lourenço, Claude Marché

Abstract: Identifying the cause of a proof failure during deductive verification of programs is hard: it may be due to an incorrectness in the program, an incompleteness in the program annotations, or an incompleteness of the prover. The changes needed to resolve a proof failure depend on its category, but the prover cannot provide any help on the categorisation. When using an SMT solver to discharge a proo… ▽ More Identifying the cause of a proof failure during deductive verification of programs is hard: it may be due to an incorrectness in the program, an incompleteness in the program annotations, or an incompleteness of the prover. The changes needed to resolve a proof failure depend on its category, but the prover cannot provide any help on the categorisation. When using an SMT solver to discharge a proof obligation, that solver can propose a model from a failed attempt, from which a possible counterexample can be derived. But the counterexample may be invalid, in which case it may add more confusion than help. To check the validity of a counterexample and to categorise the proof failure, we propose the comparison between the run-time assertion-checking (RAC) executions under two different semantics, using the counterexample as an oracle. The first RAC execution follows the normal program semantics, and a violation of a program annotation indicates an incorrectness in the program. The second RAC execution follows a novel "giant-step" semantics that does not execute loops nor function calls but instead retrieves return values and values of modified variables from the oracle. A violation of the program annotations only observed under giant-step execution characterises an incompleteness of the program annotations. We implemented this approach in the Why3 platform for deductive program verification and evaluated it using examples from prior literature. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Comments: In Proceedings F-IDE 2021, arXiv:2108.02369

Journal ref: EPTCS 338, 2021, pp. 82-88

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

Authors: Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker

Abstract: In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existing methods, (3) introduces approaches to proof obligation generalization that have never been used in the context of PDR, (4) compares the strengths o… ▽ More In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existing methods, (3) introduces approaches to proof obligation generalization that have never been used in the context of PDR, (4) compares the strengths of different methods from a theoretical point of view, and (5) intensively evaluates the methods on various benchmarks from hardware model checking as well as from AI planning. △ Less

Submitted 18 August, 2022; v1 submitted 19 May, 2021; originally announced May 2021.

A D$_{2}$O detector for flux normalization of a pion decay-at-rest neutrino source

Authors: COHERENT Collaboration, D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, L. Blokland, A. Bolozdynya, B. Cabrera-Palmer, D. Chernyak, E. Conley, J. Daughhetee, E. Day, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, A. Gallo Rosso, A. Galindo-Uribarri , et al. (54 additional authors not shown)

Abstract: We report on the technical design and expected performance of a 592 kg heavy-water-Cherenkov detector to measure the absolute neutrino flux from the pion-decay-at-rest neutrino source at the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory (ORNL). The detector will be located roughly 20 m from the SNS target and will measure the neutrino flux with better than 5% statistical uncerta… ▽ More We report on the technical design and expected performance of a 592 kg heavy-water-Cherenkov detector to measure the absolute neutrino flux from the pion-decay-at-rest neutrino source at the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory (ORNL). The detector will be located roughly 20 m from the SNS target and will measure the neutrino flux with better than 5% statistical uncertainty in 2 years. This heavy-water detector will serve as the first module of a two-module detector system to ultimately measure the neutrino flux to 2-3% at both the First Target Station and the planned Second Target Station of the SNS. This detector will significantly reduce a dominant systematic uncertainty for neutrino cross-section measurements at the SNS, increasing the sensitivity of searches for new physics. △ Less

Submitted 25 August, 2021; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: As accepted to JINST

Journal ref: JINST 16 (2021) 08, P08048

CNN Architecture Comparison for Radio Galaxy Classification

Authors: Burger Becker, Mattia Vaccari, Matthew Prescott, Trienko Lups Grobler

Abstract: The morphological classification of radio sources is important to gain a full understanding of galaxy evolution processes and their relation with local environmental properties. Furthermore, the complex nature of the problem, its appeal for citizen scientists and the large data rates generated by existing and upcoming radio telescopes combine to make the morphological classification of radio sourc… ▽ More The morphological classification of radio sources is important to gain a full understanding of galaxy evolution processes and their relation with local environmental properties. Furthermore, the complex nature of the problem, its appeal for citizen scientists and the large data rates generated by existing and upcoming radio telescopes combine to make the morphological classification of radio sources an ideal test case for the application of machine learning techniques. One approach that has shown great promise recently is Convolutional Neural Networks (CNNs). Literature, however, lacks two major things when it comes to CNNs and radio galaxy morphological classification. Firstly, a proper analysis of whether overfitting occurs when training CNNs to perform radio galaxy morphological classification using a small curated training set is needed. Secondly, a good comparative study regarding the practical applicability of the CNN architectures in literature is required. Both of these shortcomings are addressed in this paper. Multiple performance metrics are used for the latter comparative study, such as inference time, model complexity, computational complexity and mean per class accuracy. As part of this study we also investigate the effect that receptive field, stride length and coverage has on recognition performance. For the sake of completeness, we also investigate the recognition performance gains that we can obtain by employing classification ensembles. A ranking system based upon recognition and computational performance is proposed. MCRGNet, Radio Galaxy Zoo and ConvXpress (novel classifier) are the architectures that best balance computational requirements with recognition performance. △ Less

Submitted 7 February, 2021; originally announced February 2021.

Comments: 20 pages, 11 figures, journal, accepted for publication by Monthly Notices of the Royal Astronomical Society

Investigating the Effect of Sensor Modalities in Multi-Sensor Detection-Prediction Models

Authors: Abhishek Mohta, Fang-Chieh Chou, Brian C. Becker, Carlos Vallespi-Gonzalez, Nemanja Djuric

Abstract: Detection of surrounding objects and their motion prediction are critical components of a self-driving system. Recently proposed models that jointly address these tasks rely on a number of sensors to achieve state-of-the-art performance. However, this increases system complexity and may result in a brittle model that overfits to any single sensor modality while ignoring others, leading to reduced… ▽ More Detection of surrounding objects and their motion prediction are critical components of a self-driving system. Recently proposed models that jointly address these tasks rely on a number of sensors to achieve state-of-the-art performance. However, this increases system complexity and may result in a brittle model that overfits to any single sensor modality while ignoring others, leading to reduced generalization. We focus on this important problem and analyze the contribution of sensor modalities towards the model performance. In addition, we investigate the use of sensor dropout to mitigate the above-mentioned issues, leading to a more robust, better-performing model on real-world driving data. △ Less

Submitted 8 January, 2021; originally announced January 2021.

Assessing the Influencing Factors on the Accuracy of Underage Facial Age Estimation

Authors: Felix Anda, Brett A. Becker, David Lillis, Nhien-An Le-Khac, Mark Scanlon

Abstract: Swift response to the detection of endangered minors is an ongoing concern for law enforcement. Many child-focused investigations hinge on digital evidence discovery and analysis. Automated age estimation techniques are needed to aid in these investigations to expedite this evidence discovery process, and decrease investigator exposure to traumatic material. Automated techniques also show promise… ▽ More Swift response to the detection of endangered minors is an ongoing concern for law enforcement. Many child-focused investigations hinge on digital evidence discovery and analysis. Automated age estimation techniques are needed to aid in these investigations to expedite this evidence discovery process, and decrease investigator exposure to traumatic material. Automated techniques also show promise in decreasing the overflowing backlog of evidence obtained from increasing numbers of devices and online services. A lack of sufficient training data combined with natural human variance has been long hindering accurate automated age estimation -- especially for underage subjects. This paper presented a comprehensive evaluation of the performance of two cloud age estimation services (Amazon Web Service's Rekognition service and Microsoft Azure's Face API) against a dataset of over 21,800 underage subjects. The objective of this work is to evaluate the influence that certain human biometric factors, facial expressions, and image quality (i.e. blur, noise, exposure and resolution) have on the outcome of automated age estimation services. A thorough evaluation allows us to identify the most influential factors to be overcome in future age estimation systems. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Journal ref: The 6th IEEE International Conference on Cyber Security and Protection of Digital Services (Cyber Security), Dublin, Ireland, June 2020

Development of a $^{83\mathrm{m}}$Kr source for the calibration of the CENNS-10 Liquid Argon Detector

Authors: COHERENT Collaboration, D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, I. Bernardi, M. A. Blackston, L. Blokland, A. Bolozdynya, B. Cabrera-Palmer, N. Chen, D. Chernyak, E. Conley, J. Daughhetee, M. del Valle Coello, J. A. Detwiler, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, W. Fox, A. Galindo-Uribarri , et al. (55 additional authors not shown)

Abstract: We report on the preparation of and calibration measurements with a $^{83\mathrm{m}}$Kr source for the CENNS-10 liquid argon detector. $^{83\mathrm{m}}$Kr atoms generated in the decay of a $^{83}$Rb source were introduced into the detector via injection into the Ar circulation loop. Scintillation light arising from the 9.4 keV and 32.1 keV conversion electrons in the decay of $^{83\mathrm{m}}$Kr i… ▽ More We report on the preparation of and calibration measurements with a $^{83\mathrm{m}}$Kr source for the CENNS-10 liquid argon detector. $^{83\mathrm{m}}$Kr atoms generated in the decay of a $^{83}$Rb source were introduced into the detector via injection into the Ar circulation loop. Scintillation light arising from the 9.4 keV and 32.1 keV conversion electrons in the decay of $^{83\mathrm{m}}$Kr in the detector volume were then observed. This calibration source allows the characterization of the low-energy response of the CENNS-10 detector and is applicable to other low-energy-threshold detectors. The energy resolution of the detector was measured to be 9$\%$ at the total $^{83\mathrm{m}}$Kr decay energy of 41.5 keV. We performed an analysis to separately calibrate the detector using the two conversion electrons at 9.4 keV and 32.1 keV △ Less

Submitted 27 January, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: v2: As accepted to JINST

Journal ref: JINST 16 P04002 (2021)

Discriminative and Generative Models for Anatomical Shape Analysison Point Clouds with Deep Neural Networks

Authors: Benjamin Gutierrez Becker, Ignacio Sarasua, Christian Wachinger

Abstract: We introduce deep neural networks for the analysis of anatomical shapes that learn a low-dimensional shape representation from the given task, instead of relying on hand-engineered representations. Our framework is modular and consists of several computing blocks that perform fundamental shape processing tasks. The networks operate on unordered point clouds and provide invariance to similarity tra… ▽ More We introduce deep neural networks for the analysis of anatomical shapes that learn a low-dimensional shape representation from the given task, instead of relying on hand-engineered representations. Our framework is modular and consists of several computing blocks that perform fundamental shape processing tasks. The networks operate on unordered point clouds and provide invariance to similarity transformations, avoiding the need to identify point correspondences between shapes. Based on the framework, we assemble a discriminative model for disease classification and age regression, as well as a generative model for the accruate reconstruction of shapes. In particular, we propose a conditional generative model, where the condition vector provides a mechanism to control the generative process. instance, it enables to assess shape variations specific to a particular diagnosis, when passing it as side information. Next to working on single shapes, we introduce an extension for the joint analysis of multiple anatomical structures, where the simultaneous modeling of multiple structures can lead to a more compact encoding and a better understanding of disorders. We demonstrate the advantages of our framework in comprehensive experiments on real and synthetic data. The key insights are that (i) learning a shape representation specific to the given task yields higher performance than alternative shape descriptors, (ii) multi-structure analysis is both more efficient and more accurate than single-structure analysis, and (iii) point clouds generated by our model capture morphological differences associated to Alzheimers disease, to the point that they can be used to train a discriminative model for disease classification. Our framework naturally scales to the analysis of large datasets, giving it the potential to learn characteristic variations in large populations. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: Accepted for publication in the Medical Image Analysis journal

MSC Class: 68T07(Primary) ACM Class: I.2.1

Single-molecule stretching experiments of flexible (wormlike) chain molecules in different ensembles: Theory and a potential application of finite chain length effects to nick-counting in DNA

Authors: Ralf Everaers, Nils B. Becker, Angelo Rosa

Abstract: We propose a formalism for deriving force-elongation and elongation-force relations for flexible chain molecules from analytical expressions for their radial distribution function, which provides insight into the factors controlling the asymptotic behavior and finite chain length corrections. In particular, we apply this formalism to our previously developed interpolation formula for the wormlike… ▽ More We propose a formalism for deriving force-elongation and elongation-force relations for flexible chain molecules from analytical expressions for their radial distribution function, which provides insight into the factors controlling the asymptotic behavior and finite chain length corrections. In particular, we apply this formalism to our previously developed interpolation formula for the wormlike chain end-to-end distance distribution. The resulting expression for the asymptotic limit of infinite chain length is of similar quality as the numerical evaluation of Marko's and Siggia's variational theory and considerably more precise than their interpolation formula. A comparison to numerical data suggests, that our analytical expressions for the finite-chain length corrections are of similar quality. As an application of our results we discuss the possibility of inferring the changing number of nicks in a double-stranded DNA molecule in single-molecule stretching experiments from the accompanying changes in the effective chain length. △ Less

Submitted 7 September, 2020; v1 submitted 1 August, 2020; originally announced August 2020.

Comments: 21 pages, 12 figures, submitted for publication

Strengthening Deterministic Policies for POMDPs

Authors: Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker

Abstract: The synthesis problem for partially observable Markov decision processes (POMDPs) is to compute a policy that satisfies a given specification. Such policies have to take the full execution history of a POMDP into account, rendering the problem undecidable in general. A common approach is to use a limited amount of memory and randomize over potential choices. Yet, this problem is still NP-hard and… ▽ More The synthesis problem for partially observable Markov decision processes (POMDPs) is to compute a policy that satisfies a given specification. Such policies have to take the full execution history of a POMDP into account, rendering the problem undecidable in general. A common approach is to use a limited amount of memory and randomize over potential choices. Yet, this problem is still NP-hard and often computationally intractable in practice. A restricted problem is to use neither history nor randomization, yielding policies that are called stationary and deterministic. Previous approaches to compute such policies employ mixed-integer linear programming (MILP). We provide a novel MILP encoding that supports sophisticated specifications in the form of temporal logic constraints. It is able to handle an arbitrary number of such specifications. Yet, randomization and memory are often mandatory to achieve satisfactory policies. First, we extend our encoding to deliver a restricted class of randomized policies. Second, based on the results of the original MILP, we employ a preprocessing of the POMDP to encompass memory-based decisions. The advantages of our approach over state-of-the-art POMDP solvers lie (1) in the flexibility to strengthen simple deterministic policies without losing computational tractability and (2) in the ability to enforce the provable satisfaction of arbitrarily many specifications. The latter point allows taking trade-offs between performance and safety aspects of typical POMDP examples into account. We show the effectiveness of our method on a broad range of benchmarks. △ Less

Submitted 16 July, 2020; originally announced July 2020.

COHERENT Collaboration data release from the first detection of coherent elastic neutrino-nucleus scattering on argon

Authors: COHERENT Collaboration, D. Akimov, J. B. Albert, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, M. A. Blackston, L. Blokland, A. Bolozdynya, B. Cabrera-Palmer, N. Chen, D. Chernyak, E. Conley, R. L. Cooper, J. Daughhetee, M. del Valle Coello, J. A. Detwiler, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, W. Fox , et al. (58 additional authors not shown)

Abstract: Release of COHERENT collaboration data from the first detection of coherent elastic neutrino-nucleus scattering (CEvNS) on argon. This release corresponds with the results of "Analysis A" published in Akimov et al., arXiv:2003.10630 [nucl-ex]. Data is shared in a binned, text-based format representing both "signal" and "backgrounds" along with associated uncertainties such that the included data c… ▽ More Release of COHERENT collaboration data from the first detection of coherent elastic neutrino-nucleus scattering (CEvNS) on argon. This release corresponds with the results of "Analysis A" published in Akimov et al., arXiv:2003.10630 [nucl-ex]. Data is shared in a binned, text-based format representing both "signal" and "backgrounds" along with associated uncertainties such that the included data can be used to perform independent analyses. This document describes the contents of the data release as well as guidance on the use of the data. Included example code in C++ (ROOT) and Python show one possible use of the included data. △ Less

Submitted 29 July, 2020; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: Update document with arXiv ID number in requested citation

MultiXNet: Multiclass Multistage Multimodal Motion Prediction

Authors: Nemanja Djuric, Henggang Cui, Zhaoen Su, Shangxuan Wu, Huahua Wang, Fang-Chieh Chou, Luisa San Martin, Song Feng, Rui Hu, Yang Xu, Alyssa Dayan, Sidney Zhang, Brian C. Becker, Gregory P. Meyer, Carlos Vallespi-Gonzalez, Carl K. Wellington

Abstract: One of the critical pieces of the self-driving puzzle is understanding the surroundings of a self-driving vehicle (SDV) and predicting how these surroundings will change in the near future. To address this task we propose MultiXNet, an end-to-end approach for detection and motion prediction based directly on lidar sensor data. This approach builds on prior work by handling multiple classes of traf… ▽ More One of the critical pieces of the self-driving puzzle is understanding the surroundings of a self-driving vehicle (SDV) and predicting how these surroundings will change in the near future. To address this task we propose MultiXNet, an end-to-end approach for detection and motion prediction based directly on lidar sensor data. This approach builds on prior work by handling multiple classes of traffic actors, adding a jointly trained second-stage trajectory refinement step, and producing a multimodal probability distribution over future actor motion that includes both multiple discrete traffic behaviors and calibrated continuous position uncertainties. The method was evaluated on large-scale, real-world data collected by a fleet of SDVs in several cities, with the results indicating that it outperforms existing state-of-the-art approaches. △ Less

Submitted 24 May, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: Accepted for publication at IEEE Intelligent Vehicles Symposium (IV) 2021

First Measurement of Coherent Elastic Neutrino-Nucleus Scattering on Argon

Authors: COHERENT Collaboration, D. Akimov, J. B. Albert, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, M. A. Blackston, L. Blokland, A. Bolozdynya, B. Cabrera-Palmer, N. Chen, D. Chernyak, E. Conley, R. L. Cooper, J. Daughhetee, M. del Valle Coello, J. A. Detwiler, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, W. Fox , et al. (58 additional authors not shown)

Abstract: We report the first measurement of coherent elastic neutrino-nucleus scattering (\cevns) on argon using a liquid argon detector at the Oak Ridge National Laboratory Spallation Neutron Source. Two independent analyses prefer \cevns over the background-only null hypothesis with greater than $3σ$ significance. The measured cross section, averaged over the incident neutrino flux, is (2.2 $\pm$ 0.7)… ▽ More We report the first measurement of coherent elastic neutrino-nucleus scattering (\cevns) on argon using a liquid argon detector at the Oak Ridge National Laboratory Spallation Neutron Source. Two independent analyses prefer \cevns over the background-only null hypothesis with greater than $3σ$ significance. The measured cross section, averaged over the incident neutrino flux, is (2.2 $\pm$ 0.7) $\times$10$^{-39}$ cm$^2$ -- consistent with the standard model prediction. The neutron-number dependence of this result, together with that from our previous measurement on CsI, confirms the existence of the \cevns process and provides improved constraints on non-standard neutrino interactions. △ Less

Submitted 15 February, 2021; v1 submitted 23 March, 2020; originally announced March 2020.

Comments: 8 pages, 5 figures with 2 pages, 6 figures supplementary material V3: fixes to figs 3,4 V4: fix typo in table 1, V5: replaced missing appendix, V6: fix Eq 1, new fig 3, V7 final version, updated with final revisions

Journal ref: Phys. Rev. Lett. 126, 012002 (2021)

SDVTracker: Real-Time Multi-Sensor Association and Tracking for Self-Driving Vehicles

Authors: Shivam Gautam, Gregory P. Meyer, Carlos Vallespi-Gonzalez, Brian C. Becker

Abstract: Accurate motion state estimation of Vulnerable Road Users (VRUs), is a critical requirement for autonomous vehicles that navigate in urban environments. Due to their computational efficiency, many traditional autonomy systems perform multi-object tracking using Kalman Filters which frequently rely on hand-engineered association. However, such methods fail to generalize to crowded scenes and multi-… ▽ More Accurate motion state estimation of Vulnerable Road Users (VRUs), is a critical requirement for autonomous vehicles that navigate in urban environments. Due to their computational efficiency, many traditional autonomy systems perform multi-object tracking using Kalman Filters which frequently rely on hand-engineered association. However, such methods fail to generalize to crowded scenes and multi-sensor modalities, often resulting in poor state estimates which cascade to inaccurate predictions. We present a practical and lightweight tracking system, SDVTracker, that uses a deep learned model for association and state estimation in conjunction with an Interacting Multiple Model (IMM) filter. The proposed tracking method is fast, robust and generalizes across multiple sensor modalities and different VRU classes. In this paper, we detail a model that jointly optimizes both association and state estimation with a novel loss, an algorithm for determining ground-truth supervision, and a training procedure. We show this system significantly outperforms hand-engineered methods on a real-world urban driving dataset while running in less than 2.5 ms on CPU for a scene with 100 actors, making it suitable for self-driving applications where low latency and high accuracy is critical. △ Less

Submitted 9 March, 2020; originally announced March 2020.

Comments: 8 pages, 7 figures, Submitted to IROS 2020

Cell-Type-Specific Differences in KDEL Receptor Clustering in Mammalian Cells

Authors: Achim Bauer, Ludger Santen, Manfred J. Schmitt, M. Reza Shaebani, Björn Becker

Abstract: In eukaryotic cells, KDEL receptors (KDELRs) facilitate the retrieval of endoplasmic reticulum (ER) luminal proteins from the Golgi compartment back to the ER. Apart from the well-documented retention function, recent findings reveal that the cellular KDELRs have more complex roles, e.g. in cell signalling, protein secretion, cell adhesion and tumorigenesis. Furthermore, several studies suggest th… ▽ More In eukaryotic cells, KDEL receptors (KDELRs) facilitate the retrieval of endoplasmic reticulum (ER) luminal proteins from the Golgi compartment back to the ER. Apart from the well-documented retention function, recent findings reveal that the cellular KDELRs have more complex roles, e.g. in cell signalling, protein secretion, cell adhesion and tumorigenesis. Furthermore, several studies suggest that a sub-population of KDELRs is located at the cell surface, where they could form and internalize KDELR/cargo clusters after K/HDEL-ligand binding. However, so far it has been unclear whether there are cell-type- or species-specific differences in KDELR clustering. By comparing ligand-induced KDELR clustering in different mouse and human cell lines via live cell imaging, we show that macrophage cell lines from both species do not develop any clusters. Using RT-qPCR experiments and numerical analysis, we address the role of KDELR expression as well as endocytosis and exocytosis rates on the receptor clustering at the plasma membrane and discuss how the efficiency of directed transport to preferred docking sites on the membrane influences the exponent of the power-law distribution of the cluster size. △ Less

Submitted 19 January, 2020; v1 submitted 15 January, 2020; originally announced January 2020.

Comments: 12 pages, 7 figures, 2 tables

Journal ref: PLOS ONE 15, e0235864 (2020)

Sensitivity of the COHERENT Experiment to Accelerator-Produced Dark Matter

Authors: COHERENT Collaboration, D. Akimov, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, M. A. Blackston, A. Bolozdynya, B. Cabrera-Palmer, N. Chen, E. Conley, R. L. Cooper, J. Daughhetee, M. del Valle Coello, J. A. Detwiler, M. R. Durand, Y. Efremenko, S. R. Elliott, L. Fabris, M. Febbraro, W. Fox, A. Galindo-Uribarri, M. P. Green, K. S. Hansen , et al. (53 additional authors not shown)

Abstract: The COHERENT experiment is well poised to test sub-GeV dark matter models using low-energy recoil detectors sensitive to coherent elastic neutrino-nucleus scattering (CEvNS) in the $π$-DAR neutrino beam produced by the Spallation Neutron Source. We show how a planned 750-kg liquid argon scintillation detector would place leading limits on scalar light dark matter models, over two orders of magnitu… ▽ More The COHERENT experiment is well poised to test sub-GeV dark matter models using low-energy recoil detectors sensitive to coherent elastic neutrino-nucleus scattering (CEvNS) in the $π$-DAR neutrino beam produced by the Spallation Neutron Source. We show how a planned 750-kg liquid argon scintillation detector would place leading limits on scalar light dark matter models, over two orders of magnitude of dark matter mass, for dark matter particles produced through vector and leptophobic portals in the absence of other effects beyond the standard model. The characteristic timing structure of a $π$-DAR beam allows a unique opportunity for constraining systematic uncertainties on the standard model background in a time window where signal is not expected, enhancing expected sensitivity. Additionally, we discuss future prospects, further increasing the discovery potential of CEvNS detectors. Such methods would test the calculated thermal dark matter abundance for all couplings $α'\leq1$ within the vector portal model over an order of magnitude of dark matter masses. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Journal ref: Phys. Rev. D 102, 052007 (2020)

First Constraint on Coherent Elastic Neutrino-Nucleus Scattering in Argon

Authors: COHERENT Collaboration, D. Akimov, J. B. Albert, P. An, C. Awe, P. S. Barbeau, B. Becker, V. Belov, M. A. Blackston, A. Bolozdynya, B. Cabrera-Palmer, M. Cervantes, J. I. Collar, R. L. Cooper, J. Daughhetee, M. del Valle Coello, J. A. Detwiler, M. D'Onofrio, Y. Efremenko, E. M. Erkela, S. R. Elliott, L. Fabris, M. Febbraro, W. Fox, A. Galindo-Uribarri , et al. (55 additional authors not shown)

Abstract: Coherent elastic neutrino-nucleus scattering (CEvNS) is the dominant neutrino scattering channel for neutrinos of energy $E_ν< 100$ MeV. We report a limit for this process using data collected in an engineering run of the 29 kg CENNS-10 liquid argon detector located 27.5 m from the Oak Ridge National Laboratory Spallation Neutron Source (SNS) Hg target with $4.2\times 10^{22}$ protons on target. T… ▽ More Coherent elastic neutrino-nucleus scattering (CEvNS) is the dominant neutrino scattering channel for neutrinos of energy $E_ν< 100$ MeV. We report a limit for this process using data collected in an engineering run of the 29 kg CENNS-10 liquid argon detector located 27.5 m from the Oak Ridge National Laboratory Spallation Neutron Source (SNS) Hg target with $4.2\times 10^{22}$ protons on target. The dataset yielded $< 7.4$ observed CEvNS events implying a cross section for the process, averaged over the SNS pion decay-at-rest flux, of $<3.4 \times 10^{-39}$ cm$^{2}$, a limit within twice the Standard Model prediction. This is the first limit on CEvNS from an argon nucleus and confirms the earlier CsI non-standard neutrino interaction constraints from the collaboration. This run demonstrated the feasibility of the ongoing experimental effort to detect CEvNS with liquid argon. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Journal ref: Phys. Rev. D 100, 115020 (2019)

DuMu$^\text{x}$ 3 -- an open-source simulator for solving flow and transport problems in porous media with a focus on model coupling

Authors: Timo Koch, Dennis Gläser, Kilian Weishaupt, Sina Ackermann, Martin Beck, Beatrix Becker, Samuel Burbulla, Holger Class, Edward Coltman, Simon Emmert, Thomas Fetzer, Christoph Grüninger, Katharina Heck, Johannes Hommel, Theresa Kurz, Melanie Lipp, Farid Mohammadi, Samuel Scherrer, Martin Schneider, Gabriele Seitz, Leopold Stadler, Martin Utz, Felix Weinhardt, Bernd Flemisch

Abstract: We present version 3 of the open-source simulator for flow and transport processes in porous media DuMu$^\text{x}$. DuMu$^\text{x}$ is based on the modular C++ framework Dune (Distributed and Unified Numerics Environment) and is developed as a research code with a focus on modularity and reusability. We describe recent efforts in improving the transparency and efficiency of the development process… ▽ More We present version 3 of the open-source simulator for flow and transport processes in porous media DuMu$^\text{x}$. DuMu$^\text{x}$ is based on the modular C++ framework Dune (Distributed and Unified Numerics Environment) and is developed as a research code with a focus on modularity and reusability. We describe recent efforts in improving the transparency and efficiency of the development process and community-building, as well as efforts towards quality assurance and reproducible research. In addition to a major redesign of many simulation components in order to facilitate setting up complex simulations in DuMu$^\text{x}$, version 3 introduces a more consistent abstraction of finite volume schemes. Finally, the new framework for multi-domain simulations is described, and three numerical examples demonstrate its flexibility. △ Less

Submitted 11 September, 2019; originally announced September 2019.

MSC Class: 97N80

A Multi-Media Exchange Format for Time-Series Dataset Curation

Authors: Philipp M. Scholl, Benjamin Völker, Bernd Becker, Kristof Van Laerhoven

Abstract: Exchanging data as character-separated values (CSV) is slow, cumbersome and error-prone. Especially for time-series data, which is common in Activity Recognition, synchronizing several independently recorded sensors is challenging. Adding second level evidence, like video recordings from multiple angles and time-coded annotations, further complicates the matter of curating such data. A possible al… ▽ More Exchanging data as character-separated values (CSV) is slow, cumbersome and error-prone. Especially for time-series data, which is common in Activity Recognition, synchronizing several independently recorded sensors is challenging. Adding second level evidence, like video recordings from multiple angles and time-coded annotations, further complicates the matter of curating such data. A possible alternative is to make use of standardized multi-media formats. Sensor data can be encoded in audio format, and time-coded information, like annotations, as subtitles. Video data can be added easily. All this media can be merged into a single container file, which makes the issue of synchronization explicit. The incurred performance overhead by this encoding is shown to be negligible and compression can be applied to optimize storage and transmission overhead. △ Less

Submitted 12 July, 2019; originally announced August 2019.

Comments: HASCA Book Contribution, Keywords: Data Curation; Activity Recognition; Multi-Media Format; Data Storage; Comma-Separated-Values