No Image
25 years ago: the official farewell to the meter
On october 21st 1983 took place in S`evres on the western outskirts of Paris the official funeral of the meter. With it the notion of distance as a physical observable was buried.
Physics
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 Class of Transformations that Polarize Symmetric Binary-Input Memoryless Channels
A generalization of Ari kan's polar code construction using transformations of the form $G^{otimes n}$ where $G$ is an $ell times ell$ matrix is considered. Necessary and sufficient conditions are given for these transformations to ensure channel polarization. It is shown that a large class of such
Information Theory
Computer Science
Mathematics
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 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 Methodology for Efficient Space-Time Adapter Design Space Exploration: A Case Study of an Ultra Wide Band Interleaver
This paper presents a solution to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall architecture of the system is significantly affected by communication architecture, so the designers need specifically optimized adapter
Computer Science
Hardware Architecture
No Image
A Multivariate Regression Approach to Association Analysis of Quantitative Trait Network
Many complex disease syndromes such as asthma consist of a large number of highly related, rather than independent, clinical phenotypes, raising a new technical challenge in identifying genetic variations associated simultaneously with correlated traits. In this study, we propose a new statistical f
Statistics
Network
Quantitative Biology
Analysis
Machine Learning
No Image
A new distance for high level RNA secondary structure comparison
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the tree edit operations of deletion, insertion, and relabeling classically used in the literature. This allows us to address
Computer Science
Data Structures
Quantitative Biology
No Image
A non-Markovian model of rill erosion
We introduce a new model for rill erosion. We start with a network similar to that in the Discrete Web and instantiate a dynamics which makes the process highly non-Markovian. The behavior of nodes in the streams is similar to the behavior of Polya urns with time-dependent input. In this paper we us
Physics
Mathematics
Model
No Image
A non-negative expansion for small Jensen-Shannon Divergences
In this report, we derive a non-negative series expansion for the Jensen-Shannon divergence (JSD) between two probability distributions. This series expansion is shown to be useful for numerical calculations of the JSD, when the probability distributions are nearly equal, and for which, consequently
Machine Learning
Statistics
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
A Tighter Bound for the Determinization of Visibly Pushdown Automata
Visibly pushdown automata (VPA), introduced by Alur and Madhusuan in 2004, is a subclass of pushdown automata whose stack behavior is completely determined by the input symbol according to a fixed partition of the input alphabet. Since its introduce, VPAs have been shown to be useful in various cont
Computer Science
Logic
Formal Languages
No Image
About extension of upper semicontinuous multi-valued maps and applications
We formulate a multi-valued version of the Tietze-Urysohn extension theorem. Precisely, we prove that any upper semicontinuous multi-valued map with nonempty closed convex values defined on a closed subset (resp. closed perfectly normal subset) of a completely normal (resp. of a normal) space $X$ in
Mathematics
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
No Image
Anisotropy of tracer dispersion in rough model fractures with sheared walls
Dispersion experiments are compared for two transparent model fractures with identical complementary rough walls but with a relative shear displacement $vec{delta}$ parallel ($vec{delta}parallel vec{U}$) or perpendicular ($vec{delta} perp vec{U}$) to the flow velocity $vec{U}$. The structure of the
Physics
Model
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
Assembling Actor-based Mind-Maps from Text Stream
For human beings, the processing of text streams of unknown size leads generally to problems because e.g. noise must be selected out, information be tested for its relevance or redundancy, and linguistic phenomenon like ambiguity or the resolution of pronouns be advanced. Putting this into simulatio
Digital Libraries
Computer Science
NLP
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
Asymptotics of Entropy Rate in Special Families of Hidden Markov Chains
We derive an asymptotic formula for entropy rate of a hidden Markov chain around a 'weak Black Hole'. We also discuss applications of the asymptotic formula to the asymptotic behaviors of certain channels.
Information Theory
Computer Science
Mathematics
No Image
Automated Predicate Abstraction for Real-Time Models
We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute
Computer Science
Logic
Model
Formal Languages
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
Decentralized Overlay for Federation of Enterprise Clouds
This chapter describes Aneka-Federation, a decentralized and distributed system that combines enterprise Clouds, overlay networking, and structured peer-to-peer techniques to create scalable wide-area networking of compute nodes for high-throughput computing. The Aneka-Federation integrates numerous
Networking
Computer Science
Distributed Computing
No Image
Demonstration of Time-Reversal in Indoor Ultra-Wideband Communication: Time Domain Measurement
Using time domain measurements, we assess the feasibility of time-reversal technique in ultra-wideband (UWB) communication. A typical indoor propagation channel is selected for the exploration. The channel response between receive and transmit antenna pairs is measured using time domain equipments w
Networking
Computer Science
No Image
Demonstrative and non-demonstrative reasoning by analogy
The paper analizes a set of issues related to analogy and analogical reasoning, namely: 1) The problem of analogy and its duplicity; 2) The role of analogy in demonstrative reasoning; 3) The role of analogy in non-demonstrative reasoning; 4) The limits of analogy; 5) The convergence, particularly in
Mathematics
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
Design of a Fractional Order PID Controller Using Particle Swarm Optimization Technique
Particle Swarm Optimization technique offers optimal or suboptimal solution to multidimensional rough objective functions. In this paper, this optimization technique is used for designing fractional order PID controllers that give better performance than their integer order counterparts. Controller
Computer Science
Other CS
No Image
Detect overlapping and hierarchical community structure in networks
Clustering and community structure is crucial for many network systems and the related dynamic processes. It has been shown that communities are usually overlapping and hierarchical. However, previous methods investigate these two properties of community structure separately. This paper proposes an
Computer Science
Physics
Network
Computers and Society
No Image
Determining the Unithood of Word Sequences using a Probabilistic Approach
Most research related to unithood were conducted as part of a larger effort for the determination of termhood. Consequently, novelties are rare in this small sub-field of term extraction. In addition, existing work were mostly empirically motivated and derived. We propose a new probabilistically-der
Artificial Intelligence
Computer Science
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
Distributed self-regulation of living tissue. Effects of nonideality
Self-regulation of living tissue as an example of self-organization phenomena in active fractal systems of biological, ecological, and social nature is under consideration. The characteristic feature of these systems is the absence of any governing center and, thereby, their self-regulation is based
Nonlinear Sciences
Quantitative Biology
No Image
Division Algebras and Wireless Communication
We survey the recent use of division algebras in wireless communication.
Information Theory
Computer Science
Mathematics
No Image
Effective linkage learning using low-order statistics and clustering
The adoption of probabilistic models for the best individuals found so far is a powerful approach for evolutionary computation. Increasingly more complex models have been used by estimation of distribution algorithms (EDAs), which often result better effectiveness on finding the global optima for ha
Neural Computing
Computer Science
Learning
Artificial Intelligence
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
Enabling Lock-Free Concurrent Fine-Grain Access to Massive Distributed Data: Application to Supernovae Detection
We consider the problem of efficiently managing massive data in a large-scale distributed environment. We consider data strings of size in the order of Terabytes, shared and accessed by concurrent clients. On each individual access, a segment of a string, of the order of Megabytes, is read or modifi
Computer Science
Data
Detection
Distributed Computing
< Category Statistics (Total: 5361) >
Astrophysics
69
Computer Science
2044
Condensed Matter
71
Economics
3
Electrical Engineering and Systems Science
1
General Relativity
5
General Research
25
HEP-EX
6
HEP-PH
3
HEP-TH
7
MATH-PH
13
Mathematics
139
NUCL-EX
7
NUCL-TH
1
Nonlinear Sciences
33
Physics
477
Quantitative Biology
207
Quantitative Finance
87
Quantum Physics
12
Research
2639
Statistics
68