April 2024 arXiv papers — page 20

Zhenyong Hou, Hui Tian, Maria S. Madjarska, Hechao Chen

Current sheet is a common structure involved in solar eruptions. However, it is observed in minority of the events and the physical properties of its fine structures during a solar eruption are rarely investigated. Here, we report an on-disk observation that displays 108 compact, circular or elliptic bright structures, presumably plasma blobs, propagating bi

Lu Chen, Jiawen Jiang, Martin B. Plenio, Qiong Chen

In a theoretical study, we investigate the spin dynamics of interacting nitrogen-vacancy (NV) centers and quadrupolar I = 3/2 nuclear spins, specifically 11B spins in hexagonal boron nitride (h-BN) nanosheets located near the microdiamond surface. We demonstrate the possibility of obtaining external spin-polarization by magnetic-field sweeps across the level

Kaustubh Dwivedi, Ankit Agrawal, Ashutosh Bhatia, Kamlesh Tiwari

The widespread adoption of blockchain technology has amplified the spectrum of potential threats to its integrity and security. The ongoing quest to exploit vulnerabilities emphasizes how critical it is to expand on current research initiatives. Thus, using a methodology based on discrete blockchain layers, our survey study aims to broaden the existing body

Jiyu Cheng, Junhui Fan, Xiaolei Li, Paul L. Rosin

Despite the great development of multirobot technologies, efficiently and collaboratively exploring an unknown environment is still a big challenge. In this paper, we propose AIM-Mapping, a Asymmetric InforMation Enhanced Mapping framework. The framework fully utilizes the privilege information in the training process to help construct the environment repres

J. Borges, V. A. Zinoviev

We give a complete classification of self-dual completely regular codes with covering radius $\rho \leq 3$. For $\rho=1$ the results are almost trivial. For $\rho=2$, by using properties of the more general class of uniformly packed codes in the wide sense, we show that there are two sporadic such codes, of length $8$, and an infinite family, of length $4$,

Tian Lingyu, Yutian Peng, Qihua Xiong, Sanjib Ghosh

Here, we explore the quantum propagation of exciton polaritons in semiconductor microcavities, exhibiting intriguing effects such as interactions, decay, and disorder scatterings. Our investigation uncovers anomalies in their quantum propagation, deviating from predictions based on existing theories. By applying scaling theory, we elucidate the true nature o

Rain Kipper, Indrek Vurm, Aikaterini Niovi Triantafyllaki, Peeter Tenjes

[Abridged] The gas distribution in galaxies is smooth on large scales, but is usually time-dependent and inhomogeneous on smaller scales. The time-dependence originates from processes such as cloud formation, their collisions, and supernovae (SNe) explosions, which also create inhomogeneities. The inhomogeneities in the matter distribution give rise to varia

Zhengpeng Shi, Haoran Luo

Domain-Specific Chinese Relation Extraction (DSCRE) aims to extract relations between entities from domain-specific Chinese text. Despite the rapid development of PLMs in recent years, especially LLMs, DSCRE still faces three core challenges: complex network structure design, poor awareness, and high consumption of fine-tuning. Given the impressive performan

Yanning Zhang, Guocheng Liao, Shengbin Cao, Ning Yang

Multicast routing is essential for real-time group applications, such as video streaming, virtual reality, and metaverse platforms, where the Age of Information (AoI) acts as a crucial metric to assess information timeliness. This paper studies dynamic multicast networks with the objective of minimizing the expected average Age of Information (AoI) by jointl

Zhiwei Huang, Yikang Zhang, Qijun Chen, Rui Fan

LiDAR-camera extrinsic calibration (LCEC) is crucial for data fusion in intelligent vehicles. Offline, target-based approaches have long been the preferred choice in this field. However, they often demonstrate poor adaptability to real-world environments. This is largely because extrinsic parameters may change significantly due to moderate shocks or during e

Sohome Adhikari, Sabur Baidya

The paper reviews the comparative study of security measures, challenges, and best practices with a view to enhancing cyber safety in containerized platforms. This review is intended to give insight into the enhanced security posture of containerized environments, with a view to examining safety vulnerabilities in containerization platforms, exploring strate

K. Suresh Kumar, Vikrant Desai

Using small noise limit approach, we study degenerate stochastic ergodic control problems and as a byproduct obtain error bounds for the $\varepsilon$-optimal controls. We also establish tunneling for a special ergodic control problem and give a representation of the ergodic value using the tunneled Markov chain.

