
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 ontologybased method we proposed is modelexternally...

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, APicalculus 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, ALvisualizer can easily be adapted to work with Picalculus 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 highlevel language and interactive...

Octave
 Referenced in 276 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...