• DARR

  • Referenced in 1 article [sw25431]
  • contrary of dots”, and thus formalize the default reasoning, a special type of nonmonotonic reasoning ... this paper we propose an automated system, called DARR, with two components: a propositional theorem ... method is used to implement the propositional prover. Also, this theorem proving method is adapted...
  • ProMoca

  • Referenced in 1 article [sw18548]
  • regulate interactions of agents in multiagent systems. Several methods have been developed to analyze properties ... this issue. Firstly, we develop an expressive formal language to model agents with respect ... formalize these properties using a probabilistic variant of linear temporal logic. Thirdly, we adapt...
  • AQUASOL

  • Referenced in 3 articles [sw17113]
  • contrast, the dipolar Poisson–Boltzmann–Langevin (DPBL) formalism represents the solvent as a collection ... therefore constant within each subdomain of the system considered (i.e., inside and outside ... DPBL equation. The methods they use may adapt to the difference; their implementations however...
  • OntCheck

  • Referenced in 1 article [sw07143]
  • based models are widely used for embedded systems. The models consist of components with input ... early stage. Ontology is known as the formalization of semantic knowledge. In this paper ... unified framework. We first propose a formal way to precisely describe the checking requirements ... Compared with other static checking methods, the ontology-based method we proposed is model-externally...
  • VoteSim

  • Referenced in 1 article [sw18870]
  • this scope have been proposed and formalized. Thirdly, given the presented application and the metrics ... number of well known electoral systems is compared. Fourthly, as a result of the performance ... social welfare in the experiments, the voting methods are combined with cluster analysis techniques. Finally ... also allows the interested reader to adapt the case study presented to different environments...
  • ACVisualizer

  • Referenced in 1 article [sw00016]
  • proposed. Although an invaluable formal method for mobile agent systems, APi-calculus is quite complex ... system to the user and the support for verification and validation of such systems specified ... high level support for modeling mobile agent systems. Due to the backward compatibility ... calculus, AL-visualizer can easily be adapted to work with Pi-calculus itself...
  • ANSYS

  • Referenced in 648 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CGAL

  • Referenced in 344 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Cinderella

  • Referenced in 142 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CSDP

  • Referenced in 194 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • GAP

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

  • Referenced in 29 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • Gmsh

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

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

  • Referenced in 258 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

  • Referenced in 4956 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 340 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5756 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11649 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Octave

  • Referenced in 276 articles [sw00646]
  • GNU Octave is a high-level language, primarily...