April 2023 arXiv papers — page 109
Showing 10,801–10,900 of 15,287 papers
Improving ABR Performance for Short Video Streaming Using Multi-Agent Reinforcement Learning with Expert Guidance
cs.MMYueheng Li, Qianyuan Zheng, Zicheng Zhang, Hao Chen
In the realm of short video streaming, popular adaptive bitrate (ABR) algorithms developed for classical long video applications suffer from catastrophic failures because they are tuned to solely adapt bitrates. Instead, short video adaptive bitrate (SABR) algorithms have to properly determine which video at which bitrate level together for content prefetchi
Yi Yu
The Kuramoto model is a commonly used mathematical model for studying synchronized oscillations in biological systems, with its temporal synchronization properties well studied. However, the properties of spatial waves have received less attention. This paper investigates the spatial waves formed by locally coupled oscillators arranged in an $n\times n$ grid
ESID: Exploring the Design and Development of a Visual Analytics Tool for Epidemiological Emergencies
cs.HCPawandeep Kaur Betz, Julien Stoll, Valerie Grappendorf, Jonas Gilg
Visual analytics tools can help illustrate the spread of infectious diseases and enable informed decisions on epidemiological and public health issues. To create visualisation tools that are intuitive, easy to use, and effective in communicating information, continued research and development focusing on user-centric and methodological design models is extre
Once again on weak solutions of time inhomogeneous It\^o's equations with VMO diffusion and Morrey drift
math.PRN. V. Krylov
We prove the existence and weak uniqueness of weak solutions of It\^o's stochastic time dependent equations with irregular diffusion and drift terms of Morrey class with mixed norms.
K. R. Rajagopal, C. Rodriguez
We present a nonlinear, geometrically exact, and thermodynamically consistent framework for modeling special Cosserat rods with evolving natural configurations. In contrast to the common usage of the point-wise Clausius-Duhem inequality to embody the Second Law of Thermodynamics, we enforce the strictly weaker form that the rate of total entropy production i
Beverly K. Berger, James Isenberg, Adam Layne
The asymptotic behavior of expanding, generic, $T^2$-Symmetric, vacuum spacetimes is examined via numerical simulations. After validation of the numerical methods, the properties of these generic spacetimes are explored and compared to non-generic subfamilies where proven results exist. The non-generic subfamilies within this class, including the Kasner, the
Extension of Dictionary-Based Compression Algorithms for the Quantitative Visualization of Patterns from Log Files
cs.IRIgor Cherepanov, Jonathan Geraldi Joewono, Arjan Kuijper, Jörn Kohlhammer
Many services today massively and continuously produce log files of different and varying formats. These logs are important since they contain information about the application activities, which is necessary for improvements by analyzing the behavior and maintaining the security and stability of the system. It is a common practice to store log files in a com
Dry-to-Wet Soil Gradients Enhance Convection and Rainfall over Subtropical South America
physics.ao-phDivyansh Chug, Francina Dominguez, Christopher M Taylor, Cornelia Klein
Soil moisture-precipitation (SM-PPT) feedbacks at the mesoscale represent a major challenge for numerical weather prediction, especially for subtropical regions that exhibit large variability in surface SM. How does surface heterogeneity, specifically mesoscale gradients in SM and land surface temperature (LST), affect convective initiation (CI) over South A
Roman Nevzorov
The E6 inspired extension of the minimal supersymmetric (SUSY) standard model (MSSM) with an extra U(1)_N gauge symmetry, under which right-handed neutrinos have zero charge, involves exotic matter beyond the MSSM to ensure anomaly cancellation. We consider the variant of this extension (SE6SSM) in which the cold dark matter is composed of the lightest neutr
Implementation of a Sustainable Security Architecture using Radio Frequency Identification (RFID) Technology for Access Control
eess.SYShakiru Olajide Kassim, Aisha Samaila Idriss, Abdullahi Isa Ahmed
Implementation of a sustainable security architecture has been quite a challenging task with several technology deployed to achieve the feat. Automatic IDentification (Auto-ID) procedures exist to provide information about people, animals, goods and products in transit and found several applications in purchasing and distribution logistics, industries, manuf
Nick Salter
The space of monic squarefree complex polynomials has a stratification according to the multiplicities of the critical points. We introduce a method to study these strata by way of the infinite-area translation surface associated to the logarithmic derivative $df/f$ of the polynomial. We determine the monodromy of these strata in the braid group, thus descri
Alex A. T. Rathke
We show that the knowledge of an agent carrying non-trivial unawareness violates the standard property of 'necessitation', therefore necessitation cannot be used to refute the standard state-space model. A revised version of necessitation preserves non-trivial unawareness and solves the classical Dekel-Lipman-Rustichini result. We propose a generalised knowl
Gyojin Han, Jaehyun Choi, Haeil Lee, Junmo Kim
Model inversion attacks are a type of privacy attack that reconstructs private data used to train a machine learning model, solely by accessing the model. Recently, white-box model inversion attacks leveraging Generative Adversarial Networks (GANs) to distill knowledge from public datasets have been receiving great attention because of their excellent attack
Xuan Yu, Yili Liu, Sitong Mao, Shunbo Zhou
LiDAR Mapping has been a long-standing problem in robotics. Recent progress in neural implicit representation has brought new opportunities to robotic mapping. In this paper, we propose the multi-volume neural feature fields, called NF-Atlas, which bridge the neural feature volumes with pose graph optimization. By regarding the neural feature volume as pose
Andrey Bykov, Konstantin Postnov, Alexander Bondar, Serguey Blinnikov
A minor population of antistars in galaxies has been predicted by some of non-standard models of baryogenesis and nucleosynthesis in the early Universe, and their presence is not yet excluded by the currently available observations. Detection of an unusually high abundance of antinuclei in cosmic rays can probe the baryogenesis scenarios in the early Univers
PVEMC: Isolating the flavor-dependent EMC effect using parity-violating inelastic scattering in SoLID
nucl-exRakitha Beminiwattha, John Arrington, David J. Gaskell
In order to better understand the EMC effect, we propose a clean and precise measurement of the flavor dependence of the EMC effect using parity-violating deep inelastic scattering on a $^{48}$Ca target. This measurement will provide an extremely sensitive test for flavor dependence in the modification of nuclear parton distribution functions (PDFs) for neut
Maksym Radziwiłł, Andrei Shubin
We show that sequences of the form $\alpha n^{\theta} \pmod{1}$ with $\alpha > 0$ and $0 < \theta < \tfrac{43}{117} = \tfrac{1}{3} + 0.0341 \ldots$ have Poissonian pair correlation. This improves upon the previous result by Lutsko, Sourmelidis, and Technau, where this was established for $\alpha > 0$ and $0 < \theta < \tfrac{14}{41} = \tfrac{1}{3} + 0.0081 \
Yusheng Huang, Jiexing Qi, Xinbing Wang, Zhouhan Lin
Various tasks are reformulated as multi-label classification problems, in which the binary cross-entropy (BCE) loss is frequently utilized for optimizing well-designed models. However, the vanilla BCE loss cannot be tailored for diverse tasks, resulting in a suboptimal performance for different models. Besides, the imbalance between redundant negative sample
Jiahua Dong, Duzhen Zhang, Yang Cong, Wei Cong
Federated learning-based semantic segmentation (FSS) has drawn widespread attention via decentralized training on local clients. However, most FSS models assume categories are fixed in advance, thus heavily undergoing forgetting on old categories in practical applications where local clients receive new categories incrementally while have no memory storage t
Iván Blanco-Chacón, Alberto Pedrouzo-Ulloa, Rahinatou Yuh Njah Nchiwo, Beatriz Barbero-Lucas
We discuss the advantages and limitations of cyclotomic fields to have fast polynomial arithmetic within homomorphic encryption, and show how these limitations can be overcome by replacing cyclotomic fields by a family that we refer to as cyclo-multiquadratic. This family is of particular interest due to its arithmetic efficiency properties and to the fact t
Jiatong Shi, Yun Tang, Ann Lee, Hirofumi Inaguma
It has been known that direct speech-to-speech translation (S2ST) models usually suffer from the data scarcity issue because of the limited existing parallel materials for both source and target speech. Therefore to train a direct S2ST system, previous works usually utilize text-to-speech (TTS) systems to generate samples in the target language by augmenting
Jan Held, Anthony Cioppa, Silvio Giancola, Abdullah Hamdi
The Video Assistant Referee (VAR) has revolutionized association football, enabling referees to review incidents on the pitch, make informed decisions, and ensure fairness. However, due to the lack of referees in many countries and the high cost of the VAR infrastructure, only professional leagues can benefit from it. In this paper, we propose a Video Assist
Ummugul Bezirhan, Matthias von Davier
The widespread usage of computer-based assessments and individualized learning platforms has resulted in an increased demand for the rapid production of high-quality items. Automated item generation (AIG), the process of using item models to generate new items with the help of computer technology, was proposed to reduce reliance on human subject experts at e
Minghong Gao
Knowledge distillation is a method of transferring the knowledge from a complex deep neural network (DNN) to a smaller and faster DNN, while preserving its accuracy. Recent variants of knowledge distillation include teaching assistant distillation, curriculum distillation, mask distillation, and decoupling distillation, which aim to improve the performance o
HST-MRF: Heterogeneous Swin Transformer with Multi-Receptive Field for Medical Image Segmentation
cs.CVXiaofei Huang, Hongfang Gong, Jin Zhang
The Transformer has been successfully used in medical image segmentation due to its excellent long-range modeling capabilities. However, patch segmentation is necessary when building a Transformer class model. This process may disrupt the tissue structure in medical images, resulting in the loss of relevant information. In this study, we proposed a Heterogen
Mousumi Akter, Souvika Sarkar, Shubhra Kanti Karmaker Santu
This paper presents a high-quality dataset for evaluating the quality of Bangla word embeddings, which is a fundamental task in the field of Natural Language Processing (NLP). Despite being the 7th most-spoken language in the world, Bangla is a low-resource language and popular NLP models fail to perform well. Developing a reliable evaluation test set for Ba
Hiroyuki Ootomo, Rio Yokota
Random projection can reduce the dimension of data while capturing its structure and is a fundamental tool for machine learning, signal processing, and information retrieval, which deal with a large amount of data today. RandNLA (Randomized Numerical Linear Algebra) leverages random projection to reduce the computational complexity of low-rank decomposition
Twelve-crystal prototype of Li$_2$MoO$_4$ scintillating bolometers for CUPID and CROSS experiments
physics.ins-detCUPID, CROSS collaborations, :, K. Alfonso
An array of twelve 0.28 kg lithium molybdate (LMO) low-temperature bolometers equipped with 16 bolometric Ge light detectors, aiming at optimization of detector structure for CROSS and CUPID double-beta decay experiments, was constructed and tested in a low-background pulse-tube-based cryostat at the Canfranc underground laboratory in Spain. Performance of t
Debashish Roy, Manish Shrivastava
In this paper, we have worked on interpretability, trust, and understanding of the decisions made by models in the form of classification tasks. The task is divided into 3 subtasks. The first task consists of determining Binary Sexism Detection. The second task describes the Category of Sexism. The third task describes a more Fine-grained Category of Sexism.
Zhiguang Liu, Minkun Cai, Shenda Hong, Junli Shi
Mimicking the perceptual functions of human cutaneous mechanoreceptors, artificial skins or flexible pressure sensors can transduce tactile stimuli to quantitative electrical signals. Conventional methods to design such devices follow a forward structure-to-property routine based on trial-and-error experiments/simulations, which take months or longer to dete
Guangqian Ding, Chengwu Xie, Jingbo Bai, Zhenxiang Cheng
Recently, Wang et al. [Phys. Rev. B, 106, 195129 (2022)] challenged a widely held belief in the field of Weyl physics, demonstrating that single-pair-Weyl-points (SP-WPs) can exist in nonmagnetic spinless systems, contrary to previous assumptions that they could only exist in magnetic systems. Wang et al. observed that the SP-WPs with opposite and even chira
Isabel Gómez-Palos, Miguel Vazquez-Pufleau, Richard S Schäufele, Anastasiia Mikhalchan
Suspended in the gas phase, 1D inorganic nanoparticles (nanotubes and nanowires) grow to hundreds of microns in a second and can be thus directly assembled into freestanding network materials. The corresponding process continuously transforms gas precursors into aerosols into aerogels into macroscopic nanotextiles. By enabling the assembly of very high aspec
Abraham George Smith, Denis Kutnár, Ivan Richter Vogelius, Sune Darkner
Increased organ at risk segmentation accuracy is required to reduce cost and complications for patients receiving radiotherapy treatment. Some deep learning methods for the segmentation of organs at risk use a two stage process where a localisation network first crops an image to the relevant region and then a locally specialised network segments the cropped
Prediction of Planet Yields by the PRime-focus Infrared Microlensing Experiment Microlensing Survey
astro-ph.EPIona Kondo, Takahiro Sumi, Naoki Koshimoto, Nicholas J. Rattenbury
The PRime-focus Infrared Microlensing Experiment (PRIME) will be the first to conduct a dedicated near infrared (NIR) microlensing survey by using a 1.8m telescope with a wide field of view of 1.45 ${\rm deg^{2}}$ at the South African Astronomical Observatory (SAAO). The major goals of the PRIME microlensing survey are to measure the microlensing event rate
Alexey Guscov, Amaresh Datta, Anton Karpishkov, Igor Denisenko
The Spin Physics Detector (SPD) at the Nuclotron based Ion Collider fAcility (NICA) is a multi-purpose experiment designed to study nucleon spin structure in the three dimensions. With capabilities to collide polarized protons and deuterons with center of mass energy up to 27 GeV and luminosity up to $10^{32} \rm cm^{-2} \ s^{-1}$ for protons (an order of ma
Kinetic energy fluctuation-driven locomotor transitions on potential energy landscapes of beam obstacle traversal and self-righting
physics.bio-phRatan Othayoth
Despite contending with constraints imposed by the environment, morphology, and physiology, animals move well by physically interactingwith the environment to use and transition between modes such as running, climbing, and self-righting. By contrast, robots struggle to do so in real world. Understanding the principles of how locomotor transitions emerge from
Zihan Ding, Yuanpei Chen, Allen Z. Ren, Shixiang Shane Gu
Generating human-like behavior on robots is a great challenge especially in dexterous manipulation tasks with robotic hands. Scripting policies from scratch is intractable due to the high-dimensional control space, and training policies with reinforcement learning (RL) and manual reward engineering can also be hard and lead to unnatural motions. Leveraging t
Hao Chen, Jie Ma
A graph $H$ is called common and respectively, strongly common if the number of monochromatic copies of $H$ in a 2-edge-coloring $\phi$ of a large clique is asymptotically minimised by the random coloring with an equal proportion of each color and respectively, by the random coloring with the same proportion of each color as in $\phi$. A well-known theorem o
Wei Wang, Philip Lambert, Jonathan Chisum
Artificial dielectrics are widely used for Gradient-Index (GRIN) lens antennas. The unit-cell size of an artificial dielectric determines the maximum operating frequency and also drives cost and yield. To explore the frequency limitations we printed four identical Luneburg lens antennas using gyroid unit-cells of 12.5, 10, 7.5, and 5mm and measured their gai
Yilong Yang, Srinandan Dasmahapatra, Sasan Mahmoodi
Incorporating either rotation equivariance or scale equivariance into CNNs has proved to be effective in improving models' generalization performance. However, jointly integrating rotation and scale equivariance into CNNs has not been widely explored. Digital histology imaging of biopsy tissue can be captured at arbitrary orientation and magnification and st
Lorenzo Maria Stanca
This paper investigates a novel behavioral feature of recursive preferences: aversion to risks that persist over time, or simply \textit{correlation aversion}. Greater persistence provides information about future consumption but reduces opportunities to hedge consumption risk. I show that, for recursive preferences that exhibit a preference for early resolu
In-situ crack and keyhole pore detection in laser directed energy deposition through acoustic signal and deep learning
cs.SDLequn Chen, Xiling Yao, Chaolin Tan, Weiyang He
Cracks and keyhole pores are detrimental defects in alloys produced by laser directed energy deposition (LDED). Laser-material interaction sound may hold information about underlying complex physical events such as crack propagation and pores formation. However, due to the noisy environment and intricate signal content, acoustic-based monitoring in LDED has
Accelerated deep self-supervised ptycho-laminography for three-dimensional nanoscale imaging of integrated circuits
eess.IVIksung Kang, Yi Jiang, Mirko Holler, Manuel Guizar-Sicairos
Three-dimensional inspection of nanostructures such as integrated circuits is important for security and reliability assurance. Two scanning operations are required: ptychographic to recover the complex transmissivity of the specimen; and rotation of the specimen to acquire multiple projections covering the 3D spatial frequency domain. Two types of rotationa
Brian Yan, Jiatong Shi, Yun Tang, Hirofumi Inaguma
ESPnet-ST-v2 is a revamp of the open-source ESPnet-ST toolkit necessitated by the broadening interests of the spoken language translation community. ESPnet-ST-v2 supports 1) offline speech-to-text translation (ST), 2) simultaneous speech-to-text translation (SST), and 3) offline speech-to-speech translation (S2ST) -- each task is supported with a wide variet
Yilong Yang, Srinandan Dasmahapatra, Sasan Mahmoodi
Digital histopathology slides are scanned and viewed under different magnifications and stored as images at different resolutions. Convolutional Neural Networks (CNNs) trained on such images at a given scale fail to generalise to those at different scales. This inability is often addressed by augmenting training data with re-scaled images, allowing a model w
Characterization of the $\sigma$-Dedekind complete Riesz space by the subadditivity of its positive part mapping
math.FAA. B. Németh
Two retractions $M$ and $N$ on convex cones $\bf M$ and respectively $\bf N$ of a real vector space $X$ are called mutually polar if $M+N=I$ and $MN=NM=0.$ In this note it is shown, that if the cones $\bf M$ and $\bf N$ are generating, $\sigma$-monotone complete, $M$ and $N$ are $\sigma$-monotone continuous, then the subadditivity of $M$ and $N$ (with respec
Elena Cordero, Gianluca Giacchi
We introduce new frames, called \textit{metaplectic Gabor frames}, as natural generalizations of Gabor frames in the framework of metaplectic Wigner distributions. Namely, we develop the theory of metaplectic atoms in a full-general setting and prove an inversion formula for metaplectic Wigner distributions on $\mathbb{R}^d$. Its discretization provides meta
Carlo Tajoli, Georgios Tzounas, Gabriela Hug
This paper studies the numerical deformation that time-domain integration (TDI) methods introduce to the shape of the coupling between the dynamic modes and variables of power system models. To this aim, we employ a small-signal stability analysis (SSSA)-based framework where such mode-shape deformation is efficiently identified by comparing the modal partic
For Pre-Trained Vision Models in Motor Control, Not All Policy Learning Methods are Created Equal
cs.CVYingdong Hu, Renhao Wang, Li Erran Li, Yang Gao
In recent years, increasing attention has been directed to leveraging pre-trained vision models for motor control. While existing works mainly emphasize the importance of this pre-training phase, the arguably equally important role played by downstream policy learning during control-specific fine-tuning is often neglected. It thus remains unclear if pre-trai
Qiao Jin, Ashley Shin, Zhiyong Lu
Queries with similar information needs tend to have similar document clicks, especially in biomedical literature search engines where queries are generally short and top documents account for most of the total clicks. Motivated by this, we present a novel architecture for biomedical literature search, namely Log-Augmented DEnse Retrieval (LADER), which is a
Tingting Liu, Yuan Liu, Chuncheng Zhang, Yuan Liyin
Since the number of incident energies is limited, it is difficult to directly acquire hyperspectral images (HSI) with high spatial resolution. Considering the high dimensionality and correlation of HSI, super-resolution (SR) of HSI remains a challenge in the absence of auxiliary high-resolution images. Furthermore, it is very important to extract the spatial
Yuchen Guo, Ruohan Shen, Shuo Yang
Non-Hermitian systems have attracted considerable interest in recent years owing to their unique topological properties that are absent in Hermitian systems. While such properties have been thoroughly characterized in free fermion models, they remain an open question for interacting bosonic systems. In this work, we present a precise definition of quantum ph
J. M. Romero-Enrique
In this work, the morphology of nematic capillary nanobridges in slit pores separated by a vertical distance $D$ will be characterised by Monte Carlo simulations for oblate molecules nematogen modelled by the Gay-Berne potential. Previous studies on droplets show that the molecules are arranged homeotropically at the nematic-vapour interface and form spheric
A. S. Serdyuk, I. V. Sokolenko
We find two-sided estimates for Kolmogorov, Bernstein, linear and projection widths of the classes of convolutions of $2\pi$-periodic functions $\varphi$, such that $\|\varphi\|_2\le1$, with fixed generated kernels $\Psi_{\bar{\beta}}$, which have Fourier series of the form $\sum\limits_{k=1}^\infty \psi(k)\cos(kt-\beta_k\pi/2), $ where $\psi(k)\ge0,$ $\sum\
Deploying hybrid quantum-secured infrastructure for applications: When quantum and post-quantum can work together
quant-phAleksey K. Fedorov
Most currently used cryptographic tools for protecting data are based on certain computational assumptions, which makes them vulnerable with respect to technological and algorithmic developments, such as quantum computing. One existing option to counter this potential threat is quantum key distribution, whose security is based on the laws of quantum physics.
P. Xie, Y. Sun, Q. Ma, S. Gu
The q95 window for Type-I Edge Localized Modes (ELMs) suppression using n=4 even parity Resonant Magnetic Perturbations (RMPs) has been significantly expanded to a range from 3.9 to 4.8, which is demonstrated to be reliable and repeatable in EAST over the last two years. This window is significantly wider than the previous one, which is around q95=3.7pm0.1,
Duncan Adamson
A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] , \dots w[i_{|u|}]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq |w|$. A word $w$ is $k$-subsequence universal over an alphabet $\Sigma$ if every word in $\Sigma^k$ appears in $w$ as a subsequence. In this paper, we provide new algorithms for $k$-subsequence universal wor
José A. Carrillo, A. Fernández-Jiménez, D. Gómez-Castro
We study well-posedness and long-time behaviour of aggregation-diffusion equations of the form $\frac{\partial \rho}{\partial t} = \Delta \rho^m + \nabla \cdot( \rho (\nabla V + \nabla W \ast \rho))$ in the fast-diffusion range, $0<m<1$, and $V$ and $W$ regular enough. We develop a well-posedness theory, first in the ball and then in $\mathbb R^d$, and chara
Reconstruction-driven Dynamic Refinement based Unsupervised Domain Adaptation for Joint Optic Disc and Cup Segmentation
eess.IVZiyang Chen, Yongsheng Pan, Yong Xia
Glaucoma is one of the leading causes of irreversible blindness. Segmentation of optic disc (OD) and optic cup (OC) on fundus images is a crucial step in glaucoma screening. Although many deep learning models have been constructed for this task, it remains challenging to train an OD/OC segmentation model that could be deployed successfully to different healt
Matrix Factorization Based Blind Bayesian Receiver for Grant-Free Random Access in mmWave MIMO mMTC
cs.ITZhengdao Yuan, Fei Liu, Qinghua Guo, Xiaojun Yuan
Grant-free random access is promising for massive connectivity with sporadic transmissions in massive machine type communications (mMTC), where the hand-shaking between the access point (AP) and users is skipped, leading to high access efficiency. In grant-free random access, the AP needs to identify the active users and perform channel estimation and signal
Ali Najjar Amiri, Aycan Deniz Vit, Kazim Gorgulu, Emir Salih Magden
Growing application space in optical communications, computing, and sensing continues to drive the need for high-performance integrated photonic components. Designing these on-chip systems with complex and application-specific functionality requires beyond what is possible with physical intuition, for which machine learning-based design methods have recently
Coherent Concept-based Explanations in Medical Image and Its Application to Skin Lesion Diagnosis
cs.CVCristiano Patrício, João C. Neves, Luís F. Teixeira
Early detection of melanoma is crucial for preventing severe complications and increasing the chances of successful treatment. Existing deep learning approaches for melanoma skin lesion diagnosis are deemed black-box models, as they omit the rationale behind the model prediction, compromising the trustworthiness and acceptability of these diagnostic methods.
Ágoston Sipos
An approach to defining quadratic implicit curves is to prescribe two tangent lines and a secant line going through the points of tangency. This paper will show that this method can be generalized to a higher number of tangents, resulting in higher degree curves.
Alon Halevy, Jane Dwivedi-Yu
One of the limitations of large language models is that they do not have access to up-to-date, proprietary or personal data. As a result, there are multiple efforts to extend language models with techniques for accessing external data. In that sense, LLMs share the vision of data integration systems whose goal is to provide seamless access to a large collect
Yulong Huang, Jeremy Yallop
The defunctionalization translation that eliminates higher-order functions from programs forms a key part of many compilers. However, defunctionalization for dependently-typed languages has not been formally studied. We present the first formally-specified defunctionalization translation for a dependently-typed language and establish key metatheoretical prop
Eloisa Detomi, Andrea Lucchini, Marta Morigi, Pavel Shumyatsky
Let $\mathfrak C$ be a class of finite groups which is closed for subgroups, quotients and direct products. Given a profinite group $G$ and an element $x\in G$, we denote by $P_{\mathfrak{C}}(x,G)$ the probability that $x$ and a randomly chosen element of $G$ generate a pro-${\mathfrak C}$ subgroup. We say that a profinite group $G$ is $\mathfrak C$-positive
Huai-Yi Xie
We construct the dyadic Greens functions (DGFs) for a topological insulator (TI) stratified sphere within the framework of axion electrodynamics. For these DGFs, the additional expansion coefficients are included to account for the axion coupling effect. With the application of these DGFs, we derive the formulation of light scattering from a dipole near a TI
Mrunmay Jagadale, Alok Laddha
In this note, we prove that the realization of associahedron discovered by Arkani-Hamed, Bai, He, and Yun (ABHY) is a positive geometry for tree-level S-matrix of scalars which have no color and which interact via cubic coupling. More in detail, we consider diffeomorphic images of the ABHY associahedron. The diffeomorphisms are linear maps parametrized by th
NutriFD: Proving the medicinal value of food nutrition based on food-disease association and treatment networks
q-bio.QMWanting Su, Dongwei Liu, Feng Tan, Lun Hu
There is rising evidence of the health benefit associated with specific dietary interventions. Current food-disease databases focus on associations and treatment relationships but haven't provided a reasonable assessment of the strength of the relationship, and lack of attention on food nutrition. There is an unmet need for a large database that can guide di
Effect of magnetic field correlation length on the gamma-ray pulsar halo morphology under anisotropic diffusion
astro-ph.HEKun Fang, Hong-Bo Hu, Xiao-Jun Bi, En-Sheng Chen
Anisotropic diffusion is one of the potential interpretations for the morphology of the Geminga pulsar halo. It interprets the observed slow-diffusion phenomenon through a geometric effect, assuming the mean magnetic field direction around Geminga is closely aligned with the line of sight toward it. However, this direction should not extend further than the
Jun-Lin Bai, Yuan-Mei Xie, Yao Fu, Hua-Lei Yin
The linear constraint of secret key rate capacity is overcome by the tiwn-field quantum key distribution (QKD). However, the complex phase-locking and phase-tracking technique requirements throttle the real-life applications of twin-field protocol. The asynchronous measurement-device-independent (AMDI) QKD or called mode-pairing QKD protocol can relax the te
Jiyuan Zhang, Xiao-Yun Wang
Synchronous control of nonlinear circuits is of great importance in many fields. In this paper, a capacitor is used for closed-loop coupling of three dual-vortex attractor Chua circuits with the same circuit parameters and different initial conditions, and the corresponding synchronization processes and synchronization effects are investigated. It is found t
Yilong Yang, Srinandan Dasmahapatra, Sasan Mahmoodi
The UNet model consists of fully convolutional network (FCN) layers arranged as contracting encoder and upsampling decoder maps. Nested arrangements of these encoder and decoder maps give rise to extensions of the UNet model, such as UNete and UNet++. Other refinements include constraining the outputs of the convolutional layers to discriminate between segme
Jiuyong Li, Lin Liu, Ziqi Xu, Ha Xuan Tran
A predictive model makes outcome predictions based on some given features, i.e., it estimates the conditional probability of the outcome given a feature vector. In general, a predictive model cannot estimate the causal effect of a feature on the outcome, i.e., how the outcome will change if the feature is changed while keeping the values of other features un
Hassan Mkhallati, Anthony Cioppa, Silvio Giancola, Bernard Ghanem
Soccer is more than just a game - it is a passion that transcends borders and unites people worldwide. From the roar of the crowds to the excitement of the commentators, every moment of a soccer match is a thrill. Yet, with so many games happening simultaneously, fans cannot watch them all live. Notifications for main actions can help, but lack the engagemen
Xinyu Yang, Ning Ding, Jun Chen, Ziwen Wang
A-type antiferromagnetism, with an in-plane ferromagnetic order and the interlayer antiferromagnetic coupling, owns inborn advantages for electrical manipulations but is naturally rare in real materials except in those artificial antiferromagnetic heterostructures. Here, a robust layered antiferromagnetism with a high N\'eel temperature is predicted in a MXe
P. Roura Bas, A. A. Aligia
We obtain the quantum phase diagram of the ionic Hubbard model including electron-hole symmetric density-dependent hopping. The boundaries of the phases are determined by crossing of excited levels with particular discrete symmetries, which coincide with jumps of charge and spin Berry phases with a topological meaning. Reducing the magnitude of the hopping t
Zishuo Yan, Lili Gui, Kun Xu, Yueheng Lan
Reconstructing the equation of motion and thus the network topology of a system from time series is a very important problem. Although many powerful methods have been developed, it remains a great challenge to deal with systems in high dimensions with partial knowledge of the states. In this paper, we propose a new framework based on a well-designed cost fun
R. L. P. G. Amaral, V. E. R. Lemes, O. S. Ventura, L. C. Q. Vilar
Some time ago we have introduced a route to provide confinement in the sense that particle excitations would appear from condensates of fields that do not have physical asymptotic states. We envisaged this mechanism in an asymmetric vacuum phase of a complex gauge field theory. More recently, we showed how to define a BRST operator to the broken phase of a g
Special Points Arising From Faithful Metacyclic and Dicyclic Galois Covers of the Projective Line
math.NTBrian Yang
Within the Schottky problem, the study of special subvarieties of the Torelli locus has long been of great interest. We describe a representation-theoretic criterion for a Jacobian variety arising from a $G$-Galois cover of $\mathbb{P}^1$ branched at $3$ points to have complex multiplication (CM). For $G$ faithful metacyclic or dicyclic, we classify all such
Luping Wang, Bin Liu
Detection Transformer (DETR) is a Transformer architecture based object detection model. In this paper, we demonstrate that it can also be used as a data augmenter. We term our approach as DETR assisted CutMix, or DeMix for short. DeMix builds on CutMix, a simple yet highly effective data augmentation technique that has gained popularity in recent years. Cut
Riccardo Ughi, Eugenio Lomurno, Matteo Matteucci
The Transformer is a highly successful deep learning model that has revolutionised the world of artificial neural networks, first in natural language processing and later in computer vision. This model is based on the attention mechanism and is able to capture complex semantic relationships between a variety of patterns present in the input data. Precisely b
An-Ping Chen, Yan-Qing Ma, Ce Meng
It was found that, using nonrelativistic QCD factorization, the predicted $\chi_{cJ}$ hadroproduction cross section at large $p_T$ can be negative. The negative cross sections originate from terms proportional to plus function in ${^{3}\hspace{-0.6mm}P_{J}^{[1]}}$ channels, which are remnants of the infrared subtraction in matching the ${^{3}\hspace{-0.6mm}P
Takuya Katagiri, Hiroyuki Nakano, Kazuyuki Omukai
The tidal response of compact objects in an inspiraling binary system is measured by a set of tidal Love and dissipation numbers imprinted in the gravitational waveforms. While a four-dimensional black hole in vacuum within General Relativity has vanishing Love numbers, a black hole in alternative theories of gravity can acquire non-vanishing Love numbers. T
Adrian Vladu
We provide an interior point method based on quasi-Newton iterations, which only requires first-order access to a strongly self-concordant barrier function. To achieve this, we extend the techniques of Dunagan-Harvey [STOC '07] to maintain a preconditioner, while using only first-order information. We measure the quality of this preconditioner in terms of it
S. M. Riazul Islam
Unmanned Aerial Vehicles (UAVs) have become increasingly popular in recent years due to their versatility and affordability. This article provides an overview of the history and development of UAVs, as well as their current and potential applications in various fields. In particular, the article highlights the use of UAVs in aerial photography and videograph
Weng-Tai Su, Min-Hung Chen, Chien-Yi Wang, Shang-Hong Lai
Kinship recognition aims to determine whether the subjects in two facial images are kin or non-kin, which is an emerging and challenging problem. However, most previous methods focus on heuristic designs without considering the spatial correlation between face images. In this paper, we aim to learn discriminative kinship representations embedded with the rel
Kuntai Cai, Xiaokui Xiao, Graham Cormode
Answering database queries while preserving privacy is an important problem that has attracted considerable research attention in recent years. A canonical approach to this problem is to use synthetic data. That is, we replace the input database R with a synthetic database R* that preserves the characteristics of R, and use R* to answer queries. Existing sol
Approximate Primal-Dual Fixed-Point based Langevin Algorithms for Non-smooth Convex Potentials
math.NAZiruo Cai, Jinglai Li, Xiaoqun Zhang
The Langevin algorithms are frequently used to sample the posterior distributions in Bayesian inference. In many practical problems, however, the posterior distributions often consist of non-differentiable components, posing challenges for the standard Langevin algorithms, as they require to evaluate the gradient of the energy function in each iteration. To
Quantitative convergence for displacement monotone mean field games with controlled volatility
math.PRJoe Jackson, Ludovic Tangpi
We study the convergence problem for mean field games with common noise and controlled volatility. We adopt the strategy recently put forth by Lauri\`ere and the second author, using the maximum principle to recast the convergence problem as a question of ``forward-backward propagation of chaos", i.e (conditional) propagation of chaos for systems of particle
ZiHan Cao, ShiQi Cao, Xiao Wu, JunMing Hou
Denosing diffusion model, as a generative model, has received a lot of attention in the field of image generation recently, thanks to its powerful generation capability. However, diffusion models have not yet received sufficient research in the field of image fusion. In this article, we introduce diffusion model to the image fusion field, treating the image
Arthur Blanc-Renaudie
We answer Problem 11.1 of Janson arXiv:1803.04207 on P\'olya urns associated with stable random walk. Our proof use neither martingales nor trees, but an approximation with a differential equation.
Hanwen Du, Huanhuan Yuan, Zhen Huang, Pengpeng Zhao
Generative models, such as Variational Auto-Encoder (VAE) and Generative Adversarial Network (GAN), have been successfully applied in sequential recommendation. These methods require sampling from probability distributions and adopt auxiliary loss functions to optimize the model, which can capture the uncertainty of user behaviors and alleviate exposure bias
Zhaowen Li, Xu Zhao, Peigeng Ding, Zongxin Gao
Recent researches indicate that utilizing the frequency information of input data can enhance the performance of networks. However, the existing popular convolutional structure is not designed specifically for utilizing the frequency information contained in datasets. In this paper, we propose a novel and effective module, named FreConv (frequency branch-and
UATTA-EB: Uncertainty-Aware Test-Time Augmented Ensemble of BERTs for Classifying Common Mental Illnesses on Social Media Posts
cs.CLPratinav Seth, Mihir Agarwal
Given the current state of the world, because of existing situations around the world, millions of people suffering from mental illnesses feel isolated and unable to receive help in person. Psychological studies have shown that our state of mind can manifest itself in the linguistic features we use to communicate. People have increasingly turned to online pl
Raf Cluckers, Georges Comte, Jean-Philippe Rolin, Tamara Servi
We consider several systems of algebras of real- and complex-valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric integration and we study the asymptotics of the functions as well as the nature of their parametric Mellin transforms.
Mahsa Soleimani, Ali Nazari, Mohsen Ebrahimi Moghaddam
DeepFake involves the use of deep learning and artificial intelligence techniques to produce or change video and image contents typically generated by GANs. Moreover, it can be misused and leads to fictitious news, ethical and financial crimes, and also affects the performance of facial recognition systems. Thus, detection of real or fake images is significa
Saeed Pahlavan
In this paper, the asymmetric propagation of electromagnetic waves inside a two-dimensional air slit cut in an InSb slab is studied. It has been shown that due to the anisotropic magnetic properties of InSb under a DC magnetic bias, forward and backward waves show different field patterns inside the air slit. The proposed waveguide can have potential asymmet
Javier Casado, Manuel Cuerno
We show some estimations for the Coffee Shop Problem with a modification respect the original statement: there is a rival competing against us. We present different results based on how fast the rival is able to grow. As main tool, we use a variation of the Wasserstein distance (the Signed Wasserstein Distance presented by Piccoli, Rossi and Tournus in "A Wa
Gilles Weymann-Despres, Sophie Henrot-Versillé, Gilbert Moultaka, Vincent Vennin
The aim of this paper is to highlight the challenges and potential gains surrounding a coherent description of physics from the high-energy scales of inflation down to the lower energy scales probed in particle-physics experiments. As an example, we revisit the way inflation can be realised within an effective Minimal Supersymmetric Standard Model (eMSSM), i