• 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...