Qixin Deng, Qikai Yang, Ruibin Yuan, Yipeng Huang

Music composition represents the creative side of humanity, and itself is a complex task that requires abilities to understand and generate information with long dependency and harmony constraints. While demonstrating impressive capabilities in STEM subjects, current LLMs easily fail in this task, generating ill-written music even when equipped with modern t

Gannavarapu Chandramouli, Vishnu Narayanan

In this work, we propose a heuristic based open source solver for finding global solution to constrained derivative-free optimization (DFO) problems. Our solver named Global optimization using Surrogates for Derivative-free Optimization (GSDO) relies on surrogate approximation to the original problem. In the proposed algorithm, an initial feasible point is f

Mingrui Ma, Lansheng Han, Chunjie Zhou

Webshell, as the "culprit" behind numerous network attacks, is one of the research hotspots in the field of cybersecurity. However, the complexity, stealthiness, and confusing nature of webshells pose significant challenges to the corresponding detection schemes. With the rise of Artificial Intelligence (AI) technology, researchers have started to apply diff

Yueh-Lin Chiang

Given a sequence of Hermitian holomorphic line bundles $(L_k,h_k)$ over a complex manifold $M$ which may not be compact, we generalize the scaling method in arXiv:2310.08048 to study the asymptotic behavior of the Bergman kernels and spectral kernels with respect to the space of global holomorphic sections of $L_k$ with $(0,q)$-forms. We derive the leading t

L. V. Bogdanov

We use a recently proposed scheme of matrix extension of dispersionless integrable systems for the Abelian case, in which it leads to linear equations, connected with the initial dispersionless system. In the examples considered, these equations can be interpreted in terms of Abelian gauge fields on the geometric background defined by the dispersionless syst

Jinbo Wen, Ruichen Zhang, Dusit Niyato, Jiawen Kang

By integrating Artificial Intelligence (AI) with the Internet of Things (IoT), Artificial Intelligence of Things (AIoT) has revolutionized many fields. However, AIoT is facing the challenges of energy consumption and carbon emissions due to the continuous advancement of mobile technology. Fortunately, Generative AI (GAI) holds immense potential to reduce car

Lang Xie, Hong-Yu Gong, Long LI, Da-Ming Wei

Rapidly spinning magnetars are potential candidates for the energy source of supernovae (SNe) and gamma-ray bursts and the most promising sources for continuous gravitational waves (GWs) detected by ground-based GW detectors. Continuous GWs can be radiated from magnetars due to magnetic-induced deformation or fluid oscillations, compatible with magnetic dipo

Yifan Yang, Elliott Sloate, Nashid Khadem, Celeste Chavis

The results show that pedelecs are generally associated with longer trip distances, shorter trip times, higher speeds, and lower rates of uphill elevation change. The origin-destination analysis considering the business, mixed use, residential, and other uses shows extremely similar trends, with a large number of trips staying within either business or resid

Zirui Song, Yaohang Li, Meng Fang, Yanda Li

Large language model agents that interact with PC applications often face limitations due to their singular mode of interaction with real-world environments, leading to restricted versatility and frequent hallucinations. To address this, we propose the Multi-Modal Agent Collaboration framework (MMAC-Copilot), a framework utilizes the collective expertise of

Zhiyu Dong, Patrick A. Lee, Leonid Levitov

This paper aims to clarify the nature of a surprising ordered phase recently reported in biased Bernal bilayer graphene that occurs at the phase boundary between the isospin-polarized and unpolarized phases. Strong nonlinearity of transport at abnormally small currents, with $dI/dV$ vs. $I$ sharply rising and then falling back, is typical for a charge/spin-d

Nishant Luitel, Nirajan Bekoju, Anand Kumar Sah, Subarna Shakya

The task of Spell Correction(SC) in low-resource languages presents a significant challenge due to the availability of only a limited corpus of data and no annotated spelling correction datasets. To tackle these challenges a small-scale word-based transformer LM is trained to provide the SC model with contextual understanding. Further, the probabilistic erro

Nishant Luitel, Nirajan Bekoju, Anand Kumar Sah, Subarna Shakya

The impact of subword tokenization on language model performance is well-documented for perplexity, with finer granularity consistently reducing this intrinsic metric. However, research on how different tokenization schemes affect a model's understanding capabilities remains limited, particularly for non-Latin script languages. Addressing this gap, we conduc

Yifan Chen

