Search results

Recursion Schemes 2020-05-26 Paper ICE-based refinement type discovery for higher-order functional programs 2019-09-16 Paper Higher-order program verification...

2010-08-16 Paper Approximation schemes for clustering problems 2010-08-16 Paper Tensor decomposition and approximation schemes for constraint satisfaction...

Function 2003-01-05 Paper Specialized parallel algorithms for solving Lyapunov and Stein equations 2002-07-31 Paper Parallel algorithms for LQ optimal control...

computations on the Connection Machine: Unstructured meshes, upwind schemes and massively parallel computations 1993-06-29 Paper https://portal.mardi4nfdi.de/entity/Q4693818...

Compact stateful encryption schemes with ciphertext verifiability 2013-04-04 Paper Identity based ring signcryption schemes revisited 2013-01-25 Paper ID...

eigenvalue problem in inverse scattering 2022-03-14 Paper Local and parallel finite element schemes for the elastic transmission eigenvalue problem 2022-03-14 Paper...

2008-06-18 Paper Difference schemes for nonlinear BVPs using Runge-Kutta IVP-solvers 2008-02-20 Paper Exponentially convergent parallel algorithm for nonlinear...

finite element analysis for distributed parallel computation 1995-01-02 Paper Deferred Shifting Schemes for Parallel QR Methods 1993-05-16 Paper Reduction...

methods for corecursive programs 2006-06-19 Paper FUNCTIONAL PEARL: Enumerating the rationals 2006-06-09 Paper Mathematics of Program Construction 2005-08-26...

Paper On the implementation of parallel iterated Runge-Kutta methods on a transputer network 1994-01-06 Paper A parallel approach to the modified Numerov-like...

Coupling proofs are probabilistic product programs 2017-10-20 Paper Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model 2017-06-13...

High-order accurate bicompact schemes for solving the multidimensional inhomogeneous transport equation and their efficient parallel implementation 2017-02-27...

Analysis of algebraic flux correction schemes 2016-08-18 Paper Some analytical results for an algebraic flux correction scheme for a steady convection-diffusion...

de/entity/Q4323604 1995-02-23 Paper Serial and Parallel Multicategory Discrimination 1995-01-23 Paper Parallel Variable Distribution 1995-01-23 Paper Misclassification...

a feasible optimal program in the problem of programmed control under disturbances 1982-01-01 Paper A variational difference scheme for a boundary value...

1992-06-28 Paper Design of parallel sorting algorithm 1992-06-28 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Algorithmic...

results for parallel machine problems with a single server 2003-02-23 Paper Approximation schemes for scheduling jobs with common due date on parallel machines...

TRAINING METHOD ON A PARALLEL COMPUTER SYSTEM 2004-10-06 Paper PARALLEL DISTRIBUTED NEURAL NETWORKS FOR CLASSIFICATION 2004-10-06 Paper PARALLEL SYMMETRIC ELIMINATION...

networks with pantograph delays 2014-06-23 Paper A sequential convex program method to DC program with joint chance constraints 2014-05-16 Paper A barrier function...

Paradigm for Parallel Adaptive Meshing Algorithms 2003-09-16 Paper https://portal.mardi4nfdi.de/entity/Q4426202 2003-09-16 Paper A new parallel domain decomposition...