May 2022 arXiv papers — page 121

Laura E. Ratcliff, Takayoshi Oshima, Felix Nippert, Benjamin M. Janzen

Ga$_2$O$_3$ and its polymorphs are attracting increasing attention. The rich structural space of polymorphic oxide systems such as Ga$_2$O$_3$ offers potential for electronic structure engineering, which is of particular interest for a range of applications, such as power electronics. $γ$-Ga$_2$O$_3$ presents a particular challenge across synthesis, characte

M. Giacomin, P. Ricci

Two-fluid, three-dimensional, flux-driven, global, electromagnetic turbulence simulations carried out by using the GBS code are used to identify the main parameters controlling turbulent transport in the tokamak boundary and to delineate an electromagnetic phase space of edge turbulence. Four turbulent transport regimes are identified: (i) a regime of fully

Kara E. Rudolph, Ivan Diaz

Natural direct and indirect effects are mediational estimands that decompose the average treatment effect and describe how outcomes would be affected by contrasting levels of a treatment through changes induced in mediator values (in the case of the indirect effect) or not through induced changes in the mediator values (in the case of the direct effect). Nat

Dohyun Kim, Prasoon Patidar, Han Zhang, Abhijith Anilkumar

The rapid increase in the adoption of Internet-of-Things (IoT) devices raises critical privacy concerns as these devices can access a variety of sensitive data. The current status quo of relying on manufacturers' cloud services to process this data is especially problematic since users cede control once their data leaves their home. Multiple recent incid

Rabindra Nath Nandi, Firoj Alam, Preslav Nakov

The spread of fake news, propaganda, misinformation, disinformation, and harmful content online raised concerns among social media platforms, government agencies, policymakers, and society as a whole. This is because such harmful or abusive content leads to several consequences to people such as physical, emotional, relational, and financial. Among different

Rabindra Nath Nandi, Firoj Alam, Preslav Nakov

Harmful or abusive online content has been increasing over time, raising concerns for social media platforms, government agencies, and policymakers. Such harmful or abusive content can have major negative impact on society, e.g., cyberbullying can lead to suicides, rumors about COVID-19 can cause vaccine hesitance, promotion of fake cures for COVID-19 can ca

Harry Metrebian

A proper vertex-colouring of a simple graph $G$ is said to be odd if, for every non-isolated vertex $v$ of $G$, some colour appears an odd number of times in the neighbourhood of $v$. We show that if $G$ embeds in the torus, then it admits a proper odd vertex-colouring with at most $9$ colours.

Alina Kononov, Cheng-Wei Lee, Tatiane Pereira dos Santos, Brian Robinson

Due to a beneficial balance of computational cost and accuracy, real-time time-dependent density functional theory has emerged as a promising first-principles framework to describe electron real-time dynamics. Here we discuss recent implementations around this approach, in particular in the context of complex, extended systems. Results include an analysis of

Eleonora Raimondo, Elias Saugar, Joseph Barker, Davi Rodrigues

The static and dynamic properties of skyrmions have recently received increased attention due to the potential application of skyrmions as information carriers and for unconventional computing. While the current-driven dynamics has been explored deeply, both theoretically and experimentally, the theory of temperature gradient-induced dynamics - Skyrmion-Calo

Priyanka Mondal, Maximilian Algehed, Owen Arden

Availability is crucial to the security of distributed systems, but guaranteeing availability is hard, especially when participants in the system may act maliciously. Quorum replication protocols provide both integrity and availability: data and computation is replicated at multiple independent hosts, and a quorum of these hosts must agree on the output of a

Hamza Rami, Matthieu Ospici, Stéphane Lathuilière

Unsupervised domain adaptation for person re-identification (Person Re-ID) is the task of transferring the learned knowledge on the labeled source domain to the unlabeled target domain. Most of the recent papers that address this problem adopt an offline training setting. More precisely, the training of the Re-ID model is done assuming that we have access to

Rafał Masełek

We investigate a possibility to explain the discrepancy between the Standard Model predictions and the observed value of the anomalous magnetic moment of the muon within unorthodox SUSY scenarios in which neutralinos are unstable. We start by reviewing the muon g-2 calculations in the MSSM and confront it with the most up-to-date experimental constraints. We

Pedro Ontaneda, Russell Ricks