We present new complete Calabi-Yau metrics defined on the complement of a smooth anticanonical divisor with ample normal bundle, approaching the Calabi model space at a polynomial rate. Moreover, we establish the uniqueness of this type of Calabi-Yau metric within a fixed cohomology class.

Mukul Dwivedi, Tanmay Sarkar

We propose a local discontinuous Galerkin (LDG) method for the fractional Korteweg-de Vries (KdV) equation, involving the fractional Laplacian with exponent $\alpha \in (1,2)$ in one and multiple space dimensions. By decomposing the fractional Laplacian into first-order derivatives and a fractional integral, we prove the $L^2$-stability of the semi-discrete

Andrea Micheletti, Alessandro Tiero, Giuseppe Tomassetti

Thick origami structures are considered here as assemblies of polygonal panels hinged to each other along their edges according to a corresponding origami crease pattern. The determination of the internal actions caused by external loads in such structures is not an easy task, owing to their high degree of static indeterminacy, and the likelihood of unwanted

Samsud Moon

This work presents a tunable varactor with tunability in the range of 100s of MHz and a capacitance delta of about 36 pF by employing a perpendicular magnetic field to a capacitively-coupled (CCP) RF plasma cell. A comprehensive high-frequency circuit model for the fabricated varactor is proposed and verified experimentally for a plasma electron number densi

Dongchen Jiang, Chenxi Fu

Isabelle2Cpp is a code generation framework that supports automatic generation of C++ code from Isabelle/HOL specifications. However, if some type information of Isabelle/HOL specification is missing, Isabelle2Cpp may not complete the code generation automatically. In order to solve this problem, this paper provides a type system for Isabelle2Cpp, which is u

Sai Sukruth Bezugam, Yihao Wu, JaeBum Yoo, Dmitri Strukov

In this study, we propose the first hardware implementation of a context-based recurrent spiking neural network (RSNN) emphasizing on integrating dual information streams within the neocortical pyramidal neurons specifically Context- Dependent Leaky Integrate and Fire (CLIF) neuron models, essential element in RSNN. We present a quantized version of the CLIF

Xiaolong Li, Jiawei Mo, Ying Wang, Chethan Parameshwara

In this paper, we propose an effective two-stage approach named Grounded-Dreamer to generate 3D assets that can accurately follow complex, compositional text prompts while achieving high fidelity by using a pre-trained multi-view diffusion model. Multi-view diffusion models, such as MVDream, have shown to generate high-fidelity 3D assets using score distilla

Mamoru Ueda

We construct a homomorphism from the affine Yangian associated with $\widehat{\mathfrak{sl}}(q_u-q_{u+1})$ to the universal enveloping algebra of a $W$-algebra associated with $\mathfrak{gl}(\sum_{s=1}^lq_s)$ and a nilpotent element of type $(1^{q_1-q_2},2^{q_2-q_3},\dots,(l-1)^{q_{l-1}-q_l},l^{q_l})$ by using the coproduct and evaluation map for the affine

Jaemoon Lee, Ki Sung Jung, Qian Gong, Xiao Li

We present an approach called guaranteed block autoencoder that leverages Tensor Correlations (GBATC) for reducing the spatiotemporal data generated by computational fluid dynamics (CFD) and other scientific applications. It uses a multidimensional block of tensors (spanning in space and time) for both input and output, capturing the spatiotemporal and inter

Md Alif Rahman Ridoy, M Mahmud Hasan, Shovon Bhowmick

In today's world, image processing plays a crucial role across various fields, from scientific research to industrial applications. But one particularly exciting application is image captioning. The potential impact of effective image captioning is vast. It can significantly boost the accuracy of search engines, making it easier to find relevant information.

Ping Wang, Fuzhuo Lian, Renjun Du, Xiaofan Cai

We conduct experimental studies on the electrical transport properties of monolayer graphene directly covered by a few layers of $\rm CrI_3$. We do not observe the expected magnetic exchange coupling in the graphene but instead discover proximity effects featuring gate and magnetic field tunability. The tunability of gate voltage is manifested in the alignme

Vina Apriliani, Masato Kimura, Hiroshi Ohtsuka

We study a variational problem on $H^1({\mathbb R})$ under an $L^\infty$-constraint related to Sobolev-type inequalities for a class of generalized potentials, including $L^p$-potentials, non-positive potentials, and signed Radon measures. We establish various essential tools for this variational problem, including the decomposition principle, the comparison

Yong Dai, Xiaopeng Hong, Yabin Wang, Zhiheng Ma

