All posts under category "Research"
The rapid development of large vision-language model (VLM) has greatly promoted the research of GUI agent. However, GUI agents still face significant challenges in handling long-horizon tasks. First, single-agent models struggle to balance high-level
Lindsey [2025] investigates introspective awareness in language models through four experiments, finding that models can sometimes detect and identify injected activation patterns-but unreliably (∼20% success in the best model). We focus on the firs
In our previous paper, we evaluated the transit duration variation (TDV) effect for a co-aligned planet-moon system at an orbital inclination of i=90 degrees. Here, we will consider the effect for the more general case of i <= 90 degrees and an exomo
Most cold atoms experiments in microgravity platforms or in Space are achieved using atom chips, leading to limitations in terms of optical access and inhomogeneous magnetic fields. Optical dipole traps do not have these drawbacks but have difficulti
Geophysical methods provide a cost-effective way to characterize the subsurface for hydrogeological projects, but they rely on solving an inverse problem. Traditionally, deterministic approaches are used, which face challenges due to non-uniqueness.
The eye lens is the most characteristic example of mammalian tissues exhibiting complex colloidal behaviour. In this paper we briefly describe how dynamics in colloidal suspensions can help addressing selected aspects of lens cataract which is ultima
Many kinds of industrial projects involve the use of prefabricated modules built offsite, and installation on-site using mobile cranes. Due to their costly operation and safety concerns, utilization of such heavy lift mobile cranes requires a precise
The following question is addressed: under what conditions can a strange diffusive process, defined by a semi-dynamical V-Langevin equation or its associated Hybrid kinetic equation (HKE), be described by an equivalent purely stochastic process, defi
Schalkwijk and Kailath (1966) developed a class of block codes for Gaussian channels with ideal feedback for which the probability of decoding error decreases as a second-order exponent in block length for rates below capacity. This well-known but su
Developing a robust visual quality assessment (VQualA) large multi-modal model (LMM) requires achieving versatility, powerfulness, and transferability. However, existing VQualA LMMs typically focus on a single task and rely on full-parameter fine-tun
The paper presents a high Reynolds number experimental study of turbulent boundary layer separation control on a convex plate using the wavy-wall method, which was initially proposed for a flat plate by Dróżdż et al. 2021 (Exp Therm Fluid Sci 2021;12
Climate models project that the Atlantic Meridional Overturning Circulation (AMOC) will weaken in the 21st century, but the magnitude is highly uncertain. Some of this uncertainty is structural, as most climate models neglect increasing meltwater fro
Learning to Defer (L2D) enables a classifier to abstain from predictions and defer to an expert, and has recently been extended to multi-expert settings. In this work, we show that multi-expert L2D is fundamentally more challenging than the single-ex
Reasoning with LLMs increasingly unfolds inside a broader verification loop. Internally, systems use cheap checks, such as self-consistency or proxy rewards, which we call weak verification. Externally, users inspect outputs and steer the model throu
Experimentalists often use wind tunnels to study aerodynamic turbulence, but most wind tunnel imaging techniques are limited in their ability to take non-invasive 3D density measurements of turbulence. Wavefront tomography is a technique that uses mu
Large Language Models (LLMs) show strong generalization across diverse tasks, yet the internal decision-making processes behind their predictions remain opaque. In this work, we study the geometry of hidden representations in LLMs through the lens of
The task of dataset distillation aims to find a small set of synthetic images such that training a model on them reproduces the performance of the same model trained on a much larger dataset of real samples. Existing distillation methods focus on syn
Accurate and interpretable air pollution forecasting is crucial for public health, but most models face a trade-off between performance and interpretability. This study proposes a physics-guided, interpretable-by-design spatiotemporal learning framew
Highlights -We use a bio-inspired machine learning models to examine evidence of mental rotation abilities in children -We show that a simple recognition strategy suffices to solve habituation-based tasks used to assess mental rotations in young chil
The ever-increasing number of Android devices and the accelerated evolution of malware, reaching over 35 million samples by 2024, highlight the critical importance of effective detection methods. Attackers are now using Artificial Intelligence to cre
Machine learning technologies are increasingly developed for use in healthcare. While research communities have focused on creating state-of-the-art models, there has been less focus on real world implementation and the associated challenges to accur
We present Chandra X-ray images of the NGC 2237 young star cluster on the periphery of the Rosette Nebula. We detect 168 X-ray sources, 80% of which have counterparts in USNO, 2MASS, and deep FLAMINGOS images. These constitute the first census of the
Stress Urinary Incontinence (SUI) or urine leakage from urethra occurs due to an increase in abdominal pressure resulting from stress like a cough or jumping height. SUI is more frequent among post-menopausal women. In the absence of bladder contract
Federated Learning (FL) enables decentralized, privacy-preserving model training but struggles to balance global generalization and local personalization due to non-identical data distributions across clients. Personalized Fine-Tuning (PFT), a popula
A drawing of a graph is 1-planar if each edge participates in at most one crossing and adjacent edges do not cross. Up to symmetry, each crossing in a 1-planar drawing belongs to one out of six possible crossing types, where a type characterizes the
The structural response of masonry arches is strongly dominated by the arch geometry, the stone block dimensions and the interaction with backfill material or surrounding walls. Due to their intrinsic discontinuous nature, the nonlinear structural re
Over the years, the literature on individual data anonymization has burgeoned in many directions. Borrowing from several areas of other sciences, the current diversity of concepts, models and tools available contributes to understanding and fostering
In the domain of combat simulations in support of wargaming, the development of intelligent agents has predominantly been characterized by rule-based, scripted methodologies with deep reinforcement learning (RL) approaches only recently being introdu
From a mathematical perspective, radiation hydrodynamics can be thought of as a system of hyperbolic balance laws with dual multiscale behavior (multiscale behavior associated with the hyperbolic wave speeds as well as multiscale behavior associated
Pricing the reactive power is more necessary than ever before because of the increasing challenge of renewable energy integration on reactive power balance and voltage control. However, reactive power price is hard to be efficiently calculated becaus
Linear bio-molecular motors move unidirectionally along a track by coordinating several different processes, such as fuel (ATP) capture, hydrolysis, conformational changes, binding and unbinding from a track, and center-of-mass diffusion. A better un
Engineering of the eigenmode dispersion of slow-wave structures (SWSs) to achieve desired modal characteristics, is an effective approach to enhance the performance of high power traveling wave tube (TWT) amplifiers or oscillators. We investigate her
A pair of unit clauses is called conflicting if it is of the form (x) , (bar{x}) . A CNF formula is unit-conflict free (UCF) if it contains no pair of conflicting unit clauses. Lieberherr and Specker (J. ACM 28, 1981) showed that for each UCF CNF f
Globular clusters with their large populations of millisecond pulsars (MSPs) are believed to be potential emitters of high-energy gamma-ray emission. Our goal is to constrain the millisecond pulsar populations in globular clusters from analysis of ga
This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties. Concretely, several co
The rise of large language models (LLMs) has sparked interest in coding assistants. While general-purpose programming languages are well supported, generating code for domain-specific languages remains a challenging problem for LLMs. In this paper, w
This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results, expressiven
We study a system, called NEL, which is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with the non-commutative self-dual connective seq. In this paper, we show a
In this paper we prove a combinatorial theorem for finite labellings of trees, and show that it is equivalent to a theorem for finite covers of metric trees and a fixed point theorem on metric trees. We trace how these connections mimic the equivalen
We present the observation of Cyg X-1 in hard spectral state performed during the AGILE Science Verification Phase and Observing Cycle 1 in hard X-rays (with SuperAGILE) and gamma rays (with the GRID) and lasting for about 160 days with a live time o
Machine learning models are increasingly used in critical applications but are mostly 'black boxes' due to their lack of transparency. Local explanation approaches, such as LIME, address this issue by approximating the behavior of complex models near
On modern architectures, the performance of 32-bit operations is often at least twice as fast as the performance of 64-bit operations. By using a combination of 32-bit and 64-bit floating point arithmetic, the performance of many dense and sparse lin
For the multiple-input multiple-output (MIMO) broadcast channel with imperfect channel state information (CSI), neither the capacity nor the optimal transmission technique have been fully discovered. In this paper, we derive achievable ergodic rates
Time series forecasting in real world environments faces significant challenges non stationarity, multi scale temporal patterns, and distributional shifts that degrade model stability and accuracy. This study propose AdaMamba, a unified forecasting a
Information processing in complex systems is often found to be maximally efficient close to critical states associated with phase transitions. It is therefore conceivable that also neural information processing operates close to criticality. This is
Unmanned aerial vehicles (UAVs) have emerged as powerful embodied agents. One of the core abilities is autonomous navigation in large-scale three-dimensional environments. Existing navigation policies, however, are typically optimized for low-level o
Software issue resolution aims to address real-world issues in software repositories (e.g., bug fixing and efficiency optimization) based on natural language descriptions provided by users, representing a key aspect of software maintenance. With the
Shale gas plays an important role in reducing pollution and adjusting the structure of world energy. Gas content estimation is particularly significant in shale gas resource evaluation. There exist various estimation methods, such as first principle
The study of high-dimensional differential equations is challenging and difficult due to the analytical and computational intractability. Here, we improve the speed of waveform relaxation (WR), a method to simulate high-dimensional differential-algeb
Mindless eating, or the lack of awareness of the food we are consuming, has been linked to health problems attributed to unhealthy eating behaviour, including obesity. Traditional approaches used to moderate eating behaviour often rely on inaccurate
Enter keywords to search articles