• mlrMBO

  • Referenced in 9 articles [sw19214]
  • flexible and comprehensive R toolbox for model-based optimization (MBO), also known as Bayesian optimization ... function through a surrogate regression model. It is designed for both single- and multi-objective...
  • KmL

  • Referenced in 12 articles [sw11098]
  • over existing procedures is that it is designed to work specifically on longitudinal data. This ... also remarked that KmL is not model-based, which can be an advantage (nonparametric, more...
  • Horizon

  • Referenced in 6 articles [sw31157]
  • fast prototyping and experimentation, Horizon is designed with production use cases as top of mind ... policy evaluation, optimized serving, and a model-based data understanding tool. We also showcase...
  • DyGloSA

  • Referenced in 1 article [sw32749]
  • automatized tool for model-based prediction of critical transitions led to designing DyGloSA – a MATLAB...
  • cubremot

  • Referenced in 2 articles [sw37407]
  • trees for ordinal responses in the model-based framework. We consider the class ... particularly appropriate to model perceptions and evaluations, as it designs the response process...
  • VERIFAI

  • Referenced in 2 articles [sw32550]
  • VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial ... components, including those based on neural networks, and to model and analyze system behavior ... models and specifications. Several use cases are illustrated with examples, including temporal-logic falsification, model...
  • ChemoSpec

  • Referenced in 1 article [sw15966]
  • principal components analysis (PCA) and model-based clustering. Robust methods appropriate for this type ... high-dimensional data are available. ChemoSpec is designed with metabolomics data sets in mind, where...
  • PLASQ

  • Referenced in 6 articles [sw18746]
  • PLASQ: A generalized linear model-based procedure to determine allelic dosage in cancer cells from ... data. Our approach is based upon a generalized linear model that takes advantage ... model to the data using an expectation-maximization algorithm designed for the purpose. We demonstrate...
  • DTRON

  • Referenced in 0 articles [sw23642]
  • DTRON: a tool for distributed model-based testing of time critical applications. Cyber-Physical Systems ... industrial automation. Governing the complexity and design correctness issues of CPS software requires methodologies ... present DTRON, a framework for model-based testing that addresses the issues of distributed execution ... real-time constraints imposed by the design of networked CPS. DTRON extends the Uppaal model...
  • Capella

  • Referenced in 1 article [sw19234]
  • guidance relying on Arcadia, a comprehensive model-based engineering method. The Capella workbench ... quality. Intuitive model editing and viewing capabilities help engineers focus on the design and description...
  • HFGT

  • Referenced in 1 article [sw33976]
  • called systems-of-systems. The analysis, design, planning, and operation of these engineering systems from ... ever-more sophisticated modeling techniques. Despite significant advancements in model-based systems engineering and network...
  • dfcomb

  • Referenced in 0 articles [sw18954]
  • growing, but the implementation of existing model-based methods is complex, so this package should ... promote the use of innovative adaptive designs for early phases combination trials...
  • migrateR

  • Referenced in 1 article [sw27353]
  • migrateR: migrateR provides a framework for model-based quantification and classification of animal movement ... package focuses on fitting non-linear movement models to animal location data. The remaining suite ... movement models. Currently migrateR allows implementation of two families of movement models, based on elevation ... Squared Displacement (NSD), respectively. Although designed with the addition of future model families in mind...
  • ArgoSPE

  • Referenced in 1 article [sw02016]
  • ArgoSPE: Model-based software performance engineering Stochastic Petri nets (SPNs) have been proved useful ... diagrams into SPN models. Therefore, ArgoSPE prevents software engineers to model with SPN since they ... product of their UML models. The design of the tool follows the architecture proposed...
  • phyclust

  • Referenced in 1 article [sw15971]
  • evolutionary Continuous Time Markov Chain model-based approach to identify population structure from molecular data ... sequences representative of those subpopulations. It is designed in C for performance, interfaced with...
  • DeepStellar

  • Referenced in 1 article [sw41843]
  • DeepStellar: model-based quantitative analysis of stateful deep learning systems. Deep Learning (DL) has achieved ... done on the Recurrent Neural Network (RNN)-based stateful DL systems, which are widely used ... quantitative analysis of RNN-based DL systems. We model RNN as an abstract state transition ... characterize its internal behaviors. Based on the abstract model, we design two trace similarity metrics...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • jETI

  • Referenced in 15 articles [sw00471]
  • We present jETI, a redesign of the Electronic...