skip to main content

Search for: All records

Creators/Authors contains: "Lopez, D"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Bogomolov, S. ; Parker, D. (Ed.)
    Continuous deep learning models, referred to as Neural Ordinary Differential Equations (Neural ODEs), have received considerable attention over the last several years. Despite their burgeoning impact, there is a lack of formal analysis techniques for these systems. In this paper, we consider a general class of neural ODEs with varying architectures and layers, and introduce a novel reachability framework that allows for the formal analysis of their behavior. The methods developed for the reachability analysis of neural ODEs are implemented in a new tool called NNVODE. Specifically, our work extends an existing neural network verification tool to support neural ODEs. We demonstrate the capabilities and efficacy of our methods through the analysis of a set of benchmarks that include neural ODEs used for classification, and in control and dynamical systems, including an evaluation of the efficacy and capabilities of our approach with respect to existing software tools within the continuous-time systems reachability literature, when it is possible to do so.
    Free, publicly-accessible full text available August 29, 2023
  2. Abstract As the Advanced LIGO and Advanced Virgo interferometers, soon to be joined by the KAGRA interferometer, increase their sensitivity, they detect an ever-larger number of gravitational waves with a significant presence of higher multipoles (HMs) in addition to the dominant (2, 2) multipole. These HMs can be detected with different approaches, such as the minimally-modeled burst search methods, and here we discuss one such approach based on the coherent WaveBurst (cWB) pipeline. During the inspiral phase the HMs produce chirps whose instantaneous frequency is a multiple of the dominant (2, 2) multipole, and here we describe how cWB can be used to detect these spectral features. The search is performed within suitable regions of the time-frequency representation; their shape is determined by optimizing the receiver operating characteristics. This novel method has already been used in the GW190814 discovery paper (Abbott et al 2020 Astrophys. J. Lett. 896 L44) and is very fast and flexible. Here we describe in full detail the procedure used to detect the (3, 3) multipole in GW190814 as well as searches for other HMs during the inspiral phase, and apply it to another event that displays HMs, GW190412, replicating the results obtained with different methods. Themore »procedure described here can be used for the fast analysis of HMs and to support the findings obtained with the model-based Bayesian parameter estimates.« less
  3. Abstract The coherent WaveBurst (cWB) pipeline implements a minimally-modelled search to find a coherent response in the network of gravitational wave detectors of the LIGO-Virgo Col-laboration in the time-frequency domain. In this manuscript, we provide a timely introduction to an extension of the cWB analysis to detect spectral features beyond the main quadrupolar emission of gravitational waves during the inspiral phase of compact binary coalescences; more detailed discussion will be provided in a forthcoming paper [1]. The search is performed by defining specific regions in the time-frequency map to extract the energy of harmonics of main quadrupole mode in the inspiral phase. This method has already been used in the GW190814 discovery paper (Astrophys. J. Lett. 896 L44). Here we show the procedure to detect the (3, 3) multipole in GW190814 within the cWB framework.
  4. This paper introduces robustness verification for semantic segmentation neural networks (in short, semantic segmentation networks [SSNs]), building on and extending recent approaches for robustness verification of image classification neural networks. Despite recent progress in developing verification methods for specifications such as local adversarial robustness in deep neural networks (DNNs) in terms of scalability, precision, and applicability to different network architectures, layers, and activation functions, robustness verification of semantic segmentation has not yet been considered. We address this limitation by developing and applying new robustness analysis methods for several segmentation neural network architectures, specifically by addressing reachability analysis of up-sampling layers, such as transposed convolution and dilated convolution. We consider several definitions of robustness for segmentation, such as the percentage of pixels in the output that can be proven robust under different adversarial perturbations, and a robust variant of intersection-over-union (IoU), the typical performance evaluation measure for segmentation tasks. Our approach is based on a new relaxed reachability method, allowing users to select the percentage of a number of linear programming problems (LPs) to solve when constructing the reachable set, through a relaxation factor percentage. The approach is implemented within NNV, then applied and evaluated on segmentation datasets, such as amore »multi-digit variant of MNIST known as M2NIST. Thorough experiments show that by using transposed convolution for up-sampling and average-pooling for down-sampling, combined with minimizing the number of ReLU layers in the SSNs, we can obtain SSNs with not only high accuracy (IoU), but also that are more robust to adversarial attacks and amenable to verification. Additionally, using our new relaxed reachability method, we can significantly reduce the verification time for neural networks whose ReLU layers dominate the total analysis time, even in classification tasks.« less
  5. Free, publicly-accessible full text available September 1, 2023
  6. Free, publicly-accessible full text available August 1, 2023
  7. Free, publicly-accessible full text available August 1, 2023
  8. Free, publicly-accessible full text available June 1, 2023
  9. Abstract Isolated neutron stars that are asymmetric with respect to their spin axis are possible sources of detectable continuous gravitational waves. This paper presents a fully coherent search for such signals from eighteen pulsars in data from LIGO and Virgo’s third observing run (O3). For known pulsars, efficient and sensitive matched-filter searches can be carried out if one assumes the gravitational radiation is phase-locked to the electromagnetic emission. In the search presented here, we relax this assumption and allow both the frequency and the time derivative of the frequency of the gravitational waves to vary in a small range around those inferred from electromagnetic observations. We find no evidence for continuous gravitational waves, and set upper limits on the strain amplitude for each target. These limits are more constraining for seven of the targets than the spin-down limit defined by ascribing all rotational energy loss to gravitational radiation. In an additional search, we look in O3 data for long-duration (hours–months) transient gravitational waves in the aftermath of pulsar glitches for six targets with a total of nine glitches. We report two marginal outliers from this search, but find no clear evidence for such emission either. The resulting duration-dependent strain uppermore »limits do not surpass indirect energy constraints for any of these targets.« less
    Free, publicly-accessible full text available June 1, 2023
  10. Abstract We report the results of the first joint observation of the KAGRA detector with GEO 600. KAGRA is a cryogenic and underground gravitational-wave detector consisting of a laser interferometer with 3 km arms, located in Kamioka, Gifu, Japan. GEO 600 is a British–German laser interferometer with 600 m arms, located near Hannover, Germany. GEO 600 and KAGRA performed a joint observing run from April 7 to 20, 2020. We present the results of the joint analysis of the GEO–KAGRA data for transient gravitational-wave signals, including the coalescence of neutron-star binaries and generic unmodeled transients. We also perform dedicated searches for binary coalescence signals and generic transients associated with gamma-ray burst events observed during the joint run. No gravitational-wave events were identified. We evaluate the minimum detectable amplitude for various types of transient signals and the spacetime volume for which the network is sensitive to binary neutron-star coalescences. We also place lower limits on the distances to the gamma-ray bursts analyzed based on the non-detection of an associated gravitational-wave signal for several signal models, including binary coalescences. These analyses demonstrate the feasibility and utility of KAGRA as a member of the global gravitational-wave detector network.
    Free, publicly-accessible full text available June 1, 2023