Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
CartoReso intends to facilitate enterprise computer network mapping.
Description and detailed explanation on Fourier Transform, some FFT, LPC etc. Runable project demonstrates DCT transform on continuous audio, show and edit audio source with different zooming and view.
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
The IPDR.org reference libraries encode and decode IPDR usage documents in either XML or the binary format. Libraries are available in C and Java.
The bandit project is a repository of the various known algorithmic solutions for the multi-armed bandit problem. The project is also a repository of several datasets that could be used for benchmarking purposes.
OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.
AGTK is a suite of software components for building tools for annotating linguistic signals, time-series data which documents any kind of linguistic behavior (e.g. audio, video). The internal data structures are based on annotation graphs.
GNUEA stand for GNU Universal Expert Advisor. Used in MetaTrader platform as an Automatic Trading System. With GNUEA, we can use every default MetaTrader's indicators as automatic enter and exit trading strategy. For forex (or other futures market).
BANNER is a named entity recognition system intended primarily for biomedical text. It uses conditional random fields as the primary recognition engine and includes a wide survey of the best techniques described in recent literature.
Major looseless compression algorithms library and documentation. First project: Arithmetic, Huffman, LZ77, LZ78, LZW, RLE. Second project reimplements Deflate. Documentation explains major Entropy Compression Methods.
A deterministic pandemic influenza simulator. Computes the effect of interventions like antiviral treatment of cases and social distancing. To be used for pandemic preparedness planning by health care offices. OS-independent Java/SWT/RCP/Applet.
Generates prime numbers. This program finds primes by checking to see if the modulus of the current number is equal to 0 for any previously found primes up unitl the square root of the number.
This software gives you at the moment what means any of that blood or urine analyses you do by telling what diseases are associated to high or low values. It's only for educational purposes!
ADOL-Py is a python extension to the ADOL-C automatic differentiation library.
This package is a collection of all Celestia add-ons required to work with the scripts available at cielespace.org website.
GrALoG is a tool for editing and visualising graph-like-structures and the results of algorithms running on them. Through it's plugins GrALoG is hugely extendable, i.e. plugin-developers can define their own graph-like structures and algorithms.
Info Sapient will be an Open Source, Common License 0.5, 100% Pure Java based program that is a mechanism for the expression and execution of business rules.
Refal.NET - Versatile, Compact yet Powfull Text Transformer and Compiler-Writing System. Based on Refal.NET Virtual Machine (+Refal.NET Compiler), this RAD-tool might be used for rapid prototyping, decreasing up to 10 times development efforts.
Java-based implementation of the Optimization Programming Language.
Computational implementation of 3D shape grammar for AutoCAD. For creation and use of shape grammars, with canonical shape representation, instance matching with shape emergence, full grammar rules derivation.
APLEpy stands for Algebraic Programming Language Extension for Python. It is an open source alternative to commercial products such as AMPL and GAMS. It offers the same high level of abstraction while keeping the advantages of using Python environment.
A tool to extract BHPS individuals with ANY variable form ANY wave (1991-2003). It create lifepaths, for further research.
bioviz (with a z) replaces biovis (with an s) See http://www.bioviz.org for details on the Bioviz project.
Broccoli contains: -real and complex numbers,vectors,matrices,functions,polynomials -function minimizers,evolutionary algorithms,neural networks -pdfs,cdfs,max-likelihood,regression,DGPs,PRNGs,armax,garch,statistical estimation etc. -friendly JavaSwingGUI