Contemporary continual learning approaches typically select prompts from a pool, which function as supplementary inputs to a pre-trained model. However, this strategy is hindered by the inherent noise of its selection approach when handling increasing tasks. In response to these challenges, we reformulate the prompting approach for continual learning and pro

Debolina De, Aditya A. Bhosale, Xiaoliang Zhang

Ultra-high field MRI (7T+) unlocks a new era of brain research with superior resolution and signal-to-noise. Capturing intricate neural activity and detailed soft tissue pathology, this technology, coupled with advanced RF coil arrays, holds immense potential for clinical diagnosis and discovery. For high-field body imaging, microstrip resonators and dipole

Renjun Du, Jingkuan Xiao, Di Zhang, Xiaofan Cai

Two-dimensional ferroelectrics can maintain vertical polarization up to room temperature, and are, therefore, promising for next-generation nonvolatile memories. Although natural two-dimensional ferroelectrics are few, moir\'{e} superlattices provide us with a generalized method to construct ferroelectrics from non-ferroelectric parent materials. We report a

Weijie Bao, Yuantong Zhang, Jianghao Jia, Zhenzhong Chen

This paper presents the joint reference frame synthesis (RFS) and post-processing filter enhancement (PFE) for Versatile Video Coding (VVC), aiming to explore the combination of different neural network-based video coding (NNVC) tools to better utilize the hierarchical bi-directional coding structure of VVC. Both RFS and PFE utilize the Space-Time Enhancemen

Qiaozhi He, Zhihua Wu

Large Language Models(LLMs) have had a profound impact on AI applications, particularly in the domains of long-text comprehension and generation. KV Cache technology is one of the most widely used techniques in the industry. It ensures efficient sequence generation by caching previously computed KV states. However, it also introduces significant memory overh

Dorel Fetcu

We consider biconservative surfaces in Sol3, find their local equations, and then show that all biharmonic surfaces in this space are minimal.

Kun Zheng, Cuimei Cao, Yingying Lu, Jing Meng

Spin-orbit torque (SOT) in the heavy elements with a large spin-orbit coupling (SOC) has been frequently used to manipulate the magnetic states in spintronic devices. Recent theoretical works have predicted that the surface oxidized light elements with a negligible SOC can yield a sizable orbital torque (OT), which plays an important role in switching the ma

Tingting Wu, Lanqiang Li, Xiuyu Zhang, Shixin Zhu

Binary cyclic codes have been a hot topic for many years, and significant progress has been made in the study of this types of codes. As is well known, it is hard to construct infinite families of binary cyclic codes [n, n+1/2] with good minimum distance. In this paper, by using the BCH bound on cyclic codes, one of the open problems proposed by Liu et al. a

Hao-Yue Qi, Yue Wu, Wei Zheng

Floquet engineering is a powerful manipulation method in modern quantum technology. However, unwanted heating is the main challenge of Floquet engineering, therefore the Floquet thermalization has attracting considerable attentions recently. In this work, we investigate thermalization of periodically driven many-body systems through the lens of Krylov comple

Wendong Wang, Guoxu Yang

In this paper, we investigate Liouville type theorems for the three-dimensional steady-state MHD or Hall-MHD system under some asymptotic assumptions at infinity. Firstly, for the Hall-MHD system we obtain that $u$ and $B$ are constant vectors for any fluid viscosity, magnetic resistivity or Hall-coefficient when the magnetic field $B$ tends to a non-zero co

Xue-Qian Wang, Run-Xin Song, Xu Guan, Shuan Li

Microstructure uniformity of the Al-Nd target materials with Al11Nd3 significantly affects the performance of the fabricated film, which is widely used as wiring material in largesize thin-film transistor liquid crystal display (TFT-LCD) panels. Understanding the inherent mechanical properties and chemical bonds of Al11Nd3 is crucial for homogenizing the Al-

Gee-Choon Lau, Wai Chee Shiu, M. Nalliah, K. Premalatha

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, de

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis

Many techniques for the automated verification of distributed protocols have been developed over the past several years, but their performance is still unpredictable and their failure modes can be opaque for industrial scale verification tasks. Thus, in practice, large-scale verification efforts typically require some amount of human guidance. In this paper,

Qingrui Zhao, Mingyuan Li, Yongliang Shi, Xuechao Chen

High-frequency and accurate state estimation is crucial for biped robots. This paper presents a tightly-coupled LiDAR-Inertial-Kinematic Odometry (LIKO) for biped robot state estimation based on an iterated extended Kalman filter. Beyond state estimation, the foot contact position is also modeled and estimated. This allows for both position and velocity upda

