Skip to content

April 2023 arXiv papers — page 42

Showing 4,1014,200 of 15,287 papers

  1. Peng Chen, Xin Du, Zhihui Lu, Hongfeng Chai

    Vertical federated learning (VFL) is a cloud-edge collaboration paradigm that enables edge nodes, comprising resource-constrained Internet of Things (IoT) devices, to cooperatively train artificial intelligence (AI) models while retaining their data locally. This paradigm facilitates improved privacy and security for edges and IoT devices, making VFL an esse

  2. Moloud Abdar, Meenakshi Kollati, Swaraja Kuraparthi, Farhad Pourpanah

    Video captioning (VC) is a fast-moving, cross-disciplinary area of research that bridges work in the fields of computer vision, natural language processing (NLP), linguistics, and human-computer interaction. In essence, VC involves understanding a video and describing it with language. Captioning is used in a host of applications from creating more accessibl

  3. Xin-Xiang Ju, Teng-Zhou Lai, Ya-Wen Sun, Yuan-Tai Wang

    The $n$-partite information (nI) is formulated as a measure of multi-partite entanglement. Field theory computation revealed that the sign of nI is indefinite for $n\geq 3$, while holographic studies conjectured a sign property that holographic nI is non-negative/non-positive for even/odd $n$, with tripartite information (TI, $n=3$) proved. We investigate th

  4. Carlos Alegría, Ioannis Mantas, Evanthia Papadopoulou, Marko Savić

    We study the Voronoi Diagram of Rotating Rays, a Voronoi structure where the input sites are rays and the distance function between a point and a site/ray, is the counterclockwise angular distance. This novel Voronoi diagram is motivated by illumination or coverage problems, where a domain must be covered by floodlights/wedges of uniform angle, and the goal

  5. Jinlu Li, Yanghai Yu, Weipeng Zhu

    In this paper we study the Cauchy problem of the Novikov equation in $\mathbb{R}$ for initial data belonging to the Triebel-Lizorkin spaces, i.e, $u_0\in F^{s}_{p,r}$ with $1< p, r<\infty$ and $s>\max\{\frac32,1+\frac1p\}$. We prove local-in-time unique existence of solution to the Novikov equation in $F^{s}_{p,r}$. Furthermore, we obtain that the data-to-so

  6. Tianci Huang, Charles Naudet, Matthew J. Zahr

    High-order implicit shock tracking (fitting) is a class of high-order, optimization-based numerical methods to approximate solutions of conservation laws with non-smooth features by aligning elements of the computational mesh with non-smooth features. This ensures the non-smooth features are perfectly represented by inter-element jumps and high-order basis f

  7. Ilya Boykov, Vladimir Roudnev, Alla Boykova

    In this paper we propose new sufficient conditions for stability of solutions of systems of Volterra linear integral equations and systems of linear integro-differential Volterra equations. Solution stability conditions for systems of Volterra linear integral equations are studied with perturbed right hand sides of the equations. These new sufficient conditi

  8. Marc Barthelemy

    Moves in chess games are usually analyzed on a case-by-case basis by professional players, but thanks to the availability of large game databases, we can envision another approach of the game. Here, we indeed adopt a very different point of view, and analyze moves in chess games from a statistical point of view. We first focus on spatial properties and the l

  9. Xiaowen Ma, Rui Che, Tingfeng Hong, Mengting Ma

    Spatial attention mechanism has been widely used in semantic segmentation of remote sensing images given its capability to model long-range dependencies. Many methods adopting spatial attention mechanism aggregate contextual information using direct relationships between pixels within an image, while ignoring the scene awareness of pixels (i.e., being aware

  10. Michael Baer, Soumya Mukherjee, Satyam Ravi, Satrajit Adhikari

    By going beyond the Born-Oppenheimer approximation and treating the non-adiabatic coupling terms (NACTs) as equivalent to a frictional force in a molecular system, the classical equations of motion are solved for a test case of H3+. Using an ab initio potential energy surface for the ground electronic state and its NACTs with the first excited state of H3+,

  11. Nicola Apollonio

    For a graph $G$ and a positive integer $c$, let $M_c(G)$ be the size of a subgraph of $G$ induced by a randomly sampled subset of $c$ vertices. Second-order moments of $M_c(G)$ encode part of the structure of $G$. We use this fact, coupled to classical moment inequalities, to prove graph theoretical results, to give combinatorial identities, to bound the siz

  12. Xiaowen Ma, Jiawei Yang, Tingfeng Hong, Mengting Ma

    As an important task in remote sensing image analysis, remote sensing change detection (RSCD) aims to identify changes of interest in a region from spatially co-registered multi-temporal remote sensing images, so as to monitor the local development. Existing RSCD methods usually formulate RSCD as a binary classification task, representing changes of interest

  13. Giuseppe Mulone

    We study the monotone nonlinear energy stability of \textit{magnetohydrodynamics plane shear flows, Couette and Hartmann flows}. We prove that the least stabilizing perturbations, in the energy norm, are the two-dimensional spanwise perturbations and give some criti\-cal Reynolds numbers Re$_E$ for some selected Prandtl and Hartmann numbers. This result solv

  14. Luca Giovenzana, Tiago Duarte Guerreiro, Nivedita Viswanathan

    We prove K-stability of every smooth member of the family 2.15 of the Mukai-Mori classification.

  15. Carla Fernández-Rico, Sanjay Schreiber, Hamza Oudich, Charlotta Lorenz

    Bicontinuous microstructures are essential to the function of diverse natural and synthetic systems. Their synthesis has been based on two approaches: arrested phase separation or self-assembly of block copolymers. The former is attractive for its chemical simplicity, the latter for its thermodynamic robustness. Here, we introduce Elastic MicroPhase Separati

  16. Frank Zimmermann

    We report on the Future Circular Collider (FCC) Feasibility Study, the mid-term review in autumn 2023, and the longer term timeline.

  17. Babak Taheri, Daniel K. Molzahn

    This paper presents an algorithm for restoring AC power flow feasibility from solutions to simplified optimal power flow (OPF) problems, including convex relaxations, power flow approximations, and machine learning (ML) models. The proposed algorithm employs a state estimation-based post-processing technique in which voltage phasors, power injections, and li

  18. Giuseppe Mulone

    The Squire's theorem holds for parallel shear flows governed by the linearized Navier-Stokes equations. Squire writes ``For the study of the stability of flow between parallel walls it is sufficient to confine attention to disturbances of two-dimensional type", Squire \cite[p. 627]{Squire1933}. Instead, for nonlinear Navier-Stokes system it is supposed that

  19. Anne-Marie Aubert, Alfio Fabio La Rosa

    In a recent article, D. Kazhdan and A. Yom Din conjectured the validity of an asymptotic form of Schur's orthogonality for tempered irreducible unitary representations of semisimple groups defined over local fields. In the non-Archimedean case, they established such an orthogonality for $K$-finite matrix coefficients. Building on their work, and exploiting t

  20. Giuseppe Mulone

    Critical Reynolds numbers for the monotone exponential energy stability of Couette and Poiseuille plane flows were obtained by Orr 1907 \cite{Orr1907} in a famous paper, and by Joseph 1966 \cite{Joseph1966}, Joseph and Carmi 1969 \cite{JosephCarmi1969} and Busse 1972 \cite{Busse1972}. All these authors obtained their results applying variational methods to c

  21. Inácio Bó, Li Chen, Rustamdjan Hakimov

    We consider situations where consumers are aware that a statistical model determines the price of a product based on their observed behavior. Using a novel experiment varying the context similarity between participant data and a product, we find that participants manipulate their responses to a survey about personal characteristics, and manipulation is more

  22. Xin Chen, Hengheng Zhang, Xiaotao Gu, Kaifeng Bi

    The Mixture of Experts (MoE) model becomes an important choice of large language models nowadays because of its scalability with sublinear computational complexity for training and inference. However, existing MoE models suffer from two critical drawbacks, 1) tremendous inner-node and inter-node communication overhead introduced by all-to-all dispatching and

  23. Koya Hiura, Shun Suzuki, Tao Morisaki, Masahiro Fujiwara

    Guiding human movements using tactile information is one of the promising applications of haptics. Using midair ultrasonic haptic stimulation, it is possible to guide a hand without visual information.However, the information of movement shown by conventional methods was partial. It has not been shown a method to guide a hand to an arbitrary point in three d

  24. Elena Denisova

    In this article, we compute $\delta$-invariants of Du Val del Pezzo surfaces of degree $\ge 4$.

  25. Heng Wang, Wenqian Zhang, Yuyang Bai, Zhaoxuan Tan

    Online movie review platforms are providing crowdsourced feedback for the film industry and the general public, while spoiler reviews greatly compromise user experience. Although preliminary research efforts were made to automatically identify spoilers, they merely focus on the review content itself, while robust spoiler detection requires putting the review

  26. Sidharth Ranjan, Titus von der Malsburg

    The principle of DEPENDENCY LENGTH MINIMIZATION, which seeks to keep syntactically related words close in a sentence, is thought to universally shape the structure of human languages for effective communication. However, the extent to which dependency length minimization is applied in human language systems is not yet fully understood. Preverbally, the place

  27. Yilin Liu, Jiang Li, Yunkui Pang, Dong Nie

    Deep Image Prior (DIP) shows that some network architectures naturally bias towards smooth images and resist noises, a phenomenon known as spectral bias. Image denoising is an immediate application of this property. Although DIP has removed the requirement of large training sets, it still presents two practical challenges for denoising: architectural design

  28. Ahlam Husni Abu Nada, Siddique Latif, Junaid Qadir

    Toxicity is a prevalent social behavior that involves the use of hate speech, offensive language, bullying, and abusive speech. While text-based approaches for toxicity detection are common, there is limited research on processing speech signals in the physical world. Detecting toxicity in the physical world is challenging due to the difficulty of integratin

  29. Pengda Mao, Rao Fu, Quan Quan

    This paper presents a novel method for efficiently solving a trajectory planning problem for swarm robotics in cluttered environments. Recent research has demonstrated high success rates in real-time local trajectory planning for swarm robotics in cluttered environments, but optimizing trajectories for each robot is still computationally expensive, with a co

  30. Alireza Salemi, Sheshera Mysore, Michael Bendersky, Hamed Zamani

    This paper highlights the importance of personalization in large language models and introduces the LaMP benchmark -- a novel benchmark for training and evaluating language models for producing personalized outputs. LaMP offers a comprehensive evaluation framework with diverse language tasks and multiple entries for each user profile. It consists of seven pe

  31. Gong Chen, Yanan Zhao, Yi Wang, Kim-Hui Yap

    Recently, synthetic aperture radar (SAR) image change detection has become an interesting yet challenging direction due to the presence of speckle noise. Although both traditional and modern learning-driven methods attempted to overcome this challenge, deep convolutional neural networks (DCNNs)-based methods are still hindered by the lack of interpretability

  32. Hui Chu, Chen Wang, Yiwei Zhang

    In a DNA sequence, we have the celebrated Watson-Crick complement $\overline{T}=A$, $\overline{A}=T$, $\overline{C}=G$, and $\overline{G}=C$. Given an integer $m\ge 2$, a secondary structure in a DNA sequence refers to the existence of two non-overlapping reverse complement consecutive subsequences of length $m$, denoted as $\boldsymbol{x}=(x_1, \dots, x_m)$

  33. Chuan-Zhe Yao, Hon-Lam Lai, Wei-Min Zhang

    We present a quantum transport theory for hybrid superconducting systems based on our exact master equation approach. The total transient transport current is decomposed into components that describe coherent transports through different paths of particle and hole channels. We show that the coherent transports are resultant interferences of numerous repeated

  34. Michael W Reeks, Sean McKee

    The principle of Random Galilean Transformation (RGT) Invariance is applied to the random motion of particles in a turbulent gas to construct a kinetic equation for the transport of the particle phase space probability <W(\mathbf{v},\mathbf{x},t)> where \mathbf{v} and \mathbf{x} are the velocity and position of a particle at time t. The essential problem is

  35. Hanhui Yang, Juncheng Li, Lok Ming Lui, Shihui Ying

    Fast and accurate MRI reconstruction is a key concern in modern clinical practice. Recently, numerous Deep-Learning methods have been proposed for MRI reconstruction, however, they usually fail to reconstruct sharp details from the subsampled k-space data. To solve this problem, we propose a lightweight and accurate Edge Attention MRI Reconstruction Network

  36. José Ribeiro, Nicholas Okita, Tiago A. Coimbra, Jorge H. Faccipieri

    The search for traveltime parameters is a global optimization problem. Several metaheuristics have been proposed to locate the global optima to compute the least amount of their objective functions. However, the theoretical limitations imposed by the no-free-lunch theorem restrict the optimality of such metaheuristics. To escape those limitations, we propose

  37. Alexander Muñoz, Ademir Pastor

    This work is devoted to study the relation between the regularity index and the decay for solutions of the modified Korteweg-de Vries equation in weighted Sobolev spaces. We show if a solution belongs to a Sobolev space and has a large polynomial decay, compared to the regularity, then actually it is more regular than initially considered.

  38. Xianhao Chen, Yiqin Deng, Haichuan Ding, Guanqiao Qu

    Smart cities demand resources for rich immersive sensing, ubiquitous communications, powerful computing, large storage, and high intelligence (SCCSI) to support various kinds of applications, such as public safety, connected and autonomous driving, smart and connected health, and smart living. At the same time, it is widely recognized that vehicles such as a

  39. Rafayel Darbinyan, Hrant Khachatrian, Rafayel Mkrtchyan, Theofanis P. Raptis

    The challenging problem of non-line-of-sight (NLOS) localization is critical for many wireless networking applications. The lack of available datasets has made NLOS localization difficult to tackle with ML-driven methods, but recent developments in synthetic dataset generation have provided new opportunities for research. This paper explores three different

  40. Moladad Nikbakht, Farzam Bahmani

    Recent advancements in the field of topological band theory have significantly contributed to our understanding of intriguing topological phenomena observed in various classical and quantum systems, encompassing both wave and dissipative systems. In this study, we employ the notion of band theory to establish a profound connection between the spatio-temporal

  41. Zixuan Feng

    In this article we prove spin statistics theorem for arbitrary massive (A, B) field in a representation theoretic manner. General Gamma matrices are introduced, and explicit forms for low spin are calculated. Spin sums and twisted spin sums are introduced to prove spin statistics and derive field equations respectively, and their relations are discussed. Kle

  42. Feng Jiang, Heng Gao, Shoumeng Qiu, Haiqiang Zhang

    LiDAR point cloud segmentation is one of the most fundamental tasks for autonomous driving scene understanding. However, it is difficult for existing models to achieve both high inference speed and accuracy simultaneously. For example, voxel-based methods perform well in accuracy, while Bird's-Eye-View (BEV)-based methods can achieve real-time inference. To

  43. Hans Rabus, Miriam Schwarze, Leo Thomas

    In the recently published article by T.M. Gray et al. "Microdosimetric and radiobiological effects of gold nanoparticles at therapeutic radiation energies" (IJRB 2023, 99(2), 308-317) results of Monte Carlo simulations and radiobiological assays on the dosimetric effects of gold nanoparticles were presented. This commentary points out that the results of the

  44. Zhenhao Li, Chuan Luo, Tse-Hsun Chen, Weiyi Shang

    Due to the sheer size of software logs, developers rely on automated techniques for log analysis. One of the first and most important steps of automated log analysis is log abstraction, which parses the raw logs into a structured format. Prior log abstraction techniques aim to identify and abstract all the dynamic variables in logs and output a static log te

  45. Ivan Z. Stefanov, Nikolay Denev, Sava Donkov

    In this paper problems that arose with the introduction of distance learning in physics at the Technical University of Sofia due to the COVID-19 pandemic and the imposition of video recording of laboratory exercises are indicated. It was found that the video for the ''Damped Mechanical Oscillations'' exercise provides enough information for a more detailed a

  46. Byung-Doh Oh, William Schuler

    Recent psycholinguistic studies have drawn conflicting conclusions about the relationship between the quality of a language model and the ability of its surprisal estimates to predict human reading times, which has been speculated to be due to the large gap in both the amount of training data and model capacity across studies. The current work aims to consol

  47. Wei Ren

    We propose Reduced Collatz Conjecture that is equivalent to Collatz Conjecture, which states that every positive integer can return to an integer less than it, instead of 1. Reduced Collatz Conjecture is easier to explore because certain structures must be presented in reduced dynamics, rather than in original dynamics (as original dynamics is a mixture of o

  48. Michel Dekking, Ad van Loon

    In a base phi representation a natural number is written as a sum of powers of the golden mean $\varphi$. There are many ways to do this. How many? Even if the number of powers of $\varphi$ is finite, then any number has infinitely many base phi representations. By not allowing an expansion to end with the digits 0,1,1, the number of expansions becomes finit

  49. David G. Felton, David A. Hague

    This paper describes a gradient-descent based optimization algorithm for synthesizing Multi-Tone Sinusoidal Frequency Modulated (MTSFM) waveforms with low Auto-Correlation Function (ACF) sidelobes in a specified region of time delays while preserving the ACF mainlobe width. The algorithm optimizes the Generalized Integrated Sidelobe Level (GISL) which contro

  50. Hyuckjin Choi, Jaehoon Chung, Jaeky Oh, George C. Alexandropoulos

    This paper presents the development and evaluation of WiThRay, a new wireless three-dimensional ray-tracing (RT) simulator. RT-based simulators are widely used for generating realistic channel data by combining RT methodology to get signal trajectories and electromagnetic (EM) equations, resulting in generalized channel impulse responses (CIRs). This paper f

  51. Mingyang Geng, Shangwen Wang, Dezun Dong, Haotian Wang

    Code comment generation aims at generating natural language descriptions for a code snippet to facilitate developers' program comprehension activities. Despite being studied for a long time, a bottleneck for existing approaches is that given a code snippet, they can only generate one comment while developers usually need to know information from diverse pers

  52. Huanhuan Yuan, Pengpeng Zhao, Xuefeng Xian, Guanfeng Liu

    Deep learning and symbolic learning are two frequently employed methods in Sequential Recommendation (SR). Recent neural-symbolic SR models demonstrate their potential to enable SR to be equipped with concurrent perception and cognition capacities. However, neural-symbolic SR remains a challenging problem due to open issues like representing users and items

  53. Régis Mélin, Romain Danneau, Clemens B. Winkelmann

    The multiterminal Josephson effect aroused considerable interest recently, in connection with theoretical and experimental evidence for correlations among Cooper pairs, that is, the so-called Cooper quartets. It was further predicted that the spectrum of Andreev bound states in such devices could host Weyl-point singularities. However, the relative phase bet

  54. Yuxing Chen, Maofan Zhao, Lorenzo Bruzzone

    The mechanism of connecting multimodal signals through self-attention operation is a key factor in the success of multimodal Transformer networks in remote sensing data fusion tasks. However, traditional approaches assume access to all modalities during both training and inference, which can lead to severe degradation when dealing with modal-incomplete input

  55. Ulf Klein

    As was recently shown, non-relativistic quantum theory can be derived by means of a projection method from a continuum of classical solutions for (massive) particles. In this paper we show that Maxwell's equations in empty space can be derived using the same method. In this case the starting point is a continuum of solutions of equations of motion for massle

  56. Song Wang, Wentong Li, Wenyu Liu, Xiaolu Liu

    Semantic map construction under bird's-eye view (BEV) plays an essential role in autonomous driving. In contrast to camera image, LiDAR provides the accurate 3D observations to project the captured 3D features onto BEV space inherently. However, the vanilla LiDAR-based BEV feature often contains many indefinite noises, where the spatial features have little

  57. Ion Santra, Durgesh Ajgaonkar, Urna Basu

    We study the motion of a one-dimensional particle which reverses its direction of acceleration stochastically. We focus on two contrasting scenarios, where the waiting-times between two consecutive acceleration reversals are drawn from (i) an exponential distribution and (ii) a power-law distribution $\rho(\tau)\sim \tau^{-(1+\alpha)}$. We compute the mean,

  58. Sibi Chakkaravarthy Sethuraman, Gaurav Reddy Tadkapally, Athresh Kiran, Saraju P. Mohanty

    The utilization of consumer electronics, such as televisions, set-top boxes, home theaters, and air conditioners, has become increasingly prevalent in modern society as technology continues to evolve. As new devices enter our homes each year, the accumulation of multiple infrared remote controls to operate them not only results in a waste of energy and resou

  59. Ken Hasselmann, Quentin Lurkin

    Strong foundations in basic AI techniques are key to understanding more advanced concepts. We believe that introducing AI techniques, such as search methods, early in higher education helps create a deeper understanding of the concepts seen later in more advanced AI and algorithms courses. We present a project-based and competition-based bachelor course that

  60. Yuxing Chen, Lorenzo Bruzzone

    While unsupervised change detection using contrastive learning has been significantly improved the performance of literature techniques, at present, it only focuses on the bi-temporal change detection scenario. Previous state-of-the-art models for image time-series change detection often use features obtained by learning for clustering or training a model fr

  61. Huirong Ma, Zhi Zhou, Xiaoxi Zhang, Xu Chen

    Provisioning dynamic machine learning (ML) inference as a service for artificial intelligence (AI) applications of edge devices faces many challenges, including the trade-off among accuracy loss, carbon emission, and unknown future costs. Besides, many governments are launching carbon emission rights (CER) for operators to reduce carbon emissions further to

  62. Hiroo Azuma

    In this paper, we investigate how to generate coherent squeezed like light using a nonlinear photonic crystal. Because the photonic crystal reduces the group velocity of the incident light, if it is composed of a material with a second-order nonlinear optical susceptibility $\chi^{(2)}$, the interaction between the nonlinear material and the light passing th

  63. Stefano Almi, Emanuele Tasso

    We introduce a new space of generalized functions of bounded deformation $GBD_{F}$, made of functions u whose one-dimensional slice $u(\gamma) \cdot \dot{\gamma}$ has bounded variation in a generalized sense for all curves $\gamma$ solution of the second order ODE $\ddot{\gamma} = F(\gamma, \dot{\gamma})$ for a fixed field F. For $u \in GBD_{F}$ we study the

  64. Ilijas Farah

    No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination.

  65. Haitao Li, Qingyao Ai, Jia Chen, Qian Dong

    Legal case retrieval, which aims to find relevant cases for a query case, plays a core role in the intelligent legal system. Despite the success that pre-training has achieved in ad-hoc retrieval tasks, effective pre-training strategies for legal case retrieval remain to be explored. Compared with general documents, legal case documents are typically long te

  66. Dorota Kepa-Maksymowicz, Yuri Kozitsky

    Markov random fields on a countable set $\sf V$ are studied. They are canonically set by a specification $\gamma$, for which the dependence structure is defined by a pre-modification $(h_e)_{e\in {\sf E}}$ -- a consistent family of functions $h_e : S^e\to [0,+\infty)$, where $S$ is a standard Borel space and $\sf E$ is an infinite collection of finite $e\sub

  67. Jin Zhang, Chunxiao Zhang

    On Bakhvalov-type mesh, uniform convergence analysis of finite element method for a 2-D singularly perturbed convection-diffusion problem with exponential layers is still an open problem. Previous attempts have been unsuccessful. The primary challenges are the width of the mesh subdomain in the layer adjacent to the transition point, the restriction of the D

  68. Xingyu Peng, Zhenkun Zhou, Chong Zhang, Ke Xu

    Public opinion is a crucial factor in shaping political decision-making. Nowadays, social media has become an essential platform for individuals to engage in political discussions and express their political views, presenting researchers with an invaluable resource for analyzing public opinion. In this paper, we focus on the 2020 US presidential election and

  69. Horaţiu Cheval

    In this paper we generalize the strongly convergent Krasnoselskii- Mann-type iteration for families of nonexpansive mappings defined recently by Bo\c{t} and Meier in Hilbert spaces to the abstract setting of W - hyperbolic spaces and we compute effective rates of asymptotic regularity for our generalization. This also generalizes recent results by Leu\c{s}te

  70. Lohit Kayal, Ratul Dasgupta

    We demonstrate that gravity acting alone at large length scales, can produce a jet from a large amplitude, axisymmetric surface deformation imposed on a quiescent, deep pool of liquid. Mechanistically, the jet owes it origin to the focussing of a concentric, surface wave towards the axis of symmetry, quite analogous to such focussing of capillary waves and r

  71. Ekaterina Vlasiuk, Valerii K. Kozin, Jelena Klinovaja, Daniel Loss

    We develop a length-gauge formalism for treating one-dimensional periodic lattice systems in the presence of a photon cavity inducing light-matter interaction. The purpose of the formalism is to remove mathematical ambiguities that occur when defining the position operator in the context of the Power-Zienau-Woolley Hamiltonian. We then use a diagrammatic app

  72. Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu

    Lexicographic Ranking SuperMartingale (LexRSM) is a probabilistic extension of Lexicographic Ranking Function (LexRF), which is a widely accepted technique for verifying program termination. In this paper, we are the first to propose sound probabilistic extensions of LexRF with a weaker non-negativity condition, called single-component (SC) non-negativity. I

  73. Siddharth Parashari, Damir Bosnar, Ivica Friščić, Zdenka Kuncic

    In para-positronium annihilation, exploration of the polarization correlations of the emerging gamma quanta has gained interest, since it offers a possibility to improve signal-to-background in medical imaging using positron emission tomography. The annihilation quanta, which are predicted to be in an entangled state, have orthogonal polarizations and this p

  74. Kanji Mori, Tomoya Takiwaki, Kei Kotake, Shunsaku Horiuchi

    Core-collapse supernovae are a useful laboratory to probe the nature of exotic particles. If axionlike particles (ALPs) are produced in supernovae, they can affect the transfer of energy and leave traces in observational signatures. In this work, we present results from two-dimensional supernova models including the effects of the production and the absorpti

  75. Katja Rogers, Katie Seaborn

    The field of human-computer interaction (HCI) is maturing. Systematic reviews, a staple of many disciplines, play an important and often essential role in how each field contributes to human knowledge. On this prospect, we argue that our meta-level approach to research within HCI needs a revolution. First, we echo previous calls for greater rigour in primary

  76. Qian Wang, Yongqin Xian, Hefei Ling, Jinyuan Zhang

    Adversarial attacks aim to disturb the functionality of a target system by adding specific noise to the input samples, bringing potential threats to security and robustness when applied to facial recognition systems. Although existing defense techniques achieve high accuracy in detecting some specific adversarial faces (adv-faces), new attack methods especia

  77. Toshio Suzuki, Noritaka Shimizu

    Neutrino-induced reactions on $^{40}$Ar are investigated by shell model for Gamow-Teller transitions and random-phase-approximation (RPA) for forbidden transitions. For the 1$^{+}$ multipole, an effective interaction in $sd$-$pf$ shell obtained by the extended Kuo-Krenciglowa (EKK) method from chiral interactions is used to study $B(GT)$, charged-current rea

  78. Emanuele Sansone, Robin Manhaeve

    We introduce GEDI, a Bayesian framework that combines existing self-supervised learning objectives with likelihood-based generative models. This framework leverages the benefits of both GEnerative and DIscriminative approaches, resulting in improved symbolic representations over standalone solutions. Additionally, GEDI can be easily integrated and trained jo

  79. Jiaming Chu, Lei Jin, Junliang Xing, Jian Zhao

    This work studies the multi-human parsing problem. Existing methods, either following top-down or bottom-up two-stage paradigms, usually involve expensive computational costs. We instead present a high-performance Single-stage Multi-human Parsing (SMP) deep architecture that decouples the multi-human parsing problem into two fine-grained sub-problems, i.e.,

  80. Matthew Satriano, Jeremy Usatine

    We prove that every variety with log-terminal singularities admits a crepant resolution by a smooth Artin stack. We additionally prove new McKay correspondences for resolutions by Artin stacks, expressing stringy invariants of $\mathbb{Q}$-Gorenstein varieties in terms of motivic integrals on arc spaces of smooth stacks. In the crepant case, these McKay corr

  81. Yuan-Fu Yang, Iuan-Kai Fang, Min Sun, Su-Chu Hsu

    Airborne particles are the medium for SARS-CoV-2 to invade the human body. Light also reflects through suspended particles in the air, allowing people to see a colorful world. Impressionism is the most prominent art school that explores the spectrum of color created through color reflection of light. We find similarities of color structure and color stacking

  82. Katie Seaborn, Yeongdae Kim

    As virtual assistants continue to be taken up globally, there is an ever-greater need for these speech-based systems to communicate naturally in a variety of languages. Crowdsourcing initiatives have focused on multilingual translation of big, open data sets for use in natural language processing (NLP). Yet, language translation is often not one-to-one, and

  83. Daizhan Cheng, Xiao Zhang, Zhengping Ji

    First, the topological structure of a transition system is studied. Then, two types of transition system (TS) representations of Boolean networks (BNs) and Boolean control networks (BCNs) are investigated. The first kind of representation is state-based, which converts a BCN into a TS with either distinct control or non-distinct control. The second represent

  84. F. Sgaramella, M. Tüchler, C. Amsler, M. Bazzi

    The SIDDHARTA-2 experiment installed at the DA$\mathrm{\Phi}$NE collider of INFN-LNF performed, for the first time, measurements of high-n transitions in intermediate mass kaonic atoms during the data taking campaigns of 2021 and 2022. Kaonic carbon, oxygen, nitrogen and aluminium transitions, which occur in the setup materials, were measured by using the ka

  85. Pascal Boyer

    Clozel, Harris and Taylor proposed conjectural generalizations of the classical Ihara's lemma for $\mathrm{GL}_2$, to higher dimensional similitude groups. We prove these conjectures in the so called limit case, which after base change is the essential one, under any hypothesis allowing level raising.

  86. Andrei-Marius Avram, Verginica Barbu Mititelu, Dumitru-Clementin Cercel

    Multiword expressions are a key ingredient for developing large-scale and linguistically sound natural language processing technology. This paper describes our improvements in automatically identifying Romanian multiword expressions on the corpus released for the PARSEME v1.2 shared task. Our approach assumes a multilingual perspective based on the recently

  87. Giacomo Canevari, Van Phu Cuong Le

    In this paper, we investigate the relation between energy-minimizing torus-valued maps with prescribed singularities, the lifting problem for torus-valued maps in the space BV, and Plateau's problem for vectorial currents, in codimension one. First, we show that the infimum of the $W^{1,1}$-seminorm among all maps with values in the $k$-dimensional flat toru

  88. Lorenzo Dello Schiavo

    A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of maps of bounded compression/deformation by means of the measure-algebra functor and corroborates the assertion that maps o

  89. Katie Seaborn

    Gender is a hot topic in the field of human-computer interaction (HCI). Work has run the gamut, from assessing how we embed gender in our computational creations to correcting systemic sexism, online and off. While gender is often framed around women and femininities, we must recognize the genderful nature of humanity, acknowledge the evasiveness of men and

  90. Chenyu Wu, Yufei Zhang

    Turbulence modeling within the RANS equations' framework is essential in engineering due to its high efficiency. Field inversion and machine learning (FIML) techniques have improved RANS models' predictive capabilities for separated flows. However, FIML-generated models often lack interpretability, limiting physical understanding and manual improvements base

  91. Shun Hidaka, Sota Kobuki, Mizuki Watanabe, Katie Seaborn

    Dark patterns are deceptive and malicious properties of user interfaces that lead the end-user to do something different from intended or expected. While now a key topic in critical computing, most work has been conducted in Western contexts. Japan, with its booming app market, is a relatively uncharted context that offers culturally- and linguistically-sens

  92. Giacomo Canevari, Federico Luigi Dipasquale, Giandomenico Orlandi

    We consider a gauge-invariant Ginzburg-Landau functional (also known as Abelian Yang-Mills-Higgs model) on Hermitian line bundles over closed Riemannian manifolds of dimension $n \geq 3$. Assuming a logarithmic energy bound in the coupling parameter, we study the asymptotic behaviour of critical points in the non-self dual scaling, as the coupling parameter

  93. Ying-Chuan Chen, Yu-Ting Chao, Edward Chen, Chao-Hsin Wu

    Resistive memory based on 2D WS2, MoS2, and h-BN materials has been studied, including experiments and simulations. The influences with different active layer thicknesses have been discussed, including experiments and simulations. The thickness with the best On/Off ratio is also found for the 2D RRAM. This work reveals fundamental differences between a 2D RR

  94. Benjamin Foster

    We study various properties of the gradients of solutions to harmonic functions on Lipschitz surfaces. We improve an exponential bound of Naber and Valtorta on the size of the superlevel sets for the frequency function to a sharp quadratic bound in this setting using complex analytic tools. We also develop a propagation of smallness for gradients of harmonic

  95. An-Ke Lei, Du-Juan Wang, Dai-Mei Zhou, Ben-Hao Sa

    We calculate four types of initial vorticities in Au+Au collisions at energies $ \sqrt{S_{NN}} $ = 5--200 GeV using a microscopic transport model PACIAE. Our simulation shows the non-monotonic dependence of the initial vorticities on the collision energies. The energy turning point is around 10-15 GeV for different vorticities but not sensitive to impact par

  96. Baao Xie, Bohan Li, Zequn Zhang, Junting Dong

    3D representation disentanglement aims to identify, decompose, and manipulate the underlying explanatory factors of 3D data, which helps AI fundamentally understand our 3D world. This task is currently under-explored and poses great challenges: (i) the 3D representations are complex and in general contains much more information than 2D image; (ii) many 3D re

  97. Ziyang Song, Zheng Shi, Jiaji Su, Qingping Dou

    Terahertz (THz) communications are envisioned to be a promising technology for 6G thanks to its broad bandwidth. However, the large path loss, antenna misalignment, and atmospheric influence of THz communications severely deteriorate its reliability. To address this, hybrid automatic repeat request (HARQ) is recognized as an effective technique to ensure rel

  98. Sakae Mizuki, Naoaki Okazaki

    A promising approach for knowledge-based Word Sense Disambiguation (WSD) is to select the sense whose contextualized embeddings computed for its definition sentence are closest to those computed for a target word in a given sentence. This approach relies on the similarity of the \textit{sense} and \textit{context} embeddings computed by a pre-trained languag

  99. Huan-Qiang Zhou, Qian-Qian Shi, Ian P. McCulloch, Murray T. Batchelor

    A universal finite system-size scaling analysis of the entanglement entropy is presented for highly degenerate ground states arising from spontaneous symmetry breaking with type-B Goldstone modes in exactly solvable one-dimensional quantum many-body systems. These states appear to be scale-invariant, but not conformally invariant. Our findings are based on a

  100. Federico Talamucci

    The main topic of this work concerns the formulation of the equations of motion and the consequent energy balance that they imply for this type of systems, In particular, the analytical development that we will carry out on the equations of motion has as its objective the energy balance of the system. the delicate question of defining the displacements admit