August 2022 arXiv papers — page 105

Cesim K. Dumlu, Yoshihide Nakamiya, Kazuo A. Tanaka

We investigate in detail the stimulated photon emission in pulse-shaped Laguerre-Gauss beams of arbitrary mode decomposition within the framework of Euler-Heisenberg effective theory. We elaborate on the analytic structure of the photon emission amplitude and identify its dominant and sub-dominant parts by analyzing each signature's phase scaling. We identif

Zhanfeng Li, Jiong Wang, Mokarram Hossain, Chennakesava Kadapa

In this paper, we study the problem of shape-programming of incompressible hyperelastic shells through differential growth. The aim of the current work is to determine the growth tensor (or growth functions) that can produce the deformation of a shell to the desired shape. First, a consistent finite-strain shell theory is introduced. The shell equation syste

Didem Yeşil, Didem K. Camcı

Let $R$ be an associative ring. We define a subset $S_{R}^{a}$, where $a\in R$ of $R$ as $S_{R}^{a}=\{b\in R \mid aRb=(0)\}$. Then, the set $P_{R} = \bigcap_{a\in R} S_{R}^{a}$ call it the source of primeness of $R$. We first examine some basic properties of the subset $P_{R}$ in any ring $R$, and properties of idempotent elements, nilpotent elements, zero d

Peter Bult, Diego Altamirano, Zaven Arzoumanian, Deepto Chakrabarty

We present the discovery of 528.6 Hz pulsations in the new X-ray transient MAXI J1816-195. Using NICER, we observed the first recorded transient outburst from the neutron star low-mass X-ray binary MAXI J1816-195 over a period of 28 days. From a timing analysis of the 528.6 Hz pulsations, we find that the binary system is well described as a circular orbit w

Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu

Intel SGX (Software Guard Extension) is a promising TEE (trusted execution environment) technique that can protect programs running in user space from being maliciously accessed by the host operating system. Although it provides hardware access control and memory encryption, the actual effectiveness also depends on the quality of the software. In particular,

Yujia Xu, Hak-Keung Lam, Guangyu Jia, Jian Jiang

COVID-19 pandemic continues to spread rapidly over the world and causes a tremendous crisis in global human health and the economy. Its early detection and diagnosis are crucial for controlling the further spread. Many deep learning-based methods have been proposed to assist clinicians in automatic COVID-19 diagnosis based on computed tomography imaging. How

Phong Nguyen-Ha, Lam Huynh, Esa Rahtu, Jiri Matas

We present CG-NeRF, a cascade and generalizable neural radiance fields method for view synthesis. Recent generalizing view synthesis methods can render high-quality novel views using a set of nearby input views. However, the rendering speed is still slow due to the nature of uniformly-point sampling of neural radiance fields. Existing scene-specific methods

Philipp Glaum, Fabian Hofmann

The German government recently announced that 80\% of the power supply should come from renewable energy by 2030. One key task lies in reorganizing the transmission system such that power can be transported from sites with good renewable potentials to the load centers. Dynamic Line Rating (DLR), which allows the dynamic calculation of transmission line capac

Nadav Yesha

We study intermediate-scale statistics for the fractional parts of the sequence $(\alpha a_n)_{n=1}^{\infty}$, where $(a_n)_{n=1}^{\infty}$ is a positive, real-valued lacunary sequence, and $\alpha\in\mathbb{R}$. In particular, we consider the number of elements $S_{N}(L,\alpha)$ in a random interval of length $L/N$, where $L=O\left(N^{1-\epsilon}\right)$, a

K. Khuseynzada, A. Sadigov, J. Naghiyev, F. Ahmadov

Optical imaging systems are widely used in the drone industry (optical navigation, terrain scanners), industry (distance measurement, 3D visualization), security (optical scanners and motion sensors), robotics (motion sensors, terrain or field scanning), etc. Lidar (Light Detection and Ranging) systems have a different structure depending on their purpose, a

Vincent Tonkes, Matthia Sabatelli

Vision Transformers (VTs) are becoming a valuable alternative to Convolutional Neural Networks (CNNs) when it comes to problems involving high-dimensional and spatially organized inputs such as images. However, their Transfer Learning (TL) properties are not yet well studied, and it is not fully known whether these neural architectures can transfer across di

Guru Dutt Gupt, Rajendra S. Dhaka

We report the physical properties of Co$_2$CrAl Heusler alloy epitaxial thin films grown on single crystalline MgO(001) substrate using pulsed laser deposition technique. The x-ray diffraction pattern in $\theta$-2$\theta$ mode showed the film growth in single phase B2-type ordered cubic structure with the presence of (002) and (004) peaks, and the film orie