Yuan Si, Hongkang Yu, Yijian Chen

Extremely large aperture array (ELAA) can significantly enhance beamforming gain and spectral efficiency. Unfortunately, the use of narrower beams for data transmission results in a substantial increase in the cost of beam training. In this paper, we study a high-efficiency and low-overhead scheme named hash beam training. Specifically, two improved hash cod

Xiaofan Cai, Ming Li, Chao Chen, Renjun Du

Blood, a ubiquitous and fundamental carbohydrate material composed of plasma, red blood cells, white blood cells, and platelets, has been playing an important role in biology, life science, history, and religious study, while graphene has garnered significant attention due to its exceptional properties and extensive range of potential applications. Achieving

Yanyun Li

In this paper, we consider the decay property of a special class of $d$-dimensional Markov processes, which can be viewed as a stopped network with the external customer being blocked to empty nodes. The exact value of the decay parameter $\lambda_{\mathcal{C}}$ is obtained by using a new method. It is proved that the process is $\lambda_{\mathcal{C}}$-trans

Yu Zhao, Haoxiang Gao, Jinghan Cao, Shiqi Yang

Real estate sales contracts contain crucial information for property transactions, but manual data extraction can be time-consuming and error-prone. This paper explores the application of large language models, specifically transformer-based architectures, for automated information extraction from real estate contracts. We discuss challenges, techniques, and

Alperen Duru, Mohammad Mozaffari, Mehrnaz Afshang, Ticao Zhang

This paper presents a sensor-aided pose-aware beamwidth adaptation design for a conceptual extended reality (XR) Head-Mounted Display (HMD) equipped with a 2D planar array. The beam is tracked and adapted on the user side by leveraging HMD orientation estimates. The beamwidth adaptation scheme is effected by selective deactivation of elements in the 2D anten

Lingxia Zhang, Xiaodie Lin, Peidong Wang, Kaiyan Yang

Optimization drives advances in quantum science and machine learning, yet most generative models aim to mimic data rather than to discover optimal answers to challenging problems. Here we present a variational generative optimization network that learns to map simple random inputs into high quality solutions across a variety of quantum tasks. We demonstrate

Samaksh Gulati

Numerous industries have benefited from the use of machine learning and fashion in industry is no exception. By gaining a better understanding of what makes a good outfit, companies can provide useful product recommendations to their users. In this project, we follow two existing approaches that employ graphs to represent outfits and use modified versions of

Evan Habbershaw, Cory D. Hauck, Steven M. Wise

A simple iterative approach for solving a set of implicit kinetic moment equations is proposed. This implicit solve is a key component in the IMEX discretization of the multi-species Bhatnagar-Gross-Krook (M-BGK) model with nontrivial collision frequencies depending on individual species temperatures. We prove that under mild time step restrictions, the iter

Yunbao Xu, Xuemei Jiang, Jun Li, Lining Xing

The reduction of carbon emissions in the manufacturing industry holds significant importance in achieving the national "double carbon" target. Ensuring energy efficiency is a crucial factor to be incorporated into future generation manufacturing systems. In this study, energy consumption is considered in the distributed homogeneous flow shop scheduling probl

Min Yang, Xiaolong Guo, Lei Jiang

Quantum computing represents a burgeoning computational paradigm that significantly advances the resolution of contemporary intricate problems across various domains, including cryptography, chemistry, and machine learning. Quantum circuits tailored to address specific problems have emerged as critical intellectual properties (IPs) for quantum computing comp

Jonathan Palafoutas, David A. Velasco Romero, Romain Teyssier

High-order finite volume and finite element methods offer impressive accuracy and cost efficiency when solving hyperbolic conservation laws with smooth solutions. However, if the solution contains discontinuities, these high-order methods can introduce unphysical oscillations and severe overshoots/undershoots. Slope limiters are an effective remedy, combatin

Bertrand Mennesson, Ruslan Belikov, Emiel Por, Eugene Serabyn

We summarize the current best polychromatic (10 to 20 % bandwidth) contrast performance demonstrated in the laboratory by different starlight suppression approaches and systems designed to directly characterize exoplanets around nearby stars. We present results obtained by internal coronagraph and external starshade experimental testbeds using entrance apert

Yasser Almoteri, Enkeleida Lushi

