A functional tool for fuzzy first order logic evaluation

In this paper we present an automatic evaluation tool for fuzzy first order logic formulae. Since different logics can be considered, we allow for such formulae the appearance of syntactic modifiers, in such a way that our tool is designed not only to evaluate formulae in existing logic, but also to evaluate properties in any other logic framework given by the user. Such generalization is performed using Haskell, a functional programming language

Search for intermediate mass black hole binaries in the first observing run of Advanced LIGO

During their first observational run, the two Advanced LIGO detectors attained an unprecedented sensitivity, resulting in the first direct detections of gravitational-wave signals produced by stellar-mass binary black hole systems. This paper reports on an all-sky search for gravitational waves (GWs) from merging intermediate mass black hole binaries (IMBHBs). The combined results from two independent search techniques were used in this study: the first employs a matched-filter algorithm that uses a bank of filters covering the GW signal parameter space, while the second is a generic search for GW transients (bursts). No GWs from IMBHBs were detected; therefore, we constrain the rate of several classes of IMBHB mergers. The most stringent limit is obtained for black holes of individual mass 100 M ⊙, with spins aligned with the binary orbital angular momentum. For such systems, the merger rate is constrained to be less than 0.93 Gpc−3yr−1 in comoving units at the 90% confidence level, an improvement of nearly 2 orders of magnitude over previous upper limits

First low-frequency Einstein@Home all-sky search for continuous gravitational waves in Advanced LIGO data

We report results of a deep all-sky search for periodic gravitational waves from isolated neutron stars in data from the first Advanced LIGO observing run. This search investigates the low frequency range of Advanced LIGO data, between 20 and 100 Hz, much of which was not explored in initial LIGO. The search was made possible by the computing power provided by the volunteers of the Einstein@Home project. We find no significant signal candidate and set the most stringent upper limits to date on the amplitude of gravitational wave signals from the target population, corresponding to a sensitivity depth of 48.7 [1/root Hz]. At the frequency of best strain sensitivity, near 100 Hz, we set 90% confidence upper limits of 1.8 x 10(-25). At the low end of our frequency range, 20 Hz, we achieve upper limits of 3.9 x 10(-24). At 55 Hz we can exclude sources with ellipticities greater than 10(-5) within 100 pc of Earth with fiducial value of the principal moment of inertia of 10(38) kg m(2)

A logical approach to the verification of functional-logic

program

All-sky search for periodic gravitational waves in the O1 LIGO data

We report on an all-sky search for periodic gravitational waves in the frequency band 20-475 Hz and with a frequency time derivative in the range of [-1.0, +0.1]e-8 Hz/s. Such a signal could be produced by a nearby spinning and slightly non-axisymmetric isolated neutron star in our galaxy. This search uses the data from Advanced LIGO's first observational run, O1. No periodic gravitational wave signals were observed, and upper limits were placed on their strengths. The lowest upper limits on worst-case (linearly polarized) strain amplitude h0 are 4e-25 near 170 Hz. For a circularly polarized source (most favorable orientation), the smallest upper limits obtained are 1.5e-25. These upper limits refer to all sky locations and the entire range of frequency derivative values. For a population-averaged ensemble of sky locations and stellar orientations, the lowest upper limits obtained for the strain amplitude are 2.5e-25.by Anand Sengupta et al.