
PARTHEO
 Referenced in 15 articles
[sw09981]
 calculus is model elimination. PARTHEO consists of a uniform network of sequential theorem provers communicating...

LILIX
 Referenced in 11 articles
[sw00520]
 sixth order, highly stable and with uniform accuracy with respect to the energy. The package ... user. Subroutine LI generates the partition consistent with the desired accuracy while subroutine LIX helps...

MOFLON
 Referenced in 9 articles
[sw06922]
 model different aspects like structure, behavior, consistency constraints of the system. This results ... there is a lack of tools offering uniform support for metamodel definition, analysis, transformation...

UMM
 Referenced in 8 articles
[sw10132]
 systematic approach to specifying and analyzing memory consistency requirements. In this paper, we present ... memory models as guarded commands with a uniform notation, and (ii) it provides built ... formalize several classical memory models, including Sequential Consistency, Coherence, and PRAM, to illustrate the general...

VaxiJen
 Referenced in 3 articles
[sw26855]
 covariance (ACC) transformation of protein sequences into uniform vectors of principal amino acid properties. RESULTS ... prediction of whole protein antigenicity. Every set consisted of 100 known antigens...

ViennaMesh
 Referenced in 5 articles
[sw12914]
 desirable to have a rich toolset consisting of the various meshing packages in order ... ViennaMesh tackles this challenge by providing a uniform meshing interface and reusable meshrelated tools...

ORESD
 Referenced in 7 articles
[sw04966]
 indicator, but it is shown to be consistent with the a priori error provided ... Poisson equation on a uniform and on a nonuniform grid to test the application...

rsem
 Referenced in 4 articles
[sw06771]
 generates all the test statistics and consistent SEs. Following the robust analysis, multiple model ... substantive models but also yields estimates with uniformly smaller standard errors than the normaldistribution...

systemPipeR
 Referenced in 2 articles
[sw28861]
 RiboSeq. Important features include a uniform workflow interface across different NGS applications, automated report ... experimental designs is facilitated by a consistently implemented sample annotation infrastructure. Instructions for using systemPipeR...

ODiS
 Referenced in 2 articles
[sw32481]
 algorithms. However just the absence of a uniform approach to the construction of realized methods ... Mari State University. The presented system consists of four parts...

DVSA
 Referenced in 1 article
[sw18599]
 second layer. SHOB defines a release consistency model for iterative numerical algorithms and it implements ... methodology and discuss the performance of a uniform multigrid method developed through SHOB...

it3d
 Referenced in 1 article
[sw31101]
 applications that are portable and adaptable. It3d consists of three sublibraries: an input/output library ... input/output library for distributed devices has a uniform programming interface style for various types...

SCPPBAND
 Referenced in 1 article
[sw09339]
 state theory as based on ab initio uniform approach to numerical modelling of electron subsystem ... analysis. This package called ”SCPPBAND” for SelfConsistent Pseudopotential Band calculation, enables the study...

pdFOAM
 Referenced in 2 articles
[sw24956]
 interaction of a cylinder with a fixed uniform surface potential of 50 V in mesothermal ... charged aerodynamics in LEO requires a selfconsistent modelling tool such as pdFOAM...

trajectory
 Referenced in 1 article
[sw22650]
 mathematical modelling of a moving object trajectory consisting of straight line segments and circular motion ... basis of discrete models of uniform piecewise linear and circular motion. The results...

SDSAT
 Referenced in 2 articles
[sw00842]
 allocation phase, it allocates nonuniform adequate ranges for variables appearing in separation predicates. This ... allocated ranges. Thus, any partially DLtheory consistent model can be discarded...

ExtDist
 Referenced in 0 articles
[sw21154]
 Range of Functions for Probability Distributions. A consistent, unified and extensible framework for estimation ... beta, standard symmetricreflected truncated beta, triangular, uniform, and Weibull distributions; decision criteria and selections...

CuPP
 Referenced in 1 article
[sw14957]
 offers both a low level interface  mostly consisting of smartpointers and memory allocation functions ... particular, for this application we develop a uniform grid data structure to solve...

DEPIVOT
 Referenced in 0 articles
[sw19018]
 changes in systems in operation. The software consists of a simulation package developed in Visual ... lateral; and (e) estimating the expected uniformity performance indicators when in operation. The user verifies...

FIDAP
 Referenced in 37 articles
[sw00006]
 FIDAP (A Fluid Dynamics Analysis Program). This paper...