Let $X$ be a proper, geodesically complete CAT(0) space which satisfies Chen and Eberlein's duality condition. We show the existence of a strong notion of rank for $X$ by proving that the parallel sets $P_v$ of geodesics $v$ in $X$ are generically flat. More precisely, let $GX$ be the space of parametrized unit-speed geodesics in $X$. There is a unique $

Hunter Scott Heidenreich, Jake Ryland Williams

In this work, we present a naive initialization scheme for word vectors based on a dense, independent co-occurrence model and provide preliminary results that suggest it is competitive and warrants further investigation. Specifically, we demonstrate through information-theoretic minimum description length (MDL) probing that our model, EigenNoise, can approac

Robin J. Kwik, Jinfei Wang, Pauline Barmby, Benne W. Holwerda

Automating classification of galaxy components is important for understanding the formation and evolution of galaxies. Traditionally, only the larger galaxy structures such as the spiral arms, bulge, and disc are classified. Here we use machine learning (ML) pixel-by-pixel classification to automatically classify all galaxy components within digital imagery

David Geleßus, Michael Leuschel

Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations sometimes deviate from the ISO standard and the standard itself fails to cover many features that are essential in practice.

Sheryl A. Singerling, Larry R. Nittler, Jens Barosch, Elena Dobrica

We investigated six presolar grains from very primitive regions of the matrix in the unequilibrated ordinary chondrite Semarkona with TEM. These grains include one SiC, one oxide (Mg-Al spinel), and four silicates. Structural and elemental compositional studies of presolar grains located within their meteorite hosts have the potential to provide information

Daniel J. G. Pearce

In two dimensional nematics, topological defects are point like singularities with both a charge and a phase. We study topological defects within curved nematic textures on the surface of a cylinder. This allows us to isolate the effect of extrinsic curvature on the structure of the topological defect. By minimizing the energy associated with distortions in

Julien Barré, Bastien Fernandez, Grégoire Panel

We investigate the large population dynamics of a family of stochastic particle systems with three-state cyclic individual behaviour and parameter-dependent transition rates. On short time scales, the dynamics turns out to be approximated by an integrable Hamiltonian system whose phase space is foliated by periodic trajectories. This feature suggests to cons

Zeeshan Nisar, Jelica Vasiljević, Pierre Gançarski, Thomas Lampert

Domain shift in digital histopathology can occur when different stains or scanners are used, during stain translation, etc. A deep neural network trained on source data may not generalise well to data that has undergone some domain shift. An important step towards being robust to domain shift is the ability to detect and measure it. This article demonstrates

Zihan Wang, Gang Wu, Yan Wang

It is not accurate to make recommendations only based one single current session. Therefore, multi-session-based recommendation(MSBR) is a solution for the problem. Compared with the previous MSBR models, we have made three improvements in this paper. First, the previous work choose to use all the history sessions of the user and/or of his similar users. Whe

Thomas Alazard, Martina Magliocca, Nicolas Meunier

We study an incompressible Darcy's free boundary problem, recently introduced in [22]. Our goal is to prove the existence of non-trivial traveling wave solutions and thus validate the interest of this model to describe cell motility. The model equations include a convection diffusion equation for the polarity marker concentration and the incompressible D

Jason Harris, Danny Driess, Marc Toussaint

Hierarchical coordination of controllers often uses symbolic state representations that fully abstract their underlying low-level controllers, treating them as "black boxes" to the symbolic action abstraction. This paper proposes a framework to realize robust behavior, which we call Feasibility-based Control Chain Coordination (FC$^3$). Our controlle

Sina Sajjadi, Pourya Toranj Simin, Mehrzad Shadmangohar, Basak Taraktas

During the COVID-19 pandemic, we witnessed a disproportionate infection rate among marginalized and low-income groups. Despite empirical evidence suggesting that structural inequalities in society contribute to health disparities, there has been little attempt to offer a computational and theoretical explanation to establish its plausibility and quantitative

Matthew Ivory

When writing software code, developers typically prioritise functionality over security, either consciously or unconsciously through biases and heuristics. This is often attributed to tangible pressures such as client requirements, but little is understood about the psychological dimensions affecting security behaviours. There is an increasing demand for und

Jia Li, Shiva Nejati, Mehrdad Sabetzadeh

Internet of Things (IoT) is a pivotal technology in application domains that require connectivity and interoperability between large numbers of devices. IoT systems predominantly use a software-defined network (SDN) architecture as their core communication backbone. This architecture offers several advantages, including the flexibility to make IoT networks s

Francesco Lin

