Miracle-dz/UniFAR-FTUs huggingface dataset:
NeuroHeed: Neuro-Steered Speaker Extraction using EEG Signals

Humans possess the remarkable ability to selectively attend to a single speaker amidst competing voices and background noise, known as selective auditory attention. Recent studies in auditory neuroscience indicate a strong correlation between the attended speech signal and the corresponding brain's elicited neuronal activities, which the latter can be measured using affordable and non-intrusive electroencephalography (EEG) devices. In this study, we present NeuroHeed, a speaker extraction model that leverages EEG signals to establish a neuronal attractor which is temporally associated with the speech stimulus, facilitating the extraction of the attended speech signal in a cocktail party scenario. We propose both an offline and an online NeuroHeed, with the latter designed for real-time inference. In the online NeuroHeed, we additionally propose an autoregressive speaker encoder, which accumulates past extracted speech signals for self-enrollment of the attended speaker information into an auditory attractor, that retains the attentional momentum over time. Online NeuroHeed extracts the current window of the speech signals with guidance from both attractors. Experimental results demonstrate that NeuroHeed effectively extracts brain-attended speech signals, achieving high signal quality, excellent perceptual quality, and intelligibility in a two-speaker scenario.
Multimessenger search for electrophilic feebly interacting particles from supernovae

We study MeV-scale electrophilic Feebly Interacting Particles (FIPs), that may be abundantly produced in Supernova (SN) explosions, escape the star and decay into electrons and positrons. This exotic injection of leptons in the Milky Way leaves an imprint in both photon and cosmic-ray fluxes. Specifically, positrons lose energy and annihilate almost at rest with background electrons, producing photons with $511$ keV energy. In addition, electrons and positrons radiate photons through bremsstrahlung emission and upscatter the low-energy galactic photon fields via the inverse Compton process generating a broad emission from X-ray to $\gamma$-ray energies. Finally, electrons and positrons are directly observable in cosmic ray experiments. In order to describe the FIP-induced lepton injection in full generality, we use a model independent parametrization which can be applied to a host of FIPs such as axion-like particles, dark photons and sterile neutrinos. Theoretical predictions are compared to experimental data to robustly constrain FIP-electron interactions with an innovative multimessenger analysis.
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Fueled by the success of Rust, many programming languages are adding substructural features to their type systems. The promise of tracking properties such as lifetimes and sharing is tremendous, not just for low-level memory management, but also for controlling higher-level resources and capabilities. But so are the difficulties in adapting successful techniques from Rust to higher-level languages, where they need to interact with other advanced features, especially various flavors of functional and type-level abstraction. What would it take to bring full-fidelity reasoning about lifetimes and sharing to mainstream languages? Reachability types are a recent proposal that has shown promise in scaling to higher-order but monomorphic settings, tracking aliasing and separation on top of a substrate inspired by separation logic. However, naive extensions on top of the prior reachability type system λ* with type polymorphism and/or precise reachability polymorphism are unsound, making λ* unsuitable for adoption in real languages. Combining reachability and type polymorphism that is precise, sound, and parametric remains an open challenge. This paper presents a rethinking of the design of reachability tracking and proposes new polymorphic reachability type systems. We introduce a new freshness qualifier to indicate variables whose reachability sets may grow during evaluation steps. The new system tracks variables reachable in a single step and computes transitive closures only when necessary, thus preserving chains of reachability over known variables that can be refined using substitution. These ideas yield the simply-typed λ✦-calculus with precise lightweight, i.e., quantifier-free, reachability polymorphism, and the F<:✦-calculus with bounded parametric polymorphism over types and reachability qualifiers, paving the way for making true tracking of lifetimes and sharing practical for mainstream languages. We prove type soundness and the preservation of separation property in Coq. We discuss various applications (e.g., safe capability programming), possible effect system extensions, and compare our system with Scala’s capture types.
Polarization-interference Jones-matrix mapping of biological crystal networks

The paper consists of two parts. The first part presents short theoretical basics of the method of Jones-matrix mapping with the help of reference wave. It was provided experimentally measured coordinate distributions of modulus of Jones-matrix elements of polycrystalline film of bile. It was defined the values and ranges of changing of statistic moments, which characterize such distributions. The second part presents the data of statistic analysis of the distributions of matrix elements of polycrystalline film of urine of donors and patients with albuminuria. It was defined the objective criteria of differentiation of albuminuria.
Near-wall depletion and layering affect contact line friction of multicomponent liquids

