Search Results for "build"

JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Dynamics Explorer, (detool for short), is a program designed to let users explore dynamical systems, particularly focused on enabling mathematicians to improve the efficiency and quality of their research in the field of complex dynamics.

TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP...

JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.

...SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path. SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia.

...The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac support is possible. The project needs a maintainer for Mac version, since I don't have Mac to build Octclipse and test it on this platform. Also, it is worth to support Eclipse 4.0 Juno with DLTK 4.

A software framework to build maps for Neurospora crassa genome based on probabilistic models of meiotic recombination. A netbeans platform application is built to incorporate the computations. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/GENOMEMAP

The final build of this software now is distributed in R, embedded in "RedeR': an R/Bioconductor package for hierarchical and nested network analysis... more about RedeR: http://bioconductor.org/packages/2.9/bioc/html/RedeR.html

Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.

OnlinePlotter is a graphical and interactive online function plotter to build customizable functions per Drag&Drop.

The project aims to build a set of Java-based mathematical programs.

JQuantity is a set of Java classes which enable developers to build scientific applications using quantities which are either exact or have known (bounded) errors. Quantities may include units, may be complex, non-scalar, etc. Extends java.math classes

The intentions of this project are as follows: 1; Determine the potential interest level in developing a basic interface for creating models in GAMS (General Algebraic Modeling System). 2; To create a sounding board for what should be added to the exist

Numerikus is an attempt to build a set of numerical libraries written in C/C++, Fortran, Java and C# for single processor and multi-core processors. It wil have from basic functions to Linear Algebra solvers and ODE's and PDE's methods.