Over the last quarter-century, spacecraft conjunction assessment has focused on a quantity associated by its advocates with collision probability. This quantity has a well-known dilution feature, where it is small when uncertainty is large, giving ri...
Informative missingness is unavoidable in the digital processing of continuous time series, where the value for one or more observations at different time points are missing. Such missing observations are one of the major limitations of time series p...
We review the basic concepts, the present state of theoretical models, and the future prospects for theory and observations of pulsating stellar atmospheres. Our emphasis is on radially pulsating cool stars, which dynamic atmospheres provide a gene...
The Sloan Digital Sky Survey has allowed us to increase the number of known white dwarfs by a factor of five and consequently the number of known pulsating white dwarfs also by a factor of five. It has also led to the discovery of new types of variab...
Pulsating detached eclipsing binary systems are crucial for studying the internal structure of oscillating stars. These systems are advantageous because binary effects on pulsations are minimal, allowing for more accurate determinations of fundamenta...
We have carried out a statistic survey on the pulsating variable stars with multiple identities. These stars were identified to exhibit two types of pulsation or multiple light variability types in the literature, and are usually called hybrid pulsat...
We review the pulsating stars contained in the top 24 fields of the MACHO bulge database, with special emphasis on the red semiregular stars. Based on period, amplitude and color cuts, we have selected a sample of 2000 semiregular variables with $1...
We aimed at collecting all known white dwarf pulsators with hydrogen-dominated atmospheres and list their main photometric and atmospheric parameters together with their pulsation periods and amplitudes observed at different epochs. For this purpose,...
Testing is a validation activity used to check the system's correctness with respect to the specification. In this context,test based on refusals is studied in theory and tools are effectively constructed. This paper addresses,a formal testing based...
Safety alignment in large language models (LLMs), particularly for cybersecurity tasks, primarily focuses on preventing misuse. While this approach reduces direct harm, it obscures a complementary failure mode: denial of assistance to legitimate defe...
This paper investigates the strategic implications of the uniform rank-minimizing mechanism (URM), an assignment rule that selects uniformly from the set of deterministic assignments minimizing the sum of agents' reported ranks. We focus on settings...
Safety guardrails in large language models(LLMs) are developed to prevent malicious users from generating toxic content at a large scale. However, these measures can inadvertently introduce or reflect new biases, as LLMs may refuse to generate harmfu...
Most commonly used language models (LMs) are instruction-tuned and aligned using a combination of fine-tuning and reinforcement learning, causing them to refuse users requests deemed harmful by the model. However, jailbreak prompts can often bypass t...
Network optimization remains fundamental in wireless communications, with Artificial Intelligence (AI)-based solutions gaining widespread adoption. As Sixth-Generation (6G) communication networks pursue full-scenario coverage, optimization in complex...
A common concern in high-precision neutron electric dipole moment (nEDM) experiments is that of magnetic field stability. For static fields, this problem can be mitigated through the use of a superconducting holding field coil, which when operated in...
The limited and dynamically varied resources on edge devices motivate us to deploy an optimized deep neural network that can adapt its sub-networks to fit in different resource constraints. However, existing works often build sub-networks through sea...
We investigate a special class of Prüfer domains, firstly introduced by Dress in 1965. The {\it minimal Dress ring} $D_K$, of a field $K$, is the smallest subring of $K$ that contains every element of the form $1/(1+x^2)$, with $x\in K$. We show tha...
The Cai--Fürer--Immerman (CFI) construction provides the canonical family of hard instances for the Weisfeiler--Leman (WL) hierarchy: distinguishing the two non-isomorphic CFI graphs over a base graph $G$ requires WL of dimension at least the treewi...
The recently developed Directional RElativistic Spectrum Simulator (DRESS) code has been validated for the first time against numerical calculations and experimental measurements performed on MAST. In this validation, the neutron emissivities and rat...
We introduce DRESS, a deterministic, parameter-free framework that iteratively refines the structural similarity of edges in a graph to produce a canonical fingerprint: a real-valued edge vector, obtained by converging a non-linear dynamical system t...
We develop a general formalism for the magnetic oscillations (MO) in two dimensional (2D) systems. We consider general 2D Landau levels, which may depend on other variable or indices, besides the perpendicular magnetic field. In the ground state, we...
In this work the magnetic oscillations (MO) in pristine silicene at $T=0$ K are studied. Considering a constant electron density we obtain analytical expressions for the ground state internal energy and magnetization, under a perpendicular electric a...
We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and commu...
We analyze the magnetic oscillations (MO) in pristine graphene, under a perpendicular magnetic field, taking into account the Zeeman effect. We consider a constant Fermi energy, such that the valence band is always full and only the conduction band i...
We consider a mixture of a two-component Fermi gas and a single-component dipolar Bose gas in a square optical lattice and reduce it into an effective Fermi system where the Fermi-Fermi interaction includes the attractive interaction induced by the p...
We study level statistics in ensembles of integrable $N\times N$ matrices linear in a real parameter $x$. The matrix $H(x)$ is considered integrable if it has a prescribed number $n>1$ of linearly independent commuting partners $H^i(x)$ (integrals of...
We construct ensembles of random integrable matrices with any prescribed number of nontrivial integrals and formulate integrable matrix theory (IMT) -- a counterpart of random matrix theory (RMT) for quantum integrable models. A type-M family of inte...
We obtain lower bounds on the inverse compressibility of systems whose Lee-Yang zeros of the grand-canonical partition function lie in the left half of the complex fugacity plane. This includes in particular systems whose zeros lie on the negative re...
We investigate, via numerical simulation, heat transport in the nonequilibrium stationary state (NESS) of the 1D classical Toda chain with an additional pinning potential, which destroys momentum conservation. The NESS is produced by coupling the sys...
Most modern operating systems have adopted the one-to-one thread model to support fast execution of threads in both multi-core and single-core systems. This thread model, which maps the kernel-space and user-space threads in a one-to-one manner, supp...
Threads as considered in basic thread algebra are primarily looked upon as behaviours exhibited by sequential programs on execution. It is a fact of life that sequential programs are often fragmented. Consequently, fragmented program behaviours are...
Assessing the degree of similarity of code fragments is crucial for ensuring software quality, but it remains challenging due to the need to capture the deeper semantic aspects of code. Traditional syntactic methods often fail to identify these conne...
We consider the problem of computing satisfactory pairs of solutions of the differential equation for Legendre functions of non-negative integer order $μ$ and degree $-\frac12+iτ$, where $τ$ is a non-negative real parameter. Solutions of this equa...
Assessing similarity in source code has gained significant attention in recent years due to its importance in software engineering tasks such as clone detection and code search and recommendation. This work presents a comparative analysis of unsuperv...
For a torsionless connection on the tangent bundle of a manifold M the Weyl curvature W is the part of the curvature in kernel of the Ricci contraction. We give a coordinate free proof of Weyl's result that the Weyl curvature vanishes if and only i...
NLTE line formation calculations of FeI in the solar atmosphere are extended to include weak optical lines. Previously established atomic models are used to discriminate between different ways of treating collisional interaction processes. To deriv...
We consider the reduced twistor space $Z$ of an almost Hermitian manifold $M$, after O'Brian and Rawnsley (Ann. Global Anal. Geom., 1985). We concentrate on dimension 6. This space has a natural almost complex structure $\mathcal J$ associated to t...
Coherent sheaves on general complex manifolds do not necessarily have resolutions by finite complexes of vector bundles. However D. Toledo and Y.L.L. Tong showed that one can resolve coherent sheaves by objects analogous to chain complexes of holomor...
We construct three simplicial presheaves on the site of ringed spaces, and in particular on that of complex manifolds. The descent objects for these simplicial presheaves yield Toledo--Tong's twisting cochains, simplicial twisting cochains, and compl...
In this paper, following the constructions of N. R. O'Brian, J. H. Rawnsley and I. Vaisman, we define four almost Hermitian structures (up to conjugation) on the twistor space of a Hermitian surface by using canonical connections, including the Lichn...