The main causes of energy dissipation in micro- and nano-scale wetting are viscosity and liquid-solid friction localized in the three-phase contact line region. Theoretical models predict the contactline friction coefficient to correlate with the shear viscosity of the wetting fluid. Experiments conducted to investigate such correlation have not singled out a unique scaling law between the two coefficients. We perform Molecular Dynamics simulations of liquid water-glycerol droplets wetting silica-like surfaces, aimed to demystify the effect of viscosity on contact line friction. The viscosity of the fluid is tuned by changing the relative mass fraction of glycerol in the mixture and it is estimated both via equilibrium and non-equilibrium Molecular Dynamics simulations. Contact line friction is measured directly by inspecting the velocity of the moving contact line and the microscopic contact angle. It is found that the scaling between contact line friction and viscosity is sub-linear, contrary to the prediction of Molecular Kinetic Theory. The disagreement is explained by accounting for the depletion of glycerol in the near-wall region. A correction is proposed, based on multicomponent Molecular Kinetic Theory and the definition of a re-scaled interfacial friction coefficient.
Distributed Filtering Design with Enhanced Resilience to Coordinated Byzantine Attacks

This paper proposes a Byzantine-resilient consensus-based distributed filter (BR-CDF) wherein network agents employ partial sharing of state parameters. We characterize the performance and convergence of the BR-CDF and study the impact of a coordinated data falsification attack. Our analysis shows that sharing merely a fraction of the states improves robustness against coordinated Byzantine attacks. In addition, we model the optimal attack strategy as an optimization problem where Byzantine agents design their attack covariance or the sequence of shared fractions to maximize the network-wide mean squared error (MSE). Numerical results demonstrate the accuracy of the proposed BR-CDF and its robustness against Byzantine attacks. Furthermore, the simulation results show that the influence of the covariance design is more pronounced when agents exchange larger portions of their states with neighbors. In contrast, the performance is more sensitive to the sequence of shared fractions when smaller portions are exchanged.
Optimality conditions for the simple convex bilevel programming problem in Banach spaces

Abstract The simple convex bilevel programming problem is a convex minimization problem whose feasible set is the solution set of another convex optimization problem. Such problems appear frequently when searching for the projection of a certain point onto the solution set of another program. Due to the nature of the problem, Slater’s constraint qualification generally fails to hold at any feasible point. Hence, one has to formulate weaker constraint qualifications or stationarity notions in order to state optimality conditions. In this paper, we use two different single-level reformulations of the problem, the optimal value and the Karush–Kuhn–Tucker approach, to derive optimality conditions for the original program. Since all these considerations are carried out in Banach spaces, the results are not limited to standard optimization problems in . On the road, we introduce and discuss a certain concept of M-stationarity for mathematical programs with complementarity constraints in Banach spaces.
Perceptual Quality Enhancement of Sound Field Synthesis Based on Combination of Pressure and Amplitude Matching

A sound field synthesis method enhancing perceptual quality is proposed. Sound field synthesis using multiple loudspeakers enables spatial audio reproduction with a broad listening area; however, synthesis errors at high frequencies called spatial aliasing artifacts are unavoidable. To minimize these artifacts, we propose a method based on the combination of pressure and amplitude matching. On the basis of the human’s auditory properties, synthesizing the amplitude distribution will be sufficient for horizontal sound localization. Furthermore, a flat amplitude response should be synthesized as much as possible to avoid coloration. Therefore, we apply amplitude matching, which is a method to synthesize the desired amplitude distribution with arbitrary phase distribution, for high frequencies and conventional pressure matching for low frequencies. Experimental results of numerical simulations and listening tests using a practical system indicated that the perceptual quality of the sound field synthesized by the proposed method was improved from that synthesized by pressure matching.
LOIS: Looking Out of Instance Semantics for Visual Question Answering

Visual question answering (VQA) has been intensively studied as a multimodal task that requires effort in bridging vision and language to infer answers correctly. Recent attempts have developed various attention-based modules for solving VQA tasks. However, the performance of model inference is largely bottlenecked by visual processing for semantics understanding. Most existing detection methods rely on bounding boxes, remaining a serious challenge for VQA models to understand the causal nexus of object semantics in images and correctly infer contextual information. To this end, we propose a finer model framework without bounding boxes in this work, termed Looking Out of Instance Semantics (LOIS) to tackle this important issue. LOIS enables more fine-grained feature descriptions to produce visual facts. Furthermore, to overcome the label ambiguity caused by instance masks, two types of relation attention modules: 1) intra-modality and 2) inter-modality, are devised to infer the correct answers from the different multi-view features. Specifically, we implement a mutual relation attention module to model sophisticated and deeper visual semantic relations between instance objects and background information. In addition, our proposed attention model can further analyze salient image regions by focusing on important word-related questions. Experimental results on four benchmark VQA datasets prove that our proposed method has favorable performance in improving visual reasoning capability.
Quantum Painlev\'e II Lax Pair and Quantum (Matrix) Analogues of Classical Painlev\'e II equation

