• K2

  • Referenced in 35 articles [sw19597]
  • TOCSY - Toolboxes for Complex Systems: K2 - Dynamical Invariants by Recurrence Plots. Recurrence plots contain information about the dynamics of the system. It is ...
  • 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 POV-Ray 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 plug-in 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)
  • KaHIP

  • Referenced in 1 article [sw19376]
  • KaHIP - Karlsruhe High Quality Partitioning - is a family of graph partitioning programs. It includes KaFFPa (Karlsruhe Fast Flow Partitioner), which is a multilevel ...
  • KAIRUAIN

  • Referenced in 1 article [sw08218]
  • KAIRUAIN-algorithm applied on electromagnetic imaging. For time-harmonic 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 8 articles [sw05940]
  • Uniform solution for uniform polyhedra. A uniform polyhedron in 3-dimensional space has faces which are planar regular polygons (not necessarily convex), and finitely many vertices ...
  • Kalign

  • Referenced in 7 articles [sw13194]
  • Kalign2: high-performance 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 2 articles [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 mixed-type data, specifically combinations of continuous and nominal data. Special attention is paid to the often-overlooked 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 (1991--2003) 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 ...