All posts under category "Research"
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
We study the light dispersion relation in a periodic ensemble of atoms at fixed positions in the Fano-Hopfield model (the atomic dipole being modeled with harmonic oscillators). Compared to earlier works, we do not restrict to cubic lattices, and we
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
A numerical model based on the finite-difference time-domain method is developed to simulate fluctuations which accompany the dephasing of atomic polarization and the decay of excited state's population. This model is based on the Maxwell-Bloch equat
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
The paper presents a new steganographic method called RSTEG (Retransmission Steganography), which is intended for a broad class of protocols that utilises retransmission mechanisms. The main innovation of RSTEG is to not acknowledge a successfully re
This study investigates a high Q-factor spiral inductor fabricated by the CMOS (complementary metal oxide semiconductor) process and a post-process. The spiral inductor is manufactured on silicon substrate using the 0.35 micrometers CMOS process. In
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
In this paper, an improved strategy for automated text dependent speaker identification system has been proposed in noisy environment. The identification process incorporates the Neuro- Genetic hybrid algorithm with cepstral based features. To remove
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
Having always been at the forefront of information management and open access, High-Energy Physics (HEP) proves to be an ideal test-bed for innovations in scholarly communication including new information and communication technologies. Three selecte
The rights and duties of both staff members and students are regulated by a large and different numbers of legal regulations and rules. This large number of rules and regulations makes the decision-making process time consuming and error boring. Smar
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 previous work (`Network coding meets TCP') we proposed a new protocol that interfaces network coding with TCP by means of a coding layer between TCP and IP. Unlike the usual batch-based coding schemes, the protocol uses a TCP-compatible sliding wi
Being able to quickly select among gamma-ray bursts (GRBs) seen by the Swift satellite those which are high-z candidates would give ground-based observers a better chance to determine a redshift for such distant GRBs. Information about these high-z G
The actual transition from IPv4 to IPv6 requires network administrators to become aware of the next generation protocol and the associated risk problems.Due to the scale and complexity of current internet architecture how to protect from the existing
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
The paper proposes a new calibration method for parallel manipulators that allows efficient identification of the joint offsets using observations of the manipulator leg parallelism with respect to the base surface. The method employs a simple and lo
Handwriting is an alternative method for entering texts composing Short Message Services. However, a whole new language features the texts which are produced. They include for instance abbreviations and other consonantal writing which sprung up for t
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
Enter keywords to search articles