• GEX

  • Referenced in 35 articles [sw09961]
  • software for dynamic diagram drawing and automated geometry theorem proving and discovering. As a dynamic ... used to build dynamic visual models to assist teaching and learning of various mathematical ... concepts. As an automated reasoning software, we can build dynamic logic models which ... throerms. 2) By dynamic visual models, we mean models built by computer softwares that...
  • SATzilla

  • Referenced in 93 articles [sw06281]
  • instance basis. Building on previous work, we describe SATzilla, an automated approach for constructing ... that use so-called empirical hardness models to choose among their constituent solvers. This approach...
  • SWISS-MODEL

  • Referenced in 14 articles [sw17373]
  • most widely-used free web-based automated modeling facility today. In 2002 the server computed ... user requests for 3D protein models. SWISS-MODEL provides several levels of user interaction through ... sequence of a protein is submitted to build a 3D model ... Template selection, alignment and model building are done completely automated by the server...
  • RSMTool

  • Referenced in 2 articles [sw29014]
  • RSMTool: collection of tools building and evaluating automated scoring models. Automated scoring of written ... processing. Automated scoring engines employ machine learning models to predict scores for such responses based ... text/audio of these responses. Examples of automated scoring engines include Project Essay Grade for written ... commonly conducted when building and evaluating automated scoring models. The output of RSMTool...
  • Glmulti

  • Referenced in 13 articles [sw10544]
  • package for automated model selection and multi-model inference with glm and related functions. From ... explanatory variables, the provided function glmulti builds all possible unique models involving these variables...
  • Eureqa

  • Referenced in 2 articles [sw29487]
  • Powered Modeling Engine. Eureqa automates the process of model building and interpretation, enabling...
  • Zelig

  • Referenced in 9 articles [sw17526]
  • allows each individual package, for each statistical model, to be accessed by a common uniformly ... arguments. Moreover, Zelig automates all the surrounding building blocks of a statistical work-flow –procedures ... expected values) to interpret and visualize complex models...
  • AMESim

  • Referenced in 9 articles [sw13556]
  • plant model with a Simulink control system model. You can export from LMS Amesim into ... perform complex and automated pre- and post-processing or to build customized graphical interfaces...
  • ARENA

  • Referenced in 9 articles [sw08788]
  • software developed by Systems Modeling and acquired by Rockwell Automation in 2000.[1] It uses ... Arena, the user builds an experiment model by placing modules (boxes of different shapes) that ... real-life objects is subject to the modeler. Statistical data, such as cycle time ... Visual Basic for Applications so models can be further automated if specific algorithms are needed...
  • Clafer

  • Referenced in 2 articles [sw32317]
  • inheritance and feature modeling constructs. The semantics also enables building consistent automated reasoning support...
  • MaxSub

  • Referenced in 8 articles [sw35908]
  • MaxSub: an automated measure for the assessment of protein structure prediction quality. Results: MaxSub ... independently developed method that further builds and extends some of the evaluation methods introduced ... model. Because there exists no evaluation method for assessment measures of predicted models ... models and groups. Overall, the top six predicting groups ranked using the fully automated MaxSub...
  • ROSETTA

  • Referenced in 23 articles [sw10969]
  • sophisticated user-environment for empirical model construction, the design and implementation of a software toolkit ... class library provides a set of fundamental building blocks and the means to combine these ... testing of new algorithms and for partial automation of the overall KDD process. Various design...
  • DriveML

  • Referenced in 1 article [sw32864]
  • learning pipeline such as automated data preparation, feature engineering, model building and model explanation...
  • ESyPred3D

  • Referenced in 5 articles [sw16876]
  • template alignment, (3) model building and optimization, and (4) model evaluation. The target–template alignment ... present here ESyPred3D, a new automated homology modeling program. The method gets benefit ... programs. The final three-dimensional structure is build using the modeling package MODELLER. ESyPred3D...
  • Build-X

  • Referenced in 1 article [sw39496]
  • building, providing expert suggestions as to critical modeling decisions, and automations that increase the reliability ... analysis and accelerate the pre-processing stage. Build-X is linked with OpenSees, a widely ... generated, pointing to the way in which Build-X may serve as a useful tool ... designed buildings and the assessment of existing ones at reduced computational cost and modeling uncertainty...
  • TPOT

  • Referenced in 8 articles [sw18808]
  • learning (AutoML) researchers have begun building systems that automate the process of designing and optimizing ... series of feature preprocessors and machine learning models with the goal of maximizing classi cation...
  • GRACE

  • Referenced in 3 articles [sw11987]
  • describe the main building blocks of a generic automated package for the calculation of Feynman ... include the generation and creation of a model file, the graph generation, the symbolic calculation...
  • ASD Suite

  • Referenced in 1 article [sw13328]
  • model driven design, automated mathematical verification and code generation. It enables software engineers to build...
  • appaloosa

  • Referenced in 1 article [sw39369]
  • automates flare-finding in every Kepler light curves. It builds quiescent light curve models that...
  • Paramfit

  • Referenced in 1 article [sw35243]
  • part of the AmberTools software package that automates and extends this fitting process, allowing ... development of the Assisted Model Building with Energy Refinement Lipid14 force field...