• ks

  • Referenced in 36 articles [sw08013]
  • clustering, discriminant analysis, significant modal regions and two-sample hypothesis testing...
  • LoTREC

  • Referenced in 25 articles [sw07684]
  • counter-models 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 1-satisfiability 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 ... object-oriented 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 human-computer 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 brain-activity 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 large-scale nonlinear...
  • LAPACK

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