Suspensions of swimming micro-organisms are known to undergo intricate collective dynamics as a result of hydrodynamic and collision interactions. Micro-swimmers, such as bacteria and micro-algae, naturally live and have evolved in complex habitats that include impurities, obstacles and interfaces. To elucidate their dynamics in a heterogeneous environment,

Govind M. Chari, Abhinav G. Kamath, Purnanand Elango, Behçet Açıkmeşe

We introduce a GPU-accelerated Monte Carlo framework for nonconvex, free-final-time trajectory optimization problems. This framework makes use of the prox-linear method, which belongs to the larger family of sequential convex programming (SCP) algorithms, in conjunction with a constraint reformulation that guarantees inter-sample constraint satisfaction. Key

Mingzhen Huang, Shan Jia, Zhou Zhou, Yan Ju

In the battle against widespread online misinformation, a growing problem is text-image inconsistency, where images are misleadingly paired with texts with different intent or meaning. Existing classification-based methods for text-image inconsistency can identify contextual inconsistencies but fail to provide explainable justifications for their decisions t

Jeanne McClure, Machi Shimmei, Noboru Matsuda, Shiyan Jiang

In this paper, we explore the potential of Large Language Models (LLMs) with assertions to mitigate imbalances in educational datasets. Traditional models often fall short in such contexts, particularly due to the complexity and nuanced nature of the data. This issue is especially prominent in the education sector, where cognitive engagement levels among stu

Lucy Moser-Jauslin, Ronan Terpereau

We study the k-forms of almost homogeneous varieties over perfect base fields k. First, we discuss criteria for the existence of k-forms in the homogeneous case. Then, we extend the Luna-Vust theory from algebraically closed fields to perfect fields to determine when a given k-form of the open orbit of an almost homogeneous variety extends to a k-form of the

S. Mashdour, R. C. de Lamare

In this work, we propose a clustering technique based on information rates for cell-free massive multiple-input multiple-output (MIMO) networks. Unlike existing clustering approaches that rely on the large scale fading coefficients of the channels and user-centric techniques, we develop an approach that is based on the information rates of cell-free massive

Tu Anh Dinh, Tobias Palzer, Jan Niehues

Providing quality scores along with Machine Translation (MT) output, so-called reference-free Quality Estimation (QE), is crucial to inform users about the reliability of the translation. We propose a model-specific, unsupervised QE approach, termed $k$NN-QE, that extracts information from the MT model's training data using $k$-nearest neighbors. Measuring t

Christos Tsolakis, Nikos Chrisochoides

Efficient and robust anisotropic mesh adaptation is crucial for Computational Fluid Dynamics (CFD) simulations. The CFD Vision 2030 Study highlights the pressing need for this technology, particularly for simulations targeting supercomputers. This work applies a fine-grained speculative approach to anisotropic mesh operations. Our implementation exhibits mor

Ernesto Parra Inza, José María Sigarreta Almira, Nodari Vakhania

A dominating set of a graph $G=(V,E)$ is a subset of vertices $S\subseteq V$ such that every vertex $v\in V\setminus S$ has at least one neighbor in set $S$. The corresponding optimization problem is known to be NP-hard. The best known polynomial time approximation algorithm for the problem separates the solution process in two stages applying first a fast g

Hiroki Sayama

There is an increasing level of interest in open-endedness in the recent literature of Artificial Life and Artificial Intelligence. We previously proposed the cardinality leap of possibility spaces as a promising mechanism to facilitate open-endedness in artificial evolutionary systems, and demonstrated its effectiveness using Hash Chemistry, an artificial c

Tesla Zhang, Valery Isaev

We propose an enhancement to inductive types and records in a dependent type theory, namely (co)conditions. With a primitive interval type, conditions generalize the cubical syntax of higher inductive types in homotopy type theory, while coconditions generalize the cubical path type. (Co)conditions are also useful without an interval type. The duality betwee

T. Raszeja, J. C. A. Barata

We extended the notion of Newton-Wigner localization, already constructed in the bi-dimensional de Sitter space, to the tri-dimensional case for both principal and complementary series. We identify the one-particle subspace, generated by the positive-energy modes solution of the Klein-Gordon equation, as an irreducible representation of the de Sitter group.

Rong Zou, Marc Pollefeys, Denys Rozumnyi

Moving objects are frequently seen in daily life and usually appear blurred in images due to their motion. While general object retrieval is a widely explored area in computer vision, it primarily focuses on sharp and static objects, and retrieval of motion-blurred objects in large image collections remains unexplored. We propose a method for object retrieva

Philip T. Labo

