Showing 1–50 of 68 results for author: An, G

OpenSlot: Mixed Open-set Recognition with Object-centric Learning

Authors: Xu Yin, Fei Pan, Guoyuan An, Yuchi Huo, Zixuan Xie, Sung-Eui Yoon

Abstract: Existing open-set recognition (OSR) studies typically assume that each image contains only one class label, and the unknown test set (negative) has a disjoint label space from the known test set (positive), a scenario termed full-label shift. This paper introduces the mixed OSR problem, where test images contain multiple class semantics, with known and unknown classes co-occurring in negatives, le… ▽ More Existing open-set recognition (OSR) studies typically assume that each image contains only one class label, and the unknown test set (negative) has a disjoint label space from the known test set (positive), a scenario termed full-label shift. This paper introduces the mixed OSR problem, where test images contain multiple class semantics, with known and unknown classes co-occurring in negatives, leading to a more challenging super-label shift. Addressing the mixed OSR requires classification models to accurately distinguish different class semantics within images and measure their "knowness". In this study, we propose the OpenSlot framework, built upon object-centric learning. OpenSlot utilizes slot features to represent diverse class semantics and produce class predictions. Through our proposed anti-noise-slot (ANS) technique, we mitigate the impact of noise (invalid and background) slots during classification training, effectively addressing the semantic misalignment between class predictions and the ground truth. We conduct extensive experiments with OpenSlot on mixed & conventional OSR benchmarks. Without elaborate designs, OpenSlot not only exceeds existing OSR studies in detecting super-label shifts across single & multi-label mixed OSR tasks but also achieves state-of-the-art performance on conventional benchmarks. Remarkably, our method can localize class objects without using bounding boxes during training. The competitive performance in open-set object detection demonstrates OpenSlot's ability to explicitly explain label shifts and benefits in computational efficiency and generalization. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: This study is under IEEE TMM review

Quantitative pointwise estimates of the cooling process for inelastic Boltzmann equation

Authors: Gayoung An, Jin Woo Jang, Donghyun Lee

Abstract: In this paper, we study the homogeneous inelastic Boltzmann equation for hard spheres. We first prove that the solution $f(t,v)$ is pointwisely bounded from above by $C_{f_0}\langle t \rangle^3$ and establish that the cooling time is infinite $T_c = +\infty$ under the condition $f_0 \in L^1_2 \cap L^{\infty}_{s} $ for $s > 2 $. Away from the zero velocity, we further prove that… ▽ More In this paper, we study the homogeneous inelastic Boltzmann equation for hard spheres. We first prove that the solution $f(t,v)$ is pointwisely bounded from above by $C_{f_0}\langle t \rangle^3$ and establish that the cooling time is infinite $T_c = +\infty$ under the condition $f_0 \in L^1_2 \cap L^{\infty}_{s} $ for $s > 2 $. Away from the zero velocity, we further prove that $f(t,v)\leq C_{f_0, ε} \langle t \rangle $ for $|v| \geq ε$ at any time $t > 0 $ and $ε>0$. This time-growing pointwise upper-bound is natural in the cooling process, as we expect the density near $v = 0 $ to grow rapidly. As a consequence, via these results, we obtain Maxwellian upper-bounds of solutions for each time. Our upper-bounds hold for any constant normal restitution $ 0 < α\leq 1 $ and are uniform in $ α$. △ Less

Submitted 23 June, 2024; v1 submitted 21 June, 2024; originally announced June 2024.

Comments: 29 pages, 4 figures

Accurate and Fast Pixel Retrieval with Spatial and Uncertainty Aware Hypergraph Diffusion

Authors: Guoyuan An, Yuchi Huo, Sung-Eui Yoon

Abstract: This paper presents a novel method designed to enhance the efficiency and accuracy of both image retrieval and pixel retrieval. Traditional diffusion methods struggle to propagate spatial information effectively in conventional graphs due to their reliance on scalar edge weights. To overcome this limitation, we introduce a hypergraph-based framework, uniquely capable of efficiently propagating spa… ▽ More This paper presents a novel method designed to enhance the efficiency and accuracy of both image retrieval and pixel retrieval. Traditional diffusion methods struggle to propagate spatial information effectively in conventional graphs due to their reliance on scalar edge weights. To overcome this limitation, we introduce a hypergraph-based framework, uniquely capable of efficiently propagating spatial information using local features during query time, thereby accurately retrieving and localizing objects within a database. Additionally, we innovatively utilize the structural information of the image graph through a technique we term "community selection". This approach allows for the assessment of the initial search result's uncertainty and facilitates an optimal balance between accuracy and speed. This is particularly crucial in real-world applications where such trade-offs are often necessary. Our experimental results, conducted on the (P)ROxford and (P)RParis datasets, demonstrate the significant superiority of our method over existing diffusion techniques. We achieve state-of-the-art (SOTA) accuracy in both image-level and pixel-level retrieval, while also maintaining impressive processing speed. This dual achievement underscores the effectiveness of our hypergraph-based framework and community selection technique, marking a notable advancement in the field of content-based image retrieval. △ Less

Submitted 17 June, 2024; originally announced June 2024.

A design specification for Critical Illness Digital Twins to cure sepsis: responding to the National Academies of Sciences, Engineering and Medicine Report: Foundational Research Gaps and Future Directions for Digital Twins

Authors: Gary An, Chase Cockrell

Abstract: On December 15, 2023, The National Academies of Sciences, Engineering and Medicine (NASEM) released a report entitled: Foundational Research Gaps and Future Directions for Digital Twins. The ostensible purpose of this report was to bring some structure to the burgeoning field of digital twins by providing a working definition and a series of research challenges that need to be addressed to allow t… ▽ More On December 15, 2023, The National Academies of Sciences, Engineering and Medicine (NASEM) released a report entitled: Foundational Research Gaps and Future Directions for Digital Twins. The ostensible purpose of this report was to bring some structure to the burgeoning field of digital twins by providing a working definition and a series of research challenges that need to be addressed to allow this technology to fulfill its full potential. In the work presented herein we focus on five specific findings from the NASEM Report: 1) definition of a Digital Twin, 2) using fit-for-purpose guidance, 3) developing novel approaches to Verification, Validation and Uncertainty Quantification (VVUQ) of Digital Twins, 4) incorporating control as an explicit purpose for a Digital Twin and 5) using a Digital Twin to guide data collection and sensor development, and describe how these findings are addressed through the design specifications for a Critical Illness Digital Twin (CIDT) aimed at curing sepsis. △ Less

Submitted 16 June, 2024; v1 submitted 8 May, 2024; originally announced May 2024.

Comments: 31 pages, 13 Figures, 1 Table

Patch Spatio-Temporal Relation Prediction for Video Anomaly Detection

Authors: Hao Shen, Lu Shi, Wanru Xu, Yigang Cen, Linna Zhang, Gaoyun An

Abstract: Video Anomaly Detection (VAD), aiming to identify abnormalities within a specific context and timeframe, is crucial for intelligent Video Surveillance Systems. While recent deep learning-based VAD models have shown promising results by generating high-resolution frames, they often lack competence in preserving detailed spatial and temporal coherence in video frames. To tackle this issue, we propos… ▽ More Video Anomaly Detection (VAD), aiming to identify abnormalities within a specific context and timeframe, is crucial for intelligent Video Surveillance Systems. While recent deep learning-based VAD models have shown promising results by generating high-resolution frames, they often lack competence in preserving detailed spatial and temporal coherence in video frames. To tackle this issue, we propose a self-supervised learning approach for VAD through an inter-patch relationship prediction task. Specifically, we introduce a two-branch vision transformer network designed to capture deep visual features of video frames, addressing spatial and temporal dimensions responsible for modeling appearance and motion patterns, respectively. The inter-patch relationship in each dimension is decoupled into inter-patch similarity and the order information of each patch. To mitigate memory consumption, we convert the order information prediction task into a multi-label learning problem, and the inter-patch similarity prediction task into a distance matrix regression problem. Comprehensive experiments demonstrate the effectiveness of our method, surpassing pixel-generation-based methods by a significant margin across three public benchmarks. Additionally, our approach outperforms other self-supervised learning-based methods. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Inverse Nonlinearity Compensation of Hyperelastic Deformation in Dielectric Elastomer for Acoustic Actuation

Authors: Jin Woo Lee, Gwang Seok An, Jeong-Yun Sun, Kyogu Lee

Abstract: This paper delves into the analysis of nonlinear deformation induced by dielectric actuation in pre-stressed ideal dielectric elastomers. It formulates a nonlinear ordinary differential equation governing this deformation based on the hyperelastic model under dielectric stress. Through numerical integration and neural network approximations, the relationship between voltage and stretch is establis… ▽ More This paper delves into the analysis of nonlinear deformation induced by dielectric actuation in pre-stressed ideal dielectric elastomers. It formulates a nonlinear ordinary differential equation governing this deformation based on the hyperelastic model under dielectric stress. Through numerical integration and neural network approximations, the relationship between voltage and stretch is established. Neural networks are employed to approximate solutions for voltage-to-stretch and stretch-to-voltage transformations obtained via an explicit Runge-Kutta method. The effectiveness of these approximations is demonstrated by leveraging them for compensating nonlinearity through the waveshaping of the input signal. The comparative analysis highlights the superior accuracy of the approximated solutions over baseline methods, resulting in minimized harmonic distortions when utilizing dielectric elastomers as acoustic actuators. This study underscores the efficacy of the proposed approach in mitigating nonlinearities and enhancing the performance of dielectric elastomers in acoustic actuation applications. △ Less

Submitted 8 January, 2024; originally announced January 2024.

The Mixed Convex-Concave effect on the regularity of a Boltzmann solution

Authors: Gayoung An, Donghyun Lee

Abstract: The geometric properties of domains are well-known to be crucial factors influencing the regularity of Boltzmann boundary problems. In the presence of non-convex physical boundaries, highly singular behaviors are investigated including the propagation of discontinuities \cite{Kim11} and Hölder regularity \cite{CD2022}. In this paper, we focus on studying the $C^{0,\frac{1}{4}-}$ Hölder regularity… ▽ More The geometric properties of domains are well-known to be crucial factors influencing the regularity of Boltzmann boundary problems. In the presence of non-convex physical boundaries, highly singular behaviors are investigated including the propagation of discontinuities \cite{Kim11} and Hölder regularity \cite{CD2022}. In this paper, we focus on studying the $C^{0,\frac{1}{4}-}$ Hölder regularity of the Boltzmann equation within concentric cylinders where both convex and concave features are present on the boundaries. Our findings extend the previous results of \cite{CD2022}, which primarily addressed concavity while considering the exterior of convex objects. △ Less

