-
361
Revisiting Chernoff Information with Likelihood Ratio Exponential Families
Published 2022-10-01“…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
Article -
362
From data Processing to Knowledge Processing: Working with Operational Schemas by Autopoietic Machines
Published 2021-03-01“…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
Article -
363
Using Parameter Elimination to Solve Discrete Linear Chebyshev Approximation Problems
Published 2020-12-01“…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
Article -
364
Minimizing Curvature in Euclidean and Lorentz Geometry
Published 2021-08-01“…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
Article -
365
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Published 2022-03-01“…This paper proposes a novel algorithm that symbolically computes all the monochromatic strongly connected components of an edge-coloured graph. …”
Get full text
Article -
366
PrivItem2Vec: A privacy-preserving algorithm for top-N recommendation
Published 2021-12-01Get full text
Article -
367
Computer-Aided Analysis of Solvable Rigid Lie Algebras with a Given Eigenvalue Spectrum
Published 2022-08-01“…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
Article -
368
Fast computation of the iteration-based simulation method - case study of non-coherent ask with shadowing
Published 2017-01-01“…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
Article -
369
New Soliton Solutions of Time-Fractional Korteweg–de Vries Systems
Published 2022-08-01“…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
Article -
370
Learning multisensory representations for auditory-visual transfer of sequence category knowledge: a probabilistic language of thought approach
Published 2016“…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
Article -
371
Higher-Order Automatic Differentiation and Its Applications
Published 2023“…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
Thesis -
372
Polynomial-time computing over quadratic maps I : sampling in real algebraic sets
Published 2011“…The procedure consists of exact symbolic computations in D and outputs vectors of algebraic numbers. …”
Get full text
Get full text
Journal Article -
373
A Linear Fitting Density Peaks Clustering Algorithm for Image Segmentation
Published 2018-01-01Get full text
Article -
374
A Local Density Shape Context Algorithm for Point Pattern Matching in Three Dimensional Space
Published 2018-01-01Get full text
Article -
375
Reversible-equivariant systems and matricial equations
Published 2011-06-01“…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
Article -
376
Formal synthesis of Lyapunov neural networks
Published 2020“…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. …”
Journal article -
377
-
378
-
379
Lower Limb Exoskeleton for Rehabilitation with Improved Postural Equilibrium
Published 2018-06-01“…Special attention has been devoted to the mechanical multi-chain model of the exoskeleton which exploits Kane’s method using the Autolev symbolic computational environment. The aspects covered are: the switching system between single and double stance, the system’s non-holonomic nature, dependent and independent joint angles, redundancy in the torque controls and balancing weight in double stance. …”
Get full text
Article -
380