In this article, we present a new quantum Painlev\'e II Lax pair which explicitly involves the Planck constant $ \hbar $ and an arbitrary field variable $v$ so these two objects make this new pair different from Flaschka-Newell Painlev\'e II Lax pair and that pair appears as particular case of our's pair which consolidates the Painlev\'e II equation from quantum mechanical point of view. It is shown that the compatibility of quantum Painlev\'e II Lax pair simultaneously yields a quantum Painlev\'e II equation and a quantum commutation relation between field variable $v $ and independent variable $z$. We manifest that with the different choices of arbitrary field variable system reduces to its classical version, matrix Painlev\'e II equation and derivative matrix Painlev\'e II equation. Further, we construct the gauge equivalence of quantum Painlev\'e II Lax pair whose compatibility condition gives rise to quantum p34 equation that involves $\hbar $ with power $+1$ which makes our system more quantized as compared to the existed one that carries $\hbar $ with power $+2$.
Powered Upper Limb Orthosis Actuation System Based on Pneumatic Artificial Muscles

Abstract The actuation system of a powered upper limb orthosis is studied in the work. To create natural safety in the mutual “man-robot” interaction, an actuation system based on pneumatic artificial muscles (PAM) is selected. Experimentally obtained force/contraction diagrams for bundles, consisting of different number of muscles are shown in the paper. The pooling force and the stiffness of the pneumatic actuators is assessed as a function of the number of muscles in the bundle and the supply pressure. Joint motion and torque is achieved by antagonistic actions through pulleys, driven by bundles of pneumatic muscles. Joint stiffness and joint torques are determined on condition of a power balance, as a function of the joint position, pressure, number of muscles and muscles
Domain Disentanglement with Interpolative Data Augmentation for Dual-Target Cross-Domain Recommendation

The conventional single-target Cross-Domain Recommendation (CDR) aims to improve the recommendation performance on a sparser target domain by transferring the knowledge from a source domain that contains relatively richer information. By contrast, in recent years, dual-target CDR has been proposed to improve the recommendation performance on both domains simultaneously. However, to this end, there are two challenges in dual-target CDR: (1) how to generate both relevant and diverse augmented user representations, and (2) how to effectively decouple domain-independent information from domain-specific information, in addition to domain-shared information, to capture comprehensive user preferences. To address the above two challenges, we propose a Disentanglement-based framework with Interpolative Data Augmentation for dual-target Cross-Domain Recommendation, called DIDA-CDR. In DIDA-CDR, we first propose an interpolative data augmentation approach to generating both relevant and diverse augmented user representations to augment sparser domain and explore potential user preferences. We then propose a disentanglement module to effectively decouple domain-specific and domain-independent information to capture comprehensive user preferences. Both steps significantly contribute to capturing more comprehensive user preferences, thereby improving the recommendation performance on each domain. Extensive experiments conducted on five real-world datasets show the significant superiority of DIDA-CDR over the state-of-the-art methods.
Aspects of Everpresent $\Lambda$ (II): Cosmological Tests of Current Models

This paper investigates Everpresent $\Lambda$, a stochastic dark energy model motivated by causal set theory and unimodular gravity, and confronts it with two key observational data sets, Supernova Ia (SN Ia) and Cosmic Microwave Background (CMB) data. A key feature of this model is that $\Lambda$ fluctuates over time and on average the magnitude of its fluctuations is of the order of the dominant energy density (be it radiation or matter) for the given epoch. In particular, we focus on a phenomenological implementation of Everpresent $\Lambda$ known as Model 1. The random fluctuations in Everpresent $\Lambda$ realizations are generated using seed numbers, and we find that for a small fraction of seeds Model 1 is capable of producing realizations that fit SN Ia data better than $\Lambda$CDM. We further investigate what features distinguish these realizations from the more general behaviour, and find that the"good'' realizations have relatively small fluctuations at low redshifts ($z<1.5$), which do not closely track the matter density. We find that Model 1 struggles to improve on $\Lambda$CDM at describing the CMB data. However, by suppressing the values of $\Lambda$ near the last scattering surface, as suggested in arXiv:1703.06265, we find a large improvement in the best fit of the model, though still with a $\chi^2$ value much larger than that of $\Lambda$CDM. We also study the allowed variation of the dark energy density by the CMB constraints in a more model-independent manner, and find that some variation (especially prior to recombination) is possible and in fact can lead to improvement over $\Lambda$CDM and reduce the Hubble tension, in line with some early dark energy proposals. However, for the kinds of variations considered, the favoured fluctuations are smaller in magnitude than is typical in current Everpresent $\Lambda$ models.
Experimental validation of the Newton observer for a nonlinear flux-controlled AMB system operated with zero-bias flux