Submitted 6 March, 2024; v1 submitted 17 November, 2023; originally announced November 2023.

Comments: 47 pages, 11 figures ; Remark 1.5 and 1.6 were added for Theorem 1.3. Some proofs have been shortened and simplified

MSC Class: 35Q20

Photo-Detection Efficiency measurement for FBK HD Near-UV sensitive SiPMs at 10 K temperature

Authors: Meiyuenan Ma, Jiangfeng Zhou, Fengbo Gu, Junhui Liao, Yuanning Gao, Zhaohua Peng, Jian Zheng, Guangpeng An, Lifeng Zhang, Lei Zhang, Zhuo Liang, Xiuliang Zhao

Abstract: We report the characterization of the FBK ``NUV-HD-Cryo'' SiPMs at 10 K temperature. With 405 nm and 530 nm light, we measured the photo-detection efficiency (PDE) at the bias voltages between 6 to 11 V overvoltage (OV). The PDE reaches $\sim$ 40\% for 405 nm and 530 nm light with a bias voltage of OV 9 V. A bias voltage higher than 9 V leads to a slightly greater PDE. We also measured the SiPMs'… ▽ More We report the characterization of the FBK ``NUV-HD-Cryo'' SiPMs at 10 K temperature. With 405 nm and 530 nm light, we measured the photo-detection efficiency (PDE) at the bias voltages between 6 to 11 V overvoltage (OV). The PDE reaches $\sim$ 40\% for 405 nm and 530 nm light with a bias voltage of OV 9 V. A bias voltage higher than 9 V leads to a slightly greater PDE. We also measured the SiPMs' PDE at room temperature (RT). The results are consistent with the measurements on the similar model SiPMs by other groups. The I-V curve of the SiPMs differs significantly from the conventional one measured at RT. The dark current ratio (DCR) is tested to be $\sim$ 1 Hz for the 92 mm$^2$ SiPMs, or 0.01 Hz/mm$^2$, which is $\sim$ 7 orders lower than the ratio tested at RT. The SiPMs' performance at 10 K demonstrated that it could be equipped on a liquid helium detector as the photosensor to search for rare events, including but not limited to dark matter searches. △ Less

Submitted 29 December, 2023; v1 submitted 17 November, 2023; originally announced November 2023.

Forum on immune digital twins: a meeting report

Authors: Reinhard Laubenbacher, Fred Adler, Gary An, Filippo Castiglione, Stephen Eubank, Luis L. Fonseca, James Glazier, Tomas Helikar, Marti Jett-Tilton, Denise Kirschner, Paul Macklin, Borna Mehrad, Beth Moore, Virginia Pasour, Ilya Shmulevich, Amber Smith, Isabel Voigt, Thomas E. Yankeelov, Tjalf Ziemssen

Abstract: Medical digital twins are computational models of human biology relevant to a given medical condition, which can be tailored to an individual patient, thereby predicting the course of disease and individualized treatments, an important goal of personalized medicine. The immune system, which has a central role in many diseases, is highly heterogeneous between individuals, and thus poses a major cha… ▽ More Medical digital twins are computational models of human biology relevant to a given medical condition, which can be tailored to an individual patient, thereby predicting the course of disease and individualized treatments, an important goal of personalized medicine. The immune system, which has a central role in many diseases, is highly heterogeneous between individuals, and thus poses a major challenge for this technology. If medical digital twins are to faithfully capture the characteristics of a patient's immune system, we need to answer many questions, such as: What do we need to know about the immune system to build mathematical models that reflect features of an individual? What data do we need to collect across the different scales of immune system action? What are the right modeling paradigms to properly capture immune system complexity? In February 2023, an international group of experts convened in Lake Nona, FL for two days to discuss these and other questions related to digital twins of the immune system. The group consisted of clinicians, immunologists, biologists, and mathematical modelers, representative of the interdisciplinary nature of medical digital twin development. A video recording of the entire event is available. This paper presents a synopsis of the discussions, brief descriptions of ongoing digital twin projects at different stages of progress. It also proposes a 5-year action plan for further developing this technology. The main recommendations are to identify and pursue a small number of promising use cases, to develop stimulation-specific assays of immune function in a clinical setting, and to develop a database of existing computational immune models, as well as advanced modeling technology and infrastructure. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Journal ref: npj Syst Biol Appl 10, 19 (2024). PMID: 38365857

Conceptual design and progress of transmitting $\sim$ MV DC HV into 4 K LHe detectors

Authors: Zhuo Liang, Fengbo Gu, Jiangfeng Zhou, Junhui Liao, Yuanning Gao, Zhaohua Peng, Jian Zheng, Guangpeng An, Meiyuenan Ma, Lifeng Zhang, Lei Zhang, Xiuliang Zhao, Junfeng Xia, Gang Liu, Shangmao Hu