We describe a relationship between the monopole Floer homology of three-manifolds and the geometry of Riemann surfaces. Consider an automorphism $φ$ of a compact Riemann surface $Σ$ with quotient $\mathbb{P}^1$. There is a natural correspondence between theta characteristics $L$ on $Σ$ which are invariant under $φ$ and self-conjugate spin$^c$ structures $\ma

Yitian Zhou, Gaétan Lelu, Boris Labbé, Guillaume Pasquier

Purpose. Ability to locate and track ultrasound images in the 3D operating space is of great benefit for multiple clinical applications. This is often accomplished by tracking the probe using a precise but expensive optical or electromagnetic tracking system. Our goal is to develop a simple and low cost augmented reality echography framework using a standard

Jing Wang, Yousuf El-Jayyousi, Ilker Ozden

How do humans and animals perform trial-and-error learning when the space of possibilities is infinite? In a previous study, we used an interval timing production task and discovered an updating strategy in which the agent adjusted the behavioral and neuronal noise for exploration. In the experiment, human subjects proactively generated a series of timed mot

Maurizio Ferrari Dacrema, Fabio Moroni, Riccardo Nembrini, Nicola Ferro

Feature selection is a common step in many ranking, classification, or prediction tasks and serves many purposes. By removing redundant or noisy features, the accuracy of ranking or classification can be improved and the computational cost of the subsequent learning steps can be reduced. However, feature selection can be itself a computationally expensive pr

Sajal Saha, Anwar Haque, Greg Sidebottom

Efficient prediction of internet traffic is an essential part of Self Organizing Network (SON) for ensuring proactive management. There are many existing solutions for internet traffic prediction with higher accuracy using deep learning. But designing individual predictive models for each service provider in the network is challenging due to data heterogenei

Andreas Triantafyllopoulos, Sandra Ottl, Alexander Gebhard, Esther Rituerto-González

