Statistical CSI Based Transmission Design for Reconfigurable Intelligent Surface aided Massive MIMO Systems with Hardware Impairments

We consider a reconfigurable intelligent surface (RIS) communication system with hardware impairments (HWIs) and RIS phase noise . Different from the existing contributions, the phase shifts of the RIS are designed based on the long-term angle informations . We show that it iscrucial to take HWIs into account when designing the phase shift of RIS .…

The springback penalty for robust signal recovery

We propose a new penalty for constructing models to recover an unknown signal from incomplete and inaccuratemeasurements . Mathematically, the springback penalty is a weakly convexfunction . It bears various theoretical and computational advantages of both the benchmark convex $ell_1 penalty and many of its non-convex surrogatesthat have been well studied in the literature .…

The Impact of Spatiotemporal Augmentations on Self Supervised Audiovisual Representation Learning

The type and strength of augmentations utilized during self-supervisedpre-training play a crucial role for contrastive frameworks to worksufficiently . We find lossyspatio-temporal transformations that do not corrupt the temporal coherency ofvideos are the most effective . We show that the effectiveness of these transformations scales with higher temporal resolution and strongertransformation intensity .…

Singer separation for karaoke content generation

This is the first singer-separation work for real-world karaoke applications . Our singer separation is mostsuitable for sentimental ballads and can be directly applied to karoke contentgeneration . We introduce threemodels for the singer separation task and designed an automatic model selectionscheme to distinguish how many lead singers are in the song.…

Refcat The Internet Archive Scholar Citation Graph

The first version of the graph consists of over 1.3B citations . It is composed of data gathered by the fatcat cataloging project (the catalog that underpins IA Scholar) and related web-scale crawls targeting primary and secondary scholarly output . The source code for the derivation process, including exact and fuzzy citation matching, is released under an MIT license .…

Transformers for EEG Emotion Recognition

Electroencephalogram (EEG) can objectively reflect emotional state andchanges . But transmission mechanism of EEG in the brain and its relationship with emotion are still ambiguous to human beings . New method, named EEG emotion Transformer (EeT), adapts theconventional Transformer architecture to EEG signals by enabling spatiospectralfeature learning directly from sequences of EEG signals .…

Intelligent Players in a Fictitious Play Framework

Fictitious play is a popular learning algorithm in which players that utilizethe history of actions played by the players and knowledge of their own payoff matrix converge to the Nash equilibrium . We show that by not conforming to fictitious play, such a player can achieve a better payoff than the one at the Nash Equilibrium .…

Dynamic Conflict Resolution of IoT Services in Smart Homes

We propose a novel conflict resolution framework for IoT services in multi-resident smart homes . The proposed framework employs a preferenceextraction model based on a temporal proximity strategy . We design a preferenceaggregation model using a matrix factorization-based approach . The concepts of current resident item matrix and idealresident item matrix are introduced as key criteria to cater to the conflictresolution framework .…

A Cross Platform Benchmark for Interval Computation Libraries

Interval computation widely used to certify computations that use floatingpoint operations to avoid pitfalls related to rounding error introduced byinaccurate operations . Despite its popularity and practical benefits, supportfor interval arithmetic is not standardized nor available in mainstamprogramming languages . We propose the first benchmark for intervalcomputations, coupled with reference solutions computed with exact arithmetic,and compare popular C and C++ libraries over different architectures, operatingsystems, and compilers .…

Spatially constrained direction dependent calibration

Direction dependent calibration of widefield radio interferometers estimatestesthe systematic errors along multiple directions in the sky . This is necessarybecause with most systematic errors that are caused by effects such as theionosphere or the receiver beam shape, there is significant spatial variation .…

Top 3 in FG 2021 Families In the Wild Kinship Verification Challenge

Kinship verification is the task of determining whether a parent-child,sibling, or grandparent-grandchild relationship exists between two people . It is important in social media applications, forensic investigations, findingmissing children, and reuniting families . We demonstrate high quality kinshipverification by participating in the FG 2021 Recognizing Families in the Wildchallenge which provides the largest publicly available dataset in the field .…

An algorithm for a fairer and better voting system

The major finding, of this article, is an ensemble method that aims to solve the problem of finding the best candidate to represent the voters . We have convincing evidence that our algorithm is better than Instant-RunoffVoting, Preferential Block Voting, Single Transferable Vote, and First Past ThePost .…

Reinforcement Learning for Standards Design

Communications standards are designed via committees of humans holding meetings over months or even years until consensus is achieved . We propose a way to “automate” the selection of the set of modulation and coding schemes to be supported over a given air interface .…

The Complexity of Bipartite Gaussian Boson Sampling

Gaussian boson sampling is a model of photonic quantum computing that has attracted attention as a platform for building quantum devices capable of performing tasks that are out of reach for classical devices . We show that, under the standard anti-concentration and Permanent-of-Gaussians conjectures, there is noefficient classical algorithm to sample from ideal Gaussian Boson samplingdistributions (even approximately) unless the polynomial hierarchy collapses .…

An algorithm for a fairer and better voting system

The major finding, of this article, is an ensemble method that aims to solve the problem of finding the best candidate to represent the voters . We have convincing evidence that our algorithm is better than Instant-RunoffVoting, Preferential Block Voting, Single Transferable Vote, and First Past ThePost .…

SDR Medium Rare with Fast Computations

We revisit the widely used bss eval metrics for source separation with an eyeout for performance . We propose a fast algorithm fixing shortcomings of publicly available implementations . We show that the metrics are fullyspecified by the squared cosine of just two angles between estimate and reference subspaces .…

All neural beamformer for continuous speech separation

