• ks

  • Referenced in 42 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...
  • roc

  • Referenced in 2 articles [sw37359]
  • discriminatory accuracy of a diagnostic test or modality, and to evaluate the predictive power ... performance between these algorithms when the diagnostic test produces results on a continuous scale...
  • 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 16 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...
  • Quicksilver

  • Referenced in 6 articles [sw38623]
  • network which can be sampled during the testing time to calculate uncertainties in the predicted ... network. We show experimental results for uni-modal atlas-to-image as well...
  • 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...
  • DIAMONDS

  • Referenced in 2 articles [sw36440]
  • very suitable for high-dimensional and multi-modal problems. A detailed description of the features ... methods based on NSMC. Diamonds is then tested on the bright F8 V star ... peak-bagging analysis of KIC 9139163. We test the detection of different astrophysical backgrounds ... capability of Diamonds to sample multi-modal distributions, which is of great potential for possible...
  • 6DMG

  • Referenced in 2 articles [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...
  • VECA

  • Referenced in 1 article [sw38435]
  • research topic in AI. To train and test human-like agents, we need an environment ... with the environment or lack variety in modalities. Also, most of the approaches are difficult ... building fruitful virtual environments to train and test human-like agents. In particular, VECA provides...
  • 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...
  • 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 665 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

  • Referenced in 1828 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

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