• SparseMatrix

  • Referenced in 638 articles [sw04629]
  • optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical process simulation, mathematics...
  • LISREL

  • Referenced in 327 articles [sw06514]
  • software have become synonymous with structural equation modeling (SEM). SEM allows researchers in the social ... These theories are usually formulated as theoretical models for observed and latent (unobservable) variables ... observed variables of the theoretical model, the LISREL program can be used...
  • AdaBoost.MH

  • Referenced in 463 articles [sw08517]
  • decision-theoretic generalization of on-line learning and an application to boosting. In the first ... worst-case on-line framework. The model we study can be interpreted as a broad ... studied on-line prediction model to a general decision-theoretic setting. We show that ... Warmuth rule can be adapted to this model, yielding bounds that are slightly weaker...
  • MOD-DIST

  • Referenced in 240 articles [sw07504]
  • unique taxonomy of location problems and models is also presented. Featuring examples using the author ... book provides: -- A theoretical and applied perspective on location models and algorithms -- An intuitive presentation...
  • MENU-OKF

  • Referenced in 240 articles [sw07505]
  • unique taxonomy of location problems and models is also presented. Featuring examples using the author ... book provides: -- A theoretical and applied perspective on location models and algorithms -- An intuitive presentation...
  • SITATION

  • Referenced in 232 articles [sw07503]
  • unique taxonomy of location problems and models is also presented. Featuring examples using the author ... book provides: -- A theoretical and applied perspective on location models and algorithms -- An intuitive presentation...
  • swrl

  • Referenced in 48 articles [sw14002]
  • Lite sublanguages of OWL. A model-theoretic semantics is given to provide the formal meaning...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • equality. The language has a clean model-theoretic semantics, where the domains of the interpretations ... complete with respect to the model-theoretic one. Finally, an outermost strategy, more efficient than...
  • SimRank

  • Referenced in 38 articles [sw25278]
  • simple and intuitive graph-theoretic model. For a given domain, SimRank can be combined with...
  • DIMACS

  • Referenced in 530 articles [sw08221]
  • case analysis is overly pessimistic and probabilistic models are too unrealistic: experimentation can provide guides ... closer to the original problems that motivated theoretical work. It also tests many assumptions about...
  • ABLE

  • Referenced in 31 articles [sw12726]
  • Lanczos vectors. Each innovation is theoretically justified. Academic model problems and real application problems...
  • qpOASES

  • Referenced in 66 articles [sw05107]
  • several theoretical features that make it particularly suited for model predictive control (MPC) applications...
  • SOFTSUSY

  • Referenced in 79 articles [sw01415]
  • Supersymmetric Standard Model (MSSM). The program solves the renormalisation group equations with theoretical constraints...
  • GLOBALLib

  • Referenced in 30 articles [sw04653]
  • GLOBALLib is a collection of Nonlinear Programming models. The purpose of the collection ... varied set of both theoretical and practical test models...
  • booleannet

  • Referenced in 8 articles [sw22019]
  • from large scale data analyses to theoretical modeling. Within the theoretical models Boolean networks occupy...
  • CoolProp

  • Referenced in 10 articles [sw27300]
  • developed a number of empirical and theoretical models for the correlation and prediction...
  • semprop

  • Referenced in 17 articles [sw28383]
  • based on the caching of models, too. The theoretical effect of these improvements is illustrated...
  • IllinoisGRMHD

  • Referenced in 7 articles [sw13418]
  • Universe. Modeling these systems realistically is a central problem in theoretical astrophysics, but has proven ... robust and reliable tool for theoretical modeling of such GRMHD phenomena. However, the code...
  • Pi4U

  • Referenced in 7 articles [sw18320]
  • when applied to computationally demanding physical models. Theoretical and computational developments are demonstrated with applications...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • querying and manipulating XML data. The model-theoretic semantics of XPath-Logic serves...