Continuous speech separation (CSS) aims to separate overlapping voices from acontinuous influx of conversational audio containing an unknown number ofutterances . A common applicationscenario is transcribing a meeting conversation recorded by a microphone array . We further adaptADL-MVDR to the CSS task with several enhancements to enable end-to-end neuralbeamforming .…

Efficient Linearizability Checking for Actor based Systems

DS2 is an integrated framework forspecifying, synthesizing, and testing distributed actor systems . DS2 automatically explores the schedules that system could arrive at, and it compares observed output of the system to what the sequential implementation could have produced . The keyinsight of our approach is that often subcomponents of distributed actorsystems represent common algorithms or data structures that can be validated against a simple sequential model .…

Dynamic Conflict Resolution of IoT Services in Smart Homes

We propose a novel conflict resolution framework for IoT services in multi-resident smart homes . The proposed framework employs a preferenceextraction model based on a temporal proximity strategy . We design a preferenceaggregation model using a matrix factorization-based approach . The concepts of current resident item matrix and idealresident item matrix are introduced as key criteria to cater to the conflictresolution framework .…

A Primer on Near Field Beamforming for Arrays and Reconfigurable Intelligent Surfaces

Wireless communication systems have almost exclusively operated in thefar-field of antennas and antenna arrays . This is naturalsince the Fraunhofer distance is normally only a few wavelengths . With the advent of active arrays and passive reconfigurable intelligent surfaces, it is plausible that the transmitter or receiver is located in between the distance of the individual array/surfaceelements and the distance the entire array is possible .…

A SAT Approach to Twin Width

The graph invariant twin-width was recently introduced by Bonnet, Kim,Thomass\’e, and Watrigan . Problems expressible in first-order logic, which includes many prominent NP-hard problems, are tractable on graphs of bounded twin-width if a certificate is provided as an input . We propose efficient SAT-encodings that rely on a characterization of twin- width based on elimination sequences .…

Provably accurate simulation of gauge theories and bosonic systems

Quantum many-body systems involving bosonic modes or gauge fields haveinfinite-dimensional local Hilbert spaces which must be truncated to perform simulations of real-time dynamics on classical or quantum computers . We show that if states in these models aretruncated by imposing an upper limit on each local quantum number,and if the initial state has low local quantum numbers, then an error at most$\epsilon$ can be achieved by choosing $Lambda$ to scale polylogarithmically with $E-Eigenstates .…

Dual branch Attention In Attention Transformer for single channel speech enhancement

Curriculum learning begins to thrive in the speech enhancement area . We propose a dual-branchattention-in-attention transformer dubbed DB-AIAT to handle both coarse- andfine-grained regions of the spectrum in parallel . DB- AIAT yields state-of-the-art performance (e.g., 3.31 PESQ, 94.7% STOI and 10.79dB SSNR) over previous advanced systems with a relatively small model size (2.81M) The proposal consists ofadaptive temporal-frequency attention transformer blocks and an adaptivehierarchical attention module, aiming to capture long-term temporal frequencydependencies and further aggregate global hierarchical contextual information .…

High throughput Phenotyping of Nematode Cysts

The beet cyst nematode (BCN) Heterodera schachtii is a plant pest responsible for crop loss on a global scale . Here, we introduce a high-throughput systembased on computer vision that allows quantifying BCN infestation andcharacterizing cysts through phenotyping . After recording microscopicimages of soil extracts in a standardized setting, an instance segmentational algorithm serves to detect nematodes in these samples .…

Online Bipartite Matching with Reusable Resources

We study the classic online bipartite matching problem with a twist: offlinenodes are reusable any number of times . Every offline node $i$ becomesavailable $d$ steps after it was assigned to. We give the first approximation factor beating$0.5$ namely a $0.505$ approximation, by adapting and interpreting the powerful technique of Online Correlated Selection .…

Identification of Metallic Objects using Spectral Magnetic Polarizability Tensor Signatures Object Classification

Magnetic polarizability tensor (MPT) offers an economical characterisation of metallic objects . MPT spectral signature can be determined frommeasurements of the induced voltage over a range frequencies in a metalsignature for a hidden object . With classification in mind, it can also becomomomputed in advance for different threat and non-threat objects .…

Safe Driving via Expert Guided Policy Optimization

Expert Guided Policy Optimization (EGPO) integrates the guardian in the loop of reinforcement learning . Theguardian is composed of an expert policy to generate demonstration and a switchfunction to decide when to intervene . ERL enables both exploration and expert’s partial demonstration as two training sources .…

Ego4D Around the World in 3 000 Hours of Egocentric Video

Ego4D offers 3,025 hours of daily-life activity video spanning hundreds of scenarios (household, outdoor, workplace, leisure, etc.) captured by 855 uniquecamera wearers from 74 worldwide locations and 9 different countries . Portions of the video are accompanied by audio, audio, 3D meshes of the environment, eye gaze, stereo, and/or synchronized videos from multiple egocentric cameras at the same event .…

On line feasible wrench polytope evaluation based on human musculoskeletal models an iterative convex hull method

The algorithm is capable of running in real-time and allows the user to define the accuracy of estimation accuracy . The algorithm performance analysis shows that theexecution time has near-linear relationship to the considered number of muscles . Real-time robot control application of the algorithm isdemonstrated in a Collaborative carrying experiment, where a human operator and a Franka Emika Panda robot jointly carry a 7kg object.…

Spectral theory for Maxwell s equations at the interface of a metamaterial Part II Limiting absorption limiting amplitude principles and interface resonance

This paper is concerned with the time-dependent Maxwell’s equations for aplane interface between a negative material described by the Drude model and the vacuum . In a first paper, we have constructed a generalized Fourier transform which diagonalizesthe Hamiltonian that represents the propagation of transverse electric waves .…