Although running is a common leisure activity and a core training regiment for several athletes, between $29\%$ and $79\%$ of runners sustain an overuse injury each year. These injuries are linked to excessive fatigue, which alters how someone runs. In this work, we explore the feasibility of modelling the Borg received perception of exertion (RPE) scale (ra

Weichen Wu, Brian W. Junker, Nynke M. D. Niezink

The Bradley-Terry model is widely used for pairwise comparison data analysis. In this paper, we analyze the asymptotic behavior of the maximum likelihood estimator of the Bradley-Terry model in its logistic parameterization, under a general class of linear identifiability constraints. We show that the constraint requiring the Bradley-Terry scores for all com

Loïc Cordone, Benoît Miramond, Philippe Thierion

Automotive embedded algorithms have very high constraints in terms of latency, accuracy and power consumption. In this work, we propose to train spiking neural networks (SNNs) directly on data coming from event cameras to design fast and efficient automotive embedded applications. Indeed, SNNs are more biologically realistic neural networks where neurons com

Hamza Zougheib, Toufic El Arwadi, Mohammad El-Hindi

In this work, we analyze porous elastic system with microtemperature from second spectrum viewpoint. Indeed, by using the classical Faedo-Galerkin method combined with the a priori estimates, we prove the existence and uniqueness of a global solution of this problem. Then we prove that this solution is exponentially stable without assuming the condition of e

Anton Freund

We prove that Higman's lemma is strictly stronger for better quasi orders than for well quasi orders, within the framework of reverse mathematics. In fact, we show a stronger result: the infinite Ramsey theorem (for tuples of all lengths) follows from the statement that any array $[\mathbb N]^{n+1}\to\mathbb N^n\times X$ for a well order $X$ and $n\in\ma

Lev Vysotsky, Maxim Rakhuba

In this paper, we are concerned with the inversion of circulant matrices and their quantized tensor-train (QTT) structure. In particular, we show that the inverse of a complex circulant matrix $A$, generated by the first column of the form $(a_0,\dots,a_{m-1},0,\dots,0,a_{-n},\dots, a_{-1})^\top$ admits a QTT representation with the QTT ranks bounded by $(m+

Abhijit Kundu, Kyle Genova, Xiaoqi Yin, Alireza Fathi

We present Panoptic Neural Fields (PNF), an object-aware neural scene representation that decomposes a scene into a set of objects (things) and background (stuff). Each object is represented by an oriented 3D bounding box and a multi-layer perceptron (MLP) that takes position, direction, and time and outputs density and radiance. The background stuff is repr

Sajal Saha, Anwar Haque, Greg Sidebottom

Efficient prediction of internet traffic is essential for ensuring proactive management of computer networks. Nowadays, machine learning approaches show promising performance in modeling real-world complex traffic. However, most existing works assumed that model training and evaluation data came from identical distribution. But in practice, there is a high p

Roderich Tumulka

We consider ontological models of a quantum system, assuming that not all probability distributions over the space $Λ$ of ontic states are preparable, only those belonging to a certain set C. We assume further that every POVM with a finite value space can be measured and that for every density matrix there exists a distribution in C whose outcome statistics

Andreas Triantafyllopoulos, Sandra Zänkert, Alice Baird, Julian Konzok

Stress is a major threat to well-being that manifests in a variety of physiological and mental symptoms. Utilising speech samples collected while the subject is undergoing an induced stress episode has recently shown promising results for the automatic characterisation of individual stress responses. In this work, we introduce new findings that shed light on

Marta Sewiło, Agata Karska, Lars E. Kristensen, Steven B. Charnley

We report the first detection of deuterated water (HDO) toward an extragalactic hot core. The HDO 2$_{11}$-2$_{12}$ line has been detected toward hot cores N105-2A and 2B in the N105 star-forming region in the low-metallicity Large Magellanic Cloud (LMC) dwarf galaxy with the Atacama Large Millimeter/submillimeter Array (ALMA). We have compared the HDO line

Rubén González Sendino, Mónica Ortega, Carlos Carrasco

Nowadays, the way in which the people interact with computers has changed. Text- or voice-based interfaces are being widely applied in different industries. Among the most used ways of processing the user input are those based on intents or retrieval algorithms. In these solutions, important information of the user could be lost in the process. For the propo

Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano

Nowadays a wide range of applications is constrained by low-latency requirements that cloud infrastructures cannot meet. Multi-access Edge Computing (MEC) has been proposed as the reference architecture for executing applications closer to users and reduce latency, but new challenges arise: edge nodes are resource-constrained, the workload can vary significa

Roman Engelhardt, Patrick Malcolm, Florian Dandl, Klaus Bogenberger

Autonomous mobility on demand services have the potential to disrupt the future mobility system landscape. Ridepooling services in particular can decrease land consumption and increase transportation efficiency by increasing the average vehicle occupancy. Nevertheless, because ridepooling services require a sufficient user base for pooling to take effect, th

Morva Saaty, Jaitun V. Patel, Derek Haqq, Timothy L. Stelter

Social media captures examples of people's behaviors, actions, beliefs, and sentiments. As a result, it can be a valuable source of information and inspiration for HCI research and design. Social media technologies can improve, inform, and strengthen insights to better understand and represent user populations. To understand the position of social media

Anirban Ghosh, F. N. U. Shariful, David Wisnosky

Introduced by Callahan and Kosaraju back in 1995, the concept of well-separated pair decomposition (WSPD) has occupied a special significance in computational geometry when it comes to solving distance problems in $d$-space. We present an in-browser tool that can be used to visualize WSPDs and several of their applications in $2$-space. Apart from research,

Punyajoy Saha, Kanishk Singh, Adarsh Kumar, Binny Mathew

Recently, many studies have tried to create generation models to assist counter speakers by providing counterspeech suggestions for combating the explosive proliferation of online hate. However, since these suggestions are from a vanilla generation model, they might not include the appropriate properties required to counter a particular hate speech instance.

Bruce Kleiner, Stefan Muller, Xiangdong Xie

We consider Rumin's filtration on the de Rham complex of a Carnot group. Although Pansu pullback by a Sobolev map is filtration preserving, it need not be a chain mapping. Nonetheless, we show that Pansu pullback induces a mapping of the associated spectral sequences. This gives an alternate interpretation of the Pullback Theorem from our previous paper.

Harel Berger, Amit Dvir, Chen Hajaj, Rony Ronen

Android malware is a spreading disease in the virtual world. Anti-virus and detection systems continuously undergo patches and updates to defend against these threats. Most of the latest approaches in malware detection use Machine Learning (ML). Against the robustifying effort of detection systems, raise the \emph{evasion attacks}, where an adversary changes

Christopher Townsend, Maria M. Seron, Nicolas Magdelaine

We characterise the bolus insulin input which minimises the maximum plasma glucose concentration predicted by the Magdelaine and Bergman minimal models in response to any positive bounded disturbance whilst remaining above a fixed lower plasma glucose concentration. This characterisation is in terms of the maxima and minima of the plasma glucose concentratio

Pavel V. Ratnikov

The problem of screening the Coulomb interaction between charge carriers in type II heterostructures based on transition metal dichalcogenides is Analytically solved. At a sufficiently high density of charge carriers, the density dependence of the interlayer exciton energy is obtained. The energy of the interlayer exciton tends to zero in the metal--insulato

Nikhil Kumar Tomar, Debesh Jha, Ulas Bagci, Sharib Ali

Colonoscopy is a gold standard procedure but is highly operator-dependent. Automated polyp segmentation, a precancerous precursor, can minimize missed rates and timely treatment of colon cancer at an early stage. Even though there are deep learning methods developed for this task, variability in polyp size can impact model training, thereby limiting it to th

Anton Korinek, Avital Balwit

As artificial intelligence (AI) becomes more powerful and widespread, the AI alignment problem - how to ensure that AI systems pursue the goals that we want them to pursue - has garnered growing attention. This article distinguishes two types of alignment problems depending on whose goals we consider, and analyzes the different solutions necessitated by each

Pavel V. Ratnikov

The possibility of the formation of an electron-hole liquid in the type II heterostructures based on monolayers (bilayers) of transition metal dichalcogenides is considered. It is indicated that additional valleys in the conduction band, which are present in bilayers, are required for its observation. The binding energy of the interlayer exciton is found by

Amaya Moro-Martín

During the formation of our solar system, a large number of planetesimals were ejected into interstellar space by gravitational encounters with the planets. Debris disks observations and numerical simulations indicate that many other planetary systems, now known to be quite common, would have undergone a similar dynamical clearing process. It is therefore ex

P. V. Ratnikov, A. P. Silin

The effect of doping on the parameters of an electron-hole liquid (EHL) in heterostructures based on transition metal dichalcogenides is studied. The phase diagram of the EHL is constructed. It is shown that for the formation of a high-temperature tightly bound EHL, as well as for the transition from the semiconducting (exciton) state to the semimetallic one

D. G. Vlaykov, I. Baraffe, T. Constantino, T. Goffrey

Stellar convection is a non-local process responsible for the transport of heat and chemical species. It can lead to enhanced mixing through convective overshooting and excitation of internal gravity waves (IGWs) at convective boundaries. The relationship between these processes is still not well understood and requires global hydrodynamic simulations to cap

Chaoxi Fang, Libo Xie, Jie Jiang, Ming Zhang

We study the zeroth law for Killing horizon in scalar-hairy Lovelock gravity, and show that the surface gravity of a general Killing horizon in the scalar-hairy Lovelock gravity is constant, provided that the dominant energy condition is obeyed by the matter field.

Jianzhao Liu, Xin Li, Yanding Peng, Tao Yu

Image compression has raised widespread interest recently due to its significant importance for multimedia storage and transmission. Meanwhile, a reliable image quality assessment (IQA) for compressed images can not only help to verify the performance of various compression algorithms but also help to guide the compression optimization in turn. In this paper

Sosuke Nishikawa, Ryokan Ri, Ikuya Yamada, Yoshimasa Tsuruoka

We present EASE, a novel method for learning sentence embeddings via contrastive learning between sentences and their related entities. The advantage of using entity supervision is twofold: (1) entities have been shown to be a strong indicator of text semantics and thus should provide rich training signals for sentence embeddings; (2) entities are defined in

Daniel Berenberg, Jae Hyeon Lee, Simon Kelow, Ji Won Park

Deep generative modeling for biological sequences presents a unique challenge in reconciling the bias-variance trade-off between explicit biological insight and model flexibility. The deep manifold sampler was recently proposed as a means to iteratively sample variable-length protein sequences by exploiting the gradients from a function predictor. We introdu

Kawsar Haghshenas, Brian Setz, Yannis Bloch, Marco Aiello

Air cooling is the traditional solution to chill servers in data centers. However, the continuous increase in global data center energy consumption combined with the increase of the racks' power dissipation calls for the use of more efficient alternatives. Immersion cooling is one such alternative. In this paper, we quantitatively examine and compare air

Vasilis Gkatzelis, Kostas Kollias, Alkmini Sgouritsa, Xizhi Tan

A central goal in algorithmic game theory is to analyze the performance of decentralized multiagent systems, like communication and information networks. In the absence of a central planner who can enforce how these systems are utilized, the users can strategically interact with the system, aiming to maximize their own utility, possibly leading to very ineff

Huanghao Fengr, Mohammad H. Mahoor, Francesca Dino

Children with Autism Spectrum Disorder (ASD) experience deficits in verbal and nonverbal communication skills including motor control, turn-taking, and emotion recognition. Innovative technology, such as socially assistive robots, has shown to be a viable method for Autism therapy. This paper presents a novel robot-based music-therapy platform for modeling a

Iver Brevik

We discuss four different, though related, fundamental topics related to the Casimir effect: 1) We suggest that the application of Casimir theory to real dielectric materials, thus implying the atomic spacing as a course-grained length parameter, makes it natural to assume that this parameter is of the same order of magnitude as the QFT time-splitting parame

Yuhei Sekiguchi, Satsuki Okumura, Hideo Kosaka

Quantum repeaters with multiple quantum memories provide high throughput, low latency, and high fidelity quantum state (qubit) transfer over long distances. However, conventional quantum repeater protocols require full connections among the multiple quantum memories in a repeater node, which is technically challenging. Here, we propose a quantum repeater pro

Indira Sen, Mattia Samory, Claudia Wagner, Isabelle Augenstein

Counterfactually Augmented Data (CAD) aims to improve out-of-domain generalizability, an indicator of model robustness. The improvement is credited with promoting core features of the construct over spurious artifacts that happen to correlate with it. Yet, over-relying on core features may lead to unintended model bias. Especially, construct-driven CAD -- pe

Dušan Vukadinović, Ivan Milić, Olga Atanacković

We investigated the applicability of the weak-field approximation (WFA) for retrieving the depth-dependent line-of-sight (LOS) magnetic field from the spectral region containing the Mg I $b_2$ spectral line and two photospheric Ti I and Fe I lines. We constructed and used a 12-level model for Mg I atom that realistically reproduces the $b_2$ line profile of

Saeedeh Osouli, Behrouz Bolourian Haghighi, Ehsan Sadrossadat

In the last decades, the area under cultivation of maize products has increased because of its essential role in the food cycle for humans, livestock, and poultry. Moreover, the diseases of plants impact food safety and can significantly reduce both the quality and quantity of agricultural products. There are many challenges to accurate and timely diagnosis

M. Röllig, V. Ossenkopf-Okada

Numerical models of Photodissociation Regions (PDRs) are an essential tool to quantitatively understand observations of massive star forming regions through simulations. Few mature PDR models are available and the Cologne KOSMA-$τ$ PDR model is the only sophisticated model that uses a spherical cloud geometry thereby allowing us to simulate clumpy PDRs. We p

C. C. Miao, W. W. Zhu, D. Li, P. C. C. Freire

We report the phase-connected timing ephemeris, polarization pulse profiles, Faraday rotation measurements, and Rotating-Vector-Model (RVM) fitting results of twelve millisecond pulsars (MSPs) discovered with the Five-hundred-meter Aperture Spherical radio Telescope (FAST) in the Commensal radio Astronomy FAST survey (CRAFTS). The timing campaigns were carri

Mariona Caixach, Pierre Jean, Jordi Isern, Eduardo Bravo

The detection of the very early gamma-emission of a Type Ia supernova (SNIa) could provide a deep insight on the explosion mechanism and nature of the progenitor. However this has not been yet possible as a consequence of the expected low luminosity and the distance at which all the events have occurred up to now. A SNIa occurring in our Galaxy could provide

Miguel Berasategui, Pablo M. Berná

In \cite{O2015}, T. Oikhberg introduced and studied variants of the greedy and weak greedy algorithms for sequences with gaps. In this paper, we extend some of the notions that appear naturally in connection with these algorithms to the context of sequences with gaps. In particular, we will consider sequences of natural numbers for which the inequality $n_{k

Sheikh Azizul Hakim, Bishal Basak Papan, Md. Saidur Rahman

A graph $G=(V,E)$ is called a pairwise compatibility graph (PCG) if there exists an edge-weighted tree $T$ and two non-negative real numbers $d_{min}$ and $d_{max}$ such that each leaf $u$ of $T$ corresponds to a vertex $u \in V$ and there is an edge $(u, v) \in E$ if and only if $d_{min} \leq d_{T}(u, v) \leq d_{max}$, where $d_T(u, v)$ is the sum of the we

Antoine Amarilli, Yael Amsterdamer

In recent work, we have introduced a framework for fine-grained consent management in databases, which combines Boolean data provenance with the field of interactive Boolean evaluation. In turn, interactive Boolean evaluation aims at unveiling the underlying truth value of a Boolean expression by frugally probing the truth values of individual values. The re

Dejan Urošević

This paper aims to give a brief review of a new concept for the preliminary determination of the evolutionary status of supernova remnants (SNRs). Data obtained by radio observations in continuum are used. There are three different methods underlying the new concept: the first one based on the location of observationally obtained radio surface brightness and

Silvan Mertes, Andreas Margraf, Steffen Geinitz, Elisabeth André

Visual inspection software has become a key factor in the manufacturing industry for quality control and process monitoring. Semantic segmentation models have gained importance since they allow for more precise examination. These models, however, require large image datasets in order to achieve a fair accuracy level. In some cases, training data is sparse or

Abeba Birhane, Elayne Ruane, Thomas Laurent, Matthew S. Brown

How has recent AI Ethics literature addressed topics such as fairness and justice in the context of continued social and structural power asymmetries? We trace both the historical roots and current landmark work that have been shaping the field and categorize these works under three broad umbrellas: (i) those grounded in Western canonical philosophy, (ii) ma

Gustavo Banegas, Ricardo Villanueva-Polanco

This paper presents a general strategy to recover a block cipher secret key in the cold boot attack setting. More precisely, we propose a key-recovery method that combines key enumeration algorithms and Grover's quantum algorithm to recover a block cipher secret key after an attacker has procured a noisy version of it via a cold boot attack. We also show

Francesca Fedele

Let $k$ be an algebraically closed field and $Φ$ a finite dimensional $k$-algebra. The universal localization $Φ\rightarrow Φ_\mathcal{S}$ of $Φ$ with respect to a set of morphisms between finitely generated projective $Φ$-modules $\mathcal{S}$ always exists. Moreover, when $Φ$ is hereditary, Krause and Šťovíček proved that the universal localizations of $Φ$

Dietrich Burde, Karel Dekimpe, Mina Monadjem

We study rigidity questions for pairs of Lie algebras $(\mathfrak{g},\mathfrak{n})$ admitting a post-Lie algebra structure. We show that if $\mathfrak{g}$ is semisimple and $\mathfrak{n}$ is arbitrary, then we have rigidity in the sense that $\mathfrak{g}$ and $\mathfrak{n}$ must be isomorphic. The proof uses a result on the decomposition of a Lie algebra $\

Gulnara Sulieva, Kuantay Boshkayev, Gulmira Nurbakyt, Hernando Quevedo

We study the motion of test particles in the gravitational field of a rotating and deformed object within the framework of the adiabatic theory. For this purpose, the Hartle-Thorne metric written in harmonic coordinates is employed in the post-Newtonian approximation where the adiabatic theory is valid. As a result, we obtain the perihelion shift formula for

Tanja Svarre, Tony Russell-Rose

Knowledge workers such as healthcare information professionals, legal researchers, and librarians need to create and execute search strategies that are comprehensive, transparent, and reproducible. The traditional solution is to use proprietary query building tools provided by literature database vendors. In the majority of cases, these query builders are de

Kuantay Boshkayev, Talgar Konysbayev, Yergali Kurmanov, Orlando Luongo

We study the motion of test particles in the gravitational field of a Schwarzschild black hole surrounded by a spherical dark matter cloud with non-zero tangential pressure and compute the luminosity of the accretion disk. The presence of non vanishing tangential pressures allows to mimic the dark matter's angular momentum while still considering a stati

Haidar Mohamad

We consider the strongly damped Klein Gordon equation for defocusing nonlinearity and we study the asymptotic behaviour of the energy for periodic solutions. We prove first the exponential decay to zero for zero mean solutions. Then, we characterize the limit of the energy, when the time tends to infinity, for solutions with small enough initial data and we

Katherine J. Pearce, Ilse C. F. Ipsen, Mansoor A. Haider, Arvind K. Saibaba

We advocate a numerically reliable and accurate approach for practical parameter identifiability analysis: Applying column subset selection (CSS) to the sensitivity matrix, instead of computing an eigenvalue decomposition of the Fischer information matrix. Identifiability analysis via CSS has three advantages: (i) It quantifies reliability of the subsets of

Thomas George Thuruthel, Fumiya Iida

Soft robots are typically approximated as low-dimensional systems, especially when learning-based methods are used. This leads to models that are limited in their capability to predict the large number of deformation modes and interactions that a soft robot can have. In this work, we present a deep-learning methodology to learn high-dimensional visual models

James C. A. Main, Mickael Randour, Jeremy Sproston

The window mechanism, introduced by Chatterjee et al. for mean-payoff and total-payoff objectives in two-player turn-based games on graphs, refines long-term objectives with time bounds. This mechanism has proven useful in a variety of settings, and most recently in timed systems. In the timed setting, the so-called fixed timed window parity objectives have

Iftikhar Rasheed, Muhammad Asif, Asim Ihsan, Wali Ullah Khan

5G enabled maritime unmanned aerial vehicle (UAV) communication is one of the important applications of 5G wireless network which requires minimum latency and higher reliability to support mission-critical applications. Therefore, lossless reliable communication with a high data rate is the key requirement in modern wireless communication systems. These all

Hirotaka Tahara, Hikaru Sasaki, Hanbit Oh, Brendan Michael

Robust imitation learning using disturbance injections overcomes issues of limited variation in demonstrations. However, these methods assume demonstrations are optimal, and that policy stabilization can be learned via simple augmentations. In real-world scenarios, demonstrations are often of diverse-quality, and disturbance injection instead learns sub-opti

Stefano De Marchi, Nadaniela Egidi, Josephin Giacomini, Pierluigi Maponi

We consider the interpolation problem with the inverse multiquadric radial basis function. The problem usually produces a large dense linear system that has to be solved by iterative methods. The efficiency of such methods is strictly related to the computational cost of the multiplication between the coefficient matrix and the vectors computed by the solver

Victor-Alexandru Pădurean, Oliver Gasser, Randy Bush, Anja Feldmann

Segment routing is a modern form of source-based routing, i.e., a routing technique where all or part of the routing decision is predetermined by the source or a hop on the path. Since initial standardization efforts in 2013, segment routing seems to have garnered substantial industry and operator support. Especially segment routing over IPv6 (SRv6) is adver

Samriddho Roy

Assuming the existence of an analytic interpolant mapping a two-point data from the unit disc $\mathbb{D}$ to $\widetilde{\mathbb{G}}_n$, we describe a class of such interpolating functions where $$\widetilde{\mathbb{G}}_n := \{ (y_1,\dots, y_{n-1}, q)\in \mathbb{C}^n :\; q \in \mathbb{D},\; y_{j} = β_{j} + \barβ_{n-j} q,\; β_{j} \in \mathbb{C} \; \text{ and

Milan Groshev, Jorge Martín-Pérez, Carlos Guimarães, Antonio de la Oliva

Wireless communications represent a game changer for future manufacturing plants, enabling flexible production chains as machinery and other components are not restricted to a location by the rigid wired connections on the factory floor. However, the presence of electromagnetic interference in the wireless spectrum may result in packet loss and delay, making

Hao Li, Xu Li, Belhal Karimi, Jie Chen

Modeling visual question answering(VQA) through scene graphs can significantly improve the reasoning accuracy and interpretability. However, existing models answer poorly for complex reasoning questions with attributes or relations, which causes false attribute selection or missing relation in Figure 1(a). It is because these models cannot balance all kinds

Brendon McBain, Emanuele Viterbo, James Saunderson

Nanopore sequencing is an emerging DNA sequencing technology that has been proposed for use in DNA storage systems. We propose the noisy nanopore channel model for nanopore sequencing. This model captures duplications, inter-symbol interference, and noisy measurements by concatenating an i.i.d. duplication channel with a finite-state semi-Markov channel. Com

Stefan Borasinski, Esin Yavuz, Sébastien Béhuret

How best to evaluate synthesized images has been a longstanding problem in image-to-image translation, and to date remains largely unresolved. This paper proposes a novel approach that combines signals of image quality between paired source and transformation to predict the latter's similarity with a hypothetical ground truth. We trained a Multi-Method F

M. Melih Mutlu, Arzucan Özgür

Targeted Sentiment Analysis aims to extract sentiment towards a particular target from a given text. It is a field that is attracting attention due to the increasing accessibility of the Internet, which leads people to generate an enormous amount of data. Sentiment analysis, which in general requires annotated data for training, is a well-researched area for

Antonio Laface, Elisa Postinghel, Luis José Santana Sánchez

We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: