2504.05544
Abstract and deep analysis are available in the full post.
No Image
2507.10338
Abstract and deep analysis are available in the full post.
No Image
2510.12218
Abstract and deep analysis are available in the full post.
No Image
2510.23578
Abstract and deep analysis are available in the full post.
No Image
2510.24574
Abstract and deep analysis are available in the full post.
No Image
2511.00062
Abstract and deep analysis are available in the full post.
No Image
2511.04451
Abstract and deep analysis are available in the full post.
2512.11083
As climate change continues to reshape marginal ice zones in the Arctic, accurate and reliable sea ice data are critical for ensuring maritime safety. This study compares regional ice charts from the Alaska Sea Ice Program (ASIP) with satellite-derived Copernicus sea ice concentration data to evalua
No Image
2512.12804
I develop a novel semantics for probabilities of counterfactuals that generalizes the standard Pearlian semantics: it applies to probabilistic causal models that cannot be extended into realistic structural causal models and are therefore beyond the scope of Pearl's semantics. This generalization is
2512.12997
CLIP delivers strong zero-shot classification but remains highly vulnerable to adversarial attacks. Previous work of adversarial fine-tuning largely focuses on matching the predicted logits between clean and adversarial examples, which overlooks uncertainty calibration and may degrade the zero-shot
No Image
2512.13985
This work presents an extended formulation of the Least Squares with Virtual Displacements (LSVD) method for estimating shear strength parameters from multiple soil samples under varying resistance conditions including cohesionless, frictional, and mixed types. LSVD is designed to identify a common
No Image
2512.14031
This study evaluates two leading approaches for teaching construction robots new skills to understand their applicability for construction automation: a Vision-Language-Action (VLA) model and Reinforcement Learning (RL) methods. The goal is to understand both task performance and the practical effor
No Image
3DGS$^2$: Near Second-order Converging 3D Gaussian Splatting
3D Gaussian Splatting (3DGS) has emerged as a mainstream solution for novel view synthesis and 3D reconstruction. By explicitly encoding a 3D scene using a collection of Gaussian kernels, 3DGS achieves high-quality rendering with superior efficiency. As a learning-based approach, 3DGS training has b
No Image
A coupled approximate deconvolution and dynamic mixed scale model for large-eddy simulation
Large-eddy simulations of incompressible Newtonian fluid flows with approximate deconvolution models based on the van Cittert method are reported. The Legendre spectral element method is used for the spatial discretization to solve the filtered Navier--Stokes equations. A novel variant of approximat
Physics
Model
No Image
A Formalization of the Ionescu-Tulcea Theorem in Mathlib
Abstract and deep analysis are available in the full post.
No Image
A global physician-oriented medical information system
We propose to improve medical decision making and reduce global health care costs by employing a free Internet-based medical information system with two main target groups: practicing physicians and medical researchers. After acquiring patients' consent, physicians enter medical histories, physiolog
Computers and Society
Databases
Computer Science
Artificial Intelligence
System
No Image
A Novel Term Weighing Scheme Towards Efficient Crawl of Textual Databases
The Hidden Web is the vast repository of informational databases available only through search form interfaces, accessible by therein typing a set of keywords in the search forms. Typically, a Hidden Web crawler is employed to autonomously discover and download pages from the Hidden Web. Traditional
Information Retrieval
Data
Computer Science
No Image
A patient-specific respiratory model of anatomical motion for radiation treatment planning
Modeling of respiratory motion is important for a more accurate understanding and accounting of its effect on dose to cancers in the thorax and abdomen by radiotherapy. We have developed a model of respiration-induced organ motion in the thorax, without the commonly adopted assumption of repeatable
Physics
Model
No Image
A polynomial-time algorithm for the automatic Baire property
A subset of a topological space possesses the Baire property if it can be covered by an open set up to a meagre set. For the Cantor space of infinite words Finkel introduced the automatic Baire category where both sets, the open and the meagre, can be chosen to be definable by finite automata.
No Image
About the creation of a parallel bilingual corpora of web-publications
The algorithm of the creation texts parallel corpora was presented. The algorithm is based on the use of 'key words' in text documents, and on the means of their automated translation. Key words were singled out by means of using Russian and Ukrainian morphological dictionaries, as well as dictionar
Computer Science
NLP
No Image
Accuracy in Spreadsheet Modelling Systems
Accuracy in spreadsheet modelling systems can be reduced due to difficulties with the inputs, the model itself, or the spreadsheet implementation of the model. When the 'true' outputs from the system are unknowable, accuracy is evaluated subjectively. Less than perfect accuracy can be acceptable dep
HCI
Software Engineering
Computer Science
System
Model
No Image
An Adaptive Strategy for the Classification of G-Protein Coupled Receptors
One of the major problems in computational biology is the inability of existing classification models to incorporate expanding and new domain knowledge. This problem of static classification models is addressed in this paper by the introduction of incremental learning for problems in bioinformatics.
Artificial Intelligence
Computer Science
Quantitative Biology
Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
The C++ programming language provides classes and structs as fundamental modeling entities. Consequently, C++ code tends to favour array-of-structs (AoS) for encoding data sequences, even though structure-of-arrays (SoA) yields better performance for some calculations. We propose a C++ language exte
Data
No Image
AssertFix: Empowering Automated Assertion Fix via Large Language Models
Abstract and deep analysis are available in the full post.
Model
No Image
Astrophysics in S.Co.P.E
S.Co.P.E. is one of the four projects funded by the Italian Government in order to provide Southern Italy with a distributed computing infrastructure for fundamental science. Beside being aimed at building the infrastructure, S.Co.P.E. is also actively pursuing research in several areas among which
Digital Libraries
Computer Science
Astrophysics
No Image
BAPPA: Benchmarking Agents, Plans, and Pipelines for Automated Text-to-SQL Generation
Abstract and deep analysis are available in the full post.
No Image
Beyond Node Degree: Evaluating AS Topology Models
Many models have been proposed to generate Internet Autonomous System (AS) topologies, most of which make structural assumptions about the AS graph. In this paper we compare AS topology generation models with several observed AS topologies. In contrast to most previous works, we avoid making assumpt
Networking
Computer Science
Model
No Image
Capacity and Performance of Adaptive MIMO System Based on Beam-Nulling
In this paper, we propose a scheme called 'beam-nulling' for MIMO adaptation. In the beam-nulling scheme, the eigenvector of the weakest subchannel is fed back and then signals are sent over a generated subspace orthogonal to the weakest subchannel. Theoretical analysis and numerical results show th
System
Information Theory
Computer Science
Mathematics
No Image
Carnot in the Information Age: Discrete Symmetric Channels
Modeling communication channels as thermal systems results in Hamiltonians which are an explicit function of the temperature. The first two authors have recently generalized the second thermodynamic law to encompass systems with temperature-dependent energy levels, $dQ=TdS+<dmathcal{E}/dT>dT$, where
Information Theory
Computer Science
Condensed Matter
Mathematics
Collaborative Agents for Automated Program Repair in Ruby
Automated Program Repair (APR) has advanced rapidly with Large Language Models (LLMs), but most existing methods remain computationally expensive, and focused on a small set of languages. Ruby, despite its widespread use in web development and the persistent challenges faced by its developers, has r
No Image
Colloidal Micromotors: Controlled Directed Motion
Here we demonstrate a synthetic micro-engine, based on long-range controlled movement of colloidal particles, which is induced by a local catalytic reaction. The directed motion at long timescales was achieved by placing specially designed magnetic capped colloids in a hydrogen peroxide solution at
Condensed Matter
Mathematics
No Image
Compound-specific isotope analysis
The isotopic composition, for example, 14C/12C, 13C/12C, 2H/1H, 15N/14N and 18O/16O, of the elements of matter is heterogeneous. It is ruled by physical, chemical and biological mechanisms. Isotopes can be employed to follow the fate of mineral and organic compounds during biogeochemical transformat
Analysis
Quantitative Biology
No Image
Compressed Text Indexes:From Theory to Practice!
A compressed full-text self-index represents a text in a compressed form and still answers queries efficiently. This technology represents a breakthrough over the text indexing techniques of the previous decade, whose indexes required several times the size of the text. Although it is relatively new
Computer Science
Data Structures
No Image
Computer- and robot-assisted urological surgery
The author reviews the computer and robotic tools available to urologists to help in diagnosis and technical procedures. The first part concerns the contribution of robotics and presents several systems at various stages of development (laboratory prototypes, systems under validation or marketed sys
Robotics
Computer Science
Other CS
No Image
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
Our aim is to build a set of rules, such that reasoning over temporal dependencies within gene regulatory networks is possible. The underlying transitions may be obtained by discretizing observed time series, or they are generated based on existing knowledge, e.g. by Boolean networks or their nondet
Quantitative Biology
Analysis
Mathematics
Artificial Intelligence
Computer Science
No Image
Cyclooxygenase inhibition in ischemic brain injury
Neuroinflammation is one of the key pathological events involved in the progression of brain damage caused by cerebral ischemia. Metabolism of arachidonic acid through cyclooxygenase (COX) enzymes is known to be actively involved in the neuroinflammatory events leading to neuronal death after ischem
Quantitative Biology
No Image
Data analysis recipes: Choosing the binning for a histogram
Data points are placed in bins when a histogram is created, but there is always a decision to be made about the number or width of the bins. This decision is often made arbitrarily or subjectively, but it need not be. A jackknife or leave-one-out cross-validation likelihood is defined and employed a
Data
Astrophysics
Analysis
Physics
No Image
Derandomizing the Lovasz Local Lemma more effectively
The famous Lovasz Local Lemma [EL75] is a powerful tool to non-constructively prove the existence of combinatorial objects meeting a prescribed collection of criteria. Kratochvil et al. applied this technique to prove that a k-CNF in which each variable appears at most 2^k/(ek) times is always satis
Computational Complexity
Computer Science
Data Structures
No Image
Discovering Patterns in Multi-neuronal Spike Trains using the Frequent Episode Method
Discovering the 'Neural Code' from multi-neuronal spike trains is an important task in neuroscience. For such an analysis, it is important to unearth interesting regularities in the spiking patterns. In this report, we present an efficient method for automatically discovering synchrony, synfire chai
Computer Science
Quantitative Biology
Databases
No Image
Efficient representation as a design principle for neural coding and computation
Does the brain construct an efficient representation of the sensory world? We review progress on this question, focusing on a series of experiments in the last decade which use fly vision as a model system in which theory and experiment can confront each other. Although the idea of efficient represe
Quantitative Biology
No Image
Enabling Efficient Hardware Acceleration of Hybrid Vision Transformer (ViT) Networks at the Edge
Hybrid vision transformers combine the elements of conventional neural networks (NN) and vision transformers (ViT) to enable lightweight and accurate detection. However, several challenges remain for their efficient deployment on resource-constrained edge devices. The hybrid models suffer from a wid
Network
No Image
Evolution of a Coronal Twisted Flux Rope
Multi-instrument observations of NOAA AR10938 on Jan. 14-18, 2007, are utilized to study the evolution of a magnetic thread system with multiple crossings suggestive of a twisted coronal flux rope. A C-class flare recorded by GOES on Jan. 16, at approximately 2:35 UT led to the brightening of the st
Astrophysics
No Image
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
As the large language models (LLMs) grow in size each day, efficient training and fine-tuning has never been as important as nowadays. This resulted in the great interest in parameter efficient fine-tuning (PEFT), and effective methods including low-rank adapters (LoRA) has emerged. Although the var
No Image
Genetic code evolution as an initial driving force for molecular evolution
There is an intrinsic relationship between the molecular evolution in primordial period and the properties of genomes and proteomes of contemporary species. The genomic data may help us understand the driving force of evolution of life at molecular level. In absence of evidence, numerous problems in
Quantitative Biology
No Image
H4G: Unlocking Faithful Inference for Zero-Shot Graph Learning in Hyperbolic Space
Text-attributed graphs are widely used across domains, offering rich opportunities for zero-shot learning via graph-text alignment. However, existing methods struggle with tasks requiring fine-grained pattern recognition, particularly on heterophilic graphs. Through empirical and theoretical analysi
Learning
No Image
Hardware/Software Co-Design for Spike Based Recognition
The practical applications based on recurrent spiking neurons are limited due to their non-trivial learning algorithms. The temporal nature of spiking neurons is more favorable for hardware implementation where signals can be represented in binary form and communication can be done through the use o
Neural Computing
Computer Science
Computational Engineering
Artificial Intelligence
No Image
High-resolution spatial memory requires grid-cell-like neural codes
Continuous attractor networks (CANs) are widely used to model how the brain temporarily retains continuous behavioural variables via persistent recurrent activity, such as an animal's position in an environment. However, this memory mechanism is very sensitive to even small imperfections, such as no
How Different Tokenization Algorithms Impact LLMs and Transformer Models for Binary Code Analysis
Tokenization is fundamental in assembly code analysis, impacting intrinsic characteristics like vocabulary size, semantic coverage, and extrinsic performance in downstream tasks. Despite its significance, tokenization in the context of assembly code remains an underexplored area. This study aims to
Analysis
Model
No Image
Hybrid Rendering for Multimodal Autonomous Driving: Merging Neural and Physics-Based Simulation
Abstract and deep analysis are available in the full post.
No Image
Inference with Discriminative Posterior
We study Bayesian discriminative inference given a model family $p(c,x, theta)$ that is assumed to contain all our prior information but still known to be incorrect. This falls in between 'standard' Bayesian generative modeling and Bayesian regression, where the margin $p(x,theta)$ is known to be un
Machine Learning
Statistics
Mathematics
< Category Statistics (Total: 5374) >
Astrophysics
69
Computer Science
2028
Condensed Matter
70
Economics
3
Electrical Engineering and Systems Science
1
General Relativity
5
General Research
37
HEP-EX
6
HEP-PH
3
HEP-TH
7
MATH-PH
13
Mathematics
140
NUCL-EX
7
NUCL-TH
1
Nonlinear Sciences
33
Physics
472
Quantitative Biology
203
Quantitative Finance
86
Quantum Physics
12
Research
2662
Statistics
68