For a d-ary Boolean function Φ: {0, 1}^d → {0, 1} and an assignment to its variables x = (x₁, x₂, . . . , x_d) we consider the problem of finding those subsets of the variables that are sufficient to determine the function value with a given probability δ. This is motivated by the task of interpreting predictions of binary classifiers described as Boolean ...

This paper presents for the first time results on winds, tides, gradients of horizontal winds, and momentum fluxes at mesosphere and lower thermosphere altitudes over southern Patagonia, one of the most dynamically active regions in the world. For this purpose, measurements provided by SIMONe Argentina are investigated. SIMONe Argentina is a novel multistatic specular meteor radar system ...

Segmenting subcellular structures in living cells from fluorescence microscope images is a ground truth (GT)-deficient problem. The microscopes’ three-dimensional blurring function, finite optical resolution due to light diffraction, finite pixel resolution and the complex morphological manifestations of the structures all contribute to GT-hardness. Unsupervised segmentation approaches are quite ...

This study describes a method for extracting the stride parameter ground contact time (GCT) from inertial sensor signals in sprinting. Five elite athletes were equipped with inertial measurement units (IMU) on their ankles and performed 34 maximum 50 and 100-m sprints. The GCT of each step was estimated based on features of the recorded IMU signals. Additionally, a photo-electric measurement ...

The class of autoregressive (AR) processes is extensively used to model temporal dependence in observed time series. Such models are easily available and routinely fitted using freely available statistical software like R. A potential problem is that commonly applied estimators for the coefficients of AR processes are severely biased when the time series are short. This paper studies the ...

Methods based on convolutional neural networks have improved the performance of biomedical image segmentation. However, most of these methods cannot efficiently segment objects of variable sizes and train on small and biased datasets, which are common for biomedical use cases. While methods exist that incorporate multi-scale fusion approaches to address the challenges arising with variable ...

Atmospheric pollution has many profound effects on human health, ecosystems, and the climate. Of concern are high concentrations and deposition of reactive nitrogen (N_r) species, especially of reduced N (gaseous NH₃, particulate NH₄ ⁺). Atmospheric chemistry and transport models (ACTMs) are crucial to understanding sources and impacts of N_r ...

Localization of molecular orbitals finds its importance in the representation of chemical bonding (and antibonding) and in the local correlation treatments beyond mean-field approximation. In this paper, we generalize the intrinsic atomic and bonding orbitals [G. Knizia, J. Chem. Theory Comput. 2013, 9, 11, 4834–4843] to relativistic applications using complex and quaternion spinors, as well as to ...

In this paper, we report reimplementation of the core algorithms of relativistic coupled cluster theory aimed at modern heterogeneous high-performance computational infrastructures. The code is designed for parallel execution on many compute nodes with optional GPU coprocessing, accomplished via the new ExaTENSOR back end. The resulting ExaCorr module is primarily intended for calculations of molecules ...

By combining an ocean model, a nutrient-phytoplankton-zooplankton-detritus-model and an individual-based model for early life stages of Northeast Arctic cod we systematically investigate food limitations and growth performance for individual cod larvae drifting along the Norwegian coast from spawning grounds toward nursery areas in the Barents Sea. We hypothesize that there is food shortage for ...