A Computational Theory for Life-Long Learning of Semantics [PDF]
Semantic vectors are learned from data to express semantic relationships between elements of information, for the purpose of solving and informing downstream tasks. Other models exist that learn to map and classify supervised data. However, the two worlds of learning rarely interact to inform one another dynamically, whether across types of data or ...
Peter Sutor+2 more
openaire +2 more sources
Transition Systems for Model Generators - A Unifying Approach [PDF]
A fundamental task for propositional logic is to compute models of propositional formulas. Programs developed for this task are called satisfiability solvers.
Denecker+11 more
core +4 more sources
STRUM: A SEMANTIC TRUST-BASED MINER MODEL FOR DETECTING INFLUENTIAL SPREADERS IN SOCIAL NETWORKS
Social Networks have become embedded in every aspect of today people’s life. The success of online social networks has a significant role in shaping trust and influence among participants.
H. Wagih+2 more
semanticscholar +1 more source
Towards a Computational Theory of Semantic Memory [PDF]
Memory is one of the most important functions of the human brain, yet its understanding — why and how it does what it does — has so far eluded us. Research in memory has been a frustrating task not least because of the intimate familiarity with what we are trying to understand, and partly also because the human cognitive system has developed as an ...
Lucia M. Vaina, Lucia M. Vaina
openaire +2 more sources
Excitonic Coupled-cluster Theory [PDF]
A variant of coupled-cluster theory is described here, wherein the degrees of freedom are fluctuations of fragments between internally correlated states.
Yuhong Liu+4 more
semanticscholar +1 more source
Particle acceleration and non-thermal emission in the pulsar outer magnetospheric gap [PDF]
A two-dimensional electrodynamic model is used to study particle acceleration and non-thermal emission mechanisms in the pulsar magnetosphere. We solve the distribution of the accelerating electric field with the emission process and the pair-creation ...
J. Takata+14 more
semanticscholar +1 more source
Stable and unstable cosmological models in bimetric massive gravity [PDF]
Nonlinear, ghost-free massive gravity has two tensor fields; when both are dynamical, the mass of the graviton can lead to cosmic acceleration that agrees with background data, even in the absence of a cosmological constant.
Frank Konnig+10 more
semanticscholar +1 more source
Convergent calculation of the asymptotic dimension of diffusion limited aggregates: scaling and renormalization of small clusters [PDF]
Diffusion limited aggregation (DLA) is a model of fractal growth that had attained a paradigmatic status due to its simplicity and its underlying role for a variety of pattern forming processes.
Benny Davidovitch+3 more
semanticscholar +1 more source
Coinductive Formal Reasoning in Exact Real Arithmetic [PDF]
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations are special cases-- on a representation of real numbers by coinductive ...
Martín Escardó, Milad Niqui
core +1 more source
Measurement of groomed event shape observables in deep-inelastic electron-proton scattering at HERA [PDF]
The H1 Collaboration at HERA reports the first measurement of groomed event shape observables in deep inelastic electron-proton scattering (DIS) at $$\sqrt{s} =319~$$ s = 319 GeV, using data recorded between the years 2003 and 2007 with an ...
The H1 collaboration V. Andreev+301 more
semanticscholar +1 more source