• 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 mesh-related 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 non-uniform 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 normal-distribution...
  • systemPipeR

  • Referenced in 2 articles [sw28861]
  • Ribo-Seq. 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 sub-libraries: 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 Self-Consistent 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 self-consistent 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 non-uniform adequate ranges for variables appearing in separation predicates. This ... allocated ranges. Thus, any partially DL-theory 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 symmetric-reflected 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...