Search Results for "decision support system"

REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the...

UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy.

A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata

Nebular is a fuzzy logic API written in Java. It is written in pure Java and comprehends fuzzy logic, fuzzy sets and operations, fuzzy control, decision support, type 2 fuzzy logic and type 2 fuzzy intervals.

talc is a terminal calculator designed with very large number support and a simple grammar. It is designed to be both scriptable and interactive.

Java library that implements linear algebra operations: matrix operations (addition, substraction, multiplication, transposing, determinant of matrix , inversion, rank of matrix); linear equations system solving.

The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.

Math.NET aims to provide a self contained clean framework for symbolic mathematical (Computer Algebra System) and numerical/scientific computations, including a parser and support for linear algebra, complex differential analysis, system solving and more

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.

FFFF is the fastest Win32/OSX/Linux/IRIX Mandelbrot generator. Features OpenGL, realtime zoom, SSE/AltiVec QuadPixel, SSE2/3DNow! DualPixel calc, FPU per pixel calc, GPU asm (Fragment/Vertex) calc, multiprocessor support, and benchmarking. Opt asm code!

A toolkit for processing and visualising sensor data in real time with support for use with embedded platforms.

This project aims to deliver a high-quality number base converter utility in Java. It will support decimal, binary, hexadecimal, octal, and a user specified base and convert between numbers of any base from 2 through 36.

Fractal Assistant is a pure Java fractal exploration utility. It is designed to be a user-friendly, highly configurable environment with support for pluggable module files.