Results 11 to 20 of about 14,483 (309)
Symbolic computation and satisfiability checking [PDF]
Journal of Symbolic Computation, 2020 Abstract The two communities of Symbolic Computation and Satisfiability Checking have recently found themselves tackling similar problems and having a growing interest in each other's technology. This special issue presents articles whose contribution is of interest to, and is influenced by, both communities.
James H. Davenport +4 more
openaire +5 more sources
Symbolic Computation Software Composability [PDF]
, 2008 We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation Infrastructure for Europe) project1. One of the major results of the project so far is an OpenMath based protocol called SCSCP (Symbolic Computation Software Composability ...
Sebastian Freundt +4 more
core +3 more sources
Numerical and Symbolic Computation [PDF]
, 2020 This book is a comprehensive set of articles reflecting on the application of symbolic and/or numerical computation in a range of scientific areas within the fields of engineering and science. These articles constitute extended versions of communications
core +5 more sources
Walks in the Quarter Plane with Multiple Steps [PDF]
Discrete Mathematics & Theoretical Computer Science, 2015 We extend the classification of nearest neighbour walks in the quarter plane to models in which multiplicities are attached to each direction in the step set.
Manuel Kauers, Rika Yatchak
doaj +1 more source
Computations for symbolic substitutions [PDF]
J. Integer Seq., 2017 We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic substitutions. We study their subshifts (and related spaces) with an emphasis on examples of computations.
Balchin, Scott, Rust, Dan
openaire +4 more sources
Capsule-LPI: a LncRNA–protein interaction predicting tool based on a capsule network
BMC Bioinformatics, 2021 Background Long noncoding RNAs (lncRNAs) play important roles in multiple biological processes. Identifying LncRNA–protein interactions (LPIs) is key to understanding lncRNA functions.
Ying Li +5 more
doaj +1 more source
MRI and CT Medical Image Fusion Based on Synchronized-Anisotropic Diffusion Model
IEEE Access, 2020 Medical image fusion can combine information from multi-modality images and express them through a single image. How to design a fusion method to preserve more information becomes a hot topic.
Rui Zhu +3 more
doaj +1 more source
Dynamical systems via domains:Toward a unified foundation of symbolic and non-symbolic computation [PDF]
, 2021 Non-symbolic computation (as, e.g., in biological and artificial neural networks) is astonishingly good at learning and processing noisy real-world data.
Hornischer, L.A.
core +1 more source
Symbolic WCET Computation [PDF]
ACM Transactions on Embedded Computing Systems, 2017 Parametric Worst-case execution time (WCET) analysis of a sequential program produces a formula that represents the worst-case execution time of the program, where parameters of the formula are user-defined parameters of the program (as loop bounds, values of inputs, or internal variables, etc).
Ballabriga, Clément +2 more
openaire +1 more source
LPInsider: a webserver for lncRNA–protein interaction extraction from the literature
BMC Bioinformatics, 2022 Background Long non-coding RNA (LncRNA) plays important roles in physiological and pathological processes. Identifying LncRNA–protein interactions (LPIs) is essential to understand the molecular mechanism and infer the functions of lncRNAs.
Ying Li +6 more
doaj +1 more source