1. |
|
|
2. |
- Abarenkov, Kessy, et al.
(författare)
-
Annotating public fungal ITS sequences from the built environment according to the MIxS-Built Environment standard – a report from a May 23-24, 2016 workshop (Gothenburg, Sweden)
- 2016
-
Ingår i: MycoKeys. - : Pensoft Publishers. - 1314-4057 .- 1314-4049. ; 16, s. 1-15
-
Tidskriftsartikel (refereegranskat)abstract
- Recent molecular studies have identified substantial fungal diversity in indoor environments. Fungi and fungal particles have been linked to a range of potentially unwanted effects in the built environment, including asthma, decay of building materials, and food spoilage. The study of the built mycobiome is hampered by a number of constraints, one of which is the poor state of the metadata annotation of fungal DNA sequences from the built environment in public databases. In order to enable precise interrogation of such data – for example, “retrieve all fungal sequences recovered from bathrooms” – a workshop was organized at the University of Gothenburg (May 23-24, 2016) to annotate public fungal barcode (ITS) sequences according to the MIxS-Built Environment annotation standard (http://gensc.org/mixs/). The 36 participants assembled a total of 45,488 data points from the published literature, including the addition of 8,430 instances of countries of collection from a total of 83 countries, 5,801 instances of building types, and 3,876 instances of surface-air contaminants. The results were implemented in the UNITE database for molecular identification of fungi (http://unite.ut.ee) and were shared with other online resources. Data obtained from human/animal pathogenic fungi will furthermore be verified on culture based metadata for subsequent inclusion in the ISHAM-ITS database (http://its.mycologylab.org).
|
|
3. |
|
|
4. |
- Abbasi, R., et al.
(författare)
-
A Search for Coincident Neutrino Emission from Fast Radio Bursts with Seven Years of IceCube Cascade Events
- 2023
-
Ingår i: Astrophysical Journal. - : Institute of Physics (IOP). - 1538-4357 .- 0004-637X. ; 946:2
-
Tidskriftsartikel (refereegranskat)abstract
- This paper presents the results of a search for neutrinos that are spatially and temporally coincident with 22 unique, nonrepeating fast radio bursts (FRBs) and one repeating FRB (FRB 121102). FRBs are a rapidly growing class of Galactic and extragalactic astrophysical objects that are considered a potential source of high-energy neutrinos. The IceCube Neutrino Observatory's previous FRB analyses have solely used track events. This search utilizes seven years of IceCube cascade events which are statistically independent of track events. This event selection allows probing of a longer range of extended timescales due to the low background rate. No statistically significant clustering of neutrinos was observed. Upper limits are set on the time-integrated neutrino flux emitted by FRBs for a range of extended time windows.
|
|
5. |
- Abbasi, R., et al.
(författare)
-
A Search for IceCube Sub-TeV Neutrinos Correlated with Gravitational-wave Events Detected By LIGO/Virgo
- 2023
-
Ingår i: Astrophysical Journal. - : Institute of Physics Publishing (IOPP). - 1538-4357 .- 0004-637X. ; 959:2
-
Tidskriftsartikel (refereegranskat)abstract
- The LIGO/Virgo collaboration published the catalogs GWTC-1, GWTC-2.1, and GWTC-3 containing candidate gravitational-wave (GW) events detected during its runs O1, O2, and O3. These GW events can be possible sites of neutrino emission. In this paper, we present a search for neutrino counterparts of 90 GW candidates using IceCube DeepCore, the low-energy infill array of the IceCube Neutrino Observatory. The search is conducted using an unbinned maximum likelihood method, within a time window of 1000 s, and uses the spatial and timing information from the GW events. The neutrinos used for the search have energies ranging from a few GeV to several tens of TeV. We do not find any significant emission of neutrinos, and place upper limits on the flux and the isotropic-equivalent energy emitted in low-energy neutrinos. We also conduct a binomial test to search for source populations potentially contributing to neutrino emission. We report a nondetection of a significant neutrino-source population with this test.
|
|
6. |
- Abbasi, Rosa, et al.
(författare)
-
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
- 2023
-
Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer Science and Business Media LLC. - 1433-2779 .- 1433-2787. ; 25:2, s. 185-204
-
Tidskriftsartikel (refereegranskat)abstract
- Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive to reason about due to rounding as well as the presence of the special values infinity and ‘Not a Number’ (NaN). In this article, we present the first floating-point support in a deductive verification tool for the Java programming language. Our support in the KeY verifier handles floating-point arithmetics, transcendental functions, and potentially rounding-type casts. We achieve this with a combination of delegation to external SMT solvers on the one hand, and KeY-internal, rule-based reasoning on the other hand, exploiting the complementary strengths of both worlds. We evaluate this integration on new benchmarks and show that this approach is powerful enough to prove the absence of floating-point special values—often a prerequisite for correct programs—as well as functional properties, for realistic benchmarks.
|
|
7. |
- Abbasi, R., et al.
(författare)
-
IceCat-1: The IceCube Event Catalog of Alert Tracks
- 2023
-
Ingår i: Astrophysical Journal, Supplement Series. - : IOP Publishing Ltd. - 1538-4365 .- 0067-0049. ; 269:1
-
Tidskriftsartikel (refereegranskat)abstract
- We present a catalog of likely astrophysical neutrino track-like events from the IceCube Neutrino Observatory. IceCube began reporting likely astrophysical neutrinos in 2016, and this system was updated in 2019. The catalog presented here includes events that were reported in real time since 2019, as well as events identified in archival data samples starting from 2011. We report 275 neutrino events from two selection channels as the first entries in the catalog, the IceCube Event Catalog of Alert Tracks, which will see ongoing extensions with additional alerts. The Gold and Bronze alert channels respectively provide neutrino candidates with a 50% and 30% probability of being astrophysical, on average assuming an astrophysical neutrino power-law energy spectral index of 2.19. For each neutrino alert, we provide the reconstructed energy, direction, false-alarm rate, probability of being astrophysical in origin, and likelihood contours describing the spatial uncertainty in the alert's reconstructed location. We also investigate a directional correlation of these neutrino events with gamma-ray and X-ray catalogs, including 4FGL, 3HWC, TeVCat, and Swift-BAT.
|
|
8. |
- Abbasi, R., et al.
(författare)
-
Limits on Neutrino Emission from GRB 221009A from MeV to PeV Using the IceCube Neutrino Observatory
- 2023
-
Ingår i: Astrophysical Journal Letters. - : American Astronomical Society. - 2041-8213 .- 2041-8205. ; 946:1
-
Tidskriftsartikel (refereegranskat)abstract
- Gamma-ray bursts (GRBs) have long been considered a possible source of high-energy neutrinos. While no correlations have yet been detected between high-energy neutrinos and GRBs, the recent observation of GRB 221009A-the brightest GRB observed by Fermi-GBM to date and the first one to be observed above an energy of 10 TeV-provides a unique opportunity to test for hadronic emission. In this paper, we leverage the wide energy range of the IceCube Neutrino Observatory to search for neutrinos from GRB 221009A. We find no significant deviation from background expectation across event samples ranging from MeV to PeV energies, placing stringent upper limits on the neutrino emission from this source.
|
|
9. |
- Abbasi, R., et al.
(författare)
-
Observation of seasonal variations of the flux of high-energy atmospheric neutrinos with IceCube
- 2023
-
Ingår i: European Physical Journal C. - : Springer. - 1434-6044 .- 1434-6052. ; 83:9
-
Tidskriftsartikel (refereegranskat)abstract
- Atmospheric muon neutrinos are produced by meson decays in cosmic-ray-induced air showers. The flux depends on meteorological quantities such as the air temperature, which affects the density of air. Competition between decay and re-interaction of those mesons in the first particle production generations gives rise to a higher neutrino flux when the air density in the stratosphere is lower, corresponding to a higher temperature. A measurement of a temperature dependence of the atmospheric νμ flux provides a novel method for constraining hadronic interaction models of air showers. It is particularly sensitive to the production of kaons. Studying this temperature dependence for the first time requires a large sample of high-energy neutrinos as well as a detailed understanding of atmospheric properties. We report the significant (>10σ) observation of a correlation between the rate of more than 260,000 neutrinos, detected by IceCube between 2012 and 2018, and atmospheric temperatures of the stratosphere, measured by the Atmospheric Infrared Sounder (AIRS) instrument aboard NASA’s AQUA satellite. For the observed 10 % seasonal change of effective atmospheric temperature we measure a 3.5(3) % change in the muon neutrino flux. This observed correlation deviates by about 2-3 standard deviations from the expected correlation of 4.3 % as obtained from theoretical predictions under the assumption of various hadronic interaction models.
|
|
10. |
- Abbasi, R., et al.
(författare)
-
Search for 10-1000 GeV Neutrinos from Gamma-Ray Bursts with IceCube
- 2024
-
Ingår i: Astrophysical Journal. - : Institute of Physics (IOP). - 1538-4357 .- 0004-637X. ; 964:2
-
Tidskriftsartikel (refereegranskat)abstract
- We present the results of a search for 10-1000 GeV neutrinos from 2268 gamma-ray bursts (GRBs) over 8 yr of IceCube-DeepCore data. This work probes burst physics below the photosphere where electromagnetic radiation cannot escape. Neutrinos of tens of giga electronvolts are predicted in sub-photospheric collision of free-streaming neutrons with bulk-jet protons. In a first analysis, we searched for the most significant neutrino-GRB coincidence using six overlapping time windows centered on the prompt phase of each GRB. In a second analysis, we conducted a search for a group of GRBs, each individually too weak to be detectable, but potentially significant when combined. No evidence of neutrino emission is found for either analysis. The most significant neutrino coincidence is for Fermi-GBM GRB bn 140807500, with a p-value of 0.097 corrected for all trials. The binomial test used to search for a group of GRBs had a p-value of 0.65 after all trial corrections. The binomial test found a group consisting only of GRB bn 140807500 and no additional GRBs. The neutrino limits of this work complement those obtained by IceCube at tera electronvolt to peta electronvolt energies. We compare our findings for the large set of GRBs as well as GRB 221009A to the sub-photospheric neutron-proton collision model and find that GRB 221009A provides the most constraining limit on baryon loading. For a jet Lorentz factor of 300 (800), the baryon loading on GRB 221009A is lower than 3.85 (2.13) at a 90% confidence level.
|
|