Results 11 to 20 of about 945,610 (300)
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 Listings as Computation
CoRRWe propose an algebraic model of computation which formally relates symbolic listings, complexity of Boolean functions, and low depth arithmetic circuit complexity. In this model algorithms are arithmetic formula expressing symbolic listings of YES instances of Boolean functions, and computation is executed via partial differential operators.
Hamilton Sawczuk, Edinah Gnang
openaire +3 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
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 +8 more sources
, 2005 Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. New types of reduction strategies have been invented and investigated, and new results on rewriting / computation under particular ...
Lucas, Salvador, Gramlich, Bernhard
core +4 more sources
Symbolic computation for evaluation of measurement uncertainty [PDF]
, 2007 In recent years, with the rapid development of symbolic computation, the integration of symbolic and numeric methods is increasingly applied in various applications.
Wei, P +7 more
core +1 more source
Symbolic Computation of Polynomial Conserved Densities, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-Difference Equations [PDF]
, 2004 Algorithms for the symbolic computation of polynomial conserved densities, fluxes, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations are presented. In the algorithms we use discrete versions of the
Jan A. S +15 more
core +1 more source
Understanding socialbot behavior on end hosts
International Journal of Distributed Sensor Networks, 2017 Server-side socialbot detection approaches can identify malicious accounts and spams in online social networks. However, they cannot detect socialbot processes, residing on user hosts, which control these accounts. Therefore, new approaches are needed to
Yukun He +4 more
doaj +1 more source
IEEE Access, 2021 The behavior decision-making algorithm plays an important role in ensuring the safe driving of autonomous vehicles. However, existing behavior decision-making methods lack the capability to cope with future motion uncertainty in traffic, because the ...
Taiqiao Yin +4 more
doaj +1 more source