All posts under category "Research"
We have used the He I discontinuities at 3421A to determine the electron temperatures, designated Te(He I), for a sample of five Galactic planetary nebulae (PNe). We compared Te(He I) with the electron temperatures derived from the hydrogen Balmer ju
We calculate the location of the magnetically-inactive dead zone in the minimum-mass protosolar disk, under ionization scenarios including stellar X-rays, long- or short-lived radionuclide decay, and energetic protons arriving from the general inters
We present a novel scheme for the appearance of Stochastic Resonance when the dynamics of a Brownian particle takes place in a confined medium. The presence of uneven boundaries, giving rise to an entropic contribution to the potential, may upon appl
We analyse new deep g and i-band imaging with the CFHT of 16 QSOs in the redshift range 0.9 to 1.3. The principal points of interest are the symmetry and signs of tidal effects in the QSO hosts and nearby (`companion') galaxies. The sample measures a
Environmental, Social, and Governance (ESG) metric knowledge is inherently structured, connecting industries, reporting frameworks, metric categories, metrics, and calculation models through compositional dependencies, yet in practice this structure
The composition of gamma-ray burst (GRB) ejecta is still a mystery. The standard model invokes an initially hot ``fireball'' composed of baryonic matter. Here we analyze the broad band spectra of GRB 080916C detected by the Fermi satellite. The featu
The excitation energies of parahydrogen clusters have been systematically calculated by the diffusion Monte Carlo technique in steps of one molecule from 3 to 40 molecules. These clusters possess a very rich spectra, with angular momentum excitations
We point out that EXP3 can be implemented in constant time per round, propose more practical algorithms, and analyze the trade-offs between the regret bounds and time complexities of these algorithms.
We classify extensions of a group G by a braided 2-group mathcal{B} as defined by Drinfeld, Gelaki, Nikshych, and Ostrik. We describe such extensions as homotopy classes of maps from the classifying space of G to the classifying space of the 3-
Recognizing whether outputs from large language models (LLMs) contain faithfulness hallucination is crucial for real-world applications, e.g., retrieval-augmented generation and summarization. In this paper, we introduce Faith-Lens, a cost-efficient
The deep learning (DL) has been penetrating daily life in many domains, how to keep the DL model inference secure and sample privacy in an encrypted environment has become an urgent and increasingly important issue for various security-critical appli
We study the design of robust subexponential algorithms for classical connectivity problems on intersection graphs of similarly sized fat objects in R d . In this setting, each vertex corresponds to a geometric object, and two vertices are adjacent i
Widespread Pb (lead) contamination of urban soil significantly impacts food safety and public health and hinders city greening efforts. However, most existing technologies for measuring Pb are labor-intensive and costly. In this study, we propose Soi
2009 has been an extraordinary year for gamma-ray pulsar astronomy and 2010 promises to be equally good. Not only have we registered an extraordinary increase in the number of pulsars detected in gamma rays, but we have also witnessed the birth of ne
We develop a finite KKG-theory of C -algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite KKG-theor
Let G be a finite group and let k be a field of characteristic p. Given a finitely generated indecomposable non-projective kG-module M, we conjecture that if the Tate cohomology HHHH^ (G, M) of G with coefficients in M is finitely generated over th
We consider issues associated with the Lagrangian characterisation of flow structures arising in aperiodically time-dependent vector fields that are only known on a finite time interval. A major motivation for the consideration of this problem arises
The many similarities between the prompt emission pulses in gamma ray bursts (GRBs) and X-ray flares during the fast decay and afterglow phases of GRBs suggest a common origin. In the cannonball (CB) model of GRBs, this common origin is mass accretio
Internet telephony and multimedia communication protocols have matured over the last fifteen years. Recently, the web is evolving as a popular platform for everything we do on the Internet including email, text chat, voice calls, discussions, enterpr
Galles and Pearl claimed that 'for recursive models, the causal model framework does not add any restrictions to counterfactuals, beyond those imposed by Lewis's [possible-worlds] framework.' This claim is examined carefully, with the goal of clarify
The big strides seen in generative AI are not based on somewhat obscure algorithms, but due to clearly defined generative principles. The resulting concrete implementations have proven themselves in large numbers of applications. We suggest that it i
Large Language Models (LLMs) have shown strong generalization across tasks in high-resource languages; however, their linguistic competence in low-resource and morphologically rich languages such as Tamil remains largely unexplored. Existing multilin
We study a competitive nonlinear Schrรถdinger system in mathbb{R}^N whose nonlinear potential is localized in small regions that shrink to isolated points. Within a variational framework based on a fully sign-changing Nehari constraint and Krasnosel
We study the UV properties of Type I AGN from the ROSAT All-Sky Survey that have been selected to show unusually soft X-ray continua. We examine a sample of 54 Seyfert 1 galaxies with detections in both Near-UV and Far-UV bands of the Galaxy Evolutio
The Parkes Galactic All-Sky Survey (GASS) is a survey of Galactic atomic hydrogen (HI) emission in the Southern sky covering declinations delta leq 1^{circ} using the Parkes Radio Telescope. The survey covers 2pi steradians with an effective angu
Formal, automated theorem proving has long been viewed as a challenge to artificial intelligence. We introduce here a new approach to computer theorem proving, one that employs specialized language models for Lean4 proof generation combined with recu
We report on the discovery of a planetary system with a close-in transiting hot Jupiter on a near circular orbit and a massive outer planet on a highly eccentric orbit. The inner planet, HAT-P-13b, transits the bright V=10.622 G4 dwarf star GSC 3416-
We find a novel correlation structure in the residual noise of stock market returns that is remarkably linked to the composition and stability of the top few significant factors driving the returns, and moreover indicates that the noise band is compo
We obtained Hubble STIS spectra of three nova-like variables: V751 Cygni, V380 Oph, and - the only confirmed nova-like variable known to be below the period gap - BK Lyn. In all three systems, the spectra were taken during high optical brightness sta
In multi-vehicle cooperative driving tasks involving high-frequency continuous control, traditional state-based reward functions suffer from the issue of vanishing reward differences. This phenomenon results in a low signal-to-noise ratio (SNR) for p
Is the universe digital or analog? In this essay I argue that both classical and quantum physics include limits that prevent us from definitively answering that question. That quantum physics does so is no surprise. That classical physics does so is
The k-space polarization structure and its strain response in SrTiO3 with rotational instability are studied using a combination of first-principles density functional calculations, modern theory of polarization, and analytic Wannier-function formula
Mapping forest AGB (Above Ground Biomass) is of crucial importance to estimate the carbon emissions associated with tropical deforestation. This study proposes a method to overcome the saturation at high AGB values of existing AGB map (Vieilledent's
In the following paper we present an internal shocks model, iShocks, for simulating a variety of relativistic jet scenarios; these scenarios can range from a single ejection event to an almost continuous jet, and are highly user configurable. Althoug
bnlearn is an R package which includes several algorithms for learning the structure of Bayesian networks with either discrete or continuous variables. Both constraint-based and score-based algorithms are implemented, and can use the functionality pr
We analyze independent policy-gradient (PG) learning in N -player linear-quadratic (LQ) stochastic differential games. Each player employs a distributed policy that depends only on its own state and updates the policy independently using the gradien
We show a simple method for constructing an infinite family of graph formation games with link bias so that the resulting games admits, as a textit{pairwise stable} solution, a graph with an arbitrarily specified degree distribution. Pairwise stabili
The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain unreliable: without a solid theoretical footing, the refinement proce
We develop a transparent and fully auditable LLM-based pipeline for macro-financial stress testing, combining structured prompting with optional retrieval of country fundamentals and news. The system generates machine-readable macroeconomic scenarios
Cooperative multi-agent reinforcement learning (MARL) is constrained by two core design bottlenecks: dense reward engineering and curriculum design. Handcrafted rewards often misalign with global objectives, while static curricula fail to prevent age
Automated vulnerability patching is crucial for software security, and recent advancements in Large Language Models (LLMs) present promising capabilities for automating this task. However, existing research has primarily assessed LLMs using publicly
Large Language Models (LLMs) require substantial computational resources, making model compression essential for efficient deployment in constrained environments. Among the dominant compression techniques: knowledge distillation, structured pruning,
The widespread use of Large Language Models (LLMs) raises critical concerns regarding the unauthorized inclusion of copyrighted content in training data. Existing detection frameworks, such as DE-COP, are computationally intensive, and largely inacce
Robots often fail at everyday tasks because instructions skip commonsense details like hidden preconditions and small subgoals. Traditional symbolic planners need these details to be written explicitly, which is time consuming and often incomplete. I
A long plateau phase and an amazing brightness have been observed in the Xray afterglow of GRB 060729. This peculiar light curve is likely due to long-term energy injection in external shock. Here we present a detailed numerical study on the energy i
ARGO-YBJ is an air shower detector array with a fully covered layer of resistive plate chambers. It is operated with a high duty cycle and a large field of view. It continuously monitors the northern sky at energies above 0.3 TeV. In this paper, we r
Lossy transmission over a relay channel in which the relay has access to correlated side information is considered. First, a joint source-channel decode-and-forward scheme is proposed for general discrete memoryless sources and channels. Then the Gau
Using high-resolution data of the linearly polarized intensity and polarization angle at 3.6, 6.2, and 20 cm together with a 3-D model of the regular magnetic field, we study variations of the structure, strength, and energy density of the magnetic f
Testing RESTful API is increasingly important in quality assurance of cloud-native applications. Recent advances in machine learning (ML) techniques have demonstrated that various testing activities can be performed automatically by large language mo
We consider principal pivot transform (pivot) on graphs. We define a natural variant of this operation, called dual pivot, and show that both the kernel and the set of maximally applicable pivots of a graph are invariant under this operation. The res
Enter keywords to search articles