• RelNN

  • Referenced in 7 articles [sw41817]
  • propagation is used for training these models. A modular, layer-wise architecture facilitates utilizing ... world datasets show that RelNNs are promising models for relational learning...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • high-level Petri net model called M-nets (for modular multilabelled nets). A distinctive feature...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • construction and analysis of PN models by sharing files. Using network file system capabilities, different ... machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • MOSES

  • Referenced in 4 articles [sw02590]
  • MOSES: Modular modelling of physical systems in an object-oriented database. The article describes MOSES...
  • MRST-AD

  • Referenced in 24 articles [sw25330]
  • practitioners can easily extend the black-oil model with new constitutive relationships, or additional features ... implemented a modular, efficient framework for implementing and comparing different physical models, discretizations, and solution...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • required to use the software as a modeling and solution reporting interface to standard matrix ... Mosel’s programming functionality. The open, modular design of Mosel makes it possible to extend ... problem decomposition and concurrent solving from a modeling point of view, with example implementations...
  • OpenGM

  • Referenced in 7 articles [sw21186]
  • operations of the model. OpenGM is modular and extendible. Elementary data types can be chosen...
  • MODFLOW

  • Referenced in 63 articles [sw08690]
  • three-dimensional (3D) finite-difference groundwater model. MODFLOW is considered an international standard for simulating ... when first published in 1984, MODFLOW’s modular structure has provided a robust framework...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • process, but certain classes of non-Markov models can still be solved numerically. Finally, since ... application tool, it is written in a modular way that allows for easy integration...
  • Quantum Espresso

  • Referenced in 54 articles [sw06129]
  • QUANTUM ESPRESSO: a modular and open-source software project for quantum simulations of materials. QUANTUM ... codes for electronic-structure calculations and materials modeling, based on density-functional theory, plane waves...
  • mlrMBO

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

  • Referenced in 3 articles [sw36474]
  • MAOOAM: Modular arbitrary-order ocean-atmosphere model. This paper describes a reduced-order quasi-geostrophic ... coupled ocean–atmosphere model that allows for an arbitrary number of atmospheric and oceanic modes ... spectral decomposition. The modularity of this new model allows one to easily modify ... model physics. Using this new model, coined the ”Modular Arbitrary-Order Ocean-Atmosphere Model” (MAOOAM...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • OMNeT++ is an extensible, modular, component-based C++ simulation library and framework, primarily for building ... wireless ad-hoc networks, Internet protocols, performance modeling, photonic networks, etc., is provided by model...
  • Figaro

  • Referenced in 11 articles [sw28902]
  • Figaro provides a modular, compositional Metropolis-Hastings algorithm, and gives the modeler optional control over...
  • FlexibleSUSY

  • Referenced in 8 articles [sw20846]
  • model specified by the user. The generated code is designed with both speed and modularity ... model, including loop-corrected pole masses, consistent with user specified boundary conditions. The modular structure ... alternative solvers and calculators are added. Predefined models include the MSSM, NMSSM, E6SSM, USSM...
  • COCONUT

  • Referenced in 40 articles [sw04760]
  • COCONUT Environment is a modular solver environment for nonlinear continuous global optimization problems with ... each other and independent of the internal model representation. It is a collection of open...
  • HIP

  • Referenced in 29 articles [sw09786]
  • simple imperative language, able to modularly verify the specifications of heap-manipulating programs. The specification ... allows user defined inductive predicates used to model complex data structures. Specifications can contain both...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at Microsoft Research. Our goal is to build ... This infrastructure includes novel algorithms, and a modular software architecture, to push the frontier...
  • Turing

  • Referenced in 4 articles [sw36553]
  • programming. Turing allows the user to write models using standard Julia syntax, and provides ... special focus on modularity, and decouples the modelling language (i.e. the compiler) and inference methods ... This modular design, together with the use of a high-level numerical language Julia, makes ... Turing particularly extensible: new model families and inference methods can be easily added...
  • ScicosLab

  • Referenced in 4 articles [sw04931]
  • provides a means for constructing modular and reusable models. This part contains a detailed description...