Mohammed Hemeda, Hassan Alshal, Ahmed Farag Ali, Elias C. Vagenas

Motivated by recent works, we employ the bounds on the dimensionless quantum-gravity parameter obtained from six gravitational tests in order to obtain bounds on the dimensionless parameter of the generalized uncertainty principle with linear and quadratic terms in momentum. The bounds obtained here are much tighter than those obtained, from the same six gra

Thomas Bothner, Alex Little

The focus of this paper is on the distribution function of the rightmost eigenvalue for the complex elliptic Ginibre ensemble in the limit of weak non-Hermiticity. We show how the limiting distribution function can be expressed in terms of an integro-differential Painlev\'e-II function and how the same captures the non-trivial transition between Poisson and

Rui-Rui Wu, Qing-Wen Tang, Mi-Xiang Lan

Time-resolved polarizations carry more physical information about the source of gamma-ray bursts (GRBs) than the time-integrated ones. Therefore, they give more strict constrains on the models of GRB prompt phase. Both time-resolved and time-integrated polarizations are considered here. The model we use is the synchrotron emission in a large-scale ordered al

Yisong Yu, Beihong Jin, Jiageng Song, Beibei Li

As the micro-video apps become popular, the numbers of micro-videos and users increase rapidly, which highlights the importance of micro-video recommendation. Although the micro-video recommendation can be naturally treated as the sequential recommendation, the previous sequential recommendation models do not fully consider the characteristics of micro-video

Navodini Wijethilake, Aaron Kujawa, Reuben Dorent, Muhammad Asad

Vestibular Schwannoma (VS) typically grows from the inner ear to the brain. It can be separated into two regions, intrameatal and extrameatal respectively corresponding to being inside or outside the inner ear canal. The growth of the extrameatal regions is a key factor that determines the disease management followed by the clinicians. In this work, a VS seg

Wanguang Yin, Zhichao Liang, Jianguo Zhang, Quanying Liu

Partial least square regression (PLSR) is a widely-used statistical model to reveal the linear relationships of latent factors that comes from the independent variables and dependent variables. However, traditional methods to solve PLSR models are usually based on the Euclidean space, and easily getting stuck into a local minimum. To this end, we propose a n

Tingtian Li, Yuk-Hee Chan, Daniel P. K. Lun

When imaging through a semi-reflective medium such as glass, the reflection of another scene can often be found in the captured images. It degrades the quality of the images and affects their subsequent analyses. In this paper, a novel deep neural network approach for solving the reflection problem in imaging is presented. Traditional reflection removal meth

Jian-Feng Cai, Jae Kyu Choi, Chenchuan Zhou

The finite-rate-of-innovation (FRI) framework which corresponds a signal/image to a structured low-rank matrix is emerging as an alternative to the traditional sparse regularization. This is because such an off-the-grid approach is able to alleviate the basis mismatch between the true support in the continuous domain and the discrete grid. In this paper, we

Takeshi Mizushima, Shun Tamura, Keiji Yada, Yukio Tanaka

We investigate emergent odd-frequency pairs and proximity effect in nematic and chiral states of superconducting topological insulators (STIs), such as $M_x$Bi$_2$Se$_3$ ($M=$ Cu, Sr, Nb). The interplay of superconducting gap symmetry, the orbital degrees of freedom, and strong spin-orbit interaction generates a variety of odd-frequency pairs in the bulk and

Long Dai, Jiarong Mao, Xuefeng Fan, Xiaoyi Zhou

Natural language processing (NLP) technology has shown great commercial value in applications such as sentiment analysis. But NLP models are vulnerable to the threat of pirated redistribution, damaging the economic interests of model owners. Digital watermarking technology is an effective means to protect the intellectual property rights of NLP model. The ex

Nicolas F. Chaves-de-Plaza, Prerak Mody, Klaus Hildebrandt, Marius Staring

Delineation of tumors and organs-at-risk permits detecting and correcting changes in the patients' anatomy throughout the treatment, making it a core step of adaptive proton therapy (APT). Although AI-based auto-contouring technologies have sped up this process, the time needed to perform the quality assessment (QA) of the generated contours remains a bottle

David Ellis, Guy Kindler, Noam Lifshitz

We study an analogue of the Erd\H{o}s-S\'os forbidden intersection problem, for families of linear maps. If $V$ and $W$ are vector spaces over the same field, we say a family $\mathcal{F}$ of linear maps from $V$ to $W$ is \emph{$(t-1)$-intersection-free} if for any two linear maps $\sigma_1,\sigma_2 \in \mathcal{F}$, $\dim(\{v \in V:\ \sigma_1(v)=\sigma_2(v

