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.
FlexWiki is a collaborative web-based authoring environment implemented on the Microsoft .NET platform.
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.
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.
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.
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
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.
An assessmemt tool of sequence repeats for short read sequencing.
Java-based implementation of the Optimization Programming Language.
GeneaPro is a multi-user, cross-platform Genealogy database program based on the GenTech Genealogical Data Model. Written in Java using the Eclipse Rich Client Platform (RCP), Hibernate persistance, and SQL/JDBC databases (HSQLDB, MySQL, PostgreSQL).
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.
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.
PROJECT DEVELOPMENT MOVED TO GITHUB! EmoFilt enables the free-for-non-commercial-use speech synthesis engine MBROLA to sound emotional by manipulating the phonetic description. It does so by modifying melody and rhythm of the speech, matching a target emotion. It is available for 34 languag
An easy-to-use free-fall calculator that calculates terminal velocity and vacuum calculations in BOTH Metric and English units. Simple variables like time, mass, distance, and velocity are all that's needed for the calculations.
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.
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.
Jastor is a Java code generator that generates Beans from Web Ontologies (OWL) enabling convenient, type safe access and eventing of RDF stored in a Jena model. Jastor uses Eclipses Java Emitter Templates (JET).
Jikes RVM is a flexible infrastructure for virtual machine research
Jikes RVM (Research Virtual Machine) provides a flexible open testbed to prototype virtual machine technologies and experiment with a large variety of design alternatives. Jikes RVM runs on many platforms and advances the state-of-the-art of virtual machine technologies for dynamic compilation, adaptive optimization, garbage collection, thread scheduling, and synchronization. It is self-hosted, i.e. its Java code runs on itself without requiring a second virtual machine. Most other virtual machines for the Java platform are written in native code (typically C or C++). A Java implementation provides ease of portability and a seamless integration of virtual machine and application resources such as objects, threads, and operating-system interfaces.
A Java tool for mining pathway mentions from literature
PathNER is a tool for the identification of specific pathway mentions from biomedical literature. PathNER is built upon the GATE embedded framework.It's based on soft dictionary matching and rules-based detection. The dictionary is generated from ConsensusPathDB and Pathway Ontology and the rules are implemented in JAPE. Using PathNER, you can identify all occurrences of informative pathway names (e.g. 'the Wnt pathway'). PathNER can be used to assist studies that aim at uncovering associations between disease and pathways.
Multifario is a C API for computing manifolds. The manifold is represented as an atlas of charts whose domains are balls. Multifario can compute implicitly defined manifolds and invariant manifolds. Keywords: Continuation, Bifurcation.
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.
ADOL-Py is a python extension to the ADOL-C automatic differentiation library.
Heuristic and exact algorithms for the Time-dependent Traveling Salesman Problem.
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.