ABSTRACT The paper presents the results of experimental validation of the Newton observer for estimation of the magnetic flux within the feedback control of a nonlinear active magnetic bearing (AMB) system. In the preliminary work the Newton observer was adapted for the exact discrete-time model of the simplified one-degree-of-freedom AMB system, operated with zero-bias flux and under the voltage switching strategy, and showed good results in case of numerical simulations. The objective of this paper is to confirm these results on the basis of experimentation. The experiments were conducted on the AMB test rig, developed and manufactured at Bialystok University of Technology.
Exploring the Lottery Ticket Hypothesis with Explainability Methods: Insights into Sparse Network Performance

Discovering a high-performing sparse network within a massive neural network is advantageous for deploying them on devices with limited storage, such as mobile phones. Additionally, model explainability is essential to fostering trust in AI. The Lottery Ticket Hypothesis (LTH) finds a network within a deep network with comparable or superior performance to the original model. However, limited study has been conducted on the success or failure of LTH in terms of explainability. In this work, we examine why the performance of the pruned networks gradually increases or decreases. Using Grad-CAM and Post-hoc concept bottleneck models (PCBMs), respectively, we investigate the explainability of pruned networks in terms of pixels and high-level concepts. We perform extensive experiments across vision and medical imaging datasets. As more weights are pruned, the performance of the network degrades. The discovered concepts and pixels from the pruned networks are inconsistent with the original network -- a possible reason for the drop in performance.
Piezo-resistive pressure sensor based on CVD-grown ZnO nanowires on Polyethylene Tetrathalate substrate

Recent developments in the domain of electronic materials and devices have attracted the interest of researchers toward flexible and printable electronic components like organic transistors, printable electrodes and sensors. Zinc Oxide (ZnO) nanowires (NWs) possess a number of excellent properties like high mobility, large exciton binding energy and the direct-band gap in addition to large piezoelectric coefficients. Here, we report on flexible piezo-resistive sensor based on Indium tin oxide (ITO)-coated Polyethylene tetrathalate (PET) substrate. The device shows sensitivity in terms of change in resistance from 100 {\Omega} to 2.4 K{\Omega} at an applied potential of 5V upon bending from flat to 95 degrees. The 1-D nanowire flexible device in its flat state shows saturated output current. We observed ten folds enhanced variation as compared to previous reports. Improved sensitivity was observed in our experiments due to fewer defects in CVD-grown NWs as compared to others where hydrothermally grown nanowires were used. The methodology of device fabrication reported here requires less time and enables efficient devices for the realization of flexible and wearable technology.
Bootstrapping multi-wound twist effects in symmetric orbifold CFTs

We investigate the effects of the twist-2 operator in 2D symmetric orbifold CFTs. The twist operator can join together a twist-$M$ state and a twist-$N$ state, creating a twist-$(M+N)$ state. This process involves three effects: pair creation, propagation, and contraction. We study these effects by using a Bogoliubov ansatz and conformal symmetry. In this multi-wound scenario, pair creation no longer decouples from propagation, in contrast to the previous study where $M=N=1$. We derive equations for these effects, which organize themselves into recursion relations and constraints. Using the recursion relations, we can determine the infinite number of coefficients in the effects through a finite number of inputs. Moreover, the number of required inputs can be further reduced by applying constraints.
The timeless timing argument and the total mass of the local group

The Timing Argument connects the motion of a two-body system to its mass in an expanding Universe with a finite age, under the assumption that it has evolved on a self-gravitating orbit. It is commonly applied to the present-day Milky Way-M31 system in order to infer its unknown mass from the measured kinematics. We use a set of Local Group analogues from the Uchuu simulation to investigate the Timing Argument over cosmic time. We find that the median inferred mass remains almost constant over the past 12 Gyr, even while the haloes themselves grew in mass by more than an order of magnitude. By contrast, we find a closer, and nearly time-invariant agreement between the Timing Argument value and the mass within a sphere of radius equal to the MW-M31 separation, and we identify this as the total mass of the system. We conclude that the comparatively close present-day agreement between the Timing Argument and the sum of the halo masses reflects no underlying relation, but merely echoes the fact that the MW and M31 now contain most (but not all) of the mass of the Local Group system.