Search Results for "s-tools"

...Its primary focus in on the interpolation / regression technique known as kriging, which is very closely related to Splines and Radial Basis Functions, and can be interpreted as a non-parametric Bayesian method using a Gaussian Process (GP) prior. The STK also provides tools for the sequential and non-sequential design of experiments. Even though it is, currently, mostly geared towards the Design and Analysis of Computer Experiments (DACE), the STK can be useful for other applications areas (such as Geostatistics, Machine Learning, Non-parametric Regression, etc.).

Generic data-assimilation toolbox written in java, with native (c and fortran) libraries for high performance computing. Provides tools to couple to your own model and a wide range of algorithms, ranging from parameter calibration to Kalman filters.

Uranie is a sensitivity and uncertainty analysis plateform based on the ROOT framework (http://root.cern.ch) . It is developed at CEA, the French Atomic Energy Commission (http://www.cea.fr). It provides various tools for: - data analysis - sampling - statistical modeling - optimisation - sensitivity analysis - uncertainty analysis - running code on high performance computers - etc. Thanks to ROOT, it is easily scriptable in CINT (c++ like syntax) and Python. Is is available both for Unix and Windows platforms (a dedicated platform archive is available on request). ...

...lang=en. Read a full description at the TEI Tools wiki http://wiki.tei-c.org/index.php/TXM.

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

Fcalgs is a collection of standalone tools implementing algorithms for formal concept analysis.

...The first element consists of continuous piecewise linears with a cubic bubble function for the velocity field, and the second of continuous piecewise quadratics for the same. The pressure field is approximated via piecewise linears in both cases. Both stationary and time-dependent regimes supported. Elementary graphing tools are provided. GMRES and CG iterative algorithms are used for solving linear systems. Software "Triangle" is used for mesh generation.

Software for speech research. It includes programs and libraries for signal processing, along with general purpose scientific libraries. Most of the code is in Python, with C/C++ supporting code. Also, contains code releases corresponding to publishe

The Orientation Library is a collection of routines for rotation/orientation manipulation. It ranges from general tools to others for crystal orientations. It is written in C and is well-documented. An interactive program enables to run the routines.

This is a project for Andre to share CellML related tools he works on that other people might find useful.

An implementation of Dantzig-Wolfe decomposition built upon the GNU Linear Programming Kit. This is a command line tool for solving properly decomposed linear programs. There are several examples and some documentation to guide the use of this solver. Forked over to GitHub (see link).

For simulations or modeling studies of regulations, Automation or various phenomena, with parameters that may be random, interdependent variables without simple rules, etc.. It can also be used to study mathematical curves remarkable how 'pragmatic'. The claim of these tools is to facilitate the programming of simulations by providing routines to quickly generate: -display windows and input parameters -help to display the variation in the data as graphs -management of iterations Goal for the user: quickly programme his simulation. Requires knowledge of C language. Knowledge of gtk and cairo (for simple graphs) is not necessary. ...

A C++ library for the computation of bifurcation diagrams: it provides tools for the integration of systems of ODEs that depend on parameters. A Python interface is included.

A collection of compact, powerful programs and functions, written in C, for the analysis and transformation of data. No object or structure dependencies, no fancy interfaces - just good tools.

transpose is a fast and efficient command-line tool that transposes (the rows become the columns, the columns become the rows) or reshapes a matrix in plain text. Inputs and outputs can be files or streams.

A Python environment for large and sparse linear and nonlinear optimization using intuitive interfaces to linear algebra tools and subproblem solvers written in low-level languages. It provides building blocks to experiment with new ideas and algorithms.

Set of tools for algebraic derivative estimation, based on the work of Fliess and its collaborators.

The Vector Stream library and tools allow store/load vectors (C-language raw array, not in C++ STL) to a stream (file) in a text format with an information about the vectors. This information attached to the file greatly reduces loading cost of the file.

FElt is an open source system for finite element analysis, primarily for mechanical problems. FElt includes command line tools, an X11 interface for pre- and post-processing, and a Windows editor interface with some post-processing capabilities.

libit provides easy to use yet efficient tools for C for signal processing, coding, or scientific code in general. It includes basic vector, matrix and function types, some common source and channel coding tools such as quantization, entropy coding, etc.

Command line descriptive statistics tools

The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

This is a small and fast library and command-line tool for manipulation of logic/boolean-algebra expressions, including proofing and simplification. A front-end using tigcc for Texas Instruments calculators is planned, too.

Research code for continuous 3D medial modeling targeted towards anatomical objects. Includes an OpenGL viewer and individual and population-based model fitting tools.

Tools for working with Metamath proof databases. This project is a fork of Norm Megill's Proof Assistant, which you can find at http://us.metamath.org/ .