Abstract: A dual-phase TPC (Time Projection Chamber) is more advanced in characterizing an event than a single-phase one because it can, in principle, reconstruct the 3D (X-Y-Z) image of the event, while a single-phase detector can only show a 2D (X-Y) picture. As a result, more enriched physics is expected for a dual-phase detector than a single-phase one. However, to build such a detector, DC HV (High Vol… ▽ More A dual-phase TPC (Time Projection Chamber) is more advanced in characterizing an event than a single-phase one because it can, in principle, reconstruct the 3D (X-Y-Z) image of the event, while a single-phase detector can only show a 2D (X-Y) picture. As a result, more enriched physics is expected for a dual-phase detector than a single-phase one. However, to build such a detector, DC HV (High Voltage) must be delivered into the chamber (to have a static electric field), which is a challenging task, especially for an LHe detector due to the extremely low temperature, $\sim$ 4 K, and the very high voltage, $\sim$ MV (Million Volts). This article introduces a convincing design for transmitting $\sim$ MV DC into a 4 K LHe detector. We also report the progress of manufacturing a 100 kV DC feedthrough capable of working at 4 K. Surprisingly, we realized that the technology we developed here might be a valuable reference to the scientists and engineers aiming to build residential bases on the Moon or Mars. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Topological RANSAC for instance verification and retrieval without fine-tuning

Authors: Guoyuan An, Juhyung Seon, Inkyu An, Yuchi Huo, Sung-Eui Yoon

Abstract: This paper presents an innovative approach to enhancing explainable image retrieval, particularly in situations where a fine-tuning set is unavailable. The widely-used SPatial verification (SP) method, despite its efficacy, relies on a spatial model and the hypothesis-testing strategy for instance recognition, leading to inherent limitations, including the assumption of planar structures and negle… ▽ More This paper presents an innovative approach to enhancing explainable image retrieval, particularly in situations where a fine-tuning set is unavailable. The widely-used SPatial verification (SP) method, despite its efficacy, relies on a spatial model and the hypothesis-testing strategy for instance recognition, leading to inherent limitations, including the assumption of planar structures and neglect of topological relations among features. To address these shortcomings, we introduce a pioneering technique that replaces the spatial model with a topological one within the RANSAC process. We propose bio-inspired saccade and fovea functions to verify the topological consistency among features, effectively circumventing the issues associated with SP's spatial model. Our experimental results demonstrate that our method significantly outperforms SP, achieving state-of-the-art performance in non-fine-tuning retrieval. Furthermore, our approach can enhance performance when used in conjunction with fine-tuned features. Importantly, our method retains high explainability and is lightweight, offering a practical and adaptable solution for a variety of real-world applications. △ Less

Submitted 10 October, 2023; originally announced October 2023.

Just-in-Time Flaky Test Detection via Abstracted Failure Symptom Matching

Authors: Gabin An, Juyeon Yoon, Thomas Bach, Jingun Hong, Shin Yoo

Abstract: We report our experience of using failure symptoms, such as error messages or stack traces, to identify flaky test failures in a Continuous Integration (CI) pipeline for a large industrial software system, SAP HANA. Although failure symptoms are commonly used to identify similar failures, they have not previously been employed to detect flaky test failures. Our hypothesis is that flaky failures wi… ▽ More We report our experience of using failure symptoms, such as error messages or stack traces, to identify flaky test failures in a Continuous Integration (CI) pipeline for a large industrial software system, SAP HANA. Although failure symptoms are commonly used to identify similar failures, they have not previously been employed to detect flaky test failures. Our hypothesis is that flaky failures will exhibit symptoms distinct from those of non-flaky failures. Consequently, we can identify recurring flaky failures, without rerunning the tests, by matching the failure symptoms to those of historical flaky runs. This can significantly reduce the need for test reruns, ultimately resulting in faster delivery of test results to developers. To facilitate the process of matching flaky failures across different execution instances, we abstract newer test failure symptoms before matching them to the known patterns of flaky failures, inspired by previous research in the fields of failure deduplication and log analysis. We evaluate our symptom-based flakiness detection method using actual failure symptoms gathered from CI data of SAP HANA during a six-month period. Our method shows the potential of using failure symptoms to identify recurring flaky failures, achieving a precision of at least 96%, while saving approximately 58% of the machine time compared to the traditional rerun strategy. Analysis of the false positives and the feedback from developers underscore the importance of having descriptive and informative failure symptoms for both the effective deployment of this symptom-based approach and the debugging of flaky tests. △ Less

Submitted 4 November, 2023; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: 10 pages

Towards Content-based Pixel Retrieval in Revisited Oxford and Paris

Authors: Guoyuan An, Woo Jae Kim, Saelyne Yang, Rong Li, Yuchi Huo, Sung-Eui Yoon

Abstract: This paper introduces the first two pixel retrieval benchmarks. Pixel retrieval is segmented instance retrieval. Like semantic segmentation extends classification to the pixel level, pixel retrieval is an extension of image retrieval and offers information about which pixels are related to the query object. In addition to retrieving images for the given query, it helps users quickly identify the q… ▽ More This paper introduces the first two pixel retrieval benchmarks. Pixel retrieval is segmented instance retrieval. Like semantic segmentation extends classification to the pixel level, pixel retrieval is an extension of image retrieval and offers information about which pixels are related to the query object. In addition to retrieving images for the given query, it helps users quickly identify the query object in true positive images and exclude false positive images by denoting the correlated pixels. Our user study results show pixel-level annotation can significantly improve the user experience. Compared with semantic and instance segmentation, pixel retrieval requires a fine-grained recognition capability for variable-granularity targets. To this end, we propose pixel retrieval benchmarks named PROxford and PRParis, which are based on the widely used image retrieval datasets, ROxford and RParis. Three professional annotators label 5,942 images with two rounds of double-checking and refinement. Furthermore, we conduct extensive experiments and analysis on the SOTA methods in image search, image matching, detection, segmentation, and dense matching using our pixel retrieval benchmarks. Results show that the pixel retrieval task is challenging to these approaches and distinctive from existing problems, suggesting that further research can advance the content-based pixel-retrieval and thus user search experience. The datasets can be downloaded from \href{https://github.com/anguoyuan/Pixel_retrieval-Segmented_instance_retrieval}{this link}. △ Less

Submitted 11 September, 2023; originally announced September 2023.

A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization

Authors: Sungmin Kang, Gabin An, Shin Yoo

Abstract: Fault Localization (FL), in which a developer seeks to identify which part of the code is malfunctioning and needs to be fixed, is a recurring challenge in debugging. To reduce developer burden, many automated FL techniques have been proposed. However, prior work has noted that existing techniques fail to provide rationales for the suggested locations, hindering developer adoption of these techniq… ▽ More Fault Localization (FL), in which a developer seeks to identify which part of the code is malfunctioning and needs to be fixed, is a recurring challenge in debugging. To reduce developer burden, many automated FL techniques have been proposed. However, prior work has noted that existing techniques fail to provide rationales for the suggested locations, hindering developer adoption of these techniques. With this in mind, we propose AutoFL, a Large Language Model (LLM)-based FL technique that generates an explanation of the bug along with a suggested fault location. AutoFL prompts an LLM to use function calls to navigate a repository, so that it can effectively localize faults over a large software repository and overcome the limit of the LLM context length. Extensive experiments on 798 real-world bugs in Java and Python reveal AutoFL improves method-level acc@1 by up to 233.3% over baselines. Furthermore, developers were interviewed on their impression of AutoFL-generated explanations, showing that developers generally liked the natural language explanations of AutoFL, and that they preferred reading a few, high-quality explanations instead of many. △ Less

Submitted 2 July, 2024; v1 submitted 10 August, 2023; originally announced August 2023.

Comments: Accepted to ACM International Conference on the Foundations of Software Engineering (FSE 2024)

Learning Test-Mutant Relationship for Accurate Fault Localisation

Authors: Jinhan Kim, Gabin An, Robert Feldt, Shin Yoo

Abstract: Context: Automated fault localisation aims to assist developers in the task of identifying the root cause of the fault by narrowing down the space of likely fault locations. Simulating variants of the faulty program called mutants, several Mutation Based Fault Localisation (MBFL) techniques have been proposed to automatically locate faults. Despite their success, existing MBFL techniques suffer fr… ▽ More Context: Automated fault localisation aims to assist developers in the task of identifying the root cause of the fault by narrowing down the space of likely fault locations. Simulating variants of the faulty program called mutants, several Mutation Based Fault Localisation (MBFL) techniques have been proposed to automatically locate faults. Despite their success, existing MBFL techniques suffer from the cost of performing mutation analysis after the fault is observed. Method: To overcome this shortcoming, we propose a new MBFL technique named SIMFL (Statistical Inference for Mutation-based Fault Localisation). SIMFL localises faults based on the past results of mutation analysis that has been done on the earlier version in the project history, allowing developers to make predictions on the location of incoming faults in a just-in-time manner. Using several statistical inference methods, SIMFL models the relationship between test results of the mutants and their locations, and subsequently infers the location of the current faults. Results: The empirical study on Defects4J dataset shows that SIMFL can localise 113 faults on the first rank out of 224 faults, outperforming other MBFL techniques. Even when SIMFL is trained on the predicted kill matrix, SIMFL can still localise 95 faults on the first rank out of 194 faults. Moreover, removing redundant mutants significantly improves the localisation accuracy of SIMFL by the number of faults localised at the first rank up to 51. Conclusion: This paper proposes a new MBFL technique called SIMFL, which exploits ahead-of-time mutation analysis to localise current faults. SIMFL is not only cost-effective, as it does not need a mutation analysis after the fault is observed, but also capable of localising faults accurately. △ Less

Submitted 4 June, 2023; originally announced June 2023.

Comments: Paper accepted for publication at IST. arXiv admin note: substantial text overlap with arXiv:1902.09729

Generating synthetic multi-dimensional molecular-mediator time series data for artificial intelligence-based disease trajectory forecasting and drug development digital twins: Considerations

Authors: Gary An, Chase Cockrell

Abstract: The use of synthetic data is recognized as a crucial step in the development of neural network-based Artificial Intelligence (AI) systems. While the methods for generating synthetic data for AI applications in other domains have a role in certain biomedical AI systems, primarily related to image processing, there is a critical gap in the generation of time series data for AI tasks where it is nece… ▽ More The use of synthetic data is recognized as a crucial step in the development of neural network-based Artificial Intelligence (AI) systems. While the methods for generating synthetic data for AI applications in other domains have a role in certain biomedical AI systems, primarily related to image processing, there is a critical gap in the generation of time series data for AI tasks where it is necessary to know how the system works. This is most pronounced in the ability to generate synthetic multi-dimensional molecular time series data (SMMTSD); this is the type of data that underpins research into biomarkers and mediator signatures for forecasting various diseases and is an essential component of the drug development pipeline. We argue the insufficiency of statistical and data-centric machine learning (ML) means of generating this type of synthetic data is due to a combination of factors: perpetual data sparsity due to the Curse of Dimensionality, the inapplicability of the Central Limit Theorem, and the limits imposed by the Causal Hierarchy Theorem. Alternatively, we present a rationale for using complex multi-scale mechanism-based simulation models, constructed and operated on to account for epistemic incompleteness and the need to provide maximal expansiveness in concordance with the Principle of Maximal Entropy. These procedures provide for the generation of SMMTD that minimizes the known shortcomings associated with neural network AI systems, namely overfitting and lack of generalizability. The generation of synthetic data that accounts for the identified factors of multi-dimensional time series data is an essential capability for the development of mediator-biomarker based AI forecasting systems, and therapeutic control development and optimization through systems like Drug Development Digital Twins. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Comments: 16 pages, 2 Figures

ACM Class: I.2.m; J.3

Search for ER and/or NR-like dark matter signals with the especially low background liquid helium TPCs

Authors: Junhui Liao, Yuanning Gao, Guangpeng An, Fengbo Gu, Shangmao Hu, Zhuo Liang, Gang Liu, Meiyuenan Ma, Zhaohua Peng, Junfeng Xia, Lei Zhang, Lifeng Zhang, Xiuliang Zhao, Jian Zheng, Jiangfeng Zhou

Abstract: In the Dark Matter (DM) direct detection community, the absence of convincing signals has become a "new normal" for decades. Among other possibilities, the "new normal" might indicate that DM-matter interactions could generate not only the hypothetical NR (Nuclear Recoil) events but also the ER (Electron Recoil) ones, which have often been tagged as backgrounds historically. Further, we argue that… ▽ More In the Dark Matter (DM) direct detection community, the absence of convincing signals has become a "new normal" for decades. Among other possibilities, the "new normal" might indicate that DM-matter interactions could generate not only the hypothetical NR (Nuclear Recoil) events but also the ER (Electron Recoil) ones, which have often been tagged as backgrounds historically. Further, we argue that ER and NR-like DM signals could co-exist in a DM detector's same dataset. So in total, there would be three scenarios we can search for DM signals: (i) ER excess only, (ii) NR excess only, and (iii) ER and NR excesses combined. To effectively identify any possible DM signal under the three scenarios, a DM detector should (a) have the minimum ER and NR backgrounds and (b) be capable of discriminating ER events from NR ones. Accordingly, we introduce the newly established project, ALETHEIA, which implements liquid helium-filled TPCs (Time Projection Chambers) in hunting for DM. Thanks to the nearly single-digit number of ER and NR backgrounds on 1 ton*yr exposure, presumably, the ALETHEIA detectors could identify any form of DM-induced excess in its ROI (Research Of Interest). As far as we know, ALETHEIA is the first DM direct detection experiment claiming such an inclusive search; conventional detectors search DM mainly on the "ER excess only" and/or the "NR excess only" channel, not the "ER and NR excesses combined" channel. △ Less

Submitted 19 October, 2023; v1 submitted 23 February, 2023; originally announced February 2023.

Direct Preference-based Policy Optimization without Reward Modeling

Authors: Gaon An, Junhyeok Lee, Xingdong Zuo, Norio Kosaka, Kyung-Min Kim, Hyun Oh Song

Abstract: Preference-based reinforcement learning (PbRL) is an approach that enables RL agents to learn from preference, which is particularly useful when formulating a reward function is challenging. Existing PbRL methods generally involve a two-step procedure: they first learn a reward model based on given preference data and then employ off-the-shelf reinforcement learning algorithms using the learned re… ▽ More Preference-based reinforcement learning (PbRL) is an approach that enables RL agents to learn from preference, which is particularly useful when formulating a reward function is challenging. Existing PbRL methods generally involve a two-step procedure: they first learn a reward model based on given preference data and then employ off-the-shelf reinforcement learning algorithms using the learned reward model. However, obtaining an accurate reward model solely from preference information, especially when the preference is from human teachers, can be difficult. Instead, we propose a PbRL algorithm that directly learns from preference without requiring any reward modeling. To achieve this, we adopt a contrastive learning framework to design a novel policy scoring metric that assigns a high score to policies that align with the given preferences. We apply our algorithm to offline RL tasks with actual human preference labels and show that our algorithm outperforms or is on par with the existing PbRL methods. Notably, on high-dimensional control tasks, our algorithm surpasses offline RL methods that learn with ground-truth reward information. Finally, we show that our algorithm can be successfully applied to fine-tune large language models. △ Less

Submitted 27 October, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: NeurIPS 2023

Fonte: Finding Bug Inducing Commits from Failures

Authors: Gabin An, Jingun Hong, Naryeong Kim, Shin Yoo

Abstract: A Bug Inducing Commit (BIC) is a commit that introduces a software bug into the codebase. Knowing the relevant BIC for a given bug can provide valuable information for debugging as well as bug triaging. However, existing BIC identification techniques are either too expensive (because they require the failing tests to be executed against previous versions for bisection) or inapplicable at the debug… ▽ More A Bug Inducing Commit (BIC) is a commit that introduces a software bug into the codebase. Knowing the relevant BIC for a given bug can provide valuable information for debugging as well as bug triaging. However, existing BIC identification techniques are either too expensive (because they require the failing tests to be executed against previous versions for bisection) or inapplicable at the debugging time (because they require post hoc artefacts such as bug reports or bug fixes). We propose Fonte, an efficient and accurate BIC identification technique that only requires test coverage. Fonte combines Fault Localisation (FL) with BIC identification and ranks commits based on the suspiciousness of the code elements that they modified. Fonte reduces the search space of BICs using failure coverage as well as a filter that detects commits that are merely style changes. Our empirical evaluation using 130 real-world BICs shows that Fonte significantly outperforms state-of-the-art BIC identification techniques based on Information Retrieval as well as neural code embedding models, achieving at least 39% higher MRR. We also report that the ranking scores produced by Fonte can be used to perform weighted bisection, further reducing the cost of BIC identification. Finally, we apply Fonte to a large-scale industry project with over 10M lines of code, and show that it can rank the actual BIC within the top five commits for 87% of the studied real batch-testing failures, and save the BIC inspection cost by 32% on average. △ Less

Submitted 14 February, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 13 pages, 10 figures, 5 tables (to be published in ICSE'23)

High-velocity tails of the inelastic and the multi-species mixture Boltzmann equations

Authors: Gayoung An, Donghyun Lee

Abstract: We study high-velocity tails of some homogeneous Boltzmann equations on $v \in \mathbb{R}_{v}^d$. First, we consider spatially homogeneous inelastic Boltzmann equation with noncutoff collision kernel, in the case of moderately soft potentials. We also study spatially homogeneous mixture Boltzmann equations : for both noncutoff collision kernel with moderately soft potentials and cutoff collision k… ▽ More We study high-velocity tails of some homogeneous Boltzmann equations on $v \in \mathbb{R}_{v}^d$. First, we consider spatially homogeneous inelastic Boltzmann equation with noncutoff collision kernel, in the case of moderately soft potentials. We also study spatially homogeneous mixture Boltzmann equations : for both noncutoff collision kernel with moderately soft potentials and cutoff collision kernel with hard potentials. In the case of noncutoff inelastic Boltzmann, we obtain \[ f(t,v) \geq a(t) e^{-b(t)|v|^p}, \quad 2 < p < 6.213 \] by extending Cancellation lemma and spreading lemma and assuming $f\in C^{\infty}$. For the Mixture type Boltzmann equations, we prove Maxwellian $p=2$. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Facilitating automated conversion of scientific knowledge into scientific simulation models with the Machine Assisted Generation, Calibration, and Comparison (MAGCC) Framework

Authors: Chase Cockrell, Scott Christley, Gary An

Abstract: The Machine Assisted Generation, Comparison, and Calibration (MAGCC) framework provides machine assistance and automation of recurrent crucial steps and processes in the development, implementation, testing, and use of scientific simulation models. MAGCC bridges systems for knowledge extraction via natural language processing or extracted from existing mathematical models and provides a comprehens… ▽ More The Machine Assisted Generation, Comparison, and Calibration (MAGCC) framework provides machine assistance and automation of recurrent crucial steps and processes in the development, implementation, testing, and use of scientific simulation models. MAGCC bridges systems for knowledge extraction via natural language processing or extracted from existing mathematical models and provides a comprehensive workflow encompassing the composition of scientific models and artificial intelligence (AI) assisted code generation. MAGCC accomplishes this through: 1) the development of a comprehensively expressive formal knowledge representation knowledgebase, the Structured Scientific Knowledge Representation (SSKR) that encompasses all the types of information needed to make any simulation model, 2) the use of an artificially intelligent logic reasoning system, the Computational Modeling Assistant (CMA), that takes information from the SSKR and generates, in a traceable fashion, model specifications across a range of simulation modeling methods, and 3) the use of the CMA to generate executable code for a simulation model from those model specifications. The MAGCC framework can be customized any scientific domain, and future work will integrate newly developed code-generating AI systems. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 20 Pages, 8 Figures, 5 Tables