Exponential histograms, with bins of the form $\left\{ \left(\rho^{k-1},\rho^{k}\right]\right\} _{k\in\mathbb{Z}}$, for $\rho>1$, straightforwardly summarize the quantiles of streaming data sets (Masson et al. 2019). While they guarantee the relative accuracy of their estimates, they appear to use only $\log n$ values to summarize $n$ inputs. We study four a

Christos Tsolakis, Polykarpos Thomadakis, Nikos Chrisochoides

Handling the ever-increasing complexity of mesh generation codes along with the intricacies of newer hardware often results in codes that are both difficult to comprehend and maintain. Different facets of codes such as thread management and load balancing are often intertwined, resulting in efficient but highly complex software. In this work, we present a fr

Robert A. Fesen, Marcel Drechsler, Nicolas Martino, Yann Sainty

We report the serendipitous discovery of a $8' \times 12'$ emission shell brightest in [O III] centered on the X-ray binary B[e] star, CI Cameleopardalis (CI Cam). This shell, detected during a survey of optical emission associated with the Galactic supernova remnant G150.3+4.5, is seen outside but immediately adjacent to the remnant's optical filaments alon

Yuanhao Qu, Kaixuan Huang, Ming Yin, Kanghong Zhan

The introduction of genome engineering technology has transformed biomedical research, making it possible to make precise changes to genetic information. However, creating an efficient gene-editing system requires a deep understanding of CRISPR technology, and the complex experimental systems under investigation. While Large Language Models (LLMs) have shown

Maria Mihaela Trusca, Tinne Tuytelaars, Marie-Francine Moens

Text-based semantic image editing assumes the manipulation of an image using a natural language instruction. Although recent works are capable of generating creative and qualitative images, the problem is still mostly approached as a black box sensitive to generating unexpected outputs. Therefore, we propose a novel model to enhance the text-based control of

Maysam Khodayari Gharanchaei, Prabhu Prasad Panda

This paper focuses on the application of quantitative portfolio management by using integer programming and clustering techniques. Investors seek to gain the highest profits and lowest risk in capital markets. A data-oriented analysis of US stock universe is used to provide portfolio managers a device to track different Exchange Traded Funds. As an example,

Hiroyasu Koizumi

We consider the forces acting on electrons in magnetic field including the constraints and a condition arising from quantum mechanics. The force is calculated as the electron mass, $m_e$, multiplied by the total time-derivative of the velocity field evaluated using the quantum mechanical many-electron wave function. The velocity field includes a term of the

Mikhail Lomonosov, Vladimir Shiltsev

Mikhail Lomonosov (1711-1765) was a Russian polymath and one of the giants of the European Enlightenment. This English translation of his seminal work Oration on Benefits of Chemistry continues the series of translations of nine most important scientific works, which were included by Lomonosov himself in the convolute Lomonosow Opera Academica and sent for d

Prabhu Prasad Panda, Maysam Khodayari Gharanchaei, Xilin Chen, Haoshu Lyu

The paper examines the performance of regression models (OLS linear regression, Ridge regression, Random Forest, and Fully-connected Neural Network) on the prediction of CMA (Conservative Minus Aggressive) factor premium and the performance of factor timing investment with them. Out-of-sample R-squared shows that more flexible models have better performance

Kurt A. Dominesey, Wei Ji

In this article, we demonstrate the novel use of Proper Generalized Decomposition (PGD) to separate the axial and, optionally, polar dimensions of neutron transport. Doing so, the resulting Reduced-Order Models (ROMs) can exploit the fact that nuclear reactors tend to be tall, but geometrically simple, in the axial direction $z$, and so the 3D neutron flux d

Zhiyan Ding, Martin Guerra, Qin Li, Eitan Tadmor

