• CPLEX

  • Referenced in 2804 articles [sw04082]
  • ILOG® CPLEX® offers C, C++, Java, .NET, and Python libraries that solve linear programming...
  • glmnet

  • Referenced in 634 articles [sw08159]
  • package glmnet: Lasso and elastic-net regularized generalized linear models. Extremely efficient procedures for fitting ... entire lasso or elastic-net regularization path for linear regression, logistic and multinomial regression models...
  • darch

  • Referenced in 321 articles [sw11086]
  • available under Matlab Code for deep belief nets : last visit: 01.08.2013). This package ... fast learning algorithm for deep belief nets” (G. E. Hinton, S. Osindero...
  • CP-nets

  • Referenced in 138 articles [sw01374]
  • nets (Condition Preference Nets) is a tool for representing and reasoning with condition ceteris paribus ... some notions and an example of CP-nets, we mainly introduce the realization ... class of binary-valued, tree-structured CP-nets, which is conducted on the basis ... chain CP-nets. So we explain how to divide a tree-structured CP-net into...
  • U-Net

  • Referenced in 132 articles [sw33176]
  • Net: Convolutional networks for biomedical image segmentation. There is large consent that successful training...
  • PDE-Net

  • Referenced in 91 articles [sw36963]
  • Net: Learning PDEs from Data. In this paper, we present an initial attempt to learn ... feed-forward deep network, called PDE-Net, to fulfill two objectives at the same time ... basic idea of the proposed PDE-Net is to learn differential operators by learning convolution ... special feature of the proposed PDE-Net is that all filters are properly constrained, which...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • before committing to a particular behavior. The net effect is that programs may be written...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • description program an Interpreted Petri Net representing it and evaluating each formula of the specifications...
  • DiffSharp

  • Referenced in 95 articles [sw16033]
  • other languages running on Mono, .NET Core, or the .Net Framework, targeting...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • distributed systems using Generalized Stochastic Petri Nets and their colored extension: Stochastic Well-formed Nets ... friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis...
  • TINA

  • Referenced in 47 articles [sw03280]
  • construction of abstract state spaces for Petri nets and time Petri nets. In addition ... representations for the behaviour of Petri nets or Time Petri nets. Various techniques are used ... extract views of the behaviour of nets, preserving certain classes of properties of their state ... spaces. For Petri nets, these abstractions help prevent combinatorial explosion, relying on so-called partial...
  • Visual C++

  • Referenced in 87 articles [sw03519]
  • DirectX API, and the Microsoft .NET Framework. Many applications require redistributable Visual C++ packages...
  • covTest

  • Referenced in 85 articles [sw19129]
  • with LARS (lasso) for linear models, elastic net, binomial and Cox survival model...
  • YAWL

  • Referenced in 61 articles [sw04388]
  • language / workflow management system based on Petri nets and a rigorous analysis of existing workflow ... Unlike traditional systems and (high-level) Petri nets it provides direct support for most...
  • AsmL

  • Referenced in 45 articles [sw11363]
  • fully integrated into the Microsoft .NET environment: AsmL models can interoperate with any other ... NET assembly, no matter what source language it is written in. AsmL uses ... Gurevich. The current version, AsmL for Microsoft .NET, is embedded into Microsoft Word. It uses ... specifications. It is fully interoperable with other .NET languages. AsmL generates .NET assemblies which...
  • PostgreSQL

  • Referenced in 79 articles [sw15935]
  • native programming interfaces for C/C++, Java, .Net, Perl, Python, Ruby, Tcl, ODBC, among others...
  • SPNP

  • Referenced in 49 articles [sw07933]
  • SPNP: Stochastic Petri Nets. The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling ... tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described...
  • WOA

  • Referenced in 74 articles [sw41900]
  • search for prey, encircling prey, and bubble-net foraging behavior of humpback whales...