
RelNN
 Referenced in 7 articles
[sw41817]
 propagation is used for training these models. A modular, layerwise architecture facilitates utilizing ... world datasets show that RelNNs are promising models for relational learning...

Mnets
 Referenced in 11 articles
[sw09132]
 highlevel Petri net model called Mnets (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 objectoriented database. The article describes MOSES...

MRSTAD
 Referenced in 24 articles
[sw25330]
 practitioners can easily extend the blackoil 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]
 threedimensional (3D) finitedifference 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 nonMarkov 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 opensource software project for quantum simulations of materials. QUANTUM ... codes for electronicstructure calculations and materials modeling, based on densityfunctional theory, plane waves...

mlrMBO
 Referenced in 9 articles
[sw19214]
 mlrMBO: A Modular Framework for ModelBased Optimization of Expensive BlackBox Functions. We present ... given objective function through a surrogate regression model. It is designed for both single ... errorhandling. mlrMBO is implemented in a modular fashion, such that single components...

MAOOAM
 Referenced in 3 articles
[sw36474]
 MAOOAM: Modular arbitraryorder oceanatmosphere model. This paper describes a reducedorder quasigeostrophic ... 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 ArbitraryOrder OceanAtmosphere Model” (MAOOAM...

OMNet++
 Referenced in 67 articles
[sw04170]
 OMNeT++ is an extensible, modular, componentbased C++ simulation library and framework, primarily for building ... wireless adhoc networks, Internet protocols, performance modeling, photonic networks, etc., is provided by model...

Figaro
 Referenced in 11 articles
[sw28902]
 Figaro provides a modular, compositional MetropolisHastings 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 loopcorrected 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 heapmanipulating 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 highlevel 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...