Quantum phase transition of the two-dimensional Rydberg atom array in an optical cavity

Authors: Gao-Qi An, Tao Wang, Xue-Feng Zhang

Abstract: We study the two-dimensional Rydberg atom array in an optical cavity with help of the meanfield theory and the large-scale quantum Monte Carlo simulations. The strong dipole-dipole interactions between Rydberg atoms can make the system exhibit the crystal structure, and the coupling between two-level atom and cavity photon mode can result in the formation of the polariton. The interplay between th… ▽ More We study the two-dimensional Rydberg atom array in an optical cavity with help of the meanfield theory and the large-scale quantum Monte Carlo simulations. The strong dipole-dipole interactions between Rydberg atoms can make the system exhibit the crystal structure, and the coupling between two-level atom and cavity photon mode can result in the formation of the polariton. The interplay between them provides a rich quantum phase diagram including the Mott, solid-1/2, superradiant and superradiant solid phases. As the two-order co-existed phase, the superradiant solid phase breaks both translational and U(1) symmetries. Based on both numerical and analytic results, we found the region of superradiant solid is much larger than one dimensional case, so that it can be more easily observed in the experiment. Finally, we discuss how the energy gap of the Rydberg atom can affect the type of the quantum phase transition and the number of triple points. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Journal ref: Phys. Rev. B 106, 134506(2022)

Derivations, local and 2-local derivations of standard operator algebras

Authors: Jun He, Haixia Zhao, Guangyu An

Abstract: Let X be a Banach space over field F (R or C). Denote by B(X) the set of all bounded linear operators on X and by F(X) the set of all finite rank operators on X. A subalgebra A of B(X) is called a standard operator algebra if A contain F(X). We give a brief proof of a well-known result that every derivation from A into B(X) is inner. There is another classical result that every local derivation on… ▽ More Let X be a Banach space over field F (R or C). Denote by B(X) the set of all bounded linear operators on X and by F(X) the set of all finite rank operators on X. A subalgebra A of B(X) is called a standard operator algebra if A contain F(X). We give a brief proof of a well-known result that every derivation from A into B(X) is inner. There is another classical result that every local derivation on B(X) is a derivation. We extend the result by proving that every local derivation from A into B(X) is a derivation. Based on these two results, we prove that every 2-local derivation from A into B(X) is a derivation. △ Less

Submitted 10 March, 2022; originally announced March 2022.

A high-precision underwater object detection based on joint self-supervised deblurring and improved spatial transformer network

Authors: Xiuyuan Li, Fengchao Li, Jiangang Yu, Guowen An

Abstract: Deep learning-based underwater object detection (UOD) remains a major challenge due to the degraded visibility and difficulty to obtain sufficient underwater object images captured from various perspectives for training. To address these issues, this paper presents a high-precision UOD based on joint self-supervised deblurring and improved spatial transformer network. A self-supervised deblurring… ▽ More Deep learning-based underwater object detection (UOD) remains a major challenge due to the degraded visibility and difficulty to obtain sufficient underwater object images captured from various perspectives for training. To address these issues, this paper presents a high-precision UOD based on joint self-supervised deblurring and improved spatial transformer network. A self-supervised deblurring subnetwork is introduced into the designed multi-task learning aided object detection architecture to force the shared feature extraction module to output clean features for detection subnetwork. Aiming at alleviating the limitation of insufficient photos from different perspectives, an improved spatial transformer network is designed based on perspective transformation, adaptively enriching image features within the network. The experimental results show that the proposed UOD approach achieved 47.9 mAP in URPC2017 and 70.3 mAP in URPC2018, outperforming many state-of-the-art UOD methods and indicating the designed method is more suitable for UOD. △ Less

Submitted 9 March, 2022; originally announced March 2022.

A high-precision self-supervised monocular visual odometry in foggy weather based on robust cycled generative adversarial networks and multi-task learning aided depth estimation

Authors: Xiuyuan Li, Jiangang Yu, Fengchao Li, Guowen An

Abstract: This paper proposes a high-precision self-supervised monocular VO, which is specifically designed for navigation in foggy weather. A cycled generative adversarial network is designed to obtain high-quality self-supervised loss via forcing the forward and backward half-cycle to output consistent estimation. Moreover, gradient-based loss and perceptual loss are introduced to eliminate the interferen… ▽ More This paper proposes a high-precision self-supervised monocular VO, which is specifically designed for navigation in foggy weather. A cycled generative adversarial network is designed to obtain high-quality self-supervised loss via forcing the forward and backward half-cycle to output consistent estimation. Moreover, gradient-based loss and perceptual loss are introduced to eliminate the interference of complex photometric change on self-supervised loss in foggy weather. To solve the ill-posed problem of depth estimation, a self-supervised multi-task learning aided depth estimation module is designed based on the strong correlation between the depth estimation and transmission map calculation of hazy images in foggy weather. The experimental results on the synthetic foggy KITTI dataset show that the proposed self-supervised monocular VO performs better in depth and pose estimation than other state-of-the-art monocular VO in the literature, indicating the designed method is more suitable for foggy weather. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Optimal channel selection with discrete QCQP

Authors: Yeonwoo Jeong, Deokjae Lee, Gaon An, Changyong Son, Hyun Oh Song

