• KernSmooth

  • Referenced in 1018 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 264 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 402 articles [sw00118]
  • objects and predicates are regrouped in CGAL Kernels. Finally, the Support Library offers geometric object...
  • FORM

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

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

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

  • Referenced in 91 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 106 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...
  • Esterel

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

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

  • Referenced in 106 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 103 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 143 articles [sw04429]
  • space statistics, Fry plots, pair correlation function, kernel smoothed intensity, relative risk estimation with cross...
  • GaussQR

  • Referenced in 100 articles [sw28260]
  • both to facilitate experimentation with positive definite kernels (radial basis functions) and as supplemental content ... book Kernel-Based Approximation Methods in MATLAB available from World Scientific Press. Although...
  • SimpleMKL

  • Referenced in 69 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...
  • Plural

  • Referenced in 88 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...
  • KPCA plus LDA

  • Referenced in 70 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...
  • KLAIM

  • Referenced in 72 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...
  • CASA

  • Referenced in 111 articles [sw00108]
  • Winkler. The system is built on the kernel of the widely used computer algebra system...