Search results

macromolecular functional motion simulation on multicore architectures and graphics processors 2016-12-20 Paper Exploring large macromolecular functional motions...

2014-06-30 Paper Large-scale parallel simulation of high-dimensional American option pricing 2014-04-25 Paper Implementation of parallel algorithm of three dimensional...

hierarchical low-rank structures 2017-04-07 Paper Algorithm 953: Parallel library software for the multishift QR algorithm with aggressive early deflation...

Binary separation and training support vector machines 2012-06-11 Paper Parallel software for training large scale support vector machines on multiprocessor...

orthogonal Cauchy functional equations 2019-06-21 Paper https://portal.mardi4nfdi.de/entity/Q4623738 2019-02-22 Paper Type synthesis of 5-DoF parallel mechanisms...

checking for software-defined networks 2021-02-26 Paper Resource analysis driven by (conditional) termination proofs 2020-05-04 Paper Parallel cost analysis...

Paper A parallel block cyclic reduction algorithm for the fast solution of elliptic equations 1989-01-01 Paper Data communication in parallel architectures...

experiment of parallel SPECT data reconstruction 2004-09-27 Paper https://portal.mardi4nfdi.de/entity/Q4801515 2003-06-23 Paper Parallel Image Restoration...

Paper Software modeling and analysis using a hierarchical object-oriented Petri net 2002-05-14 Paper PROOF: A parallel object-oriented functional computation...

Paper An improved parallel block Lanczos algorithm over GF(2) for integer factorization Information Sciences 2020-02-06 Paper Parallel GNFS algorithm integrated...

solving feasibility problems with regularized models Optimization Methods & Software 2022-09-30 Paper Block coordinate descent for smooth nonconvex constrained...

Paper Exponentially convergent parallel algorithm for nonlinear eigenvalue problems 2008-01-16 Paper Hermite functional polynomials in the space \(Q[0...

interpretation of the functional correctness of matrix manipulating programs 2018-08-27 Paper Static analysis of embedded real-time concurrent software with dynamic...

linearly implicit numerical methods for stiff problems: analysis and MATLAB software 2024-06-17 Paper Positivity-preserving and elementary stable nonstandard...

function-on-function regression 2024-05-21 Paper Nonparametric Functional Graphical Modeling Through Functional Additive Regression Operator 2023-10-18 Paper https://portal...

field data using minimal memory 2021-06-03 Paper A Tutorial and Open Source Software for the Efficient Evaluation of Gravity and Magnetic Kernels 2019-12-15...

linearly implicit numerical methods for stiff problems: analysis and MATLAB software 2024-06-17 Paper Positivity-preserving and elementary stable nonstandard...

of hyperlogics 2024-12-19 Paper Deciding hyperproperties combined with functional specifications 2024-12-06 Paper Synthesizing dominant strategies for liveness...

with \(Z_{2}\) symmetry 2011-11-25 Paper Parallel Segregated Schur Complement Methods for Fluid Density Functional Theories 2008-09-23 Paper Bifurcation and...

structural variable selection for identifying materials genes 2024-03-19 Paper Functional Group Bridge for Simultaneous Regression and Support Estimation 2023-10-30...