Abstract: Reducing the high computational cost of large convolutional neural networks is crucial when deploying the networks to resource-constrained environments. We first show the greedy approach of recent channel pruning methods ignores the inherent quadratic coupling between channels in the neighboring layers and cannot safely remove inactive weights during the pruning procedure. Furthermore, due to thes… ▽ More Reducing the high computational cost of large convolutional neural networks is crucial when deploying the networks to resource-constrained environments. We first show the greedy approach of recent channel pruning methods ignores the inherent quadratic coupling between channels in the neighboring layers and cannot safely remove inactive weights during the pruning procedure. Furthermore, due to these inactive weights, the greedy methods cannot guarantee to satisfy the given resource constraints and deviate with the true objective. In this regard, we propose a novel channel selection method that optimally selects channels via discrete QCQP, which provably prevents any inactive weights and guarantees to meet the resource constraints tightly in terms of FLOPs, memory usage, and network size. We also propose a quadratic model that accurately estimates the actual inference time of the pruned network, which allows us to adopt inference time as a resource constraint option. Furthermore, we generalize our method to extend the selection granularity beyond channels and handle non-sequential connections. Our experiments on CIFAR-10 and ImageNet show our proposed pruning method outperforms other fixed-importance channel pruning methods on various network architectures. △ Less

Submitted 24 February, 2022; originally announced February 2022.

Comments: aistats2022 accepted paper

2D+3D facial expression recognition via embedded tensor manifold regularization

Authors: Yunfang Fu, Qiuqi Ruan, Ziyan Luo, Gaoyun An, Yi Jin, Jun Wan

Abstract: In this paper, a novel approach via embedded tensor manifold regularization for 2D+3D facial expression recognition (FERETMR) is proposed. Firstly, 3D tensors are constructed from 2D face images and 3D face shape models to keep the structural information and correlations. To maintain the local structure (geometric information) of 3D tensor samples in the low-dimensional tensors space during the di… ▽ More In this paper, a novel approach via embedded tensor manifold regularization for 2D+3D facial expression recognition (FERETMR) is proposed. Firstly, 3D tensors are constructed from 2D face images and 3D face shape models to keep the structural information and correlations. To maintain the local structure (geometric information) of 3D tensor samples in the low-dimensional tensors space during the dimensionality reduction, the $\ell_0$-norm of the core tensors and a tensor manifold regularization scheme embedded on core tensors are adopted via a low-rank truncated Tucker decomposition on the generated tensors. As a result, the obtained factor matrices will be used for facial expression classification prediction. To make the resulting tensor optimization more tractable, $\ell_1$-norm surrogate is employed to relax $\ell_0$-norm and hence the resulting tensor optimization problem has a nonsmooth objective function due to the $\ell_1$-norm and orthogonal constraints from the orthogonal Tucker decomposition. To efficiently tackle this tensor optimization problem, we establish the first-order optimality condition in terms of stationary points, and then design a block coordinate descent (BCD) algorithm with convergence analysis and the computational complexity. Numerical results on BU-3DFE database and Bosphorus databases demonstrate the effectiveness of our proposed approach. △ Less

Submitted 29 January, 2022; originally announced January 2022.

Prototype Guided Network for Anomaly Segmentation

Authors: Yiqing Hao, Yi Jin, Gaoyun An

Abstract: Semantic segmentation methods can not directly identify abnormal objects in images. Anomaly Segmentation algorithm from this realistic setting can distinguish between in-distribution objects and Out-Of-Distribution (OOD) objects and output the anomaly probability for pixels. In this paper, a Prototype Guided Anomaly segmentation Network (PGAN) is proposed to extract semantic prototypes for in-dist… ▽ More Semantic segmentation methods can not directly identify abnormal objects in images. Anomaly Segmentation algorithm from this realistic setting can distinguish between in-distribution objects and Out-Of-Distribution (OOD) objects and output the anomaly probability for pixels. In this paper, a Prototype Guided Anomaly segmentation Network (PGAN) is proposed to extract semantic prototypes for in-distribution training data from limited annotated images. In the model, prototypes are used to model the hierarchical category semantic information and distinguish OOD pixels. The proposed PGAN model includes a semantic segmentation network and a prototype extraction network. Similarity measures are adopted to optimize the prototypes. The learned semantic prototypes are used as category semantics to compare the similarity with features extracted from test images and then to generate semantic segmentation prediction. The proposed prototype extraction network can also be integrated into most semantic segmentation networks and recognize OOD pixels. On the StreetHazards dataset, the proposed PGAN model produced mIoU of 53.4% for anomaly segmentation. The experimental results demonstrate PGAN may achieve the SOTA performance in the anomaly segmentation tasks. △ Less

Submitted 15 March, 2022; v1 submitted 15 January, 2022; originally announced January 2022.

Comments: Need for edit,and improve the method for better performance

Preemptive Image Robustification for Protecting Users against Man-in-the-Middle Adversarial Attacks

Authors: Seungyong Moon, Gaon An, Hyun Oh Song

Abstract: Deep neural networks have become the driving force of modern image recognition systems. However, the vulnerability of neural networks against adversarial attacks poses a serious threat to the people affected by these systems. In this paper, we focus on a real-world threat model where a Man-in-the-Middle adversary maliciously intercepts and perturbs images web users upload online. This type of atta… ▽ More Deep neural networks have become the driving force of modern image recognition systems. However, the vulnerability of neural networks against adversarial attacks poses a serious threat to the people affected by these systems. In this paper, we focus on a real-world threat model where a Man-in-the-Middle adversary maliciously intercepts and perturbs images web users upload online. This type of attack can raise severe ethical concerns on top of simple performance degradation. To prevent this attack, we devise a novel bi-level optimization algorithm that finds points in the vicinity of natural images that are robust to adversarial perturbations. Experiments on CIFAR-10 and ImageNet show our method can effectively robustify natural images within the given modification budget. We also show the proposed method can improve robustness when jointly used with randomized smoothing. △ Less

Submitted 10 December, 2021; originally announced December 2021.

Comments: Accepted and to appear at AAAI 2022

STSM: Spatio-Temporal Shift Module for Efficient Action Recognition

Authors: Zhaoqilin Yang, Gaoyun An

Abstract: The modeling, computational cost, and accuracy of traditional Spatio-temporal networks are the three most concentrated research topics in video action recognition. The traditional 2D convolution has a low computational cost, but it cannot capture the time relationship; the convolutional neural networks (CNNs) model based on 3D convolution can obtain good performance, but its computational cost is… ▽ More The modeling, computational cost, and accuracy of traditional Spatio-temporal networks are the three most concentrated research topics in video action recognition. The traditional 2D convolution has a low computational cost, but it cannot capture the time relationship; the convolutional neural networks (CNNs) model based on 3D convolution can obtain good performance, but its computational cost is high, and the amount of parameters is large. In this paper, we propose a plug-and-play Spatio-temporal Shift Module (STSM), which is a generic module that is both effective and high-performance. Specifically, after STSM is inserted into other networks, the performance of the network can be improved without increasing the number of calculations and parameters. In particular, when the network is 2D CNNs, our STSM module allows the network to learn efficient Spatio-temporal features. We conducted extensive evaluations of the proposed module, conducted numerous experiments to study its effectiveness in video action recognition, and achieved state-of-the-art results on the kinetics-400 and Something-Something V2 datasets. △ Less

Submitted 5 December, 2021; originally announced December 2021.

Comments: 9 pages,4 figures

Uncertainty-Based Offline Reinforcement Learning with Diversified Q-Ensemble

Authors: Gaon An, Seungyong Moon, Jang-Hyun Kim, Hyun Oh Song

Abstract: Offline reinforcement learning (offline RL), which aims to find an optimal policy from a previously collected static dataset, bears algorithmic difficulties due to function approximation errors from out-of-distribution (OOD) data points. To this end, offline RL algorithms adopt either a constraint or a penalty term that explicitly guides the policy to stay close to the given dataset. However, prio… ▽ More Offline reinforcement learning (offline RL), which aims to find an optimal policy from a previously collected static dataset, bears algorithmic difficulties due to function approximation errors from out-of-distribution (OOD) data points. To this end, offline RL algorithms adopt either a constraint or a penalty term that explicitly guides the policy to stay close to the given dataset. However, prior methods typically require accurate estimation of the behavior policy or sampling from OOD data points, which themselves can be a non-trivial problem. Moreover, these methods under-utilize the generalization ability of deep neural networks and often fall into suboptimal solutions too close to the given dataset. In this work, we propose an uncertainty-based offline RL method that takes into account the confidence of the Q-value prediction and does not require any estimation or sampling of the data distribution. We show that the clipped Q-learning, a technique widely used in online RL, can be leveraged to successfully penalize OOD data points with high prediction uncertainties. Surprisingly, we find that it is possible to substantially outperform existing offline RL methods on various tasks by simply increasing the number of Q-networks along with the clipped Q-learning. Based on this observation, we propose an ensemble-diversified actor-critic algorithm that reduces the number of required ensemble networks down to a tenth compared to the naive ensemble while achieving state-of-the-art performance on most of the D4RL benchmarks considered. △ Less

Submitted 5 October, 2021; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: To appear at NeurIPS 2021

Searching for Multi-Fault Programs in Defects4J

Authors: Gabin An, Juyeon Yoon, Shin Yoo

Abstract: Defects4J has enabled numerous software testing and debugging research work since its introduction. A large part of its contribution, and the resulting popularity, lies in the clear separation and distillation of the root cause of each individual test failure based on careful manual analysis, which in turn allowed researchers to easily study individual faults in isolation. However, in a realistic… ▽ More Defects4J has enabled numerous software testing and debugging research work since its introduction. A large part of its contribution, and the resulting popularity, lies in the clear separation and distillation of the root cause of each individual test failure based on careful manual analysis, which in turn allowed researchers to easily study individual faults in isolation. However, in a realistic debugging scenario, multiple faults can coexist and affect test results collectively. Study of automated debugging techniques for these situations, such as failure clustering or fault localisation for multiple faults, would significantly benefit from a reliable benchmark of multiple, coexisting faults. We search for versions of Defects4J subjects that contain multiple faults, by iteratively transplanting fault-revealing test cases across Defects4J versions. Out of 326 studied versions of Defects4J subjects, we report that over 95% (311 versions) actually contain from two to 24 faults. We hope that the extended, multi-fault Defects4J can provide a platform for future research of testing and debugging techniques for multi-fault programs. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 6 pages, 3 listings, 1 figure

Improving Test Distance for Failure Clustering with Hypergraph Modelling

