Results 1 to 20 of 1367
Sort by:

  • ALGOL 60
  • Referenced in 666 articles [sw21807]
  • member of the ALGOL family of computer programming languages. It followed on from ALGOL...

  • sn
  • Referenced in 339 articles [sw08059]
  • manipulate probability distributions of the skew-normal family and some related ones, notably the skew ... family, and provide related statistical methods for data fitting and diagnostics, in the univariate...

  • HOL Light
  • Referenced in 307 articles [sw06580]
  • original HOL system. Theorem provers in this family use a version of ML as both...

  • AUSM
  • Referenced in 297 articles [sw06367]
  • ideas and procedure to extend the AUSM-family schemes to solve flows at all speed...

  • gss
  • Referenced in 293 articles [sw06099]
  • Smoothing spline ANOVA models are a versatile family of smoothing methods derived through roughness penalties...

  • ACL2
  • Referenced in 283 articles [sw00060]
  • ACL2 is part of the Boyer-Moore family of provers...

  • fminsearch
  • Referenced in 271 articles [sw07467]
  • counterexample of McKinnon gives a family of strictly convex functions in two dimensions...

  • Bertini
  • Referenced in 250 articles [sw06683]
  • user defined homotopies. Implements parameter continuation for families of systems, such as the inverse kinematics...

  • PLTMG
  • Referenced in 215 articles [sw00717]
  • plane. It is based on a family of continuous Lagrange triangular finite elements. PLTMG features...

  • Agda
  • Referenced in 205 articles [sw09689]
  • typed functional programming language: It has inductive families, which are similar to Haskell’s GADTs...

  • JML
  • Referenced in 189 articles [sw04597]
  • model-based specification approach of the Larch family of interface specification languages, with some elements...

  • copula

  • Referenced in 167 articles [sw14499]
  • Archimedean, extreme value and some more copula families. Methods for density, distribution, random number generation...

  • Esterel
  • Referenced in 165 articles [sw20012]
  • state machines. It is one of a family of synchronous languages, like SyncCharts, Lustre, Argos...

  • AdaGrad
  • Referenced in 157 articles [sw22202]
  • stochastic optimization. We present a new family of subgradient methods that dynamically incorporate knowledge...

  • SOCS
  • Referenced in 146 articles [sw07737]
  • Control Software (SOCS). The Sparse Optimal Control Family, developed by The Boeing Company, contains...

  • Pfam
  • Referenced in 103 articles [sw23108]
  • services. Pfam is a database of protein families that currently contains 7973 entries (release ... Pfam has enabled the grouping of related families into clans. Pfam clans are described...

  • MIM
  • Referenced in 134 articles [sw26139]
  • graphical modelling, subsequent chapters describe particular families of models, including log-linear models, Gaussian models...

  • ELECTRE
  • Referenced in 128 articles [sw02971]
  • research in the field of ELECTRE family methods appeared. This research has been conducted...

  • LISP
  • Referenced in 126 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer programming languages with a long history...