Revisiting Chernoff Information with Likelihood Ratio Exponential Families by Frank Nielsen

“…Second, we show how to (i) solve exactly the Chernoff information between any two univariate Gaussian distributions or get a closed-form formula using symbolic computing, (ii) report a closed-form formula of the Chernoff information of centered Gaussians with scaled covariance matrices and (iii) use a fast numerical scheme to approximate the Chernoff information between any two multivariate Gaussian distributions.…”
Get full text

From data Processing to Knowledge Processing: Working with Operational Schemas by Autopoietic Machines by Mark Burgin, Rao Mikkilineni

“…We present the theory and practice of designing and implementing autopoietic machines as information processing structures integrating both symbolic computing and neural networks. Autopoietic machines use knowledge structures containing the behavioral evolution of the system and its interactions with the environment to maintain stability by counteracting fluctuations.…”
Get full text

Using Parameter Elimination to Solve Discrete Linear Chebyshev Approximation Problems by Nikolai Krivulin

“…We describe the main components of the procedure and estimate its computational complexity. We implement symbolic computations in MATLAB to obtain exact solutions for two numerical examples.…”
Get full text

Minimizing Curvature in Euclidean and Lorentz Geometry by Martin Tamm

“…This phenomenon seems to be very general, but because of the enormous amount of computations required, it will only be proved for a class of metrics which are close to the flat one, and the main (symbolic) computations have been carried out on a computer. …”
Get full text

BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs by Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek

“…This paper proposes a novel algorithm that symbolically computes all the monochromatic strongly connected components of an edge-coloured graph. …”
Get full text

PrivItem2Vec: A privacy-preserving algorithm for top-N recommendation by Zhengqiang Ge, Xinyu Liu, Qiang Li, Yu Li, Dong Guo

Get full text

Computer-Aided Analysis of Solvable Rigid Lie Algebras with a Given Eigenvalue Spectrum by Rutwig Campoamor-Stursberg, Francisco Oviaño García

“…With the help of symbolic computer packages, the study of the cohomological rigidity of real solvable Lie algebras of rank one with a maximal torus of derivations <inline-formula><math display="inline"><semantics><mi mathvariant="fraktur">t</mi></semantics></math></inline-formula> and the eigenvalue spectrum <inline-formula><math display="inline"><semantics><mrow><mi>spec</mi><mrow><mo>(</mo><mi mathvariant="fraktur">t</mi><mo>)</mo></mrow><mo>=</mo><mfenced close=")" open="("><mn>1</mn><mo>,</mo><mspace width="0.166667em"></mspace><mi>k</mi><mo>,</mo><mspace width="0.166667em"></mspace><mi>k</mi><mo>+</mo><mn>1</mn><mo>,</mo><mo>⋯</mo><mo>,</mo><mi>n</mi><mo>+</mo><mi>k</mi><mo>−</mo><mn>2</mn></mfenced></mrow></semantics></math></inline-formula> initiated in a previous work is continued for arbitrary values <inline-formula><math display="inline"><semantics><mrow><mi>k</mi><mo>≥</mo><mn>2</mn></mrow></semantics></math></inline-formula>, obtaining new hierarchies of solvable rigid Lie algebras.…”
Get full text

Fast computation of the iteration-based simulation method - case study of non-coherent ask with shadowing by Mladenović Vladimir, Makov Sergey, Cen Yigang, Lutovac Miroslav

“…This article presents a new method of fast symbolic computations of very complex calculations, which are necessary for the analysis, simulation, and design of wireless communication systems using CAS (Computer Algebra System). …”
Get full text

New Soliton Solutions of Time-Fractional Korteweg–de Vries Systems by Mubashir Qayyum, Efaza Ahmad, Muhammad Bilal Riaz, Jan Awrejcewicz, Syed Tauseef Saeed

“…This algorithm provides a convergent series solution by applying simple steps through symbolic computations. The efficiency of the proposed algorithm is tested against different nonlinear time-fractional KdV systems, including dispersive long wave and generalized Hirota–Satsuma KdV systems. …”
Get full text

Learning multisensory representations for auditory-visual transfer of sequence category knowledge: a probabilistic language of thought approach by Yildirim, Ilker, Jacobs, Robert A.

“…Consistent with the probabilistic language of thought approach to cognitive modeling, our model formalizes multisensory representations as symbolic “computer programs” and uses Bayesian inference to learn these representations. …”
Get full text
Get full text

Higher-Order Automatic Differentiation and Its Applications by Tan, Songchen

“…By combining advanced techniques in computational science, i.e., aggressive type specializing, metaprogramming, and symbolic computing, we introduce a new implementation of Taylor mode automatic differentiation in Julia that addresses these problems. …”
Get full text
Get full text

Polynomial-time computing over quadratic maps I : sampling in real algebraic sets by Grigoriev, Dima., Pasechnik, Dmitrii V.

“…The procedure consists of exact symbolic computations in D and outputs vectors of algebraic numbers. …”
Get full text
Get full text

A Linear Fitting Density Peaks Clustering Algorithm for Image Segmentation by You Zhou, Tiantian Zhao, Yizhang Wang, Jianan Wu, Xu Zhou

Get full text

A Local Density Shape Context Algorithm for Point Pattern Matching in Three Dimensional Space by You Zhou, Panpan Cui, Yizhang Wang, Limin Wang, Sen Yang, Xu Zhou

Get full text

Reversible-equivariant systems and matricial equations by Marco A Teixeira, Ricardo M Martins

“…This paper uses tools in group theory and symbolic computing to classify the representations of finite groups with order lower than, or equal to 9 that can be derived from the study of local reversible-equivariant vector fields in <img border=0 width=32 height=32 src="../../../..…”
Get full text

Formal synthesis of Lyapunov neural networks by Abate, A, Ahmed, D, Giacobbe, M, Peruffo, A

“…Traditional methods are either analytical and require manual effort or are numerical but lack of formal soundness. Symbolic computational methods for Lyapunov functions, which are in between, give formal guarantees but are typically semi-automatic because they rely on the user to provide appropriate function templates. …”

An Integrated Time Series Prediction Model Based on Empirical Mode Decomposition and Two Attention Mechanisms by Xianchang Wang, Siyu Dong, Rui Zhang

Get full text

Symbolic olfactory display by Kaye, Joseph Nathaniel, 1977-

Get full text

Lower Limb Exoskeleton for Rehabilitation with Improved Postural Equilibrium by Giuseppe Menga, Marco Ghirardi

“…Special attention has been devoted to the mechanical multi-chain model of the exoskeleton which exploits Kane&rsquo;s method using the Autolev symbolic computational environment. The aspects covered are: the switching system between single and double stance, the system&rsquo;s non-holonomic nature, dependent and independent joint angles, redundancy in the torque controls and balancing weight in double stance. …”
Get full text

Off-policy Maximum Entropy Deep Reinforcement Learning Algorithm Based on RandomlyWeighted Triple Q -Learning by FAN Jing-yu, LIU Quan

Get full text