Search results
From MaRDI portal
- semi-automatic multiple-strategy approach to mapping tree-structured symbolic processing programs 1997-05-22 Paper https://portal.mardi4nfdi.de/entity/Q4718388...10 bytes (18 words) - 17:05, 9 December 2023
- programs (methodology and tools) 1998-10-19 Paper Strategies for symbolic processing and synthesis of algorithms and programs 1997-05-13 Paper https://portal...10 bytes (18 words) - 01:47, 13 December 2023
- Publication Date of Publication Type Parallel symbolic processing in REFAL 1997-05-13 Paper...10 bytes (18 words) - 20:38, 24 September 2023
- Publication Date of Publication Type Symbolic processing of multiloop mechanism dynamics using closed-form kinematics solutions 1998-12-02 Paper https://portal...10 bytes (16 words) - 17:41, 24 September 2023
- Publication Type Generation and verfication of algorithms for symbolic-numeric processing 1999-03-08 Paper...10 bytes (16 words) - 16:03, 24 September 2023
- for temporal sequence processing 2011-03-08 Paper Nonmonotone Learning of Recurrent Neural Networks in Symbolic Sequence Processing Applications 2010-02-11...10 bytes (18 words) - 11:27, 24 September 2023
- Comparison of implicit and symbolic implicit Monte Carlo line transport with frequency weight vector extension 2003-08-17 Paper Symbolic implicit Monte Carlo...10 bytes (20 words) - 03:06, 13 December 2023
- 2010-10-18 Paper Modular chemical geometry and symbolic calculation 2010-06-10 Paper Mathematical methods and symbolic calculation in chemistry and chemical biology—The...10 bytes (18 words) - 19:02, 12 December 2023
- Publication Date of Publication Type Logic cuts for processing networks with fixed charges 1994-03-24 Paper Symbolic integration of logic in MILP branch and bound...10 bytes (16 words) - 15:09, 13 December 2023
- Type Symbolic dynamics for processing chaotic signals. I. Noise reduction of chaotic sequences 2002-07-21 Paper Symbolic dynamics for processing chaotic...10 bytes (16 words) - 01:27, 28 December 2023
- de/entity/Q2988093 2017-05-18 Paper Certified symbolic manipulation 2017-02-10 Paper Modeling inheritance as coercion in a symbolic computation system 2017-02-03 Paper...10 bytes (20 words) - 16:23, 11 December 2023
- learnability of symbolic automata 2023-05-26 Paper Solving Program Sketches with Large Integer Values 2022-10-13 Paper The power of symbolic automata and...10 bytes (16 words) - 05:36, 7 October 2023
- Euler polynomials via Lévy processes 2012-09-13 Paper Symbolic solutions of some linear recurrences 2011-11-10 Paper A symbolic handling of Sheffer polynomials...10 bytes (18 words) - 13:28, 11 December 2023
- DASD 1994-05-24 Paper Symbolic-production systems as a tool for formal description of information processes. I 1994-05-18 Paper Symbolic-production systems...10 bytes (18 words) - 09:58, 24 September 2023
- Design and implementation of maple packages for processing offsets and conchoids 2017-08-15 Paper Symbolic computation of Drazin inverses by specializations...10 bytes (16 words) - 16:34, 6 December 2023
- logic for neuro-symbolic learning and reasoning 2021-11-24 Paper https://portal.mardi4nfdi.de/entity/Q5111913 2020-05-27 Paper Symbolic timed trace equivalence...10 bytes (19 words) - 14:33, 8 December 2023
- Paper Symbolic dynamics for processing chaotic signals. I. Noise reduction of chaotic sequences 2002-07-21 Paper Symbolic dynamics for processing chaotic...10 bytes (16 words) - 15:40, 6 October 2023
- Application of symbolic recurrence to experimental data, from firearm prevalence to fish swimming 2019-12-13 Paper Transfer entropy on symbolic recurrences...10 bytes (19 words) - 16:34, 27 February 2024
- jobs with piecewise linear decreasing processing times to minimize makespan 2010-01-29 Paper Application of symbolic computation in nonlinear differential-difference...10 bytes (17 words) - 11:00, 11 December 2023
- Efficient connection processing in equation-based object-oriented models 2022-01-27 Paper Corrigendum to ``Compact sparse symbolic Jacobian computation...10 bytes (16 words) - 23:03, 24 September 2023
