A cartesian closed fibration of higher-order regular languages
arXiv:2601.18000v1 Announce Type: new Abstract: We explain how to construct in two different ways a cartesian closed fibration of higher-order regular languages in the sense...
Stay updated with the latest research and technology news
arXiv:2601.18000v1 Announce Type: new Abstract: We explain how to construct in two different ways a cartesian closed fibration of higher-order regular languages in the sense...
arXiv:2601.18001v1 Announce Type: new Abstract: Parasitic infections remain a pressing global health challenge, particularly in low-resource settings where diagnosis still depends on labor-intensive manual inspection...
arXiv:2601.18004v1 Announce Type: new Abstract: Persistence is a strong, global, behavioural property of a Petri net, meaning that no activity can disable a different activity....
arXiv:2601.18006v1 Announce Type: new Abstract: We present PEAR (Pairwise Evaluation for Automatic Relative Scoring), a supervised Quality Estimation (QE) metric family that reframes reference-free Machine...
arXiv:2601.18007v1 Announce Type: new Abstract: Simulated annealing (SA) is a well-known algorithm for solving combinatorial optimization problems. However, the computation time of SA increases rapidly,...
arXiv:2601.18008v1 Announce Type: new Abstract: Pedestrian detection is a critical task in robot perception. Multispectral modalities (visible light and thermal) can boost pedestrian detection performance...
arXiv:2601.18009v1 Announce Type: new Abstract: Implicit feedback -- the main data source for training Recommender Systems (RSs) -- is inherently noisy and has been shown...
arXiv:2601.18011v1 Announce Type: new Abstract: Auditability and reproducibility still are critical challenges for real-time data streams pipelines. Streaming engines are highly dependent on runtime scheduling,...
arXiv:2601.18012v1 Announce Type: new Abstract: Large language models are now used daily for writing, search, and analysis, and their natural language understanding continues to improve....
arXiv:2601.18014v1 Announce Type: new Abstract: Reliable transformation of unstructured person and address text into structured data remains a key challenge in large-scale information systems. Traditional...
arXiv:2601.18015v1 Announce Type: new Abstract: Supervisors in military command and control (C2) environments face dynamic conditions. Dynamically changing information continuously flows to the supervisors through...
arXiv:2601.18016v1 Announce Type: new Abstract: In this work we propose a theoretical and computational framework for solving the three dimensional inverse medium scattering problem, based...
arXiv:2601.18027v1 Announce Type: new Abstract: LLM agents are increasingly used for social simulation, yet emotion is often treated as a transient cue, causing emotional amnesia...
arXiv:2601.18030v1 Announce Type: new Abstract: We introduce a simple modification to the embedding layer. The key change is to infuse token embeddings with information about...
arXiv:2601.18032v1 Announce Type: new Abstract: Dielectric materials are critical building blocks for modern electronics such as sensors, actuators, and transistors. With the rapid recent advance...
arXiv:2601.18033v1 Announce Type: new Abstract: Generative AI (GenAI) tools improve productivity in knowledge workflows such as writing, but also risk overreliance and reduced critical thinking....
arXiv:2601.18044v1 Announce Type: new Abstract: Fault Localization (FL) is a critical step in Automated Program Repair (APR), and its importance has increased with the rise...
arXiv:2601.18045v1 Announce Type: new Abstract: Segmenting curvilinear structures in medical images is essential for analyzing morphological patterns in clinical applications. Integrating topological properties, such as...
arXiv:2601.18049v1 Announce Type: new Abstract: Significant progress has been made in semi-supervised hyperspectral image (HSI) classification regarding feature extraction and classification performance. However, due to...
arXiv:2601.18053v1 Announce Type: new Abstract: Large language models (LLMs) are known to produce outputs with limited diversity. In this work, we study whether infusing random...
arXiv:2601.18056v1 Announce Type: new Abstract: We discuss the benefits of incorporating into the study of bilingual production errors and their traditionally documented timing signatures (e.g.,...
arXiv:2601.18061v1 Announce Type: new Abstract: Learning from human feedback~(LHF) assumes that expert judgments, appropriately aggregated, yield valid ground truth for training and evaluating AI systems....
arXiv:2601.18063v1 Announce Type: new Abstract: In the paper, the physical-layer security for reconfigurable intelligent surface (RIS) aided integrated sensing and communication (ISAC) system is studied....
arXiv:2601.18064v1 Announce Type: new Abstract: We introduce Resonant Sparse Geometry Networks (RSGN), a brain-inspired architecture with self-organizing sparse hierarchical input-dependent connectivity. Unlike Transformer architectures that...