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.
3GPP LTE baseband simulator on Cell platform
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.
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.
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.
CartoReso intends to facilitate enterprise computer network mapping.
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
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 graphical tool to discover topics from collections of text documents.
Simulation platform for automated stock exchange trading. It delivers statistics to analyse performance on historic data and allows comparison between trading strategies, that can be coded in 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.
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 Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the discrete event calculus, a comprehensive and highly usable formalism for reasoning about action, change, space, and mental states.
Dynagraph is a cross-platform library and command-line tool for dynamically drawing graphs (networks, flowcharts, family trees, etc.) in reponse to continual modifications. Included are DynaDAG for directed graphs and FDP force-directed placement.
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.
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.
The Unstructured Information Management Architecture (UIMA) Framework is an open, scalable and extensible platform for building analytic solutions that process unstructured information to find latent meaning, relationships and relevant facts.
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).
Life Science Identifier (LSID) resolution protocol, to locate biologically significant data over a network, within middle-ware providing a client A.P.I. for Life Science applications, and server software, for Industry data providers.
Web-based software for submission and review of papers to academic conferences. Provides support for the entire life-cycle of the conference review process.
BrainBox is a simulation toolbox, similar to MatLab, that simulates physical and mathematical models remotely via WebServices. BrainBox provides a user interface to help create the diagrams and interact with the simulation results with a built-in languag
Fractal KISS means "keep fractals simple and sensible". The objective is to discover a "common-sense" understanding of fractals and their utility.
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.
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.
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.