• Python

  • Referenced in 1618 articles [sw14460]
  • widely used high-level, general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code ... object-oriented, imperative and functional programming or procedural styles. It features a dynamic type system ... large and comprehensive standard library. Python interpreters are available for installation on many operating systems...
  • Isar

  • Referenced in 144 articles [sw04599]
  • executed in single-steps, so basically the interpreter has a proof text debugger already built ... Isabelle/Pure meta-logic implementation. Theories, theorems, proof procedures etc. may be used interchangeably between Isabelle...
  • FOCI

  • Referenced in 58 articles [sw12868]
  • decision procedure for quantifier-free first-order formulas. It supports certain interpreted theories, such...
  • SETHEO

  • Referenced in 120 articles [sw00707]
  • complete. SETHEO can be used as an interpreter for the programming language LOP (under development ... reduction of the input formula, the proof procedure is realized as a WAM, factorization, lemma...
  • CasANOVA

  • Referenced in 27 articles [sw13555]
  • goals via shrinkage within a single automated procedure. The form of this shrinkage ... results are interpretable in terms of distinct subsets of levels. The proposed procedure is shown...
  • Lua

  • Referenced in 38 articles [sw10207]
  • lightweight, embeddable scripting language. Lua combines simple procedural syntax with powerful data description constructs based ... semantics. Lua is dynamically typed, runs by interpreting bytecode for a register-based virtual machine...
  • PAGAI

  • Referenced in 7 articles [sw13095]
  • algorithms combining abstract interpretation and decision procedures (SMT-solving), focusing on distinction of paths inside...
  • PARSEC

  • Referenced in 8 articles [sw01191]
  • applications and perturbation procedures. The system is fundamentally an input/command interpreter which allows the user...
  • mixOmics

  • Referenced in 29 articles [sw09508]
  • allows variable selection in a one step procedure and two frameworks are proposed: regression ... Numerous graphical outputs are provided to help interpreting the results. Recent methodological developments include: sparse...
  • Hybrid Stable Spline Toolbox

  • Referenced in 8 articles [sw16024]
  • step procedure. First, exploiting the Bayesian interpretation of regularization, the problem of classifying and distributing ... data are included to test the new procedure. They show that HSS not only solves...
  • NSPLib

  • Referenced in 8 articles [sw11952]
  • acceptable time limit. However, these solution procedures are often very case-specific towards one hospital ... data and the many interpretations of how to evaluate solution procedures have contributed...
  • FULPAL

  • Referenced in 18 articles [sw09138]
  • fuzzy objective function (utility function). This interpretation coincides with the well-known concepts in crisp ... inequalities and in soft constraints. The decision procedure is modelled as an interactive man-machine...
  • Program-Conflict-Analysis

  • Referenced in 5 articles [sw32219]
  • data races) in programs with procedures, thread creation and monitors with the Isabelle theorem prover ... nondeterministic branching, but completely interprets the call-/return behavior of procedures, synchronization by monitors...
  • OSCAR

  • Referenced in 48 articles [sw03026]
  • addition to improving prediction accuracy and interpretation, these resulting groups can then be investigated further ... represented by a single coefficient. The proposed procedure is shown to compare favorably...
  • PSPManalysis

  • Referenced in 17 articles [sw20475]
  • software package PSPManalysis implements numerical procedures for the demographic, bifurcation and evolutionary analysis of physiologically ... either R or Matlab/Octave, for which interpreted language front-ends are included...
  • FAMT

  • Referenced in 29 articles [sw11123]
  • impact of dependence on the multiple testing procedures for high-throughput data as proposed ... FAMT model. Graphics are proposed to interpret and describe the factors...
  • SPFAC

  • Referenced in 1 article [sw31905]
  • which show how to implement the procedure and interpret the results...
  • NOXclass

  • Referenced in 3 articles [sw35408]
  • cross-validation procedure. Conclusion: NOXclass allows the interpretation and analysis of protein quaternary structures...
  • STAMP

  • Referenced in 43 articles [sw09536]
  • user to concentrate on model selection and interpretation. STAMP 8 is an integrated part ... tool is SsfPack, which provides more general procedures for the programming interface...
  • funHDDC

  • Referenced in 20 articles [sw11130]
  • onto various situations. An estimation procedure based on the EM algorithm is proposed for determining ... step clustering methods while providing useful interpretations of the groups and avoiding the uneasy choice...