
KernSmooth
 Referenced in 1018 articles
[sw04586]
 Kernel smoothing refers to a general methodology for recovery of the underlying structure in data ... comprehensive understanding of kernel smoothing, and hence smoothing problems in general. To describe the principles...

SimpleMKL
 Referenced in 69 articles
[sw12290]
 learning (MKL) aims at simultaneously learning a kernel and the associated predictor in supervised learning ... support vector machine, an efficient and general multiple kernel learning algorithm, based on semiinfinite...

seL4
 Referenced in 91 articles
[sw15222]
 seL4: formal verification of an OS kernel. Complete formal verification is the only known ... functional correctness of a complete, generalpurpose operatingsystem kernel. Functional correctness means here that...

G6K
 Referenced in 12 articles
[sw41341]
 General Sieve Kernel (G6K): G6K is a C++ and Python library that implements several Sieve ... Postlethwaite and Marc Stevens, The General Sieve Kernel and New Records in Lattice Reduction...

Aztec
 Referenced in 84 articles
[sw12817]
 generalized for parallel implementation and the library includes highly optimized matrixvector multiply kernels...

LSSVMlab
 Referenced in 26 articles
[sw07367]
 many other recent developments in kernel based methods in general. Originally, it has been introduced ... exploit primaldual interpretations. Links between kernel versions of classical pattern recognition algorithms such...

Palabos
 Referenced in 31 articles
[sw06451]
 framework for generalpurpose computational fluid dynamics (CFD), with a kernel based on the lattice...

CTF
 Referenced in 8 articles
[sw25687]
 communication volume. CTF employs a general redistribution kernel, which transposes tensors of any dimension between ... userlevel interface elegantly expresses arbitrarydimensional generalized tensor contractions in the form...

CRKSPH
 Referenced in 12 articles
[sw41141]
 fact the RK kernels are not, in general, spatially symmetric. Here, we utilize a reformulation ... rigorously conserved without any assumption about kernel symmetries, while additionally maintaining approximate angular momentum conservation...

r3d
 Referenced in 13 articles
[sw18088]
 This software forms the kernel for an exact general remeshing scheme. Also includes physically conservative...

SpicyMKL
 Referenced in 9 articles
[sw14765]
 multiple kernel learning (MKL) called SpicyMKL, which is applicable to general convex loss functions ... general types of regularization. The proposed SpicyMKL iteratively solves smooth minimization problems. Thus, there ... roughly proportional to the number of active kernels. Therefore, when we aim for a sparse ... against increasing number of kernels. Moreover, we give a general blocknorm formulation...

SHOGUN
 Referenced in 104 articles
[sw03517]
 support vector machines, hidden Markov models, multiple kernel learning, linear discriminant analysis, and more. Most ... code is freely available under the GNU General Public License, Version 3 at http://www.shoguntoolbox.org...

CertiKOS
 Referenced in 8 articles
[sw21503]
 contextual) functional correctness in Coq. Our certified kernel is written in 6500 lines ... functional correctness of a complete, generalpurpose concurrent OS kernel with finegrained locking...

TRIP
 Referenced in 20 articles
[sw05726]
 general computer algebra system dedicated to celestial mechanics. It includes a numerical kernel...

BLIS
 Referenced in 17 articles
[sw13858]
 similar insights, BLIS reduces the necessary kernels to what we believe is the simplest ... community demands. Higherlevel framework code is generalized and implemented in ISO C99 so that ... little to no modification. Inserting highperformance kernels into the framework facilitates the immediate optimization ... which are cast in terms of these kernels, and thus the framework acts...

ROMS
 Referenced in 35 articles
[sw30140]
 Ocean Modeling System, a member of a general class of threedimensional, freesurface, terrain ... models. Noteworthy characteristics of the ROMS computational kernel include: consistent temporal averaging of the barotropic...

KDE Toolbox
 Referenced in 7 articles
[sw20503]
 class is a general matlab class for kdimensional kernel density estimation. It is written...

GWmodel
 Referenced in 6 articles
[sw08531]
 discriminant analysis; and (v) enhanced kernel bandwidth selection procedures. General Election data sets from...

FEtk
 Referenced in 6 articles
[sw10502]
 display tool (SG), a general nonlinear finite element modeling kernel (MC), and a MATLAB toolkit...

LaplaceInterpolation.jl
 Referenced in 1 article
[sw41226]
 three dimensional grid. Matern kernels generalize the radial basis function approach to interpolation, but interpolation...