
K2K
 Referenced in 5 articles
[sw07759]
 Computer aided knot theory using Mathematica and MathLink We introduce a computer tool called Knot2000 (K2K) which was developed for the purpose of supporting research ...

K3DSurf
 Referenced in 0 articles
[sw05678]
 K3DSurf is a program for visualizing and manipulating multidimensional surfaces by using Mathematical equations. It’s also a ”modeler” for POVRay in the area of parametric ...

KAAPI
 Referenced in 11 articles
[sw04991]
 KAAPI ”Kernel for Adaptative, Asynchronous Parallel and Interactive programming” is a C++ library that allows to execute fine/medium grain multithreaded computation with dynamic data flow ...

KADATH
 Referenced in 5 articles
[sw09575]
 KADATH: a spectral solver for theoretical physics. KADATH is a library that implements spectral methods in a very modular manner. It is designed to solve ...

KADDSTAT
 Referenced in 1 article
[sw13156]
 KADDSTAT: Statistical analysis plugin to Microsoft EXCEL. Version 5. 0. Kaddstat offers limited abilities for simple statistical tests and confidence interval calculations, control chart calculations, ...

KaFFPa
 Referenced in 5 articles
[sw06271]
 graph partitioners KaFFPa (Karlsruhe Fast Flow Partitioner)

KAIRUAIN
 Referenced in 1 article
[sw08218]
 KAIRUAINalgorithm applied on electromagnetic imaging. For timeharmonic Maxwell equations, we consider an inverse scattering problem for the 3D imaging of the constitutive material of an ...

KALA
 Referenced in 1 article
[sw02710]
 KALA: Kernel aspect language for advanced transactions. Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an ...

Kaleido
 Referenced in 7 articles
[sw05940]
 Uniform solution for uniform polyhedra. A uniform polyhedron in 3dimensional space has faces which are planar regular polygons (not necessarily convex), and finitely many vertices ...

Kalign
 Referenced in 6 articles
[sw13194]
 Kalign2: highperformance multiple alignment of protein and nucleotide sequences allowing external features. In the growing field of genomics, multiple alignment programs are confronted with ever ...

Kalman filter toolbox
 Referenced in 2 articles
[sw13082]
 Kalman filter toolbox for Matlab. This toolbox supports filtering, smoothing and parameter estimation (using EM) for Linear Dynamical Systems.

KALMTOOL
 Referenced in 1 article
[sw13081]
 The KALMTOOL toolbox is a set of MATLAB tools for state estimation for nonlinear systems. The toolbox contains functions for extended Kalman filtering as well ...

Kaluza
 Referenced in 1 article
[sw12036]
 Kaluza constraint solver. Kaluza is a solver for multiple string variables of bounded length. Kaluza constraints may contain word equations over string variables, membership in ...

KamaTzviot
 Referenced in 3 articles
[sw11423]
 KamaTzviot a Maple package for deriving generating functions for chromatic polynomials of sequences of grid graphs, and much more general creatures. It accompanies the article ...

kamila
 Referenced in 0 articles
[sw16426]
 R package kamila. Implements methods for clustering mixedtype data, specifically combinations of continuous and nominal data. Special attention is paid to the oftenoverlooked problem of ...

KamiWaAi
 Referenced in 10 articles
[sw01954]
 KamiWaAi  interactive 3D sketching with Java based on $Cl(4,1)$ conformal model of Euclidean space This paper introduces the new interactive Java sketching software KamiWaAi, ...

Kan
 Referenced in 40 articles
[sw04929]
 Kan/sm1 (19912003) is a system for computing in the ring of differential operators D (and difference operators, ...)

KANDIDATS
 Referenced in 1 article
[sw18430]
 KANDIDATS: an interactive image processing system. Computer Graphics and Image. KANDIDATS is a comprehensive digital image processing system that interacts with the user at a ...

KanGAL
 Referenced in 2 articles
[sw04160]
 Kanpur Genetic Algorithms Laboratory (KanGAL) is a research laboratory at Indian Institute of Technology Kanpur dedicated to pursuing research and industrial collaboration in the areas ...

Kangaroo
 Referenced in 2 articles
[sw13503]
 Kangaroo: An Efficient ConstraintBased Local Search System Using Lazy Propagation. In this paper, we introduce Kangaroo, a constraintbased local search system. While existing systems such ...