All posts under category "Research"
S.A. Solovyov (2008) has recently introduced the notion of a Q-topological space (and Q-continuous maps between them), where Q is a fixed member of a variety of Omega-algebras, which in turn gives rise to the category Q-TOP of such spaces. The purpos
We present a comprehensive multiband spectral and polarimetric study of the jet of 3C 264 (NGC 3862). Included in this study are three HST optical and ultraviolet polarimetry data sets, along with new and archival VLA radio imaging and polarimetry, a
Recent years have seen tremendous progress in creating complex atomic many-body quantum systems. One approach is to use macroscopic, effectively thermodynamic ensembles of ultracold atoms to create quantum gases and strongly correlated states of matt
Natural-language-facilitated human-robot cooperation (NLC) refers to using natural language (NL) to facilitate interactive information sharing and task executions with a common goal constraint between robots and humans. Recently, NLC research has rec
We present a search for CO(3-2) emission in SDF-26821, a BzK-selected star-forming galaxy (sBzK) at z = 2.044, using the 45-m telescope of the Nobeyama Radio Observatory and the Nobeyama Millimeter Array. We do not detect significant emission and der
We present a conservative extension ICaTT of the dependent type theory CaTT for weak ω -categories with a type witnessing coinductive invertibility of cells. This extension allows for a concise description of the 'walking equivalence' as a context,
Modern software development without reactive programming is hard to imagine. Reactive programming favors a wide class of contemporary software systems that respond to user input, network messages, and other events. While reactive programming is an ac
Multi-agent systems powered by large language models have emerged as a promising paradigm for solving complex reasoning tasks through collaborative intelligence. However, efficiently deploying these systems on serverless GPU platforms presents signif
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps (1979). In the context of optimal portfolio selection with expected utility preferences this question has
We present a deep (~5.8 days) 0.3-2 keV high-resolution spectrum of NGC1365, collected with the reflection grating spectrometer (RGS) on board XMM-Newton. The spectrum is dominated by strong recombination lines of He- and H-like transitions from carb
The integrity of many contemporary AI systems is compromised by the misuse of Human-in-the-Loop (HITL) models to obscure systems that remain heavily dependent on human labor. We define this structural dependency as Human-Instead-of-AI (HISOAI), an et
Loss of decisional capacity, coupled with the increasing absence of reliable human proxies, raises urgent questions about how individuals' values can be represented in Advance Care Planning (ACP). To probe this fraught design space of high-risk, high
In democracies, major policy decisions typically require some form of majority or consensus, so elites must secure mass support to govern. Historically, elites could shape support only through limited instruments like schooling and mass media; advanc
Artificial intelligence has advanced rapidly across perception, language, reasoning, and multimodal domains. Yet despite these achievements, modern AI systems remain fundamentally limited in their ability to self-monitor, self-correct, and regulate t
As computational demands continue to rise, assessing the environmental footprint of artificial intelligence (AI) requires moving beyond energy and water consumption to include the material demands of specialized hardware. This study quantifies the ma
Tracking body fat percentage is essential for effective weight management, yet gold-standard methods such as DEXA scans remain expensive and inaccessible for most people. This study evaluates the feasibility of artificial intelligence (AI) models as
Since human randomness production has been studied and widely used to assess executive functions (especially inhibition), many measures have been suggested to assess the degree to which a sequence is random-like. However, each of them focuses on one
The redshift distribution of gamma-ray bursts (GRBs) is strongly biased by selection effects. We investigate, via Monte Carlo simulations, one possible selection effect that may be modifying the Swift GRB redshift distribution. We show how telescope
Semi-supervised learning (SSL) has demonstrated high performance in image classification tasks by effectively utilizing both labeled and unlabeled data. However, existing SSL methods often suffer from poor calibration, with models yielding overconfid
In computational pathology, weak supervision has become the standard for deep learning due to the gigapixel scale of WSIs and the scarcity of pixel-level annotations, with Multiple Instance Learning (MIL) established as the principal framework for sl
The velocity of the inner ejecta of stripped-envelope core-collapse supernovae (CC-SNe) is studied by means of an analysis of their nebular spectra. Stripped-envelope CC-SNe are the result of the explosion of bare cores of massive stars ( geq 8 M _{
I analyse peculiar properties of light curve and continua of enigmatic Ibn supernovae, including SN 2006jc, and argue in favour of the early strong circumstellar interaction. This interaction explains the high luminosity and fast flux rise of SN 1999
Analytical expressions for spectrum, eigenfunctions and dipole matrix elements of a square double quantum well (DQW) are presented for a general case when the potential in different regions of the DQW has different heights and effective masses are di
Existing image forgery detection (IFD) methods either exploit low-level, semantics-agnostic artifacts or rely on multimodal large language models (MLLMs) with high-level semantic knowledge. Although naturally complementary, these two information stre
Up to 90% of the chemical reactions during star formation occurs on ice surfaces, probably including the formation of complex organics. Only the most abundant ice species are however observed directly by infrared spectroscopy. This study aims to deve
Using archival Hubble Space Telescope (HST) imaging data, we report the multiband photometric properties of 13 ultraluminous X-ray sources (ULXs) that have a unique compact optical counterpart. Both magnitude and color variation are detected at time
One of the experimental tests of Lorentz invariance violation is to measure the helicity dependence of the propagation velocity of photons originating in distant cosmological obejcts. Using a recent determination of the distance of the Gamma-Ray Burs
This study introduces an innovative multilingual bias evaluation framework for assessing bias in Large Language Models, combining explicit bias assessment through the BBQ benchmark with implicit bias measurement using a prompt-based Implicit Associat
Conventional heterogeneous computing systems built on PCIe interconnects suffer from inefficient fine-grained host-device interactions and complex programming models. In recent years, many proprietary and open cache-coherent interconnect standards ha
The increasing availability of data and advancements in computational intelligence have accelerated the adoption of data-driven methods (DDMs) in product development. However, their integration into product development remains fragmented. This fragme
Measuring gases for air quality monitoring is a challenging task that claims a lot of time of observation and large numbers of sensors. The aim of this project is to develop a partially autonomous unmanned aerial vehicle (UAV) equipped with sensors,
Not all nations on earth have previously been surveyed accurately enough to know for certain which peak is the national highpoint, the highest peak in the country. Knowledge of these peaks is important for understanding the physical geography of thes
Pt deposited on a Ge(001) surface spontaneously forms nanowire arrays. These nanowires are thermodynamically stable and can be hundreds of atoms long. The nanowires only occur on a reconstructed Pt-Ge-surface where they fill the troughs between the d
Mixture-of-Experts (MoE) has become a practical architecture for scaling LLM capacity while keeping per-token compute modest, but deploying MoE models on a single, memory-limited GPU remains difficult because expert weights dominate the HBM footprint
We study dynamics of a two-component Bose-Einstein condensate where the two components are coupled via an optical lattice. In particular, we focus on the dynamics as one drives the system through a critical point of a first order phase transition cha
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
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
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.
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
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
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
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
Enter keywords to search articles