TOCSY - Toolboxes for Complex Systems: K2 - Dynamical Invariants by Recurrence Plots. Recurrence plots contain information about the dynamics of the system. It is ...
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 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 ”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 ...
KaBOB: ontology-based semantic integration of biomedical databases. BACKGROUND: The ability to query many independent biological databases using a common ontology-based semantic model would facilitate deeper ...
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: 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, ...
Kader - An R Package for Nonparametric Kernel Adjusted Density Estimation and Regression. In a series of three papers published from 2011 through 2013, Stute ...
KaHIP - Karlsruhe High Quality Partitioning - is a family of graph partitioning programs. It includes KaFFPa (Karlsruhe Fast Flow Partitioner), which is a multilevel ...
KaHyPar - Karlsruhe Hypergraph Partitioning. KaHyPar is a multilevel hypergraph partitioning framework for optimizing the cut- and the (λ − 1)-metric. It supports both recursive ...
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: Kernel aspect language for advanced transactions. Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an ...
The Kaldi Speech Recognition Toolkit. We describe the design of Kaldi, a free, open-source toolkit for speech recognition research. Kaldi provides a speech recognition system ...
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 ...
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 ...
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 constraint solver. Kaluza is a solver for multiple string variables of bounded length. Kaluza constraints may contain word equations over string variables, membership in ...
KAM -- a knowledge-based tool for developing computer algebra systems. The paper presents a description of KAM – a knowledge-based tool for building computer algebra ...
