Search results
From MaRDI portal
- Programming 2006-10-19 Paper Symbolic and Quantitative Approaches to Reasoning with Uncertainty 2006-06-23 Paper Symbolic and Quantitative Approaches to...10 bytes (14 words) - 13:42, 7 December 2023
- equilibrium in sealed high-bid auctions. 2003-12-14 Paper An efficient parallel algorithm with application to computational fluid dynamics. 2003-12-14 Paper...10 bytes (12 words) - 12:30, 24 September 2023
- 2006-10-26 Paper Symbolic algorithm for factorization of the evolution operator of the time-dependent Schrödinger equation 2006-10-26 Paper Parallel computation...10 bytes (16 words) - 16:09, 8 December 2023
- general-linear-complex special configuration of parallel manipulators. 1999-09-15 Paper Design and analysis of a hybrid serial-parallel manipulator. 1999-09-15 Paper A...10 bytes (12 words) - 13:11, 24 September 2023
- Paper A direct algorithm for extracting a transfer function's multiple zeros or poles 2002-08-06 Paper A parallel mesh chopping algorithm for a class of...10 bytes (12 words) - 16:16, 24 September 2023
- 1998-03-05 Paper Parallel computation of polynomial GCD and some related parallel computations over abstract fields 1997-09-10 Paper Efficient parallel algorithms...10 bytes (17 words) - 17:19, 6 December 2023
- 2024-02-16 Paper A direct symbolic algorithm for solving stochastic Rabin games 2024-02-01 Paper A flexible toolchain for symbolic Rabin games under fair...10 bytes (14 words) - 10:01, 6 October 2023
- lifting algorithm for n factors 2023-01-11 Paper An interpolation algorithm for computing Dixon resultants 2022-12-21 Paper The complexity and parallel implementation...10 bytes (14 words) - 06:24, 12 December 2023
- considerations on a random graph model for parallel processing 1993-11-15 Paper An approach to parallel algorithm design 1993-06-29 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 01:22, 12 December 2023
- measures in an adaptive partitioning algorithm for global optimization 2001-03-20 Paper Parallel simulated annealing algorithms in global optimization 2001-02-18...10 bytes (13 words) - 08:11, 9 December 2023
- fireworks algorithm 2018-08-20 Paper Parallel CPU- and GPU-algorithms for inverse problems in nondestructive testing 2018-08-20 Paper Parallel algorithm of the...10 bytes (12 words) - 17:16, 24 September 2023
- promotion 2022-08-26 Paper Parallel-machine scheduling in shared manufacturing 2022-02-16 Paper Optimal preemptive algorithm for parallel machine scheduling with...10 bytes (14 words) - 11:00, 11 December 2023
- Paper A parallel algorithm for sparse symbolic Cholesky factorization on a multiprocessor 1988-01-01 Paper The analysis of a nested dissection algorithm 1987-01-01...10 bytes (15 words) - 16:37, 12 December 2023
- approaches to the application of islands-based parallel EDAs in continuous domains 2006-08-16 Paper Symbolic and Quantitative Approaches to Reasoning with...10 bytes (15 words) - 06:55, 9 December 2023
- and efficient algorithm for complex root isolation 2015-06-09 Paper Near optimal tree size bounds on a simple real root isolation algorithm 2015-03-27 Paper...10 bytes (15 words) - 14:48, 7 December 2023
- Publication Date of Publication Type Algorithm 905: SHEPPACK: modified Shepard algorithm for interpolation of scattered multivariate data 2017-05-19...10 bytes (17 words) - 16:21, 12 December 2023
- set-based symbolic algorithms for parity games 2020-05-26 Paper Faster algorithms for mean-payoff parity games 2020-05-26 Paper Faster Parallel Multiterminal...10 bytes (17 words) - 03:18, 12 December 2023
- of Timed Systems 2024-02-05 Paper A unified model for real-time systems: symbolic techniques and implementation 2024-02-01 Paper Counterexample guided knowledge...10 bytes (13 words) - 02:04, 7 October 2023
- Paper You CAN Carlson-Parkin 2010-09-07 Paper Parallel physics-inspired waterflow particle mechanics algorithm for load rebalancing 2010-09-07 Paper Effect...10 bytes (12 words) - 02:18, 25 September 2023
- Extension of Algorithm on Symbolic Computations of Conserved Densities for High-Dimensional Nonlinear Systems 2018-08-03 Paper A Maple package on symbolic computation...10 bytes (14 words) - 21:18, 9 December 2023
