
ks
 Referenced in 36 articles
[sw08013]
 clustering, discriminant analysis, significant modal regions and twosample hypothesis testing...

LoTREC
 Referenced in 25 articles
[sw07684]
 countermodels and testing satisfiability of formulas in modal and description logics. This system...

QMLTP
 Referenced in 8 articles
[sw09915]
 Quantified Modal Logic Theorem Proving (QMLTP) library provides a platform for testing and evaluating automated ... stimulate the development of new modal ATP systems and to put their comparison onto ... were determined by running comprehensive tests with existing modal ATP systems. In the presented version...

TABLEAUX
 Referenced in 18 articles
[sw11674]
 advantages of such semantical proof methods for modal logics, since we believe that the model ... results are given, with two lists of test examples...

MNiBLoS
 Referenced in 2 articles
[sw32318]
 cardinality of the modal structures considered. The solver allows to test 1satisfiability of equations ... supported extends the usual one of fuzzy modal logics with rational constants and the Monteiro...

LWB
 Referenced in 3 articles
[sw01820]
 Workbench LWB, a theorem prover for propositional modal and other nonclassical logics. A pleasant side ... benchmark for testing and comparing the performance of different theorem provers for modal logics...

Elastix
 Referenced in 13 articles
[sw11747]
 aligning data sets, possibly from different modalities (e.g., magnetic resonance and computed tomography), different time ... elastix allows the user to quickly configure, test, and compare different registration methods...

modAL
 Referenced in 1 article
[sw27051]
 learning pipelines and novel algorithms as well. modAL is fully open source, hosted on GitHub ... assure code quality, extensive unit tests are provided and continuous integration is applied. In addition...

modred
 Referenced in 3 articles
[sw17490]
 parallelized Python library for model reduction, modal analysis, and system identification of large systems ... objectoriented design, and includes comprehensive automated tests. In almost all cases, parallelization is done...

6DMG
 Referenced in 1 article
[sw15488]
 popularity, and motion gestures form a complementary modality in humancomputer interactions. To achieve more ... recognition algorithms as well as a common test bench for performance comparisons...

COMVIS
 Referenced in 2 articles
[sw02316]
 share and integrate information from different visual modalities, and how it can support the necessities ... correlation and still guarantee conservative error estimates. Tests on real and synthetic scene show that...

DBT Simulator
 Referenced in 2 articles
[sw19041]
 breast tomosynthesis (DBT) is an innovative imaging modality that provides 3D reconstructed images of breast ... real data sets. The simulator has been tested on a phantom study that simulates breast...

rsatoolbox
 Referenced in 1 article
[sw32148]
 sets of brain regions and to statistically test and compare the models using nonparametric inference ... functions are equally applicable to other modalities of brainactivity measurement. The toolbox is freely...

ANSYS
 Referenced in 654 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

Coq
 Referenced in 1776 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2829 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Gmsh
 Referenced in 564 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 606 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LANCELOT
 Referenced in 295 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1617 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...