Authors: Gabin An, Juyeon Yoon, Joyce Jiyoung Whang, Shin Yoo

Abstract: Automated debugging techniques, such as Fault Localisation (FL) or Automated Program Repair (APR), are typically designed under the Single Fault Assumption (SFA). However, in practice, an unknown number of faults can independently cause multiple test case failures, making it difficult to allocate resources for debugging and to use automated debugging techniques. Clustering algorithms have been app… ▽ More Automated debugging techniques, such as Fault Localisation (FL) or Automated Program Repair (APR), are typically designed under the Single Fault Assumption (SFA). However, in practice, an unknown number of faults can independently cause multiple test case failures, making it difficult to allocate resources for debugging and to use automated debugging techniques. Clustering algorithms have been applied to group the test failures according to their root causes, but their accuracy can often be lacking due to the inherent limits in the distance metrics for test cases. We introduce a new test distance metric based on hypergraphs and evaluate their accuracy using multi-fault benchmarks that we have built on top of Defects4J and SIR. Results show that our technique, Hybiscus, can automatically achieve perfect clustering (i.e., the same number of clusters as the ground truth number of root causes, with all failing tests with the same root cause grouped together) for 418 out of 605 test runs with multiple test failures. Better failure clustering also allows us to separate different root causes and apply FL techniques under SFA, resulting in saving up to 82% of the total wasted effort when compared to the state-of-the-art technique for multiple fault localisation. △ Less

Submitted 21 April, 2021; originally announced April 2021.

Comments: 23 pages, 5 tables, 9 figures

FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases

Authors: Gabin An, Shin Yoo

Abstract: The performance of many Fault Localisation (FL) techniques directly depends on the quality of the used test suites. Consequently, it is extremely useful to be able to precisely measure how much diagnostic power each test case can introduce when added to a test suite used for FL. Such a measure can help us not only to prioritise and select test cases to be used for FL, but also to effectively augme… ▽ More The performance of many Fault Localisation (FL) techniques directly depends on the quality of the used test suites. Consequently, it is extremely useful to be able to precisely measure how much diagnostic power each test case can introduce when added to a test suite used for FL. Such a measure can help us not only to prioritise and select test cases to be used for FL, but also to effectively augment test suites that are too weak to be used with FL techniques. We propose FDG, a new measure of Fault Diagnosability Gain for individual test cases. The design of FDG is based on our analysis of existing metrics that are designed to prioritise test cases for better FL. Unlike other metrics, FDG exploits the ongoing FL results to emphasise the parts of the program for which more information is needed. Our evaluation of FDG with Defects4J shows that it can successfully help the augmentation of test suites for better FL. When given only a few failing test cases (2.3 test cases on average), FDG can effectively augment the given test suite by prioritising the test cases generated automatically by EvoSuite: the augmentation can improve the acc@1 and acc@10 of the FL results by 11.6x and 2.2x on average, after requiring only ten human judgements on the correctness of the assertions EvoSuite generates. △ Less

Submitted 24 May, 2022; v1 submitted 14 April, 2021; originally announced April 2021.

