• plfit

  • Referenced in 230 articles [sw23186]
  • distributions to empirical data. This program fits power-law distributions to empirical (discrete or continuous...
  • GeM

  • Referenced in 96 articles [sw00332]
  • software package for automated symmetry and conservation law analysis of systems of partial and ordinary ... standard program that employs “GeM” routines for symmetry, adjoint symmetry or conservation law analysis...
  • GAUSSIAN

  • Referenced in 190 articles [sw06118]
  • Gaussian is an electronic structure program, used by chemists, chemical engineers, biochemists, physicists and others ... chemical interest. Starting from the basic laws of quantum mechanics, Gaussian predicts the energies, molecular...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • logic programming This paper develops a logical language for representing probabilistic causal laws. Our interest ... formalization, a set of probabilistic causal laws can be used to represent a class ... laws, this provides a new way of explaining the intuitions behind such probabilistic logic programs ... probabilistic logic programs, by showing how they can express probabilistic causal laws...
  • qGCL

  • Referenced in 26 articles [sw39240]
  • algorithms. It contains the features required to program a ‘universal’ quantum computer (including initialisation ... laws, and provides a refinement calculus supporting the verification and derivation of programs against their...
  • Uhlig Toolkit

  • Referenced in 46 articles [sw15482]
  • equilibrium and solving for the recursive equilibrium law of motion with the method of undetermined ... extensive and well documented library of Matlab programs, which can be downloaded in a self...
  • ZRC

  • Referenced in 14 articles [sw21827]
  • formalised. In this paper, we explain how programs can be derived from Z specifications using ... conversion laws, which are concerned with the transformation of Z schemas into programs of this ... basis for the derivation of the laws of ZRC. More than a refinement calculus...
  • PDEBellII

  • Referenced in 12 articles [sw12572]
  • bilinear Bäcklund transformations, Lax pairs and conservation laws of the KdV-type equations. Based ... this paper presents a Maple computer algebra program PDEBellII which can automatically construct the bilinear ... bilinear Bäcklund transformations, Lax pairs and conservation laws of the KdV-type soliton equations. Some ... given to verify the validity of our program...
  • QuickSpec

  • Referenced in 7 articles [sw19206]
  • understanding of a program module by exploring the laws that are generated using two case...
  • Powerlaw

  • Referenced in 10 articles [sw29150]
  • power laws have been developed, but appropriate use of these techniques requires significant programming ... using good statistical methods for fitting power law distributions, we developed the powerlaw Python package...
  • MicrOMEGAs 2.0

  • Referenced in 45 articles [sw01426]
  • micrOMEGAs 2.0: a program to calculate the relic density of dark matter in a generic ... assumption is that there is a conservation law like R-parity in supersymmetry which guarantees...
  • CrimeStat

  • Referenced in 11 articles [sw30112]
  • programs. The purpose is to provide supplemental statistical tools to aid law enforcement agencies ... researchers. The latest version is 3.3. The program inputs incident locations (e.g., robbery locations...
  • PTSC

  • Referenced in 6 articles [sw13692]
  • equivalence between probabilistic programs is investigated and a collection of algebraic laws are explored ... semantics to animate the execution of probabilistic programs...
  • SHALL 4

  • Referenced in 3 articles [sw00007]
  • water equations in conservation-law form. A FORTRAN IV computer program is documented implementing...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • based programming is obtained from ordinary imperative programming not by adding a feature ... subtracting a restriction: specifically by dropping the law of the excluded miracle from the calculus...
  • NSC2KE

  • Referenced in 20 articles [sw21215]
  • Guide. NSC2KE is a Finite-Volume Galerkin program computing 2D and axisymmetric flows on unstructured ... wall turbulence is computed either by wall-laws or by a two-layer approach. Time...
  • XPTO

  • Referenced in 2 articles [sw15781]
  • library, based on algebraic laws for transformation of structure-shy programs, conversion into structure-sensitive ... programs, and vice-versa. We show how the core library can be extended with laws ... specialization and optimization of XPath structure-shy programs. The front-end for this system carries...
  • Pluto

  • Referenced in 27 articles [sw09092]
  • separately combined to solve systems of conservation laws using the finite volume or finite difference ... PLUTO is entirely written in the C programming language while the adaptive mesh refinement...
  • Parsl

  • Referenced in 3 articles [sw28682]
  • Pervasive Parallel Programming in Python. High-level programming languages such as Python are increasingly used ... Moore’s law), necessitates rethinking how parallelism is expressed in programs. Here, we present Parsl...
  • Lyap

  • Referenced in 5 articles [sw00531]
  • program calculates all the Lyapunov exponents of a dynamical system when the law of evolution...