We introduce a novel method for non-convex optimization, called Swarm-based Simulated Annealing (SSA), which is at the interface between the swarm-based gradient-descent (SBGD) [J. Lu et. al., ArXiv:2211.17157; E.Tadmor and A. Zenginoglu, Acta Applicandae Math., 190, 2024] and Simulated Annealing (SA) [V. Cerny, J. optimization theory and appl., 45:41-51, 19

Natalie Behague, Imre Leader, Natasha Morrison, Kada Williams

A subgraph of the $n$-dimensional hypercube is called 'layered' if it is a subgraph of a layer of some hypercube. In this paper we show that there exist subgraphs of the cube of arbitrarily large girth that are not layered. This answers a question of Axenovich, Martin and Winter. Perhaps surprisingly, these subgraphs may even be taken to be induced.

Hossein Fani, Md Umar Hashmi, Emilio J. Palacios-Garcia, Geert Deconinck

The examination of the maximum number of electric vehicles (EVs) that can be integrated into the distribution network (DN) without causing any operational incidents has become increasingly crucial as EV penetration rises. This issue can be addressed by utilizing dynamic operating envelopes (DOEs), which are generated based on the grid status. While DOEs impr

R. Pito Salas

Seven years ago (2016), we began integrating Robotics into our Computer Science curriculum. This paper explores the mission, initial goals and objectives, specific choices we made along the way, and why and outcomes. Of course, we were not the first to do so. Our contribution in this paper is to describe a seven-year experience in the hope that others going

Ambarneil Saha, Matthew Mecklenburg, Alexander J. Pattison, Aaron S. Brewster

Every electron crystallography experiment is fundamentally limited by radiation damage. Nevertheless, little is known about the onset and progression of radiolysis in beam-sensitive molecular crystals. Here we apply ambient-temperature scanning nanobeam electron diffraction to record simultaneous dual-space snapshots of organic and organometallic nanocrystal

Hamid Reza Hashempour, Gilberto Berardinelli, Shashi Raj Pandey, Hien Quoc Ngo

This paper investigates energy-efficient transmission protocols in relay-assisted federated learning (FL) setup within industrial subnetworks, considering latency and power constraints. In the subnetworks, devices collaborate to train a global model by transmitting their local models at the edge-enabled primary access (pAP) directly or via secondary access p

Hanqiao Zhang

Neighborhood characteristics have been broadly studied with different firm behaviors, e.g. birth, entry, expansion, and survival, except for firm exit. Using a novel dataset of foreign-invested enterprises operating in Shenzhen's electronics manufacturing industry from 2017 to 2021, I investigate the spillover effects of firm exits on other firms in the vici

Maysam Khodayari Gharanchaei, Prabhu Prasad Panda, Xilin Chen

This paper focuses on the developing of high-dimensional risk models to construct portfolios of securities in the US stock exchange. Investors seek to gain the highest profits and lowest risk in capital markets. We have developed various risk models and for each model different investment strategies are tested. Out of sample tests are performed on a long-ter

Yijia Liu, Xiao Wang

Predictive uncertainty quantification is crucial for reliable decision-making in various applied domains. Bayesian neural networks offer a powerful framework for this task. However, defining meaningful priors and ensuring computational efficiency remain significant challenges, especially for complex real-world applications. This paper addresses these challen

Rui Ge, Ronald Garcia, Alexander J. Summers

SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reasoning is, however, known to be challenging. If quantifier instantiation is not carefully controlled, then runtime and outcomes can be brittle and hard to predict. In particular, un

Nikolaos Stathoulopoulos, Björn Lindqvist, Anton Koval, Ali-akbar Agha-mohammadi

In this article, a novel approach for merging 3D point cloud maps in the context of egocentric multi-robot exploration is presented. Unlike traditional methods, the proposed approach leverages state-of-the-art place recognition and learned descriptors to efficiently detect overlap between maps, eliminating the need for the time-consuming global feature extra

Alexey Dubinsky

We show that first several overtones could calculated by the time-domain integration method for asymptotically de Sitter black holes already at the lowest multipole numbers of gravitational and electromagnetic perturbations. This is not possible for asymptotically flat black holes, for which extraction of frequencies with the Prony method is usually possible

Dmitry Logashenko, Alexander Litvinenko, Raul Tempone, Gabriel Wittum

We use the Multi Level Monte Carlo method to estimate uncertainties in a Henry-like salt water intrusion problem with a fracture. The flow is induced by the variation of the density of the fluid phase, which depends on the mass fraction of salt. We assume that the fracture has a known fixed location but an uncertain aperture. Other input uncertainties are th

Bhawana Chhaglani, Jeremy Gummeson, Prashant Shenoy

Audio signals can reveal intimate details about a person's life, including their conversations, health status, emotions, location, and personal preferences. Unauthorized access or misuse of this information can have profound personal and social implications. In an era increasingly populated by devices capable of audio recording, safeguarding user privacy is

Zeyang Ma, An Ran Chen, Dong Jae Kim, Tse-Hsun Chen

Logs are important in modern software development with runtime information. Log parsing is the first step in many log-based analyses, that involve extracting structured information from unstructured log data. Traditional log parsers face challenges in accurately parsing logs due to the diversity of log formats, which directly impacts the performance of downs