Timothy D. Rawle, Giovanna Giardino, David E. Franz, Robert Rapp

The NIRSpec instrument on the James Webb Space Telescope (JWST) brings the first multi-object spectrograph (MOS) into space, enabled by a programmable Micro Shutter Array (MSA) of ~250,000 individual apertures. During the 6-month Commissioning period, the MSA performed admirably, completing ~800 reconfigurations with an average success rate of ~96% for comma

Walter Bergweiler, Alexandre Eremenko, James Langley

We prove three theorems about solutions of $\Delta u + e^{2u} = 0$ in the plane. The first two describe explicitly all concave and quasiconcave solutions. The third theorem says that the diameter of the plane with respect to the metric with line element $e^{u}|dz|$ is at least $4\pi/3$, except for two explicitly described families of solutions u.

Sanghyeok Park, Dongha Kim, Yun-Seok Choi, Arthur Baucour

Embodying bosonic and electrically interactive characteristics in two-dimensional space, excitons in transition-metal dichalcogenides (TMDCs) have garnered considerable attention. The realisation and application of strong-correlation effects, long-range transport, and valley-dependent optoelectronic properties require customising exciton decay dynamics. Stra

Gurmu Meseret Debele

Gradual advancement of control technology gives rise to the studies of the stability of linear systems. The stability of the linear multiagent system is motivated by increasing utilization of agent dynamics together with the number of control protocols associated with each agent. To that respect, in this report, the idea of event-triggered control and the st

Simon Boge Brant, Ingrid Hobæk Haff

The authors propose new additive models for binary outcomes, where the components are copula-based regression models (Noh et al, 2013), and designed such that the model may capture potentially complex interaction effects. The models do not require discretisation of continuous covariates, and are therefore suitable for problems with many such covariates. A fi

Zakir Hussain Shaik, Rimalapudi Sarvendranath, Erik G. Larsson

RadioWeaves network operates a large number of distributed antennas using cell-free architecture to provide high data rates and support a large number of users. Operating this network in an energy-efficient manner in the limited available spectrum is crucial. Therefore, we consider energy efficiency (EE) maximization of a RadioWeaves network that shares spec

Niklas Petersen, Filipe Rodrigues, Francisco Pereira