Comments: 13 pages, 6 figures (to be published in ISSTA'22)

JUNO Physics and Detector

Authors: JUNO Collaboration, Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, Muhammad Akram, Fengpeng An, Guangpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, Burin Asavapibhop, João Pedro Athayde Marcondes de André, Didier Auguste, Andrej Babic, Wander Baldini, Andrea Barresi, Eric Baussan, Marco Bellato, Antonio Bergnoli, Enrico Bernieri, Thilo Birkenfeld , et al. (591 additional authors not shown)

Abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is a 20 kton LS detector at 700-m underground. An excellent energy resolution and a large fiducial volume offer exciting opportunities for addressing many important topics in neutrino and astro-particle physics. With 6 years of data, the neutrino mass ordering can be determined at 3-4 sigma and three oscillation parameters can be measured to a p… ▽ More The Jiangmen Underground Neutrino Observatory (JUNO) is a 20 kton LS detector at 700-m underground. An excellent energy resolution and a large fiducial volume offer exciting opportunities for addressing many important topics in neutrino and astro-particle physics. With 6 years of data, the neutrino mass ordering can be determined at 3-4 sigma and three oscillation parameters can be measured to a precision of 0.6% or better by detecting reactor antineutrinos. With 10 years of data, DSNB could be observed at 3-sigma; a lower limit of the proton lifetime of 8.34e33 years (90% C.L.) can be set by searching for p->nu_bar K^+; detection of solar neutrinos would shed new light on the solar metallicity problem and examine the vacuum-matter transition region. A core-collapse supernova at 10 kpc would lead to ~5000 IBD and ~2000 (300) all-flavor neutrino-proton (electron) scattering events. Geo-neutrinos can be detected with a rate of ~400 events/year. We also summarize the final design of the JUNO detector and the key R&D achievements. All 20-inch PMTs have been tested. The average photon detection efficiency is 28.9% for the 15,000 MCP PMTs and 28.1% for the 5,000 dynode PMTs, higher than the JUNO requirement of 27%. Together with the >20 m attenuation length of LS, we expect a yield of 1345 p.e. per MeV and an effective energy resolution of 3.02%/\sqrt{E (MeV)}$ in simulations. The underwater electronics is designed to have a loss rate <0.5% in 6 years. With degassing membranes and a micro-bubble system, the radon concentration in the 35-kton water pool could be lowered to <10 mBq/m^3. Acrylic panels of radiopurity <0.5 ppt U/Th are produced. The 20-kton LS will be purified onsite. Singles in the fiducial volume can be controlled to ~10 Hz. The JUNO experiment also features a double calorimeter system with 25,600 3-inch PMTs, a LS testing facility OSIRIS, and a near detector TAO. △ Less

Submitted 12 May, 2021; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: A review paper with 78 pages and 32 figures. v2: minor revision. Final version to appear in Progress in Particle and Nuclear Physics

The Design and Sensitivity of JUNO's scintillator radiopurity pre-detector OSIRIS

Authors: JUNO Collaboration, Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, Muhammad Akram, Fengpeng An, Guangpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, Burin Asavapibhop, João Pedro Athayde Marcondes de André, Didier Auguste, Andrej Babic, Wander Baldini, Andrea Barresi, Davide Basilico, Eric Baussan, Marco Bellato, Antonio Bergnoli, Thilo Birkenfeld , et al. (582 additional authors not shown)

Abstract: The OSIRIS detector is a subsystem of the liquid scintillator fillling chain of the JUNO reactor neutrino experiment. Its purpose is to validate the radiopurity of the scintillator to assure that all components of the JUNO scintillator system work to specifications and only neutrino-grade scintillator is filled into the JUNO Central Detector. The aspired sensitivity level of $10^{-16}$ g/g of… ▽ More The OSIRIS detector is a subsystem of the liquid scintillator fillling chain of the JUNO reactor neutrino experiment. Its purpose is to validate the radiopurity of the scintillator to assure that all components of the JUNO scintillator system work to specifications and only neutrino-grade scintillator is filled into the JUNO Central Detector. The aspired sensitivity level of $10^{-16}$ g/g of $^{238}$U and $^{232}$Th requires a large ($\sim$20 m$^3$) detection volume and ultralow background levels. The present paper reports on the design and major components of the OSIRIS detector, the detector simulation as well as the measuring strategies foreseen and the sensitivity levels to U/Th that can be reached in this setup. △ Less

Submitted 31 March, 2021; originally announced March 2021.

Comments: 32 pages, 22 figures

JUNO sensitivity to low energy atmospheric neutrino spectra

Authors: JUNO Collaboration, Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, Muhammad Akram, Fengpeng An, Guangpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, Burin Asavapibhop, João Pedro Athayde Marcondes de André, Didier Auguste, Andrej Babic, Wander Baldini, Andrea Barresi, Eric Baussan, Marco Bellato, Antonio Bergnoli, Enrico Bernieri, Thilo Birkenfeld , et al. (588 additional authors not shown)

Abstract: Atmospheric neutrinos are one of the most relevant natural neutrino sources that can be exploited to infer properties about cosmic rays and neutrino oscillations. The Jiangmen Underground Neutrino Observatory (JUNO) experiment, a 20 kton liquid scintillator detector with excellent energy resolution is currently under construction in China. JUNO will be able to detect several atmospheric neutrinos… ▽ More Atmospheric neutrinos are one of the most relevant natural neutrino sources that can be exploited to infer properties about cosmic rays and neutrino oscillations. The Jiangmen Underground Neutrino Observatory (JUNO) experiment, a 20 kton liquid scintillator detector with excellent energy resolution is currently under construction in China. JUNO will be able to detect several atmospheric neutrinos per day given the large volume. A study on the JUNO detection and reconstruction capabilities of atmospheric $ν_e$ and $ν_μ$ fluxes is presented in this paper. In this study, a sample of atmospheric neutrino Monte Carlo events has been generated, starting from theoretical models, and then processed by the detector simulation. The excellent timing resolution of the 3'' PMT light detection system of JUNO detector and the much higher light yield for scintillation over Cherenkov allow to measure the time structure of the scintillation light with very high precision. Since $ν_e$ and $ν_μ$ interactions produce a slightly different light pattern, the different time evolution of light allows to discriminate the flavor of primary neutrinos. A probabilistic unfolding method has been used, in order to infer the primary neutrino energy spectrum from the detector experimental observables. The simulated spectrum has been reconstructed between 100 MeV and 10 GeV, showing a great potential of the detector in the atmospheric low energy region. △ Less

Submitted 12 October, 2021; v1 submitted 17 March, 2021; originally announced March 2021.

Comments: 25 pages, 9 figures

Journal ref: Eur. Phys. J. C, 81 10 (2021) 887

Calibration Strategy of the JUNO Experiment

Authors: JUNO collaboration, Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, Muhammad Akram, Fengpeng An, Guangpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, Burin Asavapibhop, João Pedro Athayde Marcondes de André, Didier Auguste, Andrej Babic, Wander Baldini, Andrea Barresi, Eric Baussan, Marco Bellato, Antonio Bergnoli, Enrico Bernieri, Thilo Birkenfeld , et al. (571 additional authors not shown)

Abstract: We present the calibration strategy for the 20 kton liquid scintillator central detector of the Jiangmen Underground Neutrino Observatory (JUNO). By utilizing a comprehensive multiple-source and multiple-positional calibration program, in combination with a novel dual calorimetry technique exploiting two independent photosensors and readout systems, we demonstrate that the JUNO central detector ca… ▽ More We present the calibration strategy for the 20 kton liquid scintillator central detector of the Jiangmen Underground Neutrino Observatory (JUNO). By utilizing a comprehensive multiple-source and multiple-positional calibration program, in combination with a novel dual calorimetry technique exploiting two independent photosensors and readout systems, we demonstrate that the JUNO central detector can achieve a better than 1% energy linearity and a 3% effective energy resolution, required by the neutrino mass ordering determination. △ Less

Submitted 20 January, 2021; v1 submitted 12 November, 2020; originally announced November 2020.

Artificial neural networks for disease trajectory prediction in the context of sepsis

Authors: Dale Larie, Gary An, Chase Cockrell

Abstract: The disease trajectory for clinical sepsis, in terms of temporal cytokine and phenotypic dynamics, can be interpreted as a random dynamical system. The ability to make accurate predictions about patient state from clinical measurements has eluded the biomedical community, primarily due to the paucity of relevant and high-resolution data. We have utilized two distinct neural network architectures,… ▽ More The disease trajectory for clinical sepsis, in terms of temporal cytokine and phenotypic dynamics, can be interpreted as a random dynamical system. The ability to make accurate predictions about patient state from clinical measurements has eluded the biomedical community, primarily due to the paucity of relevant and high-resolution data. We have utilized two distinct neural network architectures, Long Short-Term Memory and Multi-Layer Perceptron, to take a time sequence of five measurements of eleven simulated serum cytokine concentrations as input and to return both the future cytokine trajectories as well as an aggregate metric representing the patient's state of health. The neural networks converged within 50 epochs for cytokine trajectory predictions and health-metric regressions, with the expected amount of error (due to stochasticity in the simulation). The mapping from a specific cytokine profile to a state-of-health is not unique, and increased levels of inflammation result in less accurate predictions. Due to the propagation of machine learning error combined with computational model stochasticity over time, the network should be re-grounded in reality daily as predictions can diverge from the true model trajectory as the system evolves towards a probabilistic basin of attraction. This work serves as a proof-of-concept for the use of artificial neural networks to predict disease progression in sepsis. This work is not intended to replace a trained clinician, rather the goal is to augment intuition with quantifiable statistical information to help them make the best decisions. We note that this relies on a valid computational model of the system in question as there does not exist sufficient data to inform a machine-learning trained, artificially intelligent, controller. △ Less

Submitted 28 July, 2020; originally announced July 2020.

Optimization of the JUNO liquid scintillator composition using a Daya Bay antineutrino detector

Authors: Daya Bay, JUNO collaborations, :, A. Abusleme, T. Adam, S. Ahmad, S. Aiello, M. Akram, N. Ali, F. P. An, G. P. An, Q. An, G. Andronico, N. Anfimov, V. Antonelli, T. Antoshkina, B. Asavapibhop, J. P. A. M. de André, A. Babic, A. B. Balantekin, W. Baldini, M. Baldoncini, H. R. Band, A. Barresi, E. Baussan , et al. (642 additional authors not shown)

Abstract: To maximize the light yield of the liquid scintillator (LS) for the Jiangmen Underground Neutrino Observatory (JUNO), a 20 t LS sample was produced in a pilot plant at Daya Bay. The optical properties of the new LS in various compositions were studied by replacing the gadolinium-loaded LS in one antineutrino detector. The concentrations of the fluor, PPO, and the wavelength shifter, bis-MSB, were… ▽ More To maximize the light yield of the liquid scintillator (LS) for the Jiangmen Underground Neutrino Observatory (JUNO), a 20 t LS sample was produced in a pilot plant at Daya Bay. The optical properties of the new LS in various compositions were studied by replacing the gadolinium-loaded LS in one antineutrino detector. The concentrations of the fluor, PPO, and the wavelength shifter, bis-MSB, were increased in 12 steps from 0.5 g/L and <0.01 mg/L to 4 g/L and 13 mg/L, respectively. The numbers of total detected photoelectrons suggest that, with the optically purified solvent, the bis-MSB concentration does not need to be more than 4 mg/L. To bridge the one order of magnitude in the detector size difference between Daya Bay and JUNO, the Daya Bay data were used to tune the parameters of a newly developed optical model. Then, the model and tuned parameters were used in the JUNO simulation. This enabled to determine the optimal composition for the JUNO LS: purified solvent LAB with 2.5 g/L PPO, and 1 to 4 mg/L bis-MSB. △ Less

Submitted 1 July, 2020; originally announced July 2020.

Comments: 13 pages, 8 figures

Feasibility and physics potential of detecting $^8$B solar neutrinos at JUNO

Authors: JUNO collaboration, Angel Abusleme, Thomas Adam, Shakeel Ahmad, Sebastiano Aiello, Muhammad Akram, Nawab Ali, Fengpeng An, Guangpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, Burin Asavapibhop, João Pedro Athayde Marcondes de André, Didier Auguste, Andrej Babic, Wander Baldini, Andrea Barresi, Eric Baussan, Marco Bellato, Antonio Bergnoli, Enrico Bernieri, David Biare , et al. (572 additional authors not shown)

Abstract: The Jiangmen Underground Neutrino Observatory~(JUNO) features a 20~kt multi-purpose underground liquid scintillator sphere as its main detector. Some of JUNO's features make it an excellent experiment for $^8$B solar neutrino measurements, such as its low-energy threshold, its high energy resolution compared to water Cherenkov detectors, and its much large target mass compared to previous liquid s… ▽ More The Jiangmen Underground Neutrino Observatory~(JUNO) features a 20~kt multi-purpose underground liquid scintillator sphere as its main detector. Some of JUNO's features make it an excellent experiment for $^8$B solar neutrino measurements, such as its low-energy threshold, its high energy resolution compared to water Cherenkov detectors, and its much large target mass compared to previous liquid scintillator detectors. In this paper we present a comprehensive assessment of JUNO's potential for detecting $^8$B solar neutrinos via the neutrino-electron elastic scattering process. A reduced 2~MeV threshold on the recoil electron energy is found to be achievable assuming the intrinsic radioactive background $^{238}$U and $^{232}$Th in the liquid scintillator can be controlled to 10$^{-17}$~g/g. With ten years of data taking, about 60,000 signal and 30,000 background events are expected. This large sample will enable an examination of the distortion of the recoil electron spectrum that is dominated by the neutrino flavor transformation in the dense solar matter, which will shed new light on the tension between the measured electron spectra and the predictions of the standard three-flavor neutrino oscillation framework. If $Δm^{2}_{21}=4.8\times10^{-5}~(7.5\times10^{-5})$~eV$^{2}$, JUNO can provide evidence of neutrino oscillation in the Earth at the about 3$σ$~(2$σ$) level by measuring the non-zero signal rate variation with respect to the solar zenith angle. Moveover, JUNO can simultaneously measure $Δm^2_{21}$ using $^8$B solar neutrinos to a precision of 20\% or better depending on the central value and to sub-percent precision using reactor antineutrinos. A comparison of these two measurements from the same detector will help elucidate the current tension between the value of $Δm^2_{21}$ reported by solar neutrino experiments and the KamLAND experiment. △ Less

Submitted 21 June, 2020; originally announced June 2020.

Comments: 29 pages, 14 plots, 7 tables

TAO Conceptual Design Report: A Precision Measurement of the Reactor Antineutrino Spectrum with Sub-percent Energy Resolution

Authors: JUNO Collaboration, Angel Abusleme, Thomas Adam, Shakeel Ahmad, Sebastiano Aiello, Muhammad Akram, Nawab Ali, Fengpeng An, Guangpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, Burin Asavapibhop, João Pedro Athayde Marcondes de André, Didier Auguste, Andrej Babic, Wander Baldini, Andrea Barresi, Eric Baussan, Marco Bellato, Antonio Bergnoli, Enrico Bernieri, David Biare , et al. (568 additional authors not shown)

Abstract: The Taishan Antineutrino Observatory (TAO, also known as JUNO-TAO) is a satellite experiment of the Jiangmen Underground Neutrino Observatory (JUNO). A ton-level liquid scintillator detector will be placed at about 30 m from a core of the Taishan Nuclear Power Plant. The reactor antineutrino spectrum will be measured with sub-percent energy resolution, to provide a reference spectrum for future re… ▽ More The Taishan Antineutrino Observatory (TAO, also known as JUNO-TAO) is a satellite experiment of the Jiangmen Underground Neutrino Observatory (JUNO). A ton-level liquid scintillator detector will be placed at about 30 m from a core of the Taishan Nuclear Power Plant. The reactor antineutrino spectrum will be measured with sub-percent energy resolution, to provide a reference spectrum for future reactor neutrino experiments, and to provide a benchmark measurement to test nuclear databases. A spherical acrylic vessel containing 2.8 ton gadolinium-doped liquid scintillator will be viewed by 10 m^2 Silicon Photomultipliers (SiPMs) of >50% photon detection efficiency with almost full coverage. The photoelectron yield is about 4500 per MeV, an order higher than any existing large-scale liquid scintillator detectors. The detector operates at -50 degree C to lower the dark noise of SiPMs to an acceptable level. The detector will measure about 2000 reactor antineutrinos per day, and is designed to be well shielded from cosmogenic backgrounds and ambient radioactivities to have about 10% background-to-signal ratio. The experiment is expected to start operation in 2022. △ Less

Submitted 18 May, 2020; originally announced May 2020.

Comments: 134 pages, 114 figures

E2-Capsule Neural Networks for Facial Expression Recognition Using AU-Aware Attention

Authors: Shan Cao, Yuqian Yao, Gaoyun An

Abstract: Capsule neural network is a new and popular technique in deep learning. However, the traditional capsule neural network does not extract features sufficiently before the dynamic routing between the capsules. In this paper, the one Double Enhanced Capsule Neural Network (E2-Capsnet) that uses AU-aware attention for facial expression recognition (FER) is proposed. The E2-Capsnet takes advantage of d… ▽ More Capsule neural network is a new and popular technique in deep learning. However, the traditional capsule neural network does not extract features sufficiently before the dynamic routing between the capsules. In this paper, the one Double Enhanced Capsule Neural Network (E2-Capsnet) that uses AU-aware attention for facial expression recognition (FER) is proposed. The E2-Capsnet takes advantage of dynamic routing between the capsules, and has two enhancement modules which are beneficial for FER. The first enhancement module is the convolutional neural network with AU-aware attention, which can help focus on the active areas of the expression. The second enhancement module is the capsule neural network with multiple convolutional layers, which enhances the ability of the feature representation. Finally, squashing function is used to classify the facial expression. We demonstrate the effectiveness of E2-Capsnet on the two public benchmark datasets, RAF-DB and EmotioNet. The experimental results show that our E2-Capsnet is superior to the state-of-the-art methods. Our implementation will be publicly available online. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 2 pages, 3 figures

Characterizing linear mappings through zero products or zero Jordan products

Authors: Guangyu An, Jun He, Jiankui Li

Abstract: Let $\mathcal{A}$ be a $*$-algebra and $\mathcal{M}$ be a $*$-$\mathcal A$-bimodule, we study the local properties of $*$-derivations and $*$-Jordan derivations from $\mathcal{A}$ into $\mathcal{M}$ under the following orthogonality conditions on elements in $\mathcal A$: $ab^*=0$, $ab^*+b^*a=0$ and $ab^*=b^*a=0$. We characterize the mappings on zero product determined algebras and zero Jordan pro… ▽ More Let $\mathcal{A}$ be a $*$-algebra and $\mathcal{M}$ be a $*$-$\mathcal A$-bimodule, we study the local properties of $*$-derivations and $*$-Jordan derivations from $\mathcal{A}$ into $\mathcal{M}$ under the following orthogonality conditions on elements in $\mathcal A$: $ab^*=0$, $ab^*+b^*a=0$ and $ab^*=b^*a=0$. We characterize the mappings on zero product determined algebras and zero Jordan product determined algebras. Moreover, we give some applications on $C^*$-algebras, group algebra, matrix algebras, algebras of locally measurable operators and von Neumann algebras. △ Less

Submitted 24 August, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

The State and Future of Genetic Improvement

Authors: William B. Langdon, Westley Weimer, Christopher Timperley, Oliver Krauss, Zhen Yu Ding, Yiwei Lyu, Nicolas Chausseau, Eric Schulte, Shin Hwei Tan, Kevin Leach, Yu Huang, Gabin An

Abstract: We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on Software Engineering on Tuesday 28th May 2019. Topics included GI representations, the maintainability of evolved code, automated software testing, future areas of GI research, such as co-evolution, and existing GI tools a… ▽ More We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on Software Engineering on Tuesday 28th May 2019. Topics included GI representations, the maintainability of evolved code, automated software testing, future areas of GI research, such as co-evolution, and existing GI tools and benchmarks. △ Less

Submitted 27 June, 2019; originally announced July 2019.

Comments: University College London, Computer Science

Report number: RN/19/02

Journal ref: SIGSOFT Software Engineering Notes, 44(3) p25-29, July 2019

Parsimonious Black-Box Adversarial Attacks via Efficient Combinatorial Optimization

Authors: Seungyong Moon, Gaon An, Hyun Oh Song

Abstract: Solving for adversarial examples with projected gradient descent has been demonstrated to be highly effective in fooling the neural network based classifiers. However, in the black-box setting, the attacker is limited only to the query access to the network and solving for a successful adversarial example becomes much more difficult. To this end, recent methods aim at estimating the true gradient… ▽ More Solving for adversarial examples with projected gradient descent has been demonstrated to be highly effective in fooling the neural network based classifiers. However, in the black-box setting, the attacker is limited only to the query access to the network and solving for a successful adversarial example becomes much more difficult. To this end, recent methods aim at estimating the true gradient signal based on the input queries but at the cost of excessive queries. We propose an efficient discrete surrogate to the optimization problem which does not require estimating the gradient and consequently becomes free of the first order update hyperparameters to tune. Our experiments on Cifar-10 and ImageNet show the state of the art black-box attack performance with significant reduction in the required queries compared to a number of recently proposed methods. The source code is available at https://github.com/snu-mllab/parsimonious-blackbox-attack. △ Less

Submitted 18 October, 2022; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: Accepted and to appear at ICML 2019

Perceptual Attention-based Predictive Control

Authors: Keuntaek Lee, Gabriel Nakajima An, Viacheslav Zakharov, Evangelos A. Theodorou

Abstract: In this paper, we present a novel information processing architecture for safe deep learning-based visual navigation of autonomous systems. The proposed information processing architecture is used to support a perceptual attention-based predictive control algorithm that leverages model predictive control (MPC), convolutional neural networks (CNNs), and uncertainty quantification methods. The novel… ▽ More In this paper, we present a novel information processing architecture for safe deep learning-based visual navigation of autonomous systems. The proposed information processing architecture is used to support a perceptual attention-based predictive control algorithm that leverages model predictive control (MPC), convolutional neural networks (CNNs), and uncertainty quantification methods. The novelty of our approach lies in using MPC to learn how to place attention on relevant areas of the visual input, which ultimately allows the system to more rapidly detect unsafe conditions. We accomplish this by using MPC to learn to select regions of interest in the input image, which are used to output control actions as well as estimates of epistemic and aleatoric uncertainty in the attention-aware visual input. We use these uncertainty estimates to quantify the safety of our network controller under the current navigation condition. The proposed architecture and algorithm is tested on a 1:5 scale terrestrial vehicle. Experimental results show that the proposed algorithm outperforms previous approaches on early detection of unsafe conditions, such as when novel obstacles are present in the navigation environment. The proposed architecture is the first step towards using deep learning-based perceptual control policies in safety-critical domains. △ Less

Submitted 15 October, 2019; v1 submitted 26 April, 2019; originally announced April 2019.

Ahead of Time Mutation Based Fault Localisation using Statistical Inference

Authors: Jinhan Kim, Gabin An, Robert Feldt, Shin Yoo

Abstract: Mutation analysis can effectively capture the dependency between source code and test results. This has been exploited by Mutation Based Fault Localisation (MBFL) techniques. However, MBFL techniques suffer from the need to expend the high cost of mutation analysis after the observation of failures, which may present a challenge for its practical adoption. We introduce SIMFL (Statistical Inference… ▽ More Mutation analysis can effectively capture the dependency between source code and test results. This has been exploited by Mutation Based Fault Localisation (MBFL) techniques. However, MBFL techniques suffer from the need to expend the high cost of mutation analysis after the observation of failures, which may present a challenge for its practical adoption. We introduce SIMFL (Statistical Inference for Mutation-based Fault Localisation), an MBFL technique that allows users to perform the mutation analysis in advance before a failure is observed, allowing the amortisation of the analysis cost. SIMFL uses mutants as artificial faults and aims to learn the failure patterns among test cases against different locations of mutations. Once a failure is observed, SIMFL requires either almost no or very small additional cost for analysis, depending on the used inference model. An empirical evaluation using Defects4J shows that SIMFL can successfully localise up to 113 out of 203 studied faults (55%) at the top, and 159 (78%) faults within the top five, significantly outperforming existing MBFL techniques while using the results of mutation analysis that has been undertaken before the test failure. The amortised cost of mutation analysis can be further reduced by mutation sampling: SIMFL retains 80% of its localisation accuracy at the top rank when using only 10% of generated mutants, compared to results obtained without sampling. △ Less

Submitted 23 August, 2021; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: To be published at 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE 2021)

Characterizations of centralizable mappings on algebras of locally measurable operators

Authors: Guangyu An, Jun He, Jiankui Li

Abstract: A linear mapping $φ$ from an algebra $\mathcal{A}$ into its bimodule $\mathcal M$ is called a centralizable mapping at $G\in\mathcal{A}$ if $φ(AB)=φ(A)B=Aφ(B)$ for each $A$ and $B$ in $\mathcal{A}$ with $AB=G$. In this paper, we prove that if $\mathcal M$ is a von Neumann algebra without direct summands of type $\mathrm{I}_1$ and type $\mathrm{II}$, $\mathcal A$ is a $*$-subalgebra with… ▽ More A linear mapping $φ$ from an algebra $\mathcal{A}$ into its bimodule $\mathcal M$ is called a centralizable mapping at $G\in\mathcal{A}$ if $φ(AB)=φ(A)B=Aφ(B)$ for each $A$ and $B$ in $\mathcal{A}$ with $AB=G$. In this paper, we prove that if $\mathcal M$ is a von Neumann algebra without direct summands of type $\mathrm{I}_1$ and type $\mathrm{II}$, $\mathcal A$ is a $*$-subalgebra with $\mathcal M\subseteq\mathcal A\subseteq LS(\mathcal{M})$ and $G$ is a fixed element in $\mathcal A$, then every continuous (with respect to the local measure topology $t(\mathcal M)$) centralizable mapping at $G$ from $\mathcal A$ into $\mathcal M$ is a centralizer. △ Less

Submitted 13 September, 2018; originally announced September 2018.

Measurement of proton quenching in a LAB based liquid scintillator

Authors: M. S. Yang, Z. Y. Yu, J. Cao, X. L. Sun, B. X. Yu, G. P. An

Abstract: Linear alkylbenzene has been recently used as the solvent of liquid scintillator by several neutrino experiments. The energy quenching effect of a linear alkylbenzene based liquid scintillator is studied in this paper with a 14 MeV D-T compact neutron generator, to improve the energy non-linearity modelling of this kind of detectors. The recoiled proton in the liquid scintillator has a kinetic ene… ▽ More Linear alkylbenzene has been recently used as the solvent of liquid scintillator by several neutrino experiments. The energy quenching effect of a linear alkylbenzene based liquid scintillator is studied in this paper with a 14 MeV D-T compact neutron generator, to improve the energy non-linearity modelling of this kind of detectors. The recoiled proton in the liquid scintillator has a kinetic energy ranging from 0.5 MeV to 13 MeV. The data is used to extract the parameters of the Birk's law, an empirical model to describe the energy quenching effect of the liquid scintillator. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: 6 pages, 8 figures and 1 table; accepted by Radiation Detection Technology and Methods