
spatstat
 Referenced in 140 articles
[sw04429]
 space statistics, Fry plots, pair correlation function, kernel smoothed intensity, relative risk estimation with cross...

seL4
 Referenced in 90 articles
[sw15222]
 seL4: formal verification of an OS kernel. Complete formal verification is the only known ... this is the first formal proof of functional correctness ... complete, generalpurpose operatingsystem kernel. Functional correctness means here that the implementation always strictly ... follows our highlevel abstract specification of kernel behaviour. This encompasses traditional design and implementation...

GaussQR
 Referenced in 98 articles
[sw28260]
 facilitate experimentation with positive definite kernels (radial basis functions) and as supplemental content...

CGAL
 Referenced in 394 articles
[sw00118]
 CGAL Kernels. Finally, the Support Library offers geometric object generators and spatial sorting functions...

Plural
 Referenced in 86 articles
[sw00719]
 efficient computations with polynomials. Plural is a (kernel) extension of Singular to noncommutative polynomial rings ... There are many advanced functions, available both in the kernel and via the thirdparty...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 KernelLEAF: A logic plus functional language. KernelLEAF is a logic plus functional language...

Algorithm 876
 Referenced in 13 articles
[sw12906]
 specified, modest accuracy. The kernel function K(s,t) is to be moderately smooth ... interval is finite, Fie provides for kernel functions that behave in a variety of ways ... integral equations with moderately smooth kernel function...

Pegasos
 Referenced in 103 articles
[sw08752]
 linear kernels while working solely on the primal objective function, though in this case...

kerdiest
 Referenced in 12 articles
[sw11983]
 package kerdiest: Nonparametric kernel estimation of the distribution function ... Bandwidth selection and estimation of related functions. Nonparametric kernel distribution function estimation is performed. Three ... automatic bandwidth selection methods for nonparametric kernel distribution function estimation are implemented: the plug...

Forgetron
 Referenced in 14 articles
[sw23913]
 used in conjunction with kernel functions. However, a common difficulty encountered when implementing kernelbased...

ASKIT
 Referenced in 11 articles
[sw17470]
 data, the ability to approximate kernel functions with no prior information on the kernel...

CertiKOS
 Referenced in 8 articles
[sw21503]
 strong contextual refinement property for every kernel function, which states that the implementation of each ... such function will behave like its specification under any kernel/user context with any valid interleaving ... practical concurrent OS kernel and verified its (contextual) functional correctness in Coq. Our certified kernel ... proof of functional correctness of a complete, generalpurpose concurrent OS kernel with finegrained...

MKL
 Referenced in 147 articles
[sw06975]
 Intel® Math Kernel Library (Intel® MKL) 11.0 includes a wealth of routines to accelerate application ... these readytouse, royaltyfree functions, you’ll not only have more time...

ks
 Referenced in 48 articles
[sw08013]
 Kernel Smoothing: Kernel smoothers for univariate and multivariate data, including density functions, density derivatives, cumulative...

SVM Toolbox
 Referenced in 9 articles
[sw14742]
 means that you can supply bespoke kernel functions for particular applications, but will in future...

pdfCluster
 Referenced in 21 articles
[sw14640]
 analysis via nonparametric density estimation. Operationally, the kernel method is used throughout to estimate ... estimate the probability density function obtained by the kernel method, given a set of data...

SUIF
 Referenced in 27 articles
[sw08807]
 kernel. The kernel defines the intermediate representation, provides functions to access and manipulate the intermediate...

ClusterKDE
 Referenced in 4 articles
[sw36221]
 obtained by minimizing a smooth kernel function. Although in our applications we have used ... univariate Gaussian kernel, any smooth kernel function can be used. The proposed algorithm...

NESToolbox
 Referenced in 7 articles
[sw19592]
 center of the toolbox are the functions for linear and nonlinear similarity estimation for irregular ... series, which are based on Gaussiankernel weight functions. Crosscorrelation estimation ... function similarity.m makes alternative approaches such as the Gaussiankernelbased cross correlation ... nonlinear Gaussiankernelbased mutual information [2] or the Event Synchronization function [3] available under...

RKPM2D
 Referenced in 8 articles
[sw38411]
 RKPM2D for solving PDEs under the reproducing kernel particle method (RKPM)based meshfree computational framework ... ability to embed physicsbased enrichment functions, among others, which make RKPM promising for solving ... diagram partitioning, boundary condition specification, reproducing kernel shape function generation, domain integrations with stabilization ... RKPM is given, such as the reproducing kernel approximation, weak form using Nitsche’s method...