Search Results for "automatic" - Page 2

A Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.

ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina

...In other words, ivl allows writing simpler and more expressive statements using math-like formulas while taking care of optimizing them. ivl features arrays, tuples and custom function-like objects with left-right overloading, function pipelining and function vectorization, automatic lazy evaluation, sub-arrays and other views of a single or multidimensional arrays, stl-compatible iterators, multidimensional iterators and multithreading. ivl includes a rich set of functions and operators, including operations for image processing. Seperate modules are also included. The module ivl-lina implements a linear algebra LAPACK wrapper. ...

Statistics modules in Perl Data Language, with a quick-start guide for non-PDL people. They make the PDL shell work like R, but with PDL threading (fast automatic iteration) of procedures including t-test, linear regression, and k-means clustering.

QtoNum is a calculator for qualitative values (-, +), intervals and crisp numbers with arbitrary precision. QtoNum also handles infinitesimals and infinites. All these types can be mixed in expressions and conversions are performed automatically. QtoNum can be used as an interactive calculator (command line) and as a calculus library.

GPDC is a C file to compute partial derivatives of a gravity potential up to any order by means of an automatic differentiation method.

A 2-D inviscid flow and adjoint solver on unstructured triangular grids. It makes use of a vertex-centroid finite volume scheme which is second order accurate. The adjoint solver is developed using the automatic differentiation tool called TAPENADE. Code has been moved to https://github.com/cpraveen/euler2d

Tailorshop: Optimization based Analysis and data Generation tOol. Support tool for the computer test scenario "Tailorshop" that is the basis for many psychological studies. Data can be generated, visualized, and provided to optimization solvers.

Tiny Calculator is a command line calculator for developers. It can resolve a complex expression mixing decimal, esadecimal an binary number. The result is automatic converted in decimal, esadecimal ad binary format.

Clausula is an Automatic Clause Deductor licensed under the GNU GPL. From a set of clauses, this software can determinate whether or not the set is satisfacible. Clausula has been designed for educational purposes, specially for Logic degree curses.

A C++ utility library featuring a javascript interpreter, regular expressions, automatic arrays, garbage collection, matrix handling, planar geometry (regions etc) and other useful features. Blends well with STL code.

JavaANPR is an automatic number plate recognition software, which implements algorithmic and mathematical principles from field of artificial intelligence, machine vision and neural networks.

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.

Multired is middleware for automatic dynamic generation of multi-resolution representations for large spatio-temporal databases. It also provides an API which uses the middleware to support user-guided navigation of spatiotemporal data.

A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.

An automatic 2D Delaunay mesh generator and solver for Finite Element Analysis. Can solve 2D field problems (Poisson and Helmholtz Equations). Can use LAPACK/ARPACK solvers producing OpenGL/Postscript output. Uses C/GTK/GTKGLExt/MFC. Runs on Win32/Unix.

mupacs is a lisp mode for editing MuPAD code (automatic indentation, fontification, ...), as well as running MuPAD in a subshell, with support for debugger and online documentation

FLPD is an automatic learning system based on fuzzy prototypes, composed of a C++ library for machine learning and fuzzy logic and an experimentation framework.

ADMC++ -- An Automatic Differentiation Package for MATLAB and C++ ADMC++ is an automatic differentiation package designed for MATLAB and C++. Automatic differentiation is a technique for computing derivatives of functions.

Statastizard(c)2012 Nick Emblow is a program designed to guide its user into the right statistical test, perform the test, and report the results in a meaningful way. The idea of this is that the user won't actually need to know that they are using a mann-whitney U over a t-test, for example - it just tests for normality and homoscedastic of variance, and decides which test to use, then reports the results. Why? Because time after time, people come to me with some test that they've...