Research archive

arXiv papers from April 2024

The most recent 100 records published that month. Open any paper for its original abstract, citation metadata, related research, and reading tools.

  1. Chanwoo Park, Mingyang Liu, Dingwen Kong, Kaiqing Zhang

    Reinforcement learning from human feedback (RLHF) has been an effective technique for aligning AI systems with human values, with remarkable successes in fine-tuning large-language models recently. Most existing RLHF paradigms make the underlying assumption that human preferences are relatively homogeneous, and can be encoded by a single reward model. In thi

  2. Yuchen Tian, Weixiang Yan, Qian Yang, Xuandong Zhao

    Large Language Models (LLMs) have made significant progress in code generation, offering developers groundbreaking automated programming support. However, LLMs often generate code that is syntactically correct and even semantically plausible, but may not execute as expected or fulfill specified requirements. This phenomenon of hallucinations in the code doma

  3. Pingzhi Li, Junyu Liu, Hanrui Wang, Tianlong Chen

    Optimization techniques in deep learning are predominantly led by first-order gradient methodologies, such as SGD. However, neural network training can greatly benefit from the rapid convergence characteristics of second-order optimization. Newton's GD stands out in this category, by rescaling the gradient using the inverse Hessian. Nevertheless, one of its

  4. Dylan Green, William Harvey, Saeid Naderiparizi, Matthew Niedoba

    Current state-of-the-art methods for video inpainting typically rely on optical flow or attention-based approaches to inpaint masked regions by propagating visual information across frames. While such approaches have led to significant progress on standard benchmarks, they struggle with tasks that require the synthesis of novel content that is not present in

  5. Narayanan Elavathur Ranganatha, Hengyuan Zhang, Shashank Venkatramani, Jing-Yan Liao

    Vector maps are essential in autonomous driving for tasks like localization and planning, yet their creation and maintenance are notably costly. While recent advances in online vector map generation for autonomous vehicles are promising, current models lack adaptability to different sensor configurations. They tend to overfit to specific sensor poses, leadin

  6. Malik Hassanaly, Nicholas T. Wimer, Anne Felden, Lucas Esclapez

    The Quasi-Steady State Approximation (QSSA) can be an effective tool for reducing the size and stiffness of chemical mechanisms for implementation in computational reacting flow solvers. However, for many applications, stiffness remains, and the resulting model requires implicit methods for efficient time integration. In this paper, we outline an approach to

  7. Richard Canary, Hee Oh, Andrew Zimmer

    We obtain a bi-Lipschitz rigidity theorem for a Zariski dense discrete subgroup of a connected simple real algebraic group. As an application, we show that any Zariski dense discrete subgroup of a higher rank semisimple algebraic group $G$ cannot have a $C^1$-smooth slim limit set in $G/P$ for any non-maximal parabolic subgroup $P$.

  8. Qiang Huang

    Voice conversion (VC) using deep learning technologies can now generate high quality one-to-many voices and thus has been used in some practical application fields, such as entertainment and healthcare. However, voice conversion can pose potential social issues when manipulated voices are employed for deceptive purposes. Moreover, it is a big challenge to fi

  9. Susan Athey, Emil Palikot

    Workers without formal credentials experience substantially lower employment rates than their credentialed counterparts, but the extent to which information frictions contribute to these disparities remains unclear. We conducted a randomized experiment with over 800,000 online certificate earners from developing countries who lack college degrees, encouragin

  10. Vítor Gomes Chagas, Elisa Dell'Arriva, Flávio Keidi Miyazawa

    We investigate approximation algorithms for several fundamental optimization problems on geometric packing. The geometric objects considered are very generic, namely $d$-dimensional convex fat objects. Our main contribution is a versatile framework for designing efficient approximation schemes for classic geometric packing problems. The framework effectively

  11. Zihan Zhu, Jiawei Yan, Hanxiang Yang, Duan Gu

    The X-ray free-electron lasers (XFELs) are cutting-edge instruments pivotal in a broad range of fields, providing high-power X-ray pulses with durations spanning from femtoseconds to attoseconds. One of the critical challenges in XFEL facilities is the simultaneous accommodation of diverse requirements for XFEL operation modes and photon properties across di

  12. Yong Shu, Liquan Shen, Xiangyu Hu, Mengyao Li

    As an important and practical way to obtain high dynamic range (HDR) video, HDR video reconstruction from sequences with alternating exposures is still less explored, mainly due to the lack of large-scale real-world datasets. Existing methods are mostly trained on synthetic datasets, which perform poorly in real scenes. In this work, to facilitate the develo

  13. Diego Porres, Alex Gomez-Villa

    Since NFTs and large generative models (such as DALLE2 and Stable Diffusion) have been publicly available, artists have seen their jobs threatened and stolen. While artists depend on sharing their art on online platforms such as Deviantart, Pixiv, and Artstation, many slowed down sharing their work or downright removed their past work therein, especially if

  14. Zun Li, Michael P. Wellman

    Evaluating deep multiagent reinforcement learning (MARL) algorithms is complicated by stochasticity in training and sensitivity of agent performance to the behavior of other agents. We propose a meta-game evaluation framework for deep MARL, by framing each MARL algorithm as a meta-strategy, and repeatedly sampling normal-form empirical games over combination

  15. Diego Porres, Yi Xiao, Gabriel Villalonga, Alexandre Levy

    Vision-based end-to-end driving models trained by imitation learning can lead to affordable solutions for autonomous driving. However, training these well-performing models usually requires a huge amount of data, while still lacking explicit and intuitive activation maps to reveal the inner workings of these models while driving. In this paper, we study how

  16. Mojtaba Safari, Zach Eidex, Chih-Wei Chang, Richard L. J. Qiu

    Magnetic resonance imaging (MRI) has revolutionized medical imaging, providing a non-invasive and highly detailed look into the human body. However, the long acquisition times of MRI present challenges, causing patient discomfort, motion artifacts, and limiting real-time applications. To address these challenges, researchers are exploring various techniques

  17. Srikar Chundury, Jiajia Li, In-Saeng Suh, Frank Mueller

    In the current era of Noisy Intermediate Scale Quantum (NISQ) computing, efficient digital simulation of quantum systems holds significant importance for quantum algorithm development, verification and validation. However, analysis of sparsity within these simulations remains largely unexplored. In this paper, we present a novel observation regarding the pre

  18. Xiaoyan Yang

    Let A be a commutative noetherian local DG-ring with bounded cohomology. The Intersection Theorem for DG-modules is examined and some of its applications are provided. The first is to prove the DG-setting of the amplitude inequality, New Intersection Theorem and Krull's principle ideal theorem. The second is to solve completely the Minamoto's conjecture in [

  19. Shadab Ahamed, Arman Rahmim

    Minimizing the need for pixel-level annotated data to train PET lesion detection and segmentation networks is highly desired and can be transformative, given time and cost constraints associated with expert annotations. Current unsupervised or weakly-supervised anomaly detection methods rely on autoencoder or generative adversarial networks (GANs) trained on

  20. Julian Ferrero, Thomas Koch, Sonja Vogel, Daniel Schroller

    Silicon-Germanium heterostructures are a promising quantum circuit platform, but crucial aspects as the long-term charge dynamics and cooldown-to-cooldown variations are still widely unexplored quantitatively. In this letter we present the results of an extensive bias cooling study performed on gated silicon-germanium quantum dots with an Al2O3-dielectric. O

  21. Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg

    We define a framework for incorporating alternation-free fixpoint logics into the dual-adjunction setup for coalgebraic modal logics. We achieve this by using order-enriched categories. We give a least-solution semantics as well as an initial algebra semantics, and prove they are equivalent. We also show how to place the alternation-free coalgebraic $\mu$-ca

  22. Longlong Jing, Ruichi Yu, Xu Chen, Zhengli Zhao

    Tracking objects in three-dimensional space is critical for autonomous driving. To ensure safety while driving, the tracker must be able to reliably track objects across frames and accurately estimate their states such as velocity and acceleration in the present. Existing works frequently focus on the association task while either neglecting the model perfor

  23. Abdoulaye Ndiaye

    This paper studies the optimal transaction fee mechanisms for blockchains, focusing on the distinction between price-based ($\mathcal{P}$) and quantity-based ($\mathcal{Q}$) controls. By analyzing factors such as demand uncertainty, validator costs, cryptocurrency price fluctuations, price elasticity of demand, and levels of decentralization, we establish cr

  24. Fabio I. Martinenghi, Xian Zhang, Luk Rombauts, Georgina M. Chambers

    A growing share of the world's population is being born via assisted reproductive technology (ART), including in-vitro fertilisation (IVF). However, two concerns persist. First, ART pregnancies correlate with predictors of poor outcomes at birth--and it is unclear whether this relationship is causal. Second, the emotional and financial costs associated with

  25. Cyril Zakka, Joseph Cho, Gracia Fahed, Rohan Shad

    Clinicians spend large amounts of time on clinical documentation, and inefficiencies impact quality of care and increase clinician burnout. Despite the promise of electronic medical records (EMR), the transition from paper-based records has been negatively associated with clinician wellness, in part due to poor user experience, increased burden of documentat

  26. Haohe Liu, Xuenan Xu, Yi Yuan, Mengyue Wu

    Large language models (LLMs) have significantly advanced audio processing through audio codecs that convert audio into discrete tokens, enabling the application of language modelling techniques to audio data. However, traditional codecs often operate at high bitrates or within narrow domains such as speech and lack the semantic clues required for efficient l

  27. Rafaël I. J. Mostert, Martijn S. S. L. Oei, B. Barkus, Lara Alegre

    Large-scale sky surveys at low frequencies, like the LOFAR Two-metre Sky Survey (LoTSS), allow for the detection and characterisation of unprecedented numbers of giant radio galaxies (GRGs, or 'giants'). In this work, by automating the creation of radio--optical catalogues, we aim to significantly expand the census of known giants. We then combine this sampl

  28. Marta Lewicka

    We prove a convex integration result for the Monge-Amp\`ere system, in case of dimension $d=2$ and arbitrary codimension $k\geq 1$. Our prior result stated flexibility up to the H\"older regularity $\mathcal{C}^{1,\frac{1}{1+ 4/k}}$, whereas presently we achieve flexibility up to $\mathcal{C}^{1,1}$ when $k\geq 4$ and up to $\mathcal{C}^{1,\frac{2^k-1}{2^{k+

  29. G. Hiermann, M. Schiffer

    With the advent of self-driving cars, experts envision autonomous mobility-on-demand services in the near future to cope with overloaded transportation systems in cities worldwide. Efficient operations are imperative to unlock such a system's maximum improvement potential. Existing approaches either consider a narrow planning horizon or ignore essential char

  30. Evan W. Patton, David Y. J. Kim, Ashley Granquist, Robin Liu

    This paper introduces Aptly, a platform designed to democratize mobile app development, particularly for young learners. Aptly integrates a Large Language Model (LLM) with App Inventor, enabling users to create apps using their natural language. User's description is translated into a programming language that corresponds with App Inventor's visual blocks. A

  31. David Geissbühler, Hatef Otroshi Shahreza, Sébastien Marcel

    Face recognition models are trained on large-scale datasets, which have privacy and ethical concerns. Lately, the use of synthetic data to complement or replace genuine data for the training of face recognition models has been proposed. While promising results have been obtained, it still remains unclear if generative models can yield diverse enough data for

  32. Dongyu Wei, Liu Cao, Lyutianyang Zhang, Xiangyu Gao

    The IEEE 802.11 standards, culminating in IEEE 802.11be (Wi-Fi 7), have significantly expanded bandwidth capacities from 20 MHz to 320 MHz, marking a crucial evolution in wireless access technology. Despite these advancements, the full potential of these capacities remains largely untapped due to inefficiencies in channel management, in particular, the under

  33. Silvije Domazet, Dražen Glavan, Tomislav Prokopec

    Photon propagator for power-law inflation is considered in the general covariant gauges within the canonical quantization formalism. Photon mode functions in covariant gauges are considerably more complicated than their scalar counterparts, except for the special choice of the gauge-fixing parameter we call the simple covariant gauge. We explicitly construct

  34. Ernesto Giralt Hernández

    The article analyzes the impact of artificial intelligence (AI) on contemporary society and the importance of adopting an ethical approach to its development and implementation within organizations. It examines the critical perspective of French philosopher \'Eric Sadin and others, who warn of the risks of unbridled technologization that can erode human auto

  35. Prashanth Krishnamurthy, Farshad Khorrami, Anthony Tzes

    Achieving control objectives (e.g., stabilization or convergence of tracking error to zero, input-to-state stabilization) in "prescribed time" has attracted significant research interest in recent years. The key property of prescribed-time results unlike traditional "asymptotic" results is that the convergence or other control objectives are achieved within

  36. Sunwoo Ha, Chaehun Lim, R. Jordan Crouser, Alvitta Ottley

    Confidence scores of automatic speech recognition (ASR) outputs are often inadequately communicated, preventing its seamless integration into analytical workflows. In this paper, we introduce ConFides, a visual analytic system developed in collaboration with intelligence analysts to address this issue. ConFides aims to aid exploration and post-AI-transcripti

  37. Xiaojie Fan, Caitao Zhan, Himanshu Gupta, C. R. Ramakrishnan

    Building large-scale quantum computers, essential to demonstrating quantum advantage, is a key challenge. Quantum Networks (QNs) can help address this challenge by enabling the construction of large, robust, and more capable quantum computing platforms by connecting smaller quantum computers. Moreover, unlike classical systems, QNs can enable fully secured l

  38. Mark Meyer

    In recent work, Franck Barthe and Mokshay Madiman introduced the concept of the Lyusternik region, denoted by $\Lambda_{n}(m)$, to better understand volumes of sumsets. They gave a characterization of $\Lambda_{n}(2)$ (the volumes of compact sets in $\mathbb{R}^n$ when at most $m=2$ sets are added together) and proved that Lebesgue measure satisfies a fracti

  39. Ali Shibli, Tahar Zanouda

    Accurate estimation of Network Performance is crucial for several tasks in telecom networks. Telecom networks regularly serve a vast number of radio nodes. Each radio node provides services to end-users in the associated coverage areas. The task of predicting Network Performance for telecom networks necessitates considering complex spatio-temporal interactio

  40. Abdoljalil Addeh, Fernando Vega, Rebecca J. Williams, G. Bruce Pike

    Motivation: In many fMRI studies, respiratory signals are often missing or of poor quality. Therefore, it could be highly beneficial to have a tool to extract respiratory variation (RV) waveforms directly from fMRI data without the need for peripheral recording devices. Goal(s): Investigate the hypothesis that head motion parameters contain valuable informat

  41. Yanjun Fu, Ethan Baker, Yu Ding, Yizheng Chen

    Code Large Language Models (Code LLMs) have been increasingly used by developers to boost productivity, but they often generate vulnerable code. Thus, there is an urgent need to ensure that code generated by Code LLMs is correct and secure. Previous research has primarily focused on generating secure code, overlooking the fact that secure code also needs to

  42. Shupeng Wang, George Em Karniadakis

    Physics-Informed Neural Networks (PINNs) have been widely used for solving partial differential equations (PDEs) of different types, including fractional PDEs (fPDES) [29]. Herein, we propose a new general (quasi) Monte Carlo PINN for solving fPDEs on irregular domains. Specifically, instead of approximating fractional derivatives by Monte Carlo approximatio

  43. Yicheng Tao, Yiqun Wang, Longju Bai

    This paper presents a comprehensive exploration of relation extraction utilizing advanced language models, specifically Chain of Thought (CoT) and Graphical Reasoning (GRE) techniques. We demonstrate how leveraging in-context learning with GPT-3.5 can significantly enhance the extraction process, particularly through detailed example-based reasoning. Additio

  44. Shadan Ghassemi Tabrizi, Thomas D. Kühne

    Spin models like the Heisenberg Hamiltonian effectively describe the interactions of open-shell transition-metal ions on a lattice and can account for various properties of magnetic solids and molecules. Numerical methods are usually required to find exact or approximate eigenstates, but for small clusters with spatial symmetry, analytical solutions exist, a

  45. Jiyang Wang, Ayse Altay, Senem Velipasalar

    Functional near-infrared spectroscopy (fNIRS) is a non-intrusive way to measure cortical hemodynamic activity. Predicting cognitive workload from fNIRS data has taken on a diffuse set of methods. To be applicable in real-world settings, models are needed, which can perform well across different sessions as well as different subjects. However, most existing w

  46. J. Haddad

    For every convex body $K \subset \mathbb R^n$ and $\delta \in (0,1)$, the $\delta$-convolution body of $K$ is the set of $x \in \mathbb R^n$ for which $\left|K \cap (K+x)\right|_n \geq \delta \left|K\right|_n$. We show that for $n=2$ and any $\delta \in (0,1)$, ellipsoids do not maximize the volume of the $\delta$-convolution body of $K$, when $K$ runs over

  47. Eric Viklund, David N. Seidman, Brad M. Tennis, Grigory Eremeev

    Despite having advantageous superconducting properties, Nb3Sn superconducting radiofrequency (SRF) cavities still have practical challenges compared to Nb SRF cavities due to the brittle nature of Nb3Sn. Performance degradation can occur when a Nb3Sn SRF cavity experiences mechanical stresses such as during handling and tuning of the cavity. In this study, w

  48. Jyotish Patidar, Kerstin Thorwarth, Thorsten Schmitz-Kempen, Roland Kessels

    Fueled by the 5G revolution, the demand for advanced radio frequency micro-electromechanical systems (MEMS) based on AlScN is growing rapidly. However, synthesizing high-quality, textured AlScN thin films is challenging. Current approaches typically rely on high temperatures and expensive compound targets. In this study, we demonstrate the feasibility of ion

  49. J. P. Palastro, D. Ramsey, M. Formanek, J. Vieira

    The Dirac equation has resided among the greatest successes of modern physics since its emergence as the first quantum mechanical theory fully compatible with special relativity. This compatibility ensures that the expectation value of the velocity is less than the vacuum speed of light. Here, we show that the Dirac equation admits free-particle solutions wh

  50. Stephen T. Lam, Shubhojit Banerjee, Rajni Chahal

    Due to extreme chemical, thermal, and radiation environments, existing molten salt property databases lack the necessary experimental thermal properties of reactor-relevant salt compositions. Meanwhile, simulating these properties directly is typically either computationally expensive or inaccurate. In recent years, deep learning (DL)-based atomistic simulat

  51. Javier Ferrando, Gabriele Sarti, Arianna Bisazza, Marta R. Costa-jussà

    The rapid progress of research aimed at interpreting the inner workings of advanced language models has highlighted a need for contextualizing the insights gained from years of work in this area. This primer provides a concise technical introduction to the current techniques used to interpret the inner workings of Transformer-based language models, focusing

  52. E. J. Barroso, L. F. Demétrio, S. D. P. Vitenti, Xuan Ye

    Linear scalar cosmological perturbations have increasing spectra in the contracting phase of bouncing models. We study the conditions for which these perturbations may collapse into primordial black holes and the hypothesis that these objects constitute a fraction of dark matter. We compute the critical density contrast that describes the collapse of matter

  53. Ian Cavey

    We give an explicit formula for Euler characteristics of line bundles on the Hilbert scheme of points on $\mathbb{P}^1\times\mathbb{P}^1$. Combined with structural results of Ellingsrud, G\"ottsche, and Lehn, this determines the Euler characteristic of any line bundle on the Hilbert scheme of points on any smooth, projective surface. We also give an enumerat

  54. Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard

    We propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent graph neural network (GNN). We also show that a broad class of GNNs can be transformed efficiently into a formula, thus significantly improving upon the literature about the logical expressiveness of GNNs. We al

  55. Robert Vacareanu, Anurag Pratik, Evangelia Spiliopoulou, Zheng Qi

    Many of the recent capabilities demonstrated by Large Language Models (LLMs) arise primarily from their ability to exploit contextual information. In this paper, we explore ways to improve reasoning capabilities of LLMs through (1) exploration of different chains of thought and (2) validation of the individual steps of the reasoning process. We propose three

  56. Jing Kong

    A physically motivated equation that determines the number of electrons of a molecule is proposed based on chemical common sense. It shows that all molecules are entangled in the number of electrons and results in the fundamental assumption of molecular energy convexity that underpins molecular quantum mechanics. The proposed physical principle includes the

  57. A N M Nafiz Abeer, Sanket Jantre, Nathan M Urban, Byung-Jun Yoon

    Deep generative models have been accelerating the inverse design process in material and drug design. Unlike their counterpart property predictors in typical molecular design frameworks, generative molecular design models have seen fewer efforts on uncertainty quantification (UQ) due to computational challenges in Bayesian inference posed by their large numb

  58. Samir Arora, Liangliang Wang

    Full fine-tuning is a popular approach to adapt Transformer-based pre-trained large language models to a specific downstream task. However, the substantial requirements for computational power and storage have discouraged its widespread use. Moreover, increasing evidence of catastrophic forgetting and overparameterization in the Transformer architecture has

  59. Amanda Bertsch, Maor Ivgi, Emily Xiao, Uri Alon

    As model context lengths continue to increase, the number of demonstrations that can be provided in-context approaches the size of entire training datasets. We study the behavior of in-context learning (ICL) at this extreme scale on multiple datasets and models. We show that, for many datasets with large label spaces, performance continues to increase with t

  60. Olivier Gamache, Jean-Michel Fortin, Matěj Boxan, François Pomerleau

    This report presents a wearable plug-and-play platform for data acquisition in the field. The platform, extending a waterproof Pelican Case into a 20 kg backpack offers 5.5 hours of power autonomy, while recording data with two cameras, a lidar, an Inertial Measurement Unit (IMU), and a Global Navigation Satellite System (GNSS) receiver. The system only requ

  61. Aviral Prakash, Yongjie Jessica Zhang

    Identifying differential operators from data is essential for the mathematical modeling of complex physical and biological systems where massive datasets are available. These operators must be stable for accurate predictions for dynamics forecasting problems. In this article, we propose a novel methodology for learning sparse differential operators that are

  62. Michael Rabenberg, Carter Benson, Federico Donato, Yongqun He

    Ontological representations of qualities, dispositions, and roles have been refined over the past decade, clarifying subtle distinctions in life science research. After articulating a widely-used characterization of these entities within the context of Basic Formal Ontology (BFO), we identify gaps in this treatment and motivate the need for supplementing the

  63. Diangarti Tariang, Riccardo Corvi, Davide Cozzolino, Giovanni Poggi

    In this work we present an overview of approaches for the detection and attribution of synthetic images and highlight their strengths and weaknesses. We also point out and discuss hot topics in this field and outline promising directions for future research.

  64. Vladislav Yu. Shishkov, Evgeny S. Andrianov, Anton V. Zasedatelev

    In this work, we develop an optomechanical formalism for macroscopic quantum states in exciton-polariton systems with strong exciton-phonon interactions. We show that polariton optomechanical interactions induce dynamical backaction, resulting in dispersive and dissipative shifts in the complex vibrational response functions. Unlike conventional optomechanic

  65. Rami Gherib, Ilya G. Ryabinkin, Scott N. Genin

    A method for performing variable-width (thawed) Gaussian wavepacket (GWP) variational dynamics on machine-learned potentials is presented. Instead of fitting the potential energy surface (PES), the anharmonic correction to the global harmonic approximation (GHA) is fitted using kernel ridge regression -- this is a $\Delta$-machine learning approach. The trai

  66. Doried Ghader, Bilal Jabakhanji

    Magnon dynamics in skyrmion lattices have garnered significant interest due to their potential applications in topological magnonics. Existing theories often follow a single-momentum approach, assuming significant Dzyaloshinskii-Moriya Interaction (DMI) to minimize the skyrmion's dimensions, which can lead to oversimplification in describing magnon behavior.

  67. Taewan Kim, Kyunghyun Baek, Yongsoo Hwang, Jeongho Bang

    Fault-tolerant quantum computation enables reliable quantum computation but incurs a significant overhead from both time and resource perspectives. To reduce computation time, Austin G. Fowler proposed time-optimal quantum computation by constructing a quantum circuit for a fault-tolerant $T$ gate without probabilistic $S$ gate correction. In this work, we i

  68. N. D. Chavda, Priyanka Rao, V. K. B. Kota, Manan Vyas

    We present numerical investigations demonstrating the result that the distribution of the lowest eigenvalue of finite many-boson systems (say we have $m$ number of bosons) with $k$-body interactions, modeled by Bosonic Embedded Gaussian Orthogonal [BEGOE($k$)] and Unitary [BEGUE($k$)] random matrix Ensembles of $k$-body interactions, exhibits a smooth transi

  69. Nicolas Samson, Dominic Baril, Julien Lépine, François Pomerleau

    Recent advances in autonomous driving for uncrewed ground vehicles (UGVs) have spurred significant development, particularly in challenging terrains. This paper introduces a classification system assessing various UGV deployments reported in the literature. Our approach considers motion distortion features that include internal UGV features, such as mass and

  70. Ernest Aboagye, Vali Asimit, Tsz Chai Fung, Liang Peng

    It is well-known that Excess-of-Loss reinsurance has more marketability than Stop-Loss reinsurance, though Stop-Loss reinsurance is the most prominent setting discussed in the optimal (re)insurance design literature. We point out that optimal reinsurance policy under Stop-Loss leads to a zero insolvency probability, which motivates our paper. We provide a re

  71. Tahira Shehzadi, Shalini Sarode, Didier Stricker, Muhammad Zeshan Afzal

    Table detection within document images is a crucial task in document processing, involving the identification and localization of tables. Recent strides in deep learning have substantially improved the accuracy of this task, but it still heavily relies on large labeled datasets for effective training. Several semi-supervised approaches have emerged to overco

  72. John Beverley, Robin McGill, Sam Smith, Jie Zheng

    The term credential encompasses educational certificates, degrees, certifications, and government-issued licenses. An occupational credential is a verification of an individuals qualification or competence issued by a third party with relevant authority. Job seekers often leverage such credentials as evidence that desired qualifications are satisfied by thei

  73. Wenchu Pan, Daniel Almirall, Amy M. Kilbourne, Andrew Quanbeck

    Adaptive interventions, aka dynamic treatment regimens, are sequences of pre-specified decision rules that guide the provision of treatment for an individual given information about their baseline and evolving needs, including in response to prior intervention. Clustered adaptive interventions (cAIs) extend this idea by guiding the provision of intervention

  74. Jonathan Serrano-Pérez, L. Enrique Sucar

    Scarcity of labeled data is a common problem in supervised classification, since hand-labeling can be time consuming, expensive or hard to label; on the other hand, large amounts of unlabeled information can be found. The problem of scarcity of labeled data is even more notorious in hierarchical classification, because the data of a node is split among its c

  75. John Beverley, David Limbaugh, Eric Merrell, Peter M. Koch

    In our daily lives, as in science and in all other domains, we encounter huge numbers of dispositions (tendencies, potentials, powers) which are realized in processes such as sneezing, sweating, shedding dandruff, and on and on. Among this plethora of what we can think of as mere dispositions is a subset of dispositions in whose realizations we have an inter

  76. Adam Catto, Nan Jia, Ansaf Salleb-Aouissi, Anita Raja

    Missing value imputation is a crucial preprocessing step for many machine learning problems. However, it is often considered as a separate subtask from downstream applications such as classification, regression, or clustering, and thus is not optimized together with them. We hypothesize that treating the imputation model and downstream task model together an

  77. Hang Du, Sicheng Zhang, Binzhu Xie, Guoshun Nan

    Video anomaly understanding (VAU) aims to automatically comprehend unusual occurrences in videos, thereby enabling various applications such as traffic surveillance and industrial manufacturing. While existing VAU benchmarks primarily concentrate on anomaly detection and localization, our focus is on more practicality, prompting us to raise the following cru

  78. Emilie Lu, Thanh-Dung Le

    Vital signs have been essential clinical measures. Among these, body temperature (BT) and heart rate (HR) are particularly significant, and numerous studies explored their association in hospitalized adults and children. However, a lack of in-depth research persists in children admitted to the pediatric intensive care unit (PICU) despite their critical condi

  79. Madeline R. Abbott, Walter H. Dempsey, Inbal Nahum-Shani, Lindsey N. Potter

    The availability of mobile health (mHealth) technology has enabled increased collection of intensive longitudinal data (ILD). ILD have potential to capture rapid fluctuations in outcomes that may be associated with changes in the risk of an event. However, existing methods for jointly modeling longitudinal and event-time outcomes are not well-equipped to han

  80. Zhirayr Adamyan, Vadim Ohanyan

    Mixed spin-(1/2,1/2,1) trimer with two different Land\'{e} g-factors and two different exchange couplings is considered. The main feature of the model is non-conserving magnetization. The Hamiltonian of the system is diagonalized analytically. We presented a detailed analysis of the ground state properties, revealing several possible ground state phase diagr

  81. Samir Kušmić, Kristian Finlator, Ezra Huscher, Maya Steen

    How do galaxies of different luminosities contribute to the metal absorber populations of varying species and strength? We present our analysis of the predicted metal contributions from galaxies as observed in quasar absorption line spectra during the end of the Epoch of Reionization (EoR; $10 \geq z \geq 5.5$). This was done by implementing on-the-fly parti

  82. Harbir Antil, Sean P. Carney, Hugo Díaz, Johannes O. Royset

    Stochastic optimization problems are generally known to be ill-conditioned to the form of the underlying uncertainty. A framework is introduced for optimal control problems with partial differential equations as constraints that is robust to inaccuracies in the precise form of the problem uncertainty. The framework is based on problem relaxation and involves

  83. Alireza Salemi, Hamed Zamani

    This paper introduces uRAG--a framework with a unified retrieval engine that serves multiple downstream retrieval-augmented generation (RAG) systems. Each RAG system consumes the retrieval results for a unique purpose, such as open-domain question answering, fact verification, entity linking, and relation extraction. We introduce a generic training guideline

  84. José Juan González-Avilés, Pete Riley, Michal Ben-Nun, Prateek Mayank

    Understanding the large-scale three-dimensional structure of the inner heliosphere, while important in its own right, is crucial for space weather applications, such as forecasting the time of arrival and propagation of coronal mass ejections (CMEs). This study uses sunRunner3D (3D), a 3-D magnetohydrodynamic (MHD) model, to simulate solar wind (SW) streams

  85. Arsalan Sharifnassab, Saber Salehkaleybar, Sina Ghiassian, Surya Kanoria

    We propose Soft Preference Optimization (SPO), a method for aligning generative models, such as Large Language Models (LLMs), with human preferences, without the need for a reward model. SPO optimizes model outputs directly over a preference dataset through a natural loss function that integrates preference loss with a regularization term across the model's

  86. Jill Mastrocola

    In this paper, we define the 2-complete Artin complex and show that it is systolic for locally reducible Artin groups. The stabilizers of simplices in this complex are exactly the proper parabolic subgroups which are "2-complete." We use this systolicity to show that parabolic subgroups, with 2-completions that are not the whole Artin group, are weakly malno

  87. Emily Tallman, Mike West

    We discuss and develop Bayesian dynamic modelling and predictive decision synthesis for portfolio analysis. The context involves model uncertainty with a set of candidate models for financial time series with main foci in sequential learning, forecasting, and recursive decisions for portfolio reinvestments. The foundational perspective of Bayesian predictive

  88. Eric Gilbert

    This article argues that AI Alignment is a type of Human-Centered Computing.

  89. David Liu, Arjun Seshadri, Tina Eliassi-Rad, Johan Ugander

    A wide range of graph embedding objectives decompose into two components: one that enforces similarity, attracting the embeddings of nodes that are perceived as similar, and another that enforces dissimilarity, repelling the embeddings of nodes that are perceived as dissimilar. Without repulsion, the embeddings would collapse into trivial solutions. Skip-Gra

  90. Viktoriia Borovik, Alexander Chernov, Anton Shafarevich

    An induced additive action on a projective variety $X \subseteq \mathbb{P}^n$ is a regular action of the group $\mathbb{G}_a^m$ on $X$ with an open orbit, which can be extended to a regular action on the ambient projective space $\mathbb{P}^n$. In this work, we classify all projective hypersurfaces admitting an induced additive action with a finite number of

  91. Lorenzo Küchler, Geoffrey Compère, Leanne Durkan, Adam Pound

    Compact binaries with asymmetric mass ratios are key expected sources for next-generation gravitational wave detectors. Gravitational self-force theory has been successful in producing post-adiabatic waveforms that describe the quasi-circular inspiral around a non-spinning black hole with sub-radian accuracy, in remarkable agreement with numerical relativity

  92. Sophia Derlopa, Stavros Akras, Philippe Amram, Panos Boumis

    We carry out an advanced morpho-kinematic analysis of the Planetary Nebula (PN) NGC 2818, whose complex morphology is described by a basic bipolar component, filamentary structures and a knotty central region. We performed an upgrated 3D Morpho-kinematic (MK) model by employing the SHAPE software, combining for the first time in PNe optical 2D spatially reso

  93. Zhangyong Tang, Tianyang Xu, Zhenhua Feng, Xuefeng Zhu

    RGBT tracking draws increasing attention because its robustness in multi-modal warranting (MMW) scenarios, such as nighttime and adverse weather conditions, where relying on a single sensing modality fails to ensure stable tracking results. However, existing benchmarks predominantly contain videos collected in common scenarios where both RGB and thermal infr

  94. Mark J. Henriksen, Mateo Mejia

    We have investigated the role that different galaxy types have in galaxy-galaxy interactions in compact groups. N-body simulations of 6 galaxies consisting of a differing mixture of galaxy types were run to compare the relative importance of galaxy population demographic on evolution. Three different groups with differing galaxy content were tested: all spir

  95. Magnus Bender, Tanya Braun, Ralf Möller, Marcel Gehrke

    An agent providing an information retrieval service may work with a corpus of text documents. The documents in the corpus may contain annotations such as Subjective Content Descriptions (SCD) -- additional data associated with different sentences of the documents. Each SCD is associated with multiple sentences of the corpus and has relations among each other

  96. Imran Nasim, Adam Nasim

    Pharmacometric models are pivotal across drug discovery and development, playing a decisive role in determining the progression of candidate molecules. However, the derivation of mathematical equations governing the system is a labor-intensive trial-and-error process, often constrained by tight timelines. In this study, we introduce PKINNs, a novel purely da

  97. Olivier Bournez, Riccardo Gozzi

    We study initial value problems having dynamics ruled by discontinuous ordinary differential equations with the property of possessing a unique solution. We identify a precise class of such systems that we call solvable intitial value problems and we prove that for this class of problems the unique solution can always be obtained analytically via transfinite

  98. Yuliia Borysenkova, Volodymyr Gorkavenko, Ivan Hrynchak, Oleksandr Khasai

    In this paper, we consider the extension of the Standard Model with Chern-Simons type interaction. There is a new vector massive boson (Chern-Simons bosons) in this extension. Using only three-particle dimension-4 interaction of the Chern-Simons bosons with vector bosons of the SM, we consider effective loop interaction of a new vector boson with leptons. We

  99. Simge Yatkın, Tolga Ovatman

    DO-178C stands out as a guiding standard for aviation system development processes. This standard not only mandates ensuring the consistency of requirements in the software verification process but also recognizes it as a mandatory element. The main objective of this study is to introduce a method for analyzing and identifying inconsistencies between high-le

  100. Tracy Chin

    Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-hard. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and