A Semantic Framework for Neural-Symbolic Computing
December 22, 2022
|
Computer Science
Artificial Intelligence
Two approaches to AI, neural networks and symbolic systems, have been proven
very successful for an array of AI problems. However, neither has been able to
achieve the general reasoning ability required for human-like intelligence. It
has b...
Storage codes on coset graphs with asymptotically unit rate
December 22, 2022
| |
Computer Science
Mathematics
Information Theory
Combinatorics
Information Theory
A storage code on a graph G is a set of assignments of symbols to the
vertices such that every vertex can recover its value by looking at its
neighbors. We consider the question of constructing large-size storage codes on
triangle-free gr...
Censoring heavy-tail count distributions for parameter estimation with
an application to stable distributions
December 22, 2022
| | |
Mathematics
Statistics
Statistics Theory
Statistics Theory
A new approach based on censoring and moment criterion is introduced for
parameter estimation of count distributions when the probability generating
function is available even though a closed form of the probability mass
function and/or fin...
A Theory of Conversion Relations for Prefixed Units of Measure
December 22, 2022
|
Computer Science
Programming Languages
Discrete Mathematics
Units of measure with prefixes and conversion rules are given a formal
semantic model in terms of categorial group theory. Basic structures and both
natural and contingent semantic operations are defined. Conversion rules are
represented as...
An estimate of the centroid Banach-Mazur distance between planar convex
bodies
December 22, 2022
Mathematics
Metric Geometry
We consider the variant of the Banach-Mazur distance δBMcen(C,D) of two convex bodies C,D of Ed with the additional requirement
that the centroids of them coincide. We prove that $\delta_{BM}^{\rm cen} (C,
D) \leq \...
Graph-Based Specification and Automated Construction of ILP Problems
December 22, 2022
| |
Computer Science
Software Engineering
In the Model-Driven Software Engineering (MDSE) community, the combination of
techniques operating on graph-based models (e.g., Pattern Matching (PM) and
Graph Transformation (GT)) and Integer Linear Programming (ILP) is a common
occurrence...
Unsupervised learning for structure detection in plastically deformed
crystals
December 22, 2022
|
Physics
Computer Science
Materials Science
Machine Learning
Detecting structures at the particle scale within plastically deformed
crystalline materials allows a better understanding of the occurring phenomena.
While previous approaches mostly relied on applying hand-chosen criteria on
different loc...
DYST (Did You See That?): An Amplified Covert Channel That Points To
Previously Seen Data
December 22, 2022
| | |
Computer Science
Cryptography and Security
Networking and Internet Architecture
Covert channels are stealthy communication channels that enable manifold
adversary and legitimate scenarios, ranging from stealthy malware
communications to the exchange of confidential information by journalists.
We present DYST, which r...
Large deviations for out of equilibrium correlations in the symmetric
simple exclusion process
December 22, 2022
|
Mathematics
Physics
Probability
Mathematical Physics
Mathematical Physics
For finite size Markov chains, the Donsker-Varadhan theory fully describes
the large deviations of the time averaged empirical measure. We are interested
in the extension of the Donsker-Varadhan theory for a large size
non-equilibrium syste...
The pong algebra
December 22, 2022
|
Mathematics
Geometric Topology
General Topology
Quantum Algebra
Symplectic Geometry
In an earlier paper, we described bordered algebras for knot Floer homology.
In this paper, we introduce a differential graded algebra, the pong algebra and
compute the A-infinity structure on its homology....