• # SQEMA

• Referenced in 39 articles [sw03056]
• Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... Goranko} and {it D. Vakarelov}, Log. Methods Comput. Sci. 2, No. 1, Paper ... introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae ... thus established a very general correspondence and canonical completeness result. SQEMA is based on transformation...
• # SegNet

• Referenced in 27 articles [sw27575]
• engine consists of an encoder network, a corresponding decoder network followed by a pixel-wise ... uses pooling indices computed in the max-pooling step of the corresponding encoder to perform ... efficient both in terms of memory and computational time during inference. It is also significantly...
• # ca

• Referenced in 23 articles [sw08085]
• multiple and joint correspondence analysis. Within each part, functions for computation, summaries and visualization...
• # ASYMPT

• Referenced in 10 articles [sw00053]
• that matrix elements of the equivalent operator corresponding to the perturbation ρ−2 have ... body-fixed frame and can be easily computed for high values of total orbital momentum ... eigenvalues of the corresponding secular equation. The eigenvectors computed are used to calculate the relevant...
• # SPIKE

• Referenced in 40 articles [sw02780]
• architecture of the high-end parallel computing platform. Numerical experiments are presented that demonstrate ... parallel scheme. Comparison with the corresponding algorithms of ScaLAPACK are also provided for those banded...
• # DIMSYM

• Referenced in 74 articles [sw04279]
• equations. It also can be used to compute symmetries of distributions of vector fields ... user-provided ansatz). Dimsym then produces the corresponding determining equations (a system of linear partial ... dimensional). The program allows the user to compute Lie brackets, vector derivatives...
• # F5C

• Referenced in 30 articles [sw35035]
• assigned to each computed polynomial. However, it computes and uses many polynomials that turn ... trivial task, because they correspond to signatures required for reduction. This paper revisits the theory ... variant that prunes redundant polynomials, then re-computes signatures to preserve correctness. This strategy successfully...
• # DUNE-FEM

• Referenced in 39 articles [sw03084]
• balancing. The concepts are based on a corresponding abstract definition of a parallel and hierarchical ... given in [{it P. Bastian} et al., Computing...
• # svdpack

• Referenced in 60 articles [sw04819]
• SVDPACK comprises four numerical (iterative) methods for computing the singular value decomposition (SVD) of large sparse ... largest singular triplets (singular values and corresponding left- and right-singular vectors) for large sparse ... SVDPACK wa motivated by the need to compute large rank approximations to sparse term-document...
• # MLESAC

• Referenced in 8 articles [sw28050]
• consensus, devised for computing multiview entities like the fundamental matrix from correspondences between image features ... magnitude speed increase for problems where the correspondences are described by one image transformation ... stage, albeit at the expense of additional computation. The second suggests how to propagate ... information makes guided-MLESAC computationally realistic at video-rates for correspondence sets modeled...
• # FDLIB

• Referenced in 14 articles [sw00270]
• introductory fundamentals of fluid mechanics and selected computational methods and techniques for incompressible fluid flows ... part of the corresponding chapters. In addition, the so-called computer problems ask and instruct...
• # Janet

• Referenced in 37 articles [sw07776]
• Rehm 2001/2002], [Cohn 1985] is implemented to compute the Jacobson normal form of a matrix ... more than one dependent variable which correspond to ”term over position” and ”position over term ... avoid unnecessary reductions during involutive basis computations...
• # Polyhedral

• Referenced in 7 articles [sw22883]
• Wythoff construction of a polytope. Compute the Delaunay tesselation corresponding to a lattice ... type domains, i.e. spaces of lattices. Compute with unimodular vector systems. Recognize affine and spherical...
• # Virtual library

• Referenced in 26 articles [sw27598]
• design and analysis of experiments involving computer models. Under each of the categories found ... left, there is a list of corresponding functions and datasets. Each has a detailed description...
• # na13

• Referenced in 30 articles [sw11509]
• transform. An algorithm is proposed for numerical computation of the Legendre-Fenchel transform ... time complexity in arbitrary space dimensions. A corresponding MATLAB package is described and illustrated with...