• Figaro

  • Referenced in 11 articles [sw28902]
  • created by inheriting functionality from existing classes. Figaro provides a modular, compositional Metropolis-Hastings algorithm...
  • XMIPP

  • Referenced in 8 articles [sw21667]
  • addition, the package has been extended with functionalities for 2D crystal and electron tomography data ... with a highly modular design of well-documented data structures and functions, offers a convenient ... been re-engineered to maximize flexibility and modularity, potentially facilitating its integration in future standardization...
  • HIP

  • Referenced in 29 articles [sw09786]
  • systems are aimed at automatic verification of functional correctness of heap manipulating programs ... simple imperative language, able to modularly verify the specifications of heap-manipulating programs. The specification...
  • Arbogast

  • Referenced in 3 articles [sw26168]
  • higher order automatic differentiation for special functions with modular C. This high-level toolbox ... defined extension of the C programming language, Modular C, and places itself between tools that ... reinterpret it as a usual C function or as a differential operator. Because...
  • FormFlavor

  • Referenced in 3 articles [sw26666]
  • accurate current predictions. Using the functions and modular structure provided by FormFlavor, it is straightforward...
  • LambertW

  • Referenced in 13 articles [sw06066]
  • function ’scale’ but actually makes your data Gaussian. An optional modular toolkit implementation allows users...
  • MRST-AD

  • Referenced in 24 articles [sw25330]
  • reactive effects, and immediately benefit from existing functionality such as constrained-pressure-residual (CPR) type ... algebraic operations. We have implemented a modular, efficient framework for implementing and comparing different physical ... combining imperative and object-oriented paradigms with functional programming. The toolbox also offers additional features...
  • PYTHIA

  • Referenced in 29 articles [sw00747]
  • this issue, we created PYTHIA-II -- a modular framework and system which combines a general ... provide advice about scientific software/hardware artifacts. The functionality and effectiveness of the system is demonstrated...
  • xSPDE

  • Referenced in 1 article [sw20633]
  • many input parameters. The code calculates functional means, correlations and spectra, checks for errors ... including the numerical algorithm, have a modular functional design to allow user modifications...
  • ramarobinsids

  • Referenced in 1 article [sw28288]
  • Automatic Proof of Theta-Function Identities. This is a tutorial for using two new MAPLE ... identities using the valence formula for modular functions. We show how this package...
  • thetaids

  • Referenced in 1 article [sw28289]
  • Automatic Proof of Theta-Function Identities. This is a tutorial for using two new MAPLE ... identities using the valence formula for modular functions. We show how this package...
  • Supremica

  • Referenced in 19 articles [sw18546]
  • with a guard condition and an action function that updates automata variables. Supremica uses ... large state-spaces. The first approach exploits modularity in order to divide the original problem...
  • mlrMBO

  • Referenced in 9 articles [sw19214]
  • mlrMBO: A Modular Framework for Model-Based Optimization of Expensive Black-Box Functions. We present ... optimization by approximating the given objective function through a surrogate regression model. It is designed ... error-handling. mlrMBO is implemented in a modular fashion, such that single components...
  • XASM

  • Referenced in 7 articles [sw21003]
  • component-based modularization concept based on the notion of external functions as defined in ASMs...
  • DIMA

  • Referenced in 4 articles [sw26868]
  • their role as modular components carrying out specific functions they form a network based both...
  • Charon

  • Referenced in 20 articles [sw19755]
  • language, called Charon, is proposed for modular specification of interacting hybrid systems. For a hierarchical ... preemption, history retention, and externally defined Java functions, facilitate the description of complex discrete behaviour ... various levels of the hierarchy. The modular structure of the language is not merely syntactic...
  • Pluto

  • Referenced in 34 articles [sw09092]
  • dynamics. The code is designed with a modular and flexible structure whereby different numerical algorithms ... either static or adaptive. For the latter functionality, PLUTO relies on the Chombo library which...
  • TENSOLVE

  • Referenced in 29 articles [sw00956]
  • using tensor methods. This article describes a modular software package for solving systems of nonlinear ... medium-sized problems in iterations and function evaluations...
  • PUFKY

  • Referenced in 4 articles [sw12225]
  • fully functional PUF-based cryptographic key generator. We present PUFKY: a practical and modular design ... Physically Unclonable Function (PUF). A fully functional reference implementation is developed and successfully evaluated ... design’s modularity allows for rapid and scalable adaptations for other PUF implementations...
  • CASTEP

  • Referenced in 19 articles [sw18310]
  • CASTEP code. First-principles simulation, meaning density-functional theory calculations with plane waves and pseudopotentials ... been used in writing a completely new modular version of the CASTEP code...