• KernSmooth

  • Referenced in 905 articles [sw04586]
  • Kernel smoothing refers to a general methodology for recovery of the underlying structure in data ... skills required for a comprehensive understanding of kernel smoothing, and hence smoothing problems in general ... describe the principles, applications and analysis of kernel smoothers the authors concentrate on the simplest ... amount of research in the field of kernel smoothing. But the bibliographical notes...
  • VAMPIRE

  • Referenced in 233 articles [sw02918]
  • consists of a shell and a kernel. The kernel implements the calculi of ordered binary ... checks of ordering constraints. Although the kernel of the system works only with clausal normal ... transformations before passing the result to the kernel. When a theorem is proved, the system...
  • CGAL

  • Referenced in 348 articles [sw00118]
  • objects and predicates are regrouped in CGAL Kernels. Finally, the Support Library offers geometric object...
  • FORM

  • Referenced in 310 articles [sw09051]
  • very small memory footprint. Also supports multiple kernels (see TFORM) and distributed computations...
  • HOL Light

  • Referenced in 288 articles [sw06580]
  • simple design and extremely small logical kernel. Despite this, it provides powerful proof tools...
  • ATLAS

  • Referenced in 195 articles [sw00056]
  • widely used, performance-critical, linear algebra kernel library...
  • Esterel

  • Referenced in 162 articles [sw20012]
  • code to be embedded as a reactive kernel in a larger program that handles...
  • seL4

  • Referenced in 80 articles [sw15222]
  • seL4: formal verification of an OS kernel. Complete formal verification is the only known ... complete, general-purpose operating-system kernel. Functional correctness means here that the implementation always strictly ... follows our high-level abstract specification of kernel behaviour. This encompasses traditional design and implementation ... safety properties such as the kernel will never crash, and it will never perform...
  • Kernlab

  • Referenced in 86 articles [sw07926]
  • package kernlab: Kernel-based Machine Learning Lab. Kernel-based machine learning methods for classification, regression ... kernlab includes Support Vector Machines, Spectral Clustering, Kernel PCA, Gaussian Processes and a QP solver...
  • Pegasos

  • Referenced in 93 articles [sw08752]
  • regularization parameter of SVM. For a linear kernel, the total run-time of our method ... approach also extends to non-linear kernels while working solely on the primal objective function...
  • np

  • Referenced in 90 articles [sw10543]
  • implements a variety of nonparametric and semiparametric kernel-based estimators that are popular among econometricians ... among others. The np package focuses on kernel methods appropriate for the mix of continuous...
  • spatstat

  • Referenced in 124 articles [sw04429]
  • space statistics, Fry plots, pair correlation function, kernel smoothed intensity, relative risk estimation with cross...
  • KPCA plus LDA

  • Referenced in 69 articles [sw08766]
  • KPCA plus LDA: a complete kernel Fisher discriminant framework for feature extraction and recognition. This ... paper examines the theory of kernel Fisher discriminant analysis (KFD) in a Hilbert space ... develops a two-phase KFD framework, i.e., kernel principal component analysis (KPCA) plus Fisher linear ... this framework, the authors propose a complete kernel Fisher discriminant analysis (CKFD) algorithm. CKFD...
  • SimpleMKL

  • Referenced in 61 articles [sw12290]
  • SimpleMKL. Multiple kernel learning (MKL) aims at simultaneously learning a kernel and the associated predictor ... vector machine, an efficient and general multiple kernel learning algorithm, based on semi-infinite linear ... constraint on the weights that encourages sparse kernel combinations. Apart from learning the combination ... standard SVM optimization problem, where the kernel is defined as a linear combination of multiple...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • KLAIM: a kernel language for agents interaction and mobility. We investigate the issue of designing ... kernel programming language for mobile computing and describe KLAIM, a language that supports a programming ... paradigms can be naturally implemented in our kernel language. We also present a prototype implementation...
  • MKL

  • Referenced in 113 articles [sw06975]
  • Intel® Math Kernel Library (Intel® MKL) 11.0 includes a wealth of routines to accelerate application...
  • Plural

  • Referenced in 78 articles [sw00719]
  • efficient computations with polynomials. Plural is a (kernel) extension of Singular to noncommutative polynomial rings ... many advanced functions, available both in the kernel and via the third-party libraries...
  • OSL

  • Referenced in 104 articles [sw09295]
  • class of methods uses quite different computational kernels than the traditional simplex method. In particular...
  • SHOGUN

  • Referenced in 97 articles [sw03517]
  • support vector machines, hidden Markov models, multiple kernel learning, linear discriminant analysis, and more. Most...