Predicting travel time under rare temporal conditions (e.g., public holidays, school vacation period, etc.) constitutes a challenge due to the limitation of historical data. If at all available, historical data often form a heterogeneous time series due to high probability of other changes over long periods of time (e.g., road works, introduced traffic calmi

Alireza Abdollahi, Meisam Soleimani Malekan

Let $k$ be any positive integer and $G$ a compact (Hausdorff) group. Let $\mf{np}_k(G)$ denote the probability that $k+1$ randomly chosen elements $x_1,\dots,x_{k+1}$ satisfy $[x_1,x_2,\dots,x_{k+1}]=1$. We study the following problem: If $\mf{np}_k(G)>0$ then, does there exist an open nilpotent subgroup of class at most $k$? The answer is positive for profi

Ke Yang, Shi-Fa Guo, Bao-Min Gu

A Randall-Sundrum-like braneworld scenario is constructed in a 5D extension of the Lorentz-violating massive gravity. The gauge hierarchy problem is solved in current model. The linear perturbations are calculated, and it is found that the tensor and vector perturbations are robust and free from the ghost and tachyonic instabilities, however, the scalar pert

Vinit Hegiste, Tatjana Legler, Martin Ruskowski

A vast amount of data is created every minute, both in the private sector and industry. Whereas it is often easy to get hold of data in the private entertainment sector, in the industrial production environment it is much more difficult due to laws, preservation of intellectual property, and other factors. However, most machine learning methods require a dat

Guodu Chen, Jingjun Han, Jihao Liu

In this paper, we continue to develop the theories on functional pairs and uniform rational polytopes. We show that there is a uniform perturbation for Iitaka dimensions of pseudo-effective lc pairs of fixed dimension with DCC coefficients assuming the non-vanishing conjecture. We also show the existence of uniform rational polytopes for Iitaka dimensions of

Saskia Demulder, Thomas Raml

Topological defects have long been known to encode symmetries and dualities between physical systems. In the context of string theory, defects have been intensively studied at the level of the worldsheet. Although marked by a number of pioneering milestones, the target space picture of defects is much less understood. In this paper, we show, at the level of

Renwei Yang, Shuyuan Zhu, Xiaozhen Zheng, Bing Zeng

Convolution neural network (CNN) based methods offer effective solutions for enhancing the quality of compressed image and video. However, these methods ignore using the raw data to enhance the quality. In this paper, we adopt the raw data in the quality enhancement for the HEVC intra-coded image by proposing an online learning-based method. When quality enh

Samuel C. Smith, Benjamin J. Brown, Stephen D. Bartlett

A fault-tolerant quantum computer will be supported by a classical decoding system interfacing with quantum hardware to perform quantum error correction. It is important that the decoder can keep pace with the quantum clock speed, within the limitations on communication that are imposed by the physical architecture. To this end we propose a local `pre-decode

Lantu Guo, Yu Wang, Yun Lin, Haitao Zhao

Automatic modulation classification (AMC) is a key technique for designing non-cooperative communication systems, and deep learning (DL) is applied effectively to AMC for improving classification accuracy. However, most of the DL-based AMC methods have a large number of parameters and high computational complexity, and they cannot be directly applied to low-

Aleksandr Dekhovich, David M. J. Tax, Marcel H. F. Sluiter, Miguel A. Bessa

The human brain is capable of learning tasks sequentially mostly without forgetting. However, deep neural networks (DNNs) suffer from catastrophic forgetting when learning one task after another. We address this challenge considering a class-incremental learning scenario where the DNN sees test data without knowing the task from which this data originates. D

Sana Karimian

Near the entire university faculty directors must select some qualified professors for respected courses in each academic semester. In this sense, factors such as teaching experience, academic training, competition, etc. are considered. This work is usually done by experts, such as faculty directors, which is time consuming. Up to now, several semi-automatic

Luigi Caputi, Carlo Collari, Sabino Di Trani, Jason P. Smith

A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bi

Ilker Oguz, Jih-Liang Hsieh, Niyazi Ulas Dinc, Uğur Teğin

The ever-increasing demand for processing data with larger machine learning models requires more efficient hardware solutions due to limitations such as power dissipation and scalability. Optics is a promising contender for providing lower power computation since light propagation through a non-absorbing medium is a lossless operation. However, to carry out

Patrick Bieker

We construct integral models for moduli spaces of shtukas with deep Bruhat-Tits level structures. We embed the moduli space of global shtukas for a deep Bruhat-Tits group scheme into the limit of the moduli spaces of shtukas for all associated parahoric group schemes. Its schematic image defines an integral model of the moduli space of shtukas with deep Bruh

Axel Berg, Mark O'Connor, Kalle Åström, Magnus Oskarsson

Speaker localization using microphone arrays depends on accurate time delay estimation techniques. For decades, methods based on the generalized cross correlation with phase transform (GCC-PHAT) have been widely adopted for this purpose. Recently, the GCC-PHAT has also been used to provide input features to neural networks in order to remove the effects of n

Jens H. Nyhegn, Kristian K. Nielsen, Georg M. Bruun

The dynamics of charge carriers in lattices of quantum spins is a long standing and fundamental problem. Recently, a new generation of quantum simulation experiments based on atoms in optical lattices has emerged that gives unprecedented insights into the detailed spatial and temporal dynamics of this problem, which compliments earlier results from condensed

Ameer Jaber, Rania Shaqbou'a

A complex intuitionistic fuzzy Lie superalgebra is a generalization of intuitionistic fuzzy Lie super-algebra whose membership function takes values in the unit disk in the complex plane. In [4], we introduced and studied the concepts of complex intuitionistic fuzzy Lie sub-superalgebras and complex intuitionistic fuzzy ideals of Lie superalgebras. Moreover,

Henrik M. Bette, Michael Schreckenberg, Thomas Guhr

Non-stationarity affects the sensitivity of change detection in correlated systems described by sets of measurable variables. We study this by projecting onto different principal components. Non-stationarity is modeled as multiple normal states that exist in the system even before a change occurs. The studied changes occur in mean values, standard deviations

Hui Liu

In these proceedings, we present the measurements of centrality, transverse momentum and rapidity dependences of proton ($p$) and light nuclei ($d$ ($\overline{d}$), $t$, $^{3}\mathrm{He}$ ($\overline{^{3}\mathrm{He}}$), and $^{4}\mathrm{He}$) production in Au+Au collisions at $\sqrt{s_{\mathrm{NN}}}$ = 3 GeV, and isobaric (Ru+Ru and Zr+Zr) collisions at $\s

Nicolás E. Díaz Ferreyra, Sina Ostendorf, Esma Aïmeur, Maritta Heisel

Online self-disclosure is perhaps one of the last decade's most studied communication processes, thanks to the introduction of Online Social Networks (OSNs) like Facebook. Self-disclosure research has contributed significantly to the design of preventative nudges seeking to support and guide users when revealing private information in OSNs. Still, assessing

Lucia Skopinski, Silvan Kretschmer, Philipp Ernst, Matthias Herder

The interaction of highly charged ions (HCI) with solids leads to particle sputtering, which can be used for defect-mediated engineering of the properties of the material. Ions can store energy in the form of kinetic and potential energy (sum of the ionization energies) and transfer it to the solid upon impact. The interaction and sputtering mechanisms depen

V. Valmispild, E. Gorelov, M. Eckstein, A. Lichtenstein

Strongly correlated solids are extremely complex and fascinating quantum systems, where new states continue to emerge, especially when interaction with light triggers interplay between them. In this interplay, sub-laser-cycle electron response is particularly attractive as a tool for ultrafast manipulation of matter at PHz scale. Here we introduce a new type

Tobias Rossmann

We show that the enumeration of linear orbits and conjugacy classes of $\mathbf{Z}$-defined unipotent groups over finite fields is "wild" in the following sense: given an arbitrary scheme $Y$ of finite type over $\mathbf{Z}$ and integer $n\geqslant 1$, the numbers $\# Y(\mathbf{F}_q) \bmod q^n$ can be expressed, uniformly in $q$, in terms of the numbers of l

Ken Ohashi, Hiroaki Menjo, Takashi Sako, Yoshitaka Itow

Mass composition is important for understanding the origin of ultra-high-energy cosmic rays. However, interpretation of mass composition from air shower experiments is challenging, owing to significant uncertainty in hadronic interaction models adopted in air shower simulation. A particular source of uncertainty is diffractive dissociation, as its measuremen

Robin Denz, Nina Timmesfeld

Visualization is a key aspect of communicating the results of any study aiming to estimate causal effects. In studies with time-to-event outcomes, the most popular visualization approach is depicting survival curves stratified by the variable of interest. This approach cannot be used when the variable of interest is continuous. Simple workarounds, such as ca

Thomas Larsen, Tom Larsen, Søren J. Andreasen, Jesper D. C. Christiansen

Highly filled conductive polymer composites (CPCs) are widely used in applications such as bipolar plate materials for polymer electrolyte membrane fuel cells and redox flow batteries, electromagnetic interference shielding and sensors due to their useful electrical properties. A common method for determining through-plane electrical conductivities $\left(\s

Alexander V. Getling, Alexander G. Kosovichev

Spectral analysis of the spatial structure of solar subphotospheric convection is carried out for subsurface flow maps constructed using the time--distance helioseismological technique. The source data are obtained from the Helioseismic and Magnetic Imager (HMI) onboard Solar Dynamics Observatory (SDO) from 2010 May to 2020 September. A spherical-harmonic tr

Jingyuan Yang, Rongjun Li, Wei Peng

Error correction techniques remain effective to refine outputs from automatic speech recognition (ASR) models. Existing end-to-end error correction methods based on an encoder-decoder architecture process all tokens in the decoding phase, creating undesirable latency. In this paper, we propose an ASR error correction method utilizing the predictions of corre

Fedor Pakovich

Let $k$ be an algebraically closed field of characteristic zero, and $k[[z]]$ the ring of formal power series over $k$. We provide several characterizations of right amenable finitely generated subsemigroups of $z^2k[[z]]$ with the semigroup operation $\circ $ being composition. In particular, we show that a subsemigroup $S=\langle Q_1,Q_2,\dots, Q_k\rangle$

M. M. Amaan Valiuddin, Christiaan G. A. Viviers, Ruud J. G. van Sloun, Peter H. N. de With

Melanoma is a serious form of skin cancer with high mortality rate at later stages. Fortunately, when detected early, the prognosis of melanoma is promising and malignant melanoma incidence rates are relatively low. As a result, datasets are heavily imbalanced which complicates training current state-of-the-art supervised classification AI models. We propose

Oliver Buchholz

Explainable artificial intelligence (XAI) seeks to produce explanations for those machine learning methods which are deemed opaque. However, there is considerable disagreement about what this means and how to achieve it. Authors disagree on what should be explained (topic), to whom something should be explained (stakeholder), how something should be explaine

Ke Chen, Dandan Jiang, Bo Wang, Hongxia Wang

Abnormal event detection is critical in the safe operation of power system. In this paper, using the data collected from phasor measurement units (PMUs), two methods based on Fisher random matrix are proposed to detect faults in power grids. Firstly, the fault detection matrix is constructed and the event detection problem is reformatted as a two-sample cova

Weronika Pasek, Michał Kupczyński, Paweł Potasz

We investigate magnetic properties of quantum dot arrays of moir\'e triangular superlattices. Starting from a reciprocal space model, we use the projection technique to obtain maximally localized Wannier functions and determine generalized Hubbard model parameters. The many-body Hamiltonian is solved using the exact diagonalization method as a function of th

Hafsa Cheddadi, Saad Motahhir, Abdelaziz El Ghzizal

Critical embedded systems (CES) have become ubiquitous in whether medical, automotive, or industrial. Software failures in such systems are potentially disastrous and could lead to serious consequences not only financially but also life-threatening. However, besides their omnipresence, CES complexity have grown to extreme measures, faced with this increase,

Matteo Cimini

In prior work, Cimini has presented Lang-n-Send, a pi-calculus with language definitions. In this paper, we present an extension of this calculus called Lang-n-Send+m. First, we revise Lang-n-Send to work with transition system specifications rather than its language specifications. This revision allows the use of negative premises in deduction rules. Next,

Franco Barbanera, Ivan Lanese, Emilio Tuosto

Communication is an essential element of modern software, yet programming and analysing communicating systems are difficult tasks. A reason for this difficulty is the lack of compositional mechanisms that preserve relevant communication properties. This problem has been recently addressed for the well-known model of communicating systems, that is sets of com

S. D. Solanki, Ganesh Mundhe, S. B. Dhotre

Elementary lift is a generalized splitting operation. Splitting of a binary gammoid need not be a gammoid. This paper finds forbidden minors for a binary gammoid whose elementary lift is a binary gammoid. We also find forbidden minors for a binary gammoid whose single element coextension is a binary gammoid.

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou

Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pomsets provide a more compact alternative by using a partial order over these actions and by not making explicit the possible interleaving of concurrent actions. However, pomsets off

Gerard Tabone, Adrian Francalanza

This paper builds on prior work investigating the adaptation of session types to provide behavioural information about Elixir modules. A type system called ElixirST has been constructed to statically determine whether functions in an Elixir module observe their endpoint specifications, expressed as session types; a corresponding tool automating this typechec

Eduard Kamburjan, Nathan Wasser

We present a novel and well automatable approach to formal verification of C programs with underspecified semantics, i.e., a language semantics that leaves open the order of certain evaluations. First, we reduce this problem to non-determinism of concurrent systems, automatically extracting a distributed Active Object model from underspecified, sequential C

Christina Kurzthaler, Howard A. Stone

We explore hydrodynamic interactions between microswimmers and corrugated, or rough, surfaces, as found often in biological systems and microfluidic devices. Using the Lorentz reciprocal theorem for viscous flows we derive exact expressions for the roughness-induced velocities up to first order in the surface-height fluctuations and provide solutions for the

Lorenzo Iorio

Some measurable characteristic timescales $\left\{t_\mathrm{trn}\right\}$ of transiting exoplanets are investigated in order to check preliminarily if their cumulative shifts over the years induced by the post-Newtonian (pN) gravitoelectric (Schwarzschild) and gravitomagnetic (Lense-Thirring) components of the stellar gravitational field are, at least in pri

Sina Akbari, Fateme Jamshidi, Ehsan Mokhtarian, Matthew J. Vowels

Causal identification is at the core of the causal inference literature, where complete algorithms have been proposed to identify causal queries of interest. The validity of these algorithms hinges on the restrictive assumption of having access to a correctly specified causal structure. In this work, we study the setting where a probabilistic model of the ca

Sania Gul, Muhammad Salman Khan, Syed Waqar Shah, Ata Ur-Rehman

Reverberation results in reduced intelligibility for both normal and hearing-impaired listeners. This paper presents a novel psychoacoustic approach of dereverberation of a single speech source by recycling a pre-trained binaural anechoic speech separation neural network. As training the deep neural network (DNN) is a lengthy and computationally expensive pr

Xiao-Wen Xie, Xiu-Xiu Zhan, Zi-Ke Zhang, Chuang Liu

Hypergraphs that can depict interactions beyond pairwise edges have emerged as an appropriate representation for modeling polyadic relations in complex systems. With the recent surge of interest in researching hypergraphs, the centrality problem has attracted abundant attention due to the challenge of how to utilize the higher-order structure for the definit

Kai Jun Eer, Jesus Diaz, Markulf Kohlweiss

Self sovereign identity is a form of decentralised credential management. During credential verification, data exchange only happens between the data owner and the verifier without passing through any third parties. While this approach offers a privacy-centric solution, it poses a challenge. How do verifiers trust that the credential is vouched by a trusted

Jheng-Wei Li, Jan von Delft, Hong-Hao Tu

We develop a formalism for constructing particle-number-conserving Gaussian fermionic projected entangled pair states [U(1)-GfPEPS] and show that these states can describe ground states of band insulators and gapless fermions with band touching points. When using them as variational Ans\"{a}tze for two Dirac fermion systems ($\pi$-flux model on the square la

Zhiyuan Zhao, Chuanxin Tang, Chengdong Yao, Chong Luo

Continuous Speech Keyword Spotting (CSKWS) is a task to detect predefined keywords in a continuous speech. In this paper, we regard CSKWS as a one-dimensional object detection task and propose a novel anchor-free detector, named AF-KWS, to solve the problem. AF-KWS directly regresses the center locations and lengths of the keywords through a single-stage dee

Marco Minici, Federico Cinus, Corrado Monti, Francesco Bonchi

Despite echo chambers in social media have been under considerable scrutiny, general models for their detection and analysis are missing. In this work, we aim to fill this gap by proposing a probabilistic generative model that explains social media footprints -- i.e., social network structure and propagations of information -- through a set of latent communi

Yue Duan, Lei Qi, Lei Wang, Luping Zhou

In this work, we propose Reciprocal Distribution Alignment (RDA) to address semi-supervised learning (SSL), which is a hyperparameter-free framework that is independent of confidence threshold and works with both the matched (conventionally) and the mismatched class distributions. Distribution mismatch is an often overlooked but more general SSL scenario whe

Lev Vaidman

A brief (subjective) description of the state of the art of the many-worlds interpretation of quantum mechanics (MWI) is presented. It is argued that the MWI is the only interpretation which removes action at a distance and randomness from quantum theory. Limitations of the MWI regarding questions of probability which can be legitimately asked are specified.

M. Mahdi Azari, Symeon Chatzinotas

Cellular networks equipped with mobile edge computing (MEC) servers can be beneficial for unmanned aerial vehicles (UAVs) with limited onboard computation power and battery life-time. In this paper, we compare energy consumption of a UAV connected to cellular MEC servers in various possible scenarios such as onboard/MEC processing or parallel computation. Us

Quoc-Huy Trinh, Trong-Hieu Nguyen Mau, Radmir Zosimov, Minh-Van Nguyen

In the development of technology, there are increasing cases of brain disease, there are more treatments proposed and achieved a positive result. However, with Brain-Lesion, the early diagnoses can improve the possibility for successful treatment and can help patients recuperate better. From this reason, Brain-Lesion is one of the controversial topics in med

Edoardo Legnaro, Christos Efthymiopoulos

The focus of this paper is on inclination-only dependent lunisolar resonances, which shape the dynamics of a MEO (Medium Earth Orbit) object over secular time scales (i.e. several decades). Following the formalism of arXiv:2107.14507, we discuss an analytical model yielding the correct form of the separatrices of each one of the major lunisolar resonances in

Anthony Purcell, Ciarán Eising

With the ever-increasing electrification of the vehicle showing no sign of retreating, electronic systems deployed in automotive applications are subject to more stringent Electromagnetic Immunity compliance constraints than ever before, to ensure the proximity of nearby electronic systems will not affect their operation. The EMI compliance testing of an ana

Quoc-Huy Trinh, Minh-Van Nguyen, Thien-Phuc Nguyen Dinh

One of the most contentious areas of research in Medical Image Preprocessing is 3D CT-scan. With the rapid spread of COVID-19, the function of CT-scan in properly and swiftly diagnosing the disease has become critical. It has a positive impact on infection prevention. There are many tasks to diagnose the illness through CT-scan images, include COVID-19. In t

Alexander Bednyakov, Andrey Pikelner

A technique of large-charge expansion provides a novel opportunity for calculation of critical dimensions of operators $\phi^Q$ with fixed charge $Q$. In the small-coupling regime the polynomial structure of the anomalous dimensions can be fixed from a number of direct perturbative calculations for a fixed $Q$. At the six-loop level one needs to include new

Eric Dericquebourg, Adel Hafiane, Raphael Canals

Monitoring seed maturity is an increasing challenge in agriculture due to climate change and more restrictive practices. Seeds monitoring in the field is essential to optimize the farming process and to guarantee yield quality through high germination. Traditional methods are based on limited sampling in the field and analysis in laboratory. Moreover, they a

Lin-Han Jia, Lan-Zhe Guo, Zhi Zhou, Yu-Feng Li

LAMDA-SSL is open-sourced on GitHub and its detailed usage documentation is available at https://ygzwqzd.github.io/LAMDA-SSL/. This documentation introduces LAMDA-SSL in detail from various aspects and can be divided into four parts. The first part introduces the design idea, features and functions of LAMDA-SSL. The second part shows the usage of LAMDA-SSL b

Tu Anh Dinh, Jeroen den Boef, Joran Cornelisse, Paul Groth

Node classification utilizing text-based node attributes has many real-world applications, ranging from prediction of paper topics in academic citation graphs to classification of user characteristics in social media networks. State-of-the-art node classification frameworks, such as GIANT, use a two-stage pipeline: first embedding the text attributes of grap

Mingyuan Wang, Xiuchun Lun, Xiaokun Bo, Bing Liu

A high-frequency magnetic probe has been designed and developed on XuanLong-50 (EXL-50) spherical torus to measure high-frequency magnetic field fluctuations caused by energetic ions and electrons in the plasma. The magnetic loop, radio filters, radio-frequency (RF) limiter, and data acquisition system of the probe are described in detail. The results of the

Dennis Vetter, Jesmin Jahan Tithi, Magnus Westerlund, Roberto V. Zicari

Assessing the trustworthiness of artificial intelligence systems requires knowledge from many different disciplines. These disciplines do not necessarily share concepts between them and might use words with different meanings, or even use the same words differently. Additionally, experts from different disciplines might not be aware of specialized terms read

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

In this paper we show that the intuitionistic monotone modal logic $\mathsf{iM}$ has the uniform Lyndon interpolation property (ULIP). The logic $\mathsf{iM}$ is a non-normal modal logic on an intuitionistic basis, and the property ULIP is a strengthening of interpolation in which the interpolant depends only on the premise or the conclusion of an implicatio

Marilena Jianu, Leonard Daus, Vlad-Florin Dragoi, Valeriu Beiu

This article is studying the roots of the reliability polynomials of linear consecutive-\textit{k}-out-of-\textit{n}:\textit{F} systems. We are able to prove that these roots are unbounded in the complex plane, for any fixed $k\ge2$. In the particular case $k=2$, we show that the reliability polynomials have only real roots and highlight the closure of these

Yuri Luchko, Masahiro Yamamoto

The main objective of this paper is analysis of the initial-boundary value problems for the linear and semilinear time-fractional diffusion equations with a uniformly elliptic spatial differential operator of the second order and the Caputo type fractional derivative acting in the fractional Sobolev spaces. The boundary conditions are formulated in form of t

Hai-Jun Li

Primordial black holes (PBHs) can be produced in the very early Universe due to the large density fluctuations. The cosmic background of axion-like particles (ALPs) could be non-thermally generated by PBHs. In this paper, we investigate the ALPs emitted by ultra-light PBHs with the mass range $10 \, {\rm g} \lesssim M_{\rm PBH} \lesssim 10^9 \, \rm g$, in wh

Prabhakar Ray, Matthew Howard

The picking of one or more objects from an unsorted pile continues to be non-trivial for robotic systems. This is especially so when the pile consists of a granular material (GM) containing individual items that tangle with one another, causing more to be picked out than desired. One of the key features of such tangle-prone GMs is the presence of protrusions

Giang V. Nguyen, Semen R. Nasyrov

We describe the asymptotic behavior of the conformal modulus of an unbounded doubly-connected domain, non-symmetric with respect to the coordinate axes, when stretched in the direction of the abscissa axis with coefficient $H\to +\infty$. Therefore, we give a partial answer to a problem, suggested by M.~Vourinen, for the case of an arbitrary unbounded domain

Arkadiusz Kosior, Helmut Ritsch, Farokh Mivehvar

Gauge fields are a central concept in fundamental theories of physics, and responsible for mediating long-range interactions between elementary particles. Recently, it has been proposed that dynamical gauge fields can be naturally engineered by photons in composite, neutral quantum gas--cavity systems using suitable atom-photon interactions. Here we comprehe

Krzysztof Lisiecki, Katarzyna Małek, Małgorzata Siudek, Agnieszka Pollo

'Red nuggets' are a rare population of passive compact massive galaxies thought to be the first massive galaxies that formed in the Universe. First found at $z \sim 3$, they are even less abundant at lower redshifts, and it is believed that with time they mostly transformed through mergers into today's giant ellipticals. Those red nuggets which managed to es